民用飞机综合模块化航电系统分区和资源分配的研究

对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。     

高职高专院校建设数字化校园过程中应注意的问题

21世纪以来,数字化和信息化成为现代社会的主要标志。高职高专院校为了提高自己的管理水平,跟上时代的步伐,也都在着手数字化校园的建设。本文从数字化校园的基本概念入手,介绍数字化校园的组成、建设内容、建设步骤以及建设过程中应注意的问题,并给出了数字化校园的基本模型。     

虚拟人力资源及其模式研究

虚拟人力资源是随着虚拟组织出现和知识经济的兴起而产生的新的人力资源的管理方式。近年来,随着信息技术的进一步升级,虚拟人力资源也出现了新的变化和演进。本文讨论了虚拟人力资源的定义,虚拟人力资源产生的理论背景,并较为完整地梳理了包括众包在内的虚拟人力资源的各种模式。     

关于企业员工培训模式的研究

通过分析现阶段我国企业员工培训行为及新时代对员工培训的新要求，研究探讨了员工培训模式的基本架构及其关键环节。     

21世纪的航天(续)

航天事业在20世纪已取得显著进展和辉煌成就。21世纪即将来临。在21世纪,世界航天如何发展、将取得哪些重大成就,是人们关注的话题。为此,笔者根据有关材料汇编了这份材料,以供参考。共4讲,第一、二讲已刊登在本刊1998年第4期,下面为第三、四讲。     

浅谈民机客户服务专业技术人才队伍建设

民机客户服务人才对我国民机产业发展具有重要影响,其发展建设已纳入国家“十二五冶人才建设规划。介绍了全球顶尖民机制造商波音与空客的客户服务人力资源现状,总结了其客户服务人才队伍的培养措施,最后结合中国商飞公司实际,从招聘、培养、激励及管理等方面提出了培养公司客户服务人才队伍的建议。     

基于遗传算法的测站资源优化分配方法研究

针对测站级测控资源分配中存在的测控任务冲突问题,根据资源分配的一般原则及最优准则,建立资源分配优化模型,利用遗传算法给出该模型的求解方法及步骤。通过实例分析,证明该方法用于解决资源分配问题行之有效。     

学生机长训练中的驾驶舱资源管理

本文研究了学生机长训练阶段中如何配置人力资源、营运信息、设备资源和易耗资源,对提高学生机长的驾驶舱资源管理水平提出建议,以最优化资源效用,确保训练安全和质量。     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.