摘要：Linux系统正逐步由服务器领域步入桌面领域,由于Linux继承了传统的Unix的体系结构和算法,它能否为桌面应用提供好的交互性能是一个迫切需要研究的问题。该文分析了现有的Linux存储管理页面换出机制在交互式桌面应用中的不足,提出了符合交互式应用特点的主动页面换出算法。该算法基于页面状态等价关系优化了原系统中页面状态转换自动机模型,使得系统在内存压力大的情况下有条件紧急回收内存页面,从而提高桌面系统的交互性能。

摘要：直接利用半规则纹理本身蕴涵的方向信息对流场进行可视化,结果直观有效,而且适用的纹理范围广泛,丰富了流场可视化的手段.首先应用基于块的二维方向纹理合成方法生成第一帧图像,随着流体的流动,每一小块的4个顶点移动到新的位置.然后将原有的纹理映射到新的四边形上,同时计算出每个点的变形程度.如果某点变形过大,那么把该点标为无效点,重新合成.最后,一帧帧连续合成的纹理组成一个流场可视化的动画.

摘要：基于体积加细的方法构造点模型的八叉树,在点模型的包围盒内采用Niederreiter低差异数序列产生拟随机点.点模型的体积可以估算为:位于点模型内的随机点个数与全体随机点个数的比值乘以包围盒的体积.实验结果表明,该算法简单、高效,可以快速地计算任意拓扑结构的封闭模型的体积,其与平滑运算结合实现了保体积平滑.

摘要：在变量化设计过程中设计对象可以看作是一个几何约束系统，这个系统由几何元素以及作用于几何元素之间的各种约束关系构成。一个复杂的设计对象所对应的几何约束系统往往包含大量几何元素和约束关系，如果不加区别地把所有的几何元素和约束关系纳入变量化求解的范围，则很难满足交互设计的需要。而另一方面几何约束系统又往往是稀疏系统：（1）作用于任一几何元素的约束很少；（2）与任一约束相关的几何元素很少。基于这一事实给出了一种预处理策略从原始几何约束系统中搜索得到一个规模较小的活动约束系统，变量化求解在活动约束系统上进行。该方法已在自行研制的参数化造型系统GEMS5．0中实现。

摘要：Formal verification of VHSIC Hardware Description Language （VHDL） in Field-Programmable Gate Array （FPGA） design has been discussed for many years. In this paper we provide a practical approach to do so. We present a semi-automatic way to verify FPGA VHDL software deadlocks, especially those that reside in automata. A domain is defined to represent the VHDL modules that will be verified; these modules will be transformed into Verilog models and be verified by SMV tools. By analyzing the verification results of SMV, deadlocks can be found; after looking back to the VHDL code, the deadlocking code is located and the problem is solved. VHDL verification is particularly important in safety-critical software. As an example, our solution is applied to a Multifunction Vehicle Bus Controller （MVBC） system for a train. The safety properties were tested well in the development stage, but experienced a breakdown during the long-term software testing stage, which was mainly caused by deadlocks in the VHDL software. In this special case, we managed to locate the VHDL deadlocks and solve the problem by the FPGA deadlock detection approach provided in this paper, which demonstrates that our solution works well.

摘要：几何造型的效率在很大程度上取决于相应系统数据结构的设计和实现。本文归纳了国内外常用几何造型系统中采用的数据结构;分析了点、边、面三种基本拓扑元素对应的九种存取形式在数据结构上的复杂性;并就对称数据结构和翼边数据结构进行了比较。

摘要：几何造型作为一门新兴学科,已经成为计算机辅助设计技术的基础,受到了广泛的重视。本文对几何造型中的基本问题——形体的正则性及正则集合运算进行了探讨,本文以连通性概念为基础,通过对形体边界的分析,给出了正则几何形体的定义和层次式的边界表示方法,提出了正则集合算子的形式描述,并详细地介绍了正则集合算子实现的方法和步骤。

摘要：In this paper, a new algorithm for representing conics precisely is presented using NURBS of degree two. The algorithm requires only four control vertices, which is the minimum number of control vertices compared with the other algorithms using the square control vertice configuration, to represent a full circle using the full circumscribing square based representation. This paper also derives a new con- dition for NURBS to precisely represent conics and shows the necessary and sufficient condition of rep- resentation of a circular arc.

摘要：分析了销售管理的业务模型和多层分布式体系结构,提出了同方销售管理系统TFCM的功能模型和多层分布式结构模型,采用组件技术进行了设计与实现,并针对若干问题提出了优化方法。

摘要：文章分析了分布式信息系统的特点,明确提出了在开发和运行分布式信息系统时,持久对象服务需要解决的新问题———对象模型的演化和持久对象的迁移。将反射和元模型技术应用于持久对象服务的设计和构造中,提出了一种反射的持久对象服务体系结构和编程模型。