实时并发离散事件系统的监控

用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法。     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

模糊Petri我在带权不精确知识表示和推理中的应用研究

Ｐｅｔｒｉ网是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和行为分析,以模糊Ｐｅｔｒｉ网的基本定义为基础,讨论了带权模糊的模糊产生式系统表示法,建立了这种表示法与模糊Ｐｅｔｒｉ网之间的映射关系和转换算法;在对模糊Ｐｅｔｒｉ网进一步扩充的基础上,解决了与知识的模糊Ｐｅｔｒｉ网表示相关的几个问题;最后给出了模糊Ｐｅｔｒｉ网中不确定性的计算方法和相应的不精确推理算     

基于赋时Petri 网的化工批处理建模与控制优化

分析了化工批处理过程的特点,以过程设备为核心将整个过程操作划分为若干个子进程,用赋时Ｐｅｔｒｉ网来建立以子进程表示的批处理过程,并提出启发式动态 经自救对过程进行控制。仿真结果表明,基于赋时Ｐｅｔｒｉ网模型与启发式动态 经算法的Ｐｅｔｒｉ网控制器,不仅能准确描述批处理过程的同步、并发及资源工人享关系,而且Ｐｅｔｒｉ网的运行能给出过程生产的最优控制序列。     

基于Petri网的计算机模拟研究

Ｐｅｔｒｉ网作为目前离散动态系统建模中最活跃的建模技术之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用,因而特别适合于模拟方面的研究．本文就以Ｐｅｔｒｉ网的建模方法和动态分析方法应用于供应链的模拟研究     

可修级联生产线的随机Petri网模型及计算机模拟

带缓冲库的可修级联生产线是一类复杂的离散事件动态系统，在用马尔可夫链（ＭＣｓ）方法分析时，随着生产阶数的增加存在状态组合爆炸问题。为此，本文应用随机Ｐｅｔｒｉ网理论，建立了一般可修级联生产线的的随机Ｐｅｔｒｉ网模型。编写了相应的仿真软件，并通过该软件对一６阶生产系统进行计算机模拟，求得了系统的各项指标。     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

基于Petri网的离散事件仿真算法

本文介绍了一种基于Ｐｅｔｒｉ网的模型描述语言ＥＰＤＬ，并给出了Ｐｅｔｒｉ网与离散事件系统仿真相结合的算法。     

一种三态加时变迁Petri网的形式化描述与分析

提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。     

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

基于Petri网模型的主动对象研究

本文分析了Ｐｅｔｒｉ网及其动态行为特性，扩充了事件、条件、动作等成份的内涵，引入了基于Ｐｅｔｒｉ网事件驱动的主动对象模型，并分析了该主动对象的性质，介绍了主动对象的实现     

Realization of Petrinets: a system theoretic approach

Petrinets have become a useful tool for modelling various classes of systems, especially those involving parallel computations and concurrent processes. The present paper deals with a method for identification of the Petrinet model from a given set of input-output observations. The method actually involves a modification of the system identification techniques of linear system theory. It has been shown that, by assuming the net to be a discrete-time linear dynamical system, it is possible to arrive at a reduced-order Petrinet model for a dynamical process. This procedure will enable one to obtain a Petrinet model for subsequent analysis systematically, thus bypassing normally used trial-and-error techniques.     

Modelling and asset allocation for financial markets based on a stochastic volatility microstructure model

On the basis of the market microstructure theory, a continuous time microstructure model is proposed for describing the dynamics of financial markets with stochastic volatility property. From the microstructure model, one may obtain the estimates of two state variables, which represent the market excess demand and liquidity respectively but cannot be directly observed. Based on the indirectly obtained excess demand information instead of the prediction of price, a simple asset dynamic allocation approach is investigated. The local linearization method, nonlinear Kalman filter and maximum likelihood method-based estimation approach for the microstructure model proposed is presented. Case studies on the financial markets modelling and the estimated model-based asset dynamic allocation control for the JPY/USD (Japanese Yen/US Dollar) exchange rate and Japan TOPIX (Tokyo stock Price IndeX) show a satisfactory modelling precision and dynamic allocation performance.     

基于空间的计算机支持的协同远程教学系统模型

利用空间模型描述了协同教学系统的特点和组成要素;分析了其过程模式攻虚拟教室模型;利用Petri网描述了该系统中用户、异步和同步课程管理模型;设计并实现了相应的系统结构模型。     

Agent-based approach to analyzing the effects of dynamic ridesharing in a multimodal network

An agent-based modeling for dynamic ridesharing in a multimodal network is proposed in this paper. The study aims to evaluate the performance of dynamic ridesharing system within a multimodal network and explore the competing mechanism between dynamic ridesharing and public transit, with the presence of managed lane facility. The modeling process simulates the interaction between travelers and the network, and applies a heuristic algorithm to model travelers' decision making process under uncertainty. The model is applicable to networks with varying demographics. Multiple scenarios based on the classic Sioux Falls network have been examined. The modeling results demonstrate that the effects of dynamic ridesharing on a network differ with traffic demand and market penetrations of various travel modes. In networks with high travel demand and low market penetration of public transit, the benefits of dynamic ridesharing system on reducing congestion and providing reliable travel time are quite limited. To enhance the effectiveness of dynamic ridesharing, traffic operators may consider project investments on managed lane facilities. In networks with high market penetration of public transit, dynamic ridesharing may attract large amounts of short distance trips and aggravate congestion, especially at the initial launching phase. Policy makers would want to ensure that the existing infrastructure is sufficient to accommodate the extra traffic induced by ridesharing. Ridesharing service providers might also consider proper strategies to avoid “abuse” of the system by short trips and accelerate the market penetration.     

基于改进Petri网的作战指挥协同模型

在系统分析雷达旅(团)指挥协同过程特点的基础上,结合着色Petri网和时间融合函数发展了一类综合有色Petri网方法,并融入CSCW技术建立了相应的雷达旅(团)指挥协同模型.通过对作战指挥协同系统的建模,发现综合着色Petri网可以有效的降低系统模型的规模和复杂性.     

需求波动对集群供应链服务系统演化影响研究

由于市场需求波动会对供应链双方决策及服务系统稳定性产生影响,导致企业集群不稳定,影响集群式供应链的实施与运营。针对市场需求波动下,如何维持服务系统良好的稳定性,提升供应链的整体绩效,提出了一种服务系统演化仿真模型。该模型通过Agent建模技术构建“采购-供应”二级供应链环境,将服务系统纳入到该环境中进行演化,在演化中采用“计算实验”方法对市场需求参变量调控,最后在Repast平台上对服务系统的稳定性进行动态模拟分析。实验结果表明,该仿真模型在市场需求波动对服务系统稳定性分析方面具有较好的效果。     

System dynamics of supply chain network organization structure

Information technology is providing manufacturers with additional flexibility with regard to their supply chain network choices. Our research studies supply chain network organization structures categorized by the organic and mechanistic management control structures. The structural impacts on cost and fill rate performance are studied in two-echelon and two-supply-chain network organization models under different market coordination conditions using system dynamic simulations. Our results show significant effects of demand and network structural factors, and their interactions, on these measures. As demand becomes dynamic, the cooperative interaction model, where supply chains cooperate to satisfy customer demand, is found to have better system performance than the competitive supply chain model. The analysis also suggests that increasing the responsiveness at the downstream plant is particularly important to the overall system performance improvement.     

小波神经网络在股票平均线交易规则中的应用

股票市场是一个复杂的非线性动态系统，利用传统的时间序列预测技术很难揭示其内在规律，而近十几年来发展起来的神经网络理论逐渐成为非线性动态系统预测与建模的强有力工其。该文介绍了小波分析中的趋势提取技术，建立小波分析与神经网络相结合的预测模型，将该模型应用于股票平均线交易规则中，同时还与普通神经网络预测模型进行厂对比，研究实例表明，小波神经网络方法提高了预测精度，对移动平均线交易规则作了一种有效的补允，是股市技术分析的一种自效实用的方法。