中航工业西安航空计算技术研究所 作品数:2,385 被引量:5,166 H指数:22 相关作者: 彭刚锋 杨明明 周天孝 程岳 谢克嘉 更多>> 相关机构: 西北工业大学 西安电子科技大学 西安翔腾微电子科技有限公司 更多>> 发文基金: 中国航空科学基金 国家自然科学基金 国家科技重大专项 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 电子电信 理学 更多>>
国产大规模数字集成电路的航空应用验证探讨 被引量:3 2015年 该文针对航空国产大规模数字集成电路缺乏应用验证的现状,描述了验证总思路、流程、相关的关键技术和验证内容。对国产大规模集成电路的航空综合应用验证和航空装备的国产自主可控发展具有指导作用。 吴蓬勃 梁争争 王国东关键词:集成电路 面向嵌入式软件开发的UML到Simulink模型转换方法 被引量:5 2016年 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。 郭鹏 李亚晖 孙磊 蔡晓乐关键词:模型驱动开发 ATL UML SIMULINK 一种语音数据压缩算法及其实现 1996年 本文通过对语音数据的特点进行分析,提出了一种对语音数据进行无损压缩的算法;并将其压缩效率与其它一些常用压缩软件(如ARJ,LHA等)的压缩效率进行了比较。 马占江关键词:压缩率 数据压缩 语音 全文增补中 时变时滞模糊系统的时滞反馈控制 2011年 对一类带有时变时滞的模糊系统,研究了其反馈控制问题。通过定义一种新型的模糊Lyapunov-Kra-sovskii泛函(LKF),得到开环系统时滞相关的稳定条件。在推导过程中引入模糊自由权值矩阵变量,避免了使用边界不等式和模型转换所带来的保守性;同时在估计LKF导数上界时,考虑了在以前文献中常被忽略的有用项。采用并行分布补偿算法(PDC),得到了闭环系统时滞相关稳定的充分条件。设计出了相应的时滞控制器,并将其转化成为一个受线性矩阵不等式(LMI)约束的凸优化问题。最后,通过仿真例子验证了所提方法的有效性。 郭岗 闫晓婷 牛文生 朱敏关键词:时滞反馈 线性矩阵不等式 求解可压缩流动的低耗散E-CUSP迎风格式性能分析 2011年 采用对比分析的方法,对求解可压缩流动的低耗散E-CUSP(LDE)迎风格式的性能进行测评,目的是进一步更好地将其用于分离涡数值模拟。对比格式采用广泛使用的Roe格式。控制方程为Euler和雷诺平均Navier-Stokes方程耦合Spalart-Allmaras一方程湍流模型,采用全隐式无分裂Gauss-Seidel线松驰时间推进方法。结果表明,LDE格式具有强的捕捉激波能力,计算结果与Roe格式一致,和实验数据吻合良好。相对于Roe格式,LDE格式具有较快的收敛速度。 郑秋亚 梁益华 王宝园关键词:可压缩流 NAVIER STOKES方程 湍流模型 NIO Socket通讯架构的设计与实现 2017年 随着IOT物联网的快速发展,数以万计的物联网设备以TCP/IP协议接入互联网,Socket服务器端需要处理这些Socket连接、通讯和数据存储。传统的One Thread for One Socket应用模式已不能满足要求。文章针对此种应用提出了一种高性能的异步Socket通讯框架,该通讯框架由Socket异步处理模块、协议解码模块、DB数据处理模块等组成。经模拟测试,该通讯框架满足了高并发和高性能通讯的要求。 张曼 贺莹基于接入控制机制的无线局域网MAC协议 被引量:1 2005年 本文对IEEE802.11无线局域网点协调功能的改进协议(MPCF)的性能进行深入的研究。MPCF基于接入控制和链式轮询机制。根据业务特点,MPCF协议分别为实时业务和非实时业务提供不同的服务策略:实时业务采用ACK应答方式,非实时业务采用无ACK应答方式,从而引入接入控制机制,更好地保证实时业务的服务质量。为了提高网络吞吐量,MPCF协议采用链式轮询机制。本文给出MPCF吞吐量的分析模型。仿真结果表明:MPCF协议的性能优于PCF协议,而且理论分析结果与仿真结果基本吻合。 赵力强 李璟 赵小冬 张忠灏关键词:无线局域网 服务质量 接入控制 使用PowerBuilder开发MDI的方法及其实现 1996年 在使用PowerBuilder开发MDI的过程中会碰到不同于开发普通应用程序的特殊问题,本文就其中的几个问题进行了讨论,同时给出了解决方法。 沈新刚关键词:主窗口 MDI 全文增补中 分布式计算机系统智能化供电的研究 被引量:2 2015年 分布式计算机系统中传统的电源仅提供电压转换及功率供给功能,随着计算机系统规模的增长以及对可靠性要求的提高,新一代分布式计算机系统对供电提出了更高要求。提出了一种分布式计算机系统智能化供电的方案,论述了智能化管理中供电分配、电源监控、故障管理等关键技术的实现,介绍了智能电源模块的软硬件设计,经过长期实际使用表明该供电方案稳定可靠,具有较强的工程应用价值。 李鹏 窦爱萍关键词:智能化 电源监控 故障管理 某机电设备主轴断裂断口分析 2017年 该文针对某转动设备主轴的断裂问题,通过宏观断口分析、微观断口分析、痕迹分析等手段,发现其宏观断口按特征分为4个区域,呈现皿状特征,呈现韧性、脆性断裂特征,与之对应的微观断口呈现韧窝、解理与准解理等特征。结合痕迹分析最终推断,多次过载和不良表面完整性是导致主轴断裂的主要原因。 卜莹 冯倩关键词:宏观断口 SEM