非对称度量空间中的上收敛性

研究非对称度量空间的收敛性。提出了非对称度量空间的上、下极限概念，解决了非对称度量空间上收敛性的基本问题，得出了上极限，下极限，子序列极限之间的关系及上闲集、上柯西序列、上完备集的有关结果，证明了Hausdorff半距离空间是上完备的非对称度量空间。     

时空完备性是地理学的一个基本法则

给出了时空完备性的定义，论述了时间与空间在地理实在中的统一性。指出了传统地理学时间与空间“合并”在科学逻辑上是粗糙的，对“现在”这个概念的处理方式上丢失了时间。还提出了地理事件的空间变化具备“钟”的性质的论点，以及“钟”的意义。     

P4*中保三元正则可离关系函数集非最小覆盖成员的确定

根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.     

THE COMPLETENESS OF EIGENFUNCTIONS OF PERTURBATION CONNECTED WITH STURM-LIOUVILLE OPERATORS

In this paper, non-self-adjoint Sturm-Liuville operators in Weyl＇s limit-circle case are studied. We first determine all the non-self-adjoint boundary conditions yielding dissipative operators for each allowed Sturm-Liouville differential expression. Then, using the characteristic determinant, we prove the completeness of the system of eigenfunctions and associated functions for these dissipative operators.     

Visual FoxPro的数据完整性机制及应用

如何保证数据库系统的数据完整性是数据库系统的一个重要课题．本文探讨了Visual FoxPro的数据完整性机制及其应用．     

关于量子普适包络代数变形振子表示的若干讨论

本文回顾了量子普适包络代数及其变形振子表示的基本概念,讨论了两参数变形的量子代数,并建立了相应的两参数变形振子表示。利用这一表示,导出了若干q变形的组合恒等式,并用来证明了变形的双模Fock空间一种完备性关系。     

分散信息结构的不完整性评价之初探

从信息传输的角度,讨论了分散系统的信息结构。提出用固定模重数来度量系统信息不完整的程度,给出各种重数的概念,讨论了重数在度量信息不完整时的具体意义,得到了分散系统固定模重数的计算公式。解决了为使信息完整而需要添设信道最少的条数问题。     

一类不确定线性切换系统的鲁棒镇定

研究了一类不确定线性切换系统基于状态反馈的鲁棒镇定问题.此类切换系统不仅具有未知时变但有界的结构不确定性,还具有不满足匹配条件的外部扰动.首先利用完备性条件与共同李亚谱诺夫函数方法,在各子系统不需满足镇定的条件下,设计了切换系统的状态反馈鲁棒控制器及相应的切换策略,使不确定线性切换系统的状态在其平衡点处渐近稳定,得到了切换系统可状态反馈镇定的充分条件;然后基于凸组合技术与线性矩阵不等式方法,将所得结果用易于求解的线性矩阵不等式的形式表出;最后通过仿真例子表明所设计的状态反馈控制器在给定的切换策略下,可使不确定切换系统的状态达到渐近稳定.     

命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集

从结构上清楚地描述了极大和谐理论的构造,证明了一个理论是极大和谐的当且仅当它是文字序列的逻辑闭包;在全体极大和谐理论之集上通过自然的方式引入了一种紧Hausdorff拓扑,证明了所得拓扑空间与Cantor三分集同胚.作为应用,给出了命题逻辑系统完备性的一个简单证明.     

关于量子力学完备性的跨世纪之争

概述了关于量子力学完备性的跨世纪之争,包括爱因斯坦-玻尔论战、量子力学的几率诠释、“波包收缩”、“EPR论证”(在许多文章和书中被错误地称作“EPR佯谬”)、“隐变量理论”和“贝尔不等式”．建议采用一种时间、空间的新定义,以克服“波包收缩”解释的因难．