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.     

Oxygen absorption kinetics in YBa2Cu3Ox

The oxygen absorption process in highly aligned YBa₂Cu₃O_x samples in air and in pure oxygen was studied at several constant temperatures. The process can be expressed in two steps, a chemical reaction controlled step and a diffusion controlled step. The kinetic equations are as follows respectively:

(1 − a_t) ln(1 − a_t) + a_t = k_Dt

The activation energy was calculated using an Arrhenius equation. The technical conditions of heat treatment for oxygen absorption of highly aligned YBa₂Cu₃O_x crystals are discussed.     

我国聚甲醛工业的供需分析

从国内聚甲醛树脂的生产、贸易及消费状况出发 ,分析了国内聚甲醛工业的供需现状并提出短期预测。     

Microfabricated liquid chromatography columns based on collocated monolith support structures

There is great interest today in massively parallel analytical strategies as a way to accelerate the rate of discovery in biological research; among them being 'biochips' and 'laboratories-on-a-chip'. The concept in the 'chip' approach is that minaturization will allow large numbers of operations to be performed in parallel in a small space, as in electronics. Proceeding with the semiconductor analogy, this paper demonstrates that in situ micromachining can be used to simultaneously fabricate millions of micrometer size, particle like structures in multiple liquid chromatography columns on a single wafer. Reduction of this widely used bioanalytical tool to the nanoliter volume, parallel processing, chip format is a significant step toward laboratories-on-a-chip.     

新取代苯基荧光酮试剂的合成及其性质的研究Ⅱ．新型取代苯基荧光酮与金属离子显色反应的研究

研究了３，５－二溴－４－氨基苯基荧光酮、３，５－二溴－４－偶氮变色酸等８种苯基荧光酮在酸性介质中与高价金属离子Ｚｒ（Ⅳ）、Ｍｏ（Ⅵ）、Ｗ（Ⅵ）、Ａｌ（Ⅲ）、Ｇａ（Ⅲ）等的显色反应。３，５－位二溴取代的试剂的灵敏度高于未取代的灵敏度，摩尔吸光系数绝大多数在１０５Ｌ·ｍｏｌ－１·ｃｍ－１以上。