形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于WVD和Hough变换二值积累的信号检测方法

WVD-Hough变换是检测多分量线性调频信号的有力工具,但当多分量线性调频信号能量相差较大时,采用WVD-Hough变换进行检测,就会导致强信号对应峰值的平台将弱信号所对应的峰值掩盖掉。虽然可以通过基于＂CLEAN＂思想的算法将信号一一检测出来,但带来的计算量急剧增大。为此在WVD-Hough变换的基础上提出了基于WVD-Hough变换的二值积累方法,该方法可以同时检测出强信号以及被强信号平台掩盖的弱信号,具有很大的实用价值,仿真的结果验证了算法的有效性。     

截锥形弹体穿甲板架结构的数值计算研究

采用非线性动力学程序AUTODYN,分析不同板架结构形式对靶板吸能和弹体剩余速度的影响以及截锥形弹体不同初始速度下的剩余速度和靶板吸能情况,同时研究板架结构穿甲的力学机理和靶板的破坏模式.数值计算表明撞击点不同时横向加筋的大小对板架结构吸能影响不同,纵向加筋间距和大小的改变对板架结构形式的吸能效果影响不大,板体厚度越厚靶板的吸能效果愈好.不论撞击位置在何处,穿透靶板的弹体初始速度与剩余速度基本呈线性关系,且剩余速度相差不大.     

活塞环润滑及摩擦损失仿真分析

利用平均雷诺方程分析活塞环-缸套间的润滑特性,仿真结果表明,活塞环-缸套间的摩擦损失受表面粗糙度、润滑油粘度、环表面型线等因素的综合影响;活塞在做功行程上止点时,活塞环-缸套间油膜最薄,摩擦损失功率最大;采用非等压环时,油膜厚度沿着活塞环周向分布是不均匀的,在环开口位置处厚度较小.     

两种飞行甲板形式的舰船空气流场特性比较

搭载固定翼飞机的水面舰船受多种因素的影响,通常会采用多种飞行甲板形式,尤其是在没有配备弹射器但搭载有固定翼飞机的舰船上,是否采用滑跃式起飞甲板,采用后舰面空气流场会有哪些变化是在总布置设计必须要讨论的问题.本文通过在定常条件下,同一船型上采用的2种飞行甲板舰面布置方案进行了多个工况的空气流场模拟计算,对计算结果进行分析,观察模拟出的二维/三位流线形态,对舰船采用不同飞行甲板形式的气流场特性进行了初步的探讨.     

舰船弹性安装设备抗冲击设计的“谱跌”问题研究

研究在应用冲击谱进行舰艇设备抗冲击性能设计时,由于基础的弹性引起的冲击谱设计谱值的变化规律.利用二自由度模型简化舰艇设备安装模型,通过对二自由度模型基础冲击谱的分析,得出在设备的自身固有频率处,基础的冲击谱存在峰值的突降.在设备自身固有频率和基础固有频率接近,或设备质量大于0.2倍基础质量时,必须考虑"谱跌"因素的影响.多自由度系统中具有相同的"谱跌"现象和规律.     

一体化永磁无刷无泄漏电动泵及其在舰船核动力装置上的应用

运用永磁无刷电动机技术对舰船核动力装置等要求屏蔽或密封场合电动泵进行了分析、改进.在综合轴封泵和屏蔽泵结构特点基础上,将屏蔽电机中的转子由普通的鼠笼式改变成永磁式,构成一个永磁电机.在电机传动控制上采用自同步调速控制,使电机、叶轮、屏蔽套、轴承、调速控制等一起构成一体化永磁无刷无泄漏电动泵,并提出了在舰船上的运用控制技术.     

拖曳天线用于无线电导航定位试验研究

针对拖曳天线用于水下接收无线电信号进行导航定位开展了导航定位拖曳天线技术研究,并在某海区进行了拖曳天线用于无线电导航定位的综合性试验,试验取得了成功.试验研究表明,利用拖曳天线进行水下无线电导航定位是可行的,为无线电导航定位仪实现水下定位开辟了一条新的道路.本项试验的成功具有非常重要的意义.     

不同结构型式桩基透空式防波堤功效综合实验研究

以波浪模型实验为基础,对不同结构型式桩基透空式防波堤的透浪系数和结构受力进行分析,寻找其规律,并引入一桩基透空式防波堤功效的评判系数及其计算的经验公式,通过比较得出初步结论.     

浅谈钢纤维混凝土的特性及其施工工艺

钢纤维混凝土是一种新兴的建筑材料,有关它的研究也在不断的深入,随着材料科学的不断进步,施工工艺的不断完善,钢纤维混凝土以其优是的特性,在各工程领域内将有更广阔的应用。