期刊文献+
共找到106篇文章
< 1 2 6 >
每页显示 20 50 100
Modeling of reliability and performance assessment of a dissimilar redundancy actuation system with failure monitoring 被引量:11
1
作者 Wang Shaoping Cui Xiaoyu +2 位作者 Shi Jian Mileta M.Tomovic Jiao Zongxia 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2016年第3期799-813,共15页
Actuation system is a vital system in an aircraft, providing the force necessary to move flight control surfaces. The system has a significant influence on the overall aircraft performance and its safety. In order to ... Actuation system is a vital system in an aircraft, providing the force necessary to move flight control surfaces. The system has a significant influence on the overall aircraft performance and its safety. In order to further increase already high reliability and safety, Airbus has imple- mented a dissimilar redundancy actuation system (DRAS) in its aircraft. The DRAS consists of a hydraulic actuation system (HAS) and an electro-hydrostatic actuation system (EHAS), in which the HAS utilizes a hydraulic source (HS) to move the control surface and the EHAS utilizes an elec- trical supply (ES) to provide the motion force. This paper focuses on the performance degradation processes and fault monitoring strategies of the DRAS, establishes its reliability model based on the generalized stochastic Petri nets (GSPN), and carries out a reliability assessment considering the fault monitoring coverage rate and the false alarm rate. The results indicate that the proposed reli- ability model of the DRAS, considering the fault and redundancy degradation process and identify monitoring, can express its fault logical relation potential safety hazards. 展开更多
关键词 Dissimilar redundancy actu-ation system Electro-hydraulic actuationsystem Fault monitoring Generalized stochastic petrinets Performance degradation
原文传递
基于扩展Petri网描述的动态工作流模型 被引量:10
2
作者 王华 刘渊 《微计算机信息》 北大核心 2005年第12X期93-95,共3页
针对传统工作流在灵活性和自适应性方面不足的问题,本文提出了一个具有"自我学习"和"自我路由选择"功能的动态工作流模型。为了更好的对其进行描述,本文还扩展了传统的Petri网。该工作流应用于实际的应用系统集成... 针对传统工作流在灵活性和自适应性方面不足的问题,本文提出了一个具有"自我学习"和"自我路由选择"功能的动态工作流模型。为了更好的对其进行描述,本文还扩展了传统的Petri网。该工作流应用于实际的应用系统集成平台的开发,取得良好的效果。 展开更多
关键词 工作流 动态模型 PETRI网 “自我学习” “自我路由选择”
下载PDF
基于语义本体的流程建模与验证 被引量:6
3
作者 常关羽 杨海成 王冲 《计算机集成制造系统》 EI CSCD 北大核心 2016年第9期2256-2263,共8页
针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控... 针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控制结构和共享业务知识的需求,采用语义本体来描述流程的关键要素,形成了可交互操作的流程语义知识,提升了流程的跨机构交互性能,为建设新一代以知识为基础、以人为中心的智能流程系统提供基础支撑。模型对传统流程结构描述进行了拓展,将流程结构表达作为结构语义元素融入流程本体中,得到了更丰富的流程模型描述。为了增强流程模型的可应用性,充分考虑了模型的可验证性问题,给出了相应的验证方法并考察了验证效率,实现了模型语义和结构的双重验证。 展开更多
关键词 业务建模 语义本体 Petri-网 模型验证
下载PDF
基于GSM-R/CTCS的列车控制系统形式化描述和建模 被引量:4
4
作者 胡晓辉 周兴社 党建武 《计算机工程与设计》 CSCD 北大核心 2006年第1期70-72,91,共4页
GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统,该标准的实施能够缩短列车之间的追踪间隔距离,提高区间通过能力,适合各种类型、各种速度的列车使用,其中无线通信是关键技术。考虑GSM-R出现的通信问题,给出Pe... GSM-R/CTCS的CTCS4级标准是一种基于移动闭塞系统和无线通信的列车控制系统,该标准的实施能够缩短列车之间的追踪间隔距离,提高区间通过能力,适合各种类型、各种速度的列车使用,其中无线通信是关键技术。考虑GSM-R出现的通信问题,给出Petri网表示的列车与地面设备无线通信模型和系统行为描述。 展开更多
关键词 中国列车控制系统 铁路无线通信系统 移动闭塞 PETRI网 建模
下载PDF
工作流系统建模与基于群件的实现 被引量:2
5
作者 张毅坤 张亚玲 《计算机工程与应用》 CSCD 北大核心 2003年第26期221-223,共3页
论文讨论了Petri网理论在工作流建模中的应用,建立并分析了公文管理的Petri网模型,对基于Notes的公文管理系统实现中的关键问题给出可行的解决方案。
关键词 工作流建模 PETRI网 公文管理 冲突控制 修改留痕
下载PDF
面向对象Petri网继承性的研究 被引量:2
6
作者 于秀宾 任爱华 《计算机工程与设计》 CSCD 北大核心 2008年第20期5190-5194,共5页
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模... 面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活。 展开更多
关键词 PETRI网 面向对象 面向对象PETRI网 继承性 并发 多态性 状态爆炸 建模语言
下载PDF
基于P-不变量的Petri网并行化方法的研究 被引量:2
7
作者 李文敬 王汝凉 廖伟志 《计算机工程与设计》 CSCD 北大核心 2009年第16期3758-3761,3770,共5页
为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并... 为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证。给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法。实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的。 展开更多
关键词 P-不变量 PETRI网 分割 并行进程 并行化方法
下载PDF
基于Petri网的非线性多变量系统解耦控制 被引量:2
8
作者 万军 赵不贿 《控制与决策》 EI CSCD 北大核心 2018年第9期1713-1718,共6页
广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制... 广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制.所提方法充分利用了自控网系统的特点,所设计的控制器模型能实现系统控制与参数学习的统一.结合双容水箱控制系统实例进行仿真分析,分析结果验证了所提方法的有效性. 展开更多
关键词 PETRI网 解耦 多变量系统 PID控制 单神经元 自控网系统
原文传递
公路施工Petri网全过程仿真及关键算法研究 被引量:2
9
作者 张绍阳 王选仓 《武汉理工大学学报(交通科学与工程版)》 2006年第3期388-391,共4页
目前的仿真研究不能适应公路施工周期长、影响因素多的特点.提出全过程仿真的概念,给出了全过程仿真的Petri网定义,研究了模型输出与模型参数、模型结构之间的关系以及模型自适应算法的实现方法.分析了全过程仿真系统设计的基本原则,建... 目前的仿真研究不能适应公路施工周期长、影响因素多的特点.提出全过程仿真的概念,给出了全过程仿真的Petri网定义,研究了模型输出与模型参数、模型结构之间的关系以及模型自适应算法的实现方法.分析了全过程仿真系统设计的基本原则,建立了基于Petri网的分层全过程仿真系统,该系统使模型能够自动匹配工程状态,有效地解决了模型的有效性问题.最后以工程实例表明使用全过程仿真系统可以很好地为公路施工提供决策支持. 展开更多
关键词 全过程仿真 公路施工 PETRI网 自适应算法
下载PDF
基于Petri Nets优化集成共沸精馏系统方法的应用 被引量:2
10
作者 金山 滕林政 +2 位作者 董宏光 肖武 郭新闻 《高校化学工程学报》 EI CAS CSCD 北大核心 2011年第1期129-135,共7页
基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操... 基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操作数建立目标函数,进而通过求解0-1整数线性规划,得到分离共沸物最优操作路径;最终,通过实例计算结果与文献的对比,阐述了方法具有超级结构完备,数学模型精确,求解算法高效的优势。 展开更多
关键词 petrinets 共沸精馏 操作路径 整数规划 优化综合
下载PDF
基于PetriNets的ASIP流水线研究
11
作者 赵谦 朱勇 《武汉纺织大学学报》 2013年第3期61-63,共3页
探讨了将CPU中流水线用PetriNets模型进行描述设计的一种方法,为了分析验证PetriNets流水线模型描述的正确与否,搭建了一个用verilog语言实现的模型CPU运行环境,该CPU的CU单元用PetriNets描述,对其做了仿真验证,对这项研究的可行性进行... 探讨了将CPU中流水线用PetriNets模型进行描述设计的一种方法,为了分析验证PetriNets流水线模型描述的正确与否,搭建了一个用verilog语言实现的模型CPU运行环境,该CPU的CU单元用PetriNets描述,对其做了仿真验证,对这项研究的可行性进行了验证,为以后进一步研究提出了一个可行的指导思想。 展开更多
关键词 PETRI网 专用指令集处理器 VERILOG硬件描述语言 可编程门阵列
下载PDF
基于Petri网的协同设计过程模型
12
作者 何宇 黄舒志 +1 位作者 刘淼 黄雨 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期11-15,共5页
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化... 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。 展开更多
关键词 协同设计过程模型 petrinets 工作流 形式化模型
下载PDF
基于Petri网的固定结构决策组织建模技术研究
13
作者 刘治国 张德育 孙佳 《沈阳理工大学学报》 CAS 2009年第3期15-18,共4页
在指挥自动化系统中,固定结构决策组织模型的建立存在多维性、复杂性、开发研制周期长、耗资巨大等问题,仿真技术为这类问题的解决提供了一条途径,而建模技术对仿真的有效实施提供了保障.文中在对现有固定结构决策组织建模技术深入分析... 在指挥自动化系统中,固定结构决策组织模型的建立存在多维性、复杂性、开发研制周期长、耗资巨大等问题,仿真技术为这类问题的解决提供了一条途径,而建模技术对仿真的有效实施提供了保障.文中在对现有固定结构决策组织建模技术深入分析的基础上,提出一种基于格论生成法和两阶段生成法相结合的建模方法.该方法具有可在不同抽象级别上变换的特点,更适合描述系统状态的改变,提高系统设计开发效率. 展开更多
关键词 PETRI网 决策组织 固定结构决策组织模型
下载PDF
基于Petri Nets的ASIP状态机设计方法研究
14
作者 赵谦 朱勇 《价值工程》 2013年第15期195-196,共2页
探讨将ASIP中CU单元的传统状态机用PetriNets模型进行描述设计的一种方法,为分析验证PetriNets模型状态机描述的正确性,构建一个用verilog语言实现的基于MIPS指令集架构的模型CPU控制器环境,该控制器CU单元采用PetriNets状态机模型设计... 探讨将ASIP中CU单元的传统状态机用PetriNets模型进行描述设计的一种方法,为分析验证PetriNets模型状态机描述的正确性,构建一个用verilog语言实现的基于MIPS指令集架构的模型CPU控制器环境,该控制器CU单元采用PetriNets状态机模型设计,进行线路逻辑综合,系统成功的FPGA开发板上运行,对这项研究的可行性进行验证,为以后进一步研究提出一个可行的指导思想。 展开更多
关键词 PETRI网 ASIP 状态机 可编程门阵列
下载PDF
Petri Nets算法在电力系统恢复中的应用 被引量:17
15
作者 程云志 房鑫炎 《电力自动化设备》 EI CSCD 北大核心 2003年第5期12-15,共4页
通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNet... 通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNets算法对系统恢复时各电力元件状态和恢复操作进行建模,可以在时域上直接仿真系统恢复的全过程。该算法考虑了不同恢复阶段的目标、每个操作措施的估计时间和操作员的经验,具有灵活的冲突处理机制和并行处理特性,形成的恢复方案准确而直观。对给定的一个电网算例进行了仿真计算。 展开更多
关键词 电力系统 petrinets算法 电网 系统故障 系统恢复
下载PDF
基于UML&OPN的C^4ISR系统体系结构仿真验证研究 被引量:11
16
作者 柏晓莉 姜军 +1 位作者 罗雪山 张耀鸿 《系统工程与电子技术》 EI CSCD 北大核心 2008年第4期671-676,共6页
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时... 基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。 展开更多
关键词 C^4ISR系统 体系结构验证 UML 对象PETRI网 仿真
下载PDF
基于随机Petri网的机群系统可信赖性研究 被引量:2
17
作者 刘士喜 许志才 方贤文 《计算机工程与设计》 CSCD 北大核心 2008年第24期6190-6192,6217,共4页
随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分... 随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。 展开更多
关键词 随机PETRI网 可信赖性 机群系统 分配器/服务器
下载PDF
基于微分Petri网的民机航迹演化通用模型构建 被引量:4
18
作者 韩云祥 汤新民 +1 位作者 韩松臣 张明 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第2期322-328,共7页
为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参... 为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。 展开更多
关键词 空中交通管制 航迹预测 演化模型 混杂PETRI网 微分Petri网
下载PDF
下一代网络核心业务平台的可靠性分析 被引量:3
19
作者 杨孟辉 廖建新 吴乃星 《通信学报》 EI CSCD 北大核心 2006年第4期60-66,共7页
基于随机Petri网,提出了一种计算NGN核心业务平台可靠性的方法。对双机热备份容错系统和N+1互备份容错系统的硬件环境分别进行了可靠性建模与分析。提出了软件模块容错方法,并得到了该方法的软件模块可靠性表示方法;然后从软件模块的角... 基于随机Petri网,提出了一种计算NGN核心业务平台可靠性的方法。对双机热备份容错系统和N+1互备份容错系统的硬件环境分别进行了可靠性建模与分析。提出了软件模块容错方法,并得到了该方法的软件模块可靠性表示方法;然后从软件模块的角度,对业务软件的可靠性进行了建模与分析。最后给出了一个实例,分析了NGN核心业务平台的硬件系统和业务软件是如何协作满足业务可靠性要求。 展开更多
关键词 可靠性 下一代网络 随机PETRI网 容错系统
下载PDF
作战事件跟踪描述建模及验证方法研究 被引量:3
20
作者 刘刚 罗爱民 皇甫先鹏 《计算机科学》 CSCD 北大核心 2012年第5期291-294,共4页
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的... 为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。 展开更多
关键词 对象PETRI网 作战事件跟踪描述 验证评估
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部