一种介于B—性质与P—性质之间的拓扑性质

引入了一种介于Ｂ－性质与Ｐ－性质之间、介于中紧与可数中紧之间的拓扑性质－－中Ｂ性质，并对这种性质作了系统的研究，分别讨论了它的等价条件、遗传性质和映射保持性，还讨论了乘积空间的中－Ｂ性质，最后举例说明中Ｂ－性质严格介于Ｂ－Ｐ－性质之间，严格是于中紧与可数中紧之间。     

一种介于B－性质与P－性质之间的拓扑性质

引入了一种介于Ｂ－性质与Ｐ－性质之间、介于中紧与可数中紧之间的拓扑性质──中Ｂ性质，并对这种性质作了系统的研究，分别讨论了它的等价条件、遗传性和映射保持性，还讨论了乘积空间的中－Ｂ性质，最后举例说明中Ｂ－性质严格介于Ｂ－性质与Ｐ－性质之间，严格介于中紧与可数中紧之间．     

检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

单位球上的λ-分布

λ－性质是研究空间的单位球端点分布的性质，给出了关于性质公开问题的肯定和否定的回答，证明了如果X具有λ－性质，那么l1(X)具有λ－性质，但是某些l∞（X）没有λ－性质。     

区间值积分及其性质

借助达布(Darboux)定理提出区间值积分的新概念，研究了区间值积分的基本性质，包括线性运算性质、不等式性质、区间分割性质及中值定理等，推广了Riemann积分理论。     

关于侦办黑社会性质组织犯罪案件的思考

黑社会性质组织犯罪破坏性很大，但在案件定性方面有一定难度。本文论述了黑社会性质组织犯罪的特点，黑社会性质及其成员的界定，重点论述了黑社会性质组织犯罪的侦查取证对策。     

论洛阳的城市性质和发展方向

本文依据城市规划学的原理，考察了洛阳市建国后的历史与现状，论证了研究洛阳城市性质的必要性和紧迫性，并以此为前提揭示了洛阳城市性质的主题特色，对洛阳城市性质的主题特色，对洛阳城市性质的科学表述和发展方向提出了自己的看法。     

次酉群几何

研究了次酉群，得到了次酉群下的不变性质，这些性质与酉群下的性质对偶。     

镍磷化学镀层的性质与磷含量和热处理工艺的关系

综述了Ｎｉ－Ｐ镀层的各种性质与磷含量和热处理工艺的关系，这些性质包括镀层组织结构，力学性质，耐磨和耐腐蚀性，电磁和热性质以及可焊性，金刚石车削性等。阐明了镀层结构转变影响这睦性质的变化的原理。同时简述了Ｎｉ－Ｐ镀层的一些重要应用和发展前景。     

具有性质（＊）的模序偶

作为具有性质（＊）和具有性质（＊＊）的模的推广，引入了具有性质（＊）和具有性质（＊＊）的模序偶的概念，得到了若干性质，并证明它们是一对Ｍｏｒｉｔａ对偶序对，最后利用它们给出了自同态环环为除环的模的一个刻划。     

参变随机过程定型性质初探

改进和发展了PRP参变样本函数的定型性质，提出了广义定型性质的定义，并研究了它的基本性质。     

关于K arp猜想的一种新研究方法

关于图性质的Karp猜想是计算复杂性理论中的一个著名的悬而未决的问题，以往的研究方法仅仅是对某一种图性质进行研究，针对这一缺陷，给出了图性质的本质复杂性的概念，提出了以本质复杂性为基础的一种新的研究方法，这种方法的研究对象是一组满足某一特定条件的图性质，证明了只要其中一种图性质为诡的，这一组图性质均为诡的。     

神经元的电缆性质Ⅰ电缆方程及其稳态解

神经元的电缆性质对突触输入的整合具有重要的作用，尽管目前发现神经元树突具有主动膜性质，理解被动膜性质是必要的。本文回故了神经元电缆性质的研究历史，给出了电缆方程的简单推导，并给出了电缆方程稳态解的几种形式。     

序列状生产系统最优生产计划的一些性质及启发式算法

探讨了序列状多级生产系统的生产－库存计划问题，以“再生点性质”和“成套按排性质”为基础，证明了这类问题所具有的另外一些特殊性质，并运用这些性质建立了一种有效的启发式算法。     

关于广义Pauli矩阵的研究

根据矩阵理论的相关知识对广义Pauli矩阵的性质进行研究.首先，利用n次单位群讨论了两个酉矩阵的性质及其关系，随后研究了广义Pauli矩阵的性质，最后给出广义Pauli矩阵性质的应用，为广义Pauli矩阵在量子信息中的应用和深入研究提供了理论基础.     

函数拟凹性的若干等价条件

介绍了函数具有拟凹的一些充要条件，包括以了限制在线段上的性质进行描述，包括以限制在线段上的性质进行描述，单调性的描述，几何的描述，一个定比分点性质的描述。     

指数分布的解析刻划

Ｐｕｒｉ和Ｒｕｂｉｎ对概率测度μ引进了所谓μ具有性质Ｈ的概念．他们证明了：若μ具有性质Ｈ，且μ具有概率密度，则μ为指数分布．本文则证明：若μ具有性质Ｈ，且μ具有解析性质Ｇ，则μ亦为指数分布，从另一角度刻划了指数分布，而且便于应用．     

动态环境中的概率信息流安全

在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态环境中的概率互拟复合不可演绎性质，即持久P_PBNDC．使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质，该性质能够揭露出概率互拟复合不可演绎性质（PBNDC）所不能暴露的潜在的安全隐患．最后，证明了PPBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P_PBNDC具有复合性质，而在并行算子下不具有复合性质．     

关于二元关系基本性质的讨论

本文针对“离散数学”课程中二元关系性质进行了较深入的讨论，对二元关系的五个性质进行了比较形象、直观的分析，并通过例题加深了对这五个性质的理解。最后还给出了程序设计的框图，使读者能用计算机进行二元关索性质的讨论．     

关于具有弱P性质的拓扑空间

引入的弱Ｐ性质是介干Ｐ性质与可数亚紧之间的复盖性质，并讨论了弱Ｐ性质的等价画，它的遗传性和映射对它的作用。