Object-extending class transformations

Reorganisation and evolution of class hierarchies is important for object-oriented system development and has received considerable attention in the literature. The contributions of this paper are: (1) a formal study of a set of extension relations and transformations on class hierarchies; (2) a presentation of a small set of primitive transformations which form a minimal and complete basis for the extension relations; and (3) an analysis of the impact of these transformations at the object level.The study leads to a better understanding of evolution and reuse of object-oriented software and class hierarchies. It also provides a terminology and a means of classification for design reuse. The theory presented in this paper is based on the Demeter data model, which gives a concise mathematical foundation for classes and their inheritance and part-of relationships. Parts of the theory have been implemented in the Demeter System ^TM C++, a CASE tool for object-oriented design and programming.     

Calculation of second virial coefficients and gaseous viscosities of the refrigerants HFC-32 (CH2 F2), HFC-23 (CHF3), and HCFC-22 (CHC1F2)

The second virial coefficients of refrigerants HFC-32 (CH₂F₂), HFC-23 (CHF₃), and HCFC-22 (CHC1F₂) have been correlated on the bisis of site site model potential and have been compared with experimental results. The molecular interactions consisted of repulsion dispersion and electrostatic parts. From the site site potentials adjusted to the experimental second virial coefficients, spherically averaged potentials have been determined and a subsequent calculation of gaseous viscosity has been carried out. Agreement between measured and calculated values of second virial coellicients and gaseous viscosity is satisfactory. Calculated values of second virial coefficients and gaseous viscosity beyond available experimental data, therefore. can be assumed as a reliable extrapolation to lower and higher temperatures.     

Application of Differential Evolution for Irrigation Planning: An Indian Case Study

The present paper demonstrates the applicability of population based search optimization method, namely, Differential Evolution (DE) to a case study of Mahi Bajaj Sagar Project (MBSP), India. Ten different strategies of DE are employed to assess the ability of DE for solving higher dimensional problems as an alternative methodology for irrigation planning. The parameters considered in DE are population size, crossover constant and weighting factor. Linear Programming (LP) is utilized as a comparative approach to assess the ability of DE. Comparison of results of LP and the 10 DE strategies for the given parameters indicated that both the results are comparable even for high dimensional problems. Extensive sensitivity analysis studies, performed for 3,600 combinations of above parameters for the 10 DE strategies suggested that DE/rand-to-best/1/bin strategy is the best strategy giving maximum benefits taking minimum CPU time. It is concluded that DE can be utilized for efficient planning of any irrigation system with suitable modifications.     

X-ray microtomography: Application to microstructure analysis of a cementitious material during leaching process

Leaching of cementitious materials leads to an increase in porosity, which has important consequences on transport and mechanical properties. The present study outlines the characterization of microstructural evolution in a mortar subjected to a chemical attack, by means of a powerful non-intrusive experimental method, namely synchrotron X-ray computed microtomography. This innovative method is used to measure the variation of porosity in a leached mortar. Having described the effects of leaching in mortar (influences on microstructure and on mechanical properties), we present the accelerated leaching process and the microtomographic analysis that have been used to monitor it. We then investigate the capacity of this method to quantify the evolution of porosity during the leaching process. The method is validated by comparison of the results obtained with data available in the literature.     

我国天然彩棉的研发现状及发展趋势

对天然彩棉的历史、纤维特点、纤维的形态结构及性能作了简要介绍，重点介绍了我国彩棉的研发现状及研发中亟待解决的瓶颈问题，最后对彩棉在我国的发展前景进行了展望。     

沁水盆地北端煤层气储层特征及富集机制

煤层气的富集与储层特征密切相关,并受地质条件的制约。在详细研究煤储层特征及煤层气富集机制的基础上,对沁水盆地北端煤层气的开发前景进行了初步评价。煤岩、煤质、煤体结构及孔渗性、吸附性的观察和测试显示,该区煤层厚度大,热演化程度高,局部发育构造煤,裂隙较发育,吸附性能力强,含气量高,含气饱和度偏低,适合煤层气的开发。该区煤层气的富集主要受控于热演化史和埋藏史。在区域变质的背景上,叠加了岩浆热变质作用,生气强度大。另外,煤层的埋深、顶底板封闭性及水文地质条件都会影响煤层含气量的大小,煤层气富集是多因素有效配置的结果。      

浮基多刚体系统动力分析

引入浮体势流流固耦合理论和多刚体力学的凯恩方法对浮基多刚体系统进行动力分析。考虑入射规则波的影响和上部作业物体进行回转作业、升降作业的影响，建立了浮基多刚体系统的运动方程，讨论了浮基多刚体系统运动方程在三类情况下的求解途径。     

Response coding and visuomotor transformation in the Simon task: The role of action goals.

Manual responses can be defined by differing response parameters. Any of them may generate a Simon effect. For all those response parameters, the same implementation of the Simon effect (in terms of subserving mechanism) is assumed. In 3 experiments, subjects had to respond with either fingers or sticks. Temporal properties of the Simon effect changed with response parameters relevant in a task. The Simon effect for manual responses decayed. For stick responses, in which the action goal differed from the anatomical mapping of the acting hand, a sustained Simon effect was observed. However, if the action goal for stick responses was not instrumental for selecting the correct response, the Simon effect decayed. The findings are consistent with the notion of different mechanisms involved in generating a Simon effect. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

江汉平原印支期以来的盆山耦合关系及下古生界油气响应

利用构造地质学和油气系统理论，以盆地构造-沉积分析技术为手段，研究了印支期以来江汉平原与周缘造山带的耦合关系，探讨了江汉平原的构造演化及其对油气成藏的控制作用。印支期以来江汉平原及周缘经历了挤压、拉张、挤压3次大的构造应力场的转换，使古生代海相碳酸盐岩沉积为主的盆地具有改造盆地的特点；一方面强烈的抬升、剥蚀使早期聚集的油气经历改造和再分配、再聚集过程，另一方面燕山期构造活动使逆冲推覆构造成为该区重要勘探领域。综合分析表明，位于台、盆转换带的宜昌-珂理-簰州区带是目前江汉平原及周缘下古生界油气勘探的有利地区。     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.