基于交叉层设计的能量负载平衡自组网路由技术

针对已有无线自组网能量平衡路由研究缺少对无线链路信道状态考虑的问题,提出了绕过繁忙区域的能量负载平衡路由技术,采用交叉层设计方法,将M AC层提取的物理信道繁忙程度与节点剩余能量、路径跳数相结合,形成路由度量,并基于改进AODV(ad hoc on dem and d istancevector)路由协议基础上实现路由策略。通过N S-2环境中仿真实验,该技术比传统AODV协议对成功递交分组数、分组成功递交率提高10%的同时,很好地控制了分组延迟的增加,在网络负载增加时甚至更低。     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于灵敏度分析的无功补偿装置动作顺序研究

文章建立了以有功网损最小为目标函数的无功优化数学模型，利用非线性规划最优潮流算法进行了优化计算。并且研究了无功补偿装置采用不同的动作顺序对有功网损最小化的控制效果，提出了以有功网损控制效力为灵敏度指标的无功优化控制策略。Ward＆Hale 6节点系统和IEEE-14节点系统验证了算法和控制策略的有效性。     

基于着色petri网的安全协议验证方法

设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．     

英语"hand"和汉语"手"之一词多义对比

通过对英语之“hand”和汉语之“手”的一词多义结构的这一个案的分析对比,发现该词的义项分布在两种语言中基本一致,其词义拓展方式呈辐射和连锁相结合的趋势;且各义项以转喻或隐喻方式为主要纽带,组成了一张多核的相关语义网。该基本人体词的多项语义分布现状反映了人类在不同语言背景下认知和语义发展中共有的思维方式,从而为多义词的外语教学提供了新的思路。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于本体的环境信息系统框架

为了解决环境信息学研究和应用中所遇到的数据异构、系统互操作和信息检索等问题,将信息学中本体和语义网研究领域的最新成果引入环境信息学,提出和设计了一个基于本体的环境信息系统框架。该框架以本体技术为核心,采用双层本体结构,提供语义级的信息共享和系统互操作,实现了环境信息服务和环境智能信息检索功能,具有很强的可扩展性。     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

领域本体构建的方法研究

分析了当前领域本体建设中存在的问题，给出了领域本体建设的一般方法，并对其中一些关键的技术作了介绍，通过这些论述，阐明了面向语义Web的领域本体建设的基本情况，为创建面向语义web的本体提供了基本知识。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。