关于形式系统(L)*(强)完备性证明的注记

考察了形式系统L*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明．讨论了单位区间[0，1]上全序R0代数的非运算与强否定的一致性，给出了强否定表示定理的一个等价刻画，并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察，得到了公式集F(S)基于不动点的一类新的分划．     

区间值直觉Fuzzy度量空间及其完备性

给出区间值直觉Fuzzy数的定义，并引入区间值直觉Fuzzy数间的区间值直觉Fuzzy距离，建立区间值直觉Fuzzy度量空间并讨论其完备性．进一步对n维区间值直觉Fuzzy度量空间作了相应的讨论．     

数据完整性机制的认识与应用

关系数据库管理系统都提供数据完整性机制，认识这些数据完整性机制，并在数据库应用开发中加以运用，能有效减轻编程工作量．对目前常用的几种关系数据库管理系统的数据完整性机制进行了总结，帮助应用开发者认识和应用．     

发展型哈密顿核积分方程

对于哈密顿体系的偏微分方程分离变量，导致哈密顿型微分程及本征值问题，再导向哈密顿核的积分方程。证明了其本征向量的共轭辛正交归一关系。采用层叠核与积分方程泛函取最大值的变分原理，给出了辛本征向量展开式，并证明其完备性定理。     

多目标规划的像问题及其应用

设X,Y,Z皆为拓扑向量空间,C和D分别是Y和Z中的闭凸锥.Z中由D规定的偏序如下:对任意z_1,z_2∈Z,当且仅当z_2-z_1∈D时,z_1≤z_2考虑下述多目标规划问题min f(x);s.t.x∈R(?){x ∈X且g(x)∈C},其中,f:X→Z;g:X→Y.定义1 设(?)∈R,如果(f(?)-D)∩(f(R)\{f(?)}=?,则f(?)称为(1)式的有效点.当f(?)是(1)式的有效点时,称(?)是(1)式的有效解.任给(?)∈R,作映射F(?):X→Z×Y为F(?)(x)=(f(?)-f(x)),g(x)).记H=(D\{0})×C,K(?)={F(?)(x)|x∈X},E(?)=K(?)-c1H.定义2称     

双曲仿射球的合成与截口

本文主要讨论由已知仿射球产生新的仿射球的问题。首先给出一个合成公式,并证明了它对于完备性是封闭的;其次讨论截口问题。     

双参数形变谐振子湮灭算符二次幂的本征态

本文明显构造了双参数形变谐振子湮灭算符二次幂的本征态，并利用ｑｓ－积分给出了其完备性的证明。     

双参数变谐振子湮灭算符高次幂的本征态

明显构造了双参数ｑｓ－形变谐振子湮灭算符高次幂的本征态，并利用ｑｓ－积分给出了其完备性证明。     

企业应急物资储备完善度评价

为有效提高企业应对各类突发事件的能力,完善企业应急物资储备,开展企业应急物资储备完善度评价研究,对丰富突发事件应急管理理论具有重要意义。本文基于模糊层次综合评价法(FAHP)及Credal网络,选取应急物资数量、应急物资类别、应急物资质量、应急物资联动、应急物资操作培训、应急物资操作人员等6个应急物资储备完善度评价指标,构建一种新的应急物资储备完善度评价模型——SEI模型,并以S公司为对象,将该模型应用于企业应急物资储备完善度评估。结果表明,该模型能够较好的评估企业应急物资储备完善度,揭示企业应急物资储备存在的薄弱环节,确定应急物资储备完善度等级,评估结果可靠;针对S公司应急物资储备存在的不足,提出了应急物资储备完善方案。     

复指数多项式在半带形中的完备性

对复指数多项式在Banach空间Hα中的完备性给出了充分必要条件,其中Hα为在半带形Iα={z=x iy: x≥0,|y|≤α} (α>0)中连续, 在Iα的内部解析且当x→∞时,f(x iy)在Iα中关于y一致地趋向0的函数f(x iy)全体, 其范数为上确界范数.