-
题名面向实时嵌入式机载软件的测试技术研究
被引量:8
- 1
-
-
作者
王璞
张臻鉴
王玉玺
皇甫贵真
-
机构
中国航空计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
1998年第2期12-15,共4页
-
文摘
文章对实时嵌入式机载软件的测试方法进行了研究,针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点,提出一个适用于实时嵌入式机载系统的REAST软件测试模型,并对该模型实现中的4个核心技术进行了简要的阐明。最后。介绍了以上软件测试方法在实际工程项目中的应用情况。
-
关键词
软件测试
实时
嵌入式
机载软件
软件开发
-
Keywords
Software testing
Real-time
Embedded software
Fault-tolerant computing
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
TP317
[自动化与计算机技术—计算机软件与理论]
-
-
题名有分离流动多段翼型粘性绕线计算
- 2
-
-
作者
乔志德
皇甫贵真
李志刚
-
机构
西北工业大学
航空航天部六三一研究所
-
出处
《航空计算技术》
1989年第4期29-39,共11页
-
文摘
本文给出了计算有分离低速粘性流中多段翼型气动特性的一种快速方法,与国内外实验结果及国外计算结果进行了比较,得到了较为一致的结果.方法和程序己用于支线飞机翼型研究中襟翼系统设计。
-
关键词
翼型
粘性流
气动特性
绕线
计算
-
分类号
V211.41
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名抓住机遇 迎接挑战加速航空产业信息化建设
- 3
-
-
作者
皇甫贵真
刘忠
雷志强
皇甫静
-
机构
航空工业总公司航空计算技术研究所
-
出处
《航空计算技术》
1994年第3期1-5,共5页
-
文摘
本文论述加速航空产业信息化建设的重要性、必要性和迫切性,提出了加速航空产业信息化的具体建议,并进行了可行性分析。
-
关键词
信息化
MIS
航空
信息系统
管理
-
分类号
V2-39
[航空宇航科学技术]
-
-
题名关于航空产业管理信息系统开发与应用的几点看法
被引量:1
- 4
-
-
作者
皇甫贵真
-
机构
航空工业总公司航空计算技术研究所
-
出处
《航空计算技术》
1993年第3期40-49,共10页
-
文摘
本文从国家对行业实施电子信息系统和管理信息系统的要求及航空产业管理信息系统开发和应用的现状和需求出发,通过理论分析和论证,阐述了航空产业管理信息系统开发与应用的策略、重点和方法。
-
关键词
电子信息系统
管理信息系统
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名机械电子产品计算机辅助优化设计技术
- 5
-
-
作者
皇甫贵真
-
机构
航空工业总公司航空计算技术研究所
-
出处
《航空计算技术》
1993年第4期16-22,共7页
-
文摘
本文叙述机械电子产品计算机辅助优化设计系统总体设计、开发和实施中的技术问题,重点研究系统仿真和优化设计的数学模型与算法以及对机械电子产品的应用。
-
关键词
机械电子设备
仿真
CAD
CAE
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名从战略的高度重视和支持航空企业管理的计算机化
- 6
-
-
作者
皇甫贵真
-
机构
航空航天部航空计算技术研究所
-
出处
《航空计算技术》
1991年第3期11-12,共2页
-
文摘
1、超大规模集成电路(VLSI)和计算机技术的发展和普遍应用给人类社会的发展带来了一次飞跃,进入了信息时代,人们将它概括为科学的计算机化、工程技术的计算机化和管理的计算机化.科学的计算机化将近代科学研究的实验和理论两大手段发展为实验、理论、计算三大手段,产生了计算数学、计算力学、计算物理学等一系列新学科,进入了人类对自然界长期没有认识的一整领域,使从原子物理到航空工程的许多领域有了重大的突破.工程技术的计算机化实现了工业过程的监测监控,CAD/CAM/CAE/CAT
-
关键词
航空工业
企业管理
计算机
-
分类号
F407.506.1
[经济管理—产业经济]
-
-
题名计算机技术和产业的发展前景
- 7
-
-
作者
皇甫贵真
-
机构
航空航天部航空计算技术研究所
-
出处
《航空计算技术》
1992年第2期18-22,48,共6页
-
文摘
本文从计算机技术和应用两个方面叙述其近期的发展前景,对我国和航空工业系统发展计算机产业谈了一些不成熟的想法,以期抛砖引玉,达成共识,推动发展。
-
关键词
计算机
应用
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-