基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

Gender diversity in geo-spatial technology and applications disciplines uptake in developing Asian countries – A survey-based competency analysis

Geo-Spatial Technology and Applications (GSTA) contributes significantly to the implementation of the UN 2030 Agenda for Sustainable Development, which seeks to ‘leave no one behind’. This study attempts to assess the gender diversity in enrolment in GSTA programmes in developing countries in Asia using data available with the UN-affiliated Regional Centre in India. A survey was also conducted to gauge trainees’ comfort in a complex multi-cultural, multi-linguistic classroom environment. The analysis shows that female participation in short-term courses has been increasing rather steeply over the years (1995–2019). The enrolment has reached 30% in recent years. It is also observed that the female participants have preferred (about 10%) to enrol in physical Science and Technology (ST) -oriented courses such as Remote Sensing and GIS, Satellite Meteorology and Climate Change, and Space and Atmospheric Sciences when compared to electrical Engineering and Technology-oriented Satellite Communications and Global Navigation Satellite Systems courses that would require a strong knowledge of digital signals and systems theory.The survey study with a participation of 150 trainees from 17 countries shows that women trainees have a slight edge by 9% over the male counterparts in learning ST elements of the courses. At sub-regional levels, it is observed that participants from Indian sub-continent countries (ISC) are better by 15% than participants from South-east Asian Countries (SAC) and Central Asian Countries (CAC). As far as the course structure perspective is concerned, there has been a significant difference with 70% of the ISC trainees have found the courses as well-balanced covering equally both technology and applications, while only 36% and 56% of the trainees from SAC and CAC, respectively, have found the course as balanced. Importantly, the survey has revealed that the participants from SAC and CAC have a big challenge in apprehending lectures in English, as reflected by their top scores at 18% and 17%, respectively, compared with the corresponding value of the ISC trainees being 72%. Recommendations are suggested to sustain the female enrolment in long-term GSTA training programmes. Strategies that create family-friendly learning conditions, including joint education programmes involving lead institutions of the participants’ countries, are proposed to facilitate higher female participation. Furthermore, measures such as standardisation of curricula regionally at undergraduate levels and having periodic meetings of trainers are recommended in order to minimise the trainees’ core competency gaps in GSTA disciplines at the regional level.     

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.     

基于工厂机制的Air-SeaSim CGF模型系统

针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发.     

提升基础研究平台能力,支撑液体动力技术创新发展

从基础理论与设计准则创建、提高产品质量与可靠性、支撑关键技术攻关及引领技术创新发展等层面论述了液体动力技术基础研究的重要性。介绍了俄罗斯、美国、欧洲及日本等相关领域的发展概况,并与国内基础研究情况进行了比较。从优化整合资源、创新体制机制、强化队伍建设及增加研究经费等方面,提出了提升我国液体动力技术基础研究平台能力的对策。     

中国空间站光学遥感载荷的发展研究

光学遥感载荷的空间站平台相比卫星平台具有很大的优势,吸引了包括俄罗斯、美国和欧空局在内的国际空间站成员国争相进行空间站光学遥感载荷的新技术实验验证和对地观测研究。文章介绍了国际空间站光学遥感载荷的观测方式和特点,结合国际空间站光学遥感载荷的应用情况,从新技术实验验证和对地观测两个方面分析了中国空间站光学遥感载荷发展应该注意的问题,为中国空间站光学遥感载荷的发展提出了几点建议。     

基于串口通信的虚拟仪器平台的设计与测试

设计了一套基于串口通信的虚拟仪器平台。系统硬件采用DSP平台和PC平台协同工作的模式,其中DSP芯片为协处理器,负责信号采集和预处理。PC平台负责信号分析与工作状态控制,用户可以通过开发好的PC平台软件完成对系统的控制,PC机与DSP的通信采用串口实现。分析了串口通信质量对信号测量的影响,实验结果显示串口通信稳定可靠,通信误码对信号分析影响不大,能够满足串口通信虚拟仪器平台的需求。     

国外舰船航改燃气轮机的发展特点

综述了国外舰船燃气轮机的发展历程,总结了其在燃料消耗、污染物排放、可靠性与可维护性等方面的发展特点。     

碳纤维树脂基复合材料发展现状及前景展望

文章较系统地介绍了碳纤维树脂基复合材料的优异性能、产业背景、新技术国际发展趋势、我国产业化发展现状及存在的主要问题,并有针对性地提出对策和建议,可供从事复合材料研究开发的相关人员、产业界人士及有关政府管理部门参考。     

三维回转器回旋条件下拟南芥种子发育分析

向重力性反应是植物适应地球重力环境的一个重要生理过程, 是植物正常生长发育不可缺少的反应机制, 但是, 微重力是否影响植物种子发育至今尚无一致性结论. 本文研究了三维回转器回旋模拟微重力对拟南芥种子发育(胚胎发育与代谢活动)的影响. 研究结果表明, 三维回转条件下, 拟南芥果荚出现不规则弯曲或扭曲形态, 形成的种子中可溶性糖和淀粉含量明显增加, 盐溶性贮藏蛋白质含量显著降低而碱溶性蛋白质含量显著升高, 球形胚时期的种子对三维回转处理最为敏感. 对球形胚时期的植株进行短期的三维回转处理可抑制胚柄细胞的分裂和伸长, 而胚柄伸长受阻可能会影响到营养物质向胚胎中输送, 进而导致部分胚胎败育. 对种子干燥脱水阶段的植株进行三维回转处理不影响胚胎的发育, 但会导致种子贮藏蛋白质含量下降.