您要查找的是不是：
- The controller enforced a set of inequality constraints on the reachable markings of the Petri net model. 提出了一种加入线性不等式约束的卡尔曼滤波方法,并用于涡扇发动机的健康状况估计。
- Firstly,it deals with how to use UML to build the structural model and the action model of the ISCM system,and how to use APN to build the Petri Net model of the ISCM system. 首先用UML方法构建ISCM库存系统的结构模型和行为模型,用APN方法构建库存系统的Petri网模型;
- This paper first presents a virtual community service architecture based on the Open Grid Service Architecture (OGSA). A stochastic high-level Petri net model is given to realize the Quality of Service (QoS) based scheduling of community service resoures. 针对这些问题提出了基于开放网格服务结构(OGSA)的虚拟社区服务网格体系结构;并给出随机高级Petri网模型;以实现一个基于服务质量(QoS)的社区服务资源调度.
- According to the description of library/transition decision system inference from decision-making organizations at brigade and battalion levels, a Petri net model of air defense decision system is established. 对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型。
- Through reachability tree and event graph analysis, It is shown that the proposed Petri net model is live, bounded, safe and conservation, proving that the asynchronous parallel communication protocol is reliable. 通过可达树和事件图分析,得到了该Petri网模型是活的、有界的、安全的、守恒的,证明了IEEE4 88总线的异步并行通信协议的可靠性。
- ARP Spoofing and Its Petri Net Model ARP欺骗及其PETRI网模型
- general stochastic petri net model 广义随机Petri网模型
- Abstract The Petri net models of the clauses for logical inference using fixpoint are studied and the four-valued logic and the conflict transition concept are introduced. 逻辑推演是人工智能的基础之一;推演过程就是确定一个给定的命题是否由所收集的一组事实和子句规则所蕴含.;在推理研究中;已有多种模型方法来表示知识和推理过程
- In this paper,the Stochastic Petri Nets model of a master slave distributed system is constructed. The performance of the system is analysed based on the model. 本文建立了主从分布系统的随机Petri网模型，并用此分析其系统性能。
- This paper presents a Petri Net modeling and verifying method for Universal Component Description Language(UCDL),that is to say,presents corresponding Petri net models and modeling method for Web service meta-activities and components. 本文针对通用构件描述语言(UCDL)提出一种Petri网模拟和验证方法,即对于Web服务的元活动和构件,提出相应的Petri网模型和建模方法。
- Timed Hybrid Petri Net(THPN),one of the Hybrid Petri Net models, were first put forward by David ,and an efficient way for analyses of THPN properties is the construction of the THPN developing graph. 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型;而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.
- W.M.Zuberek, W.Kubiak “Timed Petri Net Models of Flexible Manufacturing Cells”, Proceedings of the 36th Midwest Symposium on Circuits and Systems, Vol. 2, pp. 922 - 925, Aug. 1993. 李金德,集束型半导体生产设备模式的建立及性能分析,私立中原大学机械工程研究所硕士论文,民88年。
- The Extended Petri Net Model for a Kind of Recursion 计算一类递归方程的增广Petri网模型
- A kind of Bumpless Transfer Block System and Its Colored Petri Net Model 一种实现无扰切换的功能块系统及其着色Petri网建模
- Object-Oriented Petri Net Model and Its Application in Alert Agent System 面向对象Petri网及其在告警服务代理软件中的应用
- Implementation of Telenet Client Option Negotiation Based on Petri Net Model 基于Petri网模型的Telenet客户机选项协商实现
- Logical Inference of Clauses in Petri Net Models Using Fixpoint 利用不动点求解子句逻辑推演的Petri网模型
- Behavioral Properties and Determining Methods of Hybrid Petri Net Model of Hybrid System 混和系统Petri网模型的行为特性及判定方法
- A kind of Petri net model for analyzing the concurrent information flow of battle command and control 一种分析作战指控并发信息流的Petri网模型
- Petri Net Model and Performance Analysis of Artillery Automatic Command System Decision Organization Structure 炮兵群自动化指挥系统决策组织结构的 Petri 网建模与性能分析
