利用不动点求解子句逻辑推演的Petri网模型

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

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比… …   相似文献

林闯  吴建平 《软件学报》1999,10(4):359-365

用不同敏化方法提高超速测试的故障覆盖率

  

面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用… …   相似文献

魏建龙  邝继顺 《计算机科学》2014,41(5):55-58,90

复形态联想记忆及其性能分析

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

在Ritter的实域形态联想记忆(real morphological associative memory,简称RMAM)模型的基础上,通过在复数域中序关系的引入构成复数格和环,导出了在复数域上与RMAM相一致的联想规则,构建了一类复域MAM(complex MAM,简称CMA… …   相似文献

陈松灿  刘伟龙 《软件学报》2002,13(3):453-459

时态数据的变粒度分段存储策略及其效益分析

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

根据时态数据库用户对数据厚今薄古的需求特点,该文提出变粒度分段存储技术,将一个对象的历史分为3个时期,分介质、变粒度存储.文章讨论了分段存储的特殊数据结构、时代转移算法和压缩采样算法.基于微机实用参数的定量分析表明,这一技术将时态存储密度和时态查询速度提高了一个数量级.… …   相似文献

唐常杰  于中华  游志胜  张天庆  相利民 《软件学报》1999,10(10):1085-1090

3维图像中边界曲面的分类追踪及抽取

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

3维图像分析中,边界曲面的检测与重构是一个非常重要的问题。已有的连续隐边界曲面的抽取及逼近计算技术存在着把某些零交叉曲面片错误地识别为边界曲面片的缺陷。为此,提出一个新的边界曲面的追踪及抽取的方法。该方法首先将包含边界曲面的全部立方体分为两类:包含一个连通零交叉曲面片的立方体叫第… …   相似文献

丁德福  程柳航  王利生 《中国图象图形学报》2012,17(7):806-812

基于标志位差异分析的整数溢出漏洞溢出点定位方法

  

近几年,整数溢出漏洞数量居高不下,危害性较大。目前,漏洞分析定位的方法仅在补丁自动生成或漏洞触发样本文件自动生成中有所涉及,且这些方法大多利用缓冲区溢出会覆盖其邻接内存数据的特点来进行定位分析,而整数溢出漏洞不具有直接覆盖重要数据的特点,所以现有的方法不能对其进行有效的定位分析。… …   相似文献

黄克振  连一峰  陈恺  张颖君  康恺 《计算机科学》2014,41(12):19-23

视线交互中两类扫视运动的人机工效评估研究

  

Fitts法则是人机交互领域预测人机工效的一个有效模型,在许多交互方式中都得到了验证,是传统人机工效研究的理论基础。然而在视线交互中,由于眼动肌肉神经控制机制与肢体运动不同,Fitts法则并不适用。近两年的相关研究提出了一个新的专门针对视线点击任务的难度指数IDeye,它比经典的… …   相似文献

张新勇  查红彬 《计算机科学》2014,41(10):1-6

基于旋转模式的移动设备佩戴位置识别方法

下载全文  

移动设备计算能力和传感能力的发展,使其可以为用户提供多种基于情境信息的服务.移动设备的佩戴位置作为一种重要的情境信息,影响着其他用户活动的识别效果和移动应用的自适应功能.分析得出当移动设备在不同身体部位佩戴时,旋转变化模式不同.提出了一种识别设备随身佩戴位置的方法.该方法使用加速… …   相似文献

时岳  喻纯  史元春 《软件学报》2013,24(8):1898-1908

图像结构失真的编码质量评价

下载全文  

客观图像质量评价方法——自动评价图像质量使其与主观感受一致, 对于很多图像和视频处理应用特别是图像编码具有重要意义。提出了一种基于结构失真的图像编码质量客观评价方法。首先根据匹配追逐算法将参考图像在基函数上进行投影分解按照重要性排列获得结构信息,并给出结构重要性度量,然后利用该信… …   相似文献

庞建新  张荣  张晖  刘政凯 《中国图象图形学报》2009,14(8):1560-1568

基于区域关系图的图像显示适配技术

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

图像显示适配技术用于改编图像,以适应在不同尺寸和长宽比的目标屏幕上展示.其中,面向移动设备的图像显示适配面临展示面积受限、长宽比不固定等问题,已经成为多媒体领域的研究热点之一.针对现有方法的缺陷,提出了一种基于区域关系图的图像显示适配方法.首先,根据视觉关注程度和加权梯度分别计算… …   相似文献

任桐炜  刘焱  武港山 《软件学报》2010,21(9):2237-2249

抵抗一般结构敌手的自适应安全分布式密钥生成协议

  

首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指出R. Canetti等人在设计分布式密钥生成方案(DL-Key-Gen)时,关于零知识证明使用的一个错误,并给出一种改进方… …   相似文献

何云筱  李宝  吕克伟 《软件学报》2005,16(3):453-461

基于B/S和C/S混合模式的CA证书发放实现

  

提出了一种基于B/S与C/S混合模式的CA证书发放系统,该系统的实现采用多层体系架构,将应用独立的认证中心与应用相关的权限访问控制成功地相结合,实现了证书与用户权限的绑定,并成功地运用于电子政府的具体应用中。  相似文献

黄锐  李涛  王姝妲  王志明  丁勇雷  刘颖娜 《计算机应用研究》2006,23(3):113-115

基于在线故障定位及自主适应提高软件可靠性

下载全文  

可靠性是衡量软件质量的一个重要指标.在线预测和提高软件可靠性是一个重要的研究课题.目前大多数在线预测和提高软件可靠性的方法具有如下弱点:不能预测软件不同时段的可靠性,且不能定位导致可靠性下降的组件.针对服务组合软件系统,提出在线提高可靠性的方法.通过观测端口失效数据,预测在线系统… …   相似文献

杨晓燕  周远  丁佐华 《软件学报》2015,26(4):886-903

概率逻辑类超树结构分解计算模型的完备性

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

针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.  相似文献

张晨东  陈火旺  王兵山  徐光 《软件学报》1998,9(4):273-275

基于表面局部最高点估计的明暗恢复形状算法

下载全文  

基于数据逼近强约束的针图恢复算法是近年来提出的一种较为成功的从明暗恢复形状（shape from shading）的算法,但由于该算法在非垂直光线下得到的初始化针图的误差较大,并且不能保证法向量有解或有唯一解,为了解决SFS算法存在的问题,提出了一种改进的SFS算法。该改进算法从… …   相似文献

王学梅  徐安凤  孙即祥  谭志国 《中国图象图形学报》2009,14(5):978-983

基于小波包变换和离散余弦变换的双水印算法

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

为了使水印具有更强的鲁棒性和更广泛的适用性,提出了一种基于小波包变换(WPT)和离散余弦变换(DCT)的双水印算法。该算法是在WPT域和DCT域,结合人眼视觉特性(HVS)在宿主图像小波包分解的高低频带,选择不同的方法分别嵌入一个水印,由于双水印充分利用了小波包高低频域的不同抗攻… …   相似文献

李新娥  王珂  崔艳秋 《中国图象图形学报》2007,12(1):61-67

多描述编码技术的新发展

下载全文  

随着通信与视频编码技术的发展,通过网络与无线信道传输视频内容成为可能,但在这些应用环境下,视频内容会因为丢包(网络)或信道失效(无线信道)而造成数据丢失。解决信道传输错误的问题可以从信源编码、信道编码及信源信道联合编码3种途径进行改进。如今多描述编码已被证明是克服传输错误,尤其是… …   相似文献

哈力旦·A  吴成柯  方勇 《中国图象图形学报》2005,10(3):275-280

通用多速率组播加权公平速率分配理论

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

研究了通用多速率组播加权公平速率分配问题.首先,给出了一个形式化的多速率组播网络模型,在该模型中考虑了接收者的异构性.在此基础上,定义了通用多速率组播加权Max-Min公平概念,建立了通用多速率组播加权Max-Min公平速率分配基本理论.最后给出了一个解决通用多速率组播加权Max… …   相似文献

翟明玉  顾冠群 《软件学报》2003,14(1):124-131

图形类质量控制工具图像集成接口设计与开发

  

为了实现图形质量控制信息的在线浏览和圈阅,提出通过图像文件集成接口来实现图形类质量控制工具与产品数据管理（PDM）系统的信息集成,并在已有图形质量控制工具的基础之上,采用Windows DIB技术,利用Visual C++工具开发出质量控制工具BMP和JPG文件输出图像接口,最后… …   相似文献

何益海 《计算机应用研究》2006,23(3):158-159

视觉注意机制下结合语义特征的行人检测

下载全文  

目的 为研究多场景下的行人检测,提出一种视觉注意机制下基于语义特征的行人检测方法。方法 首先,在初级视觉特征基础上,结合行人肤色的语义特征,通过将自下而上的数据驱动型视觉注意与自上而下的任务驱动型视觉注意有机结合,建立空域静态视觉注意模型;然后,结合运动信息的语义特征,采用运动矢量熵值计算运动显著性,建立时域动态视觉注意模型;在此基础上,以特征权重融合的方式,构建时空域融合的视觉注意模型,由此得到视觉显著图,并通过视觉注意焦点的选择完成行人检测。结果 选用标准库和实拍视频,在Matlab R2012a平台上,进行实验验证。与其他视觉注意模型进行对比仿真,本文方法具有良好的行人检测效果,在实验视频上的行人检测正确率达93%。结论 本文方法在不同的场景下具有良好的鲁棒性能,能够用于提高现有视频监控系统的智能化性能。… …   相似文献

黎宁  龚元  许莙苓  顾晓蓉  徐涛  Zhou Huiyu 《中国图象图形学报》2016,21(6):723-733