掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
航空航天、军事
>
DASIA 2015: Data systems in aerospace
DASIA 2015: Data systems in aerospace
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关外文期刊
Military vehicles magazine
Naval history
Nuclear Weapons & Materials Monitor
Jane's intelligence review
National defense
Jane's international defense review
Military embedded systems
Суворовский Натиск
Красная звезда
Arms defence technologies review
更多>>
相关外文会议
The 2nd international symposium on aircraft airworthiness
35th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference, Pt.4, Apr 18-20, 1994, Hilton Head, SC
9th AIAA/CEAS Aeroacoustics Conference and Exhibit
International Symposium on Spatial Data Quality '2005; 20050825-26; Beijing(CN)
Congress of the International Council of the Aeronautical Sciences;ICAS 2010
Enabling Technologies and Design of Nonlethal Weapons
56th International Astronautical Congress 2005 vol.7
Head- and helmet-mounted displays XV: Design and applications
Conference on Cockpit Displays X Apr 22-25, 2003 Orlando, Florida, USA
Annual European Aviation Safety Seminar; 20080310-12; Bucharest(RO)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
CROSS-DOMAIN CERTIFICATION FOR HYBRID WORST CASE EXECUTION TIME ANALYSIS: CURRENT AND FUTURE APPROACHES
机译:
混合最坏情况执行时间分析的跨域认证:当前和未来的方法
作者:
Philippa Ryan Conmy
;
Guillem Bernat
;
Zoë Stephenson
;
David George
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
2.
THE ROSETTA MISSION – CHALLENGES IN DEEP SPACE
机译:
罗塞塔任务-深空挑战
作者:
Gunther Lautenschläger
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
3.
APPROACHING PARALLELIZATION OF PAYLOAD SOFTWARE APPLICATIONS ON ARM MULTICORE PLATFORMS
机译:
在ARM多核平台上实现有效载荷软件应用程序的并行化
作者:
Pierre Bretault
;
Nicolas Chatonnay
;
Brigitte Calmet
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
4.
CHARACTERIZING VERIFICATION TOOLS THROUGH CODING ERROR CANDIDATES REPORTED IN SPACE FLIGHT SOFTWARE
机译:
通过空间飞行软件中报告的编码错误候选来表征验证工具
作者:
ChristianR. Prause
;
Ralf Gerlich
;
Rainer Gerlich
;
Anton Fischer
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
software faults;
fault identification;
fault coverage;
software verification;
verification tools;
verification efficiency;
ECSS;
DO178;
EN 50128;
5.
CFDP EVOLUTIONS AND FILE BASED OPERATIONS
机译:
CFDP演变和基于文件的操作
作者:
Alberto Valverde
;
Chris Taylor
;
Giorgio Magistrati
;
Elena Maiorano
;
Cyril Colombo
;
Colin Haddow
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
6.
MODEL BASED SYSTEM ENGINEERING WITH CAPELLA
机译:
CAPELLA基于模型的系统工程
作者:
Gerald Bourgeois
;
Thierry Neige
;
Hervé Bratulic
;
R. de Ferluc
;
F. Bergomi
;
Antoine Provost-Grellier
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
7.
THE LION NAVIGATOR A FAMILY OF NEW GNSS RECEIVERS FOR SPACE APPLICATIONS
机译:
狮子导航仪是用于空间应用的新型GNSS接收器系列
作者:
Uwe Hoch
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
GNSS;
GPS;
Galileo;
AGGA-4;
LION Navigator;
8.
DETERMINISTIC ETHERNET FOR SPACE APPLICATIONS
机译:
用于空间应用的确定性以太网
作者:
C. Fidi
;
B. Wolff
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
9.
TCLS ARM FOR SPACE
机译:
TCLS太空武器
作者:
Benoit Leroy
;
Tim Helfers
;
Jean-Luc Poupat
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
10.
GR718 – RADIATION-TOLERANT 18X SPACEWIRE ROUTER
机译:
GR718 –耐辐射18X空间线路由器
作者:
Jonas Ekergarn
;
Sandi Habinc
;
Fredrik Johansson
;
Fredrik Sturesson
;
Martin Simlastik
;
Francisco Hernandez
;
Steven Redant
;
Kurt Stinkens
;
Geert Thys
;
Jagadeesa Das Arul Mahesh
;
Martin Suess
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
11.
CAN IN SPACE STATUS AND FUTURE AFTER ECSS-E-ST-50-15C RELEASE
机译:
ECSS-E-ST-50-15C发行后可以显示空间状态和将来
作者:
Chris Taylor
;
Gianluca Furano
;
Alberto Valverde-Carretero
;
Kostas Marinis
;
Giorgio Magistrati
;
Luca Bolognino
;
King Lam Richard Jansen
;
Maurizio Caramia
;
Angel Grau Llovera
;
Jean Dalenq
;
Francois Vinet
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
12.
RC64, A RAD-HARD MANY-CORE HIGH-PERFORMANCE DSP FOR SPACE APPLICATIONS
机译:
RC64,一种用于空间应用的RAD-HARD多核高性能DSP
作者:
Ran Ginosar
;
Peleg Aviely
;
Hagay Gellis
;
Tuvia Liran
;
Tsvika Israeli
;
Roy Nesher
;
Fredy Lange
;
Reuven Dobkin
;
Henri Meirov
;
Dror Reznik
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
13.
SCALABLE SENSOR DATA PROCESSOR: A MULTI-CORE PAYLOAD DATA PROCESSOR ASIC
机译:
可伸缩传感器数据处理器:多核有效载荷数据处理器ASIC
作者:
L. Berrojo
;
R. Moreno
;
R. Regada
;
E. García
;
R. Trautner
;
G. Rauwerda
;
K. Sunesen
;
Y. He
;
S. Redant
;
G. Thys
;
J. Andersson
;
S. Habinc
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
Network On Chip;
Digital Signal Processing;
Mixed signal ASIC;
Space Exploration;
IP core;
14.
LVCUGEN – READY FOR FLIGHT?
机译:
LVCUGEN –准备起飞了吗?
作者:
Julien GALIZZI
;
Paul ARBERET
;
Jean-Charles DAMERY
;
Christel GUY
;
Alfons CRESPO
;
Miguel MASMANO
;
Florence ROUBERT
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
15.
INTEGRATED PAYLOAD DATA HANDLING SYSTEMS USING SOFTWARE PARTITIONING
机译:
使用软件分区的集成有效载荷数据处理系统
作者:
Alun Taylor
;
Mark Hann
;
Alex Wishart
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
16.
OPERATIONAL SIMULATORS MOVING AHEAD
机译:
向前移动的操作仿真器
作者:
V. Reggestad
;
M. Sarkarati
;
K. Widegaard
;
A. Walsh
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
17.
ADA, THE PROGRAMMING LANGUAGE OF CHOICE FOR THE UPMSAT-2 SATELLITE
机译:
ADA,UPMST-2卫星的编程语言选择
作者:
Jorge Garrido
;
Juan Zamorano
;
Juan A. de la Puente
;
Alejandro Alonso
;
Emilio Salazar
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
Ada;
Ravenscar profile;
real time systems;
embedded systems;
on-board software;
18.
AUTOMATIC IMPLEMENTATION OF TTETHERNET-BASED TIME-TRIGGERED AVIONICS APPLICATIONS
机译:
基于TTHERNET的时间触发航空电子应用程序的自动实现
作者:
Raul Adrian Gorcitz
;
Thomas Carle
;
David Lesens
;
David Monchaux
;
Dumitru Potop-Butucaruy
;
Yves Sorel
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
19.
DEVELOPMENT OF NEW EUROPEAN VLIW SPACE DSP ASICS, IP CORES AND RELATED SOFTWARE VIA ESA CONTRACTS IN 2015 AND BEYOND
机译:
通过2015年及以后的ESA合同开发新的欧洲VLIW SPACE DSP ASIC,IP内核和相关软件
作者:
R. Trautner
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
20.
3D PLUS HI-REL DDR2 TERMINATION REGULATOR MODULE A BUILDING BLOCK FUNCTION FOR HIGH RELIABILITY SDRAM DDR2 SYSTEM ARCHITECTURE
机译:
3D PLUS HI-REL DDR2终端稳压器模块,用于高可靠性SDRAM DDR2系统架构的构建块功能
作者:
Nicolas PERROT
;
Patrick DUBUS
;
Esther GARCIA-SANCHEZ
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
21.
FDIR VALIDATION TEST-BED DEVELOPMENT AND RESULTS
机译:
FDIR验证测试平台的开发和结果
作者:
Alexander Karlsson
;
Anandhavel Sakthivel
;
Martin Aberg
;
Jan Andersson
;
Sandi Habinc
;
Brice Dellandréa
;
Jean-Christian Nodet
;
Farid Guettache
;
Gianluca Furano
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
22.
A SOFTWARE SUITE FOR TESTING SPACEWIRE DEVICES AND NETWORKS
机译:
用于测试空间线设备和网络的软件套件
作者:
Stuart Mills
;
Steve Parkes
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
23.
FLIGHT SOFTWARE DEVELOPMENT FOR THE CHEOPS INSTRUMENT WITH THE CORDET FRAMEWORK
机译:
带有CORDET框架的CHEOPS仪器的飞行软件开发
作者:
V.Cechticky
;
R. Ottensamer
;
A. Pasetti
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
Reusability;
CHEOPS;
CORDET;
24.
ON-BOARD SOFTWARE REFERENCE ARCHITECTURE FOR PAYLOADS
机译:
有效负载的板载软件参考体系结构
作者:
Victor Bos
;
Adam Trcka
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
25.
A FAULT-TOLERANT RADIATION-ROBUST MASS STORAGE CONCEPT FOR HIGHLY SCALED FLASH MEMORY
机译:
高度缩放的闪存的容错辐射鲁棒质量存储概念
作者:
Christian M. Fuchs
;
Carsten Trinitis
;
Nicolas Appel
;
Martin Langer
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
26.
VALIDATION OF INERTIAL AND OPTICAL NAVIGATION TECHNIQUES FOR SPACE APPLICATIONS WITH UAVS
机译:
UAVS在空间应用中的惯性和光学导航技术的验证
作者:
J. Montaño
;
M. Wis
;
J. A. Pulido
;
A. Latorre
;
P. Molina
;
E. Fernández
;
E. Angelats
;
I. Colomina
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
27.
USING IOT DEVICE TECHNOLOGY IN SPACECRAFT CHECKOUT SYSTEMS
机译:
在航天飞机检验系统中使用物联网设备技术
作者:
Chris Plummer
会议名称:
《》
|
2015年
28.
RAPID REAL-TIME SPACEWIRE EMULATION
机译:
快速实时空间线仿真
作者:
Stephen Mudie
;
Steve Parkes
;
Martin Dunstan
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
29.
GENERIC SOFTWARE ARCHITECTURE FOR LAUNCHERS
机译:
发射器的通用软件体系结构
作者:
Emilien CARRE
;
Philippe GAST
;
Emmanuel HIRON
;
Alain LEBLANC
;
David LESENS
;
EmmanuelleMESCAM
;
Pierre MORO
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
30.
A TESTING FRAMEWORK FOR CRITICAL SPACE SW
机译:
关键空间软件的测试框架
作者:
Ignacio Fernandez
;
Antonio Di Cerbo
;
Erik Dehnhardt
;
Tipaldi Massimo
;
Bernhard Brünjes
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
31.
MEASUREMENT-BASED PROBABILISTIC TIMING ANALYSIS: FROM ACADEMIA TO SPACE INDUSTRY
机译:
基于测量的概率时序分析:从学术界到航天工业
作者:
Philippa Ryan Conmy
;
Mark Pearce
;
Marco Ziccardi
;
Enrico Mezzetti
;
Tullio Vardanega
;
Jan Anderson
;
Andrea Gianarro
;
Carles Hernandez
;
Francisco J. Cazorla
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
Worst-case execution time;
probabilistic timing analysis;
safety;
verification;
32.
A ROBUSTNESS TESTING CAMPAIGN FOR IMA-SP PARTITIONING KERNELS
机译:
IMA-SP分区内核的鲁棒性测试活动
作者:
Stephen Grixti
;
Jorge Lopez Trecastro
;
Nicholas Sammut
;
David Zammit-Mangion
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
33.
EXPERIMENTAL RESULTS FOR SPACE-WIRE-D
机译:
SPACE-WIRE-D的实验结果
作者:
Steve Parkes
;
David Gibson
;
Albert Ferrer
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
34.
ON-BOARD PROCESSOR AND NETWORK MATURATION FOR ARIANE 6
机译:
ARIANE 6的机载处理器和网络匹配
作者:
Rémi Clavier
;
Pierre Sautereau
;
Jérémie Sangaré
;
Benjamin Disson
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
35.
ASPECTS OF APPLYING AN OBJECT ORIENTED DESIGN TO A SMALL SATELLITE FLIGHT SOFTWARE
机译:
在小型卫星飞行软件中应用面向对象的设计的方面
作者:
Ulrich Mohr
;
Bastian Baetz
;
Sabine Klinkner
;
Jens Eickhoff
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
36.
CONSOLIDATED VIEW ON SPACE SOFTWARE ENGINEERING PROBLEMS – AN EMPIRICAL STUDY
机译:
对空间软件工程问题的综合看法-实证研究
作者:
N. Silva
;
M. Vieira
;
D. Ricci
;
D. Cotroneo
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
37.
CCSDS”S CROSS SUPPORT TRANSFER SERVICES (CSTS) AS “EVOLUTION” OF SLE SERVICES
机译:
CCSDS的交叉支持转移服务(CSTS)作为SLE服务的“演变”
作者:
Margherita di Giulio
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
38.
DEMONSTRATOR OF SPACEWIRE/SPACEFIBRE NETWORK FOR MASS MEMORY APPLICATIONS
机译:
大规模存储器应用的空间线/空间纤维网络演示器
作者:
T. Helfers
;
P. Rastetter
;
M. Stähle
;
E. Weih
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
39.
NEW TECHNOLOGIES FOR FUTURE LAUNCHERS AVIONICS
机译:
未来发射航空器的新技术
作者:
Philippe MIRAMONT
;
David MONCHAUX
;
Bruno REGNIER
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
Launchers;
Avionics;
Navigation;
Pyrotechnic;
Communication System;
Telemetry;
Technology maturation;
40.
REQUIREMENTS BASELINE FOR INTEGRATED MODULAR AVIONICS FOR SPACE SEPARATION KERNEL QUALIFICATION
机译:
用于空间隔离内核验证的集成模块航空电子的要求基准
作者:
Mark Hann
;
Marie Hélène Deredempt
;
Alexandre Cortier
;
Régis De Ferluc
;
Julien Galizzi
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
41.
IMAGING SYSTEMS FOR PLANETARY EXPLORATION
机译:
行星探测成像系统
作者:
Thomas Behnke
;
Ekkehard Kührt
;
Alexander Lichopoj
;
Harald Michaelis
;
Stefano Mottola
;
Rolf Schrödter
;
Matthias Tschentscher
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
42.
THE INVESTIGATION INTO THE SUCCESSFUL LANDING ON MARS OF BEAGLE 2 (FORENSIC SOFTWARE ENGINEERING AND LESSONS LEARNT)
机译:
对第2座火星成功着陆的调查(法务软件工程和经验教训)
作者:
Roger Ward
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
43.
ARM FOR PLATFORM APPLICATION
机译:
适用于平台的ARM
作者:
Mathieu Patte
;
Jean-Luc Poupat
;
Patrick Le Meur
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
44.
HIGH AVAILABLE COTS BASED COMPUTER FOR SPACE
机译:
基于高可用空间的计算机
作者:
J. Hartmann
;
Giorgio Magistrati
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
45.
VHiSSI:EXPERIMENTAL SPACEFIBRE ASIC
机译:
VHiSSI:EXPERIMENTAL SPACEFIBRE ASIC
作者:
Alberto Gonzalez Villafranca
;
Albert Ferrer
;
David McLaren
;
Chris McClements
;
Steve Parkes
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
46.
DEVELOPMENT OF A DETERMINISTIC ETHERNET BUILDING BLOCKS FOR SPACE APPLICATIONS
机译:
用于空间应用的确定性以太网构建模块的开发
作者:
C. Fidi
;
Mirko Jakovljevic
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
47.
65NM RADSAFE™ TECHNOLOGY FOR RC64 AND ADVANCED SOCS
机译:
适用于RC64和高级SOCS的65NM RADSAFE™技术
作者:
Tuvia Liran
;
Ran Ginosar
;
Fredy Lange
;
Alberto Mandler
;
Peleg Aviely
;
Henri Meirov
;
Michael Goldberg
;
Zeev Meister
;
Mickey Oliel
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
48.
RAD-HARD MICROCONTROLLER FOR SPACE APPLICATIONS
机译:
适用于空间应用的RAD-HARD微控制器
作者:
Sandi Habinc
;
Fredrik Johansson
;
Fredrik Sturesson
;
Martin Simlastik
;
Magnus Hjorth
;
Jan Andersson
;
Steven Redant
;
Wim Sijbers
;
Geert Thys
;
Claudio Monteleone
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
49.
PORTING LEON3FT/GRLIB TO 4th GENERATION FLASH-BASED DEVICES
机译:
将LEON3FT / GRLIB移植到基于闪存的第四代设备
作者:
Jan Andersson
;
Sandi Habinc
;
Paolo Prinetto
;
Pascal Trotta
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
50.
SYSTEM DESIGN TOOLKIT FOR INTEGRATED MODULAR AVIONICS FOR SPACE
机译:
用于空间的集成模块化航空电子的系统设计工具包
作者:
Mark Hann
;
Patricia Balbastre Betoret
;
José Enrique Simo Ten
;
Régis De Ferluc
;
JineshRamachandran
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
51.
IP BASED GROUND/SPACE COMMUNICATION FOR COLUMBUS
机译:
哥伦布基于IP的地面/空间通信
作者:
Sven Rakers
;
Dieter Arndt
;
Frank Bade
;
Carol Brüning
;
Marc-Julien Ettori
;
Frank Lehmann
;
Christoph Massau
;
Thomas Mrotzeck
;
Ludwig Vogeler
;
Gerd Winkelmann
;
Per Bonde
;
Giuliano Canovai
;
Andres Grop
;
John Nolan
;
Sara Pastor
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
52.
IMPROVEMENTS OF FUNCTIONAL VALIDATION BY ANALYSIS OF OPERATIONAL PROBLEMS
机译:
通过对操作问题的分析来改进功能验证
作者:
Nicola Di Nisio
;
Vemund Reggestad
;
Joachim Fuchs
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
53.
SPACEFIBRE: THE STANDARD, SIMULATION, IP CORES AND TEST EQUIPMENT
机译:
空间:标准,模拟,IP核和测试设备
作者:
Steve Parkes
;
Chris McClements
;
David McLaren
;
Albert Ferrer Florit
;
Alberto Gonzalez Villafranca
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
54.
GR740: RAD-HARD QUAD-CORE LEON4FT SYSTEM-ON-CHIP
机译:
GR740:RAD-HARD四核LEON4FT片上系统
作者:
Magnus Hjorth
;
Martin Åberg
;
Nils-Johan Wessman
;
Jan Andersson
;
Remy Chevallier
;
Russel Forsyth
;
Roland Weigand
;
Luca Fossati
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
55.
IO MANAGEMENT CONTROLLER FOR TIME AND SPACE PARTITIONING ARCHITE CTURES
机译:
用于时间和空间分区架构的IO管理控制器
作者:
Jérôme Lachaize
;
Marie-Hélène Deredempt
;
Julien Galizzi
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
56.
RTEMS SMP AND MTAPI FOR EFFICIENT MULTI-CORE SPACE APPLICATIONS ON LEON3/LEON4 PROCESSORS
机译:
RTEMS SMP和MTAPI在LEON3 / LEON4处理器上实现高效的多核空间应用
作者:
Daniel Cederman (SPEAKER)
;
Daniel Hellstrom
;
Joel Sherrill
;
Gedare Bloom
;
MathieuPatte
;
Marco Zulianello
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
57.
AN LLVM BACKEND FOR LEON PROCESSORS
机译:
面向LEON处理器的LLVM后端
作者:
Jorge Lòpez Trescastro
;
Emil Vassev
;
Daniel Hellström
;
Daniel Cederman
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
58.
MULTI-PURPOSE AVIONIC ARCHITECTURE FOR VISION BASED NAVIGATION SYSTEMS FOR EDL AND SURFACE MOBILITY SCENARIOS
机译:
基于视觉的EDL和表面移动场景导航系统的多用途航空架构
作者:
A. Tramutola
;
D. Paltro
;
M. P. Cabalo Perucha
;
G. Paar
;
J. Steiner
;
A.M. Barrio
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
59.
SPACEWIRE-BASED CONTROL SYSTEM ARCHITECTURE FOR THE LIGHTWEIGHT ADVANCED ROBOTIC ARM DEMONSTRATOR (LARAD)
机译:
轻型高级机器人手臂演示器(LARAD)的基于空间线的控制系统架构
作者:
Marek Rucinski
;
Adam Coates
;
Giuseppe Montano
;
Elie Allouis
;
David Jameux
会议名称:
《》
|
2015年
60.
FLEXIBLE APPROACHES TO FAULT-TOLERANT MICROPROCESSORS FOR SPACE APPLICATIONS
机译:
用于空间应用的容错微处理机的灵活方法
作者:
L. Entrena
;
M. Portela
;
A. Lindoso
;
M. García-Valderas
;
L. Mengibar
;
L. Parra
;
J. A. Pulido
;
A. Latorre
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
61.
EUCLID STAR CATALOGUE MANAGEMENT FOR THE FINE GUIDANCE SENSOR
机译:
精细制导传感器的EUCLID星型目录管理
作者:
A. Bosco
;
A. Bacchetta
;
G. Saavedra Criado
;
D. Procopio
;
E. Palombo
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
62.
FLYCON-R: WIRELESS INTEGRATED COMMUNICATION AND NAVIGATION SYSTEM
机译:
FLYCON-R:无线集成通信导航系统
作者:
Jose Maria Palomo
;
Sergio Gómez de Agüero
;
Antonio Latorre
;
Antonio Fernandez
;
Fernando Pina
;
AndreiTarziu
;
Mugurel Balan
;
Manuel Sanchez Gestido
;
Paolo Concari
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
63.
AUTOMATIC VERIFICATION OF TIMING CONSTRAINTS FOR SAFETY CRITICAL SPACE SYSTEMS
机译:
安全关键空间系统的时序约束自动验证
作者:
Javier Fernandez
;
Pablo Parra
;
Sebastian Sanchez Prieto
;
Oscar Polo
;
Guillem Bernat
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
关键词:
VV;
Automatic Verification;
Embedded Software;
Energy Particle Detector;
MDE;
CBSE;
64.
APPLICATION OF H-INFINITY FAULT DETECTION TO MODEL-SCALE AUTONOMOUS AIRCRAFT
机译:
H-无限故障检测在模型自动飞机中的应用
作者:
J. F. Vasconcelos
;
P. Rosa
;
Murray Kerr
;
Antonio Latorre Sierra
;
Cristina Recupero
;
Lucía Hernández
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
65.
QI2S – QUICK IMAGE INTERPRETATION SYSTEM
机译:
QI2S –快速图像解释系统
作者:
Jamin Naghmouchi
;
Peleg Aviely
;
Ran Ginosar
;
Giovanna Ober
;
Ole Bischoff
;
Ron Nadler
;
David Guiser
;
Meira Citroen
;
Riccardo Freddi
;
Mladen Berekovic
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
66.
TOWARDS MAKING A LEON3 MULTICORE COMPATIBLE WITH PROBABILISTIC TIMING ANALYSIS
机译:
努力使LEON3多核与概率时序分析兼容
作者:
Carles Hernandezy
;
Jaume Abellay
;
Francisco J. Cazorlay
;
Jan Andersson
;
Andrea Gianarro
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
67.
TOWARDS THE ADOPTION OF FORMAL TECHNIQUES FOR KERNEL QUALIFICATION
机译:
争取采用正式技术进行内核资格鉴定
作者:
Andrew Butterfield
;
Mike Hinchey
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
68.
A CONSISTENT AVIONICS COMPUTING PLATFORM FOR SPACECRAFT CONTROL AND DATA PROCESSING
机译:
用于航天控制和数据处理的一致航空电子计算平台
作者:
Jens Eickhoff
;
Hans Jürgen Herpel
;
Georg Willich
;
Paul Walker
;
Max Pastena
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
69.
A TTC PERFORMANCE SIMULATOR FOR SPACE EXPLORATION AND SCIENTIFIC SATELLITES – ARCHITECTURE AND APPLICATIONS
机译:
用于空间探测和科学卫星的TT&C性能模拟器–体系结构和应用
作者:
G. Donà
;
M. Faletra
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
70.
PORTING DUBAISAT-2 FLIGHT SOFTWARE TO RTEMS: A FEASIBILITY STUDY
机译:
将DUBAISAT-2飞行软件移植到RTEMS:可行性研究
作者:
Mohammed Khoory
;
Zakareyya Al Shamsi
;
Ibrahim Al Midfa
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
71.
FIBER OPTIC SENSING. PROTOTYPE RESULTS
机译:
光纤传感。原型结果
作者:
Jesús Ortiz Martín
;
José González Torres
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
72.
MDO, WIND TUNNEL AND FLIGHT TESTS OF UAVs FOR TITAN EXPLORATION
机译:
钛制无人机的MDO,风洞和飞行测试
作者:
Davide Bonetti
;
Antonio Latorre Sierra
;
Jordi Freixa Mallol
;
Federico Martín de la Escalera Cutillas
;
Samuel Bugallo Miguens
;
Miguel Ángel Gonzalez
;
Ana Isabel Moreno
;
Artur Andrzej Jarzabek
会议名称:
《DASIA 2015: Data systems in aerospace》
|
2015年
意见反馈
回到顶部
回到首页