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.     

浅谈基于ISO9000的质量管理信息系统设计

讲述了一个军工产品承制单位基于ＩＳＯ９０００体系，建立质量管理信息系统的概况。     

圆管状声波换能器瞬态过程的分析

结合石油测井的实际情况,首次从理论上对常规声波测井仪中采用的圆管状压电陶瓷声波换能器在阶跃电压、冲激电压和正弦间断电压等激励信号的作用下的瞬态过程进行了分析,推导出了在上述几种情况下圆管状压电陶瓷换能器的声源函数和谱函数,并叙述了推导结果在声皮测井中的应用。     

中国爆破安全网

中国爆破安全网是由中国工程爆破协会主办的涉爆行业信息专业网 ,开通于 2 0 0 3年 4月。该网是民爆器材生产流通主管部门、使用部门和公安机关实施联网监控和规范化管理的有力工具 ,最主要的功能是为涉爆行业管理部门和从业单位提供一个功能完善的管理和办公平台。该网的开通 ,有利于民爆器材生产、销售、购买、使用流向监控制度的贯彻实行。文章介绍了网络的组成、建设原则 ,并给出了中国爆破安全网网络拓扑图     

基于小波的全局多源遥感图像信息融合方法

提出的图像信息融合方法用于解决传统方法在空间分辨率等方面的不足。原始图像经过小波变换，分解成子图像，再进行分块处理，高、低分辨率图像根据全局方差准则分别计算融合的权值系数，进行图像融合重建，然后，对图像采用全局法进行信息融合，实验表明，方法切实可行，能使低分辨率图像接近于高分辨率图像。     

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.     

数据库加密技术

介绍了信息数据安全中数据库加密技术的功能和特点、数据库加密算法，以及数据库加密系统的实现方式和体系结构。     

编辑出版自动化技术在医药专业期刊编辑部的初步应用探讨

本文首先概述了编辑出版自动化技术的概念及最新进展,然后就其在医药专业期刊编辑部的初步应用进行了探讨,论述了计算机、网络、数据库技术在稿件的选题、组稿、编辑、审校、排版、印刷、出版中的具体应用,强调了构建基于网络的编辑出版自动化系统对期刊现代化建设的重要作用。     

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/.     

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.