层次着色PETRI网

作品数：16被引量：29H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张国生张晶李晓磊张攀田国会更多>>
相关机构：云南大学武汉大学华中科技大学兰州交通大学更多>>
相关期刊：《计算机应用与软件》《电光与控制》《小型微型计算机系统》《合肥工业大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金山东省自然科学基金国家教育部博士点基金陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于赋时层次着色Petri网的流控制传输协议连接建模与分析被引量：3
《科学技术与工程》2020年第26期10840-10847,共8页张生财 张静 
流控制传输协议(stream control transmission protocol,SCTP)是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统...
关键词：SCTP连接 协议建模与分析 赋时层次着色Petri网(HTCPN) 
基于分层着色Petri网的CPS软件能耗模型
《信息与控制》2018年第1期104-110,128,共8页张晶 周晴晴 范洪博 
国家自然科学基金资助项目(61562051);云南省应用基础研究计划重点项目(2014FA029)
信息物理融合系统(cyber-physical system,CPS)是集计算、网络与物理环境与一体的复杂嵌入式系统,软件是其重要的使能部分.针对CPS软件能耗预测问题,本文从体系结构出发,构建了由计算模块、通信模块与控制模块为顶层的基于层次着色Petr...
关键词：信息物理融合系统 能耗 层次着色PETRI网 分层并行算法 
基于层次着色Petri网的网构软件性能建模与仿真分析方法被引量：2
《小型微型计算机系统》2016年第4期641-645,共5页徐倩 应时 贾向阳 耿江屹 李琳 
国家自然科学基金项目(61373038)资助;国家自然科学基金项目(61070012)资助;国家"八六三"高技术研究发展计划项目(2012AA011204)资助
网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于...
关键词：网构软件 层次着色PETRI网 性能建模 仿真分析 
基于层次着色Petri网的创新能力演化模型及提升路径挖掘被引量：2
《西安工业大学学报》2015年第5期387-396,共10页王纯子 张斌 李慧明 
陕西省教育厅专项科研计划项目(13JK0189);陕西省科技厅自然科学基础研究计划项目(2013JQ9007);陕西省教育科学规划课题(SGH140651);陕西省大学生创新创业训练计划项目(2014107091232);西安工程大学教育教学改革项目(2012JG25);西安工程大学哲学社会科学研究项目(2014ZXSK14);西安工程大学博士科研启动基金(BS1121);教育部人文社会科学研究规划基金(13YJA630080)
提出以目标需求为导向的个体创新能力提升方法,通过构建培养行为措施集,建立基于层次着色Petri网的创新能力演化模型并提出其生成算法,在此基础上设计一种基于改进蚁群算法的最优提升路径搜索方法,为制定高效、个性化的创新能力培养方...
关键词：创新能力演化 层次着色PETRI网 灰色综合评价法 蚁群算法 提升路径 
基于HCPN的BTO供应链的动态构建与仿真被引量：1
《计算机工程与应用》2015年第20期259-266,共8页马金平 
采用层次着色Petri网(HCPN)对企业从接到用户订单、编制供应链计划,直到选定上游供应商的BTO供应链网络的动态构建过程进行建模和仿真分析,其结果可以评价企业的供应链战略联盟响应用户个性化需求的能力。为企业管理者动态构建BTO供应...
关键词：按单加工(BTO)供应链 层次着色PETRI网 仿真分析 HIERARCHICAL Coloured PETRI nets(HCPN) 
车-地通信场景的一种混合建模方法研究
《计算机工程与应用》2015年第16期228-233,共6页胡晓辉 王振强 陈永 
国家自然科学基金(No.61163009);甘肃省硕导项目(No.1104-05)
为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景进行了研究。将车-地通信场景抽象为MAS,给出了场景中车-地主体Agent的内部推理过程和形式化定义,采用CPN...
关键词：车-地通信 多智能体系统(MAS) Agent推理 层次着色PETRI网 
基于赋时层次着色Petri网的混杂系统建模与行为分析
《应用科学学报》2014年第3期293-300,共8页李胜昌 宋阿妮 王明哲 
国家自然科学基金(No.61273207)资助
大型混杂系统的复杂性使建模与行为分析面临巨大挑战.为此,提出一种基于赋时层次着色Petri网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中.离散部分和连续部分分别利用各自领域里的专业工具建模,通过...
关键词：混杂系统 赋时层次着色Petri网 结构化分析 行为仿真 
基于层次社会组织目标的需求过程建模
《计算机与数字工程》2014年第2期235-238,285,共5页张国生 
云南省教育厅科学研究基金项目(编号:2012C106);云南大学重点教改项目(编号:WX070142)资助
将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行...
关键词：组织域树 递归 组织目标 需求目标 目标分解树 层次着色PETRI网 
基于HCPN的面向方面NVP建模与分析
《计算机工程》2012年第16期61-64,共4页孙晓星 虞慧群 
国家自然科学基金资助项目(60773094;61173048)
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立...
关键词：N版本编程 容错 面向方面的编程 层次着色PETRI网 建模 
基于分层着色Petri网的增强现实装配系统建模被引量：8
《计算机集成制造系统》2012年第10期2166-2174,共9页宋荆洲 马铁军 孙汉旭 贾庆轩 高欣 
国家自然科学基金资助项目(60803103);教育部博士点基金资助项目(200800131026)~~
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的...
关键词：层次着色PETRI网 图灵机 增强现实 装配环境 建模 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部