Evaluation Model for Scientific Quality Based on Rough Sets and Its Empirical Study

By analyzing the questionnaires recollected from 74 different government departments in Chengdu, China, an evaluation model for scientific quality of civil servants was developed with the rough set theory. In the empirical study, a series of important rules were given to help to check and forecast the degree of the scientific quality of civil servants by using the reduction algorithm, and the total accuracy of prediction was 93.2%.     

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．     

Application of a Fast Connected Components Labeling Algorithm in Processing Landmark Images

Extracting geometric data of landmarks from fluoroscopic images plays an important role in camera calibration process of a fluoroscopic-image-based surgical navigation system. Connected components labeling is the essential technique for the extraction. A new fast connected components labeling algorithm was presented. The definition of upward concave set was introduced to explain the algorithm. Feasibility and efficiency of the algorithm were verified with experiments. This algorithm performs well in labeling non-upward concave set connected components and applies to landmarks labeling well. Moreover, the proposed algorithm possesses a desirable characteristic that will facilitate the subsequent processing of fluoroscopic images.     

New Definition and Properties of Fuzzy Entropy

Let X = （x1 ,x2 ,…… ,xn ） and F（X） be a fuzzy set on a universal set X. A new def＇mition of fuzzy entropy about a fuzzy set A on F（X）, e^＊＇ , is defined based on the order relation ＂≤＂ on [ 0,1/2 ]^n. It is proved that e^＊ is a σ-entropy under an additional requirement. Besides, some entropy formulas are presented and related properties are discussed.     

Logical Properties of Lattice Filter of Lattice Implication Algebra

Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis…     

一种基于Rough集的序列粒模型的构建

均对粒模型的构建问题,提出了基于Rough集的一种粒表示方法:文章首先对于时间序列作了粒的描述,采用SAX符号表示不仅因为它的适用于粒的描述,更重要的是为后面的逻辑推理打下良好的基础.然后用基于SAX距离的相似性找出相近的模式,利用Rough集的规则发现算法找出关联规则.通过实验证明,本文中所提出的时间序列挖掘方法以及时序粒挖掘的算法基本上可满足实际时序挖掘的需要.     

基于粗糙集理论的冲模实例特征属性权值确定方法

在简要介绍基于实例推理的冲模设计方法基础上,给出了基于粗糙集的冲模设计实例知识表达系统,然后提出了基于粗糙集理论的冲模实例特征属性约简和权值确定方法,即首先利用粗糙集理论判断实例特征属性的重要度,并将其进行规范化处理,得到各特征属性的权值.该方法可有效地克服传统权值确定方法中对主观经验的过分依赖.最后,以冲压件排料间隙的确定为例,说明了该方法有效性.     

Application of Grey Multi-hierarchy Decision to Evaluation of Stock Quality

In order to evaluate stock quality scientifically, a synthetic evaluation system of stock quality is proposed on the basis of fuzzy set theory and grey multi-hierarchy decision method. Then the evaluation system is applied to an example. The results show that the evaluation system can overcome the errors of expert＇s subjective judgment.     

基于交叉口特征的指路标志建模方法

将指路标志划分为各种路标指示项.结合道路网的拓扑结构,定义了路标指示项的状态函数集,并把路标指示项分为状态性标识、连接性标识和方向性标识3类.交叉口是指路标志必须反映的本质特征,也是指路标志建模的关键.基于交叉口特征函数集的指路标志建模方法是通过交叉口特征函数的运算确定路标指示项的状态函数集.以实际路网交叉口为例,构建了连接性标识模型.     

基于Framebuffer的LCD驱动程序的实现

论述了在uClinux中基于Framebuffer的LCD驱动程序的实现方法，主要介绍Framebuffer的处理机制以及底层驱动的接口函数，针对具体的LCD面板，如何在uCllnux中编写帧缓冲设备的驱动程序．另外，在Framebuffer的基础上，简要介绍了嵌入式GUI（Mierowindows）．硬件平台采用现今最流行的嵌入式处理器（ARM），操作系统为uClinux．