Analysis of culture fluorescence by a fiber-optic sensor inNicotiana tabacum plant cell culture

The on-line sensing of viable cell weight in plant cell culture process is applied to analysis and control of process. The fiber-optic fluorescence sensor was constructed to measure the NADH-dependent fluorescence inNicotiana tabacum plant cell culture and the analysis of fluorescence signal was done to be correlated with the viable cell weight. The structured kinetic model for cell growth was proposed to estimate the theoretical viable cell weight. The dimensional analysis was proposed for the interpretation of fluorescence signal, in which the path length, the inner filter effect and the hydrodynamic conditions were considered as the key factors on fluorescence signal. The dimensional analysis and empirical correlation of fluorescence signal to viable cell weight was applied to the interpretation of the detected fluorescence signal during cultivation. The proposed interpretation of fluorescence signal using dimensional analysis was well correlated with the viable cell weight estimated by the structured kinetic model as well as by empirical correlation.     

非平衡等离子体协同作用光催化剂催化降解苯

采用非平衡等离子体与光催化剂相结合,对苯的降解进行了实验研究。考察了以不同吸附能力的玻璃球和γ-Al2O3为载体对苯降解率、碳平衡、CO2选择性、NOx及O3生成量的影响;研究了以γ-Al2O3为载体时,水蒸气含量对苯的降解率、碳平衡、CO2选择性、NOx及O3生成量的影响。实验结果表明,以具有吸附性的γ-Al2O3为载体可提高苯的降解率;当能量密度为618J/L时,苯的降解率可达98%;同时可降低O3的生成量,但NOx生成量增加;以γ-Al2O3为载体时,随水蒸气含量的增加,苯的降解率降低,特别是在低能量密度时,水蒸气对苯降解率的影响更为显著,但水蒸气的加入可抑制O3的生成,同时可提高碳平衡值。     

Application of a Three-dimensional Wind Driven Circulation Model to Assess the Locations of New Drinking Water Intakes in Lake Ontario

A 3D transport model is used to perform a comparative analysis of several potential drinking water intakes located along the northwest shore of Lake Ontario between Toronto and Oshawa. The model is specifically used to assess each intake under both long- and short-term transport of a potential pollutant release from the Pickering Nuclear Generating Station and potential and actual pollutant releases from local land sources respectively. A model based on a 500 m grid resolution is calibrated using data collected in the aftermath of the 1992 tritium spill at the Pickering Nuclear Generation Station and subsequently used to simulate long-term transport. A model based on a 100 m grid resolution is verified using drogue studies and used to simulate short-term transport events. Both models are used to assess pollutant levels at each of nine potential intake locations under different wind scenarios and pollutant releases. Field data for the study included water quality and flow measurements from local sewers and rivers, and estimates of pollutant levels from the local waste water treatment plants. This paper describes the model setup for both the long-term and short-term transport models, calibration using field data, long-term transport modeling, short-term transport modeling, and the comprehensive analysis approach used to evaluate the nine potential intake locations proposed. Results indicated that four intakes in particular outperformed other intake locations by maintaining bottom pollutant levels within governmental standards and warning times that exceeded 20 hours.     

小型密闭压力容器测试系统重复性的研究

小型密闭压力容器测试（MCPVT）法是安全工程领域中近几年发展起来的、评价有机过氧化物及自反应物质受热分解反应激烈程度的新方法。pmax是MCPVT方法中用来表征自反应物质受热分解反应激烈程度的物理量之一。文中通过大量实验，研究了样品容器容积V、升温速率R及样品质量M对pmax重复性误差的影响，研究了一系列典型的有机过氧化物和自反应物质在标准实验条件下pmax重复性误差。结果表明，小型密闭压力容器测试系统重复性好，测试结果可靠，从而为MCPVT法最终成为国际上评价自反应物质受热分解反应激烈程度标准方法奠定了基础。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

氧浓度对近临界水中纤维素分解的影响

研究了不同初始氧浓度对纤维素在近临界水中分解的影响，实验结果表明，氧浓度显著地影响产物总碳收支平衡，液相不同组分的收率、气体的产量以及气相产物的组成，微量氧对产物总碳收支平衡影响不大，而对液相不同组分的收率有一定的影响。从实验结果可以看出，离子型反应机理在纤维素水解的第一步中起主导作用。而单糖的进一步分解是一个以自由基反应机理为主的过程。     

一种基于子空间分解的IIR信道盲辩识算法

本文证明了对IIR信道输出进行过采样 (采样率是输入码率的整数倍 )可以转化成单输入多输出的多信道模型 ,并且不同的信道有相同的AR系数 .基于这一特性本文提出一种基于子空间分解的信道参数盲辩识方法 ,即不同信道的MA系数可以由输出信号的噪声子空间唯一确定 ,而AR系数则可以通过求解YW方程得到     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Approximate feedback linearization of discrete-time non-linear systems using virtual input direct design

The design of feedback-linearization and poles-placement controllers for discrete-time non-linear plants, using Input/Output/State measurements only, is typically addressed via indirect design. In this paper we propose the use of a new technique, based on a Virtual Input Direct Design (VID²) approach. The main feature of such a technique is to reduce the control design problem into a standard non-linear mapping approximation problem, without calling for the preliminary construction of an appropriate model of the plant. As compared with the existing methods, the new one requires less computational effort, while taking full advantage of the non-linear approximation software tools already available. In this paper, the new method is described, a simple theoretical analysis is given, and some numerical examples are presented.     

Adaptive predictive control algorithm based on Laguerre Functional Model

Laguerre Functional Model has many advantages such as good approximation capability for the variances of system time‐delay, order and other structural parameters, low computational complexity, and the facility of online parameter identification, etc., so this model is suitable for complex industrial process control. A series of successful applications have been gained in linear and non‐linear predictive control fields by the control algorithm based on Laguerre Functional Model, however, former researchers have not systemically brought forward the theoretical analyses of the stability, robustness, and steady‐state performance of this algorithm, which are the keys to guarantee the feasibility of the control algorithm fundamentally. Aimed at this problem, we introduce the principles of the Incremental Mode Linear Laguerre Predictive Control (IMLLPC) algorithm, and then systemically propose the theoretical analyses and proofs of the stability and robustness of the algorithm, in addition, we also put forward the steady‐state performance analysis. At last, the control performances of this algorithm on two different physical industrial plants are presented in detail, and a number of experimental results validate the feasibility and superiority of IMLLPC algorithm. Copyright © 2005 John Wiley & Sons, Ltd.