改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

A multiserver multiqueue network: modeling and performance analysis

A new category of system model, multiserver multiqueue network (MSMQN), is proposed for distributed systems such as the geographically distributed Web-server clusters. A MSMQN comprises multiple multiserver multiqueue (MSMQ) nodes distributed over the network, and everynode consists of a number of servers that each contains multiple priority queues for waiting customers. An incoming request can be distributed to a waiting queue of any server in any node, according to the routing policy integrated by the node-selection policy at network-level, request-dispatching policy at node-level, and request-scheduling policy at server-level. The model is investigated using stochastic high-level Petri net (SHLPN) modeling and performance analysis techniques. Theperformance metrics concerned includes the delay time of requests in the MSMQ node and the response time perceived by the users. The numerical example shows the efficiency of the performance analysis technique.     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

自然资源利用与可持续发展的随机模型及其动态分析

将确定性条件下社会计划者关于消费和不可再生资源利用的最优决策问题拓展到随机环境中,构建了一个社会计划者的随机最优决策模型,运用随机分析方法,得到了最优资本存量的显示路径及稳态分布密度,并给出了模型的政策含义.     

基于Petri网的人员可靠性研究

以往研究人员可靠性基本采用静态方法 ,提出一种动态方法—— Petri网来研究人员可靠性 .在介绍 Petri网基本概念的基础上 ,以碱回收炉操作中出现的人员可靠性问题为例 ,说明在人员可靠性研究中 ,Petri网是一种更为有效的工具     

M-Petri网及性能分析

提出了 M- Petri网的概念 ,并讨论了其相容性、守恒性和有界性的判定条件 .     

集值随机微分包含解的存在性

应用了Bohnenblust and Karlin不动点定理来研究集值随机微分包含解的存在性,给出了研究这个问题的基本引理和定义,证明了集值随机微分包含解的存在性.并用例子验证了结果.     

随机搜索变量方法在滞后回归模型中的应用

对滞后回归模型进行贝叶斯分析，并将随机搜索选择变量方法引入模型中，基于香港空气污染和患呼吸疾病人数数据建立时间序列滞后回归模型。构造基于Gibbs抽样的MCMC数值计算对该模型进行变量选择和参数估计，分析结果表明：湿度对香港患呼吸疾病人数影响最显著，二氧化氮和悬浮粒子也是影响比较显著的空气污染物，模型体现了香港空气污染的真实情况。     

网格实时事务并发控制协议及其PETRI网分析

将网格服务动态性与实时事务替代性相结合, 定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.     

带抑制弧Petri网极小活标识的配置

讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.