【摘 要】
：
一般情况下,一个协议的说明会有几个不同的协议实现.大多数确定有限状态机(DFSM)在测试时假定测试的目的是证明被测实现(IUT:implementation under test)的行为等价于协议说
【机 构】
：
内蒙古工业大学信息工程学院,内蒙古师范大学电教系
论文部分内容阅读
一般情况下,一个协议的说明会有几个不同的协议实现.大多数确定有限状态机(DFSM)在测试时假定测试的目的是证明被测实现(IUT:implementation under test)的行为等价于协议说明中定义的行为.然而,在非确定性系统(NDS)中因为存在非确定性,测试时只能证明被测实现(IUT)与给定的说明是否具有某种实现关系.一般有几种不同层次的"实现"关系,一种新的简单的方法,可检查非确定性系统中协议实现和协议说明是否满足失败偏序关系.
其他文献
建筑工程项目是一个非常系统的项目,涉及到了大量的专业技术和机械设备以及施工人员,同时也具有非常独特的项目特点,比如工程项目建造过程的不可逆性,巨额的建筑施工的成本和
采用钨极氩弧焊制备了双相钢焊接接头,基于热力学方法计算了母材和焊缝的平衡相变过程,采用OM,SEM,EDS,TEM等方法表征了接头不同区域的微观组织.结果表明,焊缝中添加镍显著促
小学语文课堂教学的导入是小学语文教师采用简洁生动的语言创设一定教学情景,拉开一堂课的序幕的教学策略。小学语文课堂教学导入是小学语文教学艺术的第一个闪光点,是小学语
4月7日，青海省财政厅在西宁召开了全省财政监督工作会议，全省各州（地、市）、县级财政局分管财政监督工作的领导，各州、地、市财政局财政监督科科长，各会计师事务所所长和本厅各处（室
随着经济社会的不断发展,人们对生活质量的要求也随之提高,对当前建筑工程施工技术管理现状分析并给予创新,为人们营造更好的生活环境。文章对建筑工程施工技术管理现状与创
新会计准则体现了全面收益观在我国会计领域的应用，它与我国日益发展的市场经济和多变复杂的环境相适应。不断创新的衍生金融工具对现行的会计收益报告提出了挑战．需要全面收益
从财政改革和发展的角度来看．财政内部监督是一个新话题。就是在改革开放初期．财政内部监督也很少被提及。尽管财政部门从1999年起就开展了财政内部监督工作，但是．直至2005年1月，
正一、财政或有负债的正面与负面效应几乎所有的财政都存在或有负债,其发生有其必然性,在某种意义上说,它是衡量经济运行状况以及政府与市场协调程度的一个综合指标。它的存
目前电大通用的《基础写作》教材存在的错误主要有：概念欠准确、阐述不符合写作学原理、介绍写作原理有知识性错误。该教材在今后的编写中应严谨、科学。
１１７头乳牛，分试验组和对照组，试验组按ＮＲＣ乳牛营养标准给日粮，对照组按该场原配方给日粮。结果表明，１２０天后试验组血液Ｓｅ为０．０６３ｍｇ／Ｌ，Ｃｕ为０．８２ｍｇ／Ｌ，Ｉ为２．５ｕｇ／１００ｍｌ；而对照组血液Ｓｅ为０．０１９ｍｇ／Ｌ，Ｃｕ０．５４ｍｇ，Ｌ，Ｉ为１．３９ｕｇ／１００ｍｌ，两组差异显著（Ｐ＜０．０５）。试验组１２０天后产奶量平均每头为２０ｋｇ／日