实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

温度和加载速率对LY12CZ薄板材料断裂韧性的影响

以飞机结构常用的铝合金材料LY12CZ为研究对象，研究了温度、加载速率对平面应力弹塑性Ⅰ型裂纹起裂和扩展的影响。通过实验研究和数值分析，得到了以下四点结论，(D用断裂丝片测量裂纹稳定扩展段的长度是可行的；(2)静态载荷作用下的起裂韧性变化不大，但随温度的升高，材料在裂纹扩展过程中断裂韧性会降低；(3)低速冲击载荷作用下的弹塑性动态起裂韧性比静态值要小40％；(4)与增量路径无关积分的计算结果进行比较，说明在本研究情况下，J积分可以作为材料断裂韧性的表征参量。     

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

不同形貌Ni颗粒对向列相液晶电光性能的影响

将不同形貌的Ni颗粒(类碗状Ni颗粒、Ni花颗粒和Ni球颗粒)掺杂在液晶中制备了扭曲向列相(TN)液晶显示模式液晶盒,采用液晶综合参数测试仪对掺杂不同形貌Ni颗粒的向列相液晶(NLC)显示模式液晶盒的阈值电压、饱和电压、对比度及响应时间进行了研究。结果表明,掺杂Ni颗粒后,液晶的电光性能得到明显改善,阈值电压、饱和电压均有所降低,对比度明显增大,响应时间下降。其中类碗状Ni颗粒改善效果最为明显,驱动电压降幅达到13.77%,对比度增大35.55%,响应时间降低至9.390 ms。Ni颗粒的形貌及比表面积对液晶的电光性能有很大影响。比表面积及曲率大的Ni颗粒对液晶电光性能的改善效果好。      

探月飞行器软着陆光学自主导航的特征图形匹配方法研究

对基于特征图形匹配的月面精确着陆光学导航方法进行了研究, 包括图像特征点提取、特征图形构建以及特征图形匹配. 利用特征点间相对距离不变的特性, 确立特征点的连通规则, 解决存在平移、旋转和放缩等情况下的图形匹配问题. 利用多幅月面真实图片对算法进行仿真测试, 仿真结果验证了其有效性. 以所提出的特征图形匹配方法为基础, 设计仿真算例对导航方法进行验证, 结果表明, 基于特征图形匹配的光学导航方法可实时确定飞行器的位置和速度信息且精度较高, 是适用于探月飞行器精确着陆导航的有效途径.      

卫星高速数据传输领域中的相控阵技术应用研究

分析有源相控阵技术在高速数据传输领域的应用特点,指出卫星数传领域中使用相控阵技术需要在设计应用过程中关注的若干指标,可作为相控阵数传系统总体设计指标分解依据及参考。最后,搭建无线外场测试环境,验证在高速数据传输中使用有源相控阵天线的可行性和可靠性。     

新型轴流无叶喷嘴内环型线及旋转效应的实验研究

 建立了双出口、内环旋转式轴流无叶喷嘴实验装置,其中采用了三种不同型线和不同高度的内环。利用五孔探针和微型边界层三孔探针对喷嘴出口参数沿径向分布做了详细测量。获得了三种内环型线的速度系数等结果,可供设计型线时参考。实验结果还表明内环旋转可进一步减小喷嘴内流动损失。该新型喷咀可用于大功率透平的第一级。     

计算跨音速N─S方程组的二阶隐式矢通量分裂格式

提出了一种二阶精度隐式矢通量分裂单步差分格式并用于求解时间平均Ｎ－Ｓ方程组。与传统方法相比,该方法是Ｊａｃｏｂｉ谱半径格式和无近似因子分解。数值试验表明：该方法具有精度高、计算量小和收敛快等优点。在平面叶栅和扩压器进气道的跨音速流场的求解中,较好地捕获了激波、分离等现象,与实验数据比较结果令人满意     

基于生态足迹的廊坊市区域经济可持续发展研究

当今社会,人类自身发展对地球的索取越来越大,已经超出了其能持续供给的限度。所以可持续发展的循环经济理念目前已经从一个概念发展为国家层面的发展战略,正在被我国许多城市广泛实践。廊坊市作为河北省发展速度最快的城市之一,其发展必然要受到生态环境的制约。本文通过生态足迹研究方法分析廊坊市在可持续发展过程中面临的资源需求与供给问题,并提出有参考价值的解决途径。