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.     

动态激光衍射法测量细丝直径

基于夫琅禾费衍射理论和巴比涅互补原理,提出了利用激光衍射对细丝直径进行动态测量的方法.该方法具有测量精度高、速度快、非接触、使用方便且易于微机联接实现自动化测量等优点.     

实施技术创新工程发展高新技术产业

近几年来，我局围绕我市制定的“实现二次推动，促进二次创业”的发展目标，把开展科技进步和技术创新工作作为促进我市块状经济升级和产业结构调整优化、加快经济发展的重要抓手，具体制订了诸暨市“2233”技术创新工程计划，即力争通过二至三年的努力，培育和发展20家技术创新示范企业，与20家大专院校、科研机构建立产学研联合体或基地，重点扶持30个技术创新示范项目，培养和造就30名技术创新优秀人才，并相继出台一系列激励技术创新的政策，使全市企业出现了技术创新和开发高新技术产品的热潮。目前，我市已有省级以上高新技术企业24家…     

基于FPGA并行处理的实时图像相关速度计

研究制作了一种采用高速线阵CCD的实时相关速度计,其测量数据的输出速率可达每秒一万次。针对以往光学相关测速方法的问题进行了讨论,探讨了适合FPGA并行处理的算法,制作了高速线阵CCD摄像机及其处理装置。通过实验验证了系统的可行性和可实现性。     

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

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

醇+N-甲基哌嗪二元体系的体积性质

采用振荡管式数字密度计分别测定甲醇、乙醇、正丙醇、异丙醇、丁正醇和异丁醇与N-甲基哌嗪组成的二元体系在298.15K下的密度，计算了超额摩尔体积、超额偏摩尔体积、表观摩尔体积、偏摩尔体积等体积性质，从分子相互作用角度讨论了这些二元体系的体积性质的变化规律，为N-甲基哌嗪的开发和研究提供基础数据和信息。     

夫琅禾费衍射公式的一般形式

从不同的途径导出了大角度情形下亦成立的夫琅禾费衍射积分的一般形式，指出此一般形式公式是求解夫琅禾费衍射的基本公式．并通过对夫琅禾费衍射公式的级数形式的推导，揭示了傅里叶光学中“夫琅禾费衍射公式”与一般形式公式存在的差别，以及消除这种差别的措施．此外，还较详细地讨论了倾斜因子对衍射花样的影响．这对于衍射测量及深入理解夫琅禾费衍射的本质有一定的指导意义．     

关于自组凯尔文电桥的测量不确定度

凯尔文电桥是国内大学基础物理实验所开设的实验内容之一，且多为自组式．关于自组凯尔文电桥的测量精度与桥路参数精度之间的关系，有些实验教材已有推导，但尚未涉及与两低阻相邻电压接头间跨桥电阻的定量关系，不注意这一点，会给测量结果带来一定的误差．本文就实际中常用的等双臂凯尔文电桥从理论上定量地推出了这一关系，进而给出了跨桥电阻可忽略时的适当阻值．     

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

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

张峰水库一干1号至4号隧洞工程地质条件评析

以野外第一手资料为基础，参照岩土物理力学性质参数，对张峰水库一干1号至4号隧洞围岩进行了工程地质条件的分析与评价。