基于HOL4的形式化方法

针对计算机系统设计的正确性问题,研究了一种在测试空间上完备的形式化方法,探讨了硬件系统在定理证明器HOL4中进行形式化验证的一般方法,其中包括如何采用高阶逻辑形式化描述系统的实现与规范,以及在HOL4中证明目标的一般过程.同时,以乘法器为实例,提出一种功能分解法对需要分析的电路进行形式化建模,并对模型的性质在HOL4中进行推理与验证,从而证明了乘法器电路设计的模型满足所提取的性质.     

航空发动机状态参数的关联维数分析

针对航空发动机性能、故障等状态监控的优化问题,以及视情维修的需要,提出了一种混沌时间序列的关联维数提取方法.采用互信息量法和饱和关联维数法,对飞参系统记录的发动机状态参数时间序列的时间延迟和嵌入维数进行了计算,并对时间序列重构相空间,应用G-P算法计算时间序列的关联维数.计算结果表明,发动机状态参数的关联维数为非整数,验证了发动机状态参数具有典型的混沌特性,且关联维数能够正确反映发动机状态参数的特征信息,为发动机状态监控和视情维修提供决策依据.     

特定生产现场纳米粉体泄漏扩散的数值模拟

运用计算流体动力学软件FLUENT对某厂生产厂房内纳米粉体泄漏扩散进行模拟,分析大气风速、射流方向对粉体泄漏的扩散浓度和危险性区域的影响。结果表明:大气主导风速对气体扩散浓度和危险性区域影响较大,射流方向和风速一致时,vx=-3 m/s比在vx=-1 m/s条件下危险性区域扩大4 m,分析得出vx=-2 m/s时,扩散区域在x=28～35 m,y=25～28 m,z=1～4 m内。采用三维激光多普勒测速技术,对生产现场100∶1缩微模型进行速度场测量,并将测量结果与数值模拟结果进行对比。结果表明:两者颗粒速度基本吻合,说明采用计算流体动力学技术对生产现场纳米粉体泄漏扩散行为的模拟是可行的。     

用C语言和AutoLISP实现西文AutoCAD汉字输入的方法

针对工程设计图纸中需要标注少量汉字的情况，开发了在西文状态下实现汉字输入的一种实用方法，并与其它汉字标注方法相结合应用于机械零件ＣＡＤ，效果良好。     

圆形金属蜂窝芯材冲击性能的有限元分析

利用ANSYS/LS-DYNA有限元软件,对12×8圆形金属蜂窝芯材的共面冲击过程进行模拟,得出了圆形金属蜂窝芯材不同冲击速度下的多种变形模式及其动态峰应力的值.从结果可以看出:在共面冲击下,其动态峰应力和冲击速度之间是二次线性关系.这与试验的结果是相一致的.     

山区公路工程施工风险评价研究

近年来,随着人们对山区公路项目引发的各类问题的关注,山区公路项目因各种不确定性因素所引起的风险正日益受到重视,如何辨识公路项目施工过程中的风险并加以有效分析,进一步降低山区公路施工风险源,是山区公路项目所亟待解决的重要问题。依据山区公路项目的特点,对山区公路项目的风险管理展开研究,在山区公路项目影响因素分析基础上,结合可拓理论和模糊数学理论,建立山区公路项目风险综合评价模型。并将评价模型应用于案例中,从分析结果来看,该方法具体可行性和适用性,可为有效控制公路工程施工风险管理提供借鉴。     

逆作法施工技术在高层建筑施工中的应用

随着我国科学技术的不断发展和进步,建筑行业的施工技术水平也得到了大幅度的提升,各种高层建筑层出不穷,在高层建筑的施工过程中,由于其位置一般都处于城市核心位置,为了减小施工对于城市交通和环境的影响,可以采用逆作法施工技术进行高层建筑的地下结构施工,由于逆作法施工良好的经济性和社会效益,此方法被广泛应用到高层建筑施工中,基于此,简要介绍了逆作法施工技术及其在高层建筑施工中的应用及应用优势。     

纳氏试剂比色法测氨氮时的影响因素与解决方法

“纳氏试剂比色法”是测定水中氨氮的国家标准方法（HJ535-2009）,此方法具有操作简便、灵敏等特点,但乌石化的各类污水成分较为复杂,含有钙、镁、铁等金属离子,还含有硫化物、醛、酮类等有机成分,且水体的色度和浊度等在使用此法进行分析测定时会产生诸多干扰,需要进行相应的预处理。通过长期的实践摸索,结合乌石化污水水体实际及日常工作中的经验积累,对纳氏试剂比色法测氨氮时的影响因素进行了归纳总结,同时提出一些解决方法。     

氨基吡啶的合成研究

研究了重要的有机中间体氨基吡啶的合成工艺.分别以2、3、4-氰基吡啶为起始原料,以水和丙酮为混合溶剂,在稀碱(NaOH)溶液中,以过氧化氢为催化剂,水解得到相应的甲酰胺基吡啶,然后用新制备的次溴酸钠进行霍夫曼降解反应,制得相应的2、3、4-氨基吡啶.以4-氨基吡啶的合成为例,对两步反应的反应条件进行了优化,得出适宜的条件为：氰基水解反应中,氢氧化钠溶液最佳质量分数为1.0 %;霍夫曼降解反应中,氢氧化钠溶液最佳质量分数为12.5 %,反应适宜温度为75 ℃.