编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

浅析pl/0与C编译程序在子过程处理上的异同

讨论了pl/0语言与C语言程序在处理子过程问题上的区别,并阐述了二者的编译程序为保证语言的子过程使用规则,在编译方面处理上的异同点,主要区别是是否需要存取链来保证是否支持子过程的嵌套定义,pl/0需要使用存取链,而C语言不需要,因为C语言不支持函数的嵌套定义而Pl/0语言支持。     

浅析pl/0与C编译程序在子过程处理上的异同

讨论了pl/0语言与C语言程序在处理子过程问题上的区别,并阐述了二者的编译程序为保证语言的子过程使用规则,在编译方面处理上的异同点,主要区别是是否需要存取链来保证是否支持子过程的嵌套定义,pl/0需要使用存取链,而C语言不需要,因为C语言不支持函数的嵌套定义而Pl/0语言支持.     

数据库逻辑设计的图形工具系统

虽然有许多理论上和算法上的结果，但数据库的语义特性并没成功地用到实际生活中的数据库管理系统中．为了解决这一问题，我们建立了一个图形系统．本系统提出了一个用来表示数据库模式和语义特性的图形模型．     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

C程序设计—函数的次序与变量的初值

本文从端译程序的角度阐述 C 语言程序设计中函数的次序,变量初值的设定及其作用域等问题.     

基于组件重构的CAPP框架工具系统

为提高计算机辅助工艺设计 (CAPP)系统的集成化、实用性和适用性 ,设计了一种基于组件重构的 CAPP框架工具系统。在分析了 CAPP系统研究和应用现状 ,讨论了CAPP工具系统的主要类型及系统特点的基础上 ,提出了基于组件重构的工具系统设计方法 ,并采用基元化理论 ,设计了以功能模块为工具组件构成的组件库。工具组件以软插件的方式 ,根据各种制造环境 ,即插即用地集成于工具系统中。通过对工具组件的重配置和工具组件库的重构 ,实现了适用于特定制造资源的实例化 CAPP集成框架工具系统     

HSK工具系统的研究现状与趋势

综述了HSK工具系统的发展过程、特点及应用情况,着重介绍了HSK工具系统的承载能力、极限转速等几个关键问题,指出了今后的研究方向。     

TTCN-3编译系统的语法分析自动工具YACC的实现

研究了Windows平台下TTCN-3编译系统的语法分析自动生成工具(YACC)的实现过程，并对该系统作了初步测试，对主要算法作了简单的评述．     

一个FMS刀具管理系统

该文分析了ＦＭＳ刀具管理系统的功能需求,提出了刀具管理系统的功能模型,建立了刀具管理系统的ＩＤＥＦ０模型,论述了刀具管理支持系统的结构,对刀具管理策略、刀具数据库管理系统、图形库及其管理系统、集成通讯管理服务作了讨论。最后介绍了一个应用于长春ＦＭＳ实验系统的ＦＭＳ刀具管理系统的实例。     

工具式CAPP系统中工序图生成方法

工序卡片的生成是CAPP的技术难题，主要原因是工序图生成特别困难。在工具式CAPP系统中，由于对生成工序图的自动化程度要求不高，可通过零件图形文件与工序文件的用户化联接实现工序图的半自动生成。在工序卡片生成过程中，由用户选择图形文件中的部分实体组成零件可视棱廓，并经过用户的少许编辑，添加工序尺寸、定位及夹紧要素符号，保存后传给工序卡片以实现工序图的生成。     

汽车电子控制领域编译器安全验证策略

编译器验证是汽车电子软件开发过程中的重要一环.在分析了相关安全要求和通用验证方法的基础上,提出了一种基于测试的编译器安全验证策略,并给出了具体实现过程.     

FMS刀具管理系统体系结构研究

刀具管理系统是实现ＦＭＳ中刀具动态调度管理的有效手段。该文详细分析ＦＭＳ刀具管理系统的主要功能；论述刀具管理系统的硬件组成，提出具有开放性的、以刀具管理支持系统为核心的体系结构及其软件平台结构；对刀具管理支持系统及系统运行控制、刀具离线管理、刀具在线管理、系统状态监控、系统信息管理、用户功能扩充等应用模块进行具体分解。最后简述刀具管理系统的实际应用。     

弧面蜗杆加工专用数控机床及控制系统设计

介绍弧面蜗杆的形成原理,传统加工弧面蜗杆的方法.然后说明传统加工弧面蜗杆方案中的不足,最后分述实现弧面蜗杆加工专用数控机床部分机构及控制系统的设计.     

锻压设备通用数控系统通信技术的研究

研究了锻压机床通用数控系统的控制结构和通信机制，分析了专用模板的通信结构及一对多串行通信结构，解决了多轴控制、多ＣＰＵ间快速通信的问题．研究结果表明：通用数控系统具有复制、裁剪和组态性能，可适应多轴多品种锻压设备的控制要求     

一个适用于地理信息系统的数据挖掘工具——GISMiner

论文将常用于关系型、事务型数据库的面向属性归纳的方法和关联规则挖掘方法扩展至空间数据库，开发了适用于地理信息系统（GIS）的空间数据挖掘工具－GISMiner，并将其应用于从农田GIS中挖掘农田使用情况的空间特征规则，以及从农产品市场GIS中挖掘农产品价格与铁路、国道和河流间的空间关联规则实验。结果表明，GISMiner是一个实用的、能适应于GIS且能挖掘多种知识类型的数据挖掘工具。     

编译原理教学改革实践初探

编译原理是计算机科学与技术专业众多专业课程中理论与实践相结合的典范,但长期以来该课程的教学与实验内容陈旧,难以跟上软件技术迅速发展的步伐。根据作者近年的教学实践经验,提出在该课程的教学活动中应贯穿一种新的指导思想,即强调"语言也是求解问题的一种有效途径"。阐述了这一教学改革的新思路,并以此为基础重新设计了该课程的实验环节。     

用于控制的制冷系统稳态建模与仿真

为研究各控制参数对制冷系统性能的影响趋势，对制冷系统进行了数学建模和仿真．模型选用时考虑到既要计算速度快，又要有一定精度，因此对换热器采用“分区集总”的建模方法．为验证仿真结果的可靠性，进行了一定的实验验证，结果表明此仿真程序有一定精度，用于趋势性分析是足够的