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

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

知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．     

预应力混凝土箱梁爆炸损伤评估及公式拟合

对预应力混凝土箱梁进行爆炸损伤评估研究。首先,对矩形梁进行爆炸数值分析,结合现场试验结果验证了爆炸数值模型的准确性、可靠性。其次,基于箱梁剩余承载力,建立了箱梁爆后损伤评估准则。通过对预应力混凝土箱梁在不同爆炸工况下的爆后剩余承载力计算,建立箱梁各损伤程度下P?I（超压?冲量）曲线。研究发现,混凝土强度对箱梁超压和冲量临界值影响较大,钢筋屈服强度对超压和冲量临界值影响较小。随着结构损伤等级的增大,各参数对箱梁P?I曲线的影响幅度各不相同。最后,对不同混凝土强度箱梁中各损伤等级P?I曲线进行公式拟合,并对拟合参数β进行分析。     

基于最小矩阵距离准则的一种群体决策方法

在分析了基于层次分析法的群体决策方法的类型、评价准则后,提出了一种基于最小矩阵距离准则的群体决策方法。该方法应用一个矩阵空间上的距离公式,将求群体判断矩阵的问题看成为求与各个体判断矩阵的距离之和为最小的矩阵的问题,然后又进一步等价为目标规划问题。该方法比较直观可信,因而容易说服各评判者接受由该方法得到的群体判断矩阵。     

Weibull分布和极值分布场合下简单步进应力加速寿命试验的最优设计

产品的加速寿命试验被用来较快地获得关于产品寿命分布的信息.本文研究了Weibull分布和极小值分布下简单步加试验的最优设计问题.为解决Nelson折算法对极小值分布的数据处理产生特殊情况的问题,作者应用近年来一些新的研究成果,将位置-尺度分布中的尺度参数设为随应力变化的量进行最优设计.给出一实例,并将其推广到更一般的形式.     

形状误差的动态评定：逐次逼近规划方法的应用

本文讨论形状误差最小包容区域的判别方法。根据逐次逼近规则评定理论,将传统的静态评定方法发展为动态评定方法,给出形状误差最小条件的统一判别准则和计算设计方法。并以直线度误差评定为例,较为详细地介绍了欠逼近规划方法在形状误差中的应用,从而实现计算机的智能判别和仲裁。     

从另一个角度看AICC准则

基于另一种观点,本文对线性回归模型和自回归时间序列模型分别推导出ＡＩＣＣ和ＡＩＣＣ＾＊选阶准则,同时对ＡＩＣＣ准则在大样本情况选阶缺乏准确率的原因给予理论解释。统计模拟结果进一步证实了本文的论点。     

用进化规划思想优化径向基函数神经网络结构的均衡器

针对训练径向基函数(RBF)神经网络均衡器的随机梯度算法(SG)中,神经网络的结构是指定的并且所用训练样本较长的问题,引入进化规划思想,用进化规划方法确定径向基函数神经网络的结构,用基于最小均方(LMS)误差准则的自适应算法调整神经元到输出端的连接权重.蒙特卡洛仿真表明,用这种方法确定的均衡器可以达到与SG算法相同的性能,而所用训练样本很少,网络结构不需要事先指定.     

估计高可信Markov系统可信性测度的一种新方法

重要抽样和重要性分裂方法经常被用来估计高可信Markov系统从初始状态出发首次回到该状态前发生故障的概率. 提出了一种新的方法估计这个小概率. 通过采用新的估计量来减小计算方差, 提高计算效率. 从描述Markov系统状态转移的积分方程推导出了新的估计量, 并从理论上证明了新的估计量的方差小于直接仿真方法的方差. 用本文方法、RB方法、IGBS方法、SB-RBS方法和直接仿真方法计算了包含延迟维修的系统的可信性测度, 结果表明本文方法具有最小的相对误差.