次Mackey空间与对偶局部完备性

次Mackey空间与广义次Mackey空间被引进．对于次Mackey空间E，其强对偶(E’，β(E’，E))为局部完备等价于E为C-拟桶形也等价于E为C0-拟桶形．对于广义次Mackey空间E，强对偶(E’，β(E’，E))为局部完备等价于E为C0-拟桶形．     

加权 Hardy 空间中解析函数的唯一性及多元指数多项式的加权逼近?

将Malliavin关于一元解析函数唯一性的结果推广到多元情形,利用所得结果得到了多元复指数系不完备的充分必要条件及其闭包的特征.     

基列可变的矢值序列空间

全文研究基子空间序列可变的矢值序列空间的特性,其中包括完备性,共轭空间,序列收敛性,紧性,可分性,自反性,弱序列完备性和绍德尔基等性质。     

关于费米子玻色化技术的注记

传统根据Jordon和Wigner理论,构造了费米子玻色化方案。文章讨论证明了这种方案只有在k≠k′时才成立,而在k=k′时则不成立,从而说明了费米子的玻色化技术是不完备的     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

三角模糊数上的完备度量及其在决策中的应用

借助三参数区间数,利用三角模糊数的截集信息定义了三角模糊数之集上一个新的距离.证明了该距离具有完备性.利用这种距离,针对三角模糊数上的多属性决策问题,给出一种基于理想点的决策方法.对属性权重的"归一化"处理使得这种方法具有简单易行的优点,并且克服了属性权重对决策产生双重化影响的问题.最后以实例说明该方法的有效性.     

带转角自由度平面单元的不完备性

讨论了有限元法中带转角自由度的平面单元的收敛性。证明了其位移模式不同满足收敛条件,是不完备的。     

各向异性压电弹性力学问题的通解

给出了一般各向异性压电弹性力学问题的通解,并证明了其完备性和不唯一性。     

80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。