无锡市区浅层地基工程地质条件及其评价

笔者通过对无锡市区浅层地基的工程地质条件分析，指出了存在的主要工程地质问题，并对无锡审区土层的主要持力层，尤其是作为高层建筑的持力层进行了分析与评价，对城市建设和规划提出了合理化建议。     

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

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

石油微观渗流数值模拟实验

应用基于骨架隐曲面造型技术，构造了一种抽象的孔隙空间模型，在此基础上运用系统模拟技术开发了一个石油微观运移数值模拟实验平台，用于模拟和展示石油在饱含水孔隙介质中的运移过程，并验证了以浮力为主要运移动力的动力学模型的适用性。     

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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

浮动齿轮张紧装置工作原理

本文论述了浮动齿轮张紧装置能够对带传动自动提供张紧力的工作原理,导出了由重力和驱动力矩对带传动提供的张紧力计算式,并指出张紧力的变化范围是(-∞,∞),它具有随外载荷变化而自行调节的性能,能较好地满足带传动的工作要求。最后简述了装置满足张紧条件时的设计计算。     

以Monte Carlo为基础的发电系统随机生产模拟的韦伯分布法

介绍了Monte Carlo方法的基础上,分析了以往的文献中发电系统的随机生产模拟分布的不足之处后,提出了发电系统随机生产模拟的韦伯分布法及模拟方法。     

二维细胞自动机伪随机序列发生方法研究

首先介绍了细胞自动机的基本概念。根据具有输入的细胞自动机的转移特征方程推导出了具有梯形结构的二维垂直邻居受限细胞自动机周期等统计特性。根据这些特性提出了一种二维细胞自动机伪随机序列发生方法。计算机模拟表明 ,具有梯形结构的二维垂直邻居受限细胞自动机伪随机序列发生器实现简单 ,产生的序列具有速度高、周期长和统计特性好等优点。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。