论文部分内容阅读
基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言－ＪＺＣ，并对其核心子集编译器进行了设计与开发，该语言设计采用了模式匹配，类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。
一个说明语言的设计和其子集编译器的开发
【摘 要】
：
基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言－ＪＺＣ，并对其核心子集编译器进行了设计与开发，该语言设计采用了模式匹配，类型并置和构造函数等概念，使得
【机 构】
：
南京航空航天大学计算机科学与工程系,云南软件技术开发中心
【出 处】
：
南京航空航天大学学报
【发表日期】
：
1996年3期
其他文献
摘要：消防监督管理是指消防执法人员被管理工作人员依法行使职权的一种监管行为，两者都是消防执法中非常重要的两个组成内容，两者的最终目的都是为了能够更好的处理火灾隐患，使人们更安全的生活。而在整个消防工作中，消防监督管理已经成了重点工作内容，能够为消防工作提供重要的基础保证，而在消防监督管理中运用人工智能技术可以促使消防监督管理水平有效提升，还可以使得消防监督管理逐渐实现自动化以及智能化。 关键词：
一元复始，万象更新。 在大家满怀喜悦的心情迈进新的一年之际，我们向广大读者致以诚挚的问候。 2004年是我国改革开放和现代化建设取得重大进展的一年。过去的一年，《中国经贸导刊》按照党中央、国务院关于经济工作的要求，紧紧围绕国家发展改革委的中心工作开展宣传报道，宣传邓小平理论和“三个代表”重要思想，宣传科学的发展观，宣传国家有关的经济政策和各项部署，宣传改革开放和现代化建设的巨大成就，重点报道全
幼儿教师不但要上好课,更要做好班主任工作,幼儿园班级管理主要应该做到：以一个大家长的身份管理所有的孩子,做到一视同仁、公平对待;成为＂孩子王＂,走进孩子的内心世界;重视对幼
目的：探讨肝脾曲结肠综合征形成的解剖学基础及CT诊断价值。方法：收集临床确诊或随访证实的肝脾曲结肠综合征患者48例,对其CT征象进行回顾性分析。结果：发现结肠的脾曲及肝曲扭
用H~∞控制理论设计伺服控制器,具有频谱直接定型的优点,但是经典的H~∞控制器是以最大最小原则来求解,即考虑到外部输入(包含伺服控制器所要跟踪的控制指令)为最恶劣的情况求取输出最小的控制解。工程应用中,控制指令往往不是最恶劣的输入,若将控制指令建模,将不确定的控制指令变为确定性输入,能改善H~∞控制器的性能指标。由于控制指令难以固定模型建模,本文合理假定控制指令为分段可微,对控制指令进行部分建模为
以模型实验方法对热喷流的红外辐射特性进行了测试实验研究．着重介绍了以通用红外仪器组成的红外探测系统，对热喷流的红外辐射进行实验的测试方法和实测结果。得出了热喷流的红
最近在云龙县跃进林业局漕涧林场志奔山林区发现一株高大的云南铁杉(Tsuga yunnanensisc(Franch.)Mast.)其胸径2.70米,树高34米。树干材积近70立方米(按胸高形数0.4计算)。
<正>本文试图回答以下两个问题:一、职业学校的课堂观察为什么要以学习力的解放为基本视角?二、如何建构以学习力的解放为基本视角的职业学校课堂观察?前者是价值的追溯,后者
首先分析了国内提升机制动装置监测系统现状及存在的优缺点，然后介绍了新型提升机制动系统在线监测系统的组成和特点，以及在鹤煤公司部分矿井的应用情况。通过此系统的成功投运