实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

热力耦合试验中加载杆的改进设计

热力耦合试验中,加载杆在靠近加热元件的地方受到较强的辐射,在热流上升阶段容易使加载杆的温度迅速上升,强度迅速下降,导致试验失败。对此试验现象进行了数值模拟,对加载杆进行改进设计,通过添加热防护部件而解决此类问题,并利用数值模拟方法验证了此方法可行性。     

激光选区熔化制备钛合金点阵材料无损表征

通过激光选区熔化制备BCC和DOD结构的钛合金金属点阵,使用Micro–CT对两种结构的钛合金点阵材料进行扫描和三维重建。Micro–CT图像清晰地显示金属点阵内部结构,BCC和DOD单胞整齐地以周期性进行排列,且内部存在少量圆形、椭圆形缺陷。通过将实际样品三维数据与CATIA数模进行比对,发现钛合金点阵在制备过程中出现一定程度翘曲。此外使用共聚焦显微镜并基于Micro–CT图像对BCC和DOD两种金属点阵进行表面粗糙度测定。结果表明,Micro–CT在钛合金点阵材料内部结构、缺陷、制备误差、粗糙度测试等表征方面具有显著的应用价值。     

关于涡方法的讨论

本文讨论了如何提高二维涡方法的计算精度和减小涡方法计算量的问题。文中指出了改进的途径,同时列举了当前这些方面的研究进展情况。     

一种过失速区飞行敏捷性评估方法的研究

在评估过失速机动飞行的敏捷性中，首先建立了具有过失速机动（ＰＳＴ）能力的战斗机Ｆ２的数学模型，对常规战斗机Ｆ１与ＰＳＴ战斗机Ｆ２的空战进行了数值仿真，计算了在两架战斗机中Ｆ２首先攻击时间（ｔ１）和攻击时间范围（ＴＷＩＦＥ）。结果表明，战斗机Ｆ２比Ｆ１更具有空中格斗优势，空战中发动机推力、迎角变化率、操纵规律和离轴发射角（μ０）等因素对战斗机过失速机动敏捷性有一定影响。     

P—S—N曲线的测定及数据处理

根据３０ＣｒＭｎＳｉＮｉ２Ａ高强度钢的疲劳试验结果，系统地介绍了该材料Ｐ－Ｓ－Ｎ曲线的测定、绘制、数据处理方法，并阐述了Ｋｔ＝５时的材料疲劳特征。还附有数据处理用表。     

PLC栈缓冲ASIC芯片的设计与实现

存贮管理是计算机体系结构的重要组成部分。对于Prolog和Lisp两种人工智能语言来说,它们的操作大多都是针对栈式存贮区进行的,因此一个高速的栈控制器将有效地提高它们的执行速度。本文简要介绍了Prolog/Lisp协处理器(PLC)栈缓冲机制的结构、原理以及栈缓冲专用芯片SC(Stack Controller)的设计方法和实现技术,为Prolog和Lisp语言的高效执行提供了一个性能价格比较高的存贮系统。     

高精度板料半模成形新工艺

通过三个精密零件的成形实验，介绐了以粘塑性材料作传力介质的板料半模成形工艺的特点，研究了拉延过程中抗延力、压边力、容框内压的变化规律，工艺参数的控制对拉延所成败及产品质量的影响。     

受拉螺栓表面裂纹应力强度因子的估算

本文在实验的基础上,对螺栓螺纹根部处的表面裂纹在拉一拉载荷作用下应力强度因子K进行了初步研究,通过对已有圆柱体的表面裂纹应力强度因子公式的分析、比较,采用类比的方法,推出了受拉螺栓表面裂纹应力强度因子K的表达式,并借助于实验加以验证。