Reliability-estimation and stopping-rules for software testing,based on repeated appearances of bugs

Software-testing (debugging) is one of the most important components in software development. An important question in the debugging process is, when to stop. The choice is usually based on one of two decision criteria: (1) when the reliability has reached a given threshold, and (2) when the gain in reliability cannot justify the testing cost. Various stopping rules and software reliability models are compared by their ability to deal with these two criteria. Two new stopping rules, initiated by theoretical study of the optimal stopping rule based on cost, are more stable than other rules for a large variety of bug structures. The 1-step-ahead stopping rules based on the Musa et. al. basic execution and logarithmic Poisson models, as well as the stopping rule by Dalal and Mallows (1990), work well for software with many relatively small bugs (bugs with very low occurrence rates). The comparison was done by simulation     

制备2，4－二氯－5－氟苯甲酰乙酸甲酯的缩合剂及工艺研究

通过３种不同的碱来制备２，４－二氯－５－氟苯甲酰乙酸甲酯，优选得到了其最佳缩合剂甲醇钠；同时应用正交设计实验，研究了原料配比、反应时间、反应温度对收率的影响，在优选条件下收率为７８．５％。     

饲料级磷酸氢钙中氟的几种分析方法比较

本文采用茜素络合酮比色法和氟离子选择电极法对饲料磷酸氢钙进行氟的测定实验对比,得出常用的氟离子选择电极法完全可以代替经典的蒸馏比色法的结论。     

基体改性对C/C复合材料性能影响的研究(一)

本文从C/C复合材料的基体入手,研究了基体沥青、焦炭中添加氧化物的工艺条件及其在复合材料中的作用.结果表明,添加氧化物对基体改性,不仅能提高C/C复合材料的高温抗氧化性,也能对其它性能带来很大影响.只要控制适当的工艺条件,就可以得到高性能的C/C复合材料.     

自聚焦透镜用于端泵浦DPL的耦合光学系统

本文用自聚焦透镜耦合ＬＤ输出，解决了需要短焦距、大数值孔径透镜的设计和制方面的困难。提出了计算自聚焦透镜耦合效率的简化模型。用自聚焦透镜和一对正交柱面透镜设计了一个耦合系统，并用该耦合系统端泵浦Ｎｄ：ＹＡＧ棒做了实验。     

一种弧焊机器人实时激光扫描视觉系统

研制了一种小型高精度弧焊机器人实时激光扫描视觉系统，对其各项性能进行了测试，并进行了抗电弧光干扰试验，结果表明，此系统精度高，抗干扰能力强，检测范围宽，能广泛地应秀于机器人和自动化焊接中。     

FAST MEASUREMENT OF ASH CONTENT IN COAL WASHING PLANT

The coal filter cake is a product of fine coal after floatation which has an ash content of 7-13%, water content of 30±2%, and a particle size of less than 1 mm. The ash content was measured by the intensity of the single backscattered gamma-ray, and its accuracy is mainly dependent on the energy of the gamma-ray. The 238Pu low energy photon source is selected in this work. The energy of its gamma-ray is 15 keV, which can result not only in the best sensitivity, but also in the lowest contribution to the environment radiation. The root mean square deviation of the ash measurement is±0.33% (±1σ).     

空拉铜管“缩径”现象研究

揭示了空拉铜管时的“缩径”现象,分析了产生这种现象的原因以及各种工艺条件对其影响的规律。     

Dynamic elastic-plastic behaviour of whipping pipes: experiments and theoretical model

This paper is concerned with the problem of pipe whip, the dynamic response of a high pressure piping system subjected to an end force as the result of a pipe break which releases a jet of fluid from the broken section. Both experimental and theoretical results are presented concerning the dynamic elastic-plastic behaviour of cantilever pipes subjected to a transverse force pulse at the free end. Comparisons between experimental data and theoretical predictions are made for mild-steel pipes with outer diameter-to-thickness ratios of 19.5, 28 and 32. It is demonstrated that, for these geometries, the whipping pipes display three characteristically different responses, viz. elastic, plastic hardening behaviour for thick pipes, elastic, plastic hardening-softening behaviour for moderately thick pipes and elastic, plastic hardening-softening-collapse behaviour for thinner pipes. The experimental data taken from a series of high-speed films are compared with the predictions of the instantaneous shapes of the whipping pipes derived from both a rigid, perfectly-plastic, large deflection, dynamic beam model and a more comprehensive model which incorporates the effects of elasticity and plastic hardening and softening, the details of which are presented in the paper.