Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

Millikan油离实验中的仪器故障分析与排除

本在大量实践的基础上，运用系统分析的方法，针对Millikan油滴实验中常见的故障，分析了产生的原因和排除的方法，对指导Millikan油滴实验教学具有实用价值。     

含铁氨羧螯合树脂配体交换除氟研究

报道了以D401型氨羧螯合树脂螯合固载铁(Fe^3+)，利用水溶液中F^-可与Fe^3+形成稳定配合物性质，实现了配体交换固液分离去除高氟水中的氟．实验研究了该种分离材料在含氟水的除氟性能和条件．结果表明，含氟10-20mg／L左右的水溶液中，除氟率可达99％以上，可使氟含量降至0．05mg／L以下，经测定，树脂对氟的吸附量可达2．7mg F^-／gR，水中常见共存离子对氟离子的吸附无影响，表现出树脂除氟过程的高度选择性．     

关于反射法测量透镜中心偏三轴误差的讨论

提出反射法测量透镜中心偏的具体装置,并具体分析转台装卡轴R(以和透镜接触的外圆柱面作为定位面),附加透镜光轴F,自准直仪光轴Z对整个系统误差的影响.     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

桥梁结构截面特性计算的梯形分块法

本文具体阐述了桥梁结构常用截面几何特性计算的基本原理,探讨了桥梁结构常用截面几何特性的电算方法,可供从事悬索桥设计与施工的人员参考。     

浅谈加油机流量测量变换器的故障及排除方法

本文介绍了加油机流量测量变换器在日常生活使用中经常出现的故障,并给出了解决方法。     

中国科学家揭示太空三维磁重联的几何结构——《Nature Physics》再次发表北京大学与国家天文台等最新合作成果

以中国科学院国家天文台肖池阶副研究员、北京大学王晓钢教授、濮祖荫教授等为主的研究小组，继去年首次发现了自然界中存在磁场零点（Nature Physics2（7），478—483，2006）之后，最近又合作完成了三维磁重联完整几何结构的卫星观测研究。     

投影于抵偿高程面上的坐标计算方法及其公式推导

讨论、分析投影于(任意)抵偿高程面上的平面坐标计算方法及其计算公式的推导。供同行们讨论与参考。     

带有强迫能量的最优几何Hermite插值

讨论了空间四次Bézier曲线在具有最小强迫能量的情况下的几何Herm ite插值,曲线不仅插值于两端点,而且插值于各端点的切线、曲率。证明了当两端点的距离足够小时,这种插值条件是可以满足的。