期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
时间有色佩特里网在航班进离港中应用 被引量：3
1
作者 王海东 孙淑光 华克强 《计算机仿真》 CSCD 2007年第11期51-54,共4页
为了解决目前和以后越来越严重的空中交通拥挤问题,文中对终端区空中交通流量管理中航班进离港部分连续航班动态飞机排序问题进行研究。提出了基于时间有色佩特里网(TCPN)的航班进离港的调度方法,用MATLAB软件中的M函数编写了算法程序,... 为了解决目前和以后越来越严重的空中交通拥挤问题,文中对终端区空中交通流量管理中航班进离港部分连续航班动态飞机排序问题进行研究。提出了基于时间有色佩特里网(TCPN)的航班进离港的调度方法,用MATLAB软件中的M函数编写了算法程序,然后进行了仿真。仿真结果表明,该方法选用的算法是合理的,而且可以明显的减少航班总的延误,优化效率高,算法简单可行,而且更符合实际的要求。该方法在一定程度上可以帮助空管人员进行调度决策,从而更加快速有序地对飞机进离港进行调度,对目前空管优化调度,减少延误等情况的处理具有一定的参考研究价值。 展开更多
关键词 航班进离港 航班延时 时间有色佩特里网 建模仿真
下载PDF
基于TCPN的毕业设计选题流程建模与应用 被引量：2
2
作者 田燕 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第7期820-824,共5页
文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理... 文章利用赋时着色Petri网对毕业设计选题流程进行建模,设置多个时间约束控制选题流程的发生和延迟,设置多个颜色集表达题目、申请等同类别不同属性对象,利用可达测试验证流程的合理性和正确性;根据该模型及相关算法对现行毕业设计管理系统进行改进,系统运行稳定,选题工作效率得到提升。基于TCPN的建模方法可以为毕业设计选题流程的改进、优化提供决策支持和参考。 展开更多
关键词 毕业设计选题流程 赋时着色petri网 审核题目 申请题目 系统初审 系统排序
下载PDF
导弹并行测试系统优化模型与性能评价 被引量：1
3
作者 谢化勇 肖明清 +1 位作者 李斌 陈子亮 《计算机工程》 CAS CSCD 北大核心 2011年第18期278-280,共3页
并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建... 并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度。基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性。采用赋时有色Petri网对并行测试系统进行建模,并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性。性能分析结果表明,该方法能提高测试资源利用率,节约测试时间。 展开更多
关键词 并行测试 赋时有色petri网 性能评价 任务调度 蚁群算法
下载PDF
基于TCPN的TCP协议形式化描述 被引量：1
4
作者 何中阳 李鸥 +1 位作者 杨白薇 刘洋 《计算机工程》 CAS CSCD 北大核心 2011年第18期77-80,共4页
提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际... 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。 展开更多
关键词 TCP协议 赋时着色petri网 形式化描述 有界性 活性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部