知识空间与简单拟阵的关系

知识空间理论是数学心理学的重要组成部分.简单拟阵是组合优化中的一个重要分支,几何格是拟阵论中的一个重要概念.知识空间理论与简单拟阵之间存在着紧密的联系.首先基于技能映射中技能与问题之间的联系确定知识基,通过知识基来生成简单拟阵的一个闭集族.其次定义了问题与技能的伽罗瓦联络,讨论知识空间的伽罗瓦格与简单拟阵闭集族的几何格...     

早逝的天才数学家——伽罗瓦

本文简要回顾了伽罗瓦短暂的人生历程,其中包括他艰难的求学道路。开创性的研究工作以及他与命运的几次抗争,这对当代青年将会有所教益。     

伽罗瓦理论 第二版

伽罗瓦理论是一个漂亮的数学理论,著名的古希腊三大几何作图名题（尺规三等分角、化圆为方、立方倍体）由于这个理论的诞生而获得解决,是人们乐于称道的一段数学佳话。本书是关于这个理论的专著。作者采用E．Artin于1944年提出的一种方法,从线性代数的观点论述了理论的基本结果和主要应用,较为详细地研究了特征0和正特征两种情形的域及其可分和不可分扩张,着重讨论了代数数域（即有理数域的有限扩张）,还讨论了无限代数扩张的伽罗瓦理论及超越扩张。书的前身是作者在美国Lehigh大学给出的研究生课程的讲稿,初版于2006年。德国数学评论认为该书为研究生提供了经典域论和伽罗瓦理论的现代的标准素材。现版本除个别章节有局部修改外,主要变化是新加了第6章（超越扩张）。     

关于有限集上L-fuzzifying拟阵独立集系的基数

目的研究当L为菱形格时基数小于或等于3的有限集E上的L-fuzzifying拟阵独立集系之集与其上的由拟阵独立集系组成的L-cotower之集的基数。方法列举法(即通过列举E上的全部L-fuzzifying拟阵独立集系及期上的由拟阵独立集系组成的全部L-cotower,进而得到它们所构成集合的基数)。结果证明了|Ⅱ(E,2,L)|=|Ⅱct(E,L)|,其中Ⅱ(E,2,L)是E上的L-fuzzifying拟阵独立集系的全体,Ⅱct(E,L)是E上的由拟阵独立集系组成的L-cotower的体。结论所给出的等式|Ⅱ(E,2,L)|=|Ⅱct(E,L)|推广了分明拟阵中的结论。     

伽罗瓦的代数方程思想

目的 探讨在代数方程根式可解性理论的发展中,伽罗瓦(Evariste Galois,1811-1832)的代数方程理论思想发展过程.方法 采用历史考察与数理分析法.结果 伽罗瓦是通过引进"伽罗瓦群"、"正规子群"、"置换群"等概念开始建立他的理论,并且找出了根式扩张塔和可解群之间的对应关系,利用这种对应关系最终解决了代数方程根式可解性理论这一难题.结论 伽罗瓦继承了拉格朗日(J.L.Lagrange,1736-1813)问题转化的思想,并且把这一思想进行发展,使得人们对方程根式解问题的研究进入到对"结构"观念的研究,导致了抽象代数学科的诞生;伽罗瓦的研究思路是通过继承和发展前人的思想成果得出来的.     

全弧搜索广义拟阵的构造

根据图论中有向树的性质,在此构造了一个由有向树中弧生成的广义拟阵——全弧搜索广义拟阵.另外还给出了一个构造此广义拟阵的方法——全弧搜索法.此法是根据深度优先来构造的,其可行集由两部分组成.第一部分是由从有向树的根到该有向树各个顶点的路上的弧集组成,另一部分是由第1部分中任意不同集合的并集组成.最后以实例说明了当所给的是一个非树的图时,由全弧搜索法生成的数学结构不是一个广义拟阵.     

闭G-V模糊拟阵的导出圈公理

利用普通拟阵来研究模糊拟阵,得到用有限数列、子集族和映射来描述闭模糊拟阵的一个充要条件.首先根据模糊拟阵的导出圈的连贯性,定义了导出圈映射;然后,详细讨论了闭模糊拟阵的基本序列、导出圈集和导出圈映射的性质与相互关系,并从中抽取出规范性、导出圈映射、反包含性、合成性和遗传性5个关键性质,通过这5个关键性质提出并证明了闭模糊拟阵的导出圈公理;最后得到:只要满足上述5个关键性质,可以用有限数列、子集族和该集族上的映射唯一确定一个闭模糊拟阵,反之也然.可以预见,利用这个公理,可以在闭模糊拟阵的理论研究、设计构造、实例应用等多方面开展进一步工作.     

偏序集拟阵的基和圈

研究了偏序集拟基和圈的一些基本性质，得到了组合概型的一个反链是它的所有圈集的充分必要条件，从而得到了偏序集拟阵的圈公理，同时还纠正了文献[2]中的一个错误。     

一种新的模糊广义拟阵

基于Al-Hawary所提出的模糊广义拟阵(亦称(H)模糊广义拟阵),讨论(H)模糊广义拟阵性质的不足,提出新的模糊广义拟阵,并研究其相关性质.首先否定Al-Hawar所给出的结论:(H)模糊广义可行集族((亦称(H)模糊可行系统)的r-水平截集族仍然是清晰可行集组成的集合,其中r∈(0,1].其次,重新研究(H)模糊可行系统的r-水平截集族,得到了(H)模糊可行系统的相关性质.进而,对(H)模糊广义拟阵的不足进行分析,提出了一种新的模糊广义拟阵(亦称为(Y)模糊广义拟阵),并研究了其性质,得到了(Y)模糊可行系统(即(Y)模糊广义可行集族)与某一清晰可行系统(即清晰可行集族,由(Y)模糊广义可行集的支集构成的集合)等价的结论,这一结论表明(Y)模糊广义拟阵在一定程度上优越于(H)模糊广义拟阵.最后通过有向和无向图分别构造有向分支和无向分支(Y)模糊广义拟阵;还根据Hasse图构造了偏序(Y)模糊广义拟阵.     

闭模糊拟阵导出独立集的等价描述

利用闭模糊拟阵可由基本序列和导出拟阵序列唯一确定的方法, 提出并证明一个子集族、 一个数列和由该子集族到该数列的一个满射, 在满足规范性、 继承性、 强单调减和增长性的条件下唯一确定一个闭模糊拟阵, 反之亦然. 该等价描述建立了普通集族与模糊独立集族的联系.     

G-V模糊拟阵模糊圈的极值问题

通过将模糊拟阵转化为导出拟阵序列和基本序列讨论了模糊拟阵模糊圈的许多极值问题.建立了支撑集模糊圈的最大(小)模糊势计算公式,以及圈子集套模糊圈的最大(小)模糊势计算公式;得到了构造支撑集最大模糊圈的方法;找到了支撑集最小模糊圈和圈子集套最大模糊圈各自存在的充要条件.     

关系粗糙拟阵的一些性质

关系粗糙拟阵的概念最早是由祝峰教授等人最先提出的,是作为一种同时推广了粗糙集和拟阵的概念.在他们工作的基础上,本文将进一步对关系粗糙拟阵的性质进行研究.首先,研究了基于关系的可定义集的一些性质.特别地,基于一个自反关系上的可定义集关于集合的包含运算作成一个格;其次,探究了关系粗糙拟阵的一些性质,并且给出了一些特殊关系粗糙拟阵的等价描述.     

用ψ函数表示伽辽金位移函数

由弹性力学平面问题的艾瑞应力函数求导可得应力,但难以求得位移.由伽辽金位移函数可同时求得应力和位移,但伽辽金位移函数在平面问题中有两个,需满足两个重调和方程,给求解增加了困难.本文证明了两个伽辽金位移函数可用一个重调和函数Ψ表示,从而找到了既能表示应力,又能表示位移的单个函数.这样,在求解无体力的弹性力学平面问题时,只需求解一个重调和方程就可得到Ψ,并可使Ψ导得的应力和位移满足边界条件.     

偏序集广义拟阵的闭包公理

在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理.     

拟阵的独立集构成的偏序集

为了将贪心算法与偏序集进行结合,以挖掘拟阵的更多算法,对拟阵的独立集族与偏序集之间的关系进行研究;利用拟阵的独立集全体关于集合的包含关系构建偏序集,利用布尔格的结构性质,讨论该偏序集的性质,得到有限偏序集在满足何种条件时,必为拟阵的结构的充要条件。结果表明:在同构意义下,有限偏序集与该偏序集所建立的拟阵之间的对应是满足一定条件的偏序集与无环拟阵之间的双射;建立了拟阵与偏序集之间的桥梁,可以将关于拟阵的一些研究成果转化为偏序集理论框架下的结论,反之亦然。     

闭G-V模糊拟阵的模糊圈公理

采用类似拟阵圈公理的方法, 讨论闭G V模糊拟阵的模糊圈公理. 首先给出G-V模糊拟阵模糊圈的若干性质； 然后利用这些性质, 讨论如何利用初等模糊圈集确定G-V模糊拟阵； 最后提出并证明闭G V模糊拟阵的模糊圈公理. 由该公理可知, 一个初等模糊集族、 一组有限数列和一个模糊集映射, 在满足一定条件下可唯一确定一个闭G-V模糊拟阵.     

基于角点检测及几何约束的仿射变换参数估计

本文针对机器视觉现有方法对目标的姿态判定及不同视角间仿射变换参数估计存在的对应特征点提取困难、计算复杂度高等不足,提出一种新的算法.算法引入角点和凸壳等概念,检测目标图像和模板图像的角点,分别组成特征点集并构造点集凸壳,由计算几何原理可知凸壳上的点在仿射变换前后具有对应性.当凸壳内部有内点时,分别对凸壳上的点、凸壳内部的点、凸壳的形心的横坐标和纵坐标构建方程,利用此方程组求解得到仿射变换6个未知参数;当凸壳内部无内点时,采用多项式理论再构建一组二次方程,以达到求解仿射变换参数的目的.实验结果表明,本方法不需要搜索特征点集间一一对应关系,只需点群子集间整体对应,估计得到的仿射变换参数精确,计算复杂度远低于基于区域的同类算法.     

闭模糊拟阵模糊圈的充要条件

利用模糊拟阵的基本序列和导出拟阵序列,研究了闭模糊拟阵的模糊圈,得到了与模糊圈有关的几个结果:模糊拟阵或闭模糊拟阵的初等模糊圈的充要条件;闭模糊拟阵模糊圈的性质;闭模糊拟阵模糊圈的充要条件.利用这些充要条件,可以从闭模糊拟阵的某些模糊相关集找到其模糊圈.     

偏序集与不同种广义拟阵间的包含关系

众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.     

闭正规模糊拟阵的基与圈

根据传统拟阵的基交换定理,作者给出了闭正规模糊拟阵的基交换定理,得到了一系列结论,并在此基础上进一步研究了闭正规模糊拟阵的模糊基与模糊圈之间的关系,然后给出了闭正规模糊拟阵中某模糊独立集是模糊基、从一个模糊基得到一些模糊圈、以及从一个模糊圈得到一些模糊基的充要条件.