On the solvability of the positive real lemma equations

In this paper, we consider the classical equations of the positive real lemma under the sole assumption that the state matrix A has unmixed spectrum: σ(A)∩σ(−A)=. Without any other system-theoretic assumption (observability, reachability, stability, etc.), we derive a necessary and sufficient condition for the solvability of the positive real lemma equations.     

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

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

疏浚吹填工程推行项目经理责任承包制管理模式的探讨

阐述了传统管理模式的生存条件及其弊端,对疏浚吹填工程推行项目经理责任承包制管理模式进行了探讨.     

Viscoelasticity of oxidized starch/low methoxy pectin mixtures in the presence of glucose syrup

The structural properties of mixtures of pectin, oxidized starch and glucose syrup were investigated using small deformation dynamic oscillation. In the absence of added calcium, preparations of low methoxy pectin with glucose syrup formed viscous solutions, which remained crystal-free at subzero temperatures. Samples of oxidized starch and glucose syrup, on the other hand, exhibited solid-like behaviour because of the crystalline nature of the amylose-like helices. Mixtures of the two polysaccharides with the co-solute clearly showed phase inversion from liquid to solid-like behaviour with increasing amounts of starch in the formulation. The transformation was reflected in the textural properties of samples, which varied from thick solutions to firm gels. The viscoelasticity of the system was modified further by the introduction of high methoxy pectin. Preparations of high methoxy pectin and glucose syrup formed rubbery gels whose amorphous nature underwent a glass transition during cooling.     

Observers for linearly unobservable nonlinear systems

We provide a method for constructing local observers for some nonlinear systems around a critical point where the linearization is not observable or not detectable. Two examples are provided to illustrate the results of the paper.     

地下燃气调压设施的建设与管理

介绍了地下燃气调压井的建设和管理经验，提出了在城市燃气输配系统中地下调压井的选择。     

发电机用DJL350磁极钢板的开发与应用

本文论述了高强度冷轧磁极板的试制性研究，应用性研究及在开生桥机组上的实施。通过与国外材料的对比，研究了材料的化学成分、力学性能、磁性能、金相组织及其与性能的关系。并对其实际应用效果进行了分析总结。     

建筑师难以出精品之原因分析

指出当今建筑业良好的市场给建筑师们提供了展示自己作品的广大空间 ,但其精品却为之甚少。为此 ,对建筑业存在的一些问题及制约建筑师出精品的主、客观因素进行了分析 ,指出建筑师应提高自身素质 ,树立精品意识 ,增强市场竞争能力     

Local wind patterns for modeling renewable energy systems by means of cluster analysis techniques

A method based on cluster analysis techniques is proposed in order to obtain representative local wind patterns. Modeling renewable energy systems, in an accurate way which strongly depends on wind loads, requires reliable data to analyze their response and evaluate their performance. Otherwise poor agreement with the models may be obtained. In a case study for La Paz, Baja California Sur, Mexico, four different wind patterns were obtained from a one-year data set recorded at 10-min intervals.