论文部分内容阅读
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。
EFSM模型中测试序列的产生方法
【摘 要】
：
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。
【机 构】
：
内蒙古师范大学电化教育系,内蒙古农业大学,内蒙古,呼和浩特
【出 处】
：
内蒙古师范大学学报(自然科学汉文版)
【发表日期】
：
2003年S1期
其他文献
1995年10月、1996年4～5月、9～10月和1999年10月在达茂旗腾格淖尔地区对大沙鼠的生态进行了调查，主要观察了大沙鼠的洞口及利用、食性、取食及食物的贮存、警戒及了望、换毛、扩
随着人们生活水平的不断提高,婚礼已经成为人们结婚过程中必不可少的重要环节,且在婚礼过程中婚礼主持人同样是不可或缺的参与者。随着人们生活水平的提高,人们对婚礼主持人
随着知识经济时代的到来,社会对具有高素质的创新型人才的需求逐渐增多,众多学校也越来越注重创新教育。创新初中历史教学,不仅能够培养学生的创新思维、创新能力以及创新素
分析了新西兰Ｐｅｔｒｏｃｏｒｐ石油公司在我国洞庭盆地所进行的钻进作业，分析了从组织队伍到指标、钻井、完井的整个过程。同时对我国钻井承包商在洞庭盆地作业进行了分析，探讨了我国钻井承包商
影响宁夏农民收入增长的主要因素是农业生产结构、生产投入、经营耕地面积、生产积累、非农产业发展程度、商品经济能力、交通条件和经营耕地产出等.今后增加宁夏农民收入的
本课题适应中央作出的西部大开发决策,主张以发展特色产业作为发展宁夏地方经济的最佳切入点,从理论与实践两个方面,对特色产业进行了界定、选择与培育方面的研究论证.
推进新农村建设，是推动民族地区经济社会更好更快发展的重大举措。这一战略的实施，对民族地区地方院校提出了新要求。民族地区地方院校要适应要求，发挥优势，在农业科技创新、服务
由赵欧创制、北凉首用、北魏继续沿用了111年（A．D．412～A．D．522）的玄始历，除《开元占经》收录了少部分数据外，其余推朔术、推气术、推闰术等，史籍概无记载．目前常见的历表，有的将北凉、北
古代汉诗的历史是汉语诗体的演变史,不仅涌现出大量风格独具的诗体,经历了诗体由无到有,由少到多,由简到繁,再由繁到简,简繁对抗又和解的演变过程,始终存在着诗体的规范与自
利用仿真软件ｐｓｐｉｃｅ，对ＬＣ振荡器的起振特性进行仿真研究。对ＬＣ振荡器的起振过程、振荡电压波形和电流波形、自偏压稳幅性能及起振速度进行了观测和分析，给出了起振特性的特点和规律。