Developing real-time knowledge-based systems with PERFECT

PERFECT (Programming EnviRonment For Expert systems Constrained in reasoning Time) is aimed at providing the necessary engineering support in real-time knowledge-based system development. PERFECT bridges the gap between the traditional analysis and design methodologies, and the implementation tools for these systems. It does so by providing the means to construct a knowledge model and to choose a suitable inference strategy. Subsequently the properties of the knowledge model and inference strategy may be analysed. For instance, it may be checked whether the knowledge model contains sufficient knowledge to diagnose a fault in an industrial process. Moreover, it may be checked whether the inference engine is able to provide an answer to a certain problem in time. If not, the analyser of PERFECT proposes an alternative structure of the knowledge model. When the constructed knowledge model and the chosen inference strategy show the required time efficiency, the compiler of PERFECT may translate them to an actual real-time knowledge based system in COGSYS. In addition, guidelines are provided with respect to the design of the human-machine interface. The resulting system is an instrument—a source of information that can be used by the human operator during problem-solving, rather than a prosthesis—a device that solves the entire problem by itself and presents the outcome to the human operator.     

Mathematical modelling of the alcoholic fermentation of glucose by Zymomonas mobilis mobilis

The kinetics of alcoholic fermentation of a strain of Zymomonas mobilis, isolated from sugarcane juice, has been studied with the objective of determining the constansts of a non-structured mathematical model that represents the fermentation process. Assays in batch and in continuous culture have been carried out with different initial concentrations of glucose. The final concentrations of glucose, ethanol and biomass were determined. The following kinetic parameters were obtained: μ_max, 0·5 h^?1; K_s, 4·64 g dm^?3; P_max, 106 g dm^?3; Y_x/s, 0·0265 g g^?1; m, 1·4 g g^?1 h^?1; α, 17·38 g g^?1; β, 0·69 g g^?1 h^?1.     

软件过程MP:原则、人员、角色及方法探讨

本文介绍MicrosoftProcess微软过程(MP)主要内容,包括微软解决问题方案框架MSF,递进开发模型,微软过程原则,微软人员、角色及方法等。并简要评述了其在软件项目开发中的优越及不足之处。     

深圳福田河污染治理资源优化配置

根据不同河段的水域功能将污染严重的福田河自上而下划分为三个水污染控制单元，针对每个单元的不同环境目标和污染负荷预测得到相应的污染净化率，依此建立资源优化配置模型，由该模型获得优化决策，以期合理利用环境容量，确定最小净化费用，兴修必要的治理设施，从而保证在经济高速发展的同时，有效地控制福田河的污染问题。     

Biophysical Model of Larval Yellow Perch Advection and Settlement in Lake Michigan

Potential for large-scale physical transport processes to affect recruitment of Lake Michigan yellow perch (Perca flavescens) was studied by examining the variation in larval distribution, growth rate, and settlement during June–August 1998–2003 using a 3D particle transport model linked with an individual-based bioenergetics growth model. In all years, virtual larvae were released nearshore in southwestern Lake Michigan, a known and important spawning region for yellow perch. For any given year, the same circulation pattern and water temperature either promoted or reduced yellow perch settlement depending on the consumption rates and settlement size chosen in the growth model. Increased consumption increased the number of settled larvae and expanded the total area where larvae settled, whereas increased settlement size reduced the number of settled larvae and reduced the overall settlement area. Interannual variability in circulation patterns and water temperature also resulted in contrasting larval settlement rates, settlement locations, and size of settlement areas between years. Model predictions were most consistent with field observations of age-0 yellow perch from Illinois and Michigan waters when settlement was assumed to occur at 50 mm. Moreover, our model suggests that larvae originating from southwestern Lake Michigan can recruit anywhere within the southern basin and even in the northern basin. Future model improvement will require information on the relative contribution of various sectors to the larval pool, their distribution with reference to the hydrodynamic landscape, the feeding and growth of yellow perch during their pelagic phase, and the size at transition to demersal stage.     

Proposed modification to the CIECAM02 colour appearance model to include the simultaneous contrast effects

A modified CIECAM02 colour appearance model, named CIECAM02‐m2, is proposed to enable CIECAM02 to predict the simultaneous contrast effect. The structure of the CIECAM02‐m2 is a development from CIECAM02, and contains two different procedures for modifying the reference white; one is for lightness and the other is for hue. The model was tested using a data set accumulated in this study and the LUTCHI data. The CV values for three colour attributes between predictions and experimental data were used to evaluate the accuracy of the model. The low CV values obtained show the performance of the CIECAM02‐m2 model to predict the simultaneous contrast effect satisfactorily. © 2007 Wiley Periodicals, Inc. Col Res Appl, 32, 121 – 129, 2007     

Modeling Microwave Vacuum Drying Kinetics and Moisture Diffusivity of Carrot Slices

Carrot slices of 3.5 mm thickness were dried in a laboratory microwave vacuum dryer at five different microwave power density levels of 2, 4.66, 7.33, 10, and 12.66 W/g and at three vacuum chamber pressure levels of 6.66, 19.98, and 33.3 kPa to 4-6% d.b. moisture content. Inside the dryer the sample holding plate was rotated with the speed of 4 rpm for uniform microwaves application. The drying rates were increased with the increase in microwave power density at all pressure levels and the Page model was found to be the most suitable model to predict the drying behavior of carrot slices at all process conditions. The Page model drying rate constant (k, min^-1) showed high correlation with microwave power density at constant pressure by a power law equation and showed a logarithmic relationship with the microwave power density and pressure. Similar to the drying rate constant, the average moisture diffusivity at constant pressure was found to be function of microwave power density by power law equation as well as was also dependent on the power density and pressure by a logarithmic relationship.     

A sensitivity analysis of the linear complementarity programming model: Appalachian steam coal and the natural gas market

There have been extensive attempts in recent years to perform spatial equilibrium analysis of commodity markets, particularly that of energy. Most of these attempts have been based on linear programming transportation models, and more recently quadratic programming models. Unfortunately, neither of these modelling approaches can deal with the case of multi-commodity analysis with non-symmetric regression coefficients. In this paper, we overcome this problem by employing the linear complementarity programming model. In addition, we show how the model can be applied to coal and gas energy flows within a single region. Future potential applications of the model are also implied.     

Heat loss and thermoelectric generator design

With the object of evaluating its importance to thermoelectric generator design, heat loss is introduced into the standard thermoelectric generator design theory. The theory for both the constant hot and cold junction temperatures model and the constant heat input model are so modified. The modification is first order and, therefore, is limited to small leg heat-transfer coefficients. Numerical results using representative properties show that significant differences can exist between the optimum geometry and performance of a generator idealized as lossless and those of a generator designed by the modified theory. The largest differences occur with the constant heat input model.     

Parallelism in ILU-preconditioned GMRES

A parallel implementation of the preconditioned GMRES method is described. The method is used to solve the discretized incompressible Navier–Stokes equations. A parallel implementation of the inner product is given, which appears to be scalable on a massively parallel computer. The most difficult part to parallelize is the ILU-preconditioner. We parallelize the preconditioner using ideas proposed by Bastian and Horton (P. Bastian, G. Horton, SIAM. J. Stat. Comput. 12 (1991) 1457–1470). Contrary to some other parallel methods, the required number of iterations is independent of the number of processors used. A model is presented to predict the efficiency of the method. Experiments are done on the Cray T3D, computing the solution of a two-dimensional incompressible flow. Predictions of computing time show good correspondence with measurements.