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

UFO是真的吗——两起误认现象分析

有些人不承认UFO现象的存在,甚至武断地说"UFO是伪科学",这种态度并不可取.     

气候变迁、适应能力及其发展

政府间小组委员会(IPCC)提供的第三次有关气候变化评估报告，强有力的说明了由人类诱发的气候变迁正在发生，而且世界上所有的国家都将会受到影响。     

我国无公害农产品生产现状及对策

进入新世纪．关于食品质量安全问题从未像今天这样备受世人的瞩目和关注。1990’S初．无公害农产品的概念首次在我国提出．历经十余年的孕育期．农业部“无公害食品行动计划”于2002年7月开始在全国全面推进和实施，标志着我国政府已经把解决国民的食品安全问题纳入到重要议事日程并已付诸行动。党的十六大报告和2004年中央一号文件均明确指出并要求“建立健全农产品质量安全体系”，“全面提高农产品质量安全水平，     

科技报告的特点及作用

科技报告在生产、科研各个领域中具有广泛的实用性。本文在介绍科技报告的涵义、种类的基础上,总结出科技报告的五大特点及其特有的功用。     

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

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

市场经济下大学生素质培养的思考和实践

<正>改革开放以来,总设计师邓小平同志多次讲到:我们的事业能否一代一代传下去,关键是要把青年人教育好.党中央总书记江泽民同志也在党的十四大报告中指出:"希望寄托在青年人身上.赢得青年,才能赢得未来."党中央和中央领导从战略高度提出的培养和教育好青年一代的重要课题现实地摆在广大教育工作者的面前,作为当代青年的中坚和精华——大学生们     

逐步回归分析的拓展

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