基于模型的方法在软件测试领域的应用与发展

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进行回顾,并对基于模型的自动化测试工具、应用实践进行了概述.最后,探讨了MBT技术的未来发展与研究方向.     

对粘连和缺损数字串分割的研究

把缺损和粘连的字符串分割成单个字符以便后续识别,是字符识别的关键问题之一.本文以货运列车车号为例,提出一种有效的分割方法.该方法以弧特征和变基准线区域分割为基础,引入了识别反馈分割策略.将其应用于实际运行的识别系统时获得了较高的正确分割率.     

CAS-LIBB微束计算机控制系统运行与改进

作为辐射生物学发展的前沿,微束已经成为当今世界上用来研究低剂量辐射生物效应的一个强有力手段.单离子微束装置是一种将离子束斑的直径限制在微米量级范围内,并能将预定数目的离子精确注入到细胞中某一指定位置的辐射装置.结合一套自行开发的控制程序,CAS-LIBB微束装置的计算机控制系统可以实施对生物样品的精确定量和定点辐射.本文首先给出了装置定量和定点辐射的精度测定结果,该精度完全能够胜任细胞-亚细胞尺度的精确辐射.接下来详细探讨了控制系统的改进工作,最后对控制系统进行了展望.     

J-积分在镀层基体平面压痕边界开裂中的应用

当二维平端刚性压头作用在镀层基体的表面时,在镀层材料的表面形成一个平面压痕,同时在压痕的边界处将诱生奇异应力场和K-控制区。与裂纹问题类似,该应力场的平面压痕应力强度因子是描述奇异应力场应力集中程度的唯一参量。本文将利用守恒积分,讨论镀层基体平面压痕守恒积分的主要特征,同时给出镀层基体平面压痕应力强度因子的远场积分计算方法。     

多维矩阵制大学生党组织建设探索——以江西理工大学为例

当前,内容与时俱进、形式灵活多样、突出民主参与、重视合作交流成为大学生入党后再教育的新要求,但传统的直线制党组织结构因其内在的党性锤炼缺乏平台、横向交流缺乏纽带、党员培养缺乏动力、组织创新缺乏精力等诸多缺陷,已无法满足对大学生党员的教育需求。鉴于此,通过江西理工大学的实践探索,提出建设多维矩阵制学生党建联合会的新举措,在创新党建组织机构,强化党支部建设,按需设立职能部门,实施项目化管理的基础上,取得了大学生党员入党后再教育较好的锻炼效应、服务效应、辐射效应和卓越效应。     

基于虚拟仪器的电压闪变测量研究

电压波动和闪变是评定电能质量的重要指标之一,文章通过对IEC设计规范的闪变测量系统的分析,提出了一种改进的电压闪变检测方法,仿真结果证明本文提出的改进方法不仅减少了滤波环节,而且提高了闪变的检测精度。     

椭球参数对大地坐标转换的影响——大地坐标微分公式再推导

针对e(椭圆第一偏心率)与a(椭圆的长半轴)之间的函数关系,对大地坐标微分公式进行了再次推导,得出一种新的广义大地微分公式.对两公式进行比较,并用WGS-84坐标与BJ54坐标转换的差异进行计算、分析,结果表明:在小区域范围内,利用两公式进行坐标转换效果相差不大,但对测区范围较大的情况,新的大地坐标微分公式为获得GPS测点的高精度坐标转换,提供了有用的工具.     

一类非线性奇异控制系统的块解耦

讨论了在正则状态下反馈作用下，一类非线性奇异控制系统的输入输出块解耦问题，首先给一种算法，然后利用该算法导出系统输入块解耦问题可解的充分必要条件。     

LPE生长外延片超薄有源层结构的SEM研究

通过对液相外延（LPE）生长的外延片不同处理方法的研究，摸索出一条利用扫描电子显微镜（SEM）来观测有源区厚度的有效方法──蒸金法，最优可观察有源区厚度20nm，对设计厚度为18nm结构来说[1]，这是一种便利而有效的观察手段。     

纤维缠绕外压容器稳定性最佳铺层分析

在纤维缠绕压力容器设计中，纤维缠绕的方向及各方向纤维用量配比是关键问题。过去的研究中，这一问题一直没能得到很好地解决，特别是各方向纤维用量问题。本文在文献［１～４］的基础上，以加权因子和铺设角为参量给出了对称多层正交各向异性外压容器筒体失稳的最佳铺层理论值。得出了加权因子ｓ取最佳值的范围为０＜ｓ＜０．２５的结论。文中算例表明，按最佳取值给出的临界压力较其它情况有较大幅度的提高。