摘要:本文简单介绍了北京电视机厂计算机辅助企业管理系统(BD—MIS)的系统结构和功能特点;阐述了管理信息系统开发中的数据库设计方法和增量开发方法,以及用户参与系统开发的重要性。

摘要:本文在证明了Bézier三角曲面片的中点部分网格收敛性质的基础上,通过中点剖分算法给出了Bézier三角曲面片的生成显示算法与求交算法。

摘要:用户接口管理程序UIMS是一类软件开发工具。GI是根据VLSI/CAD软件用户接口的特点而设计和实现的一个图形交互式UIMS。它基于简化事件响应模型,以使用简便为主要目标,由用户说明而自动生成相应的应用程序用户接口。它支持菜单、 键盘、窗口等输入方式,以异步并行方式为应用程序服务。它不仅有较好的交互性能,还保持了应用程序的独立和完整性。

摘要:如何将并行推理任务分配到并行推理部件上去是解决并行推理系统的执行功效的一个重要问题。本文对已提出的三种分配策略进行实验分析并对我们提出的一个新的策略进行理论和实验分析。

摘要:本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。

摘要:计算机系统的软件系统发展将是各种技术的结合和渗透。硬件系统将由大批异构型的分布式的分系统构成。本文以我们研制的异构型、同构型分布式数据库系统(DDBS)LSZ和LSZ2为背景,讨论异构型系统的结构、连接、平行性以及AI和DB技术的结合等问题。

摘要:本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。