基于矩阵逻辑方程的识别对象状态转化研究

进行错误识别,首先我们需要研究识别的对象.因此,研究首先将错误识别对象分为识别状态、真是状态、应该状态和目标状态等四种状态,并且讨论了几种类型之间的关系.最后运用矩阵逻辑方程求解了识别状态转化为目标状态的转化方式.     

基于论域和量值二类错误逻辑变量求解的识别对象状态转化及其决策应用研究

研究了空间事物特征为确定常量的条件下,论域和量值参数为变量且未知时,错误识别对象状态的转化.研究发现,当对象识别状态的论域和量值都为Ⅱ类时,可以采用错误矩阵一类4集合方程A_s∨X_(qg)■B_g构建二元置换变换错误矩阵集合方程,将错误的对象识别状态转化为应该状态.最后,通过生产决策的实例说明其实际决策应用价值.     

基于空间分解变换的模糊错误矩阵方程求解

模糊错误逻辑对现实世界的对象用(u,x)表示为((U,S(t),■T(t),L(t)),(x(t)=f((u(t),■),GU(t)),GU(t)),用模糊错误变换矩阵可以表示分解、相似、增加、置换、毁灭、单位变换等6种变换方法,本论文基于求解方程XA′=B,针对■的分解,研究了基于空间分解变换的错误矩阵方程求解。以期从矩阵方程求解的角度对错误转化规律进行探索研究。     

二类1错误矩阵方程增优置换变换求解及其在城市交通管理中的应用研究

消错学的错误矩阵可表达错误逻辑里所定义的分解、相似、增加、置换、毁灭、单位变换等转化词,针对其中的置换变换,构建了二类1错误矩阵方程增优置换变换错误矩阵方程,并讨论了该类错误矩阵方程的求解.用交通管理问题对错误矩阵进行了举例,并构建相应的错误矩阵方程,利用上述的求解方法,对二类1方程置换变换进行了求解.     

基于错误矩阵方程的解决城市交通拥堵决策研究

针对解决城市交通拥堵决策问题,首先给出了错误优化矩阵的概念,在此基础上引出错误矩阵方程的概念,利用消错理论中的错误优化矩阵方程,从错误优化的角度来研究并解决城市交通拥堵的决策方法.相应结合实际状况给出当前状态矩阵,从而进行下一步的求解,步步推理获得了决策人满意的方案集,为决策者提供最优建议.     

基于模糊错误逻辑的投资结构优化研究

主要研究模糊错误逻辑的运算,设定了模糊错误逻辑的基本运算规则,对模糊错误逻辑公式、变量、真值、函数、字、子句、字组等概念进行定义,在此基础上,提出2个定理并予以证明,揭示了模糊错误逻辑在错误的传递、转化与消除过程中的运算规律和性质 ,然后建立了优化投资结构模糊错误逻辑模型.     

逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究

在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题.因为构成这类模糊错误矩阵的元素是集合,所以这类模糊错误矩阵之间一般是集合关系式,而不只是通常方程的等式,研究这一类模糊错误矩阵方程解的存在性,求解的方法等是理论与实践的需要.以XA■B研究对象,研究得到模糊错误矩阵集合方程XA′=B解的存在性及给出求解的例子.     

(t+1)×7类模糊错误矩阵包含型集合方程求解方法研究

在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,研究模糊错误矩阵方程的类型,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题这种类型的模糊错误矩阵方程求解,由研究发现XA′的运算结果可得到A x′_1的运算结果等同于Ax′_1=A∧[x′_1,x′_1,…,x′_1]′,所以XAB模糊错误矩阵集合方程XA′=B的求解的方法可以得到改善.最后给出了一个求解的例子.     

基于错误逻辑分解转化联结词的生态文明指标知识表达模型研究

研究错误逻辑的知识表达模型,以错误逻辑理论结合生态文明"五位一体"所构建的生态文明建设指标体系,进行基于对象识别的知识表达.指标体系内的各元素分别被定义为错误逻辑模型中的事物、特征、函数和规则.建模时,首先进行事物分解,第二步进行特定事物下对应的特性及规则分解,最后根据判别规则G对错误函数f形式的影响,对各项指标所适用的错误函数类型进行分类.对象的生成可以为用矩阵这样的数据结构对逻辑知识进行系统化组织做前期准备.     

二类5包含型错误矩阵集合方程求解研究

在错误矩阵的基础上,提出了错误矩阵方程的类型.研究了当构成错误矩阵的元素是集合,且对于矩阵的每一行又恰好是一个错误逻辑命题的分解,这一类错误矩阵方程解的存在性,求解的方法等,并通过实例加以论证说明.     

基于错误系统理论的和式型和向量型错误函数研究

研究了和式型和向量型函数的相关定义及性质,为更好的描述错误系统,以及计算错误值奠定了基础.     

The Orthogonal Subcategory Problem and the Small Object Argument

A classical result of P. Freyd and M. Kelly states that in “good” categories, the Orthogonal Subcategory Problem has a positive solution for all classes of morphisms whose members are, except possibly for a subset, epimorphisms. We prove that under the same assumptions on the base category and on , the generalization of the Small Object Argument of D. Quillen holds—that is, every object of the category has a cellular -injective weak reflection. In locally presentable categories, we prove a sharper result: a class of morphisms is called quasi-presentable if for some cardinal λ every member of the class is either λ-presentable or an epimorphism. Both the Orthogonal Subcategory Problem and the Small Object Argument are valid for quasi-presentable classes. Surprisingly, in locally ranked categories (used previously to generalize Quillen’s result), this is no longer true: we present a class of morphisms, all but one being epimorphisms, such that the orthogonality subcategory is not reflective and the injectivity subcategory Inj is not weakly reflective. We also prove that in locally presentable categories, the injectivity logic and the Orthogonality Logic are complete for all quasi-presentable classes. Financial support by Centre for Mathematics of University of Coimbra and by School of Technology of Viseu is acknowledged by the third author.     

基于可辨识矩阵的模糊目标系统决策约简算法

在模糊目标信息系统决策约简和可辨识矩阵定义的基础上,讨论了可辨识矩阵的性质以及与决策约简集之间的关系.同时定义一种新的属性重要度,并将此作为启发式信息,设计了一种模糊目标决策信息系统最小决策约简算法,通过实例验证该算法简捷、有效.     

错误数据集的变换研究

首先介绍错误数据集C的定义;再者引出错误数据集合的变换,最后研究各类错误数据集的有关运算及这些运算所满足的运算律.得出错误数据集的变换包括逆、或、积;错误集的变换类型有7种包括单位变换、置换变换、分解变换、组合变换、毁灭变换、增加变换、相似变换.     

模型集成误差与优化研究

将模型作为函数,模型的输入输出参数为变量,给出变量真值的定义。在此基础上,给出单一模型误差e,利用误差e求出模型输出变量真值的期望μ,用μ作为修正值以提高计算结果的精确度。通过给出模型集成误差λ的定义,详细推导了λ的计算方法,利用λ计算模型集成输出变量真值y的期望μy、方差σy2、σy2/vy2,μy作为最终计算结果的修正值,而σy2/vy2可作为模型集成选择的依据,对同一输出变量而言,σy2/vy2小的模型集成是较优的．     

基于模糊综合函数的目标属性识别模型

应用模糊集理论量化了防空火力单元识别结果,利用模糊综合函数对火力单元的量化结果进行综合,并给出了信任函数的表达式。