基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。     

基于.net技术的实验室排课系统设计与实现

针对我院实验中心长期以来都采用手工排课效率低、易出错等一系列问题,采用当前流行的B/S三层体系结构,将Visual C#.net和SQL Server数据库技术相结合,运用可视化方法,设计实现了实验室排课系统。该系统的运行使实验中心排课工作更加规范而高效,该系统运行成本低、管理简单,具有广阔的应用前景。     

基于代理的病毒防治系统的研究

该文首先分析了当前网络安全的现状,提出了将移动代理技术运用到病毒防治系统框架中,设计了基于多Agent的病毒防治系统。该系统构造了多种类型的Agent,利用Agent的相互交互、协作来实现局域网中病毒的查杀、来源的追查、病毒的免疫处理。     

基于模糊Petri网的汽车故障诊断仿真研究

本文将Petri网和模糊推理相结合,建立故障诊断的模糊Petri网模型。其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度。以汽车故障诊断为例,建立了基于模糊Petri网的诊断模型。通过仿真分析,验证了模型的正确性和算法的有效性。     

基于下一代互联网技术的信息网格技术探析

该文首先解释了信息网格的定义,然后与网格计算技术进行了比较,接着讨论了信息网格的发展趋势、关键技术、典型应用,再接着讨论了使用信息网格的注意事项,最后论述了应用信息网格技术的意义,对广大计算机爱好者学习信息网格具有重要的理论和实践指导意义。     

浅谈网格及其在校园网中的应用

该文对网格研究的基本问题网格服务开发平台和环境进行了探讨,以期有助于网格的创新研究和应用开发。结合GT3介绍了基于网格技术的校园网资源建设和服务的一般模式。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

基于Petri网的软件演化过程

随着遗产软件系统的老化,软件演化已成为软件工程的一个新兴领域.对软件演化及过程的特征进行了描述,提出基于Petri网的软件演化过程;最后给出了软件演化过程的活性判断及优化算法.     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

无线传感器网络中一种能量高效的分布式分簇算法

提出了一种适用于无线传感器网络的能量高效的分布式分簇算法（ＥＥＤＣ）,该算法使具有较高剩余能量及距离基站较近的节点有更大的机会成为簇头．理论分析表明该算法通信开销较小,而且有效地均衡了节点的能量消耗．为了确保ＥＥＤＣ 的正确性、完整性和可靠性,利用形式化方法———着色网对其关键属性进行建模和分析．仿真结果表明,ＥＥＤＣ 有效地延长了网络生命周期,提高了网络的能耗效率．