二元关系传递闭包的构造

给出了二元关系传递包的一种新的构造方法。     

二元关系传递闭包的构造

给出了二元关系传递闭包的一种新的构造方法     

基于传递闭包的First集合的求解算法

介绍了求解First集合的传统算法和求解传递闭包的Warshall算法.针对Warshall算法进行改进,减少了整个运算过程的赋值环节.并把改进后的Warshall算法应用到First集合的求解算法中.与传统的First集合的求解算法相比,降低了时间复杂度,提高了运算效率.     

二元关系传递闭包的求法及与图的可达矩阵的关系

分析了几种求解二元关系传递闭包方法的特点,并利用二元关系传递闭包与有向图的可达性矩阵之间的关系,实现了采用Warshall算法对可达性矩阵的求取,简化了计算可达性矩阵的算法．     

利用矩阵求解关系的闭包

求解关系的闭包是一个重要的问题，它的求解主要有三种方法，其中包括集合表达式、关系图和矩阵．利用集合表达式和关系图来求解往往很繁琐，利用矩阵求解，效率则会较高，就此问题进行了研究，建立了数学模型，并利用编程使之在计算机上能够操作实现一般求解．     

利用矩阵求解关系的闭包(英文)

求解关系的闭包是一个重要的问题,它的求解主要有三种方法,其中包括集合表达式、关系图和矩阵.利用集合表达式和关系图来求解往往很繁琐,利用矩阵求解,效率则会较高,就此问题进行了研究,建立了数学模型,并利用编程使之在计算机上能够操作实现一般求解.     

传递闭包的Matlab实现

在Warshall算法基础上,基于Matlab软件,编写出求传递闭包的计算程序,并得到了新添加的序偶矩阵。     

论二元关系闭包的一些运算性质

论述了二元关系R的自反、对称、传递、相容、半序与等价关系的闭包运算的有关性质 ,同时给出R的相容闭包、半序闭包与等价闭包 .     

传递关系的充要条件

通过对复合关系的研究,给出了关系R具有传递性的一个充要条件,即R2 R,并由该充要条件得出一些重要结果。     

二元关系具备传递性的充要条件的一种新的证明

从传递闭包的角度证明了判定一个关系是否具备传递性的充要条件,给出并证明了一条关于关系合成运算的定理。     

不具传递性偏好的效用函数表示

主要是对参与人的被选方案集作些规定以及不具传递性的偏好作一些限制,得到了一些效用函数表示结果,统一和推广了许多已知结果。     

基于被删减二元关系的可达性矩阵求解

利用邻接矩阵求解有向图的可达性矩阵,计算量大,提出将有向图表达成二元关系,忽略环和回路的处理,通过计算被删减二元关系的传递闭包来求解可达性矩阵,利用新方法可以较快地实现可达性矩阵的求解。     

基子关系矩阵中等价关系的判定

设胄是集合A上的二元关系,要判定R在爿上是否是等价关系,一般来讲,只能从定义出发,当R包含的序偶较多时,从定义出发又比较难于判定。为此,从关系矩阵出发,给出一种判定方法,并讨论等价关系的矩阵性质。     

基于闭包的最短路径改进算法及应用

介绍了传递闭包的Warshall算法,从矩阵自乘的角度给出了传递闭包Warshall算法的一种证明新思路,针对最短路径的求解问题,给出了一个基于闭包的改进算法,并对算法思想进行了分析,先利用列定向的传递闭包,再利用矩阵自乘求出最短路径矩阵,最后结合无向图连通分支问题,讨论了Warshall算法的应用.     

基于区域增长的连通域标记算法的优化

与以往基于区域增长的连通域标记算法用目标点作为种子不同,优化算法将游程作为种子,结合游程和种子算法的优点,减少种子的数量和目标点邻域的搜索次数.实验表明,本算法能有效地减少算法冗余操作,明显提高效率,且性能优于其它算法.     

基于相对位置的Web生活服务信息的可视化研究

Web生活服务信息可视化交互设计涉及到的基础理论有出行链理论、基于相对位置的Web生活服务信息组织方式、信息可视化参考模型和信息可视化编码规则,依据这些理论可以设计出Web生活服务信息可视化交互原型。以团购类Web生活服务信息为例,对该交互原型设计进行实践,验证该原型设计的可行性、交互性及其优势。     

基于TMS320LF2407带材自动对中控制系统设计

为解决传统对中系统检测精度不高、运行速度慢、扩展功能少、实时性不强的缺点，设计了以CCD为检测传感器、TMS320LF2407芯片为控制核心的对中系统，提高了系统的检测精度，增强了系统的稳定性和实时性，并提供了更多的外部接口使系统易于扩展。本系统已应用于实际中，效果良好。     

基于蚁群优化的多水平图划分算法

Partitioning is a fundamental problem with applications to many areas including data mining, parellel processing and Very-large-scale integration (VLSI) design. An effective multi-level algorithm for bisecting graph is proposed. During its coarsening phase, an improved matching approach based on the global information of the graph core is developed withits guidance function. During the refinement phase, the vertex gain is exploited as ant’s heuristic information and a positive feedback method based on pheromone trails is used to find the global approximate bipartitioning. It is implemented with American National Standards Institute (ANSI) C and compared to MeTiS. The experimental evaluation shows that it performs well and produces encouraging solutions on 18 different graphs benchmarks.