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

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

随机删失场合半参数回归模型参数估计的重对数律‘

本文探讨了随机删失场合半参数回归模型的参数估计问题.考虑半参数回归模型Y =X}}3 + g(T)十。，其中(X,T)’为取值于Kp X [0,1〕上的随机向量，月为1'维未知参数向量，8为定义于【0.1]上的未知函数，。为随机误差，Ee = 0 . Eez = az }。未知，且(X ,T)与。独立，).被一个与之独立的随机变量V所截.此时仅能观察到:Z=min(Y,V),o=1(Y簇V)，参数I3,az的估计量禽及公 z可综合非参数的权函数估计法与参数的最小二乘估计方法得到.本文对核函数的情形得到了念及ar z的精确收敛速度即重对数律.     

谈谈“构造法”解题策略

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

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

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

低空目标噪声模型

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

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

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

无线异类数据网服务质量体系结构解决方案

设计了一套具有高性能的适合于移动数据网（超2．5G）和无线本地区域网（WLAN）组成的综合数据网的网络体系结构，提供基于预留端到端的QoS模型，使用带宽适应算法支持端到端的QOS，提高了系统资源的利用率，减少了呼叫拥塞概率和交接丢包概率，解决了2个系统QoS类不匹配等问题，平衡了2个系统的传输能力。