任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。     

应用三个移动锚节点的非测距定位方法

针对使用单个移动锚节点的非测距定位方法精度较低的问题,提出一种使用三个移动锚节点的非测距定位方法:三个锚节点在移动过程中相对位置不变,并周期性广播数据包,而未知节点利用接收到的具有相同时间戳的两个或者三个锚节点信息进行质心定位.采用Scan作为信标的移动路径,并使用OMNET++进行了仿真实验,结果表明,该方法比使用单个移动锚节点提高了定位精度,且不受节点部署密度的影响.     

基于随机微粒群算法的分布式节点定位方法

提出了基于随机微粒群优化算法的定位方法。设定网络中存在部分锚节点,且相邻节点之间可以获取距离信息,待定位节点在获取足够的相邻锚节点或已定位节点的距离、位置信息后,使用随机微粒群优化算法实现定位。仿真表明,该方法比多边测量法和基于标准微粒群优化算法的定位方法具有更高的性能。     

基于Petri网的点到点通信并行程序验证

基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。     

基于层次模式的网格资源发现研究

网格被普遍认为是下一代网络,而资源发现是网格资源管理的基本组成部分。完全集中式资源发现机制和完全分布式资源发现机制都存在若干优点和缺点,因此,在集中式和分布式资源发现方法的基础上,提出了基于层次模式的资源发现方法。将网格中的资源分成三层结构,其中包括物理网络层、资源信息层和索引信息层,在此分层的基础上提出了基于层次模式的资源发现方法。最后对该方法进行模拟,并对模拟结果进行分析,该方法有较好的时间扩展性和性能,同时,在这种方法中能通过并行的方法发现需要的资源。     

面向多类用户的电子政务信息协同模式研究

针对目前电子政务系统中业务协同仅能满足一类用户需求的情况,在详细分析电子政务多类用户信息需求的基础上,给出了一种在电子政务安全体系和标准体系保证下,由资源提供、数据集成、业务协同、业务表示、用户接口等部分组成的电子政务架构,采用个性化信息推荐技术实现了各类用户的信息定制和个性化推荐,并给出了在此架构下实现信息协同共享的关键技术的解决方法。该架构满足了各种用户信息需求,保障了信息的协同共享。