论文部分内容阅读
实时系统的设计给软件设计员带来巨大挑战，在缺乏一个可靠的系统验证环境时，减少甚至避免设计错误几乎是不可能的。该文中我们简要介绍了一个基于ＨＯＬ的交互式实时系统定理证明器－－ＩＲＰ的设计与实现。
基于HOL的实时系统定理证明器
【摘 要】
：
实时系统的设计给软件设计员带来巨大挑战，在缺乏一个可靠的系统验证环境时，减少甚至避免设计错误几乎是不可能的。该文中我们简要介绍了一个基于ＨＯＬ的交互式实时系统定理证明器－－ＩＲＰ的
【机 构】
：
科技大学计算机系(长沙)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
我们经过多年的实践,在制种体系建设、制种技术操作规程方面摸索出一些经验。一、建立稳固的制种基地栖霞县是从1959年开始试制玉米杂交种的,1963年繁殖推广自成体系配套繁
皖91808是安徽省农科院作物研究所以太谷核不育小麦 Ta,省农7959为母本,以农大244为父本杂交选育出的。该品系属半冬性,中熟分蘖力强,成穗率高。每穗粒数40粒,千粒重40克左
提出了用于物体识别定位的传感器规划方法，并利用该方法对物体进行了识别定位仿真实验。该方法利用规则在识别定位过程中动态地规划传感器的方位，较好地显示了主动视觉的作用。
【内容摘要】“让学引思”作为一种全新的教学模式，越来越受到教师的关注。“让学引思”即要求我们为学生留有独立学习的时间和空间，使学生有机会自己通过推理、总结、归纳等思维活动用高中英语的知识去分析问题和解决问题，进而提高自身的能力，让学生成为课堂的主人。本文将通过一些具体的实例展现“让学引思”思想在高中英语课堂教学中的应用。 【关键词】让学引思 高中英语 课堂教学 随着社会对英语水平要求的逐渐提高