工程图档管理系统的研究与开发

本文阐述了工程图档管理所涉及的若干关键点，并介绍了作者参与开发的“工程图档管理系统ＢＹＬＥＤＭＳ”的功能结构。

图视编程语言实用化的关键技术

图视编程语言是区别与普通文本编程语言的一种重要语言，其实用化的前景很大。本文着重从图视表达式、编程语言、编码以外的问题等三方面讨论图视编程中妨碍实用化的若干问题。

UIMS与软件工程

用户接口是任何交互式系统中至为重要和关键的部件之一。它的开发已成为系统设计和实现中最为困难费时的“瓶颈”。用户接口管理系统UIMS接受了这一新的挑战,已成为人机交互和软件工程学科中的重要研究方向。本文介绍了UIMS在软件工程中的地位、作用,它与用户接口软件工程学、软件开发环境、DBMS及其它软件工具的关系。

用户接口管理系统UIGMS的图视编程环境

本文介绍了用户接口管理系统ＵＩＧＭＳ中图视编程环境的实现技术，介绍了它的设计思想、总体结构、特点等。

OSVIP：一个面向对象的图视程序设计系统

ＯＳＶＩＰ是一个图视程序设计系统，它把界面、程序及其元素（例如窗。，滚动条，函数和语句等）看成拥有属性，方法和事件的对象．使用ＯＳＶＩＰ用户可以用工具箱中预定义的对象来构造自己的对象，并把新对象插入到工具箱中．程序对象的事件可以象界面对象的事件一样编码，这样我们就可以任意地调试程序．另外ＯＳＶＩＰ可被用来进行算法图视化．

面向算法图视的算法预处理──算法的事件步分解方程

在过去的算法图视开发系统中，算法必须按系统接口的规范书写，以便与其所建立的公共的图视系统接口。笔者提出了一种可在计算机上实现的算法预处理方法，即事件步分解方法。按传统方式书写的算法经过这种预处理后即能满足系统接口规范。这种方法大大提高了算法图视系统对用户的友好性，目前已在我们的算法图视系统中得到良好应用。

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑。

基于Web的远程教育课件的设计与开发

本文主要讨论了基于Web技术的远程教育系统中课件的设计与开发,以及功能实现。

交通部门CAD工程的任务、实施与应用

本文回顾了“七五”期间交通部ＣＡＤ工程取得的成果和经验，预测了“八五”期间的发展，同时着重介绍了在交通行业的各主要工程领域中涌现的，或正在开发和完善的一批先进实用、集成化、系列化的ＣＡＤ系统．

图视编程技术的展望

本文较全面地总结了图视方程技术的历史和现状，尤其是作者所在的研究室的研究成果，对图视编程技术今后的发展动态进行了预测。

用对流—扩散方程的差分格式实现图像增强的机理

本文针对一维对流—扩散方程,引进和分析了用差分格式进行图像卷积运算的概念,并阐述了用于对一维有限数字信号进行光滑和锐化等图像增强的机理及规律。上述结论已被推广用于二维和三维图像处理的研究中。

用户接口生成和管理系统UIGMS

本文扼要介绍了一种通用图形式用户接口生成和管理系统UIGMS(User Interface General ManagementSystem)的基本功能和特点。

UIMS的表示方法的研究

用户接口是任何交互式系统中至关重要的关键部件之一。它的开发已成为系统设计和实现中最为困难费时的“瓶颈”。用户接口管理系统UIMS接受了这一新的挑战,已成为人机交互和软件工程学科中的重要研究方向。本文将试图较全面地介绍和总结UIMS结构模型和表示方法等。*

一种有效的非连通域轮廓跟踪算法

本文将T.pavlidis发展的连通域轮廓跟踪算法与图形分割算法相结合,发展了一种对任何复杂图形均有效的非连通域轮廓跟踪算法,并用于文字识别的预处理。文中还指出了T.pavlidis算法存在的缺陷,同时作了若干改进。

基于数据仓库的企业财务决策支持系统分析与设计

基于数据仓库的决策支持系统是现今企业在决策支持应用上的主流。本文对一个简略的财务决策支持系统中的相关技术进行了分析与设计,主要讨论了数据仓库的创建以及财务分析模型的形式与管理。

互联网时代的信息安全

本文探讨了互联网时代的网络信息安全问题。本文开始先指出随着互联网的迅速发展和信息化进程的深入，信息安全问题变得越来越来重要。之后，就互联网时代信息安全的内涵、技术问题作了进一步的阐述。在此基础上，针对整个信息系统安全，提出了OSI/ISO安全体系结构及网络安全保障体系，为制订安全的网络，保障信息安全提供了设计原则和依据。最后论述了网络信息安全所涉及到的其它问题。

基于XML的数据交换系统的研究与实现

传统的数据交换系统是应用程序之间独有的,它缺乏通用性和扩展性。为了解决这些问题,本文采用了数据交换领域中当前热门技术——可扩展标记语言(XML)技术,提出了基于XML技术的数据交换系统的架构。该系统分为接口模块、文档模块、数据控制模块等。本文对系统抽象描述、数据交换实现共享进行了深入研究。在系统设计充分利用了XML的优点,使得数据交换系统具有较好的通用性和扩展性。

算法可视化技术及其实现

算法可视化是研究程序性能行为的有力工具，运行一个可视化的算法程序时，程序中不易被人理解的数据结构，算法特征和程序功能可以图形方式动态地显示在计算机屏幕上，用户可按屏幕上的的视图来分析算法和数据结构的细节，用各种视图展示程序运行的各个侧面．算法可视化技术有助于理解程序，评估程序和开发新的程序．本文介绍了我们在微机上开发的算法可视化技术，该项技术是开发算法可视化应用的基础．

向着智能化发展的人机交互技术

从计算机问世以来就伴随着出现的人机交互技术现在日益引起人们的兴趣与重视。但人机交互技术发展滞后于应用功能软件，目前尚有许多问题与困难有待研究解决。人机交互的智能化是人机界面发展的必然趋势。人机交互与人工智能的结合将使人机界面朝着具有知识、智能和能更好适应不同用户和不同应用任务的方向发展。文中简要评述人机交互技术智能化发展的状况，介绍人机交互相关的知识和基于知识的智能人机交互系统的构造原理。

WINDOWS环境下的算法图视化的实现

算法图视是算法的一种可见形式,它对程序员和用户研究算法行为提供了有力的支持。本文描述了在Windows环境下开发算法图视的技术和方法,它们可作为进一步开展算法图视应用的基础。