Feedback predictive control for constrained fuzzy systems with Markovian jumps

In this paper, a feedback model predictive control method is presented to tackle control problems with constrained multivariables for uncertain discrete‐time nonlinear Markovian jump systems. An uncertain Markovian jump fuzzy system (MJFS) is obtained by employing the Takagi‐Sugeno (T‐S) fuzzy model to represent a discrete‐time nonlinear system with norm bounded uncertainties and Markovain jump parameters. To achieve more generality, the transition probabilities of the Markov chain are assumed to be partly unknown and partly accessible. The predictive formulation adopts an on‐line optimization paradigm that utilizes the closed‐loop state feedback controller and is solved using the standard semi‐definite programming (SDP). To reduce the on‐line computational burden, a mode independent control move is calculated at every sampling time based on a stochastic fuzzy Lyapunov function (FLF) and a parallel distributed compensation (PDC) scheme. The robust mean square stability, performance minimization and constraint satisfaction properties are guaranteed under the control move for all admissible uncertainties. A numerical example is given to show the efficiency of the developed approach. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Study of viscosity of mono-, di-, and trialkylamines

Viscosities of several mono-, di-, and trialkylamines have been measured in the temperature range 298 to 333 K. It is observed that viscosities are highly dependent on shape, size, and association through H-bond or through dipole. Following the transition state theory, energy, Gibbs free energy, and entropy of activation of viscous flow have been calculated. The values of expansion energy for these liquids have also been calculated using free volume theory, and subsequently amines have been classified as volume-restrained or energy-restrained liquids. The group contribution method of Van Velzen, Cardozo, and Langenkamp for estimating viscosity has been examined with the present and literature data, and the new group contribution increments N _i and B _i for amines have been evaluated.     

An experimental study of the thermodynamic properties of 1,1-difluoroethane

Experimental vapor pressures andP--T data of an important alternative refrigerant, 1, 1-difluoroethane (HFC-152a), have been measured by means of a constant-volume method coupled with expansion procedures. SixtyP--T data were measured along eight isochores in a range of temperaturesT from 330 to 440 K, at pressuresP from 1.6 to 9.3 MPa, and at densities from 51 to 811 kg·m^–3. Forty-six vapor pressures were also measured at temperatures from 320 K to the critical temperature. The uncertainties of the temperature and pressure measurements are within ±7mK and ±2kPa, respectively, while the uncertainty of the density values is within ±0.1%. The purity of the sample used is 99.9 wt%. On the basis of the measurements along each isochore, five saturation points were determined and the critical pressure was determined by correlating the vapor-pressure measurements. The second and third virial coefficients for temperatures from 360 to 440 K have also been determined.     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

Effect of deposition conditions on the properties and annealing behavior of cold-sprayed copper

The deposition of copper by cold gas dynamic spraying has attracted much interest in recent years due to the capability to deposit low-porosity oxide-free coatings. However, it is generally found that as-deposited copper has a signicantly greater hardness, and potentially lower ductility, than bulk material. In this article, copper was deposited by cold spraying using helium as the driving gas at both 298 and 523 K. Evidence is presented indicating that the material sprayed at the lower temperature exhibits a lower dislocation density throughout the grain structure than the material sprayed at the higher temperature. The low stacking fault energy of copper restricts recovery during annealing, and thus microstructural changes during annealing only proceed once recrystallization begins. The material sprayed at low temperature (with the low dislocation density) exhibited recrystallization at annealing temperatures as low as 373 K with a corresponding reduction in hardness. However, the copper sprayed with helium at 523 K was resistant to annealing at temperatures up to 473 K where the dislocations in the structure prevented recrystallization. However, at higher temperatures, recrystallization did proceed (with corresponding reductions in hardness). The fracture behavior of the copper that was cold sprayed with helium at 523 K, both in the as-sprayed condition and following annealing, was measured and explained in terms of the annealing mechanisms proposed. The original version of this paper was published in the CD ROM Thermal Spray Connects: Explore Its Surfacing Potential, International Thermal Spray Conference, sponsored by DVS, ASM International, and HW International Institute of Welding, Basel, Switzerland, May 2–4, 2005, DVS-Verlag GmbH, Düsseldorf, Germany.     

解析参数对活性焦再生过程及再生效果的影响

 活性焦的热解析参数对再生活性焦的脱硫脱硝性能和机械强度至关重要。为了明确解析参数对活性焦再生过程和再生效果的影响规律,通过热解析试验探究活性焦硫残余比例、CO₂和CO生成量及再生活性焦脱硫脱硝性能随解析温度和解析时间的变化规律,继而明确适宜的活性焦热解析参数。结果表明,活性焦升温解析过程中,脱硫产物在317 ℃左右迅速分解,随后分解速率下降;在进入恒温解析阶段后脱硫产物分解速率先快速下降,而后进入缓慢解析状态。硫残余比例随恒温解析温度的升高而下降,在530 ℃下解析3 h可使脱硫产物完全解析;解析温度高于430 ℃后,活性焦表面的酚基、醌基、内酯基等含氧官能团分解量明显增加,并随恒温解析温度的升高而持续增加,分解所生成的CO和CO₂也随之大幅增加,这将使活性焦的孔隙结构进一步发展,继而不利于活性焦机械强度的保持;解析温度低于530 ℃时,硫残余比例随解析温度的升高而持续降低,使再生活性焦的脱硫脱硝性能持续提高;解析温度高于530 ℃后,含氧官能团分解量随解析温度的升高而持续增加,这将有利于提高活性焦表面SO₂氧化反应速率,继而使再生活性焦的脱硫性能持续升高,但酚基、内酯基等酸性含氧官能团的分解使再生活性焦对NH₃的吸附性能降低,进而使其脱硝性能降低。在兼顾再生活性焦脱硫脱硝性能、机械强度和生产效率等多方面因素时,430 ℃恒温解析3 h是相对较优的解析参数。在此解析条件下,再生活性焦的硫残余比例仅为1.8%,含氧官能团尚未发生大量分解,脱硫脱硝性能相对较为优良。     

大型钛合金压气机盘超塑性等温锻造模具结构及工艺参数实验研究

通过超塑拉伸和压缩试验，用金属铅进行模拟实验，探讨了大型ＴＣ１１合金压气机盘超塑性等温锻造的工艺参数，模具结构，锻坯形状尺寸及润滑剂的选择、并讨论了其模具材料及加热方式的选择。     

离心泵性能参数的自动测定和自动控制

通过将计算机技术应用于离心泵性能参数的研究，实现了离心泵性能参数的自动测定和自动控制。     

Determination of the solubility parameter of poly(ethylene oxide) at 25°C by gas-liquid chromatography

The solubility parameter of poly(ethylene oxide) at 25°C has been determined using the method developed by DiPaola-Baranyi and Guillet, by the extrapolation of the values of the interaction parameter χ, at high temperatures, ranging from 70°–90°, 90°–110° and 110°–130°C down to 25°C. The values of the solubility parameter obtained, depending on the temperature ranges employed, are 9.8, 9.9 and 10.1, respectively.