火电厂高温过热器泄漏的原因与预防

高温过热器是锅炉的主要构件之一,高温过热器爆管事故的发生不仅给电厂企业带来安全隐患也会造成较大的经济损失。针对某厂高温过热器在运行中发生爆漏,采用化学成分分析、宏观检验和显微组织分析等方法对爆管进行了分析,查找出了爆管原因。详细介绍了锅炉高温过热器因遗留焊渣而引起的爆管情况,并且从锅炉设备管理、检修等方面,提出了防止过热器爆管的措施,一定采用合格的焊接材料、严格执行正确焊接工艺,才能在实际工作中避免爆管。     

水耦合装药对露天深孔爆破效果影响的探讨

介绍了某露天山坡矿采用水耦合装药爆破技术,通过与常规爆破对比试验分析,提出利用水耦合爆破可以改善露天深孔爆破效果、提高原矿大块合格率和降低炸药单耗,达到安全增效、降耗的目的。     

Ti—C—Al体系热爆合成过程

采用整体加热燃烧合成法（即热爆合成）制备了ＴｉＣ－Ａｌ复合体系，利用差热分析（ＤＴＡ）、Ｘ射线衍射分析（ＸＲＤ）和扫描电镜（ＳＥＭ）等手段研究了Ｔｉ－Ｃ－Ａｌ体系中升温速度及Ａｌ含量对ＴｉＣ反应合成过程的影响，分析了Ａｌ基体对ＴｉＣ粒子的形成机理．结果表明，在ＴｉＣ反应合成过程中，首先是Ｔｉ与Ａｌ反应形成Ｔｉ与Ａｌ的化合物，放出热量，随后促使Ｔｉ与Ｃ的放热反应发生，合成ＴｉＣ时放热产生的高温使Ｔｉ与Ａｌ的化合物分解，从而制得ＴｉＣ－Ａｌ复合体系；升温速度及Ａｌ含量只有超过一定值时，该体系才能在较低温度发生热爆反应；当Ａｌ的质量分数从１０％升至５０％时，ＴｉＣ的粒度从５．０μｍ阵至０．５μｍ．     

水上无人机自主着水控制系统设计

针对水上无人机在高海况下的着水问题,本文在分析了不同着水阶段特性的基础上,提出了一种自主着水控制系统设计方案.该方案将整个系统分为速度控制子系统和姿态控制子系统.速度控制子系统包含速度动态逆控制器和油门切换模块,姿态控制子系统包含海浪滤波器俯仰角反步控制器、高度PID控制器、俯仰角切换模块和T-S模糊推理模块.其中,海浪滤波器能有效滤除受扰姿态角中的海浪高频扰动,避免了着水之后舵面的频繁抖动;俯仰角反步控制器采用指令滤波的反步法设计,有效缓解了高海况下的舵面饱和问题.最后,在不同海况条件下进行了仿真.仿真结果表明所设计的控制系统具有良好的控制性能.     

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。     

CNG加气站爆炸燃烧的交通疏散仿真分析

随着石油资源的日益短缺和国家能源战略的调整,环保要求和汽车技术的不断提高,燃气车辆不断增多,与之相对应的车用加气站的数量也越来越多。但是接连发生的加气站燃气泄漏与火灾事故使得加气站的使用安全问题成为日益关注的问题。当加气站出现燃气泄漏与火灾事故时,天然气未立即着火可形成爆炸气体云团,遇火就会发生爆炸,在危险距离以内,人会受到爆炸冲击波的伤害。重点将对CNG加气站爆炸事故后的交通疏散条件制定分级标准,结合实例采用计算机软件仿真疏散分析,对以后进行新建加气站的安全评估分析工作开展提供定量依据。     

Interference automata

We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate the increase in power, in terms of language recognition, of a classical Deterministic Finite Automaton (DFA) when endowed with the facility of interference. The question is in the spirit of Two-Way Finite Automata With Quantum and Classical States (2QCFA) [A. Ambainis, J. Watrous, Two-way finite automata with quantum and classical states, Theoret. Comput. Sci. 287 (1) (2002) 299–311] wherein the classical DFA is augmented with a quantum component of constant size. We test the power of 2OIA against the languages mentioned in the above paper. We give efficient 2OIA algorithms to recognize languages for which 2QCFA machines have been shown to exist, as well as languages whose status vis-a-vis 2QCFA has been posed as open questions. Having a DFA as a component, it trivially recognizes regular languages. We show that our model can recognize all languages recognized by 1-way deterministic blind counter automata. Finally we show the existence of a language that cannot be recognized by a 2OIA but which can be recognized by an O(n³)$O\left(n^3\right)$ space Turing machine.     

利用相位的自旋1/2量子系统的相干控制

针对两个自旋1/2粒子组成的封闭量子系统, 建立了具有Ising相互作用的量子系统模型. 在此基础上通过具有特定幅值及相对相位的半反直觉脉冲, 制备了相应的量子相干态. 并通过系统数值仿真实验, 归纳出系统终态与相对相位之间的近似关系式, 分析了控制脉冲的幅值和时间延迟对制备过程的影响. 利用部分绝热通道技术实现了相位相干控制.     

水下刚性壁装药爆炸气泡简化模型和数值仿真

为预测沉底装药水下爆炸产生气泡的最大半径和脉动周期,建立了水下刚性壁上的装药爆炸产生气泡的动力学模型.从Bernoulli方程和能量守恒两个角度推导出描述半球形气泡径向运动的流体动力学方程,通过能量法确定了方程的初始条件.对方程数值求解得到第一脉动周期内气泡半径和径向运动速度随时间变化的曲线.利用ANSYS-AUTODYN软件的高精度Euler-Godunov求解器和计算结果映射技术,建立了水下刚性壁上装药爆炸产生气泡运动的数值仿真模型.计算得到了气泡膨胀、收缩、上浮和脉动压力时程曲线及其几何形状变化规律.理论模型与仿真计算得到的气泡半径、脉动周期和径向运动速度均吻合,说明该理论模型满足工程所需精度要求.     

Two types of nonlinear automata over a finite ring

The structure of a class of automata is analyzed. These automata are analogs of symmetric chaotic dynamical systems over a finite ring, namely, the Guckenheimer–Holmes cycle and free-running systems. Problems of parametric identification and identification of initial states are solved, and a set of fixed points of automaton mappings is characterized. Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 57–68, July–August 2009.