区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

基于SolidWorks的锚杆钻机用钻具试验工装参数化设计

以锚杆钻机用钻具试验工装为研究对象。为实现锚杆钻机用钻具在回转转矩和推力试验过程中的安装连接,同时满足不同种类、不同规格钻具的安装需要,通过分析锚杆钻机用钻具的规格种类和结构特点,利用SolidWorks参数化设计功能进行了试验工装的参数化设计,提高了锚杆钻机用钻具试验工装的设计效率和工装三维参数化模型向二维工程图转换的便捷性和准确性,满足了系列化钻杆和钻头的安装固定需要及现代先进机械设计方法发展趋势的要求。     

炭黑N660/裂解炭黑并用在轮胎气密层胶中的应用研究

研究炭黑N660/裂解炭黑并用对溴化丁基橡胶(BIIR)气密层胶性能的影响。结果表明:裂解炭黑粒径大于炭黑N660;随着裂解炭黑用量的增大,胶料的门尼粘度提高,t10和t90总体延长,加工安全性能较好,硫化速度较慢;与纯炭黑N660胶料相比,添加裂解炭黑的胶料物理性能总体降低,炭黑N660/裂解炭黑并用比为40/20的胶料综合物理性能较好,成本降低;炭黑N660/裂解炭黑并用胶料的耐热氧老化性能和气密性较好。     

一体化悬浮焚烧处理高浓度含盐有机废液锅炉技术

为满足环保要求处理高浓度含盐有机废液,采用顶喷雾化废液侧烧辅助燃料的悬浮燃烧技术确保废液中有机物彻底焚毁;采用熔融出盐确保回收的无机盐中TOC含量近零,无机盐可以直接资源化利用;采用膜式壁炉墙内置膜式壁管屏的烟气冷却室以将高温烟气瞬间降至无机盐熔点以下100℃,达到冷却室出口烟气中无机盐完全转化为固态,为后级设备不被无机盐粘接、堵塞以及整个焚烧系统的安全、可靠、连续运行创造必要条件。本文阐述了高浓度含盐有机废液悬浮焚烧机理及该炉型的优点,为行业内提供参考借鉴。     

基于MAYA参数化建模的FLUENT设计与应用

由于μDMFC结构尺寸的减小致使CO2气体容易阻塞阳极沟道,影响沟道内的气液输运。含气率作为评估沟道气液输运特性的标准之一,但是目前的后处理过程难以直接获取蛇形沟道沿程截面含气率,因此针对FLUENT后处理进行二次开发。该二次开发程序通过GUI传递模型特征参数,基于MAYA的可视化交互环境进行参数化模型的实时显示,并以日志文件作为接口实现MAYA和FLUENT间的数据传递从而实现参数化建模,进而获取沟道沿程截面含气率数值。最后基于二次开发软件研究了一种新型流场板结构,并发现改变双层流场板沟道侧壁面润湿特性能有效改善沟道气液输运特性。此处理方法不仅为研究燃料电池沟道输运特性提供了有效的数据获取手段,也为研究气液两相流动现象提供了解决思路。     

对SINBAD屏蔽基准题实验的模拟验证

为了验证屏蔽基准题的准确性，进一步完善我国的标准基准题库，采用蒙特卡罗MCNP程序精细建模计算方法，针对SINBAD屏蔽基准题库，选取其中具有代表性的3例基准题对其准确性进行评估验证。结果表明，模拟计算得到的结果在误差允许的范围内，能够给其他自主软件提供数据验证支持，可将验证结果归入我国屏蔽基准题数据库。      

含聚环氧乙烷链段梳形结构聚(异戊二烯-g-苯乙烯)的合成与表征

以聚苯乙烯(PS)大分子单体和异戊二烯为共聚单体,四氢呋喃为调节剂,正丁基锂为引发剂,三异丁基铝为助引发剂,脂肪族缩水甘油醚为官能化改性剂,采用一锅法经活性负离子共聚合制得以聚异戊二烯为主链、PS为规整侧链,且末端含星形聚环氧乙烷链段的极性化梳形聚(异戊二烯-g-苯乙烯-s-环氧乙烷)(PI-g-PS-s-PEO),利用凝胶渗透色谱仪、傅里叶变换红外光谱仪、差示扫描量热仪等对所制备的PI-g-PS-s-PEO进行了表征,并考察了PI-g-PS-s-PEO中聚环氧乙烷链段(PEO)质量分数(w_(PEO))的影响因素。结果表明,产物具有分子结构可设计、分子量分布窄等优点。此外,PS大分子单体分子量对w_(PEO)无影响,减小缩水甘油醚分子量、增加其用量及延长封端反应时间均可提高w_(PEO),且w_(PEO)在0.1%～1.8%可调。     

BIM技术在预制化综合支吊架中的应用

综合支吊架是机电安装专业中的重大难点。利用BIM技术中的共享参数,打通了BIM图纸、模型和工厂预制化的壁垒,达到BIM模型完成后直接出具料单和图纸的目标,以满足加工安装的要求。安装过程便捷标准,安装效果良好可靠,避免了传统支吊架实施过程中造成的浪费。     

基于协同优化算法的流速仪检定系统设计

提出了一种小型轻便的流速仪检定系统的设计方案,并运用改进的多学科协同优化方法求解各学科设计变量的最优解。首先介绍了算法思想及改进措施,并根据系统设计要求建立了各学科的设计变量、目标函数和约束条件；其次,运用遗传算法求解各学科设计变量的最优解,并根据优化结果完善了系统的设计方案,同时运用计算机仿真等方法验证了优化结果的可行性。结果表明,优化后的检定系统满足流体力学效应、匀速运动时间、系统重量等设计要求,同时证明了协同优化算法解决多学科设计优化问题的有效性。