基于粒形分析的再生细骨料颗粒特性和制备砂浆性能研究

运用数字图像技术分析再生细骨料的颗粒形貌参数,以此为基础对再生细骨料的堆积密度、吸水率、压碎值等颗粒特性开展研究,并对再生细骨料制备水泥砂浆的工作性能和力学性能进行了分析。实验结果表明,再生细骨料与同级配的标准砂和天然河砂相比,钝度、长宽比、坚固度和球度等指标均相对较低,压碎值和吸水率显著增加;使用再生细骨料制备水泥砂浆时,质量替代量达到30%时流动度明显下降,质量替代量达到40%时抗压强度和峰值应力显著下降。     

代码生成器形式化验证技术研究

代码生成器已经广泛应用于嵌入式控制软件的开发.对于安全攸关的软件系统,对软件可靠性有很高的要求,代码生成器作为工具软件被要求与所生成代码有相同的可靠性,形式化验证方法可有效保证代码生成器的可靠性.本文介绍了用于构建形式化验证代码生成器的方法,针对Lustre到C的代码生成器给出Lustre和C的抽象语法,并定义Lust...     

同步数据流语言输入结构体的可信翻译

为最大程度地减少同步数据流语言编译过程中由编译器引入的错误,需要利用形式化方法自动生成代码,保证编译器产生的代码能够应用于核能仪控系统.本研究使用定理证明工具Coq,对同步数据流语言Lustre到Clight的主节点输入结构翻译阶段涉及的语法、语义及翻译算法进行了形式化定义,并完成翻译算法的形式化证明.研究表明这种经过形式化的编译器能够生成与源代码行为一致的可信目标代码,同时生成的目标代码能够很好满足核能仪控系统的执行规范.     

核能装备安全控制代码自动生成软件研发与应用的构想与成果展望

目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新：一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互...     

巷道掘进工作面压抽混合式通风下降尘技术研究与应用

为有效降低回坡底矿东一采区胶带延伸巷掘进工作面的粉尘浓度,通过建立压抽混合式通风数值模拟模型,对压抽风筒距离掘进工作面距离的最优组合方式进行研究,基于数值模拟结果结合掘进工作面具体情况对防尘技术方案进行具体设计,并通过布置测尘点验证防尘效果。结果表明:压入式风筒距离掘进工作面7 m,抽出式风筒距离工作面3 m时最利于降尘,防尘措施实施后,有效降低了工作面的粉尘浓度,保证了作业人员的身心健康。