从基于迁移的扩展Büchi自动机到Büchi自动机

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类LTL公式转化为Büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展Büchi自动机(transition-based generalized Büchi automaton,简称TGBA),然后把这种扩展Büchi自动机转换成非扩展的Büchi自动机.针对这类转换算法,根据Büchi自动机接受语言的特点,重新定义了基于迁移的扩展Büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势.     

尺寸与表面效应及其对微齿轮强度的影响

由于特征尺寸很小,微齿轮具有明显的表面效应和小尺寸效应,而这两种效应对微齿轮强度均有重要影响.简单介绍国内外用LIGA(Lithographie,Galvanoformung,Abformung)、微细电火花等技术和方法制作的典型的微齿轮器件;从塑性应变梯度理论出发,用近年来的一些实验结果说明金属材料在微米尺度具有明显的尺寸效应;分析微构件的表面效应及产生表面效应的分子间作用力;分析尺寸效应和表面效应对微齿轮齿根强度、齿面接触及齿面摩擦的影响.     

高速铁路动车组运用研究

文章在对于高速铁路动车组运用理念进行深入剖析的基础上,从模型参数设定和数学模型的建立两方面入手构建高速铁路动车组运用模型,并对该模型进行求解及优化,结合实际案例详述了数学模型的应用。     

部分酸化磷肥及其肥效

介绍部分酸化磷肥的特点、制造工艺、在土壤中的释放机理以及农化效果。     

煤气净化用多功能电捕试验研究

经过试验发现在常压、放电条件下，煤气中ＣＯ和Ｈ２的化学反应、Ｈ２Ｓ分解脱除反应可以同时进行，并且产品气中ＣＯ含量、Ｈ２Ｓ浓度均达到国家城市煤气质量要求，研制开发多功能电捕在技术上是可行的，是一项有开发前景的煤气净化技术。     

高压电缆附件设计环节中几个关键问题探讨

高压电缆附件的设计是一项涉及电气、机械、材料和热力学四方面的复杂过程,只有经过周密、精确的电、力、热的复合场设计,才能将因生产环节导致的故障率降至最低。因此针对高压电缆附件用预制或冷缩型附件设计环节中的几个关键问题,从电学性能、力学性能、松弛特性、扩张形变和电场优化等几个方面出发,提出橡胶材料弹性模量越高,界面压力越大,附件所需扩张率越低;温度越高,伸长率越大,橡胶材料的应力松弛速度越快;电缆附件撑开时,从内侧到外侧发生非线性位移,内侧大而外侧小,根据弹塑性力学理论,建立电缆附件的厚壁圆筒力学形变方程,可将电缆附件扩展后的电场优化尺寸成功恢复到厂家生产尺寸;最后给出合理设计电缆附件生产结构的方法和思路。该研究方法有望用于指导我国高压交、直流预制/冷缩型电缆附件的材料选型和结构优化设计。     

钢铁件常温发黑前处理

从各类化学除油、酸洗方法特点分析入手，探讨了常温发黑的前处理。指出要达到电镀前处理工艺效果，黑膜的附着力才有保证。