论文部分内容阅读
针对非确定性系统，提出一种新的相容性测试方法。即推展〔１〕中所提出的对确定的有限状态相进行动态测试的方法，使之可应用于非确定的带标记转换系统。与以往方法相比，该方法可获得更符合实际的测试结果。
非确定性系统的动态测试过程
【摘 要】
：
针对非确定性系统，提出一种新的相容性测试方法。即推展〔１〕中所提出的对确定的有限状态相进行动态测试的方法，使之可应用于非确定的带标记转换系统。与以往方法相比，该方法可获
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
1999年2期
【基金项目】
：
国家自然科学基金
其他文献
数据公司Digital TV Research发布报告《西欧付费电视预测》称，西欧地区应当避免付费电视“退订”现象。西欧付费电视市场是成熟的，但是与北美地区不同，在2016年到2022年期间，西
日前，中央人民广播电台迎接党的十九大重点宣传项目“双百三同”蹲点调研采访活动全面启动。中央电台记者已人驻贫困村，将在重点节目《新闻和报纸摘要》《新闻纵横》《央广新闻
有线电视的业务系统对安全保障的要求更高,且系统自身也更复杂,因此传统的安全解决方案不能适应云环境的安全需求,分析安全防护级别的差异性,提出基于安全资源池和云安全管理
<正>近日,寿宁县建成覆盖县、乡、村三级"光纤入户"网络,成为全省首个广电网络全光网覆盖县,标志着寿宁县从此迈入"光网时代"。借助这张"光网",高清互动电视、宽带、公共WiFi
<正>为加快推进2016年精准扶贫贫困村广播电视“户户通”工程建设,切实将这一惠民工程、德政工程落到实处,让全区4 996户贫困户看上电视、听到广播,同等享受到国家公共文化扶
一.前言 TY-SYS V93-2.0的前身是一套编制铁路工程概(预)算文件的专用软件。随着改革开放的不断深化,铁道部各设计院的业务范围从单一转向多元化,除开展铁路建设工程的设计外
1概述半个世纪以来,我国的电视广播经历了从黑白到彩色电视,从无线传输到有线电视、卫星直播电视,从模拟电视到数字电视的发展阶段,经过不断的技术进步,已经形成了集有线、无
目的:描述护理本科大一新生专业认同现状,并探讨其影响因素。方法:选取福州市两所普通高等医学院校的539名全日制护理学专业大一新生进行问卷调查。结果:护理本科大一新生专
采用电泳沉积方法，制备了ＳｒＴＩ１－ｘＭｇｘＯ３－δ薄膜，研究了薄膜的氧敏特性。
本试验采用四因素二次通用旋转组合回归设计方法，对早春大棚茄子的产量与施肥整枝、密度、激素的关系地定量研究，建立了茄子产量与四的回归模式，分析了各因素之间的相互效应得出