秦山核电厂预应力混凝土安全壳的结构研究和设计

回顾和总结了秦山核电厂的预应力混凝土安全壳设计全过程,简单地介绍了对预应力钢丝束的试验,描述了结构型式、设计基准和分析方法,并扼要地指出了混凝土防裂考虑和后张体系及钢衬里设计的概貌,介绍了对秦山核电厂安全壳结构极限承载性能所进行的模型试验及非线性分析研究。最后介绍了秦山核电厂安全壳的整体性试验,指出秦山核电厂的安全壳试验实测值与预期值相符,结构性能良好,气密性也完全符合要求。     

软件复杂性与测试用例集价值

测试用例集价值是测试用例集的重要问题,本文给出了以复杂性度量为基础的测试用例集合价值度量模型,并在此度量基础上定义了三个重要的度量:测试密度,测试用例价值贡献以及测试用例集合执行相似度,并通过实际的例子指出了如何进行度量.     

Java程序内存低效使用问题的分析

Java程序内存的低效使用是导致其性能问题的主要因素。该文分析了泄漏对象、蚍蜉对象和空闲对象3类导致内存低效使用的情况,探讨解决上述问题的方法,并提出构造对象行为模式。实验结果表明,该方案是有效的。     

面向软件安全性需求分析过程的追踪模型

追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。     

面向学生主体的高级软件工程互动式教学模式

针对软件工程课程实践性强、涉及知识面广和知识更新快等特点,阐述高级软件工程课程中,面向培养学生系统化建模能力和工程分析与设计能力的互动式教学模式,及其在课程项目实践中的应用,同时介绍互动式教学模式理念和相应设计以及教学辅助平台和工程实验环境,并通过3种评价方式展现该教学模式对提高学生工程能力的作用。     

硬件系统自动化测试的多视角建模及案例研究

针对硬件设备的自动测试设备(ATE)的开发通常是一个冗长、耗时的任务,开发者需要向来自不同领域的专业人员了解被测设备的外部端口、信号、测试流程和信号检查等多种类型的信息,逐步确定开发需求。在该过程中,ATE的开发人员面临的最大困难是缺乏一种规范的模型,以描述由不同合作方提供的测试信息,导致产出的测试文档篇幅长、不易理解,容易出现错误等问题。文中提出面向ATE领域的多视角建模方法来规范化地描述ATE中的测试信息并检查信息的一致性,最后以真实工业案例说明其有效性。     

石油应用软件的测试方法研究与实践

 石油应用软件由各专业系统组成。本文针对石油应用软件领域性、大型和交互式的特点，综合软件白盒测试和黑盒测试理论，从过程、管理、培训以及测试方法等方面考虑，提出一套适用于石油应用软件测试的方法，即以测试过程管理为中心，以测试大纲和软件问题为目标，综合使用三种测试策略，对领域特性进行针对性研究。应用这套方法对地震数据处理解释一体化大型软件系统进行综合测试，发现了许多影响软件质量的关键问题，并得到了及时的更改，验证了应用软件测试对保障该软件产品质量所起的重要作用。     

排水管道垫块式SBC混凝土接口施工

采用SBS改性沥青防水卷材可对污水混凝土管平接口进行防水密封,再加钢网和混凝土抹带后,闭水试验效果非常好,但该工序需明火作业,有一定局限性。为此改用SBC120聚乙烯丙纶复合防水卷材与SBC120水泥胶配合做管接口,既克服了SBS的不足,又进一步提高了工作效率。垫块式SBC混凝     

Java程序内存泄漏综述

从与C/C++内存泄漏对比的角度分析了Java内存泄漏问题,详细介绍了Java内存泄漏的相关研究和工具,探讨了当前研究和工具中存在的不足并分析了其原因,总结了内存泄漏相关领域研究的发展趋势。     

面向机载软件适航审查的软件计划阶段的证据模型

适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源。建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率。最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性。