Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

多气隙电阻板室抗辐照性能研究

给出了为RHIC-STAR飞行时间探测器设计的多气隙电阻板室(MRPC)的辐照实验结果. 实验采用100mCi⁶⁰Co γ源, 采用不同的剂量率对MRPC进行辐照. 一个室在大剂量率2.87×10^－2Gy/h下辐照了24h后, 其性能如噪声计数率, 暗电流等均大大退化. 另一个室在相对低剂量率5.31×10^－4Gy/h下辐照了530h, 其性能没有见到任何变坏. 实验的目的是为了了解这种探测器在几年的运行中经过大剂量的辐照后的性能变化情况.     

交流源作用下介观RLC电路系统量子态随时间的演化

根据量子不变量理论，同时考虑介观电容器极板间电子波函数的耦合作用和电路的耗散,研究介观RLC电路系统在交流电流源作用下动力学的演化过程，并且得到描述系统量子态随时间的演化算符.进一步的分析结果表明，介观RLC电路系统的波函数将由任意的初态演化到一般的压缩态. 关键词： 介观RLC电路 交变电源 不变量理论 时间演化算符     

脉冲磁场处理对碳纳米管掺杂MgB2线材临界电流密度的影响

对碳纳米管(CNT)掺杂MgB₂超导体磁场处理后的行为进行了研究. 结果表明，CNT掺杂MgB₂超导体经5T脉冲磁场处理后临界电流密度J_c(H)在低磁场下提高了2—3倍，高场下提高一个数量级以上，扫描电镜结果显示CNT沿着处理磁场方向规则排列并且成为MgB₂基体的形核中心和高效的磁通钉扎中心. 关键词： 2')" href="#">MgB₂ 碳纳米管 脉冲磁场处理     

自由曲面光学虚拟制造与检测系统的探讨

自由曲面光学产品设计、制造与检测的工艺流程，通常采取试凑法逐次逼近。由于加工 检测 再加工，循环往复，既费时，成本又高，产生了瓶颈问题。为了解决此弊端，本文运用虚拟制造技术，提出光学虚拟制造的基本构想，即虚拟制造系统结构模型，给出光学系统虚拟原型的构成和光学系统成像质量虚拟检测系统的构成，讨论光学成像质量的仿真检测以及敏度分析方法。研究结果表明：运用虚拟制造与检测技术，可缩短研发周期，降低成本，优化工艺并提高产品质量。     

s波超导体绝缘层dx2-y2波超导体结的直流Josephson电流

在s波超导体绝缘层dx2-y2波超导体结(sId)中,考虑到结界面粗糙散射,运用BogoliubovdeGennes(BdG)方程和FurusakiTsukada(FT)电流公式,计算超导结中的准粒子传输系数和直流Josephson电流.结果表明:sId超导结的直流Josephson电流随温度以及结两侧的相位差变化的关系曲线强烈地依赖于d波超导体的晶轴方位;结界面的粗糙散射对Josephson电流有抑制作用 关键词： s/I/d超导结 dx2-y2波超导体 直流Josephson电流     

A new microtensile tester for the study of MEMS materials with the aid of atomic force microscopy

An apparatus has been designed and implemented to measure the elastic tensile properties (Young's modulus and tensile strength) of surface micromachined polysilicon specimens. The tensile specimens are “dog-bone” shaped ending in a large “paddle” for convenient electrostatic or, in the improved apparatus, ultraviolet (UV) light curable adhesive gripping deposited with electrostatically controlled manipulation. The typical test section of the specimens is 400 μm long with 2 μm×50 μm cross section. The new device supports a nanomechanics method developed in our laboratory to acquire surface topologies of deforming specimens by means of Atomic Force Microscopy (AFM) to determine (fields of) strains via Digital Image Correlation (DIC). With this tool, high strength or non-linearly behaving materials can be tested under different environmental conditions by measuring the strains directly on the surface of the film with nanometer resolution.     

Tests of ordered hypotheses in linkage in heredity

The asymptotic null distribution of the likelihood ratio test for two cases of ordered hypotheses in a particular genetic model is considered. A simple iterative process is proposed in order to get the restricted estimates. It is shown that both tests have asymptotically a chi-bar squared distribution and the same size. A simulation study is also conducted in order to compare the usual unrestricted test with the corresponding one of ordered hypotheses. Finally, the results are extended to some special cases.     

Effect of nonlinear wave-current interaction on flow fields and hydrodynamic forces

A fifth-order theory for solving the problem of interaction between Stokes waves and exponential profile currents is proposed. The calculated flow fields are compared with measurements. Then the errors caused by the linear superposition method and approximate theory are discussed. It is found that the total wavccurrent field consists of pure wave, pure current and interaction components. The shear current not only directly changes the flow field, but also indirectly does so by changing the wave parameters due to wave-current interaction. The present theory can predict the wave kinematics on shear currents satisfactorily. The linear superposition method may give rise to more than 40% loading error in extreme conditions. When the apparent wave period is used and the Wheeler stretching method is adopted to extrapolate the current, application of the approximate theory is the best. Project supported by the Chinese Academy of Sciences.     

Optical current transducers using flint glass fiber as the faraday sensor element

This paper describes development of the optical current transducers using flint glass fiber as the Faraday effect sensing element. Excellent polarization properties of the fiber with low birefringence are described, and the design and test data of a current transducer using the fiber manufactured for use in electric power facilities are reviewed. Experimental results on flexible characteristics of a scheme with round trip light transmission in the fiber is also reported.