A CE/SE Scheme for Flows in Porous Media and Its Applications

In this paper, a new computational scheme for solving flows in porous media was proposed. The scheme was based on an improved CE/SE method (the space-time Conservation Element and Solution Element method). We described porous flows by adopting DFB (Brinkman-Forchheimer extended Darcy) equation. The comparison between our computational results and Ghia's confirmed the high accuracy, resolution, and efficiency of our CE/SE scheme. The proposed first-order CE/SE scheme is a new reliable way for numerical simulations of flows in porous media. After investigation of effects of Darcy number on porous flow, it shows that Darcy number has dominant influence on porous flow for the Reynolds number and porosity considered.

THE FORMATION MECHANISM OF THE VITRIFIED SLAG IN A PLASMA ARC REACTOR FOR HAZARDOUS WASTE TREATMENT

Various hazardous wastes with additives have been vitrified to investigate the formation mechanism of the glassy slag by a 30 kW DC plasma-arc reactor developed by the Institute of Mechanics, Chinese Academy of Sciences. The average temperature in the reaction area is controlled at 1500°C. The chemical compositions of three sorts of fly ashes are analyzed by XRF (X-Ray Fluorescence). Fly ashes with vitrifying additives can be vitrified to form glassy slag, which show that the ratio of the whole oxygen ions to the whole network former ions in glass (R) is appropriate in the range of 2~3 to form durable vitrified slag. In this experiment, the arc power is controlled below 5 kW to inhibit waste evaporation. To enhance the effects of heat transfer to wastes, ferrous powder has been added into the graphite crucible, which aggregates as ingot below the molten silicate after vitrification. The slag fails to form glass if the quenching rate is less than 1 K/min. Therefore, the slag will break into small chips due to the sharp quenching rate, which is more than 100 K/sec.

Land-cover changes in an urban lake watershed in a mega-city, Central China

Urbanization can exert a profound influence on land covers and landscape characteristics. In this study, we characterize the impact of urbanization on land cover and lacustrine landscape and their consequences in a large urban lake watershed, Donghu Lake watershed (the largest urban lake in China), Central China, by using Landsat TM satellite images of three periods of 1987, 1993 and 1999 and ground-based information. We grouped the land covers into six categories: water body, vegetable land, forested land, shrub-grass land, open area and urban land, and calculated patch-related landscape indices to analyze the effects of urbanization on landscape features. We overlaid the land cover maps of the three periods to track the land cover change processes. The results indicated that urban land continuously expanded from 9.1% of the total watershed area in 1987, to 19.4% in 1993, and to 29.6% in 1999. The vegetable land increased from 7.0% in 1987, 11.9% in 1993, to 13.9% in 1999 to sustain the demands of vegetable for increased urban population. Concurrently, continuous reduction of other land cover types occurred between 1987 and 1999: water body decreased from 30.4% to 23.8%, and forested land from 33.6% to 24.3%. We found that the expansion of urban land has at least in part caused a decrease in relatively wild habitats, such as urban forest and lake water area. These alterations had resulted in significant negative environmental consequences, including decline of lakes, deterioration of water and air quality, and loss of biodiversity.

基于过程控制的软件质量管理

质量形成于过程.以预防为主的过程管理思想在软件产业引入了软件的工程过程、管理过程和支持过程三类基本过程,以过程为中心的软件开发、生产与质量管理是现代软件产业的时代特征.本文阐述了软件质量管理的基本原理,提出了一个基于CMM过程管理控制的软件质量管理模型及平台,帮助软件组织达到较高的成熟度水平.

软件质量管理中的统计过程控制

统计过程控制（SPC, Statistical Process Control）是一种借助数理统计工具的过程控制方法，它利用统计工具及技术（如控制图）对过程或过程输出进行分析，找出过程中的不确定因素并及时消除，控制、管理、改进过程产品的质量或过程能力，从而达到保证产品质量的目的。它能帮助用户采取适当措施来保证过程处于统计意义的受控状态，并且帮助用户提高生产能力，以满足或超越顾客的期望。SPC最早是在工业界提出的，在工业界的成功也促使它被应用于其它许多商业领域。本文主要探讨统计过程控制在软件质量管理中的实施。

现代质量管理理论在软件组织的应用

International Software Process Association (ISPA); Chinese Academy of Sciences, Institute of Software (ISCAS); ISCAS Laboratory for Internet Software Technologies (iTechs)

基于ISO9000和CMM的软件质量管理系统的研究

中国计算机学会

具有严格操作语义的图形化软件过程建模研究

``软件危机''，这一始于上世纪~60~年代的概念，始终伴随着软件业的整个历史发展进程。 为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不是具体管理方法的全面质量管理（Total Quality Management，TQM），在软件工程领域得到了广泛应用。全面质量管理对于软件工程的影响，一个很重要的方面是促进了软件过程和软件过程改 进的研究、实践。 作为软件过程研究的重要内容，软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解，并通过直接或者间接的方式指导实际软件开发活动。为了对软件过程管理活动提供方法和工具支持，人们提出了多种以过程为中心的软件过程工程环境（Process-centered Software Engineering Environment, PSEE），其最终目的是使得实际软件开发活动受软件过程模型的支配。但由于过程模型本身的正确性得不到保证、PSEE中执行的软件过程模型和实际开发过程之间的信息反馈缺乏客观性以及过程模型和实际开发过程之间的抽象层次不同和描述粒度不一致，导致PSEE中执行的软件过程模型和实际开发过程之间经常产生严重的偏差，以至于PSEE对实际开发活动逐渐地失去了支持和指导作用，进而使得投入大量成本所开发的软件过程模型无法发挥其应有的作用。 针对这些问题，本文提出了一种具有严格操作语义的图形化软件过程建模方法。由于在具有图形化表示方式的同时，又具备严格的操作语义，因此基于该方法所描述的软件过程比较易于分析。特别是，通过模型检测技术验证软件过程模型本身的正确性，可以减少由模型错误所导致的不一致；通过比较预定义的过程模型和实际开发过程，可以发现两者间的不一致并及时地消除。同时，具有严格操作语义的软件过程建模方法，可以为软件过程执行提供良好的支持。 首先，本文提出了一种具有严格操作语义的图形化建模语言——TRISO/ML。该语言具有图形化的表示方式，可以更容易地为软件工程人员所接受，以及更好地满足过程表示对易用性和可理解性的需求。该语言同时具有严格的操作语义，可以映射到多元PI演算，从而能够更准确地描述软件过程，避免歧义的产生。更为重要的是，该语言从行为角度出发，能够以一致的方式描述软件过程中的各种实体及其相互间的并发、同步和通信。 其次，在TRISO/ML语言的基础之上，提出了一系列的软件过程分析方法。主要研究如何利用多元PI演算的理论、方法和工具以及软件验证技术，对软件过程进行分析和验证。软件过程分析的研究主要集中在如下两个方面：a）软件过 程模型本身正确性的验证，以确保该模型准确地描述了所希望表达的内容。b）比较两个过程模型是否等价。 然后，基于软件过程移动性概念，研究了如何通过软件过程结构的变化支持过程的动态执行。软件过程移动性概念反映了软件过程执行时，由于软件过程实体的动态交互，导致构成软件过程的实体及其相互间的关系不断地发生变化。 软件过程移动性这一概念的提出，使得软件过程实体之间的关系可以在软件过程执行时动态地确立和调整，软件过程的定义随着过程信息的不断丰富而逐步地细化和明确，从而能够以更灵活的方式支持软件过程的表示和执行。 最后，描述了支持TRISO/ML的原型工具，包括基于TRISO/ML的过程表示、多元PI演算语义描述的自动生成，以及进一步的分析和验证。

沈阳市苔藓植物及其对大气质量的指示作用

沈阳是东北地区重要的老工业基地，也是该地区的交通枢纽。本文在对沈阳市进行广泛调查并采集苔藓植物标本的基础上，系统地研究了沈阳市苔藓植物的种类构成、区系、分布格局及其与环境因子的关系，同时利用苔藓植物对沈阳市的大气质量进行了指示。得出的主要结论有： （1）对882份苔藓植物标本进行鉴定，共记录苔藓植物30科67属143种及变种，其中包括苔类（含角苔）9科11属14种，藓类21科56属128种1变种。在记录中发现辽宁省新记录属1个，新纪录种36种，东北新纪录种18种，主要以丛藓科（Pottiaceae）和真藓科（Bryaceae）等地面生藓类为主。 （2）将研究区苔藓植物划分为10个区系成分，其中以北温带分布占据绝对优势，其次为东亚分布和中国特有分布，具强烈的温带性质。通过相似性系数的计算，表明沈阳市苔藓植物区系与鞍山市和抚顺市的亲缘性较大；与上海市和杭州市亲缘性较远。 （3）应用TWINSPAN和DCA，以样点为对象，苔藓植物的重要值为指标，对研究区苔藓植物分布格局进行了分析。结果将样点划分为三个组，从组一到组三，物种丰富度和苔藓盖度逐渐增加。分类与排序的结果与样点的实际物种分布特点基本一致。 （4）采用CCA对沈阳市35种主要地面苔藓植物与环境因子间的关系进行了分析。根据环境因子的影响，将沈阳市主要地面苔藓植物分为两类。同时发现土壤含水量、乔木层郁闭度和人为干扰是影响沈阳市苔藓植物分布的主要因素。 （5）采用大气净度指数法（IAP）和重金属元素（Mn, Fe, Cu, Cr和Pb）化学分析法对沈阳市的大气质量进行了监测。结果表明市区污染远重于郊区，市区西部污染重于东部，南部重于北部；各区以Pb污染最为严重，值得重视。同空气污染指数（API）进行比较，发现IAP与Cu、Pb和API之间具显著负相关性，说明随着重金属含量和API值的升高，IAP值降低，即苔藓植物的种类和盖度下降。以IAP值为自变量，API值为因变量，建立了回归方程y=-0.914x+101.849，进一步说明了IAP值与API值之间的关系。