一种基于编码的OBDD模型检测的算法实现

文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD模型检测的全过程,该算法实现简洁易读,可以直接应用于相关程序的开发。     

K2_SPH方法及其在二维水波模拟中的应用(英文)

Smoothed Particle Hydrodynamics (SPH) is a Lagrangian meshless particle method. However, its low accuracy of kernel approximation when particles are distributed disorderly or located near the boundary is an obstacle standing in the way of its wide application. Adopting the Taylor series expansion method and solving the integral equation matrix, the second order kernel approximation method can be obtained, namely K2_SPH, which is discussed in this paper. This method is similar to the Finite Particle Method. With the improvement of kernel approximation, some numerical techniques should be adopted for different types of boundaries, such as a free surface boundary and solid boundary, which are two key numerical techniques of K2_SPH for water wave simulation. This paper gives some numerical results of two dimensional water wave simulations involving standing wave and sloshing tank problems by using K2_SPH. From the comparison of simulation results, the K2_SPH method is more reliable than standard SPH.     

山东省海上搜救中心:安全是最大的民生

3月24日,山东省委常委、山东省副省长王军民在山东省海上搜救工作会议上高度评价了山东省海上搜救中心的工作.他表示:两年来,山东省海上搜救中心各成员单位团结协作,密切配合,认真履职,实现山东沿海等级以上水上交通事故起数连续两年为十年来最低,为保护人民群众生命财产安全作出了突出贡献,这些成绩的取得的确来之不易!     

Ni-Mo-Co合金电极的制备和析氢性能研究

采用电沉积法制备出了高催化活性的Ni-Mo和Ni-Mo-Co合金电极,在30%(wt)的KOH溶液中的阴极极化曲线表明,Ni-Mo-Co合金电极具有更低的析氢过电位。分别采用SEM、EDX及XRD等表征手段比较分析了Ni-Mo和Ni-Mo-Co合金电极。结果表明:Co元素的添加增大了对Mo元素的诱导作用,提高了镀层中Mo元素的含量,且其镀层晶粒更加细小,呈现了一种纳米晶态的特征,这些都是三元Ni-Mo-Co合金电极电催化析氢性能更好的原因。     

基于国产变频器的轧钢交流主传动设计

通过对某棒材轧钢线轧机主传动采用直流母线方式的MD601变频器传动设计方案的介绍,对在轧钢生产线轧机主传动上应用国产变频器进行了探讨,研究了在这一钢铁重要领域中变频器国产化的可行性。     

电沉积Ni-S、Ni-Co-S合金析氢阴极的研究

在电沉积法制备Ni-S合金电极的基础上,向镀液中添加硫酸钴制备了Ni-Co-S合金电极。电化学测试结果表明,Ni-Co-S合金电极和Ni-S合金电极的催化性能都要好于其它电极,Ni-Co-S合金电极的性能随着硫酸钴浓度的升高先升高后降低。计算了电极的电极反应动力学参数(包括Tafel斜率b、交换电流密度i0和过电位),解释了Ni-Co-S合金电极和Ni-S合金电极在不同电流密度区活性不同的原因。恒电流电解表明,Ni-Co-S合金电极具有较高的稳定性。电极的微观形貌用SEM进行表征,成份用能谱进行分析,X射线衍射分析电极的晶型结构。     

连拱隧道先行洞室支护体系施工力学性态研究

结合连拱隧道工程实践,对隧道施工中先行洞室支护体系应力进行相关监测,分析不同开挖工序下应力变化规律。研究结果表明:先行洞室上台阶及仰拱开挖引起了支护应力较大变化及重分布,为支护稳定的控制点;隧道开挖对支护应力的纵向影响距离大致为隧道跨度的2倍,约为20～25 m;开挖效应消失后,左右拱圈45°处应力的时间效应较其它位置要明显;封闭支护结构是改善结构受力的有效途径,应及时施作仰拱和形成封闭环。该研究结论可为类似条件下连拱隧道设计施工和现场监测提供借鉴与参考。     

隧道衬砌施工缝蝶形可排水止水带研制

文章分析了隧道衬砌施工缝渗漏水产生的原因,在可排水中埋式、背贴式止水带技术的基础上开发了蝶形可排水止水带.该止水带属新型中埋式止水带,其断面呈蝶形.安装时将蝴蝶的头部朝向施工缝的迎水侧;从侧面(先浇衬砌段一侧)将止水带压向衬砌段的端头模板,使后浇衬砌段一侧的止水翼变形紧贴端头模板,并用带垫片的钢钉从肋部间隔适当距离逐点固定止水带;先浇衬砌段浇筑并养护一段时间后拆模,先前被压平的后浇衬砌段的止水翼在橡胶等材料弹性的作用下恢复变形;浇筑后浇段衬砌混凝土,即可完成一道施工缝的防水施工.蝶形可排水止水带的优点是:安装方便,容易保证止水带施工质量;属中埋式,可保证在隧道两侧和顶部其周围均能密实;具有可排水功能,在无压力或小压力条件下工作,减少了渗漏机会.     

现代船用推进电机技术研究

本文论述了现代船用推进电机技术的发展现状,具体分析了舰船推进发展所需考虑的几项主要性能指标,并对不同类型的推进电机的关键技术指标进行了对比论证。最后,介绍了国外针对几项关键技术指标的发展趋势和采取的一些改进措施。     

舰船中压电力系统接地分析

随着舰船电力系统容量的逐步增大,受到电缆敷设和断路器分断能力等方面的限制,低压系统已不能满足要求.系统电压由380V上升为6.6kV,随之带来了系统能否继续沿用以往的不接地运行方式的问题.本文就中压电力系统是否接地及可用的接地方式进行分析,并分析舰船中压电力系统的接地方案.