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

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

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

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

全局光照环境中的逆向绘制

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

提出一种恢复场景中所有物体的反射特性的方法.算法以一个全景图、场景的完整几何模型和光源信息为输入,结果是场景的一个完整反射模型.恢复是以逐步求精的方式进行的.先假定物体表面是漫反射面并生成一幅全景图,然后算法逐步迭代,比较绘制的全景图和原始全景图,如果有的物体的误差超过某个阈值,… …   相似文献

孙其民  吴恩华 《软件学报》2003,14(10):1796-1805

基于多级属性集的垃圾邮件过滤技术

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

针对目前常用的垃圾邮件过滤技术普遍存在误报和漏报与分类过滤效率之间的矛盾问题,提出了一种改进的垃圾邮件过滤算法。在对这种新算法进行仿真测试后发现,新算法不仅有效地降低了漏报率和误报率,同时也减少了分类时间,为改进现有垃圾邮件过滤系统提供了一条新的解决方法和途径。  相似文献

刘震  佘堃  周明天 《计算机应用研究》2005,22(7):122-123

基于情境演算的智能体结构

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

Agent结构的建立是Agent研究的重要内容.尝试着结合BDI结构和情境演算的优点,提出了一个能够刻画Agent的多种特征,尤其是自主性的智能体结构AASC(Agent architecture based on situation calculus).此结构既能表示Agent… …   相似文献

李斌  吕建  朱梧槚 《软件学报》2003,14(4):733-742

传感器网络中的查询处理体系结构研究

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

介绍了传感器网络中查询处理的一些基本概念和性质,形象地描述了查询处理的体系结构,并对其中用到各项技术进行了介绍和分析,同时还对该领域的研究热点进行了分析和展望。  相似文献

张文涛  贾小华  黄传河 《计算机应用研究》2006,23(2):216-219

情感不确定词句的分类方法比较研究

  

语义不确定的词和句子在中文情感分析中有着重要意义.语义不确定的词一般是一个语义十分丰富的词,在表达中隐含着某种倾向性的评价;而语义不确定的句子一般表现为褒贬情感词相当,极性倾向不明显.以不确定词“好”为例对不确定句子进行特征设计,然后通过4种监督学习的分类方法对比实验说明支持向量… …   相似文献

李飏  苗夺谦  张志飞 《计算机科学》2015,42(1):210-214

字典学习联合粒子滤波鲁棒跟踪

下载全文  

针对运动目标鲁棒跟踪问题,提出一种基于离线字典学习的视频目标跟踪鲁棒算法。采用字典编码方式提取目标的局部区域描述符,随后通过训练分类器将跟踪问题转化为背景和前景分类问题,最终通过粒子滤波对物体位置进行估计实现跟踪。该算法能够有效解决由于光照变化、背景复杂、快速运动、遮挡产生的跟踪… …   相似文献

查绎  曹铁勇  黄辉  潘竟峰  尤峻 《中国图象图形学报》2013,18(12):1628-1636

网格环境下银河系化学演化研究

下载全文  

许多计算或数据密集型的科学应用要求一种共享和协同使用分布异构资源的机制,作为其复杂的问题求解过程的一部分.网格环境下银河系化学演化研究是中国虚拟天文台应用系统的一个重要部分.详细描述了该演化研究的设计和实现.通过这个范例,提出一种共享和协同使用资源的机制.该机制通过在网格环境中集… …   相似文献

罗泽  崔辰州  南凯  阎保平 《软件学报》2005,16(8):1465-1473

语义视频检索的现状和研究进展*

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

概述了图像的可视化特征如颜色、纹理、形状和运动信息,时空关系分析,以及多特征目标提取和相似度量度;分析了视频语义的提取,语义查询、检索;探讨了视频语义检索的性能评估,存在的问题和发展方向。  相似文献

余卫宇  谢胜利  余英林  潘晓舟 《计算机应用研究》2005,22(5):1-7

改进的多光谱双边滤波图像融合

下载全文  

针对低照度或夜晚条件下彩色图像信噪比低、图像细节不够清晰;而近红外相机在该条件下能够得到纹理、边缘等细节信息丰富的图像,但缺乏色彩信息的问题,提出一种改进的双边滤波图像融合算法,实现在低照度条件下得到成像清晰的彩色图像。算法对双边滤波的核函数重新设计,用幂函数取代指数函数,取消人… …   相似文献

吴川  杨冬 《中国图象图形学报》2013,18(9):1170-1175

基于图像分解的人脸特征表示

下载全文  

提出一种基于图像分解的人脸特征表示方法(FRID),首先通过多方向操作,把一幅图像分解成一系列方向子图像;然后,通过欧拉映射操作,把每幅方向子图像分解成实部和虚部图像,针对每幅实部和虚部图像,分别划分出多个不重叠的局部图像块,通过统计图像块上不同数值的个数生成相应的实部和虚部直方… …   相似文献

李照奎  丁立新  何进荣  胡庆辉 《软件学报》2014,25(9):2102-2118

以目标节点为导向的XML路径查询处理

下载全文  总被引：14，自引：4，他引：14

XML查询语言将复杂路径表达式作为核心内容.为了加速路径表达式处理,基于路径分解和结构连接操作的处理策略需要更深入的研究.以目标节点为导向的XML路径查询处理框架被提了出来.该方法利用了扩展基本操作来减少连接操作的数目.在路径分解和查询计划选择的过程中,利用查询树中的目标节点来避… …   相似文献

王静  孟小峰  王宇  王珊 《软件学报》2005,16(5):827-837

协同进化的近似规则纹理合成

下载全文  

纹理进化系统是一个面向近似规则纹理合成的算法,系统的主要特点是在进化理论的基础上,通过定义相关行为来优化纹理块在被拼接后无法改变而引发的累积误差问题.提出一种新的基于协同进化思想的纹理合成方案,通过新定义的个体选取及排布方式,可适用任意方向周期的纹理;通过去除迁徙、预建立适应度表… …   相似文献

王相海  陶兢喆 《中国图象图形学报》2013,18(1):107-114

基于U-正交变换的图像编码算法

下载全文  

为了更有效地进行图像编码,先用U-正交函数系构造出一类新型的U-正交变换, 并以三次U-正交变换为例,研究了基于U-正交变换的图像编码算法。该编码算法首先通过离散U-正交函数系的基函数构造U-正交变换的变换矩阵,并根据U-正交矩阵的对称性给出了U-正交变换的快速算法; 然后应用三… …   相似文献

熊刚强  齐东旭 《中国图象图形学报》2010,15(11):1569-1577

基于再励学习的主动队列管理算法

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

从最优决策的角度出发,将人工智能中的再励学习方法引入主动队列管理的研究中,提出了一种基于再励学习的主动队列管理算法RLGD(reinforcement learning gradient-descent).RLGD以速率匹配和队列稳定为优化目标,根据网络状态自适应地调节更新步长,… …   相似文献

张雁冰  杭大明  马正新  曹志刚 《软件学报》2004,15(7):1090-1098

基于小波的Hurst指数自适应估计方法

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

对局域网和广域网上大量突发网络流量的分析结果表明,网络流量普遍存在着自相似性和长相关性,其中Hurst指数是表征网络流量突发特性的重要参数.通过在小波域内对网络流量这种特性的分析,给出了其小波系数的本质和统计特性.针对基于小波的Hurst指数估计方法的自适应问题,结合方差分析给出… …   相似文献

洪飞  吴志美 《软件学报》2005,16(9):1685-1689

命题线性时序逻辑的对偶模型问题的复杂性

下载全文  

定义了一个命题线性时序逻辑的对偶模型的概念.一个公式f的对偶模型是指f的满足以下条件的两个模型(即状态的w序列):在每个位置上这两个模型对原子命题的赋值都是对偶的.然后,对于确定一个公式f是否有对偶模型的判定问题(记为DM)和在一个Kripke-结构中确定是否存在从两个给定状态出发的对偶模型满足给定公式f的判定问题(记为KDM)的复杂性进行了研究.证明了以下结果:对于只含有F(\"Future\")算子的命题线性时序逻辑,DM和KDM都是NP完全的;而对于以下命题线性时序逻辑,DM和KDM都是PSPACE完全的:含有F,X (\"Next\")算子的逻辑、含有U(\"Until\")算子的逻辑、含有U,S,X算子的逻辑以及由Wolper给出的含有正规语言算子的逻辑(一般称为扩展时序逻辑,简称ETL).… …   相似文献

吴志林  张文辉 《软件学报》2007,18(7):1573-1581

基于量子Calderbank-Shor-Steane纠错码的量子安全直接通信

下载全文  

量子安全直接通信是继量子密钥分配之后提出的又一重要量子密码协议,它要求通信双方在预先不需要建立共享密钥的情况下就可以实现消息的保密传输.给出了一个新的量子安全直接通信方案,该方案利用量子Calderbank-Shor-Steane(CSS)纠错码和未知量子态不可克隆等性质,方案的… …   相似文献

吕欣  马智  冯登国 《软件学报》2006,17(3):509-515

基于能量等级的分簇拓扑控制算法

  

针对无线传感器网络中节点能耗不均匀和节点容易过早死亡的问题,提出了基于能量等级的分簇拓扑控制算法ELBC和多跳M-ELBC算法。通过在簇头选择策略中引入能量等级的概念并考虑基站位置影响,上述算法根据网络的整体能量状况动态调节各因素在簇头选择过程中的权重,来有效地保证簇头的合理分布… …   相似文献

李朋飞  李志华  尹熙  孙雅  张华伟 《计算机科学》2014,41(3):96-99

等级关联的粒子群迭代多目标检测跟踪

下载全文  

针对目标在跟踪过程中受环境变化影响(光照、遮挡等)使其跟踪发生偏移的问题,提出一种从目标粗匹配到粒子群算法精确定位的等级关联结构的多目标跟踪算法.与现有跟踪算法相比,在粗匹配阶段粒子随机产生过程中融入了上下文信息,提高了目标匹配的准确度,降低了错误跟踪的目标数;对于在粒子群精确定… …   相似文献

程旭  李拟珺  张索非  吴镇扬 《中国图象图形学报》2013,18(9):1107-1114