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

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

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

区间删失数据下基于OLLGG分布的多参数回归模型的参数估计

该文基于Ⅱ型区间删失数据,在OLLGG分布下提出多参数回归模型,通过线性回归刻画分布参数与协变量之间的关系,并通过极大似然方法给出了模型的参数估计,数值模拟验证了模型参数的估计有良好的性质,将提出的模型应用到血友病患者HIV感染的数据中,发现提出的模型对数据有灵活的拟合效果.     

含MA误差的线性模型的经验似然推断

采用拟极大似然估计方法获得含MA误差的线性模型估计方程。为了能够使用经验似然方法,先利用鞅差序列将估计方程中的二次型转化为线性形式;再构造关于模型参数的经验似然比统计量,在一定假设条件下证明该统计量渐近服从卡方分布;模拟结果表明,在参数置信域的覆盖率方面,经验似然方法比参数似然方法更接近置信水平。     

灌注桩超声脉冲检测法和判据的研究

本文论述了钴孔灌注桩超声脉中检测法的原理、仪器和方法.分析了当超声脉冲穿过缺陷区时其传播时间、幅值(或衰减)以及接收信号波形所呈现的变化.提出了基于"声时—深度"曲线的缺陷定量判据.即声时差值与斜率乘积判据.该判据能估算缺陷的性质和大小.而且,若将该判据与"幅值—深度"曲线综合运用,则可提高检测和判断结果的精度.     

试验与服役数据融合的飞机结构安全寿命分析

针对飞机结构安全寿命分析中样本容量偏少的问题,综合考虑结构分散性和载荷分散性的飞机结构疲劳寿命是否服从对数正态分布或威布尔分布的情况,根据等损伤原理,将服役飞机实际飞行小时数等效转化为在同一试验载荷谱下的当量飞行小时数,以实现飞机结构试验疲劳寿命与服役使用数据的融合,采用随机右截尾情形下的极大似然估计方法估算疲劳寿命分布函数的参数,进行飞机结构安全寿命分析;最后以飞机结构疲劳寿命服从对数正态分布为例进行了算例分析,分析结果表明:在相同的可靠度和置信水平下,利用试验数据与服役使用数据融合方法可以显著增大样本容量,从而充分挖掘飞机结构可靠性的储备。     

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

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

学生学习行为与学生生源相依性的统计分析

从广义试验的角度将数理统计方法引入到对当代大学生思想及行为问题的分析研究之中,并对学生学习行为与学生来源的相依性进行了探作