分享勇往直前的喜悦

最近在星空卫视很欣喜地发现了一档全新的节目——《勇往直前》，这是一档精彩的汽车竞赛类节目．每期都有六组参赛踏遍五湖四海．挑战路途中的重重困难只有到达终点并且拿到过关证明才算胜利。自节目开播以来．我们全家每期必看我们的心总会跟着参赛选手们的表现而起伏不定．和他们一起分享成功的喜悦．体会失败的滋味！短短半小时的节目却总能让我们回味许久。     

羊毛精纺织物服用性能优选的多属性模糊决策

本文应用多属性目标决策的方法,评判不同规格毛织面料的"满意度",客观地提供一个重要的优选辅助依据。     

开发月球

1969年7月到1972年12月，美国实施“阿波罗”计划，先后6次将12人送上月球，在月面上进行了大量的科学探测活动。自那时以来，人们一直在希望重返月球，逐步在月面上建立起驻入基地，然后进一步开发月球。     

谈高校统计档案资料的整理与利用

文章从高校统计工作生成的档案资料出发,阐述了建立高校统计档案资料的重要性。对统计档案资料的收集、整理、保管和利用等问题进行了探讨,提出了一些基本思想。     

信息产业应用型人才开发与廊坊经济协调发展的研究

廊坊作为河北省的信息产业基地,对信息产业应用型人才的强烈需求使得廊坊地区更迫切需要加快发展高等职业教育。通过对信息产业应用型人才的特点和廊坊经济特点的分析,提出了构筑廊坊的信息产业应用型人才开发的原则和建议策略。     

微等离子体转化二氧化碳发射光谱诊断

火星大气层的主要成分为二氧化碳,如果能够利用低温等离子体方法高效分解二氧化碳,使其转化为氧气和一氧化碳加以利用,可以大幅降低航天员生命保障相关载荷长途运输的成本,进一步提高生命保障能力.低温等离子体放电过程中会产生大量活性组分,可以在数百度温度下实现二氧化碳的高效解离,是具有很大潜力的二氧化碳解离与转化方式.设计了一种...     

基于身份的空间网络安全研究

空间网络安全的研究是天地一体化网络研究的重要组成部分,日益受到研究人员的重视。本文根据空间网络面临的安全威胁,分析需要采用的安全机制,构建了空间网络的安全体系结构。深入分析基于身份的密码体制（IBC）,在空间网络中应用IBC提供安全服务框架,以此为基础,提出了一种密钥交换协议,并详细描述了安全通信的建立过程。分析表明,同传统的基于公钥基础设施（PKI）体制的安全解决方案相比,IBC具有较低的存储、通信和计算开销,是适合空间网络的有效安全方案。     

基于实测和差波束天线方向图的∑△STAP性能分析

基于实测和差波束天线方向图研究∑△STAP的性能,文中详细推导了和差波束天线方向图的空时二维杂波协方差矩阵和∑△STAP算法的最佳权矢量.理论分析和仿真计算结果表明,和差波束低副瓣增益有效抑制了旁瓣杂波,降低了杂波自由度.当杂波起伏或载机速度提高时,杂波自由度增加,∑△STAP算法的系统改善因子凹口相应展宽,慢动目标检测性能下降.∑△STAP算法能迅速应用于机载火控雷达,有效提高慢动目标检测性能.     

一种面向机载软件开发环境的运行架构设计

近年来随着机载软件规模和复杂度的快速提升,开发和维护人员对集成开发环境的支撑能力提出了更高的要求,机载软件开发环境的运行场景和使用模式越来越复杂多样。因此,非常有必要在重新梳理机载软件开发环境运行架构的基础上,分析其运行原理,定义其运行模式及工具之间的关系。给出了一种典型的机载软件开发环境运行架构设计,在此基础上定义了其运行原理和五种主要运行模式,并描述了各模式和工具之间的衔接关系,为构建开放式、可扩展的机载软件开发环境提供了参考依据。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。