摘要:在利用图形绘制实现虚拟现实的研究工作中，为了加速图形生成以保证实时的图形绘制，物体层次细节模型LoD(level of detail)的选择是其最主要的解决办法.其主要原理是根据物体对于观察者的重要性选择该物体绘制的细节.地表模型作为多边形网格模型的一种特殊几何模型，在各种虚拟现实系统中有着重要而广泛的应用.该文通过对地表模型实时生成特殊性要求的分析，提出具有焦点加权因子的基于图象空间误差的、适用于地表模型特殊性的、有效的加速简化方法.以焦点和显示面积的有效结合作为物体重要性评价尺度，有效地简化了地表模型的绘制.同时，算法结合均匀网格模型的多分辨率细节层次模型，以“块”作为地表模型大面积简化的空间单位，加速地表模型的简化操作，以实现较为复杂的地表模型的实时绘制.

摘要:装配前趋约束图的生成是装配规划的关键环节，也是其中最困难的一步.该文在讨论了几种装配前趋约束图生成方法的具体实现以及它们的优缺点之后，提出利用几何知识和装配经验知识相结合的方法，建立装配知识库/数据库，给出了几种在复杂度上可行的解决方法.最后给出结论，并简单地讨论了结合知识的数学算法的优越性，同时讨论了今后发展的方向.

摘要:该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.

摘要:文章主要讨论沿直线运动的多面体靠接问题.根据多面体的几何特性，通过一系列的筛选和变换将多面体的靠接问题转化成为计算少量点与平面多边形的距离问题，从而大大地提高了任意空间多面体靠接的计算速度.该算法可广泛地用于以多面体为数学模型的计算机图形学、机器人、多媒体和CAD/CAM等众多领域的系统中.

摘要:MQI(multi-database query interface)是作者研制的、用SQL对多个RDBMS(relational database management system)数据源进行综合查询的客户端工具.该文主要讨论其逻辑结构与算法设计.

摘要:PDAW(personal digital assistant window)是一个专用于PDA(personal digital assistant)的窗口系统.其最大的特点是可支持开发具有适应性人机界面的应用程序.适应性人机界面有多种不同的类型，由于PDAW系统只提供支持适应活动的机制，不提供决定适应策略的规则和状态，因此，它不限制应用程序界面的适应类型.PDAW由界面视感层、窗口核心层、设备接口层和编程接口4个层次组成.支持适应活动的机制在窗口核心层之中实现.

摘要:在钟表机芯设计中，齿轮参数的优化设计是一个组合优化问题，很难用传统优化方法解决.遗传算法是一种基于生物进化原理的启发式搜索方法，近年来，它成功地解决了许多计算难题.使用该算法的难点是如何将具体问题映射成适于该算法的编码以及根据编码进行各种操作.该文对传动系统各齿轮参数序号进行编码，成功地解决了齿轮参数的优化设计问题，也为一般机械设计中传动系统参数的优化提供了经验.通过比较，利用遗传算法得出的参数比用专家系统得出的参数更优.

摘要:该文提出了一种在MPEG-2系统流上采用粗跳步与细跳步快速搜索I图象的方法,与一般基于逐字节搜索的方法相比,速度有很大的提高.文中将该快速方法应用于一个MPEG-2演播器的功能算法设计中,实现了包括快进、快退和倒播等算法.该文的搜索方法是基于恒定比特速率码流提出的,并能同样适用于变比特速率码流.

摘要:对象描述语言ODL(object description language)是组合框架软件SCOP(software construction=object+process control)环境的核心，ODL将类的抽象规范和具体实现相分离.ODL编译器支持这种分离，并在此基础上实现了语言独立；另外，在SCOP对象管理系统OMS(object management system)的支持下，在不同站点上开发的类及其所提供的服务可以共享，从而实现了位置独立.编译器还实现了动态联编的分离编译、基于对象库的复用和自动链接以及含参类的快速实例化.编译器以C语言为中间代码，生成的代码具有良好的可移植性.该文详细介绍了ODL编译器的关键设计技术和实现方法.

摘要:文章提出了面向对象数据库中对安全性进行建模的一种方法.该方法以多级数据模型为基础,定义了若干种安全性约束,同时引入了一种图示方法,能够对应用安全性模型进行直观地表示.

摘要:该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回,通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合,得出最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题.此外,还给出了恢复块定义有效的充分条件.最后,以电信系统为应用实例,介绍了该方法的一种具体实施.该方法在简单地扩展后可被广泛应用于各种容错软件的设计中.

摘要:电信软件往往庞大而复杂.应用一些分层、分离原则,可以在很大程度上降低系统设计的复杂度,构造出结构清晰、适应性强的软件产品.文章对此进行探讨,以期能够给软件开发者提供一些指导.

摘要:文章对多媒体数据流间存在的时序问题和时序关系进行介绍，对现有研究情况进行分析.结合一个多媒体数据模型，基于PETRI网，提出了一个同步模型，以表达媒体数据之间存在的同步关系.根据这两个模型对多媒体数据建立了相应的数据结构，并采用该数据结构介绍了对多媒体数据存取播放的实现算法.

摘要:该文针对识别与分类两种故障诊断模型，提出了一种知识网络的结构设计方法，并给出了详细的推理算法与故障判决算法.此种知识网络通过消息传递来实现不精确推理，具有分布式特性.该文还提出了网络结点判决函数的机器学习算法，采用卷包裹算法来实现判决函数边界点集的选取，减少了曲线拟合的计算量.