利用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组件模型的软组件技术开发 .