整数漏洞研究:安全模型、检测方法和实例

下载全文  

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从缺陷发生后行为的角度提出了新的整数漏洞安全模型,总结了判… …   相似文献

孙浩  曾庆凯 《软件学报》2015,26(2):413-426

数字电路自动测试生成实用化软件

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

介绍了针对ATE应用和TPS开发的需要首次在Windows NT平台上研制的一套数字电路诊断测试数据自动生成的实用化软件系统OCTOPUS100。该软件与已有的ATPG软件相比具有成本低,有利于推广等优点。该软件具有灵活性、实用性和通用性,经实验与试用表明有很高的实用价值。… …   相似文献

白玉媛  杨士元  王红 《计算机应用研究》2006,23(1):174-176

基于行为自动机的构件可替换性分析与验证

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

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化… …   相似文献

张敬周  任洪敏  宗宇伟  钱乐秋  朱三元 《软件学报》2010,21(11):2768-2781

针对重复模式图像的成对特征点匹配

  

目的 含有重复模式的图像会对局部特征描述符产生歧义,因此基于局部特征的匹配算法在此类图像的匹配过程中极易产生误匹配.同时,通过研究现有的引入全局特征描述符的匹配算法,发现全局特征同样依赖于计算局部信息所得到的特征点主方向,所以此类方法在含有重复模式的图像中也不容易得到令人满意的匹… …   相似文献

罗楠  孙权森  陈强  纪则轩  夏德深 《中国图象图形学报》2015,20(1):113-124

分布式多媒体数据库系统

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

着重分析分布式多媒体数据库系统的特有问题,包括实时性、时空同步以及服务质量的描述与实现等.给出了解决这些问题的策略和方法.研究了各种不同的实现途径——远程调用、中间件和Agent构造的方式;指出了这些实现方法的优点及其不足.  相似文献

巩志国  周龙骧  董淑珍 《软件学报》2000,11(1):40-48

行为分析算法综述

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

行为分析有着广泛的应用背景,如智能监控、人机交互、运动员辅助训练、视频编码等等。近年来,在这些应用的驱动之下,行为分析已经成为图像分析、心理学、神经生理学等相关领域的研究热点。本文概述了图像领域行为分析相关研究的发展历史、研究现状及目前存在的主要问题。行为分析的相关研究起始于20… …   相似文献

谷军霞  丁晓青  王生进 《中国图象图形学报》2009,14(3):377-387

嵌入式系统软件设计方法与技术专刊前言

  

  相似文献

李宣东  于戈 《软件学报》2014,25(2):177-178

数字皮影的交互仿真和动画绘制

下载全文  

目的 从保护和传承传统皮影文化的角度,使用Kinect设备和带有颜色标识的皮影签子,提出一种类似于传统皮影的交互方式来控制数字皮影。方法 首先,利用Kinect获得的深度图以及彩色图并配合训练已得的颜色标识,计算出签子头部的位置,且为每个签子设置卡尔曼滤波器的控制,为皮影动画提供较为稳定的控制信息。其次,将数字皮影组织成3根签子控制特有的关节层次模型。在当前模型下,结合输入的控制信息分析皮影的动作原理,通过OpenGL绘制技术,最终呈现出皮影动画。结果 实验中,用户手执皮影签子面对Kinect,操纵绘制在计算机上的皮影人物,随着签子的移动,皮影可以在构造出的悟空摘桃的皮影场景里进行相应的任意移动、挥舞胳膊、腿部下跪弯曲等动作。用户调查表明该操控方式与传统皮影类似,但该方式更简单,皮影动画也美观有趣味性。结论 仿真传统皮影交互的新的数字皮影的交互方式,对于想体验传统皮影戏表演的非专业人士来说,操作更加容易,且相比于其他数字皮影的交互更有继承传统皮影交互的力度。… …   相似文献

陈璇  张明敏  潘志庚 《中国图象图形学报》2014,19(10):1490-1499

保持几何模式的城市道路格网简化方法

  

提出一种保持格网几何模式的城市路网简化方法。该方法首先在格网自动识别的基础上对格网间的空间关系进行计算,将存在包含关系的格网合并成更高等级的格网;然后对格网进行连通划分,以格网指数、主方向、延展指数作为格网信息分量进行搜索,删除使格网信息量损失最小的路段,实现格网的简化;最后,以… …   相似文献

杨必胜  张云菲  栾学晨 《中国图象图形学报》2012,17(1):150-156

自适应加权完全局部二值模式的表情识别

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

为了有效地提取局部特征和全局特征以提高表情识别的性能,提出自适应加权的完全局部二值模式（Adaptively Weighted Compound Local Binary Pattern,AWCLBP）的人脸表情识别算法。首先对人脸表情图像进行预处理分离出表情子区域,与此同时生成… …   相似文献

胡敏  许艳侠  王晓华  黄忠  朱弘 《中国图象图形学报》2013,18(10):1279-1284

社会化媒体大数据多阶段整群抽样方法

下载全文  

在线社会化媒体大数据是行动者自组织关系的集合,其内部蕴含了多层次的社会实体关系,因此,在线社会化媒体大数据抽样方法的研究对于社会计算这一新兴研究领域具有重要的理论和应用价值.现有抽样方法存在大型马尔可夫链难以并行化、样本局部性陷入、马尔可夫链燃烧预热等问题.针对这些问题,提出了在… …   相似文献

崔颖安  李雪  王志晓  张德运 《软件学报》2014,25(4):781-796

连续傅里叶变换基础理论的高阶逻辑形式化

  

连续傅里叶变换(CFT)在数学和工程技术领域都有着广泛应用.利用高阶逻辑定理证明器HOL4,实现了对连续傅里叶变换定义及其常用运算性质的形式化,包括线性、频移、反转性、积分、时域一阶微分及高阶微分运算性质,为采用形式化方法分析相关系统奠定了基础.最后利用定理证明的方法对电阻电感电… …   相似文献

吕兴利  施智平  李晓娟  关永  叶世伟  张杰 《计算机科学》2015,42(4):31-36

利用SIFT特征和群体统计信息进行CT前列腺图像分割

  

提出了一种采用活动形状模型的图像自动分割方法,用于对放疗中CT前列腺图像的自动分割。活动形状模型的关键问题包括形状模型与表面模型的构建,本文利用尺度不变局部特征在前列腺图像边界上的特异性,建立了精确的前列腺表面模型。为了更好地描述特定病人前列腺形状变化,本文提出了在线学习训练机制… …   相似文献

冯前进  秦安  陈武凡 《中国图象图形学报》2010,15(6):873-878

无线自组织网络中TCP稳定性的分析及改进

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

在无线自组织网络中,基于IEEE 802.11的TCP流存在严重的不稳定性,其原因与MAC协议、路由协议和TCP本身均有一定的关系,但最根本之处在于MAC协议的不公平性以及假的链路失效消息导致了不必要的耗时的路由发现过程.结合IEEE802.11的MAC协议和DSR路由协议,对这… …   相似文献

李云  陈前斌  隆克平  吴诗其 《软件学报》2003,14(6):1178-1186

计算机网络安全技术

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

一、引言作为一种战略资源,信息在社会生产、生活的各个领域中的作用日益显著,计算机网络的飞速发展,加强了信息的共享程度,随之而来的网络安全问题日益突出。网络如同一座不设防的城市,其应用程序、操作系统、通信协议的安全隐患比比皆是,网络安全可谓危机四伏。据权威机构统计,平均每20秒就发… …   相似文献

罗明宇  卢锡城 《计算机科学》2000,27(10):63-65

基于时间Petri网的工作流模型分析

下载全文  总被引：27，自引：5，他引：27

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的… …   相似文献

李慧芳  范玉顺 《软件学报》2004,15(1):17-26

黎曼流形上的保局投影在图像集匹配中的应用

下载全文  

目的提出了黎曼流形上局部结构特征保持的图像集匹配方法。方法该方法使用协方差矩阵建模图像集合,利用对称正定的非奇异协方差矩阵构成黎曼流形上的子空间,将图像集的匹配转化为流形上的点的匹配问题。通过基于协方差矩阵度量学习的核函数将黎曼流形上的协方差矩阵映射到欧几里德空间。不同于其他方法… …   相似文献

曾青松 《中国图象图形学报》2014,19(3):414-420

SAR复图像数据的CCSDS-IDC编码性能分析与四叉树编码

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

目的：CCSDS-IDC (国际空间数据系统咨询委员会-图像数据压缩) 是NASA制定的基于离散小波变换(DWT)尺度间衰减性的空间图像数据压缩标准,适用于合成孔径雷达(SAR)幅度图像及各类遥感图像的压缩。然而,与光学图像不同,常见的SAR图像都是复图像数据,其在干涉测高等许多… …   相似文献

侯兴松  韩敏  龚晨 《中国图象图形学报》2014,19(5):659-669

基于K近邻稀疏编码均值约束的人脸超分辨率算法

  

针对低分辨率、低质量人脸图像的超分辨率重建问题,提出了一种基于K近邻稀疏编码均值约束的人脸超分辨率算法。首先,根据人脸块位置先验信息,对训练样本图像块进行聚类,得到与输入人脸图像块位置一致的高、低分辨率稀疏表示字典对;然后,利用低分辨率字典,在稀疏和K近邻稀疏编码均值的共同约束下… …   相似文献

黄克斌  胡瑞敏  韩镇  卢涛  江俊君  王锋 《计算机科学》2013,40(5):271-273

基于SSL协议的可信应用及实现*

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

首先分析了安全套接层（SSL）协议在握手阶段的信任不足问题,然后讨论了信任协商机制的原理,提出了采用信任协商机制来扩充SSL协议,并给出了具体的实现方案。  相似文献

金仑  谢俊元 《计算机应用研究》2006,23(1):103-105