【摘 要】
：
在系统实际测试过程中．发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为．但在这种模型下，状态机并非完全接受所有的输入序列，且在某些输入序列上会产生不
【机 构】
：
西南民族大学电气信息工程学院,中兴通讯成都研究所,香港中文大学计算机学院
论文部分内容阅读
在系统实际测试过程中．发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为．但在这种模型下，状态机并非完全接受所有的输入序列，且在某些输入序列上会产生不确定的输出序列，所以，经典的完全确定有限状态机的一致性定义，即被测实现和协议规范等价，不适用于非确定部分有限状态机．本文引入了一种新的一致性定义，并在非确定部分有限状态机下，给出了该一致性定义下完备的测试序列生成方法．
其他文献
水利工程建设利国利民,是我国现代化建设的重要组成部分,如果水利工程的施工质量达不到要求,会给百姓以及社会带来严重的损失,因此保证水利工程的施工质量,做好水利工程的施
数学是小学教育阶段最先接触到的学科之一,对学生各方面能力的培养具有重大的意义.随着课程改革的不断深入,传统的教学模式正在逐渐被替代,培养小学数学学科素养的主要目的是
青少年社会化的重要场所是家庭,青少年的社会价值观念和社会化目标首先是从父母那里获得的,而自尊是社会化的重要方面,因此,父母的教养方式对青少年的自尊发展具有显著影响,
高浓度有机废水经高分子絮凝剂重复沉淀分SO<sub>4</sub><sup>2-</sup>后,采取PSB和SBR生化法串联净化,使CODcr大为削减,废液中的可溶性菌体蛋白改性成固体蛋白,可变废为宝作
目的 探讨风险管理在医院门诊护理中的应用价值。方法 选择我院2017年1月—2018年3月门诊接诊患者600例作为研究对象。按照护理方法的不同,将其分为对照组和观察组,每组各300
针对鸿岭煤矿保护层开采前后，被保护层基础参数的变化情况，通过实验室测定被保护层测点的瓦斯含量、压力，了解开采前后数据的变化情况，确定被保护层是否受到保护层的保护。
根据全球汽车工业发展的总体趋势,阐述了汽车零部件供应链向模块化体系转变的历史背景;对模块化的三个方面即:产品结构模块化、制造过程模块化和采购关系模块化以及他们之间
在问卷调查的基础上 ,通过对Bandura自我效能理论和Tschannen -Moran教师自我效能整合模型的分析 ,采用探索性因素分析和验证性因素分析方法 ,建构体育教师教学效能感量表。
通过对黄曲霉毒素中毒鸭的观察、分析和研究,从其发病经过,临床症状,解剖变化,显微镜检查,细菌分离等几个方面入手,客观地剖析了该病的病理特征,概况了该病的发作因素,提出了
目的探讨胸腔镜下肺叶切除术和肺段切除术治疗肺癌的临床疗效和对肺功能的影响。方法以2013年1月—2016年12月我院收治的67例肺癌患者为研究对象,回顾性分析患者临床资料,观