排序方式: 共有7条查询结果,搜索用时 0 毫秒
1
1.
2.
运用数字图像技术分析再生细骨料的颗粒形貌参数,以此为基础对再生细骨料的堆积密度、吸水率、压碎值等颗粒特性开展研究,并对再生细骨料制备水泥砂浆的工作性能和力学性能进行了分析。实验结果表明,再生细骨料与同级配的标准砂和天然河砂相比,钝度、长宽比、坚固度和球度等指标均相对较低,压碎值和吸水率显著增加;使用再生细骨料制备水泥砂浆时,质量替代量达到30%时流动度明显下降,质量替代量达到40%时抗压强度和峰值应力显著下降。 相似文献
3.
4.
5.
6.
目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互... 相似文献
7.
为有效降低回坡底矿东一采区胶带延伸巷掘进工作面的粉尘浓度,通过建立压抽混合式通风数值模拟模型,对压抽风筒距离掘进工作面距离的最优组合方式进行研究,基于数值模拟结果结合掘进工作面具体情况对防尘技术方案进行具体设计,并通过布置测尘点验证防尘效果。结果表明:压入式风筒距离掘进工作面7 m,抽出式风筒距离工作面3 m时最利于降尘,防尘措施实施后,有效降低了工作面的粉尘浓度,保证了作业人员的身心健康。 相似文献
1