基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于某些Be星中近红外辐射和光学辐射差异的解释

为了考察Be星中Hα发射线和红外超的来源区域，建立了一个考虑光学深度的膨胀环模型，发现它们的来源区域强烈依赖于Be星的物理参数，如抛射物质的初始密度和密度结构，此模型可以用来定性地解释某些Be星中观测到的、长期得不到解释的Hα发射线等值宽度和红外超变化的不一致现象。     

Duane模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型——Bayes分析方法

本文将Bayes分析方法应用于Duane可靠性增长模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型,得到了参数以及系统能达到的MTBF的Bayes点估计和Bayes区间估计。     

谈谈“构造法”解题策略

构造法是中学数学中的一种常用的解题思想方法,其思维策略是:在解题中充分利用已知条件和数学知识,通过观察、联想,构造出满足条件的数学对象,或构造出一种新的问题形式,使问题的结论得以肯定或否定,或     

分米波电视圆形振子四偶极板天线的计算

本文对分米波电视四偶极板天线（圆形振子）进行了系统的计算，根据计算和实验结果对平板振子的导线网模型进行了优化，在优化的导线网模型的基础上，应用数值法对圆形平板振子及由它组成的天线的阻抗、方向图和增益等特性进行了深入计算分析。     

低空目标噪声模型

低空目标噪声模型李云，贾民生（青岛大学计算中心，青岛２６６０７１）关键词：噪声模型；地空武器系统在地空武器系统大型仿真实验中，要求加入检飞试验中测量低空目标所带来的噪声误差信号．传统的方法是将磁带机记录的噪声信号直接加入仿真模型中，这种方法极不方便，...     

矩形管道层流流动近似计算

本文利用变分方法推出了矩形管道中完全发展段层流流动的速度,继而讨论了矩形管道中的流量、沿程阻力系数和压力损失等。实验结果表明,本文的分析是可靠的。     

师资预测一类纵横统计推进模型

提出了一个新的人才预测模型,其主要优点是可对残缺原始数据进行加工,且可修正预测值的随机误差影响,预测精度较高.本文还给出了用该模型对某校师资进行预测的实例,得到满意结果.