Petri网的分享合成操作

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

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

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

球面网壳动力稳定临界力简化计算

球面网壳动力稳定临界力简化估算公式是针对跨度30m-60m，矢跨比1／10-1／6的单层球面网壳，对于其它类型的网壳结构要具体分析。     

IPv4/IPv6过渡策略及IPv6试验网设计与实现

首先阐述了IPv4所暴露出的问题,其次介绍IPv4到IPv6的过渡策略,最后详细介绍了基于Windows IPv6试验网的设计与实现     

彩铃业务在CDMA网的实现方案

中国手机用户从2000年到2004年的发展速度，可以说让全世界瞠目结舌，据统计中国的手机用户已经超过2亿。面对着越来越多的用户，电信运营商之间激烈的竞争，电信运营商却发现他们在每个用户身上获取的ARUP值却越来越低，如何提高利润渐渐变得与扩大市场份额放在同样重要的位置上。韩国人在个性化与娱乐性方面极具创造性，个性化回铃音-彩铃，就是从韩国起源，风靡中国的。     

基于神经动力学系统的关联推理模型

关联关系是事物之间普遍存在的一种关系,过去,由于受串行逻辑化表达方式的制约,该关系并没有得到很好的表述.本文从关联关系的内涵出发,揭示了它所蕴含的并行性的实质,并且以神经动力学系统作为工具,建立了关联推理的基本模型.实验证明,这种模型能够更好的体现事物的整体特性,更加符合认知学中的"整体优势"观点.     

FIPA合同网协议的一种改进方案

针对FIPA合同网协议的一个典型扩展协议CNCP提出增设阈值的改进方案．因为无论Agent同时参与几项招标，最终它只能与其中某一个任务发起者建立正式合同关系，所以在确保Agent可在绝大多数情况下获得至少一个任务执行权的前提下，对参与招标的Agent一方设置合适的阈值，限定其同时处理的cfp的数量，可以为参与者一方减少大量不必要的计算消耗，降低任务被低效执行或最终得不到执行的风险，从而对系统整体性能的提升有所裨益．     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

可编程控制器在供热网中的应用

论述了可编程序控制器的工作原理及结构，结合实际分析了它具体的工作过程，介绍了可编程序控制器在供热网中热力站本地控制器、便携式流量计等方面的应用，指出了利用可编程PLC实时、多任务的特点对热力站进行调控的效果。     

基于 IPSec 环境下实现虚拟私网技术的应用

IP安全体系结构是由IPSec工作组制定的开放性标准框架,它能为网络层安全提供长期、稳定的基础,从而为创建安全连接的虚拟私网提供了灵活的实现手段;使用户可以避免租用昂贵的专线而采用公网就可以实现广泛的电子商务活动;论文在对IP安全体系结构协议进行研究的基础上,通过实例对采用IP安全协议的虚拟私网技术应用进行了实现,并讨论了密钥、数字签名等技术在提高通信系统安全、满足用户电子商务要求方面的应用前景.