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.     

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.     

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

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

新安江模型参数优选的改进粒子群算法

借鉴竞争演化和多种群混合的思想,对粒子群算法(PSO)进行改进,建立并行种群混合进化的粒子群算法(PMSE-PSO)和序列主-从种群混合进行的粒子群算法(SMSE-PSO)。数值模拟结果表明,这两种改进的粒子群算法具有较高的计算效率、较强的自适应性和稳定性。将PMSE-PSO和SMSE-PSO应用于新安江模型的参数优选中,通过与PSO和SCE-UA的比较可以看出,PMSE-PSO和SMSE-PSO不仅具有较好的全局优化性能和稳定性,而且在调用目标函数次数相同的情况下精度较高,是一种有效的新安江模型参数优选方法。     

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

利用构造地质学和油气系统理论，以盆地构造-沉积分析技术为手段，研究了印支期以来江汉平原与周缘造山带的耦合关系，探讨了江汉平原的构造演化及其对油气成藏的控制作用。印支期以来江汉平原及周缘经历了挤压、拉张、挤压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.     

Effect of pH on the Crystallization of Homogeneously Precipitated Nanosized PZT Powder

Nanosized lead zirconate titanate (PZT) powder with Zr:Ti ratio in the morphotropic phase boundary region was synthesized by homogeneous precipitation of metal ions. The powder precipitated at 90°C and at pH 6.7 resulted single-phase perovskite lead zirconate titanate powder when calcined at 550°C and above for 4 hours in air. The solution pH and the precipitation temperature strongly affect the composition of the calcined powder. The results obtained by structural characterization of homogeneously precipitated powder were compared with that obtained from the conventional precipitation method using ammonia in terms of crystallization, homogeneity, and microstructure. The homogeneously precipitated powder showed smaller particle size, minimum agglomeration and uniform shape on calcination and annealing. Powdered samples that precipitated by homogeneous precipitation crystallized directly to perovskite PZT, without any intermediate pyrochlore phase formation. In contrast, the NH₃ precipitated powder converted to perovskite PZT via metastable pyrochlore and it showed phase segregation upon annealing at higher temperatures. The reaction kinetics has been studied by X-ray diffraction, differential thermal analysis, and differential scanning calorimetry.     

基于曲线进化的目标检测算法

提出了基于曲线进化的运动目标检测算法。对于运动目标检测问题定义了新颖的能量模型,并给出了相应的曲线进化方程。结合水平集算法,所提出的曲线进化模型能够自动的适应拓扑变化,检测出多个运动目标区域及轮廓。从计算物理学领域引入基于偏微分方程的水平集窄带算法,在构造窄带时无需显示的知道曲线的位置,并能够快速的实现。     

EPDM/PP热塑性弹性体相态研究

采用透射电镜(TEM)研究动态硫化EPDM/PP热塑性弹性体制备工艺及增容改性对形态结构的影响,研究发现通过添加增容剂可使EPDM相呈颗粒分布于连续相中。