Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

Ozonation of CI Reactive Black 5 using rotating packed bed and stirred tank reactor

This study investigates the ozonation of CI Reactive Black 5 (RB5) by using the rotating packed bed (RPB) and completely stirred tank reactor (CSTR) as ozone contactors. The RPB, which provides high gravitational force by adjusting the rotational speed, was employed as a novel ozone contactor. The same ozone dosage was separately introduced into either the RPB or the CSTR for the investigation, while the experimental solution was continuously circulated within the apparatus consisting of the RPB and CSTR. The decolorization and mineralization efficiencies of RB5 in the course of ozonation are compared for these two methods. Moreover, the dissolved and off‐gas ozone concentrations were simultaneously monitored for the further analysis. As a result, the ozone mass transfer rate per unit volume of the RPB was significantly higher because of its higher mass transfer coefficient and gas–liquid concentration driving force. Furthermore, ozonation kinetics was found to be independent of the gravitational magnitude of an ozone gas–liquid contactor. Therefore, the results suggest employing RPBs as ozone‐contacting devices with the advantage of volume reduction. The experimental results, which can be used for further modeling of the ozonation process in the RPB, also show the requirement of correct design for the RPB. Consequently, the present study is useful for the understanding of practical application of RPBs. Copyright © 2004 Society of Chemical Industry     

Finite-difference time-domain analysis and experimental examinationof the performance of a coupled-cavity MQW laser/active waveguide at1.54 μm

The performance characteristics of a coupled cavity InGaAsP-InP MQW laser/active waveguide made by one-step epitaxy and well-controlled reactive ion etching (RIE) have been theoretically analyzed and experimentally determined. A theoretical model based on a finite-difference time-domain (FDTD) technique was used to simulate the propagation of an optical wave launched in the coupled system and determine the reflectivity of the facets created by RIE. The calculated effective reflectivity of the coupling region consisting of two facets and an air gap is between 0.45 and 0.55, which is in good agreement with the experimentally measured value of 0.5. The reflectivity of a single etched mirror derived from this value is estimated to be 0.3. A 120-μm-long monolithically integrated active waveguide when biased as a modulator and excited by the laser shows a maximum extinction ratio of 8 dB and a modulation bandwidth ⩾14 GHz at a dc bias of -0.5 V with a bias swing of 2 V     

井巷掘进控制斜形炮孔钻孔精度的试验研究

井巷掘进爆破工程中，工作面按设计要求，布置各种斜形炮孔，利用量角器和垂直尺控制钎杆与工作面夹角，使炮孔钻孔精度与设计炮孔角度基本上符合，在生产中取得了良好的爆破效果．     

新型复合弹簧的研究

提出一种金属圆锥弹簧与橡胶圆锥弹簧复合而成的弹簧．分析表明：它可以应用于弹性耦合激励振动筛和座式直线振动筛。     

Solution structure of the superactive monomeric des-[Phe(B25)] human insulin mutant: elucidation of the structural basis for the monomerization of des-[Phe(B25)] insulin and the dimerization of native insulin

The three-dimensional solution structure of des-[Phe(B25)] human insulin has been determined by nuclear magnetic resonance spectroscopy and restrained molecular dynamics calculations. Thirty-five structures were calculated by distance geometry from 581 nuclear Overhauser enhancement-derived distance constraints, ten phi torsional angle restraints, the restraints from 16 helical hydrogen bonds, and three disulfide bridges. The distance geometry structures were optimized using simulated annealing and restrained energy minimization. The average root-mean-square (r.m.s.) deviation for the best 20 refined structures is 1.07 angstroms for the backbone and 1.92 angstroms for all atoms if the less well-defined N and C-terminal residues are excluded. The helical regions are more well defined, with r.m.s. deviations of 0.64 angstroms for the backbone and 1.51 angstroms for all atoms. It is found that the des-[Phe(B25)] insulin is a monomer under the applied conditions (4.6 to 4.7 mM, pH 3.0, 310 K), that the overall secondary and tertiary structures of the monomers in the 2Zn crystal hexamer of native insulin are preserved, and that the conformation-averaged NMR solution structure is close to the structure of molecule 1 in the hexamer. The structure reveals that the lost ability of des-[Phe(B25)] insulin to self-associate is caused by a conformational change of the C-terminal region of the B-chain, which results in an intra-molecular hydrophobic interaction between Pro(B28) and the hydrophobic region Leu(B11)-Leu(B15) of the B-chain alpha-helix. This interaction interferes with the inter-molecular hydrophobic interactions responsible for the dimerization of native insulin, depriving the mutant of the ability to dimerize. Further, the structure displays a series of features that may explain the high potency of the mutant on the basis of the current model for the insulin-receptor interaction. These features are: a change in conformation of the C-terminal region of the B-chain, the absence of strong hydrogen bonds between this region and the rest of the molecule, and a relatively easy accessibility to the Val(A3) residue.     

PSD激光直线度测量仪

介绍了采用PSD传感器设计的激光直线度测量的工作原理，以及激光器、光靶和计算机系统的设计。     

地震数据采集系统中频谱均衡滤波器的理论设计

地层的高频吸收衰减效应是导致地震勘探分辨率不高的主要原因，在高分辨率野外地震数据系统中，频谱均衡滤波器所设置的重要部件。文章以频谱均衡滤波器的原理和地层吸收衰减特性为基础，用计算机模拟的方法研究地层吸收衰减使分辨率降低的程度和频谱均衡滤波器对分辨率的补偿效果，给出了较好的频谱均衡滤波器的设计方案。     

Statistical estimation of average power dissipation usingnonparametric techniques

In this paper, we present a new statistical technique for estimation of average power dissipation in digital circuits. The present parametric statistical technique estimates the average power based on the assumption that the power distribution can be characterized by a preassumed function. Large error can incur when the assumption is not met. On the other hand, the existing nonparametric technique, although accurate, is too conservative and requires a large sample size in order to achieve convergence. For a good tradeoff between simulation accuracy and computational efficiency, we propose a new nonparametric technique using the properties of the order statistics. It is generally applicable to any type of circuit irrespective of its power distribution function. Compared to the existing nonparametric technique, it is much more computationally efficient since it requires a much smaller sample size to achieve the same accuracy specification. This new technique is implemented in the distribution-independent power estimation tool (DIPE). DIPE is empirically demonstrated to be more robust and accurate than the parametric technique