基于有色Petri网的Web服务协商

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。     

以活动为中心的体系结构设计方法研究

体系结构框架为开发和表示体系结构提供了规则、指导和产品描述,保证了在理解、比较和集成体系结构时有一个公共的标准.针对体系结构框架,在以产品为中心和数据为中心的设计方法的基础上,提出了以活动为中心的体系结构设计方法,定义了节点、信息、活动等体系结构的核心实体以及相互关系,分析了以活动为中心的体系结构开发过程和基于可执行模型动态特性分析方法,并以防空反导作战为例,说明该方法的可行性.     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

基于Petri网的皮带机控制模型分析

文章以Petri网理论为基础,构建了煤矿井下皮带机顺序控制系统的网络模型,并根据皮带机控制系统的设计要求,分析了控制模型的组织结构和行为特征。利用该模型对皮带机控制系统的设计进行了探讨,并得到符合控制要求的逻辑规则表达式。     

基于对象函数Petri网的关联区域VOCs危害成因解析

为了找出排放并扩散挥发性有机物(volatile organic compounds, VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系,网系统的运行反映了目标区域VOCs危害程度的变化情况,并将危害程度的计算融入到Petri网系统的运行中。通过实际案例研究解析,结果表明:该Petri网模型适用于关联区域VOCs危害成因解析的建模和计算。     

引用网建模工具Renew的性能评估扩展

利用引用网建模工具Renew的赋时属性和库所事件响应机制对其进行了性能评估扩展。引入赋时托肯的可观察性和监视点概念,增加了与性能评估相关的语义和管理功能,包括策略化触发选择,基于XML的任务管理,统计变量和性能报告以及模拟器用户接口等。对Renew系统性能建模的设计模式进行了讨论,应用扩展后的Renew对多线程服务器进行了性能评估实例研究。     

单阶段随机规划的最优性条件

本文研究了随机规划的最优性条件,得出了某个可行解为所讨论问题的最优解的充分条件。     

建模支持中的不确定性分析

将决策建模过程中的不确定性的产生原因归结为信息的真实性和算法的可用性，在提出了用模糊Ｐｅｔｒｉ网表示不确定性的基础上，分析了两种信度的不同合成方式，并提出了相应的算法，为不确定性环境下的建模支持提供了一个实用而可行的方法．     

Modeling of Selective Availability for Global Positioning System

ＭｏｄｅｌｉｎｇｏｆＳｅｌｅｃｔｉｖｅＡｖａｉｌａｂｉｌｉｔｙｆｏｒＧｌｏｂａｌＰｏｓｉｔｉｏｎｉｎｇＳｙｓｔｅｍ￥ＹａｏＨｕｉｈａｉ＆ＬｕｅＳｈａｎｗｅｉ（ＤｅｐａｒｔｍｅｎｔｏｆＥｌｅｃｔｒｉｃａｌＥｎｇｉｎｅｅｒｉｎｇＢｅｉＪｉｎｇＵｎｉｖｅｒ...     

OPTIMAL ADAPTIVE CONTROL WITH CONSTRAINT FOR ARMAX MODEL

For the ARMAX system with unknown coefficients the optimal adaptive control isdesigned so that the following requirements are met simultaneously:1)the transfer function from areference signal to the system output in the closed loop equals a prescribed rational function;2)under the constraint mentioned in 1)a quadratic loss function is minimized;3)the parameterestimate is strongly consistent.