论文部分内容阅读
对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。
基于控制流的协议一致性关系测试方法的评述
【摘 要】
：
对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。
【机 构】
：
内蒙古大学计算机科学系
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
1997年2期
其他文献
[摘要]文章指出,面对新时期新形势下的新要求,高校德育工作要实现可持续健康发展,必须与时俱进地体现其时代性,把握其规律性,赋予其创造性,并对如何体现和把握这三性提出了相应的对策。 [关键词]新时期 高校德育 健康发展 [作者简介]高菲斐(1973- ),女,辽宁康平人,中国政法大学学生工作(部)处,讲师,研究方向为大学生思想政治教育。(北京102249) [中图分类号]G641[文献标识码]
给出了一些可以５圈解的具体的完全三部图，利用一个引理构造了若干可以５圈分解的完全三部图系列，给出一个完全三部图可以５圈分解的必要条件，并猜测它也是充分条件。
在高校教学中实施合作学习的策略对于激发学生参与学术研究，深入理解学科内容，提高教学质量具有重要的意义。文章从合作学习的概念入手，分析了实施合作学习的理论依据，并结合专业
给定三维各向同性谐振子的ｑ变形产生湮灭算符，用这些算符构造出ＳＵｑ（３）的生成元，实现了量子群ＳＵｑ（３）。讨论了嵌入的ｅ０和ｆ０指出也能同样的各向同性的三维谐振子实现量子包络圈代数ＳＵｑ（３）。
[摘要]大学生预备党员是高校思想政治教育和党建工作的重点,当前大学生中发展党员的工作力度不断加大,大学生预备党员的教育管理中存在着一些普遍的问题,这就需要管理者以科学发展观为指导,从强化思想意识,明确管理重要性;完善规章制度,形成管理规范性;加强思想政治教育,讲求针对性;创新学习教育方式,突出实效性;严格考核监督机制,增强公开性;实行志愿服务制度,体现实践性等方面入手,积极探索大学生预备党员教育管
中国是一个历史文化悠久的文明国度,几千年的历史造就了绚丽多彩、风格各异的民族民间音乐文化。但是,由于各种原因,这些优秀的民族民间音乐文化濒临灭绝,这就需要我们携起手
合成了１５种稀土与Ｌ－丙氨酸甘氨酸的三元固态配合物ＲＥ（Ｇｌｙ）２（Ａｌａ）３Ｃｌ３．２Ｈ２Ｏ，并以热谱、红外光谱、核磁共振氢谱、质谱以及Ｘ射线衍射数据进行了表征。
教育部党组近日印发了《直属高校党员领导干部廉洁自律“十不准”》的通知，以贯彻落实《中国共产党党员领导干部廉洁从政若干准则》，促进高校领导干部廉洁自律。
考虑一个实际的几何布局问题，平面上ｎ个大小不一，位置可以自由移动的圆，在互不重叠条件下，求出包络它们的最小圆，确定这些圆的相对位置，用Ｆｌｏｕｄａｓ提出的算法，经过有限次迭代妹求问题的ε－最优
采用单包分析技术的网络入侵检测系统常具有较多无效报警信息,影响其实用性。本文通过对入侵检测系统误报产生原因的分析,提出了应该针对具体环境进行分析的思想,建立环境信