从稳态到动态的空气调节

分析传统空调所提供的稳态参数微气候环境不一定能达到人的舒适和健康的要求,提出符合人本身生理习惯的空调送风方式应该是动态空气调节.认为个人可调节和适宜的环境渐变能同时保证舒适和健康两方面需要.     

椭圆型偏微分方程的加法Schwarz方法

1.引 言 古典加法Schwarz方法(ASM)对于一般问题收敛很慢,在大多数情况下, ASM只能作为预条件子.另一方面,ASM的并行性能非常好,尤其适合大规模粗粒度并行计算,近年来随着并行机系统及并行计算的兴起,ASM重新受到重视.许多学者研究了怎样提高ASM的收敛速度[1,2,4].他们发现加法Schwarz方法之所以收敛慢是由于在内边界上采用     

RS码频域纠错编码在激光对潜通信信道中的实现方法

介绍了信道编码在激光对潜通信系统中的重要作用，介绍了频域编译ＲＳ码的基本方法，并给出了脉冲位置调制信道的ＲＳ码频域编译码的计算机模拟方法和结果。     

Semi-supervised model adaptation for statistical machine translation

Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in the target language (used to train a language model). In this article we explore the use of semi-supervised model adaptation methods for the effective use of monolingual data from the source language in order to improve translation quality. We propose several algorithms with this aim, and present the strengths and weaknesses of each one. We present detailed experimental evaluations on the French–English EuroParl data set and on data from the NIST Chinese–English large-data track. We show a significant improvement in translation quality on both tasks.     

Modelling diffusion-controlled kinetics in equilibrium and driven alloys

Summary We introduce a very simple model for thermally activated atomic migration on a lattice, and several techniques to handle it. For thermodynamical systems, the model can be used for simulating decomposition paths taking into account relevant metallurgical features. Close to equilibrium, the simplest mean-field approximation of the model can be linearized with respect to the departure from equilibrium; one then gets a microscopic interpretation of classical phenomenological coefficients, such as mobility, interfacial transfer coefficient, rate constants for the coupled relaxation of concentration and order fields. Further away from the equilibrium, the nonlinearities can be taken into account in a consistent way. For driven alloys, i.e. alloys submitted to external forcing, forced atomic migration is added to the model and new features emerge: the model is supported by several experimental results some of which confirmed its predictions a posteriori.     

Expert identification and selection: Legal liability concerns and directions

Legal liabilities pertaining to the identification and selection of domain experts is an issue that could adversely impact expert systems developers. Problems pertaining to flawed knowledge, improperly defined expertise, and behavioural and psychological impediments are just some of the issues. This paper examines the torts of strict products liability and negligence that system developers could incur as a result of expert-related difficulties. Parallels from legal scholars and federal and state court decisions are discussed relevant to expert system projects and developers. The paper concludes with a presentation of steps that systems developers can take to minimize potential legal liability.     

Optimized Schwarz methods without overlap for highly heterogeneous media

In this paper an original variant of the Schwarz domain decomposition method is introduced for heterogeneous media. This method uses new optimized interface conditions specially designed to take into account the heterogeneity between the sub-domains on each sides of the interfaces. Numerical experiments illustrate the dependency of the proposed method with respect to several parameters, and confirm the robustness and efficiency of this method based on such optimized interface conditions. Several mesh partitions taking into account multiple cross points are considered in these experiments.     

氧化锆增韧陶瓷的相变及相变增韧

本文阐述了氧化锆增韧陶瓷（ＺＴＣ）的相变增韧机理，并探讨了热处理工艺对ＺＴＣ的相变及显微组织的影响规律。     

Analysis of a conjugated infinite element method for acoustic scattering

This work is devoted to a study of a conjugated infinite element method for Helmholtz problems in exterior domains. A formulation of this method with Lagrange multipliers defined on (semi-)infinite space is presented and analyzed in a domain decomposition context. The implementation aspects of this method in a parallel industrial acoustic software (SYSNOISE) are described in details. Numerical results show the computational efficiency of this method on acoustic scattering problems.     

An efficient method for developing requirement specifications for plant control software using a component-based software prototype

This paper proposes an efficient method to develop requirement specifications for Plant Control Software (PCSW) using software-component-based prototypes. Prior to this proposal, domain analyses were conducted on existing PCSWs, and their functions were classified into “similar functions” and “individual functions”. Then PCSW Software Components (PSC: PCSW Software Component, PSCs: PCSW Software Components) were developed to correspond to these functions. PSCs as parameter-style components were developed in order to satisfy the clients’ (we define clients as owners, managers and operators of plants) requirements. A support environment for developing requirement specifications was developed. The environment consists of the Prototype Development Tool (PDT), the Behavior Check Simulator (BCS) and the Requirement Specification Development Tool (RSDT). The method consists of four steps. In the first step, PDT is used to define the parameters to customize PSCs and to compose a PCSW prototype by setting these parameters to PSCs. In the second step, BCS is used to execute the composed PCSW prototype and check its behavior and relevancy against the clients’ expectations. In the third step, steps 1 and 2 are repeated until the behavior of the PCSW prototype satisfies the clients’ requirements. Finally, a requirement specification is developed from the PCSW prototype which fully reflects the clients’ requirements. In order to evaluate the proposed method, it has been applied in five development cases. A Requirement Coverage of 91%, a Requirement Revision Rate of 6%, a PSC Reuse Rate of 92% and a LOC Reuse Rate of 83% have been achieved. In addition, a reduction of 55% in the amount of time required to develop requirement specifications has been achieved. These results indicate that the proposed method has sufficient capability to develop an exhaustive and an adequate PCSW requirement specification. And the developed PSCs have sufficient functions and capability to compose PCSW prototypes, and the support environment is capable of shortening the time taken to develop requirement specifications.