层次着色Petri网相关论文
联锁子系统作为站内行车安全的关键保障,是列车运行控制系统的重要组成。传统集中联锁子系统中存在地面集中控制失效风险大、列车......
学位
网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外......
期刊
为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景......
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。......
提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求......
为能够在软件开发早期检测设计故障,降低N版本编程（NVP）容错策略给系统带来的额外开销,提出一种基于层次着色Petri网（HCPN）的面向方面N......
针对产品设计流程与现实存在不一致而造成工作流在执行期间出现的动态变化问题,文章在深入分析和研究产品数据管理中动态工作流发......
传统的电信业务支撑系统不能随外部需求的变化而进行相应的功能重组。本文结合业务能力封装的思想提出了一种基于面向对象的层次着......
Java多线程程序中存在并发、同步和交互行为,导致状态爆炸,算法错误检测难度较大。调试方法和测试方法都难以覆盖并发程序全部执行......
采用层次着色Petri网研究了物资储配系统的调度问题.用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定......
采用层次着色Petri网的方法,在CPN-Tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低......
将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会......
提出以目标需求为导向的个体创新能力提升方法，通过构建培养行为措施集，建立基于层次着色Petri网的创新能力演化模型并提出其生成算......
随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA......
近程导弹与火炮协同防空已经成为现代防空作战的主要方式之一,研究防空作战流程并且进行优化分析对防空作战效能的提高具有重要的......
学位
文中提出用层次着色Petri网和自顶向下、自底向上的结构化方法,对问题需求功能进行分解、组合的形式化模型。将整个系统按照需要实......
期刊
为实现高效的定制产品设计,以及保证最终结构的质量稳健性,本文从定制产品的结构布局设计、选配优化以及多性能仿真角度,提出了定......
学位
船舶物流是现代物流的重要组成部分，对大型货船内部的物资转运过程进行仿真，可以比较直观地观察物资的转运流程、转运过程中资源的调......
采用层次着色Petri网（HCPN）对企业从接到用户订单、编制供应链计划，直到选定上游供应商的BTO供应链网络的动态构建过程进行建模和仿真......
