通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

ATM的语义透明性

ATM的语义透明性是指信息经过ATM网络后没有误码也没有信元的丢失。实际上任何系统都不是完美的,信息从发送端传送到接收端总是有误码的,这一方面是由于环境原因引起的,另一方面是由于系统本身的因素所引起的。所以通常语义透明性要求:从源到目的传送信息时只能有很少的误码。误码通常有两种,一是由于信元的丢失而造成一个信元内的所有比特丢失,另一种是由于系统本身的原因和环境原因造成的单个比特的错误和突发错误。     

一种基于社会网络的信任模型

社会网络是通过朋友关系、工作关系和信息交换等一组社会机制,将人、组织和其他社会团结联系在一起形成的网络,Web就是一种社会网络.在社会网络中要求有一种自然的机制对网络的真实性进行判断和评价,信任模型就是比较好的一种机制.基于社会网络,本文构建了一种网络信任模型,用来估算信任者和被信任者之间的信任等级,能够用于语义网的信任管理系统和社会网络的信任评价中.实验结果表明,该模型具有很好的效率和效果.     

一种改进型的语义Web服务发现框架研究

查询效率较低是现有语义Web服务发现框架存在的一种普遍现象,针对这种现象提出一种改进型的语义Web服务发现框架研究SWSDM-Table。此框架在OWL-S/UDDI Matchmaker基础上对UDDI进行领域划分,并将Web服务按领域本体存放,同时加入Table数据结构以实现局部性原理。实验结果表明,该框架在服务发现效率方面较现有的发现框架有明显的提高。     

基于 OWL-S 的语义 Web 服务发现方法

随着 Web 服务的广泛应用和迅速发展,服务的种类和数量越来越多,要在众多的 Web 服务中高效地发现满意的服务成为一个关键的问题.目前的 Web 服务发现方法大多是采用基于关键字匹配的机制,查全率和查准率不高,难以满足用户的需要.针对这个问题将 OWL-S 引入服务发现,为 Web 服务添加语义信息,运用本体推理技术,文中提出一种基于 OWL-S 的语义相似度匹配度计算的 Web 服务发现方法,并设计了服务发现原型系统.实验结果表明提出的服务发现方法能够获得较好的服务发现效果     

搜索引擎中结果网页排序方法研究

主要对现有主流搜索引擎结果排序技术进行了研究,分析了对其各自的优缺点,并在此基础上总结了搜索引擎结果排序算法的研究趋势。     

面向OWL的联合作战管理语言本体开发方法

作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构（语法）和形式化语义（本体）,目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。     

基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

工业机器人解释器语义分析研究

介绍了语义分析的发展现状。针对目前解释器语义分析效率较低的问题,并结合工业机器人控制系统的特点,研究了利用语法分析栈来实现工业机器人解释器语义分析的方法,并实现了工业机器人编程语言IRL的语义分析。基于该方法的解释器在Visual Studio2005平台上用C＋＋实现,生成的目标代码运行于WinCE嵌入式系统。实验结果证明了该方法的正确性和高效性。