基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

恰有三个主特征值的树

设λ是图G的一个特征值,如果存在属于λ的一个特征向量X=(x1,x2,…,xn)T,使得∑nk=1xk≠0,则称λ是图G的主特征值。通过讨论图的主特征值数与公平划分之间的联系,给出某些具有三个主特征值的树类及其主特征值的计算方法。     

低信噪比下二值掩蔽算法性能分析

基于计算听觉场景分析,对基于能量的二值掩蔽语音分离算法的性能进行分析,证明了理想二值掩蔽算法在信噪比下具有最佳的单元分离性能,并通过3种类型带噪语音的分离实验证实了该结论。采用理想二值掩蔽算法对8种噪声类型的低信噪比带噪语音进行了分离实验,信噪比平均提升幅度大于10dB,表明算法对低信噪比语音分离的有效性和普遍适用性;采用非均匀、均匀两种多子带分析滤波器组进行分离性能对比测试,结果表明子带均匀性对信噪比提升影响不大。分析滤波器组的子带数量应大于32以实现较好的分离性能。     

基于计算实验的流感大流行预防策略

流感是人类健康的重大威胁之一.为探索预防新型流感大流行的有效策略,建立了北京市计算流行病模型,评估了边境口岸检疫,病例治疗,病例隔离,社会关系抗病毒预防以及免疫接种措施对四种新型流感大流行的预防效能.结果表明:边境口岸检疫对于预防新型流感大流行的作用非常有限;积极的病例治疗可预防传播能力类似于2009年A(H1N1)的新型流感大流行;高强度的病例治疗和病例隔离可预防传播能力类似于1957年A(H2N2)的新型流感大流行;对于传播能力类似于1918年A(H1N1)的新型流感,在高强度病例治疗和病例隔离的基础上须对病例的社会关系进行抗病毒预防才有可能预防大流行;而对于具有超级传播能力的新型流感(R_03.3),必须依靠有效的广谱疫苗才能预防大流行.研究结果对于进一步完善我国应对流感大流行的应急准备与处置计划具有参考价值.     

新型金属氢化物反应床传热性能分析

运用计算流体动力学（CFD）方法,对弓形折流板壳管式金属氢化物反应床进行了数值模拟.预测了反应床壳侧的流体流动状态,分析了在不同折流板数量下,反应床中壳侧的流动状态、壳侧压降和换热管内合金的温度分布.分析计算结果发现,当壳侧折流板数较多时,热流介质的流动均匀性较好,其流动死区较少,换热性能较好,壳侧压降也较大,压降损失主要存在于折流板圆缺处;增加折流板高度会有效地减少壳侧压降,并对换热性能影响很少.针对弓形折流板壳管式反应床传热性能较差,引入螺旋式折流板对反应床进行优化.结果表明,该反应床流体流动状态为旋转式,其壳侧流体的均匀性、壳侧压降以及换热管的温度分布均匀性均明显优于弓形折流板.
关键词： 中图分类号： 文献标志码： A


Abstract：     

随机游动法在环状河网计算中的应用研究

环状河网求解不同于树状河网,在采用三级解法进行环状河网非恒定流计算时常面临求解大型矩阵的难题.针对这一问题,从水流质点游动角度出发,研究将随机游动方法应用于环状河网水位计算,实现随机游动方法与三级解法相结合.在三级解法得到节点水位方程组基础上,给出节点水位的随机显式求解新方法,然后采用追赶法完成整个河网水位流量计算.与常规三级解法相比,该方法求解原理简单,避免了大型矩阵的直接求解.将新方法建立模型运用于西江下游河网计算,结果表明,该方法较常规方法在简化运算的同时提高了计算效率,并且与常规三级解法具有同样的精度.模型计算结果也量化了各节点水位之间的相对联系情况.     

采用自定义阈值的计算奇异扰动在构建二甲醚简化机理上的应用

将自定义误差阈值的计算奇异扰动(CSP)应用于包含55种物质和290步反应的二甲醚的详细机理上,构建了包含26种物质和20步反应的简化机理.开发了一套基于该算法的计算机程序--I-CSP.程序的输入数据包括:① 详细的反应机理;② 在Chemkin中计算的结果;③ 准稳态物质的数量.然后,将简化机理在均匀的反应器(包括自燃反应器和完全搅拌器)中进行验证.结果发现,计算结果与详细机理相比符合得相当好; 但当在非均匀反应器(一维、稳态、自由扩展预混合火焰)中验证时,结果显示出一定偏差.     

用于线性波动方程的高精度显式差分算法性能分析

研究了一类低耗散、低色散的高阶精度显式有限差分方法,目的是直接计算非定常的线性波动问题.空间离散采用DRP类的七点四阶精度优化中心差分格式,给出了两种降低色散误差的优化方法;时间积分用四阶精度龙格库塔方法（RK4和LDDRK）.分析比较了3种空间离散格式的有效波数范围、各种全离散格式的耗散和色散误差特性、波的长距离传播计算时格式的累积误差特性,对这类格式的运用提出了建议.     

Inverse minimum spanning tree problem and reverse shortest-path problem with discrete values

In this paper, we consider two network improvement problems with given discrete values: the inverse minimum spanning tree problem and the reverse shortest-path problem, where the decrements of the weight of the edges are given discrete values. First, for the three models of the inverse minimum spanning tree problem (the sum-type, the bottleneck-type and the constrained bottleneck-type), we present their respective strongly polynomial algorithms. Then， we show that the reverse shortest-path problem is strongly NP-complete.     

出厂物流调度问题及其启发式算法

针对出厂物流调度问题,建立了一类出厂物流问题的调度理论模型,证明了该问题的强NP-hard特性.基于对问题的特征分析,提出求解问题的近似算法,证明了算法的最坏性能比为3且为紧界,并通过数值仿真验证了该算法的有效性.结果表明,所提出算法对两台流水作业机器的完工时间有一定的优化.