非线性随机规划问题最优值与最优解的可测性

利用对偶理论与可测集值映射理论等,本文首次证明了一般非线性随机规划问题最优值和最优解的可测性,从而为研究它们的概率分布、矩等分布问题以及一般随机规划问题的实际求解奠定了理论基础.     

同步时钟系统在山西电力系统的综合应用

论证了电力系统建设时间同步网的必要性,提出网同步才是真正的同步,并结合山西电力已建的数字同步网及数据通信网,提出了利用山西电网已建的同步时钟系统实现全省各变电站时间同步的初步解决方案。     

密度演化方法在求解股市上扬天数中的应用

将股市上扬的天数转化为随机游程的长度，利用密度演化方法求得了股市上扬天数的分布以及均值和方差该文首次将密度演化方法用来研究股市的一般宏观规律，其结论可指导投资决策．     

新型锚喷支护结构在萍乡矿区的应用

根据壳体结构的力学原理设计地下新型网壳喷层结构，大幅度提高喷层的抗弯能力，同时使喷层整体具有一定的可缩性，能承受强大变形地压及采动荷载，达到用较少材料又提高喷层支撑能力与让压的目标，较好解决了加强支撑、喷层合理配筋、简化施工作业、降低材料消耗等问题，在萍乡软岩巷道中进行了工业性试验。     

网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

并行CORBA在网络并行计算中的应用研究

讨论了一个通用对象请求代理体系结构(CORBA)的扩展一并行CORBA，井详细分析了它的原理．以油气储层随机建模计算模型为例，研究了基于并行CORBA的油气储层随机建模计算模型，实现了基于并行CORBA技术油气储层随机建模的软件．结果表明，并行CORBA技术大大提高了油气储层随机建模的计算效率，有效地利用了网络资源．     

两个组合恒等式的概率证明

给出了两个组合恒等式的概率证明，扩展了已知的结果。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.