不确定信息的认知结构表示、推理和学习

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

提出了一个对不确定信息进行表示、推理和学习的统一框架.通过引入4-值认知结构刻画不确定性,提供了更强的度量能力和更高的推理效率,同时支持相关不确定信息的有效获取,从而更加接近实际应用的需要.  相似文献

刘洁  陈小平  蔡庆生  范焱 《软件学报》2002,13(4):649-651

人脸特征约束点的三维表情合成*

  

针对目前很多三维表情合成算法计算量大、方法比较复杂、真实感不强的特点,结合人脸分布特征,提出了一种基于Delaunay三角剖分的三维表情合成新算法。该方法通过对人脸特征点集的快速三角剖分避免了病态三角网格,有效提高了合成后人脸表情的真实度,降低了算法复杂度。大量实际人脸表情合成的… …   相似文献

胡勇  王国胤  杨勇 《计算机应用研究》2012,29(2):754-756

一种新的用于音频认证数字水印算法

  

为确保数字音频数据感知意义上的完整性,提出了一种新的音频认证水印算法。该算法把原始音频分帧,每帧分为两节,在第一节时域中嵌入同步码,将第二节进行DCT变换,计算邻帧关系向量,并将其作为水印信息嵌入其他帧第二节的DCT中频系数。认证时,计算邻帧关系误差,据事先设定的阈值来判断音频是… …   相似文献

申军伟  潘峰  张明书  肖海燕 《计算机应用研究》2012,29(10):3850-3853

一种基于域名错误的DNS重定向协议①

下载全文  

域名系统（DNS）重定向是为互联网服务提供商（ISP）和DNS应用服务提供商（ASP）的用户实现增值服务的有效功能。定义以不同于错误查询域名的按相关性排序的推荐域名列表作为错误描述。提出重定向服务器的两个转交过程,以利于正确及时地找到推荐域名。此外,提出使用延长资源记录的请求处理… …   相似文献

王艳峰  王正  阎保平 《计算机系统应用》2010,19(7):50-53

一种虚拟人运动生成和控制方法

下载全文  

利用运动捕获数据,通过学习获得虚拟人运动的统计模型,从而创建真实、可控的虚拟人运动.提出了一种方法:通过对原始运动数据聚类,提取出局部动态运动特征--动态纹理,并用线性动态系统描述,有选择地注释有明确含义的线性动态系统,构建注释动态纹理图.利用这一统计模型,可生成真实感强、可控的… …   相似文献

高全胜  洪炳熔 《软件学报》2007,18(9):2356-2364

紧致依赖与内涵亏值

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

提出了\"内涵亏值\"与\"紧致依赖\"的概念,证明了由\"紧致依赖\"组成的依赖基对于\"左部加属性、右部减属性\"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭… …   相似文献

马垣  张学东  迟呈英 《软件学报》2011,22(5):962-971

基于多智能体的动态车间调度系统

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

在分析车间生产调度特点的基础上,提出了基于多智能体的动态车间生产调度模型。把车间生产调度系统分为调度代理、任务代理和资源代理等。代理之间采用了基于改进的合同网的关系网模型,为解决车间加工动态调度问题提供了一种新的方法。  相似文献

张磊  张瑞林 《计算机系统应用》2009,18(3):35-37

一个测试程序自动生成器的设计与实现

下载全文  

本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的… …   相似文献

胡正国  朱志强 《软件学报》1993,4(5):58-62

CLP系统中推理机与约束求解器的协调技术

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

本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.  相似文献

张秀珍  刘椿年 《软件学报》1996,7(7):415-421

Windows中WMF文件的格式及使用

下载全文  

  相似文献

张俊国  张紫冬 《计算机系统应用》1997,3(9):49-50

基于先验形状的混杂活动轮廓模型及其在图像分割中的应用

  

提出了一种新颖的基于先验形状学习的混杂活动轮廓(SHAC)模型,该模型采用变分水平集方法,融合自适应区域信息与边界信息,运用主成分分析的方法从给定的含有目标物体轮廓的训练集学习得到最佳形状信息,并将其作为先验形状。将自适应区域特征和轮廓特征作为局部信息,先验形状作为全局信息,在迭… …   相似文献

曹冬梅  徐军 《计算机科学》2014,41(11):301-305,316

无信息泄漏的比较协议

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

关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于φ-隐藏假设以及同态公钥加密体制的语义安全性假设… …   相似文献

秦静  张振峰  冯登国  李宝 《软件学报》2004,15(3):421-427

软件项目工作分解结构模型研究

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

工作分解结构是确定项目范围的一种主要技术。从软件的过程、产品二元性以及软件工程异于传统工程的特点出发,提出了将工作分解结构、组织分解结构、产品分解结构和项目中的工作责任相结合的WBSR模型,给出了模型的工作流程,分析了该模型对软件项目管理的作用。在一个国际性软件企业的软件项目管理… …   相似文献

熊耀华  陈传波 《计算机应用研究》2006,23(8):19-21

基于ISO 20000 的IT 服务管理平台的研究与实现

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

ISO20000 是国际范围内认可的第一部规范IT 服务管理的标准。本文根据ISO20000 并结合网管软件提出一种IT 服务管理平台建设方案,包括IT 服务管理与健康检查两部分内容。通过IT 服务管理,以多厂商、多设备、多资源、多指标、多方式的数据采集与基于丰富的厂商设备产品数… …   相似文献

王小芳  王瑞芳  杨兴涛 《计算机系统应用》2009,18(5):17-20

公式分层的谓词模态逻辑

下载全文  

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.… …   相似文献

孙梅莹  邓少波  陈博  曹存根  眭跃飞 《软件学报》2014,25(5):1014-1024

BD-GKS3D图形软件的设计与实现

下载全文  

BD-GKS3D是按图形国际标准GKS-3D(ISO 8805)开发的三维图形支持软件。本文讨论了该软件的设计原则:符合国际标准及尽可能高效率。还讨论了实现的策略,包括二维GKS与三维兼容问题,裁剪与变换,实现环境,图段的数据结构及三维输入等内容。最后对开发BD-GKS3D的工作… …   相似文献

董士海  张永明  王磊 《软件学报》1990,1(4):48-54

基于裁剪的弱硬实时调度算法

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

针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于(m~-,p)弱硬实时约束,提出了一种基于裁剪的调度算法(cut-down based scheduling,简称CDBS).由于判断(m~-,p)约束是否满足需要遍历任务的整个执行序列,因此判… …   相似文献

吴彤  金士尧  刘华锋  陈积明 《软件学报》2008,19(7):1837-1846

分布式计算环境下的并行体绘制算法

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

分布式计算环境中基于消息传递机制的分布式共享缓冲区中,Ｃａｃｈｅ效率是算法性能的“瓶颈”。本文在分布式共享缓冲区上实现了一个并行体绘制算法。在数据空间,八叉树快速分类改善了Ｃａｃｈｅ的空间相关性;在图象空间。Ｈｉｂｅｒｔ象素遍历方式改善了Ｃａｃｈｅ的时间相关性,在曙光１０００和Ｓ… …   相似文献

余盛明  李华  刘慎权 《软件学报》1996,7(9):559-564

基于JXTA 的多层混合定位机制的研究

下载全文  

提出一种基于JXTA 的P2P 多层混合定位机制。首先研究了JXTA 的定位机制,指出其在底层的SRDI的DHT 算法、对等组内的定位方法和超级节点机制方面还存在不足。为了克服这些缺陷,在JXTA 的基础上提出了多层混合定位机制,论述了该机制的总体设计思路、层次结构和相关策略,最… …   相似文献

曹玉琳  肖洁 《计算机系统应用》2009,18(5):96-99

一种批量信息检索方法及实现

下载全文  

在信息处理领域,存在大量数据信息需要进行校验。以确保数据的准确性、一致性、真实性,基于此提出了一种较为通用的批量数据检索方法,并开发了针对学位备案系统中学位授予信息的批量数据检索工具软件。该方法采用客户端的方案,使用数据库驱动程序以屏蔽异构数据源的差异,数据的读取、比对由批量数据… …   相似文献

李杰  宁帆  赵国安 《计算机系统应用》2010,19(5):63-67