肖寅

作品数:3被引量:2H指数:1
导出分析报告
供职机构:中国航空无线电电子研究所更多>>
发文主题:FCUDP端口NFS航空电子系统航电系统更多>>
发文领域:自动化与计算机技术航空宇航科学技术更多>>
发文期刊:《科学技术与工程》《航空电子技术》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
面向航电系统容错特征的任务可靠性建模方法研究
《航空电子技术》2021年第1期10-15,共6页王璟玢 吕星 马玉林 肖寅 
基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规...
关键词:航电系统 容错系统 任务可靠性 
IMA系统管理功能的逻辑建模及性能分析被引量:2
《航空电子技术》2015年第4期29-32,54,共5页肖寅 吴捷 屈国栋 
为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。
关键词:分布式模块化综合航电(IMA) 系统管理 体系结构分析与设计语言(AADL) 
嵌入式系统上的图形界面输入引擎的研究
《科学技术与工程》2006年第8期1099-1101,共3页肖寅 
嵌入式系统上的图形用户界面(GUI)由于基于不同的软硬件平台,输入设备有很大差别,所以开发者在移植时要为不同的输入设备开发其与GUI之间的接口,以使得GUI能够正确响应用户的输入。GUI的输入引擎就是介于GUI处理核心和操作系统的输入设...
关键词:图形界面 输入引擎 ARM微处理器 嵌入式LINUX 
检索报告 对象比较 聚类工具 使用帮助 返回顶部