英语人>网络例句>Petri 相关的网络例句
Petri相关的网络例句

查询词典 Petri

与 Petri 相关的网络例句 [注:此内容来源于网络,仅供参考]

Finally, an engineering example, which is an automatic carbarn, is used to illustrate the modeling and analysis methods of CDPN. control and data Petri net ; control system ; modeling and analysis

笔者提出的控制和数据Petri网是控制系统设计的一种模型,通过对该模型的分析,可提前发现前期的设计错误,缩短设计周期,完成对系统控制的确认。1 一种适用于控制系统建模与分析的Petri网

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型,验证系统功能性和实时性,在此基础上,提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法,并针对一类特殊形式的网模型———可组合时间Petri网,设计了相应的简化算法·实验说明,上述算法时间复杂度低,且优化效果接近最优值,能够为实时系统低能耗高层综合提供有力支持

Reachability is one of the most basic and important dynamic properties of Petri nets. But the reachability decidability problem has at least exponential space complexity and no effective algorithm is found by now.

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。

The concurrent language relation formula is presented and proved in the synchronous synthesis of Petri net systems, and it can be applied to judge the liveness and deadlock-freeness of a synthesized system.

该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件。

A method using incidence matrix of Petri net to identify the minimal cut sets was proposed.

在应用Petri网模型构建系统故障逻辑关系图的基础上,提出了一种应用Petri网的关联矩阵求最小割集的算法。

A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector.

该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上,利用各种方法求得各种逻辑型、结构型控制器,解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

In organization level, design activity fragmentizing strategy and negotiation mechanism are applied to schedule the collaborative design process. To present the uncertainty in design, resource sharing, message passing and real-timed interaction between programs, the integrated control Petri net is adopted to model and simulate the collaborative level. Control level is realized by workflow model, which control the tasks in collaborative design by means of user management, access control and task control rules.

本文通过细化设计活动策略和协商机制,实现了组织级的协同设计过程规划;针对常用的有色Petri网方法不能解决实际系统运行中出现的不确定性、资源共享、信息传递和外部程序的实时交互等问题,通过对有色Petri网的扩充,提出了采用集控Petri网方法,用于协调级的建模和仿真;采用工作流模型为控制级实现,从用户管理、访问控制模型、协同任务控制规则三个方面实现协同设计过程的任务流控制。

This dissertation fistly introduces appearance, definition, development process, functions and status of MES, also analyses methods and existent problems of MES production scheduling; as follow, in the background of CY_MES (a enterprise's Manufacturing Execution System), introduces main function and buildup of its support platform– SIMATIC IT, and whole structure of CY_MES; afterwards, for special production instance of the enterprise, designs production scheduling system software structure, function structure, data structure of order and entry and realization of silk production and packing production scheduling based on SIMATIC IT; finally, after contrast of many modeling methods and careful research of silk production flow of the enterprise, selects Petri net to model the silk production scheduling, for the sake of avoiding many error chromosomes, improves on the basic genetic algorithm, uses sigle unit genetic algorithm to optimize the Petri net model, lists the contrast of scheduling results.

本文首先介绍了MES的产生、定义、发展历程、功能及其发展现状,同时也分析了MES生产调度问题的各种解决方法及其存在的问题;接着以CY_MES为背景介绍了其支撑平台——SIMATIC IT平台的功能及其各组成部分,以及CY_MES的SIMATIC IT整体解决方案;紧接着在SIMATIC IT平台基础上,针对该烟厂的生产实际情况,设计了CY_MES生产调度系统的软件结构、功能结构、工单和子工单的数据结构和制丝与卷包生产调度的实现方式;最后,在比较了各种生产调度建模方法的利弊和对该烟厂制丝生产工艺流程深入研究后,利用Petri网建立了制丝生产调度模型,为了避免大量无效个体的出现,对基本遗传算法进行了改进,采用单个体遗传算法对这个Petri网模型进行了优化,并给出了调度结果的对比。

Fault propagate model to obtain and combine present prevailing large amount of information, neuron network,etc. method most model, Direct against fuzzy Petri network give and publish undering the jurisdiction of degrees of algorithm of function concrete their; Petri network reasoning method combine trouble tree forward reasoning reverse algorithm of reasoning mainly, The concrete instance of connection is analysed and compares; Participate in potato cake production line background that design with author finally , combine on-the-spot characteristic of equipment, Set up one fault diagnose concrete model of expert system.

故障传播模型的获取结合了当前流行的最大信息量、神经元网络等方法,并且针对模糊Petri网给出了其具体的隶属度函数的算法;Petri网推理方法主要结合故障树正向推理反向推理的算法,联系具体实例进行分析和比较;最后以笔者参与设计的薯饼生产线背景,结合现场设备的特点,建立了一个故障诊断专家系统的具体模型。

第3/31页 首页 < 1 2 3 4 5 6 7 8 9 ... > 尾页
推荐网络例句

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国,慢性酒精中毒,肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题,你可以随时联系我。

Very pretty, but the airport looks more fascinating The other party wisecracked.

很漂亮,不过停机坪更迷人。那人俏皮地答道。