【摘 要】
：
基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高测试的覆盖率和完整度。首先研究了实时并发
【机 构】
：
同济大学电子与信息工程学院,九江学院图书馆
【基金项目】
：
国家自然科学基金（61075002）,国家科技支撑计划重大项目（2011BAG01803）和863计划（2012AA112801）资助项目.
论文部分内容阅读
基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系，然后在时间迹、时间拒绝两种框架下，分别定义了最小不满足时间迹、最小拒绝集合，分情况研究了其测试过程。在TCSP的稳定失效模型下，将输出事件加入拒绝事件集合，最后提出了基于通信顺序进程（CSP）精化关系，且辨别输入、输出事件的实时测试模型，因此测试时不仅能精确地表示系统属性及行为，而且能利用该语言的精化关系定义
其他文献
在孙中山的中西文化观中,既有接受中国传统文化的一面,又有吸收西方文化的一面,将中华文化置于近代世界文化的广阔背景中,判断其价值,以定其取舍与改造之途,体现了'破
采用HP-5毛细管柱和FID检测器,以1,2-二苯乙烷为内标物,建立气相色谱分析方法对溴丁酰草胺及杂质进行分离。该方法分离效果好,准确度高,重现性好且操作简单、快速。方法的标
采用高效液相色谱法,以乙腈＋冰乙酸水溶液（p H=3.0,体积比40∶60）为流动相,经ODS-BP色谱柱分离,在280 nm波长下对40%氰霜·氟啶胺悬浮剂进行定量分析。结果表明：氰霜唑和氟啶
本文对现代会计内涵及特点和现代会计的现状进行了分析,并对加强会计工作提出了几点建议.
熊彼特奠定了企业创新研究的基本分析框架。虽然学者之后对此框架进行了扩展,但这些扩展忽略了技术外溢对企业创新的影响。技术外溢分为水平型技术外溢和垂直型技术外溢。实
在中专服装专业的服装美术教学中,教师要根据专业教学实际,结合学生的实际需求,积极开拓教学视野,博采众长,从培养人才的高度,积极合理地运用绘画、音乐、文学等多方面的知识
建立一种高效液相色谱法,对35%噻虫·福·萎锈悬浮种衣剂中有效成分进行分离和定量分析。使用ZORBAX SB-C18色谱柱和紫外可变波长检测器,以甲醇＋0.3%冰乙酸水溶液（体积
草铵膦具有L-型和D-型2种对映异构体,其中精草铵膦（L-型）的除草活性是外消旋混合物的2倍,精草铵膦合成受到了广泛关注。根据专利及文献报道,基于手性中心不同的构建方式,对精草
总结了湖南工程职业技术学院电子专业的教研成果,提出了专业知识技能目标的专业基本知识技能、专业核心知识技能、专业提升知识技能等三类模块划分;重构了与专业知识技能培养
为明确10种杀虫剂对稻飞虱的田间防效及安全性,采用田间茎叶喷雾法检测防治效果,以邓肯氏新复极差法检验差异显著性。结果表明：20%异丙威乳油、50%敌敌畏乳油速效性较好,药后1