基于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…     

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

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

上海股票市场弱式有效性实证分析

运用现代投资分析理论与实证研究方法,对上海股票市场从１９９１年初～１９９６年底的市场弱式有效性进行了全面综合分析．对收益率正态分布检验的研究结果表明,上海股票市场收益率自１９９３年始已逐步趋向正态分布;对股价收益率序列相关检验的结果则显示,上海股票市场在１９９１年初～１９９２年底存在秩相关性,而自１９９３年初则开始呈现市场弱式有效特征．     

逐步回归分析的拓展

给出一种方法,在逐步回归后,使每一前进（后退）步为一单元步,用Ｆ检验来判别这单元步的去留,使回归式子比逐步回归纳入更多的解析变量,同时能减低向后消元法产生多重共线性的可能性．     

用IDX法测定马尾松和樟子松种子发芽能力的研究

研究用ＩＤＸ法测定马尾松和樟子松种子发芽能力的方法及其标准化。结果发现,马尾松和樟子松种子浸种１６ｈ后,在１５℃、相对湿度接近１００％的培养箱内培养５６ｈ,然后在２５℃、相对湿度４０％的条件下分别干燥３ｈ、２ｈ,再作射线摄影,此时生活种子与死亡种子含水量的差异能在射线照片上形成密度反差,据此可以测定种子的发芽能力,即生活种子含水量高,吸收射线能力强,在射线图象上表现为密度均匀,胚与胚乳界限不明显,     

混沌理论与非线性经济系统

简述了混沌的定义、特征以及混沌系统的判定方法,并初步探讨了混沌理论在非线性经济系统中的应用,重点讨论了该理论在非线性经济结构的统计检验和经济系统控制等方面的应用     

城市CA模型建模原则与模拟结果检验方法研究

元胞自动机（CA）所独有的特征和构模方式使其在模拟复杂性系统如城市系统等方面表现出强大的模拟能力，作者通过分析CA的特点及其在城市模拟中的应用，着重探讨了城市CA模型的建模原则和城市CA模型模拟结果的检验方法。     

基于BP神经网络的压力传感器非线性校正方法

采用BP多层前馈神经网络及其改进算法对传感器特性进行补偿，有效地改善了BP传统算法收敛慢、容易收敛到局部最小点的缺陷，并编制了训练程序．结果表明，经BP改进算法处理后，传感器性能大幅度改善，网络的收敛速度更快，精度更高．     

基于Levenberg-Marquardt算法的用户鉴别

为了维护计算机系统的安全,一般通过设置用户口令以便进行身份鉴别,防止他人冒名顶替.口令鉴别的主要弱点在于,一旦被窃,冒名顶替者就可以轻而易举地进入用户的私人账户进行非法活动.击键动力学的研究是给口令加上一个简便而有效的保护措施.击键动力学方法通过获取并分析用户敲击键盘的特征数据,自动地识别出用户的真实身份.这一辅助身份鉴别的关键问题主要是寻找准确率高、执行速度快的识别算法.本论文采用Levenberg-Marquardt(LM)算法对上述存在的问题进行了研究.