Regional integration and nuclear energy in Africa

African states are hampered by unreliable electric energy that has not complemented economic development efforts. Recently, several African states announced plans to pursue nuclear energy in the future. However, several challenges remain for these states, notably insecurity and financial deficiencies. This paper proposes the use of regional integration arrangements to address these challenges faced by African states, as a way of complementing other efforts enabling African states to obtain nuclear energy. The existence of these arrangements and their institutional mechanisms can enable African states to enhance security and cost-effectively develop nuclear power infrastructure.     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

面向信息整合的军用数据中心研究

针对未来多样化军事任务对数据服务需求,在充分研究军用数据异构、分散存储、服务方式多样等现状的基础上,分析了数据应用的能力需求,提出了面向信息整合的军用数据中心技术架构与组成,阐述了该架构的特点以及关键技术,很好地解决了现有数据服务存在的问题,为未来军用数据工程建设奠定基础。     

基于Matlab四杆式液压起落机构运动学与动力学分析

提出了一种可用于加油卷盘升降的四杆式液压起落机构的设计方案。分析了四杆式液压起落机构的工作原理,采用复数向量法建立了运动学和动力学数学模型。利用Matlab软件编制了相应的程序进行实例分析和计算,得到了机构关键点的仿真轨迹和有关构件的角位移、角速度及角加速度曲线。运用理论分析计算和软件仿真,验证了机构设计的合理性和方案的可行性。     

超低能耗建筑的实践探索——以后勤工程学院绿色建筑示范楼为例

后勤工程学院绿色建筑示范楼是“超低能耗”理论的实践成果。通过理论研究和对当地气候以及建筑能耗的现状分析,综合采用自然通风采光技术、墙体自保温技术、建筑自遮阳设计等被动式节能技术,地源热泵应用、太阳能利用、楼宇智能控制等主动式节能技术,对示范楼进行了设计、建造。经过两年多的使用,各项节能数据的测定表明：示范楼节约能耗75．4％,实现了公共建筑超低能耗的节能要求。     

一种新的双输入多通道直流变换器

在传统的含储能单元分布式供电系统中,一般都需要多个单向直流变换器和双向直流变换器才能实现其功能。提出一种新的双输入多通道直流变换器,它的功能等效于一个单向直流变换器和一个双向直流变换器。分析了双输入多通道直流变换器的工作原理,给出了变换器的稳态关系式以及能量管理方法,并运用Saber软件进行仿真,验证了理论分析的正确性。该直流变换器除具有双输入Buck直流变换器的优点外,还能实现可再生能源向储电输入源充电。     

湖南军民融合机制建设的现状、问题与对策

构建科学、完善的军民融合机制是推动军民融合由初步融合向深度融合的突破与跃升的关键。就现状来看,湖南省军民融合前期基础较为扎实,思想观念仍相对滞后;配套机制建设初见成效,协调与运行机制尚不完善;地方纲领性政策基本形成,法规与标准体系有待健全。要实现湖南省军民深度融合的目标,需进一步更新推动军民融合发展的思想观念,完善保障军需、兼顾民用的协调与运行机制,健全有利于军民融合发展的约束与保障机制。     

无人机载多传感器集成与数据融合

介绍了无人机在情报、监视和侦察(ISR)领域的作用,分析研究了无人机(UAV)载传感器的种类、特点、集成特性及组合使用方式,说明了无人机载多传感器集成与数据融合的优点、功能组成.针对无人机载传感器的特点分析了多传感器组合、体系结构和特点,介绍了其主要算法,提出了发展趋势.     

资源结构映像异步更新策略及其在JBCM中的应用

使基于构件的软件配置管理系统支持对配置资源的并发访问是一种必然要求,为此提出了一种资源结构映像异步更新策略用以实现这一目标.这种方法已由北京大学软件工程国家工程中心应用于青鸟软件配置管理系统(JBCM).     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.