摘要：AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。

摘要：无锡市梅村污水处理厂二期工程采用一体化MBR工艺,设计规模为3×104m3/d,工程于2009年2月正式投产。根据两年来的运行情况,分析了污水处理厂处理效果、电耗等,在此基础上介绍了膜组件的污染情况及清洗效果。

摘要：基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力。目前故障树被广泛应用于系统安全及可靠性分析中。故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,系统工程中可以尽早确定当前系统模型可能出现的问题并及时避免。面向一类安全关键性系统领域中的系统安全性建模语言AltaRica,基于其语义模型卫士转换系统(Guarded Transition Systems,GTS),设计了从平展化的GTS模型自动构造系统故障树的方法,节省了人工构造故障树的时间,从而加快了系统分析的进度。根据AltaRica3.0语言的语义规则,提取平展化GTS模型的数据构建实例对象;设计了GTS模型划分算法,得到一组独立GTS模型与一个独立断言,通过邻接矩阵构建独立GTS的可达图并获取关键事件序列。最后将处理结束的独立GTS与独立断言相结合,通过断言传播算法得到整个系统的状态及关键事件序列,生成系统故障树。最后通过实例来检验算法的有效性,结果表明,该算法能有效完成从平展化GTS模型自动生成故障树。

摘要：pH是微生物生长和产物合成非常重要的状态参数。目前工业大罐发酵大多采用人工取样检测pH。作者设计的发酵在线pH温度智能控制系统采用了带辅助电极的复合金属pH电极;设计了便于现场校正的线性校正程序;采用温度模糊逻辑控制,综合解决金属电极温度特性问题和发酵温度控制问题,在1m3工业发酵罐中应用取得较好效果。

摘要：设计并仿真了频率范围为DC-18GHz,功率负载为20W的微波功率薄膜电阻器,根据仿真结果,采用反应磁控溅射法制备了TaN微波功率薄膜电阻器。仿真结果表明,所设计的薄膜电阻器在DC-18GHz频率范围内,电压驻波比均小于1.2,加载20W微波功率时,薄膜电阻器表面的最高温度为108℃。实验结果表明,所制备的TaN薄膜电阻器在DC-18GHz频率范围内,电压驻波比小于1.25;加载20W直流功率96小时,电阻器的阻值变化小于2%,表面最高温度为105℃;在25-125℃温度范围内电阻器的温度电阻系数为-40ppm/℃。

摘要：介绍采用延伸预测法来处理大坝变形波动,探讨预测较合理预测值的几种情况和方法,供同行参考。

摘要：在客运索道运行中,张紧小车行走轮起支撑索道设备和保持张紧小车前后运动的作用。文章首先对张紧小车行走轮的轮压分配进行分析,其次对行走轮与轨道进行接触强度分析,最后通过案例对轮压和轮轨接触进行计算。通过计算分析,为索道行走轮的设计提供了相关依据。

摘要：通过对某铁路工程某段桩基托梁挡土墙的原型观测,分析了桩基托梁挡土墙的应力分布规律和传递机理,提出了托梁上荷载分布的简化计算方法。

摘要：干排电石渣水分含量低,可直接进入水泥生产线配料使用,大大提升了电石渣在水泥生产中的使用量。结合多个聚氯乙烯(PVC)循环经济项目中电石渣水泥生产线的设计经验,总结了干排电石渣替代石灰石的水泥工艺在原料的处理,粉磨烘干和烧成三大方面的设计要点。