面向空间应用的双核容错微处理器的研究与实现

介绍了用双核微处理器实现的容错微处理器系统SPARC—V8FIS。该系统由两个同构微处理器与支持容错操作的容错管理模块组成。微处理器是基于SPRARCV8规范的32-bit微处理器。容错管理模块提供了错误检测、诊断、从“软故障”中故障恢复，以及当发生“硬故障”时，将系统配置成单一处理器继续执行的机制，以适应空间复杂环境应用。SPARC—V8FIS用较少的硬件实现了所有容错操作，以很低的性能损失达到了很高的系统可靠性。     

上海推出首个加快国际航运中心建设专项五年规划

《上海市加快国际航运中心建设"十二五"规划》近期正式颁布。这是上海国际航运中心建设的首个专项五年规划。《规划》明确,到2015年,上海要基本实现货物、船舶、企业、资金、人才、信息、技术等航运要素与资源集聚,初步具备全球航运资源配置能力,形成国际航运中心核心功能;港口、机     

装备系统保障性评估方法研究

提出用战备完好性衡量装备系统的保障性,在故障时间和修复时间相互独立,且服从指数分布、系统只有能工作和不能工作两种状态等假设下,在一种较为理想的使用和保障条件下,研究保障性定量评估方法,并初步探索备件配置模型,以期提高保障的科学性和有效性,降低装备系统的全寿命周期费用。     

产品快速配置系统关键技术研究

为了掌握产品快速配置系统的关键技术,提出了基于本体的产品族实例配置方法.该方法定义了客户需求本体模型、产品族实例本体模型及映射框架,描述了二者间的映射流程及相关映射算法.最终以减速机产品为实例,进一步说明基于本体的产品配置流程.     

TQM与SMS的内涵与联系

全面质量管理(Total Quality Management,TQM)在生产制造、服务及公共事业单位得到广泛推广与应用,主要为改善组织的质量管理水平,目的是达到顾客满意;安全管理体系(Safety Management System,SMS)在民航业被强制实施,主要为提高安全风险防范能力,目的是将人员伤害或财产损失的风险降低并保持在可接受的水平(ALOS)或其以下。本文在简要阐述了TQM与SMS的内涵的基础上,主要对TQM与SMS的联系进行了分析。分析结果表明,理解TQM的思想精髓与理念及其与SMS的联系,有助于民航从业人员对SMS的理解更为清晰、深入,对我国民航业推行SMS建设具有重要的实际意义。另外,本文还对比研究了在民航业TQM与SMS的差异及不足之处。     

基于多目标优化的运输机任务设备配置研究

为得到合理的任务设备配置比例,对运输机任务设备配置进行优化。军用运输机可执行多种任务类型,需要配置不同的任务设备以实现货舱构型的转换。任务设备的配置比例应兼顾任务成功率、经济性和利用率等多目标要求。为此,以小规模运输机队为研究对象,给出了任务设备配置目标优化原则和边界条件,建立了配置模型,运用线性加权和法进行求解,并进行了模型灵敏度分析和偏差分析,得出了各任务设备的最佳配置比例,可解决小规模运输机队的任务设备配置问题。实例证明了配置结果的有效性。     

基于区域极点配置的航空发动机全包线/LPV控制

根据发动机相似工作原理以及平方和(Sun of squares, SOS)规划,基于发动机全飞行包线的换算线性变参数(Linear parameter varying, LPV)模型,提出了一种基于区域极点配置的航空发动机全包线切换/ LPV控制方法。根据发动机相似换算参数,建立换算状态变量模型。以高压换算转速为调度参数,利用多项式拟合得到全包线慢车以上的换算LPV模型。考虑基于区域极点配置的/LPV控制问题,将LPV闭环系统的极点配置在复平面上一个期望的区域内,并将LPV闭环系统稳定性条件转化为SOS约束,进行控制器求解。基于Lyapunov理论,设计全包线的切换LPV控制器,保证切换闭环系统Lyapunov意义下稳定。仿真结果表明,设计的切换LPV控制器能保证全包线内系统稳定且具有较好的鲁棒性能和动态响应性能。     

基于ARM的嵌入式系统中FPGA配置方式研究

介绍了基于SRAM LUT结构的FPGA的几种在线配置方式,同时给出了在嵌入式系统中利用ARM7TDMI微处理器产生FPGA配置时序的方法;给出了最小系统应用电路;结合程序,分析如何产生FPGA的配置时序;本方案的实用性在本文得到充分说明.     

舰载弹库安全系统温度传感器配置方法

提出了通过计算舰载导弹弹库发生火灾时环境温度分布随时间变化的规律来确定温度传感器位置配置的方法,建立了舰载导弹弹库温度传感器配置仿真分析模型。通过仿真计算,验证了该模型的合理性。     

基于区域极点配置的不确定线性系统可靠跟踪控制

针对一类不确定性不满足匹配条件的不确定线性系统．提出了考虑执行器故障的可靠跟踪控制器的设计方法。在更一般、更实际的执行器故障模型的基础上,根据区域极点配置理论．给出了系统输出信号渐近跟踪参考输入信号的可靠跟踪控制器存在的充分条件。通过求解线性矩阵不等式(LMI)完成状态反馈可靠控制器的设计．从而使系统的输出信号不仅能稳定地跟踪参考输入信号．而且能满足要求的动态特性。最后,利用仿真实例验证了本文设计方法的可行性。