Complexes of Rare Earth Picrates with 1,10-Phenanthroline-N-Oxide

Rare earth picrate complexes with the ligand PhenNO,RE(PhenNO)_2(pic)_3(RE=La,Pr,Nd,Sm～Tb,Er,Y),have been prepared in non-aqueous medium.The complexes were characterized by elemen-tary analysis,molar conductance,IR,Raman,electronic,fluorescence and ~1H NMR spectra and TG-DTAtechniques.     

准噶尔盆地东部台3—北10井区侏罗系粒度特征

根据准噶尔盆地东部台3—北10井区21井350块侏罗系岩心样品的粒度分析资料,研究了该区粒度概率曲线特征,归纳出4类7种粒度概率曲线模式,并分别论述了它们所反映的沉积环境。     

ETS-10 Modulation to Alumina Support and its Promotion for Hydrodesulfurization

A composite support with ETS-10 stabilized in alumina, was firstly developed for hydrodesulfurization (HDS). It can impede inactive nickel spinel formation and favor more polymeric tungsten species formation, which facilitates the promotion effect of nickel on tungsten and leads to increasing activity in HDS of 4,6-DMDBT.     

浅议消防水箱的设计

在建筑消防设计中,消防水箱设计是否正确?是关系到初期火灾能否及时、有效地控制和扑灭,保护公民人身和财产安全的极为重要的环节。随着我国经济体制改革的深化,整个建筑行业正在迅猛发展,建筑的产业化、市场化,已成为国民经济发展的重要支柱。因此对工程设计科学化、规范化的要求,也越来越高;有关主管部门的审查,也越来越严。其中消防就是一项极为重要的内容。     

现场可编程模拟阵列AN10E40的应用开发

介绍了现场可编程模拟阵列AN10E40的基本结构、主要性能和开发过程。结合实例介绍了AnadigmDesigner软件的使用方法。     

Preparation,characterization and catalytic properties of the microporous titanosilicate,ETS-10

ETS-10 is a novel large pore (12 membered ring) molecular sieve containing Ti⁴⁺ in O_h environment and Si⁴⁺ in T_d environment sharing common O²⁻ ions. As a result, ETS-10 possesses large ion-exchange and adsorption properties, besides being acidic in the H-form. We report our studies on its synthesis, characterization using SEM, IR, TGA/DTA, UV-VIS, MAS-NMR techniques, adsorption and catalytic properties.     

16Co14Ni10Cr2Mo钢制飞机平尾大轴的真空淬火EI

介绍了可焊接的新型超高强度结构钢16NiCo及其制作的飞机水平安定面转动轴的真空热处理工艺。实践证明,采用真空热处理,可获得最佳的技术经济效益。     

Compositional checking of satisfaction

We present a compositional method for deciding whether a process satisfies an assertion. Assertions are formulas in a modal -calculus, and processes are drawn from a very general process algebra inspired by CCS and CSP. Well-known operators from CCS, CSP, and other process algebras appear as derived operators. The method iscompositional in the structure of processes and works purely on the syntax of processes. It consists of applying a sequence ofreductions, each of which only takes into account the top-level operator of the process. A reduction transforms a satisfaction problem for a composite process into equivalent satisfaction problems for the immediate subcomponents. Using process variables, systems with underfined subcomponents can be defined, and given an overall requirement to the system,necessary and sufficient conditions on these subcomponents can be found. Hence the process variables make it possible to specify and reason about what are often referred to ascontexts, environments, andpartial implementations. Since reductions are algorithms that work on syntax, they can be considered as forming a bridge between traditional noncompositional model checking and compositional proof systems.