符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

歼击机特殊部件设计载荷谱编制技术

介绍了用飞行模拟仿真法编制新机设计载荷谱的技术途径和特点.重点阐述了整体油箱压力/应力谱和垂尾阵风侧滑机动谱等歼击机特殊部件设计载荷谱编制技术.整体油箱载荷谱编制的关键在于各种载荷状态的压力计算,还应考虑地-空-地循环.垂尾谱不能完全由飞行模拟获得,而必须以空测统计数据为基础.     

一种实用型报警装置的研制

本文综合地运用了５５５集成电路，ＴＷＨ９２４８，ＴＷＨ９２４９雷达式扫描探测传感集成电路的ＳＲ９Ｇ２６Ａ／Ｄ、Ｄ／Ａ转换语音存放电路等，中大规模集成电路。并利用一种简单的高频发射线路，而研制成的实用型报警装置。     

我国农村义务教育财政专项投资若干问题探析

2006年开始的农村义务教育经费保障机制改革已经在全国全面铺开,自此,我国农村义务教育财政性经费第一次真正地被纳入公共财政的框架。而在这次改革中,财政专项投资发挥了非同寻常的作用,成为财政投入的主体形式。从义务教育财政专项投资的概念、现状和特点出发,解析农村义务教育经费保障机制改革条件下财政专项投资的资金安排、运营、支付和监管等若干问题,并对专项投资的功效和创新做出理论性的初探。     

对“程序设计语言”教学改革的探讨

本文着重讨论了非计算机专业的学生学习计算机的重要性,分析当前非计算机专业程序设计语言教学中存在的问题,提出了一套以软件工程为指导的新型“软件设计及程序设计语言”教学模式,并对此进行了探讨。