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

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

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

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

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

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

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

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

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

一类递减信息族的性质及其证明

构造了一类基于Brown运动的单参数递减信息族{Ht}t≥0，并证明了其某些性质。     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

具有随机偏差的最优多段卡尔曼估值器

提出了具有随机偏差的最优多段卡尔曼估值器。针对状态模型与观测模型同时具有偏差且偏差模型噪声与状态模型噪声相关的情况 ,给出了具有随机偏差的状态方程的增广状态 ,并通过U V变换对卡尔曼估值器的协方差矩阵解耦得到了最优多段卡尔曼估值器。结果表明 ,多段卡尔曼估值器不仅是最优的 ,而且降低了计算的复杂度     

下山兰的驯化

下山兰是指从山林与杂草丛中采掘回来,进行家庭栽培的兰花。从野生到家养,由于场地、基质、光照、温度、湿度、养分等方面的差异,需要一个较长时间的驯化过程才能适应。所谓驯化,是在下山兰的栽培与养护过程中,采取一系列措施,使其逐渐适应新的生长环境。驯     

用眼睛发现 用手来改变

新学期开始了，我对学生们在日常行为方面提出了颇为严格的要求。希望他们能及时地将自己的物品摆放整齐，将自己周围的卫生清理干净，时刻规范自己的言行，逐渐养成良好的行为习惯。