基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

电感耦合等离子体发射光谱法测定锆材中的铪、铁、铬

建立了电感耦合等离子体发射光谱法(ICP-AES)同时测定锆材中铪、铁、铬元素含量的方法。样品用硝酸-氢氟酸溶解,探讨了基体锆对元素铪、铁、铬以及铪、铁、铬相互之间的干扰情况,确定了铪、铁、铬元素最佳分析谱线分别为264.141nm,238.204nm,267.716nm。线性相关系数r≥0.9999,加标回收率均为95%~105%,铪、铁、铬的相对标准偏差小于3%(n=11)。该方法简便、快速、准确,满足锆材日常生产的检测要求。     

弹性支承梁在均布冲击荷载下的振动解耦

应用传统振动理论求解弹性支承梁的动力响应常需要借助数值方法来实现,而数值计算中的截断误差会造成数据失真和伪阻尼现象.为此,在传统弹性梁振动理论基础上,通过变换振动系统的位移表达,推导出了弹性支承梁在均布矩形脉冲和三角形脉冲两类冲击荷载下的耦合振动解析解.通过与有限元方法计算结果的比较,证明了解析解的正确性.该解析解与传统结构动力学的表达一致,可以直观反映出梁体与支座弹簧的耦合振动特征,且不会出现伪阻尼造成数据失真.算例分析表明:梁端设置弹簧以提高梁的抗冲击性能时,应综合考虑梁体材料特性及支座弹簧的刚度,设置较大刚度的支座弹簧不能有效提高梁的抗冲击性能,而对于应变率敏感的梁体材料,在梁端设置刚度较小的支座弹簧可以提高梁的抗冲击性能.     

基于表面反应和扩散迁移控制的灰岩单裂隙渗流—溶解模型及其数值模拟

针对碳酸盐类可溶岩地区水电站坝址流场、化学场以及固相介质属性等随时间发生改变,从而对工程安全运行造成不利影响等问题,研究了灰岩地区地下水运移过程中各物理场间的相互作用,分析了影响灰岩溶解速率的两个因素,即表面反应控制和扩散迁移控制。在此基础上,建立了单裂隙中的渗流—溶解耦合模型,并进行数值求解。模拟结果表明,在垂直裂隙延伸方向,其溶蚀锋面为非齐整平面,而是呈似“虫洞”状非均一变化,而沿裂隙延伸方向即自上游侧向下游方向溶蚀程度逐渐减轻;而通过裂隙的流量呈现随时间逐渐增大的趋势,但变幅不大;根据流量求得的等效水力隙宽,其增幅和增长速率均小于实际平均隙宽;同时,化学场中Ca2+浓度的分布与裂隙开度变化具有相似性,不同时刻下上游侧反应速率R均大于下游侧。就反应机制而言,在初期均受表面反应控制,而随反应进行,位于上游补给区部位转为受扩散迁移控制,但在下游位置仍受表面反应控制。     

半潜式钻井平台内波工况定位能力

采用MOSES软件建立动力定位半潜式钻井平台分析模型,在时域内模拟平台在钻井作业过程中遭遇内波作用的耦合动力特性,分析平台在不同流速内波作用下的定位能力,并对动力定位系统的关键因素进行敏感性分析。研究结果显示：在同等环境载荷强度下,平台在船宽方向出现最大偏移;当内波流速小于1.0 m/s时,平台可基本满足钻井作业的定位要求,而当内波流速达2.0 m/s时,平台出现大幅值的水平偏移和倾角,需要解脱隔水管系统;提升推进器推力和增加推力敏感因子都有助于提升平台的抗内波能力,但都无法明显减小平台的水平偏移。因此,在遭遇高流速内波作用时,推荐平台撤离或调整船体首向。     

Microstructure of peritectic Tb-Dy-Fe alloys after electromagnetic levitation melting

1　INTRODUCTIONTb Dy Fealloy ,asarareearth (RE)magneticfunctionalmaterial,isofsignificanttechnologicalin terests ,becauseofitsgiantmagnetostrictionatroomtemperatureaswellashighenergydensityandfastresponsevelocityatlowfrequency[1] .Wideapplica tionfieldshavebeenidentifiedsincethematerialhadbeenexploited[2 ] .Thecompetitiongrowthbetweentheperitecticphase— (Tb Dy)Fe2 (REFe2 )andtheprimiaryphase— (TbDy)Fe3(REFe3)existsinthesolidificationprocessingoftheperitecticTb Dy Feal loys ,which…     

CO2焊短路信号和缩颈信号的获取

采用光耦6N136对电弧电压进行隔离，得到了失真很小的孤压信号，设计了短路检测电路和缩颈检测电路．并在缩颈检测电路中加入削波电路，成功地消除了燃弧电压时缩颈检测电路的影响。通过实际焊接试验，验证了所设计的短路检测电路和缩颈检测电路是成功的。     

双钨极氩弧焊耦合电弧压力分析

双钨极氩弧焊(twin-electrode TIG, T-TIG)的耦合电弧是由设置在同一个焊枪中的两个相互绝缘的钨极各自产生的电弧耦合而成的.这个耦合电弧在物理特性上不同于传统单钨极TIG电弧.以试验为基础,分析了耦合电弧的电弧压力特性,并对比单钨极电弧就焊接电流、电弧弧长、钨极间距和钨极形状对耦合电弧压力分布的影响进行了研究.     

电塑性摩擦焊接过程的动态再结晶数值模拟

摩擦焊过程中界面的塑性变形是摩擦焊的核心，中以宇航工程常用的构件材料LY12合金为研究对象，建立了电场条件下棒状试件摩擦焊的热力耦合塑性成形有限元分析模型，获得了焊接过程中焊接界面处材料的温度场、应变场、应力场、电场强度等物理参量场，并应用Yada模型建立了LY12合金摩擦焊接过程显微组织的演化模型，计算了摩擦焊接过程动态再结晶区的分布及再结晶区晶粒的尺寸，并分析研究了上述场变量对电场条件下连续驱动摩擦焊成形工艺及成形件质量的影响。     

COUPLED SIMULATION OF 3D ELECTRO-MAGNETO-FLOW FIELD IN HALL-HEROULT CELLS USING FINITE ELEMENT METHOD

Two full 3D steady mathematical models are developed by finite element method （FEM） to calcalate coupled physics fields. the electro-magnetic model is built and solved first and so is the fluid motion model with the acquired electromagnetic force as source body forces in Navier-Stokes equations. Effects caused by the ferromagnetic shell, busbar system around, and open boundary problem as well as inside induced current were considered in terms of the magnetic field. Furthermore, a new modeling method is found to set up solid models and then mesh them entirely with so-called structuralized grids, namely hex-mesh. Examples of 75kA prebaked cell with two kinds of busbar arrangements are presented. Results agree with those disclosed in the literature and confirm that the coupled simulation is valid. It is also concluded that the usage of these models facilitates the consistent analysis of the electric field to magnetic field and then flow motion to the greater extent, local distributions of current density and magnetic flux density are very much dependent on the cell structure, the steel shell is a shield to reduce the magnetic field and flow pattern is two dimensional in the main body of the metal pad.