甘三酯立体专一分析的研究：（Ⅱ）甘三酯立体专一分析方法初探

在第一部分综合讨论的基础上对甘三酯立体专一分析方法作了初步探讨。以液体油(菜油)及固体脂(猪脂)为基质,系统地研究了这一分析方法,取得了经验并补充了一些具体验证方法。分析液体油的结果与文献数据相一致,分析猪脂的结果欠佳,还存在一些问题需待进一步研究。     

Computerized conferencing for knowledge acquisition from multiple experts

The increasing complecity of many expert system application areas calls for the integration of the knowledge of multiple experts. The use of multiple experts introduces some interesting new problems during the process of knowledge acquisition. The problems are further complicated when the experts are geographically dispersed or unavailable for face-to-face interactions.

This article discusses the motivations for acquiring the knowledge of multiple experts, the problems related to knowledge acquisition, new issues that arise whens multiple experts interact, solutions that can be brought to bear in building multiple expert systems (particularly when experts are geographically dispersed), and new tools for knowledge engineers to use when dealing with multiple experts.     

Catalytic properties and electronic structure of copper ions in Cu-ZSM-5

The effect of ion exchange conditions, such as Si/Al ratio, precursor copper salt, pH and concentration of the solution, on the catalytic activity in SCR of NO by propane and on the electronic state of copper ions in Cu-ZSM-5 has been studied. The NO conversion in NO SCR by C₃H₈ has been found to reach a maximum value at Cu/Al ratio about 0.37–0.4 and remain constant at higher Cu/Al.

ESR and UV–vis DR spectroscopy have been used to elucidate stabilization conditions of copper ions in Cu-ZSM-5 zeolites as isolated Cu²⁺ ions, chain copper oxide structures and square-plain oxide clusters. The ability of copper ions for reduction and reoxidation in the chain structures may be responsible for the catalytic activity of Cu-ZSM-5. These transformations of copper ions are accompanied by the observation of intervalence transitions Cu²⁺–Cu⁺ and CTLM of the chain structures in the UV–vis spectra.     

3D velocity from 3D Doppler radial velocity

We present local least squares and regularization frameworks for computing 3D velocity (3D optical flow) from 3D radial velocity measured by a Doppler radar. We demonstrate the performance of our algorithms quantitatively on synthetic radial velocity data and qualitatively on real radial velocity data, obtained from the Doppler radar at Kurnell Radar station, Botany Bay, New South Wales, Australia. Radial velocity can be used to predict the future positions of storms in sequences of Doppler radar datasets.© 2005 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 15, 189–198, 2005     

Ring‐opening polymerization of D,L‐lactide by rare earth 2,6‐dimethylaryloxide

Ring‐opening polymerization of D,L ‐lactide (LA) has been successfully carried out by using rare earth 2,6‐dimethylaryloxide (Ln(ODMP)₃) as single component catalyst or initiator for the first time. The effects of different rare earth elements, solvents, monomers and catalyst concentration as well as polymerization temperature and time on the polymerization were investigated. The results show that La(ODMP)₃ exhibits higher activity to prepare poly(D,L ‐lactide) (PLA) with a viscosity molecular weight of 4.5 × 10⁴ g mol^?1 and the conversion of 97 % at 100 °C in 45 min. The catalytic activity of Ln(ODMP)₃ has following sequence: La > Nd > Sm > Gd > Er > Y. A kinetic study has indicated that the polymerization is first order with respect to both monomer and catalyst concentration. The apparent activation energy of the polymerization of LA with La(ODMP)₃ is 69.6 kJ mol^?1. The analyses of polymer ends indicate that the LA polymerization proceeds according to ‘coordination–insertion’ mechanism with selective cleavage of the acyl–oxygen bond of the monomer. Copyright © 2004 Society of Chemical Industry     

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.     

A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.