面向问题的描述语言及其支撑系统POLTRANS

来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户:A55190684
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出一种面向问题的描述语言POL,论述了实现由POL程序向特定面向过程的高级语言源程序转换的翻译系统TRANS,两者在方法库的支撑下构成了一种通用的辅助软件开发环境POLTRANS。它适用于拥有大量规范范围方法积累的领域。
其他文献
“小数”是“数与代数”领域的一个重要部分。从整体看,小学阶段对小数的学习分三阶段进行。小数概念对于以直观感知思维为主的小学生而言,无疑是抽象的。教学中应结合学与教
教材的纵向比较研究主要是从历史的视角,对不同时期的教材进行分析、对比研究。一方面可以对所研究的内容有更为全面和深入的理解和掌握;另一方面可以通过分析、对比“质数与
本文在第一部分的基础上进一步介绍稀布阵综合脉冲孔径雷达(SIAR)在强干扰背景下对目标的距离、方位和抑角进行精确测量与跟踪的方法,通过计算机模拟证明了该方法的有效性。
阐述了酒钢集团不锈钢二期软环泵站引进的改造技术——工业循环水系统节能优化运行技术(WaterEnergyConservationSystem,WECS),在对冷却循环水系统进行WECS改造后,系统节能率达到6
本文论述了多媒体通信的体系结构模式及各层的逻辑功能,讨论了多媒体通信接口的组成和有关技术特征,并给出了基于接口描述语言(DSL)的有关接口描述实例。
从比较文化的角度出发,以英汉姓名的结构、命名方式和称呼为研究对象,挖掘两者之间的相通和相异之处,探讨比较文化在大学英语教学中的积极作用。
将受害人与有过失与加害人过失相比较研究,在可能影响加害人损失分担的意义上,受害人对于自身权益仍负有"应注意"的要求;而在是否"能注意"而不注意以构成过失的判准上,基于社会互
该文介绍了一种基于32位定点DSP芯片TMS320F2812为主控制芯片的智能配电监测系统。应用智能化技术对配电柜里的信息进行采集和处理并及时反馈,实时掌握配电柜里的运行状态,并配
可靠性是产品在规定的条件下和规定的时间内完成的功能的能力,传统的可靠性分析方法是基于概率论的,其失效概率通常根据大量的第一手数据进行估计。然而,实际上不可能收集到足够
在汉长安城四郊分布有众多礼制建筑,其中文帝的顾成庙与武帝孙、宣帝父史皇孙的奉明园历来被认为在长安城的南郊。本文通过文献记载和相关考古发现,考证二者都应位于长安城的