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     

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

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

新型复合弹簧的研究

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

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     

邮电网络与信息高速公路

介绍了深圳市邮电局计算机网络的体系结构与系统功能，并通过分析网络建设过程中所遇到的问题，指出了我国信息高速公路建设中可能出现和应该注意的问题。     

磨损自补偿添加剂在成品油中的摩擦学效应

利用四球试验机考察了二聚酸－3－氯－2－羟基丙单酯（DAE）在4种成品油中的摩擦学性能。试验结果表明，DAE添加剂在L－HM68液压油和L－DAB100空压机油中具有良好的适应性，使其承载能力增强，摩擦系数降低及耐磨性增强；DAE在L－CKE涡轮蜗杆油中使耐磨性增强；DAE在L－CKC150齿轮油中虽使承载能力提高，减磨性增强，但有使耐磨性减小的趋势，说明DAE在不同的油中有不同的性能。