论文部分内容阅读
将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；
一致性测试的形式框架扩充及实例化
【摘 要】
：
将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
1998年5期
【基金项目】
：
国家自然科学基金
其他文献
随着经济改革的不断发展,国家每年安排巨款投入基本建设工程。由于多方面的原因,使在建项目投资超出计划投资,出现基建投资失控的现象已屡见不鲜。具体表现在“三超”上,即:
陕西TVOS系统从硬件芯片到系统内核,再到上层软件,逐级确保整个系统安全。从应用实践出发,按照TVOS系统的层级架构,逐级介绍陕西TVOS系统的安全实践过程。
广电系统数据库的信息安全影响着我国广电事业的发展,为此应加强对数据库安全审计的研究。讨论了广电系统数据库安全面临的问题,提出了数据库安全审计的重要性,重点阐述广电
2013年1月10日，全国教育新媒体产业创新战略联盟率先在北京打出了“教育新媒体走进基层、走进学校、服务教育”的旗帜。 全国教育新媒体产业创新战略联盟成员单位共同点是均为积极投身于教育新媒体产业技术及产品研究、开发、生产、服务的机构，包括企业、高校、科研机构及其他组织，它们以“推进中国教育新媒体产业技术创新发展及产品应用普及进程”为目标，以教育信息化发展需求为基础，以研究、培训、评估、咨询、传播
专科作为大学里的一种教育层次已得到社会的认可。当前，我国成人学历教育中专科教育层次占很大的比重，对在普通高等医学院校学习的成人医学专科学生中进行心态方面的调查报道不
日前，河北广电衡水分公司经过积极争取，成功获批承建园博园无线WiFi全覆盖项目。项目主要覆盖园区室外、主展馆、五个游客中心、滏阳楼等区域，共设计建设AP点260个，预计工期40天
铁路工程造价的合理确定和有效控制是 铁路工程建设管理的重要组成部分。控制工 程造价的目的不仅在于控制项目投资不超过 批准的造价限额,更积极的意义在于优化设 计方案,少