轮廓字网格编织带修饰效果的实现

利用计算机进行设计各种字形修饰效果一直是计算机图形学的重要内容之一.本文给出了在轮廓字表面上构造网格点,基于这些网格点进行Delaunay三角剖分,并转换为3-4网格,最后在网格上实现编织带修饰效果的具体实现方法.其中3-4网格由良构的四边形单元和少量辅助三角形单元构成,在其上实现了较好的编织带修饰的效果.     

Livelocks in parallel programs

This paper is the second of a two-part series exploring the subtle correctness criterion of the absence of livelocks in parallel programs. In this paper we are concerned with the issue of proving this correctness criterion. It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks. Two applicable proof techniques are also presented. One is based on the notion of establishing sufficient conditions for livelock-freedom; the other is an extension of the well-founded set method for proving termination in sequential programs.     

An iterative algorithm based on the piecewise linear system for solving bilateral obstacle problems

In this paper, we derive the piecewise linear system (PLS) associated with the bilateral obstacle problem and illustrate the equivalence between the linear system and finite-dimensional complementary problem. The existence and the uniqueness of the solution to the PLS are also demonstrated. Based on the PLS, a Picard iterative algorithm is proposed. The convergence analysis is given and examples are presented to verify the effectiveness of the method.     

关于《求解LP问题的部分基变量算法》的勘误及补正

文章针对周康等人的《求解LP问题的部分基变量算法》一文进行了分析,指出其文中算法原理及算法步骤存在的一些错误,补正了算法的不完善之处,并通过数值试验验证算法的计算性能。     

水工混凝土结构裂缝成因挖掘的粗集方法研究

裂缝是水工混凝土结构常见病害之一,针对水工混凝土结构运行期的裂缝问题,应用粗集理论,结合实测资料,对裂缝产生的主要原因进行了系统地研究,提出了裂缝成因挖掘的粗集方法.     

军用办公自动化系统的优化设计与安全

办公自动化是部队日常工作管理信息化建设的基础，对部队管理及信息化建设具有重要的作用。实现数字化办公必须要有良好的技术支撑，针对办公自动化系统的Web应用中基于高层数据接口（active data object，ADO）的数据库访问技术提出了优化方案，以及对数据库设计提出了优化方案，也为提升系统安全提出了解决方案。     

带有区间约束的产品设计参数模糊推理法及其在继电器智能设计中的应用

在产品设计规则和计算式中,常存在一些只能在某一范围内取值的待定系数(设为a,且a∈[aL,aH]).a的取值通常受到多种因素的影响和约束,而这种约束往往带有模糊性.为此,首先根据设计规则中各种影响因素对a的模糊约束关系,分别构造两者的备择集以及备择集元素在其论域上的模糊集合,然后基于模糊综合决策方法来确定a.本方法剔除了以往在解决这一问题时,由人来决定a取值的主观性,适用于产品的智能化设计.     

Barrier Trees on Poset-Valued Landscapes

Fitness landscapes have proved to be a valuable concept in evolutionary biology, combinatorial optimization, and the physics of disordered systems. Usually, a fitness landscape is considered as a mapping from a configuration space equipped with some notion of adjacency, nearness, distance, or accessibility, into the real numbers. In the context of multi-objective optimization problems this concept can be extended to poset-valued landscapes. In a geometric analysis of such a structure, local Pareto points take on the role of local minima. We show that the notion of saddle points, barriers, and basins can be extended to the poset-valued case in a meaningful way and describe an algorithm that efficiently extracts these features from an exhaustive enumeration of a given generalized landscape.     

Rough Set中基于聚类的连续属性离散化方法

分析了一些RoughSet中连续属性离散化的方法，指出了其中的某些不足，并给出了一个基于聚类的连续属性离散化的方法，对当前的论域中的例子根据相似性进行聚类，对每个聚类在各属性轴上的投影的边界设离 散断点。该方法考虑了各属性之间的相关性，能得到比较合理的离散结果。