搜索结果: 1-8 共查到“计算机科学技术基础学科 实例”相关记录8条 . 查询时间(0.562 秒)
电子目录本体合并中的实例消重机制
电子目录集成 本体合并 实例消重 语义相似度
2012/3/5
为解决电子目录集成中的本体实例冗余问题，提出面向本体合并的电子目录本体实例消重机制，综合考虑实例的名称、属性和关系设计实例语义相似度算法。结合字符串匹配和基于Wordnet计算名称语义相似度，综合数据类型属性和对象类型属性计算属性语义相似度，依据类的多重继承关系计算关系语义相似度。当2个实例的语义相似度大于事先设置的阈值时，需删除其中一个以降低目标本体库的冗余度。实验结果验证了该机制的有效性。
实例依赖的可验证随机函数的高效构造
零知识协议 实例依赖 可验证随机函数
2010/8/23
实例依赖的可验证随机函数是由文献[1]提出的一个新的密码学概念，它也是构造高安全性的零知识协议（如可重置零知识论证系统）的一个强有力的工具，而这些高安全性的零知识协议在智能卡和电子商务中有着重要的潜在价值。基于非交互ZAP证明系统和random oracle模型中∑OR-协议，给出了实例依赖的可验证伪随机函数的两个高效的实现和相应的安全性证明，提升了这一工具的应用价值。
基于映射的实例转换研究
本体 本体映射 实例转换
2010/3/1
本体映射可以有效解决异构本体间的互操作问题。在本体映射的研究中，已经存在很多建立映射的方法和工具，但针对如何应用本体映射完成特定任务的研究却很少。探讨了本体映射的应用模式，提出一个基于映射的自动实例转换框架（MAIT），并展示了相关的转换算法。该框架可以在基于本体的环境（如：语义Web）中将源本体的实例自动转换为目标本体的实例。实验结果表明提出的框架和算法是可行的，也是有效的。
人工免疫在迁移实例完整性检测中的应用
迁移实例 完整性检测 人工免疫
2009/7/30
针对迁移工作流系统中迁移实例的完整性检测，基于人工免疫原理，构造一个由自我集合、检测器集合、r-连续位匹配函数和疫苗基因集合组成的免疫体。给出自我元素和检测器生成算法。讨论迁移实例完整性检测过程及检测器动态更新机制。免疫体参数分析和试验结果表明了该方法的有效性。
Honeynet技术研究与实例配置
蜜罐 数据控制 数据捕获
2009/5/13
Honeynet是一种高互动蜜罐，其目的是搜集有关安全威胁的全面信息。Honeynet是一种体系结构，其首要需求是数据控制和数据捕获。该文构建了一个完整的Honeynet实例，论述了其中的关键技术，分析了Honeynet的特有风险。
基于生物免疫的迁移实例完整性检测研究
迁移实例 安全 生物免疫
2009/3/6
迁移实例的可迁移性为工作流管理系统带来了更多的安全问题。针对迁移工作流管理系统中迁移实例的完整性问题，基于生物免疫原理为迁移实例构造了一个免疫体以及基于免疫体的迁移实例完整性自检测系统。详细讨论了免疫体的构造、检测过程并对重要参数进行了分析。
实例化空间：一种新的安全协议验证逻辑的语义模型
实例化空间 加密信息交换模型 可满足性问题
2007/12/28
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(cryptographical message exchange)模型上的.在此语义模型基础上,文章提出了一系列与安全属性相关的验证公理,由此可以证明它们在此语义模型下的正确性.更重要的是,在此语义下的公理集在算法上是完全可以实现的,其对应的工具SPV(Se...