我心中所期望的水利科技

根据2009年江西省水利科技大会精神及江西省水利重大科技项目启动会暨全省水利科技工作座谈会主要内容,提出科研单位、科技人员、科技管理单位、科技管理人员今后工作的基本要求.     

10米法半电波暗室性能要求与建设

文章主要介绍了电波暗室的种类以及电波暗室性能的各项评价指标、性能要求、测试点和依据标准。结合山东省质检院10米法半电波暗室的建设经验,重点阐述了半电波暗室在设计和施工中需注意的问题。     

病理质量管理软件系统可行性与需求分析

提出了一种病理质量管理软件的设计方案并对系统可行性进行了分析。结合用户需求,对软件系统功能和性能要求做了详细的分析,为软件的编写奠定了基础。     

Network based requirement specification

Requirement specifications often resemble static design briefs. Whereas such unequivocal references are essential, the dynamics of product development require more insight, nuancing, flexibility and evolvement. This encompasses relative importance, context and provenance of the requirements related to the different stakeholders involved. In developing responsive requirement specifications, the so-called actor network is employed. Such a network maps the relevant stakeholders over the development life cycle, thus expressing the set of requirements as a whole, as well as the evolving coherence between them. This publication demonstrates the structure and purpose of network based requirements and the added value for product developers.     

外墙外保温在工程中的技术要点

本文从外墙保温体系的若干指标和对材料的相关要求进行了分析。     

Predetermined overall thermal transfer value coefficients for Composite, Hot-Dry and Warm-Humid climates

This paper attempts to formulate Overall Thermal Transfer Value (OTTV) coefficients for Composite, Hot-Dry and Warm-Humid climates, the three main tropical climates in India. Four existing air-conditioned office buildings - two mid-rise and two high-rise were modeled as case studies using eQuest v.3.6, which is a DoE2.2, based building energy simulation tool. Based on the study of building envelope, loads, operation and HVAC system characteristics of these case study buildings, a hypothetical high-rise, 16 storey office building, octagonal in plan was created for parametric studies. 98 types of opaque exterior wall constructions and 93 types of glass constructions were varied sequentially in parametric runs to obtain results for hourly wall conduction, glass conduction and glass radiation heat flow in eight orientations for each of the climate type. These hourly results were processed to obtain annual heat gain intensities for each parametric case for all three modes of heat transfer. Regression analysis was used to obtain the OTTV coefficients - TD_eq, DT and SF for the three climates. A new OTTV equation is obtained and presented. The set of coefficients obtained were verified by calculating the OTTV for the four case study buildings, for various parametric runs. The computed OTTV for the four case study buildings exhibits good linear correlation with the annual space cooling plus heating energy use in three climates.     

课程表自动编排系统的再开发

根据课程表自动编排系统运行过程中的需求变化,应用敏捷软件开发思想重构系统,对系统再分析。     

一种从问题域导出对象的方法

需求分析在ＭＩＳ开发过程中占有重要的地位。本文首先比较了当前三种需求分析方法，然后，提出了一种适合于ＭＩＳ的问题域导出对象的方法，并定义了其转换步骤。     

核级软件的验证与确认技术研究

核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V＆V工具,实现核级控制系统应用软件的一套自动化V＆V流程。     

一种适用于软件生命周期系统模型的需求获取方法研究

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。