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.     

Uncertainty,belief, and probability1

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. In addition to removing the requirement that every event be assigned a probability, our approach circumvents other criticisms of probability-based approaches to uncertainty. For example, the measure of belief in an event turns out to be represented by an interval (defined by the inner and outer measures), rather than by a single number. Further, this approach allows us to assign a belief (inner measure) to an event E without committing to a belief about its negation -E (since the inner measure of an event plus the inner measure of its negation is not necessarily one). Interestingly enough, inner measures induced by probability measures turn out to correspond in a precise sense to Dempster-Shafer belief functions. Hence, in addition to providing promising new conceptual tools for dealing with uncertainty, our approach shows that a key part of the important Dempster-Shafer theory of evidence is firmly rooted in classical probability theory. Cet article présente une nouvelle approche probabiliste en ce qui concerne le traitement de l'incertitude; celle-ci est basée sur l'observation que la théorie des probabilityés n'exige pas qu'une probabilityé soit assignée à chaque événement. Dans le cas d'un événement non mesurable (un événement pour lequel on n'assigne aucune probabilityé), nous ne pouvons discuter que de la mesure intérieure et de la mesure extérieure de l'évenément. En plus d'éliminer la nécessité d'assigner une probabilityéà l'événement, cette nouvelle approche apporte une réponse aux autres critiques des approches à l'incertitude basées sur des probabilityés. Par exemple, la mesure de croyance dans un événement est représentée par un intervalle (défini par la mesure intérieure et extérieure) plutǒt que par un nombre unique. De plus, cette approche nous permet d'assigner une croyance (mesure intérieure) à un événement E sans se compromettre vers une croyance à propos de sa négation -E (puisque la mesure intérieure d'un événement et la mesure intérieure de sa négation ne sont pas nécessairement une seule et unique mesure). II est intéressant de noter que les mesures intérieures qui résultent des mesures de probabilityé correspondent d'une manière précise aux fonctions de croyance de Dempster-Shafer. En plus de constituer un nouvel outil conceptuel prometteur dans le traitement de l'incertitude, cette approche démontre qu'une partie importante de la théorie de l'évidence de Dempster-Shafer est fermement ancrée dans la theorie classique des probabilityés.     

Synthesizing plans that contain actions with context-dependent effects1

This paper presents a method of solving planning problems that involve actions whose effects change according to the situations in which they are performed. The approach is an extension of the conventional planning methodology in which plans are constructed through an iterative process of scanning for goals that are not yet satisfied, inserting actions to achieve them, and introducing subgoals to these actions. This methodology was originally developed under the assumption that one would be dealing exclusively with actions that produce the same effects in every situation. The extension involves introducing additional subgoals to actions above and beyond the preconditions of execution normally introduced. These additional subgoals, called secondary preconditions, ensure that the actions are performed in contexts conducive to producing the effects we desire. This paper defines and analyzes secondary preconditions from a mathematically rigorous standpoint and demonstrates how they can be derived from regression operators.     

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.     

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.     

德布罗意波及其非相对论近似

通过分析德布罗意义和速度特性，说明了它是相对论意义下的波，讨论了在非相对论量子力学中，以经典能量代入德布罗意关系式进行了计算的原因。     

Flow boiling in small diameter channels

Many studies have been carried out on two-phase flow heat transfer in channels with hydraulic diameter bigger than 6 mm, but relatively little work has been done for small diameter channels in the meso and compact range (diameter from 0.1 to 3 mm). The use of exchangers with small channels in refrigeration units, which are very numerous besides, could bring a significant reduction of the internal volume of the exchanger, and therefore diminish the refrigerant charge of the whole refrigerating system. One can imagine the interest to widen knowledge on the flow and the heat transfer in small-diameter tubes. This paper examine the thermal behavior of refrigerants boiling in small pipes. The correlations available for in-tube evaporation heat transfer coefficient are discussed and evaluated, when possible, and new research areas of relevance than can contribute to expand the use of small-diameter channels evaporators in refrigeration units are suggested.     

Atmospheric effects of friction,friction noise and wear with silicon and diamond. Part II. SEM tribometry of silicon in vacuum and hydrogen

Scanning electron microscope (SEM) tribometric data on polycrystalline silicon (poly-Si) vs. poly-Si, Si(100) vs. Si(100) and Si(111) vs. Si(111) interfaces, obtained in Torr and in 0.2 Torr partial pressure of hydrogen gas ( ) from room temperature to 850^°C, were performed under standard and much slower thermal ramping rates. The friction data were analyzed per the methodology described in part I of this paper series. The results indicate a highly beneficial friction- and wear-reducing regime within a relatively narrow thermal region. This desirable region coincides with some chemisorption of excited species of molecular hydrogen just before the mass thermal desorption of surface hydrides. These data represent the tribochemical equivalent of a method routinely used in electronics, whereby deep electron traps (dangling Si bonds) are passivated by baking in molecular hydrogen. The also exerts a moderating influence on the size of the friction noise at all test temperatures. However, the general level of friction beyond the beneficial thermal region is high. In parallel, the general wear rate of Si representative of the entire range of standard thermal ramping in both atmospheric environments is in the extremely high 10^-12m³/(N m) range. Operating strictly in the beneficial, low-friction thermal regime resulted in a several orders-of-magnitude reduction in the wear rate over those measured under standard thermal ramping conditions. Although the results confirm previous findings that Si is not a good material of construction for miniaturized moving mechanical assemblies (e.g., microbearings and gears), there seems to be some limited possibility of gas-phase lubrication of Si micromechanisms with rarefied hydrogen at surface temperatures between 100 and 300^°C. This revised version was published online in July 2006 with corrections to the Cover Date.