Markov analysis of qualitative dynamics1

Common sense sometimes predicts events to be likely or unlikely rather than merely possible. We extend methods of qualitative reasoning to predict the relative likelihoods of possible qualitative behaviors by viewing the dynamics of a system as a Markov chain over its transition graph. This involves adding qualitative or quantitative estimates of transition probabilities to each of the transitions and applying the standard theory of Markov chains to distinguish persistent states from transient states and to calculate recurrence times, settling times, and probabilities for ending up in each state. Much of the analysis depends solely on qualitative estimates of transition probabilities, which follow directly from theoretical considerations and which lead to qualitative predictions about entire classes of systems. Quantitative estimates for specific systems are derived empirically and lead to qualitative and quantitative conclusions, most of which are insensitive to small perturbations in the estimated transition probabilities. The algorithms are straightforward and efficient.     

使用 J2ME 实现经典游戏华容道

介绍使用J2ME技术开发益智游戏华容道的实现结构,以及面向对象设计思想、算法设计、数组在游戏设计中的应用     

Casual reasoning in planning1

Reasoning about actions necessarily involves tracking the truth of assertions about the world over time. The SIPE planning system retains the efficiency of the STRIPS assumption for this while enhancing expressive power by allowing the specification of a causl theory. Separation of knowledge about causality from knowledge about actions relieves operators of much of their representational burden and allows them to be applicable in a wide range of contexts. The implementation of causal theories is described, together with examples and evaluations of the system's expressive power and efficiency.     

The thermodynamic performance of a new solution cycle in double absorption heat transformer using water/lithium bromide as the working fluids

In this paper, a new solution cycle in the double absorption heat transformer is presented and the thermodynamic performance of this new cycle is simulated based on the thermodynamic properties of aqueous solution of lithium bromide. The results show that this new cycle is superior to the cycle being studied by some researchers. This new solution cycle has a wider range of operation in which the system maintains the high value of COP and has larger temperature lifts and operation stability. The relationship between the absorber and the absorbing evaporator is more independent and this makes the operation and control of the system more easier.     

Service life planning and performance requirements

Service life planning comprises a model for the determination of a reasonable expected service life for buildings and components, and it establishes a routine for the assessment of design alternatives. A design option is considered reasonable when it meets or exceeds performance requirements over time that have been drawn up specifically for the specific project. Due to this assessment reference, there is a very evident link to the concept of performance-based building. Any stakeholder involved in the value chain or in the design process of the building, as well as regulators and building users, can express performance requirements. Identified requirements, both in relevance and in quality, will vary with the stakeholder and his/her perspective of interest. As building sector manufacturers develop most products with reference to standards rather than with reference to specific requirements, there is no direct link from user requirements to the product design. Instead, the building designer has the responsibility to ensure performance requirements are met by the performance of products integrated into the design. As these design decisions also have to be made at the material and component level, a performance-based building would benefit from an established rationale that enables the communication of performance requirements across the relevant system levels in the relevant design processes. A path for the connection of the established concepts of service life planning and performance-based building is presented. The aim is to identify key elements that need to be developed for the successful linkage of performance-based building with service life planning.     

Physiological arousal, dissonance, and attitude change: Evidence for a dissonance-arousal link and a "Don't remind me" effect.

Two experiments, with 80 undergraduates, replicated and extended research by R. T. Croyle and J. Cooper (see record 1984-11595-001) indicating that cognitive dissonance involves physiological arousal. In Exp I, Ss wrote counterattitudinal essays under conditions of high or low choice and, to assess arousal effects owing to effort, with or without a list of arguments provided by the experimenter. In high-choice conditions only and regardless of effort, Ss showed both arousal (heightened galvanic skin response) and attitude change. Arousal, however, did not decline following attitude change. The more effortful task (no arguments provided) produced increased arousal but not greater attitude change. In Exp II, the opportunity to change one's attitude following a freely chosen counterattitudinal essay was manipulated. As in Exp I, arousal increased following the essay but did not decline following a postessay attitude change opportunity. When Ss were not given an attitude change opportunity, however, arousal did decline. It is suggested that if dissonance is a drive state, drive reduction typically may be accomplished through gradual cognitive change or forgetting. (47 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

焦化废水除氟技术及其应用

阐述了焦化废水中氟离子的降解机理,分析了化学沉淀法和混凝沉降法等除氟工艺及其处理效果,并对宝钢焦化废水的除氟工艺的进行了评价。     

Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact

We define the notion of rational presentation of a complete metric space, in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some representations of the space C[0,1] of uniformly continuous real functions over [0,1] with the usual norm: ||f||_∞ = Sup{|f(x)|; 0x1}. This allows us to have a comparison of global kind between complexity notions attached to these presentations. In particular, we get a generalization of Hoover's results concerning the Weierstrass approximation theorem in polynomial time. We get also a generalization of previous results on analytic functions which are computable in polynomial time.     

Development and validation of “grey-box” models for refrigeration applications: A review of key concepts

“Grey-box” modelling combines the use of first-principle based “white-box” models and empirical “black-box” models, offering particular benefits when: (a) there is a lack of fundamental theory to describe the system or process modelled; (b) there is a scarcity of suitable experimental data for validation or (c) there is a need to decrease the complexity of the model. The grey-box approach has been used, for example, to create mathematical models to predict the shelf life of chilled products or the thermal behaviour of imperfectly mixed fluids, or to create models that combine artificial neural networks and dynamic differential equations for control-related applications. This paper discusses the main characteristics of white-box, black-box and their integration into grey-box models, the requirements and sourcing of accurate data for model development and important validation concepts and measures.     

Integration of a three-stage expander into a CO2 refrigeration system

The inclusion of an expander with work recovery provides two advantages for transcritical CO₂ refrigeration cycles: the COP is improved and the exhaust pressure of the main compressor is lowered. Several designs of expanders have been proposed for this application and some prototypes have been tested already. In our laboratory a three-stage expander has been developed, which replaces the throttle valve of the normal refrigeration cycle and expands into the two-phase region. For optimum integration into the overall system it is proposed to install a vapour-liquid separator between the second and third stage of expansion. The vapour is guided back to the third expander stage whereas the liquid is supplied to the cooling stations via thermostatic or electronic expansion valves.