期刊文献+
共找到144篇文章
< 1 2 8 >
每页显示 20 50 100
基于需求的航空嵌入式软件测试技术研究 被引量:11
1
作者 张义德 王国庆 +1 位作者 杨平 张臻鉴 《计算机工程与设计》 CSCD 2002年第10期4-7,共4页
针对航空机载软件的特点,提出了一个基于需求的航空嵌入式软件测试模型,并对该模型中主要部分的功能及其相互关系进行了阐述,最后,介绍了该模型在实际工程项目中的应用情况。
关键词 航空 嵌入式软件测试 电子系统 软件工程
在线阅读 下载PDF
综合化航空电子系统安全技术研究进展 被引量:14
2
作者 崔西宁 沈玉龙 李亚晖 《计算机应用与软件》 CSCD 北大核心 2012年第11期130-136,共7页
综合化航空电子系统具有高度综合化、模块化和开放性的特点。各子系统之间相互联网通信,资源高度共享、数据高度融合等特性使得综合化航空电子系统存在巨大的信息安全隐患。事实上,信息安全技术已经成为影响飞机安全和任务执行的关键因... 综合化航空电子系统具有高度综合化、模块化和开放性的特点。各子系统之间相互联网通信,资源高度共享、数据高度融合等特性使得综合化航空电子系统存在巨大的信息安全隐患。事实上,信息安全技术已经成为影响飞机安全和任务执行的关键因素之一。综合化航空电子系统要求信息安全等级为CC(Common Criteria)的最高安全级别,信息安全模块要求实时性和低开销,因此综合化航空电子系统安全技术面临着巨大的挑战。综述综合化航空电子系统安全体系结构,分析和比较了各种综合化航空电子系统安全保障机制,具体包括:实时操作系统的时空隔离机制,虚通道通信机制,数据通信、处理和存储过程中的机密性、完整性保护机制等。通过这些分析和比较,希望能够为实现具有高可靠性、高可生存性和高可用性的综合化航空电子系统安全技术奠定基础。 展开更多
关键词 综合化航空电子系统 信息安全 体系结构 安全机制
在线阅读 下载PDF
航空电子数据总线技术研究 被引量:22
3
作者 胡辛 李红军 +1 位作者 曹闹昌 向新 《现代电子技术》 2010年第14期96-98,共3页
对目前国内外运用较多的航空数据总线技术进行简要的介绍,根据实际使用情况分析了MIL_STD_1553B和ARINC429等总线技术的特点、存在的问题和缺陷。在此基础上描述了为适应新的通信需要逐步发展出来的新型总线技术,包括MIL_STD_1773,STANA... 对目前国内外运用较多的航空数据总线技术进行简要的介绍,根据实际使用情况分析了MIL_STD_1553B和ARINC429等总线技术的特点、存在的问题和缺陷。在此基础上描述了为适应新的通信需要逐步发展出来的新型总线技术,包括MIL_STD_1773,STANAG 3910,Arinc629,光纤通道FC等内容;由于FC技术具备高速率的数据传输特性,高可靠性通信、扩展余度大等特点,非常适合航空数据通信的发展要求。 展开更多
关键词 航空数据总线 高速数据总线 光纤通道 航空数据通信
在线阅读 下载PDF
基于实时分布式计算机系统的容错技术研究 被引量:1
4
作者 刘毅 臧红伟 谢克嘉 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第1期41-45,共5页
目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层容错管理策略。结果由系统、分系统和模块构成三级容错管理策略;由故障监控程序负责故障的监控和确认,并将确认的故障交由故障管理程序... 目的为研制适应第四代飞机高度综合化、模块化、高可靠性的航空电子系统的计算平台。方法提出了分层容错管理策略。结果由系统、分系统和模块构成三级容错管理策略;由故障监控程序负责故障的监控和确认,并将确认的故障交由故障管理程序处理;由故障管理程序根据蓝图定义完成重构;重构通过逻辑功能到物理资源的不同映射方式实现;给出了这些过程的实例。结论容错功能的实现必须以保证强实时系统的确定性为前提。 展开更多
关键词 实时分布式计算机系统 容错 重构 蓝图
在线阅读 下载PDF
机载计算机关键技术的研究 被引量:5
5
作者 于民 《计算机工程》 CAS CSCD 北大核心 1994年第5期41-46,共6页
研究了机载计算机关键设计技术并系统地总结了模块设计和加固设计技术,以及机载计算机研制流程.
关键词 机载计算机 模块 加固 设计
在线阅读 下载PDF
更改的判定条件覆盖测试技术研究 被引量:10
6
作者 张义德 王国庆 汤幼宁 《计算机工程与设计》 CSCD 2003年第5期19-22,26,共5页
与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它... 与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。 展开更多
关键词 软件测试 判定条件 结构覆盖准则 覆盖测试 软件开发
在线阅读 下载PDF
综合化航空电子系统软件接口研究 被引量:10
7
作者 崔西宁 胡林平 +1 位作者 叶宏 白晓颖 《计算机科学》 CSCD 北大核心 2011年第2期122-126,共5页
综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模... 综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。 展开更多
关键词 综合化航空电子系统 ARINC653 ASAAC APEX APOS
在线阅读 下载PDF
基于覆盖的软件测试技术在实时嵌入式软件中的应用研究 被引量:18
8
作者 王璞 张臻鉴 王玉玺 《计算机工程与设计》 CSCD 北大核心 1998年第6期45-49,54,共6页
基于对覆盖的软件测试技术在实时嵌入式软件中的应用进行的研究,针对实时嵌入式软件测试的特点,文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型,并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实... 基于对覆盖的软件测试技术在实时嵌入式软件中的应用进行的研究,针对实时嵌入式软件测试的特点,文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型,并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。 展开更多
关键词 软件测试 嵌入式软件 软件开发 软件工程
在线阅读 下载PDF
多块结构化网格CFD并行计算和负载平衡研究 被引量:8
9
作者 郑秋亚 刘三阳 +1 位作者 左大海 梁益华 《工程数学学报》 CSCD 北大核心 2010年第2期219-224,共6页
基于连续拼接多块结构化网格,通过求解雷诺平均Navier-Stokes方程研究并行计算中的负载平衡问题。利用组合优化中的排序理论设计负载平衡算法,实现了网格数据的自动划分和各处理机上计算任务的自动分配。在工作站集群MPI并行环境下,通... 基于连续拼接多块结构化网格,通过求解雷诺平均Navier-Stokes方程研究并行计算中的负载平衡问题。利用组合优化中的排序理论设计负载平衡算法,实现了网格数据的自动划分和各处理机上计算任务的自动分配。在工作站集群MPI并行环境下,通过实例考察了负载平衡算法和并行计算的性能,16个处理机上的负载均方差和负载相对均方差分别为0.0084和0.1347%,并行计算结果和实验数据吻合良好,并行效率高。本文算法具有良好的可扩展性,适用于MIMD结构计算机上基于多块结构化网格并行计算中的负载平衡问题。 展开更多
关键词 Navier—Stokes方程 负载平衡 并行计算 排序
在线阅读 下载PDF
面向实时嵌入式机载软件的测试技术研究 被引量:8
10
作者 王璞 张臻鉴 +1 位作者 王玉玺 皇甫贵真 《计算机工程》 CAS CSCD 北大核心 1998年第2期12-15,共4页
文章对实时嵌入式机载软件的测试方法进行了研究,针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点,提出一个适用于实时嵌入式机载系统的REAST软件测试模型,并对该模型实现中的4个核心技术进行了简要的阐明。最后。介... 文章对实时嵌入式机载软件的测试方法进行了研究,针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点,提出一个适用于实时嵌入式机载系统的REAST软件测试模型,并对该模型实现中的4个核心技术进行了简要的阐明。最后。介绍了以上软件测试方法在实际工程项目中的应用情况。 展开更多
关键词 软件测试 实时 嵌入式 机载软件 软件开发
在线阅读 下载PDF
基于分级容错技术的高完整计算机系统设计 被引量:5
11
作者 解文涛 王锐 《电光与控制》 CSCD 北大核心 2019年第10期106-110,共5页
对国内外三代机、四代机及民机中的机载安全性关键系统发展情况进行深入分析,总结了多通道表决、比较对故障静默等典型容错计算机架构的技术特点,围绕新一代飞机对机载安全关键计算机系统的可靠性、容错能力、故障检测隔离能力、实时性... 对国内外三代机、四代机及民机中的机载安全性关键系统发展情况进行深入分析,总结了多通道表决、比较对故障静默等典型容错计算机架构的技术特点,围绕新一代飞机对机载安全关键计算机系统的可靠性、容错能力、故障检测隔离能力、实时性的新挑战,提出了基于分级容错技术实现的高完整计算机系统设计思路,描述了分层分级实现高完整性容错的设计原理,并对其所涉及的Lock-step技术、时间触发网络等关键技术给出了解决途径,可满足下一代飞行器的发展需要,提升机载安全关键计算机系统的安全性、可靠性。 展开更多
关键词 飞行控制系统 安全性关键系统 容错 锁步 时间触发架构
在线阅读 下载PDF
计算机管理某机载电源的监控系统研究 被引量:2
12
作者 张怡 孙博 孟颖悟 《西北工业大学学报》 EI CAS CSCD 北大核心 2002年第4期567-570,共4页
为设计适合新一代作战飞机的电源监控系统 ,以加强该型飞机机上供电系统的实时监控和综合管理能力 ,着重介绍了基于单片机构成的机载电源监控系统原理和提高该系统软件可靠性的措施 ,调试结果表明 ,PMS系统已达到基本设计要求 ,实现了... 为设计适合新一代作战飞机的电源监控系统 ,以加强该型飞机机上供电系统的实时监控和综合管理能力 ,着重介绍了基于单片机构成的机载电源监控系统原理和提高该系统软件可靠性的措施 ,调试结果表明 ,PMS系统已达到基本设计要求 ,实现了在线故障检测、记录、报警 ,提高了供电系统的可测试性和抗干扰能力。 展开更多
关键词 计算机管理 机械电源 单片机 监控系统 飞机 供电系统
在线阅读 下载PDF
DLR-F6复杂组合体跨声速阻力计算研究 被引量:3
13
作者 张宏 颜洪 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2013年第3期325-331,共7页
为了考察阻力预测的准确性,评估挂架/吊舱引起的阻力增量,分析网格和转捩对阻力及阻力增量的影响,采用不同密度网格,对DLR-F6翼/身和翼/身/挂/舱组合体跨声速流场进行了全湍流和固定转捩2种方式的数值模拟.翼/身和翼/身/挂/舱组合体均... 为了考察阻力预测的准确性,评估挂架/吊舱引起的阻力增量,分析网格和转捩对阻力及阻力增量的影响,采用不同密度网格,对DLR-F6翼/身和翼/身/挂/舱组合体跨声速流场进行了全湍流和固定转捩2种方式的数值模拟.翼/身和翼/身/挂/舱组合体均得到了网格收敛性结果,机翼表面和吊舱表面压力分布与实验数据吻合良好.预测的阻力增量高出实验数据0.000 3,优于其他软件的结果.网格细分对壁面压力分布影响较小,对阻力尤其是压差阻力影响较大;相对于全湍流,转捩对阻力尤其是摩擦阻力影响较大,对挂架/吊舱引起的阻力增量几乎没有影响. 展开更多
关键词 组合体 跨声速 阻力 NavierStokes方程 湍流模型 转捩
在线阅读 下载PDF
气动设计平台集成技术开发研究 被引量:1
14
作者 袁先士 高超 +3 位作者 南江 白文 杨永 禹彩辉 《弹箭与制导学报》 CSCD 北大核心 2010年第6期171-173,共3页
从气动设计的需求出发,分析各集成软件的特点,采用数据接口技术,提出了火箭气动设计集成平台的集成思路,将网格生成软件、气动计算软件FLUENT以及自研的数据后处理程序集成为可视化平台,并且在航天领域得到了实际的应用,大大提高了气动... 从气动设计的需求出发,分析各集成软件的特点,采用数据接口技术,提出了火箭气动设计集成平台的集成思路,将网格生成软件、气动计算软件FLUENT以及自研的数据后处理程序集成为可视化平台,并且在航天领域得到了实际的应用,大大提高了气动设计人员的效率。 展开更多
关键词 火箭 软件集成 气动设计 气动计算
在线阅读 下载PDF
适应于3维非结构化网格数据场的切片可视化技术研究
15
作者 武君胜 吴广茂 冯晓慧 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第3期366-373,共8页
针对3维非结构化网格数据场出现的各种网格单元,设计了相应的直边4面体化剖分方案,并在此基础上提出了一种关于非结构化网格数据场的切片可视化方法,简化了切平面与网格单元间相交多边形的计算,保证了各相交多边形的自然合法性.
关键词 非结构化网络 科学计算可视化 切片 数据场 网络
在线阅读 下载PDF
多关键字查询中LCA剪枝概念树的查询扩展技术研究 被引量:4
16
作者 王昭龙 李霞 许瑞芳 《计算机科学》 CSCD 北大核心 2010年第4期132-135,162,共5页
语义查询扩展中,关键一步是扩展词的选择方法和扩展词权重的计算。提出一种改进的LCA(局部上下文分析法):OLCA(Optimize Local Context Analysis)。OLCA应用于分权重的多关键字查询中,结合WordNet概念树,从语义和实际查询语料两方面对... 语义查询扩展中,关键一步是扩展词的选择方法和扩展词权重的计算。提出一种改进的LCA(局部上下文分析法):OLCA(Optimize Local Context Analysis)。OLCA应用于分权重的多关键字查询中,结合WordNet概念树,从语义和实际查询语料两方面对初始查询词进行扩展,并根据初始查询词中多个关键词的位置,结合扩展候选集中词间关系计算修正各扩展词的权重。实验证明,与单独基于统计或基于语义的查询扩展方法相比,其查准率和查全率均有较大提高。 展开更多
关键词 多关键字 查询扩展 概念树 局部上下文分析法
在线阅读 下载PDF
基于虚拟仪器技术的火炮接口参数检测系统研究
17
作者 邹会荣 汪梅 +1 位作者 侯媛彬 孙靖国 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z1期432-434,共3页
本文提出了一种复合数字滤波方法及基于最小二乘原理的直线拟合方法,用于实现火炮接口参数检测系统的滤波和线性度拟合。以虚拟仪器技术为基础,实现了火炮接口参数检测。完成了火炮的点火通断控制、多路工作电源输出通断控制、接口参数... 本文提出了一种复合数字滤波方法及基于最小二乘原理的直线拟合方法,用于实现火炮接口参数检测系统的滤波和线性度拟合。以虚拟仪器技术为基础,实现了火炮接口参数检测。完成了火炮的点火通断控制、多路工作电源输出通断控制、接口参数测试、系统自检、系统校准,回放分析等功能。测试结果及用户反馈表明:该检测系统具有较高的可靠性、易校准性、易维护性和测试精度高等特点。 展开更多
关键词 数字滤波 最小二乘 虚拟仪器 检测系统
在线阅读 下载PDF
PCI Express总线及其交换技术研究 被引量:1
18
作者 麻晓博 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2014年第3期397-402,共6页
随着嵌入式系统对数据传输能力要求的不断提升,高速串行总线有着更加广泛的应用。通过对PCI Express总线及其交换技术的研究,深入分析了PCI Express总线交换开关技术并研究了一种基于PCI Express总线和交换开关技术构建的嵌入式计算机... 随着嵌入式系统对数据传输能力要求的不断提升,高速串行总线有着更加广泛的应用。通过对PCI Express总线及其交换技术的研究,深入分析了PCI Express总线交换开关技术并研究了一种基于PCI Express总线和交换开关技术构建的嵌入式计算机系统。 展开更多
关键词 高速串行总线 PCI EXPRESS总线 交换开关 嵌入式计算机
在线阅读 下载PDF
机载计算机验证测试研究
19
作者 于民 《计算机工程》 CAS CSCD 北大核心 1995年第S1期323-328,共6页
研究了机载计算机系统验证测试理论,设计了一种自动测试设备。
关键词 机载计算机 验证测试 自动测试设备
在线阅读 下载PDF
一个基于SOA的大型分布式计算机辅助教学系统 被引量:20
20
作者 房鼎益 安娜 +2 位作者 魏东 符凯 张建中 《计算机应用与软件》 CSCD 北大核心 2005年第10期130-132,141,共4页
传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构(SOA)被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。本... 传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构(SOA)被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。本文以一个具体的计算机辅助教学管理系统—NWU-CMI为实例,研究了利用Web服务实现基于SOA的大型分布式软件系统的有效方法,同时,深入分析了采用SOA体系结构开发NWU-CMI系统的代码重用、系统结构、服务组装等关键实现技术。 展开更多
关键词 分布式系统 SOA Web服务 功能重用 CMI 计算机辅助教学系统 分布式环境 软件开发方法 分布式软件系统 开发工具
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部