国家自然科学基金委员会信息科学部计算机科学处2005年度基金申请与资助概况

下载全文  总被引：1，自引：0，他引：1

对2005年度国家自然科学基金委员会信息科学部计算机科学处面上项目的申请和资助情况进行了总结.提出了2006年项目申请建议.  相似文献

徐琳  刘志勇  刘克 《软件学报》2005,16(11):2021-2028

基于马尔可夫随机场的SAR图象目标分割

下载全文  总被引：8，自引：1，他引：7

运动、静止目标获取与识别（MSTAR）计划表明,将合成孔径雷达（SAP）图象分割成目标、阴影和背景杂波区域对于从开放环境中进行目标识别是一种有效的手段。但是由于SAP图象所固有的斑点噪声的影响,传统的分割方法很难获得准确的分割。为此提出了一种基于MRF(Markov random… …   相似文献

郦苏丹  张翠  王正志 《中国图象图形学报》2002,7(8):794-799

基于主动表观模型姿态矫正和局部加权匹配人脸识别

下载全文  总被引：1，自引：1，他引：0

非约束环境下,光照、姿态、表情、遮挡等复杂背景因素给人脸识别带来严重影响。提出一种基于AAM（active appearance model）的图像对齐和局部匹配人脸识别算法,使之能够增强人脸识别算法对姿态、表情变化的鲁棒性。AAM能够快速准确地定位人脸的特征点,进而将图像扭转到… …   相似文献

赵恒  俞鹏 《中国图象图形学报》2013,18(12):1582-1586

操作系统内核程序函数执行上下文的自动检验

下载全文  总被引：2，自引：0，他引：2

函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的… …   相似文献

汪黎  杨学军  王戟  罗宇 《软件学报》2007,18(4):1056-1067

求解QBF 问题的启发式调查传播算法

下载全文  

提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Pro… …   相似文献

殷明浩  周俊萍  孙吉贵  谷文祥 《软件学报》2011,22(7):1538-1550

一种基于多路径网络编码的匿名通信机制

下载全文  

提出了基于多路径网络编码的信息分割传输策略ITNC(information slicing and transmitting with multi-path network coding),并基于ITNC提出了一种无需密钥基础设施的匿名通信机制AC-ITNC(anonymous … …   相似文献

段桂华  王伟平  王建新  杨路明 《软件学报》2010,21(9):2338-2351

增强型IBFV 2维矢量场可视化算法

下载全文  总被引：1，自引：0，他引：1

提出一种基于质点平流的增强型IBFV可视化算法,可显著增加IBFV算法生成图像的对比度。首先通过质点平流获得一系列的矢量纹理;然后将这些矢量纹理作为IBFV算法中的背景图像,代替原来的噪声纹理与帧缓存中的纹理进行图像混合生成新图。通过这种方式不仅可以准确反映流场的动态变化,而且增… …   相似文献

孙长会  范茵  李骞  黄伟 《中国图象图形学报》2011,16(6):1064-1069

基于夹角变化趋势的多边形自动搜索和生成算法

下载全文  总被引：8，自引：0，他引：8

利用左转算法生成多边形是GIS中面域组织和拓扑关系建立的常用算法。根据算法规则,对于由顺时针方向和逆时针方向建立的多边形都可以生成多边形文件,这就会产生一些重复多边形和无效的多边形。为此,提出了基于夹角变化趋势判断多边形搜索方向的算法,根据左转或右转算法得到的点组顺序,分别计算由… …   相似文献

梁晓文  刘宗岐  陈宜金 《中国图象图形学报》2005,10(6):785-789

集群网络评测模型的新探索

下载全文  总被引：6，自引：0，他引：6

传统集群网络(cluster area network,简称cLAN)的评测模型主要考虑了延迟、带宽、路由、拥塞、网络拓扑结构等因素.但这些因素是否足以描述实际应用程序在集群上的通信行为,或者对其在集群系统上的性能给出一个很好的预测呢?当对NAS Parallel Benchma… …   相似文献

唐渊  孙家昶  张云泉  张林波 《软件学报》2005,16(6):1131-1139

基于码本模型和多特征的早期烟雾检测

下载全文  总被引：1，自引：0，他引：1

提出一种基于码本模型和多特征的早期烟雾检测算法。首先,利用码本模型进行前景提取;然后,结合烟雾的颜色模型和形状特征模型检测前景中的疑似烟雾区域;最后,利用烟雾的动态特性,有效地降低误检率,提高算法的鲁棒性。通过ROC曲线对比,实验结果表明,该算法具有良好的烟雾检测能力。同时,能够… …   相似文献

姜明新  王洪玉  蔡兴洋 《中国图象图形学报》2012,17(9):1102-1108

一种基于DTD的XPath逻辑优化方法

下载全文  总被引：13，自引：1，他引：12

Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpath表达方式的灵活性,但同时引入了Xpath处理的复杂性.如何利用DTD减少Xpath中的不确定操作符,从而提高Xpath的执行效率成为一个基本的… …   相似文献

高军  杨冬青  唐世渭  王腾蛟 《软件学报》2004,15(12):1860-1868

一种基于信息检索技术的网络新闻影响力分析方法

下载全文  总被引：2，自引：0，他引：2

利用信息检索领域中的相关算法,分析研究通过信息检索相关技术得到的相关信息,建立了一个网络新闻影响力模型来定量地计算一则新闻的影响力,从而估计它对社会安全产生影响的程度.在对大量实验结果的统计分析中发现,此方法可以有效地对新闻文章进行排序,发现不同新闻类型中最值得关注的新闻,其结果… …   相似文献

杨伟杰  戴汝为  崔霞 《软件学报》2009,20(9):2397-2406

基于偏最小二乘回归的人脸身份和表情同步识别方法

下载全文  总被引：1，自引：0，他引：1

将偏最小二乘回归方法用于人脸身份和表情的同步识别。首先,对每幅人脸图像进行脸部特征提取以及相应的语义特征定义。在脸部特征提取方面,从每幅图像中标定出若干脸部关键点位置,并提取图像在该关键点处的Gabor小波系数（Gabor特征）以及关键点的坐标值（几何特征）,作为该图像的输入特征… …   相似文献

周晓彦  郑文明  赵力  邹采荣 《中国图象图形学报》2009,14(5):801-808

一种区域弦分布形状描述子及其在形状特征识别中的应用

下载全文  总被引：1，自引：0，他引：1

为了通过目标区域内弦的分布稳定地描述目标的形状特征,首先定义了区域主弦和基于主弦的垂直扫描弦。并由区域主弦和垂直扫描弦的长度、位置分布组成了目标区域弦分布;然后根据区域弦分布,定义了区域弦面积、弦平行度、边界点对称率、主弦长度、弦方框率等描述目标区域形状的有效特征;最后利用区域弦… …   相似文献

梁光明  孙即祥  唐玉鹏  李仲陶 《中国图象图形学报》2008,13(8):1470-1475

虚拟机确定性执行重放的模型分析和实现方法

下载全文  

进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件… …   相似文献

于佳耕  周鹏  武延军  赵琛 《软件学报》2012,23(6):1620-1634

空间高效的数据包公平抽样算法

下载全文  

数据包公平抽样通过牺牲长流的包抽样率以换取更高的短流包抽样率,因而比均匀随机包抽样更能保证数据流之间的公平性.现有的公平抽样算法SGS(sketch guided sampling)存在空间效率低、短流估计误差大的问题.提出了一种空间高效的数据包公平抽样算法SEFS(space-efficient fair sampling).SEFS算法的新颖之处在于采用多解析度抽样统计器对数据流流量作近似估计,各个统计器由d-left哈希表实现.采用在OC-48和OC-192骨干网采集的真实流量数据,在数据流流量测量以及长流检测的应用背景下,对SEFS算法和SGS算法的性能进行了比较.实验结果表明,与SGS算法相比,SEFS算法在空间复杂度降低65%的前提下,仍具有更高的估计精度.特别是对于占网络数据流绝大多数的短流而言,SEFS算法估计精度高的优势更为明显.… …   相似文献

张进  邬江兴  钮晓娜 《软件学报》2010,21(10):2642-2655

基于OPC技术的系统集成

  总被引：23，自引：0，他引：23

企业综合自动化是工业控制发展的一个趋势,面对各种不同的控制系统,如何有效地集成,OPC（OLE for Process Control)提供了一种很好的方法。通过一个实例剖析了如何利用OPC技术来实施系统集成。  相似文献

邓全亮  邹益仁 《计算机应用研究》2005,22(1):160-161

云的自适应阈值检测方法

下载全文  

为确保夜间自动拍摄的星空观测图像不受云污染,须对低亮度和对比度不均的夜空图像进行检测。考虑现有云检测不准和检测精度低等问题,文中对大量样本统计分析,发现星体邻域出现云的概率低,密集星体区域出现云的概率也低。根据先验概率建立了一个自适应阈值模型,即不同图像所用阈值由模型根据星云局部… …   相似文献

黄茜  王少龙  徐道磊  廖婷婷 《中国图象图形学报》2012,17(8):960-965

可变光照条件下的人脸图像识别

下载全文  总被引：3，自引：0，他引：3

对于人脸图像识别中光照变化的影响,传统的解决方法是对待识别图像进行光照补偿,先使它成为标准光照条件下的图像,然后和模板图像匹配来进行识别。为了提高在光照条件大范围变化时,人脸图像的识别率,提出了一种新的可变光照条件下的人脸图像识别方法。该方法首先利用在9个基本光照方向下分别获得的… …   相似文献

胡元奎  汪增福 《中国图象图形学报》2005,10(7):844-849

一种用于字节码程序模块化验证的逻辑系统

下载全文  

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点… …   相似文献

董渊  王生原  张丽伟  朱允敏  杨萍 《软件学报》2010,21(12):3056-3067