摘要：从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。

摘要：通过对天然气燃烧时NOx生成机理的阐述,以及降低NOx排放技术的分析,论述了新设计燃气锅炉及在用锅炉改造中控制NOx排放的措施。

摘要：研究了大庆低压聚乙烯装置副产物低分子聚乙烯蜡与马来酸酐（ＭＡＨ）的接枝改性。选择了该过程的引发剂、粘稳剂，并通过正文设计研究了引发剂、粘稳剂和马来酸酐用量以及反应温度、反应时间对改性聚乙烯蜡性质的影响，得出马来酸酐、引发剂及粘稳剂的用量是接枝共聚反应的主要影响因素。在反应温度为１５０～１６０℃，反应时间为１ｈ左右，制出酸值为５５ｍｇＫＯＨ／ｇ③的改性聚乙烯蜡，可以代替蒙旦蜡。

摘要：根据牙釉质(amelogenin,AMEL)同源基因在山羊X、Y染色体上存在不同程度碱基缺失的特点,设计1对引物,对山羊血液基因组DNA混合样进行PCR扩增,将PCR产物纯化、克隆并测序;然后对46个山羊血液DNA样本(♀:22个,♂:24个)进行性别鉴定。结果显示,雌性山羊样品经扩增只产生一条非特异性条带,雄性山羊样品产生一条非特异性条带和一条特异性条带;非特异性片段长度为349 bp,特异性片段为289 bp;46个山羊血液DNA样本鉴定结果与实际性别对比,雌性准确率为100%(22/22),雄性准确率为100%(24/24)。

摘要：针对水下机器人姿态数据采集过程中由测量系统误差导致的姿态数据噪声大、精度低等问题,设计一套以STM32F429系列单片机为主控制器,MPU9250九轴传感器为姿态检测模块的水下机器人姿态采集系统。首先对系统采集的加速度计和磁力计数据采用中位值平均滤波算法进行滤波;然后通过动量梯度下降算法实现多传感器数据融合和姿态信息获取。在姿态数据信息融合过程中,通过不同传感器解算的姿态数据确定目标函数,并通过不断迭代的过程实现对最优姿态数值的逼近。静态和动态实验数据表明,该算法相比互补滤波算法解算的横滚角、俯仰角、偏航角的标准差分别降低1.22%、47.47%、70.31%和31.51%、20.62%、37.01%。在水下机器人姿态控制中具有很好的应用前景。

摘要：由中国电影家协会精心筹备三年,中国电影家协会、电影频道节目中心、中国电影基金会共同举办的大型学术研讨会——《与共和国一起成长——首届中国电影导演研讨会》,于2003年7月19日～20日在北京隆重召开。广电总局副总局长赵实,中国文联副主席李牧,中宣部文艺局局长杨志今,广电总局电影局局长童刚、副局长吴克,中国电影家协会主席谢铁骊,副主席李国民、王晓棠、丁荫楠、谢飞、苏叔阳、李前宽、李雪健,电影艺术家、电影理论家和电影事业家130余人济济一堂,共同研讨“第四代”导演所创造的宝贵艺术经验,并为中国电影如何在新的历史条件下创造出人民欢迎,无愧历史的精品力作献计献策。 与会的电影理论家充分肯定了“第四代”导演的创作成就和历史意义。“第四代”导演在电影语言上的探索,对于不同电影风格样式的尝试,为中国电影留下了珍贵的理论资源和优秀的艺术作品。特别在七十年代末八十年代初,经历文革之后,作为“文革”重灾区的中国电影界,曾一度积重难返,青黄不接。在中国电影产业濒临危机的关头,正是他们的崛起使中国电影重新迎来了艺术的春天。“第四代”导演的作品关注现实,思考历史,具有强烈的责任感和人性关怀。本次研讨会是对他们为新中国电影文化留下的宝贵财富的一次全面总结,深具现实意义?