完备化相关论文
Domain理论是理论计算机科学与数学的交叉学科.量化Domain的核心思想是刻画信息之间的逼近程度,Fuzzy Domain是量化Domain的一个研......
相对于半对偶化模C,本文首先引入了强Gorenstein C-投射（C-内射,C-平坦）模,讨论了这类模的一些性质.给出了它们的一些等价条件,证明......
本文研究了模糊数空间和模糊度量空间的有关理论，主要内容如下： 1．引入了模糊数的台点概念，给出了模糊数空间En上Kaleva和Seikkla[5......
学位
码论已经发展成许多独立的领域,比如,信息论,纠错码理论和变长码理论等.本文重点关注变长码理论,主要研究了 solid码,极大内缀码,（k......
法典化是立法的一种高级形式,它具有将部门法律规范完备化与体系化的法治功能.由于未经法典化的编纂程序,我国《刑事诉讼法》的完......
如果说,供应链完备化、市场迅速规模化、竞争企业多样化、用户增量急速递增等等,是中国新能源汽车行业,乃至各个车企完成了第一曲......
挖掘和利用。隐含条件,通常是从数学题所涉及的概念、图形、数量、结构等方面的特征入手,通过分析、比较、观察、联想等方法,以便......
为了考查某一方面知识的掌握情况,命题 者在命题时有意或无意地将条件隐含起来,造 成解题错误或过程冗繁,或认为题目条件不足 而束......
江苏省连云港市灌南县日前制定并实施《灌南县农民集中居住区建设第十二个五年规划》,把各村农民居住群打造成居住规模化、设施完......
论概述写作五要五忌吕明强近几年，社会主义新方志的理论探讨愈益深入，随着时间的推移，必将走向体系化、完备化。新志之新，在于它是用马......
知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述......
基于[2]提出的L-fuzzy偏序集,定义了一类L-fuzzy完备格,它是通常完备格的推广;建立了L-fuzzy偏序集的Dedekind-MacNeille完备化,并......
针对电力系统故障诊断中存在的信息不完备和不确定性问题,该文提出了基于贝叶斯网络的故障诊断方法.依据保护装置动作原理建立了分......
为提高ＣＩＭＳ开发方法的系统化、完备化、集成化，该文针对ＣＩＭＳ工程开发的特点，提出了一种基于ＣＩＭ－ＯＳＡ的ＣＩＭＳ工程开发方法体系结构，指出了该体系结构的特点，给......
为提高ＣＩＭＳ开发方法的系统化、完备化、集成化，本文针对ＣＩＭＳ工程开发的特点，提出了一种基于ＣＩＭ－ＯＳＡ的ＣＩＭＳ工程开发方法体系结构，对该体系结构下的开发方法......
“隐含条件”是指题目中若明若暗含而不露的已知条件,常常巧妙地隐蔽在题目背后,极易被解题者忽视,从而造成解题错误或冗繁,或认为......
以物理学中的问题为背景的非线性微分方程的研究是当代非线性科学的一个重要方面.创造和发展非线性微分方程新的求解方法是非线性......
该文讨论微分特征列法的理论和应用问题,涉及到微分方程,抽象代数,计算机代数等重要学科.借鉴J.F.Ritt等人以及吴文俊院士的思想方......
本文应用图论方法研究了特殊矩阵类的完备化问题和图的最小秩问题，这是组合矩阵论中的前沿课题。结合图论知识来研究特殊矩阵类的结......
本文分为以下三章： 第一章，主要介绍本文的研究背景和一些基本概念和结果。 第二章，在子集系统Z具有性质(I1)的情况下，引入偏序......
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进......
在介绍基于粗糙集理论的控制思想和方法的基础上,结合从采样数据中提取控制规则的过程指出了粗糙控制中所面临的一些问题,其主要包......
给出了多元Riemann可积函数的基本特征,证明了多元Riemann可积函数空间的完备化是Lebesgue积分空间.......
针对混合值不完备信息系统的完备化问题,提出了一种改进的ROUSTIDA算法。对可辨识矩阵的定义在邻域的范围内进行了扩充,使之可以适......
在相当一般的测度空间（π，，μ）上，对于取值于Ｂａｎａｃｈ空间Ｂ的简单函数空间Х（π，μ，Ｂ），利用赋范线性空间完备化的方法，得到了Ｌ＾ｐ（Ω，μ，Ｂ）空间的理论（ｐ≥１）。这相应......
建立了弦振动方程Cauchy问题在L^2空间中的广义解，并证明了广义解在L^2空间中与古典解具有相向的结构．......
借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念......
对于目前入侵防御系统（IPS）中规则库日益增大并且无法完备的特点,提出了一套完备化规则库系统。通过对网络操作行为的分解和对各种数......
本文引进了格序群(简称I-群)扭类的半单类及上扭类的概念,给出了一个I-群类是某扭类的半单类的充要条件以及由一个I-群类决定的上......
本文定义了完备型序列，讨论了完备型序列的一些性质．作为其应用，我们给出了素模型存在定理的另一种证明．......
对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。......
我们给出了不同于传统的用到稠密性质的对度量空间之完备化空间的定义，并证明此定义与传统定义等价。此定义用范畴论的语言给出，使其......
用图论方法给出了部分对称逆M矩阵完备化的一个必要条件,并且举例说明了文献[3]中的几处错误.......
讨论了几类可积空间C[a,b]、R[a,b]、Lp[a,b] (p≥1)的性质,得到了其可分性与完备化定理....
对给定测度空间(Ω,F,μ),给出了4种建立完备测度空间的方法:设μ是由μ引出的外测度,令F为μ可测集全体,得到(Ω,F,μ)......
自从 A.N.Serstnev 于1963年提出概率赋范线性空间(记为 M—PN—SP)以来,有许多文章研究了 M—PN—SP 上线性算子的性质。本文在此......
首先证明交换环关于I-adic拓扑诱导的完备化环是商环的有限投射极限，其次揭示Abel范畴noetherian对象与正合序列的关系，进而用范畴的......
二元序对是抽象代数的基础,其中拟序关系是最基本的一种,偏序是具有反对称性的拟序。根据Sziplrajn定理,任何偏序都可以完备化,同......
<正> 设 E 和 F 是局部凸Hausdorff 空间,P是 E×F 上的连续半范数,使得 P_E(x)=P(x,0),P_F(y)=P(0,y)分别是E 和 F 上的连续......
