Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

The fault-state detection approach for blackbox testing consists of two phases. The first is to bring the system under test (SUT) from its initial state to a targeted state t and the second is to check various specified properties of the SUT at t. This paper investigates the first phase for testing systems specified as observable nondeterministic finite-state machines with probabilistic and weighted transitions. This phase involves two steps. The first step transfers the SUT to some state t' and the second step identifies whether t' is indeed the targeted state t or not. State transfer is achieved by moving the SUT along one of the paths of a transfer tree (TT) and state identification is realized by using diagnosis trees (DT). A theoretical foundation for the existence and characterization of TT and DT with minimum weighted height or minimum average weight is presented. Algorithms for their computation are proposed.     

Domain-Driven, Actionable Knowledge Discovery

Data mining increasingly faces complex challenges in the real-life world of business problems and needs. The gap between business expectations and R&D results in this area involves key aspects of the field, such as methodologies, targeted problems, pattern interestingness, and infrastructure support. Both researchers and practitioners are realizing the importance of domain knowledge to close this gap and develop actionable knowledge for real user needs.     

Nucleation of solidification in liquid droplets

Analytical and numerical methods have been developed to analyze the solidification kinetics of a mass of liquid droplets dispersed in a fluid or solid matrix using classical nucleation theory. The resulting analytical expressions and numerical calculations can be compared directly with calorimetric measurements of the droplet solidification exotherms to obtain information about the nucleation mechanism. With increasing contact angle at the solid-liquid-matrix triple point, the solidification onset, peak, and end temperatures and exothermic peak height all decrease sharply and the droplet solidification exotherms become broader. Decreasing either the droplet radius or the number of potential catalytic nucleation sites produces a similar but smaller effect. Distributions in droplet radius, contact angle, and nucleation sites have no effect on the solidification peak temperature, but the droplet solidification exotherms become broader and more symmetric. The solidification onset temperature is independent of cooling rate in the calorimeter, but the solidification peak and end temperatures decrease and the exothermic peak height increases with increasing cooling rate. Predicted droplet solidification exotherms are in excellent agreement with detailed experimental measurements on 10-nm-radius Cd droplets embedded in a solid Al matrix. Analytical predictions give best-fit values of 43 deg and 430 for the contact angle and the number of potential catalytic nucleation sites per droplet, respectively; numerical predictions give best-fit values of 43 deg and 750 for the contact angle and the number of potential catalytic nucleation sites per droplet, respectively.     

JETS,PLUMES AND BUOYANT JETS IN STATIC ENVIRONMENT

Turbulence represents an essential aspect in atmospheric and oceanic circulations.In particu-lar,it is a preponderant factor in the dispersion of pollutants of artificial or natural origin.Thevertical turbulent jets,plumes and buoyant jets discharging into static environment is one of themost important and basic flow patterns related with the environment pollution.These flows havenumerous important applications,for example,thrust augmentors,waste disposal plumes fromstacks and combustion systems,and significant problems of turbulent diffusion.     

新型超微晶软磁合金FePCCuMoSi微观结构缺陷的正电子湮没研究

用正电子湮没方法研究了新型超微晶软磁合金的微观结构缺陷，样品选用的是在不同温度下退火的Ｆｅ８１Ｐ１２Ｃ３Ｃｕ１Ｍｏ０．５Ｓｉ２．５合金，结果表明，合金的微观结构构陷大小，密度随退火温度有规律地变化，这种现象可能与非晶的晶化过程有关。     

WC对Cu/WC_P复合材料性能及组织的影响

通过ＷＣ含量对ＷＣ／Ｃｕ复合材料性能的影响，确定了冷压－烧结法制备Ｃｕ／ＷＣ材料的适宜ＷＣ含量为１０ｖｏｌ％左右。并就ＷＣ对该材料组织和再结晶行为的影响进行了有益的探讨。     

氧化铝/锌合金复合材料界面的SEM观察

利用挤压铸造制备氧化铝／锌合金复合材料，在扫描电镜（ＳＥＭ）上观察复合材料的界面。结果表明，在复合材料中纤维与基体间存在致密界面层，合金元素通过适当的化学反应可改善纤维与基体间的结合；在凝固过程中，纤维／基体界面上的硅在共晶体的共生生长过程中起了领先相作用，导致复合材料的共晶转变是由铝硅共晶转变和锌铝共晶转变两者组成。     

无线电引信多普勒信号增速器的研究

论述了无线电引信多普勒信号增速器的实现原理及意义，介绍了采用ＴＭＳ３２０Ｃ３０作为ＣＰＵ、多片大容量静态ＲＡＭ芯片构成海量存储体的信号增速器硬件结构和软件设计，并提出了今后的研究方向。     

灌溉与环境浅议

灌溉为人类带来了巨大的社会效益,也对环境产生了一定的不利影响,但目前对于灌溉的环境问题还处于起始阶段。文中从生态、土壤、水质、人群健康、水文地质、景观地貌等等方面分析了灌溉工程对环境的影响,试图引起人们在今后的多目标水资源开发中重视研究灌溉与环境如何达到协调平衡,为人类创造更好的生存环境。