COOZ中的时段演算

本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。     

利用SOUND语句组动态调试应用程序

在动态调试用TURBO PASCAL(4.0)语言编写的应用程序时,利用该语言提供的SOUND过程,以声音提示为主,以屏幕上显示的跟踪语句提示为辅,可以迅速地定位程序运行错误,验证外部现场状态与程序运行的相互关系,确认程序的全部功能,从而提高了对应用程序的动态调试效率。     

利用MAX+PLUSⅡ设计数字电路

MAX＋PLUSⅡ开发工具是美国Altera公司自行设计的一种CAE软件工具，是EDA技术的有力工具，以一个实际电路设计为例，说明了用其设计数字电路的方法。     

用AUTOLISP程序拆分AUTOCAD文本实体

简单介绍了AUTOLISP语言及文本实体数据表的结构,在此基础上,提出了拆分AUTOCAD文本实体的方法并给出了相应的程序。     

在f—κ域实现三维波场道内插

地震数据道内插是偏移处理前的重要工作。本文在理论模型研究的基础上，简要分析了在f-x域和f-κ域二维道内插存在的问题，根据二维f-κ谱外推方法，给出了在f-κ域实现三维波场道内插的基本公式。所用算法已编制了相应的串行模块和基于HPF（High Performance Fortran）高性能语言的并行程序，可在自行开发的微机群上得以实现。理论模型和实际资料处理结果表明，本文方法可以实现三维波场的精细、快速内插。     

Visual C++与Fortran混合编程及Matcom绘图在空调负荷计算软件中的应用

介绍利用VC与Fortran进行混合编程，将Visual C 程疗从DOS环境下移植到期Windows环境下，并利用Matcom对数据进行可视化的方法。     

巷道平距计测的PC软件设计与应用

使用VB语言编制一个平距计测软件，能直观、快速、准确的进行计算，收到了较好的应用效果。     

论语言符号的相对任意性

从语音、词以及句子等层面讨论了语言符号的相对任意性，指出这种任意性是一种可变现象，语言是任意性和强制性的相对统一。