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

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

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

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

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

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

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

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

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

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

一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

双语、多语家庭语用环境及对中文教学的影响

分析双语、多语家庭语言运用的特点,并根据这些特点,提出在中文教学中,应重视普通话教学,尽可能创造普通话使用环境,重视普通话与方言的比较,同时又不能忽视方言在师生交流中的地位和作用。     

批评语言学中互文性理论与实践研究

选取近年来温总理记者会答台湾问题为研究对象，以辛斌提出的具体互文性和体裁互文性为分析框架，对相关对话语篇做详细的考察。在具体互文性的分析上，着重分析引用与暗指手法在温总理答台湾问题对话语篇上的具体表现；在体裁互文性分析上，分析不同体裁的融合所带来不同的交际目的和意图。     

RS码的时域编码频域译码技术

通过对于RS码的时域编码／频域译码的算法进行分析,找到了它们的不同之处及转换方法,得出了时域编码／频域译码的混合编译码方法,提高了运算速度和纠错能力。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。