改性沥青关键问题的讨论

本文就改性沥青的路用性能、影响改性效果的关键因素、改性沥青技术指标与规范以及改性沥青的应用进行了讨论和分析，有关结论对于改性沥青的研究、开发及应用具有指导和参考价值。     

Refinement of fair action systems

An action system is a framework for describing parallel or distributed systems, for which the refinement calculus offers a formalisation of the stepwise development method. Fairness is an important notion in modelling parallel or distributed systems, and this paper investigates a calculus for refinement of fair action systems. Simulations, which are proof techniques for refinement, are extended to verify fair action systems. Our work differs from others' in that the additional condition concerning fairness is expressed through termination of related iteration statements. For this purpose, existing proof rules for termination are extended. In the tradition of the refinement calculus, our approach to fairness is based on techniques developed mainly for sequential programming. Received: 16 March 1995 / 16 April 1997     

Residual generation for fault diagnosis in linear time-varying systems

A residual generation method for fault diagnosis in deterministic and stochastic linear time-varying systems is proposed in this note. Based on appropriate assumptions on the monitored faults and on some persistent excitation condition, it enables complete diagnosis of any number of faults, regardless of the number of output sensors. In order to generate residuals for fault diagnosis, part of the possible faults are estimated with a recently developed technique of adaptive observer. The sensitivity of the residuals to the monitored faults is rigorously analyzed, as well as their insensitivity to the faults to be ignored.     

基于两相正交开关霍尔传感器的混合型转子位置预估方案的FPGA实现

提出了一种利用两相正交的锁定型开关霍尔传感元件对正弦波永磁同步电动机转子位置进行预估计的新型数字电路设计方案,并进行了误差分析,最后在可编程逻辑器件FPGA上完成了布局布线和时序验证.仿真和实验结果表明稳态时能够获得比较高的位置精度,而且性价比比较合理,可以与其他功能模块或IP芯核相结合应用在低成本的简易正弦驱动场合.     

Structure, Phonon Vibration, and Spin Correlation of LaBa2Cu3−x Co x O y

Polycrystalline samples LaBa₂Cu_3?xCo _x O _y (0 ≤ x ≤ 1.0) were synthesized by solid state reaction method. The structure, phonon vibration, conduction, and spin correlation were investigated by means of X-ray diffraction, infrared spectra, resistivity, and electron spin resonance. It is found that there are orthorhombic–tetragonal and tetragonal–orthorhombic structural transitions with Co doping, and the conduction behavior changes from metallic to semiconducting. With the increase of Co content, the Cu(1)—O(1) phonon mode around 531 cm^?1 softens, the Cu(2)—O(2) phonon mode around 657 cm^?1 hardens, and the Cu(1)—O(4) mode around 583 cm^?1 is nearly unchanged. The Cu²⁺ spins tend to localize with Co doping. The changes in structure, phonon vibration, and spin correlation with Co doping are analyzed and discussed.     

Low-temperature synthesis of nanocrystalline ZnGa2O4:Tb phosphors via the Pechini method

The synthesis of trivalent terbium doped ZnGa₂O₄ nanosized new phosphors by the Pechini method was reported. Well-crystallized ZnGa₂O₄:Tb³⁺ phosphors were obtained at low-temperature about 550 °C. The phosphors formed porous agglomerates which consist of spherical nanocrystallites with a uniform size at about 30 nm. The photoluminescence of the phosphors included both the luminescence of ZnGa₂O₄ host and characteristic emission of Tb³⁺, and the excitation spectra showed an energy transfer from the host lattice to the activator. The Tb³⁺ emission from the phosphors prepared by the Pechini process was more intensive than that of phosphors by solid-state reaction process.     

The behavior and effect of rare earth CeO<Subscript>2</Subscript> on <Emphasis Type="Italic">in-situ</Emphasis> TiC/Al composite

Rare earth CeO₂ was investigated as an additive for in-situ preparation of TiC/Al composites using XD (exothermal dispersion) + casting technology. Experiment results showed that an optimum CeO₂ addition of 0.5 wt pct promotes the generation and refinement of TiC particles, prevents the formation of Al₃Ti, increases the wettability between the TiC ceramic particles and the Al matrix, and improves the mechanical properties of composite. A corresponding thermodynamic model was proposed for the mechanism.     

XNode:一种新的利用RDBMS来存储与检索XML的方法

XML作为互联网上数据表示和交换的标准正在飞速发展,利用RDBMS来存储与检索XML文档是发展的一个趋势。文章提出了一种新的基于路径存储与检索XML文档的方法XNode,采用了前缀加序号的编码策略,并且给出了具体实现方法及实验结果。结果表明该方法的效率高,适用范围广。     

施工阶段环境污染问题分析与防治措施

归纳分析了施工阶段存在的污染问题,提出了相关的解决措施和办法,阐述了绿色施工和建筑业可持续发展的含义.     

一种适用于复杂对象管理的分布式并发控制算法

本文在多数一致法的基础上提出了一种新的并发控制算法,并给出了其正确性证明。该算法的最大特点是允许不同层次的颗粒同时作为并发控制单位存在,因而更适用于工程数据库中对复杂对象的管理。