刘畅
- 作品数：57 被引量：230H指数：9
- 供职机构：北京航空航天大学宇航学院更多>>
- 发文基金：国家自然科学基金中国航空科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学一般工业技术更多>>
- 综合模块化航空电子软件测试环境被引量：5
- 2011年
- 分析了综合航电软件特性和体系结构,总结了软件测试需求。对综合航电软件测试环境进行了初步研究,提出了具有三层软件体系结构的仿真测试环境,能够满足综合航电软件的测试需求。通过基于任务的测试仿真模型与测试配置蓝图,能够解决实时测试数据激励与收集和动态测试配置的关键技术。通过原型系统的测试,验证了测试环境软件体系结构的应用性和正确性。
- 郑军刘畅任占勇
- 关键词：软件测试测试环境软件体系结构
- 微推力全弹性测量装置被引量：15
- 2007年
- 介绍了一种新型微小推力测量装置的工作原理和工作过程，推力测量范围0-200mN，装置测量精度±1％。针对N2和N2O冷气发动机，模拟空间工作环境进行了地面试验，对发动机工作推力、推进剂流量、压强、真空度等参数进行了测量，给出推力测试结果与理论计算数据的对比。试验证明，推力测量装置工作稳定、可靠，可以精确测量出发动机mN级微小推力。
- 汤海滨刘畅向民徐衡杨勇
- 关键词：微推进推力测量推力测量方法
- 含分层损伤碳纤维增强复合材料可用性探讨
- 复合材料层合结构在使用过程由于冲击或生产加工带来的微小的分层损伤会扩展演化为严重的损伤而导致结构的全面失效,是复合材料结构使用中的主要隐患。为了研究分层损伤对结构强度的影响,沿复合材料层合板厚度方向不同界面间预置了不同形...
- 刘畅王康康赵洁
- 关键词：复合材料
- 基于系统理论事故模型的雷达系统软件缺陷预测应用研究被引量：9
- 2020年
- 雷达等电子装备中软件发挥的作用逐渐增强,软件质量成为影响雷达质量和效能的关键因素,分析预测雷达系统软件潜在缺陷的趋势,对雷达系统软件质量控制与保障具有重要意义。为有效刻画雷达系统软件缺陷机理,文中提出基于系统理论事故模型(STAMP)的雷达系统软件缺陷预测方法。首先,基于STAMP与历史缺陷数据,构建雷达系统软件控制过程模型;然后,构建贝叶斯网络,对历史缺陷数据进行训练学习,获取雷达系统软件缺陷预测规则;最后,在雷达系统软件上开展工程应用,进行缺陷预测,并对预测结果进行分析,验证新方法的有效性和实用性。
- 柳溪刘嘉刘畅李海峰刘宇汪圣利
- 关键词：软件测试雷达贝叶斯网络
- 基于模型定义的长周期数据存储检验方法
- 本发明提供一种基于模型定义的长周期数据存储检验方法，包括以下步骤：步骤一，将CAD原始模型一键转换为STEP AP 242格式的STEP模型；步骤二，从STEP模型中提取非几何信息保存为第一STEP文件；步骤三，从原始模...
- 吴灿辉刘畅李学常汪森王康李狮伟
- 文献传递
- 小功率电弧加热发动机地面试验(Ⅰ)NH_3推进剂试验和分析被引量：2
- 2006年
- 介绍了以NH3为推进剂的小功率电弧加热式发动机模拟空间环境的地面试验,测量了发动机工作性能参数。通过对工作参数优化,达到发动机高比冲的工作状态,并重点分析了推进剂流量对发动机性能的影响。研究结论为N2H4推进剂的试验提供了依据。
- 汤海滨刘畅马彬肖应超刘宇
- 一种结合线性时序逻辑和故障树的软件安全验证方法被引量：3
- 2015年
- 嵌入式软件在安全关键领域的广泛应用使得保障软件的安全性成为学界的研究热点。故障树技术是工业界常用的传统的安全分析方法之一。然而,传统的故障树无法精确描述安全关键系统中具有时序特征的系统故障。针对此问题,给出了一种结合线性时序逻辑和故障树的安全验证方法。该方法运用线性时序逻辑对故障树进行形式化规约,从中抽取出软件安全属性并用时序逻辑公式进行描述,用以支持对安全关键软件的模型检验。最后,以某机载控制系统软件数据处理故障模块的模型检验为例,来说明该方法的有效性和可行性。
- 王飞沈国华黄志球马琳刘畅李海峰廖莉莉
- 关键词：故障树分析线性时序逻辑安全关键系统
- 一种应用于搜索引擎的索引结构研究被引量：4
- 2005年
- 索引结构是搜索引擎的核心,直接影响着搜索引擎的检索性能。本文提出了一种新的索引结构,该结构充分利用字符串前缀个数及排列顺序的潜在规律,在查找过程中有效地重用了先前的匹配信息,提高了检索的效率。
- 刘畅张辉
- 关键词：索引结构搜索引擎倒排文件
- 基于DO-178B的软件测试技术研究被引量：3
- 2013年
- 为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同时,国内缺乏基于DO-178B的软件测试研究和工程实践,适航相关领域研究现状与国外成熟的适航标准规范体系相比尚有一定的差距;因此,文中根据DO-178B对软件测试的相关要求,提出一套基于DO-178B的软件测试技术方案,通过工程实例进行应用,并对相关领域的发展前景进行总结和展望;实例应用表明,该软件测试实施方案可以成功指导基于DO-178B的软件测试工作。
- 何鑫刘畅郑军
- 关键词：软件测试
- 氨电弧喷射推力器实验和数值研究被引量：3
- 2005年
- 为了证实氨电弧喷射推力器良好的工作性能,对其进行了系统的实验和数值研究。在实验研究中建立了高真空实验系统、先进的小推力测量系统和恒定电流控制系统,在数值研究中采用二阶精度无波动、无自由参数的耗散差分格式(NND格式)数值求解耦合电磁源项的扩展N S方程组。通过实验获得了不同结构尺寸的推力器不同工作条件下的工作性能,通过数值模拟给出了推力器的流场结构,预计了其推力、比冲和推进效率。研究结果表明,氨电弧喷射推力器工作性能良好,能够担负一定的空间应用任务。
- 肖应超汤海滨刘畅
- 关键词：电弧喷射推力器数值模拟
