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.     

Bridging the generation gap between text planning and linguistic realization

Text planning is traditionally done as a separate process, independent of linguistic realization. However, I show in this paper that it is essential for a text planner to know the linguistic consequences of its actions. The choice of how to realize an element affects how much information is conveyed (e.g., “Floyd arrived safely in Boston” vs. “Floyd landed safely at Logan”) and what other information can be added (e.g., “Peter was deciding for an hour” vs. *“Peter made a decision for an hour”). The choice of realization also affects how the relative salience of the elements being expressed will be perceived (e.g., “The green car is in the garage” vs. “The car in the garage is green”). I have defined an intermediate level of representation for text planning, called the Text Structure. It is an abstract linguistic level that reflects germane linguistic constraints while abstracting away from syntactic detail. This representation allows the text planner to have greater control over the decisions, so that it can take advantage of the expressiveness of language to convey subtleties of meaning. More importantly, the Text Structure allows the generation process overall to be incremental, since it ensures that the text plan being composed will always be expressible in the language. La planification de textes est habituellement réalisée séparément, sans tenir compte de la réalisation linguistique. Cependant, ľauteur demontre dans cet article qu'il est essentiel à un planificateur de textes de connai̊tre les conséquences linguistiques de ses actions. Le choix de la méhode de réalisation ?un élément influe sur la quantité?informations qui est transmise (par ex.: 〈〈 Floyd est arrivé sain et sauf à Boston 〉〉 et 〈〈 Floyd a atterri sain et sauf àľaéroport Logan 〉〉) et sur quelle autre information peut ětre ajoutée. Le choix de la méthode de réalisation influe également sur la façon dont les caractères saillants des ééments qui sont exprimés seront perçus (par ex.: 〈〈 la voiture verte est dans le garage 〉〉 et 〈〈 la voiture dans le garage est verte 〉〉). L'auteur a défini un niveau intérmediaire de représentation pour la planification de textes qu'il a appelé structure de texte. Il; s'agit ?'un niveau linguistique abstrait qui refléte les contraintes linguistiques appropriées tout en s'éloignant du détail syntaxique. Cette représentation permet au planificateur de textes ?avoir un meilleur contrǒle des décisions, et done de tirer profit de la force ?expression du langage afin de tenir compte des subtiliés de sens. Plus important encore, la structure de texte permet au processus de génération ?ětre incrémentiel, car elle s'assure que le plan de texte en voie de composition soit toujours exprimable dans le langage.     

电力电子实验装置中的晶闸管保护

在晶闸管变流电路中,应对晶闸管设置必要的过压保护、过流保护、di／dt保护、du／dt保护电路,以保证变流装置的正常运行．电力电子实验装置中虽对晶闸管设置了一定的保护措施,但晶闸管依然经常损坏．分析了这种保护措施的可靠性及晶闸管损坏的原因,并提供了解决问题的方法．     

A novel Temperature–Humidity–Time defrosting control method based on a frosting map for air-source heat pumps

To improve the defrosting accuracy and the energy efficiency of the air-source heat pump (ASHP) under frosting and defrosting conditions, a novel Temperature–Humidity–Time (T–H–T) defrosting control method, based on a frosting map for the ASHP unit, is proposed in this paper. A field test was conducted for two heating seasons, to verify the feasibility and applicability of the T–H–T method. The advantages of the T–H–T method, compared to the conventional Temperature–Time (T–T) defrosting control method, are presented. In total, eight cases are shown in this paper. Cases 1 to 4 were chosen to reveal the T–H–T performance under different frosting conditions. It was found that no matter what kind of frosting conditions, defrosting was always initiated in a similar situation: ∼90% of the outdoor coil surface was covered by frost; the temperature difference between the compressor suction and discharge increased by ∼20%; and the heating capacity decreased by ∼30%. These results indicate that the T–H–T method can make an accurate decision under different frosting conditions. Cases 5a, 5b and Cases 6a, 6b were two groups of cases to compare the advantages of the T–H–T method against the conventional T–T method. Cases 5a and 5b were chosen for the non-frosting condition. It was found that the T–T method initiated the defrosting operation 31 times within 24 h. However, none of the defrosting operations was conducted for the T–H–T method. Cases 6a and 6b were chosen to compare these two methods under consecutive and variable frosting conditions. For the T–T method, 63% of the defrosting processes were found to be executed under conditions where defrosting was not necessary. However, for the T–H–T method, all the defrosting controls were found to be accurate and reasonable. These results indicated that the novel T–H–T method is suitable for the defrosting control of the ASHP, and has a more competitive performance than the conventional T–T method.     

Cold chain database development and application as a tool for the cold chain management and food quality evaluation

Cold chain management can optimize freshness and safety to the consumer end. Within FRISBEE European project (http://frisbee-project.eu) a web-based platform was developed for temperature conditions data collection throughout the chilled and frozen food supply chain. Data including all cold chain stages (industry, distributors, retailers and consumers), were collected. This extensive database comprising more than 14,000 time-Temperature (t–T) profiles can serve as a valuable Cold Chain Management tool. The user can define a sequence of cold chain stages for selected food products. The Cold Chain Predictor (CCP) software based on the Cold Chain Database (CCD) allows calculation of product shelf-life status at different cold chain stages based on existing or user defined kinetic data. Conducted field tests expanded the Cold Chain Database and validated the software. The developed tools offer the potential to run simulation scenarios based on real cold chain data and contribute to effective cold chain improvement and management.     

Actualising (Overlooked) Material Capacities

An emphasis on material synthesis is not without its pitfalls and challenges. Here Branko Kolarevic , Professor and Chair in Integrated Design at the University of Calgary Faculty of Environmental Design, alerts us to the dangers of overlooking materials' shifting capacities, which are so often scale dependent, while also disregarding existing materials in favour of the new or novel. As the potential grows for material systems in buildings to become more adaptive and to harness automation, Kolarevic describes some exciting developments that are taking place in dynamic facade design, providing the much-heralded promise of an efficient use of ambient energy.     

Throwing Some Light on the Vast Darkness that is Analysis: Niels Henrik Abel's Critical Revision and the Concept of Absolute Convergence

During the first half of the nineteenth century, mathematical analysis underwent a transition from a predominantly formula-centred practice to a more concept-centred one. Central to this development was the reorientation of analysis originating in A ugustin- L ouis C auchy's (1789–1857) treatment of infinite series in his Cours d'analyse . In this work, C auchy set out to rigorize analysis, thereby critically examining and reproving central analytical results. One of C auchy's first and most ardent followers was the Norwegian N iels H enrik A bel (1802–1829) who vowed to shed some light on the vast darkness in analysis.
This paper investigates some important aspects of A bel's contribution to the reorientation in analysis. In particular, it stresses the role for critical revision in the process of rigorization. By critically examining past practice, the new practice sought to explain the relative success of the previous—now outdated—approach. This is illustrated by discussing a number of issues related to A bel's new proof of the binomial theorem (1826) including his reactions to the exception that he encountered to one of the central theorems of C auchy's theory.
Following this discussion, the formation of new concepts as the result of critical revisions is illustrated by analysing the early history of the concept of absolute convergence. Thereby, it is shown how a new concept was distilled, investigated, put to use and eventually superseded.     

Flow boiling data and prediction method for enhanced boiling tubes and tube bundles with R-134a and R-236fa including a comparison with falling film evaporation

New enhanced boiling tubes from Wolverine Tube Inc. (Turbo-B5) and Wieland-Werke AG (Gewa-B5) were investigated using R-134a and R-236fa as test fluids. The tests were done at saturation temperatures of 5 and 15 °C, mass flow rates from 4 to 35 kg m⁻² s⁻¹ and heat fluxes from 15 to 70 kW m⁻². A new prediction method based on a theoretical analysis of thin film evaporation was used to propose a new correlating parameter. A large new database of local heat transfer coefficients was obtained and utilized to generate an improved prediction method for bundle boiling and the onset of dryout. Onset of dryout and the simultaneous reduction in heat transfer performance occurred at very high vapour quality on these enhanced tubes in convective bundle boiling. Furthermore, a direct comparison was made between the tubes operating in falling film and convective bundle boiling modes.