航空软件测试过程模型应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航空软件的特点,根据航空软件测试模型建立的原则,提出领域知识模型的软件测试新模型;对基于领域知识模型的航空软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率,进而提高航空软件的安全性和可靠性。     

石灰石粉掺合料在混凝土中的应用研究

为有效解决混凝土掺合料供应紧张的问题,拟采用石灰石粉作为掺合料。因此需对石灰石粉做为掺合料的混凝土各项性能进行试验研究,论证采用石灰石粉作为掺合料的方案是否可行。在工程实际应用过程中,采用石灰石粉掺合料浇筑的混凝土,各项性能均满足设计技术指标要求,混凝土经常规养护后未出现裂缝。     

矿渣石粉在戈兰滩水电站碾压混凝土中的应用

文章分析了矿渣微粉对水泥胶砂性能的影响和作为掺合料的矿渣石粉的品质,叙述矿渣石粉在戈兰滩水电站碾压混凝土施工中实际应用。     

降低广义归结原理空间复杂度方法的研究

本文针对广义归结原理实现时空间复杂度非常大的问题，通过实际分析广义归结方法实现时造成多余归结的实例，提出了几种优化方法，使系统的归结能力显著提高。     

人工砂中含泥量检测方法的探索

生产的人工砂中若有部分含泥，将对碾压砼的性能产生一定的影响。如何检测人工砂中的含泥量，只有GB／T14684—2001《建筑用砂》中有用亚甲蓝定性的试验方法。本文系统介绍了采用定性和定量的含泥量多种检测方法。     

一个Pascal集成环境的技术分析

本文分析了Ｔｕｒｂｏ Ｐａｓｃａｌ５．０实现技术的特点，并对其语言设计与实现技术作出了评价。     

在前炉安制消灭铁棉花的结构怎样才合理?

我们车间化铁炉开风后出来的铁棉花,飞得到处都是,在大炉附近的工人每天都满身铁棉,我们也没能想出办法解决。后来看到「铸工」1953年第7期有一篇消灭铁棉花的经验,马上开始动手学习。第一次档板宽度加上耐火材料以后为170公厘,开风后一点没有作用;第二次将风档宽度加大到230公厘,开风后铁棉花仍然到处飞     

水轮泵封闭压力装置研究及应用简介

一、概述 水轮泵发源于我国,它具有结构简单、运行可靠、直接利用水能,不消耗油和电能等优点,六十年代至七十年代中期曾在全国范围内推广,但有部分未能巩固和发展,其原因是常规的开敞式安装工程量大、投资多、     

核电厂淋水盘式除氧器保压逻辑分析与优化

文章介绍了核电厂淋水盘式除氧器的主要作用、除氧原理,详细分析了淋水盘式除氧器的结构及瞬态工况时,除氧器压力下降速率的要求。通过实例分析,提出了红沿河核电项目淋水盘式除氧器关于保压逻辑触发方式、触发定值、压降控制曲线、补水流量曲线和复位方式的优化方案。结果表明经过优化后的淋水盘式除氧器保压逻辑的安全性、可靠性更高。