Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

系统L_n中公式相对于有限理论的Г-绝对真度理论

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

系统Ln中公式相对于有限理论的Γ-绝对真度理论

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.     

逻辑系统中理论的下真度与相容度(Ⅰ)

引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。     

命题模糊逻辑系统Π和G(o)d中理论的相容度与下真度的计算公式(II)

讨论命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算问题.引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件.     

命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。     

系统L_n中公式关于局部有限理论的Γ-真度北大核心

在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

集值信息系统下基于λ-近似的属性相对约简

针对集值信息系统,基于相容关系下的极大相容类及OWA算子的性质,提出了λ-近似算于,给出了λ-近似算于下的λ-上、下近似集合,并分析了λ-近似算子的性质.同时,借鉴基于属性重要度的启发式约简算法,通过模糊化λ-下近似集合,进一步得到了属性的相对依赖度及属性的相对约简.     

On Reduction of Time-Delay Systems to a Form with Relative Degree

Differential Equations - We consider the problem of reducing a linear differential control system with commensurate delays by a nondegenerate linear change of outputs to a system for which a...     

On the Relative Commutativity Degree of a Subgroup of a Finite Group

The aim of this article is to give a generalization of the concept of commutativity degree of a finite group G (denoted by d(G)), to the concept of relative commutativity degree of a subgroup H of a group G (denoted by d(H, G)). We shall state some results concerning the new concept which are mostly new or improvements of known results given in Gustafson (1973 Gustafson , W. H. ( 1973 ). What is the probability that two group elements commute? Amer. Math. Monthly 80 : 1031 – 1304 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and Moghaddam et al. (2005 Moghaddam , M. R. R. , Chiti , K. , Salemkar , A. R. ( 2005 ). n-Isoclinism classes and n-nilpotency degree of finite groups . Algebra Colloquium 12 ( 2 ): 225 – 261 . [Google Scholar]). Moreover, we shall define the relative nth nilpotency degree of a subgroup of a group and give some results concerning this at the end of the article.     

基于相对隶属度的织物风格模糊聚类分析

分析比较了统计数学、模糊数学和灰色数学在织物风格分析中的缺陷.特别针对模糊数学需人为确定隶属函数的缺陷提出采用基于相对隶属度的织物风格模糊聚类分析方法.以相对隶属度矩阵和模糊聚类中心矩阵的迭代求解为依据,对苎麻等十种织物的风格测试参数进行了聚类分析.通过聚类计算得到了织物相对类别特征值的聚类结果.经验证认为该结果符合客观实际和人们的感知经验.     

一种改进的四元联系度中集对势排序方法

为提高四元联系度中集对势排序方法的准确性,通过实例分析了现有集对势排序方法中的不足,并提出一种改进的集对势排序方法.方法将联系度中的差异度分解为正、负差异度,并系统地考虑它们与同一度、对立度之间的影响关联,进而改进了集对势的判定条件.通过演算,分别给出了同势、均势、反势下改进的集对势排序表.计算机仿真实验证明这种方法提高了对集对势判别的准确性,避免了原方法中集对势错误丢失的问题.方法对四元联系度在态势分析中的深入应用具有一定促进作用.     

基于目标规划和相对优势度的区间数互反判断矩阵排序法

针对决策信息以区间数互反判断矩阵形式给出的多目标决策问题.首先,给出了区间数一致性互反判断矩阵、相对优势度等概念.其次,建立一个目标规划模型,通过求解该模型得到区间数互反判断矩阵的权重向量,并利用各方案的相对优势度和进行方案的排序.提出了一种新的区间数互反判断矩阵排序方法,该方法具有操作简便和易于上机实现的特点.最后,通过实例说明方法的可行性和有效性.     

基于最小偏差和优势度的区间数互补判断矩阵排序法

针对决策信息以区间数互补判断矩阵形式给出的多目标决策问题。首先,给出相对优势度的概念和区间数加性一致性互补判断矩阵的判定定理。其次,建立一个目标规划模型,通过求解该模型得到区间数互补判断矩阵的权重向量,并利用各权重向量的总体相对优势度对方案进行排序,提出了基于最小偏差和优势度的区间数互补判断矩阵排序法。方法的核心是对数值型互补判断矩阵排序方法的拓展。最后,通过实例说明方法的可行性和有效性。     

Degree Conditions and Degree Bounded Trees

In this paper, we give sufficient conditions for a graph to have degree bounded trees. Let G be a connected graph and $A\subseteq V(G)$. We denote by ${\sigma }_k(A)$ the minimum value of the degree sum in G of any k pairwise nonadjacent vertices of A, and by $w(G-A)$ the number of components of the subgraph $G-A$ of G induced by $V(G)-A$. Our main results are the following: (i) If ${\sigma }_k(A)⩾|G|-1$, then G contains a tree T with maximum degree ⩽k and $A\subseteq V(T)$. (ii) If ${\sigma }_{k-w(G-A)}(A)⩾|A|-1$, then G contains a spanning tree T with $d_T(x)⩽k$ for any $x\in A$. These are generalizations of the result by S. Win [S. Win, Existenz von Gerüsten mit Vorgeschriebenem Maximalgrad in Graphen, Abh. Math. Seminar Univ. Humburg 43 (1975) 263–267] and degree conditions are sharp.     

相对映射芽的相对A-决定性

本文研究相对映射芽的相对A-决定性，得出了相对映射芽相对有限A-决定的的一个充分必要条件，刘画了相对映射芽相对有限A-决定的某些代数特征。     

Relative Projective Modules and Relative Injective Modules

Let R be a ring, and n and d fixed non-negative integers. An R-module M is called (n, d)-injective if Ext ^d+1 _R (P, M) = 0 for any n-presented R-module P. M is said to be (n, d)-projective if Ext¹ _R (M, N) = 0 for any (n, d)-injective R-module N. We use these concepts to characterize n-coherent rings and (n, d)-rings. Some known results are extended.     

Relative Igusa-Todorov Functions and Relative Homological Dimensions

We develope the theory of \({\mathcal {E}}\)-relative Igusa-Todorov functions in an exact I T-context \(({\mathcal {C}},{\mathcal {E}})\) (see Definition 2.1). In the case when \({\mathcal {C}}={\text {mod}}\, ({\Lambda })\) is the category of finitely generated left Λ-modules, for an artin algebra Λ, and \({\mathcal {E}}\) is the class of all exact sequences in \({\mathcal {C}},\) we recover the usual Igusa-Todorov functions, Igusa K. and Todorov G. (2005). We use the setting of the exact structures and the Auslander-Solberg relative homological theory to generalise the original Igusa-Todorov’s results. Furthermore, we introduce the \({\mathcal {E}}\)-relative Igusa-Todorov dimension and also we obtain relationships with the relative global and relative finitistic dimensions and the Gorenstein homological dimensions.