PASCAL语言程序设计风格

指出了ＰＡＳＣＡＬ语言程序设计中的若干程序设计风格,使用这些风格可以提高程序的可读性,提高编程的效率和程序的运行效率。     

决策支持开发工具DSSG的模型与模型库管理

讨论了决策支持系统开发工具ＤＳＳＧ的模型概念,模型构造以及模型库管理中的一些问题,引入原子模型和复合模型概念,提出了一个模型及模型库管理系统的设计方法,还就构模语言ＳＭＬ的设计提出模型。     

面向VHDL语言的专用智能编辑器

目的设计面积超高速集成电路硬件描述语言的专用智能编辑器。方法使用散列表记忆各类标识符方法,动态地分析当前输入状态,完成ＶＥｄｉｔｏｒ的功能设置。结果该编辑器汇聚了目前流行的各类通用程序编辑器的优点,同时具有其独特的功能－标识符自动记忆,语句联想式输入及简单词法,语法错误的报错功能,结论实现了一个功能齐全的编辑器。     

浅谈专业知识与科技翻译

结合具体例子阐述了科技翻译中值得注意的一些问题。指出要搞好科技翻译必须同时具备充分的语言知识和一定的专业知识     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

如何理解极限概念

本文通过分析,着重阐明了极限概念的重要性,以及理解极限概念的难点,最后对极限定义作了几点说明。     

英汉文化差异与文化教学

我国传统的外语教学只重视语言知识教学,而忽视了文化教学。由于不了解中西文化的差异,使培养对象在外语交际中出现了许多文化错误和障碍。本文简要阐述语言与文化的关系,指出英汉文化上的某些差异,并探讨在外语教学中如何加强文化教学。     

二、三、四、五阶常系数线性微分方程解法公式与计算机求解

推导出二、三、四、五阶常系数线性微分方程的解（即函数关系）的一般表达式,并分别用Ｂａｓｉｃ语言和Ｐａｓｃａｌ语言编制出使用计算机求解的应用软件。该软件实际运行的结果证明,这种求解方法比任何一本《高等数学》教材介绍的通常的求解方法要简单得多、运算速度要快得多,因而具有很大的现实意义。     

笔段型液晶显示器图形基元的计算机辅助设计系统

利用AutoLIST语言编程,对AutoCADR12系统进行二次开发,开发出绘制笔段型液晶显示器图形基元的计算机辅助设计系统"BJ"．使人机交工绘制基元图形的过程,转化为通过给定设计参数,自动生成基元图形的过程。节省了作图时间,降低了繁琐作图过程对菲林设计的干扰。     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.