Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

940nm高功率激光二极管及线阵

设计并制作出了940 nm无铝有源区高功率激光二极管和激光条.通过MOCVD法生长出应变量子阱材料,器件显示出极好的性能,100μm条宽的激光二极管最大输出功率达800mW(室温),填充因子为17%的激光二极管条发射功率达32 W.     

C/O能谱测井数据预处理的两点改进意见

简单介绍了碳氧比测井的原理及通常的数据处理方法。分析了由常规数据处理所得曲线仍然存在的问题及可能的成因 ,并给出了可行的修正办法。讨论了另一种可行的曲线异常数据的检测、剔除方法。实践表明 :文章讨论的两点建议都是可行的 ,并且在提高测量曲线质量的同时也提高了地层含油饱和度的解释精度。     

硅钢片模具设计及其线切割加工

论述了电磁铁铁芯 (硅钢片 )模具的设计要点及其线切割加工的技巧 ,提出了提高模具加工精度和使用寿命的有效措施。     

SCC casting prediction for the realization of prototype VHPC-precambered composite beams

Casting simulations of self-compacting concrete are carried out in order to obtain a value of the minimum fluidity needed to cast a VHPC precambered composite beam. The mix proportioning of the concrete takes into account this minimum value. The numerical predictions are finally compared with the experimental observations during two casting tests and the real casting of the two 13 m beams. Although the simplifying assumptions needed to carry out the simulations are numerous, there is an agreement between the predictions and the real casting.     

Transparent monolithic zirconia gels: effects of acetylacetone content on gelation

Transparent yttria-stabilized zirconia monolithic gels were synthesized under controlled conditions for hydrolysis and chemical polymerization. The influence of acetylacetone on the previous chemical reactions was explored, and a plausible explanation was proposed concerning the outstanding role of this additive during the gelation process. Small-angle X-ray scattering was used to estimate the size of the polymeric species and to investigate the influence of acetylacetone on the structure of the gels prepared.     

A simple one-cycle power supply for approach to saturation studiesin soft magnetic polycrystalline toroidal samples

The ring shape is a good solution to the study of the magnetization processes of magnetic materials because demagnetizing fields are easily avoided. However, when small samples are investigated, the magnitude of the field applied is necessarily limited by the low number of primary winding turns, and by the cross section of the wire itself. The use of sequential-type techniques for high current supply allows this problem to be avoided. One-cycle power production from the 50 Hz AC-line voltage is a simple example of such techniques. An electronic device designed around a commercial integrated circuit is described. A full period of current of 20-ms duration is applied to the load with a magnitude ranging from 0 to 100 A. Magnetization parameters of soft polycrystalline ring ceramics approaching the saturation region are studied as an application. The fitness to measure such characteristic parameters as saturation magnetization and magnetic hardness is shown     

On the stationary distribution of speed and location of random waypoint

In "Stationary distributions for the random waypoint mobility model" (TMC, Vol. 3, No, 1), Navidi and Camp find the stationary distribution of the random waypoint model, with or without pause on a rectangular area. In this short note, we show that, under the stationary regime, speed and location are independent.     

An integrated system to remote monitor and control anaerobic wastewater treatment plants through the internet.

The TELEMAC project brings new methodologies from the Information and Science Technologies field to the world of water treatment. TELEMAC offers an advanced remote management system which adapts to most of the anaerobic wastewater treatment plants that do not benefit from a local expert in wastewater treatment. The TELEMAC system takes advantage of new sensors to better monitor the process dynamics and to run automatic controllers that stabilise the treatment plant, meet the depollution requirements and provide a biogas quality suitable for cogeneration. If the automatic system detects a failure which cannot be solved automatically or locally by a technician, then an expert from the TELEMAC Control Centre is contacted via the internet and manages the problem.     

Making polyurethane foams from microemulsions

A remarkable correlation exists between the degree of expansion of polyurethane foams and the structure of the reacting premixes. Polyurethane foams obtained from reacting premixes containing microemulsions are highly expanded. The expansion rate is proportional to the volume fraction of microemulsion in the premix. The stability of premixes with and without microemulsion is completely different suggesting distinct creaming mechanisms. We apply this idea to synthesize polyurethane foams from microemulsions successfully. This approach can be used to rationalize the design of polyurethane formulations leading to highly expanded foams.