不含三角形图的正常染色路和正常染色圈

图G为边染色图,对G中的任一顶点v,定义v的色度dc（v）：G中与顶点v相关联的边中不同染色的数目.用δc（G）表示图G的最小色度,即δc（G）=min{dc（v）：v∈G}.若图G为不含三角形的边染色图,且δc（G）≥2,则G含长为4d-2的正常染色路或长至少为2d-2的正常染色圈.     

基于路阻函数的多任务点机动路径规划方法研究

针对复杂路网条件下,多分队多任务点行军时路线难以决策的问题,建立了同时考虑道路服务水平和分队数量的路阻函数;基于该函数的性质,提出了多任务点行军时各分队路径优化规则,构建了多任务点行军时路径规划模型;对比了部队统一机动和各分队自主行进两种规划方式的行程时间,定量说明了指挥员路径规划能力对多任务点行军的影响.为复杂路网条件下多分队、多任务点的机动指挥提供了决策方法和依据.     

拓扑格、(拟)闭包、(拟)内部及对偶方法

<正>用对偶原理讨论了完全分配格L上(拟)闭包及(拟)内部运算的性质,证明了格上的开、闭拓扑学在非F格情形等价,深化了现行的相关结果.特别,对L上的拟闭包(拟内部)运算引入了一种等价关系,证明了同一等价类中的所有运算导出同一闭(开)拓扑,并证明了任一等价类中恰有一个元是闭包(内部)运算且是该类中的最大(最小)元.     

格值命题逻辑系统L（X）（I）

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

虚二次域上不可分的正定Hermite型的构作

本文给出了构作虚二次域ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ型的方法．对任意给定的自然数ｎ，ｄ和无平方因子的ｍ，当ｍ３（ｍｏｄ４），除了ｍ＝１时ｎ＝２，ｄ＝１；ｎ＝３，ｄ＝１，３；ｎ＝５，ｄ＝１和ｍ＝２时ｎ＝３，ｄ＝１这５个例外，证明了存在ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ格，其秩为ｎ且判别式为ｄ，并给出它们的明确结构．在上述５个例外情形下，不存在具有上述性质的格．     

稳定映射与局部代数格范畴的笛卡儿闭性

本文引入稳定映射迹的概念，得到了局部代数格上的稳定映射可由迹唯一确定以及局部代数格的稳定映射空间关于稳定关系构成局部代数格，在此基础上证明了以局部代数格为对象稳定映射为态射的范畴是笛卡儿闭范畴。     

一类格序半群的同余

本文讨论了一类可换格序半群的同余性质。给出了这类格序半群同余的表示和同态分解定理。这个结论一般化了［１］和［２］中的结果。     

剩余格蕴涵代数中多重模糊结合滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊结合滤子的概念,研究了其性质.然后,讨论了多重模糊结合滤子与模糊滤子之间的关系;接着,讨论了多重模糊结合滤子与多重模糊关联滤子之间的关系;最后,得到了在格H蕴涵代数中,不同的多重模糊结合滤子之间等价的结论.     

图的度和与扩路

本文讨论了两顶点的度和与路可扩之间的关系,得到了如下结果:设G是n阶图,如果G中任意一对不相邻的顶点u,v满足d(u)+d(v)≥n+n/k(2≤k≤n-2),则G中任意一个满足k+1≤|P|相似文献