采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

工业纯铝在模拟海水中的电化学腐蚀行为

为研究铝在海水中的腐蚀过程,采用电化学阻抗谱、浸泡试验、扫描电子显微镜研究工业纯铝在模拟海水中的腐蚀行为.结果表明:铝在模拟海水中发生点蚀的区域为富含Fe的晶间化合物处,点蚀半径随时间的增加而扩大.铝在模拟海水中的溶解曲线分为4个区间:活性溶解区、过渡区、过钝化区、钝化区.铝在模拟海水中,极化电位为过钝化区时,转移电阻R t随着电位的升高而变小,铝发生严重的点蚀;而极化电位为钝化区时,铝的转移电阻R t随着电位的升高基本不变,铝的溶解行为受到抑制.工业纯铝在模拟海水中发生点蚀的电位区间是-0.45～-0.65 V,钝化电位区间为-0.75～-0.85 V.     

集中供热系统适量供热调节技术

集中供热的采暖用户实行计量收费并且具有自调节能力以后,必须要有与用户调节相匹配的运行调节手段,才能实现系统的适量供热.结合集中供热常用的系统形式,分别分析用户、热网及热源在各种运行方式下的调节特性及节能潜力,得出室内系统变流量、循环水泵变转速运行时节能量最高,并给出循环水泵定转速运行及变转速运行下的控制系统方框图.最后指出,应该针对新型供热系统和旧有供热系统的特点,制定相应的整体综合调节策略,才能实现节能最佳.     

稳定路径的Ad hoc网络QoS路由算法

移动Ad hoc网络中节点移动或能量耗尽会使得建立的QoS路径断裂而需重构路由,造成通信中断,对实时业务造成严重影响,提出了一种基于路径稳定性的QoS路由算法.该算法采用网络探测技术,综合考虑链路和节点稳定性,选择一条最稳定的路径进行通信,并实时监测路径状态变化,有效降低通信中断的概率.仿真表明,该算法有效改善了分组传送成功率、时延抖动等网络性能.     

汉语语音文档检索中后验概率的索引方法

基于音节Lattice形式的语音识别结果来实现汉语语音文档检索,不但可以成功规避词表外词问题,而且Lattice这种多候选形式也能有效补偿识别错误对检索性能的影响.在基于音节Lattice的汉语语音文档检索研究中,针对已有索引方法的不足,提出了一种基于后验概率的索引方法,对向量空间模型进行改进,以音节和K步邻接音节对作为索引项,以它们在语音文档中的后验概率值作为索引项权重.检索实验表明,文中的方法更适用于基于音节Lattice的语音文档检索任务,各项改进都达到了预期效果.     

生物滴滤器净化苯/甲苯废气的对比

在不同模拟工况下研究生物滴滤器对低浓度苯、甲苯气体的净化性能.以苯和甲苯为目标污染物,采用陶瓷拉西环作为生物滴滤器填料,选用先期筛选驯化的苯、甲苯专性降解菌种对填料进行接种挂膜.结果表明:在气体流量为60～150L/h(对应的苯、甲苯停留时间分别为11.25～28.12s和10.6～26.4s),苯、甲苯入口气体浓度分别为0.61～4.14g/m3,0.43～4.40g/m3的条件下,生物滴滤器对苯、甲苯的最大生化去除负荷分别为333g/(m3.h)和593.4g/(m3.h),甲苯与苯相比更易被微生物降解,镜检表明苯、甲苯系统生物膜中的优势菌种都为短杆菌,密度分别达2.3×109CFU/ml和1.52×1011CFU/ml.     

An improvement to the simulation of phase-change heat-transfer during soil freezing and thawing

A new variable time step method, which is called the backwards calculating time step method, is presented in this paper. It allows numerical simulation of soil freezing and thawing while avoiding "phase change missing and overflowing". A sensitive heat capacity model is introduced through which the calculation errors are analyzed. Then the equation using the self-adjusted time step is presented and solved using finite differences. Through this equation, the time needed for a space cell to reach the phase change point temperature is calculated. Using this time allows the time step to be adjusted so that errors caused by "phase change missing and overflowing" are successfully eliminated. Above all, the obvious features of this method are an accelerated rate for adjusting the time step and simplifing the computations. An actual example proves that this method can accurately calculate the temperature fields during soil freezing and thawing. It is an improvement over traditional methods and can be widely used on com- plicated multi-dimensional phase change problems.     

一类广义集值强非线性混合拟变分不等式(英文)

引进一类广义集值强非线性混合拟变分不等式,并且用投影技巧证明了它解的存在性.推广了广义集值强非线性混合变分不等式的许多结论.     

反距离加权法流场矢量插值研究

为解决非结构网格下诸多水流模型计算所得流场(流速、水位和通量等)在后处理图中显示凌乱(不利于反映流场特征)的问题,运用反距离加权法对非结构网格的流场结果进行插值,得到任意目标结构网格下的流场值.该方法应用于实际工程中,插值结果与原计算结果吻合较好,满足工程精度要求.     

基于FT245BM的USB接口开发

为了实现一种简易高速的并且可以方便移植的USB接口的开发,设计了以FTDI公司的FT245BM为USB接口的芯片,该芯片实现了PC机和微控制器之间通过USB口的简易高速数据通信,使用性较好.