基于求传递闭包的Warshall算法的改进

围绕传递闭包分析比较了著名的Warshall算法,给出了一个三角形算法。当关系矩阵是稀疏矩阵时,该算法比Warshall快。

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

部分二值逻辑中Sheffer函数的判定

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。

关于部分多值逻辑函数集中准完备集的若干性质

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中"保关系"的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.

部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ)

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。

关于部分K值逻辑中准完备集之最小复盖的一些结果(Ⅱ)

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。

“大众化”高等教育下的“精英教育”探索

我国的高等教育在规模上实现了从精英教育向大众化教育的转变,热门专业在校人数已具相当的规模。但是"热门"专业如果"热"过头,就成了"滞销"专业。文章以计算机科学与技术专业为例,探讨在"大众化"的高等教育下进行"精英教育"的必要性与可行性。

部分四值逻辑中Sheffer函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。

动态环境中的WiFi指纹自适应室内定位方法

针对传统的基于WIFI信号的室内定位方法难以有效解决环境动态变化对RSSI值的影响问题,设计并实现了一种基于WIFI射频信号强度指纹的室内定位方法。该方法通过采用一种基于用户使用状况与布置定位参考点的方法来动态更新系统的WIFI指纹数据库,从而有效降低了在实际使用过程中用户手持手机的方向、用户的身体遮挡以及使用环境的动态变化对RSSI值所带来的影响。实验结果表明,本文设计并实现的定位方法比传统定位方法更稳定、易维护,同时也具有更高的定位精度和自适应性。

模型检测规划中的状态分层方法

基于模型检测的规划方法是最近发展起来的新方法,它可以处理带有不确定性的规划问题.分别设计了对求弱规划解、强规划解和强循环规划解的问题中的状态进行分层的方法.状态被分层后,求规划解只需要在从上层到其下一层状态之间寻找状态动作序偶就可以了,其他状态动作序偶都可以去掉.分别获得了求弱规划解、强规划解和强循环规划解时状态被分层后的一些重要性质,这些性质是关于一些状态动作序偶是否可以不参与构成弱规划解、强规划解和强循环规划解的结论.通过所获得的性质可以将大量的状态动作序偶直接去掉,从而减少问题规模.以往的对基于模型检测规划的研究都是采用从目标状态开始的反向搜索方法,在状态被分层以后可以采用正向搜索技术展开相应的研究.

基于实测边界线的地下巷道三维建模方法

根据实测边界线和断面参数,提出地下巷道三维实体的分层建模解决方案:采用图论的树结构表达边界线划分的复杂区域(简称区域树),并采用约束三角剖分的方法对区域网格三角化;提取所有三角形中表示巷道的断面底边和"出口位置"的边,根据断面参数,拟合生成断面轮廓线;均匀离散化断面轮廓线,生成左右对称点列,这些点构成三维巷道实体的特征点;分层提取断面轮廓线上的特征点,生成分层轮廓线;最后对相邻分层轮廓线和顶、底轮廓线分别实现巷道体网格三角化。研究结果表明:该算法充分利用区域树表达的空间拓扑关系和断面参数信息,实现简单,适用于同一中段边界线在任意复杂情况下的连通巷道实体三维建模。

匙膜图像识别的“门—锁—匙”系统

研制出一种新型图像识别“门—锁—匙”系统 .该系统的钥匙是用户可自行定义图像的匙膜 ;锁头是可以用软件来选择锁舌驱动方式的机电装置 ;电源是可编程高效节能型的 .系统具有设置、开锁及休眠三种工作状态 .系统建立了严谨的“门—锁—匙”关系数学模型 ,可实现共锁钥匙间多种逻辑关系和多门集中管理 .系统采用精确模式识别技术识别自定义匙膜图像 ,使得匙膜钥匙比人体及非人体钥匙更安全 ;能更方便地实现“门—锁—匙”系统新功能 ;本系统对工作环境无特殊要求 ,成本适用普通老百姓的消费水平 .本系统于近期通过了湖南省科技厅组织的鉴定 ,评价为系统整体水平为国际先进 .

模型检测规划中的状态之间的可达关系研究

当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.

一种新的复杂地质体采矿工程剖面图自动生成方法

提出基于三维实体快速切割算法和区域(内含孔、岛)自动识别技术的地质体剖面图自动生成方法。基本思想是:首先采用基于平面隐函数的切割算法实现地质体的快速切割,生成离散的交线;并采用基于KD树的空间快速索引方法,确定交线间的邻接关系,并生成一系列封闭的轮廓线;封闭的轮廓线将平面划分为多个复杂的区域,采用图论中的树结构形式化表达复杂区域;最后对树表示的区域进行岩性图案的填充。该算法已在DIMINE数字矿山系统中实现,并应用于三维地质实体工程出图模块中。实验结果表明:该算法有较好的计算效率,是一种比较实用的地质体剖切方法。

基于PDA的知识库与数据库集成和通用推理算法

由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究[2-4],如将基于关系数据库的管理系统扩充为演绎推理等,但是这些处理都较复杂,如带回溯的搜索就很难在PDA上实现.

基于PDA的农业专家系统的知识表示与推理策略

专家系统在农业领域的应用[1,2]是当前关于专家系统研究和应用的热点课题之一.智能化信息技术特别是人工智能(专家系统技术)在世界农业领域中的应用始于70年代末.经过20余年发展,应用已经遍及作物栽培管理、设施园艺管理、畜禽饲养、水产养殖、资源保护与耕作以及农场管理与决策等各方面.

新工科建设形势下的计算机类专业人才培养方案

新工科建设是一项具有中国特色的复杂系统工程,对我国高等工程教育的改革和发展具有示范和引领的作用。文章分析新工科建设背景下的计算机类专业体系和培养方案,从培养方案制定、师资队伍建设、课程设置、教学方法改进等方面阐述改革中值得注意的问题和改革的方向及措施,特别是对按大类招生及培养模式中出现的问题提出由企业参与进行专业入门测试的观点。

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．

部分K值逻辑中最小覆盖之判定的一些结果

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。