全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    综合模块化航电软件仿真测试环境研究  CNKI文献

    伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的...

    周庆 刘斌... 《航空学报》 2012年04期 期刊

    关键词: 综合模块化航空电子 / 软件 / 灰盒测试 / 仿真测试环境

    下载(918)| 被引(33)

    直流真空电弧强迫开断电弧形态  CNKI文献

    随着航空270V直流系统的应用,直流开关的需求逐渐增加。现阶段直流开关大多为空气开关,其开断容量较小,使用真空开关将对于提高开断容量具有一定优势。针对航空270V直流用短间隙真空灭弧室进行高频开断实验,研究了直流...

    刘斌 武建文 《电工技术学报》 2016年24期 期刊

    关键词: 直流真空电弧 / 强迫开断 / 电弧直径 / 电弧扩散

    下载(242)| 被引(10)

    基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性...  CNKI文献

    软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现...

    许玉堂 殷永峰... 《兵工学报》 2015年02期 期刊

    关键词: 计算机软件 / 软件体系结构 / 可靠性评估 / 时间扩展Petri网

    下载(212)| 被引(10)

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

    由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据&q...

    李震 刘斌... 《北京航空航天大学学报》 2012年11期 期刊

    关键词: 软件安全性 / 本体 / 形式化验证

    下载(403)| 被引(14)

    BIT验证中1553B总线故障注入设备的设计与实现  CNKI文献

    为满足航空电子设备中机内测试(BIT,Built-in-test)的试验验证需求,设计并实现了基于VxWorks操作系统的1553B总线故障注入设备;总线故障注入设备是1553B总线(MIL_STD_1553B总线的简称)故障注入系统的核心,是实现故障注...

    王莲 徐萍... 《计算机测量与控制》 2011年12期 期刊

    关键词: BIT / VxWorks / 1553B总线 / 故障注入

    下载(385)| 被引(18)

    面向机载软件适航验证的灰盒测试方法  CNKI文献

    针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了...

    周庆 刘斌... 《系统工程与电子技术》 2012年08期 期刊

    关键词: 软件适航 / 软件验证 / 灰盒测试 / DO-178B

    下载(257)| 被引(7)

    基于AADL体系结构模型的构件系统可靠性评估  CNKI文献

    为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结...

    凌冬怡 王世海... 《系统工程与电子技术》 2017年04期 期刊

    软件心理学研究综述  CNKI文献

    软件是人思维的产物,人是决定其质量的关键性因素。随着"工程系统"向"社会技术系统"的扩展,软件心理学对软件工程的启发价值日益彰显。首先,总结了软件心理学的发展过程和研究体系。然后,论述了软...

    黄抚群 刘斌... 《计算机科学》 2013年03期 期刊

    关键词: 软件心理学 / 软件工程 / 程序员 / 软件可靠性工程

    下载(274)| 被引(3)

    基于Petri网模型检验的安全关键软件需求验证  CNKI文献

    需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用"非"虚线描述在状态为假和变...

    李震 刘斌... 《系统工程与电子技术》 2011年02期 期刊

    关键词: 软件工程 / Petri网 / 模型检验 / 安全关键软件

    下载(309)| 被引(8)

    面向嵌入式软件测试的仿真建模  CNKI文献

    论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该...

    蒋崇武 杨顺昆... 《计算机工程》 2008年04期 期刊

    关键词: 嵌入式软件 / 软件测试 / 基于接口 / 模型驱动

    下载(418)| 被引(22)

    软件代码缺陷分类及其应用  CNKI文献

    分析现有软件缺陷分类方法,基于对航空型号软件实施代码审查的实际经验,提出较完善的代码缺陷分类,将其应用于某航空型号软件代码审查,发现的缺陷占全部测试所得的75%。给出可以覆盖该缺陷类型的新类型。检验结果表明...

    胡璇 刘斌... 《计算机工程》 2009年02期 期刊

    关键词: 代码缺陷 / 代码审查 / 航空软件

    下载(323)| 被引(18)

    H_2和空气下的直流开断电弧的燃弧特性分析  CNKI文献

    为解决航空电器要求体积小、重量轻、开断容量大的问题,选用H2和空气开关电器样机进行试验研究,建立直流开断试验电路,分析不同气体下直流电弧的电弧电压、电流波形、燃弧时间特性,电弧能量特性及电弧相转变过程。试验...

    辛超 武建文... 《低压电器》 2011年10期 期刊

    关键词: 直流开断电弧 / H2和空气电弧 / 燃弧特性 / 分析

    下载(314)| 被引(14)

    基于扩展Petri网的除冰软件安全需求建模和验证  CNKI文献

    Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入...

    李震 刘斌... 《北京航空航天大学学报》 2012年01期 期刊

    关键词: 软件安全性 / 软件工程 / Petri网 / 模型检验

    下载(178)| 被引(8)

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

    自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,...

    殷永峰 刘斌... 《北京航空航天大学学报》 2010年06期 期刊

    关键词: 实时系统 / 嵌入式软件 / 自动化测试 / 编译器

    下载(323)| 被引(7)

    中国石化行业环境风险评估技术研究进展  CNKI文献

    概述了国内石化行业环境风险评估技术发展的现状,根据石化行业进行环境风险评估的逻辑顺序,从石化行业的系统分类、石化环境风险因素识别方法和石化行业环境风险评估技术三个方面进行综述,重点讨论了各种环境风险评估...

    刘斌 高若函... 《环境科学与管理》 2018年08期 期刊

    关键词: 石油化工 / 系统分类 / 风险识别 / 风险评估技术

    下载(176)| 被引(0)

    掺杂Cu_2O纳米粒子的近晶相液晶显示器件的电-光特性  CNKI文献

    半导体纳米粒子在外加电场作用下能够产生极化电场,且无极化疲劳现象,可以有效改善液晶电-光性能.文中选用Cu_2O半导体纳米粒子对近晶相液晶4-氰基-4-正苄基联苯(8CB)进行掺杂,研究其对液晶电-光性能的影响.研究发现,...

    刘发顺 崔晓鹏... 《华南师范大学学报(自然科学版)》 2017年01期 期刊

    关键词: 液晶显示器件 / 驱动电压 / 电-光性能 / 半导体纳米材料

    下载(92)| 被引(3)

    基于扩展Petri网的安全关键软件需求模型检验  CNKI文献

    Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条...

    李震 刘斌... 《沈阳工业大学学报》 2011年01期 期刊

    关键词: 武器系统 / 安全关键软件 / 软件可靠性 / 软件安全性

    下载(205)| 被引(7)

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

    将不同形貌的Ni颗粒(类碗状Ni颗粒、Ni花颗粒和Ni球颗粒)掺杂在液晶中制备了扭曲向列相(TN)液晶显示模式液晶盒,采用液晶综合参数测试仪对掺杂不同形貌Ni颗粒的向列相液晶(NLC)显示模式液晶盒的阈值电压、饱和电压、对...

    许丽红 赵东宇... 《北京航空航天大学学报》 2016年02期 期刊

    关键词: Ni颗粒 / 向列相液晶(NLC) / 电光性能 / TN显示模式

    下载(81)| 被引(2)

    雷诺数对涡轮叶片换热影响的研究  CNKI文献

    雷诺数的改变会引起涡轮叶片边界层等流态的改变,进而对叶片表面的对流换热产生强烈影响。该文首先结合实验数据对影响流热耦合计算精度的若干因素的敏感性进行了分析;然后在此基础上,针对MarkⅡ叶型分析了雷诺数对涡...

    王鹏 邹正平... 《工程力学》 2012年09期 期刊

    关键词: 涡轮 / 数值模拟 / 流热耦合 / 雷诺数

    下载(303)| 被引(1)

    复杂航空软件工程化综合管理框架  CNKI文献

    为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主...

    孙旭 杨顺昆... 《现代电子技术》 2012年24期 期刊

    关键词: 航空软件 / 软件质量 / 软件工程化管理 / 软件研制效率

    下载(157)| 被引(4)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状