论文部分内容阅读
研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。
一种路由器形式化测试模型的研究
【摘 要】
：
研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
系统仿真学报
【发表日期】
：
2005年01期
其他文献
友从东赢归，赠我“合家欢”牙刷。其用料考究，制作精细，且每套又分日、月（早、晚）两支，并以不同颜色加以区别。“合家欢”牙刷包含着女士、男士与稚童型，柄杆还以粗、细区别，便于使用
英国是世界上最早实施清洁生产立法的国家之一。早在1875年，英国就制定了与清洁生产、环境保护相关的《公共健康法》，1972年制定了世界上第一部控制危险废物的法律——《有毒废物处置法》，紧接着在1974年又制定了一部专门控制污染的法律《污染控制法》。目前，英国正在施行的清洁生产和环境保护法律法规主要有《污染预防法》、《废弃物管理法》等10余种。 从英国清洁生产立法的内容看，主要包括以下几个方面：
讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。
变电站实时监控系统是变电站重要组成部分,它与虚拟现实场景相结合可以提供更加真实的仿真环境,达到更好的培训目的。研究了变电站仿真系统中实时后台监控程序和虚拟现实场景两者之间数据通信的方法。使虚拟现实场景与后台监控程序上的操作互相同步反应,以实现有效的交互式变电站仿真系统。并以实例详细阐述了采用模拟通信程序结合变电站仿真程序,按照IEC870-5-103规约进行数据传输,实现虚拟现实场景与后台监控程序
在今年十届人大一次会议上．人们议论已久的国资委浮出水面。这一举措标志国企改革进入新的历史阶段。新设立的国务院国有资产监督管理委员会将原国家经贸委、中央企业工委及财
摘 要：该文主要是对G353万盛境内段路面破损及养护进行了分析，首先概述了G353万盛境内段路面概况，并对路面破损进行了分；其次，对路面破损的原因进行了分析；最后，针对G353万盛境内段路面破损提出了养护的措施。 关键词：G353 破损 养护 中图分类号：U216.2 文献标识码：A 文章编号：1672-3791（2017）04（c）-0071-02 随着我国公路事业的发展，相应的公路养护工
针对传统神经网络在搜索NP类问题的解时易陷于局部最优点的不足,提出了一种基于改进型能量函数(IEF)和瞬态混沌神经网络(TCNN)的优化模型,将此应用于旅行商问题(TSP)的求解,并和传统神经网络优化方法进行了比较。仿真研究结果表明,该论文所提出的方法在解的可行性以及全局最优解的获取能力方面都有很大优势,收敛速度和准确度也令人满意。
这是我第二次见到邢良坤.第一次见到他是在一堆日本人的"哟唏、哟唏"声里,我站在圈儿外,透过人缝,看到他穿着一身红色休闲装,一双粗大的手挥过头顶,就像是一个教练在作赛前动
◆一些跨国大公司:建立危机管理机制北京的SARS疫情发生后,众多跨国公司在华生产经营没有受到多大影响.跨国公司针对瘟疫、战争和自然灾害都建有一套完善、成熟的企业应急机
摘 要：笔者本着研究的意识和态度，对日常的生活和教学进行深入反思、分析、提炼，挖掘其中蕴含的财富，使之成为我们课堂教学的有效资源，以期能显著提高思想政治课的课堂吸引力。 关键词：生活资源；课堂资源；漫画资源 每一位教师都希望在教育教学最重要的阵地——课堂上，实现自己教书育人的理想，希望自己的课堂充盈着和谐的阳光、闪现着思维灵动的火花，这就离不开课程资源的有效整合，为此，笔者进行了以下几方面的尝