基于Petri网的超媒体形式化模型

针对演播类超媒体提出一个基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ,它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,具有刻画超媒体主要性质的能力．着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述     

基于有色Petri网的分布式网络入侵检测系统

在回顾入侵检测理论与实现模型两方面工作的基础上介绍了一种将CPN技术用于入侵行为建模的方法及其理论基础，阐述从CPN模型到层次型多Agent系统的转化方法及其实现结构．通过保留CPN模型的细分过程信息避免了传统多Agent入侵检测系统的单点失效问题，提高了系统可扩展性和健壮性，并通过在传感器层结合传统基于规则的入侵检测系统和CPN模型改善了系统性能．     

一种基于Petri网的网络模型设计方法

提出了一种描述和构造通讯设备或通讯介质的Petri网模型，以该模型为基础给出了一个设计网络的Petri网模型的方法，并且给出了一个使用该方法构造的Petri网模型的性能测试实例，为网络设计和网络性能分析提供了一种新的参考方法。     

基于Visual Basic 的面向对象的编程方法

本文从作为可视化编程和对象技术的Ｖｉｓｕａｌ Ｂａｓｉｃ语言的核心－对象着手,着重讨论了各种对象的特点,创建各种对象所采用的方法以及使用的场合,探讨了基于Ｖｉｓｕａｌ Ｂａｓｉｃ的面向对象的编程方法。     

基于MIP的顺序资源共享分配系统的虹吸寻找方法

研究了S⁴PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S⁴PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S⁴PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.     

基于Petri网的生产过程模型及仿真

利用Ｐｅｔｒｉ网为模型，在ＦＯＸＰＲＯ上建立了广泛适用于一类基于工序流程的生产系统的仿真器。其中采用了优先级和限定同步超前量解决变迁冲突的控制策略，能给出多种仿真报告，并具有良好的界面。     

基于三维MESH网连接的可重构计算机系统

在多处理机系统中，处理机之间的连接关系和任务对通讯需要的匹配程度是影响系统性能的重要因素，不同任务的需要往往是大相径庭的．因此，多处理机系统的可重构能力是提高它的效率和性能价格比的一个重要关键．本文提出了一个基于三维ＭＥＳＨ网连接的可重构计算机系统ＲＣＳ，它属于并行ＭＩＭＤ计算机系统，在处理机之间提供了灵活的连接机制，能够有效地实现各种计算结构的重构，并且能够实现处理机级和进程级的容错．     

基于蚁群算法的无线网状网安全路由算法

根据蚁群算法的自组织性、分布式计算以及正反馈与无线网状网路由问题有着惊人相似的特点,提出了基于蚁群算法的无线网状网安全路由算法.在该算法中引入基于模糊理论的信任评估模型,使前向蚂蚁在选择下一跳之前,先对节点进行信任评估,用来检测恶意节点,阻止恶意节点的主动攻击.分析结果表明,该算法能满足无线网状网负载均衡的要求,保障无线网状网路由安全.     

基于熵值法的船舶污染事故区域应急联防成本分担机制研究

在一定的区域范围内建立污染事故应急联防体系, 对于共享区域应急资源、提高船舶污染事故应急能力具有非常重要的意义. 本文在分析船舶污染事故区域联防体系建设及运营成本构成的基础上, 从污染物种类、污染量、泊位参数、船舶艘次、货物吞吐量、管理因素等方面分析了影响联防体系成本分担责任的影响因素, 并基于熵值分析方法建立了联防体系成本分担模型. 研究的目的旨在促进建立合理有效的区域联防成本分担机制, 以保障联防体系的有效运行和可持续发展.