A new method of characterization for stratified thermal energy stores

A new method for characterization of stratified thermal energy stores (TES) that integrates both the first law and the second law concerns is presented here. The first law concern is incorporated into a quantity called energy response factor and the second law concern into an entropy generation ratio. A product of these two quantities is at the heart of the TES efficiency definitions. This approach removes the overemphasis of the existing methods either on the first or the second law of thermodynamics which often biases the characterization results. The information about the evolution of the temperature field of the system in time is the prerequisite of the new method. It may be obtained from experiments or from suitable numerical simulations. The current method can be easily integrated into computational fluid dynamic (CFD) simulations and thus facilitate CFD-based design analysis. As an example of such CFD-integrated analysis, a large-scale hot water seasonal heat store is numerically studied to identify the effects of aspect ratio, containment shape, internal structures, and containment size on their efficiency. The results suggest the effectiveness of the new method in deriving useful design insights.     

电磁测量中误差产生的原因及消除方法

对电磁测量中所产生误差的原因进行分析,提出了消除不同误差所应采取的方法。     

中压甲铵冷凝器防结垢方法探讨

分析中压甲铵冷凝器的工艺流程和操作条件，指出设计中的不足，找出其结垢的非药剂因素——温度和流速，对一些相关改造的成败提出观点，并提出增设加压泵回流控温和增大上、回水压差的新思路。     

广西洛东水电厂增机扩容可行性设计

通过对洛东水电厂的来水量、地质和经济指标等技术资料的分析,认为采用灯泡贯流式机组扩大其装机的容量是可行的。并介绍了洛东水电厂增机扩容的可行性设计情况。     

污垢对冷水机组的影响

通过对两个工程实例的冷水机组测试结果对比分析，得出污垢对冷水机组造成了热阻增加，接热效果变差，制冷量减少以及制冷效率下降等严重后果，并推算出机组由此所带来的运行费用的增加。运行管理人员应该注意对机组加强清洗保养工作，以提高机组的经济运行水平。     

冷却排管的节能设计

从节能的观点出发，根据热力学原理和传递过程的理论，对冷却排管内湍流传热过程进行分析，研究损失随雷诺数的变化规律，探讨冷却排管的节能设计问题。     

Converting interpreters into compilers

There is an effective and quite general method of manually deriving compilers from programming-language interpreters without dealing directly with machine language. The method is an implementation of the largely theoretical and under-appreciated concept of partial computation, but can be understood on its own terms. It involves the translation of a source program's intermediate form into the interpreter's implementation language. This paper shows how the method can be used to transform both a sample iterative interpreter and a sample recursive interpreter into compilers. The result can be a large gain in program execution speed. Other advantages of the method, including the ease and practicality of applying it, are discussed.     

The Lazy Cook Problem, or Scheduling Two Parallel Machines to Optimize Vehicle Utilization

A cook has to prepare n cakes using an oven with two racks. According to the recipe, the i-th cake has to be baked for exactly a _i minutes. Cakes to be cooked are taken from a table and carried to the oven, and once cooked are carried back to the table by means of a trolley that can carry two cakes at a time. What is the minimum number q ^* of round trips required of the cook? This problem has application to the operation scheduling of transportation systems and to material cutting. A different problem arises according to whether the cook accepts or not to stay near the oven for awhile with the trolley. If the trolley cannot be idle at the oven, an optimum schedule with no oven idle-time always exists: consequently, the trolley schedule is trivial, and the problem is transformed into a set packing. For this case, we propose and test a heuristic method which generates all of the promising columns of the set packing, and solves the resulting problem by branch-and-bound. Instead, if the trolley can be idle at the oven for a limited amount of time, a problem arises to find an optimal schedule of the trolley: in this case we show how to use a scaling technique in order to obtain a very good feasible solution by the method above.     

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.     

An integrated automatic test data generation system

The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method—constraint-based testing—that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system and the engineering problems that were solved during the implementation.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology.