探索是开发和利用空间之母

航天活动包括探索、开发和利用三个层次。文章从4个方面论述探索在整个航天活动中的作用和地位,认为探索是开发和利用之母,是航天国际化的主要途径,是航天软实力的重要体现,是发挥我负责任大国作用的展示;最后建议中国要加强探索类航天项目和航天活动的开展。     

环境减灾-1A、1B卫星光学载荷在轨运行情况分析

环境减灾-1A、1B卫星于2008年9月6日发射升空,至2013年7月20日,2颗卫星的4台宽覆盖多光谱CCD相机、1台超光谱成像仪(HSI)和1台红外相机(IRS)已在轨稳定工作近5年,共获取超过61万景2级地面遥感图像数据。文章对在轨运行的光学载荷遥测参数进行了统计和分析,结果表明:DC/DC电压遥测变化量不超过5%,关键光机部位温度遥测变化量小于2.25℃,转动部件电压和电流遥测变化量小于1%,遥测参数均在设计范围内,显示光学载荷在轨稳定正常工作。最后,综合分析了光学载荷图像数据应用情况,分析表明:光学载荷图像数据具有较强的地物影像分类、提取和分辨能力,与国外同类卫星比较,水体识别符合度达到90%以上,旱情分级符合度大于66%,光谱分辨率达到5nm,积雪范围提取精度达到90%以上,在各类应用领域发挥了较大的效能。     

SQL Server数据复制在自来水数据库系统中的实现

介绍了Microson SQL Server数据复制的概念、工作原理和拓扑结构,并结合自来水公司的业务特点和应用需求,提出了适合企业业务发展的分布式系统解决方案.     

A formal approach using SysML for capturing functional requirements in avionics domain

In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.     

网络时代软件工程的教学研究

阐述了网络时代软件工程的特点,以及以此为基础探讨了面向学生的理论教学、基于软件项目的实践实习教学环节,提出了教学过程中应强调的问题,对开展教学实践具有积极的指导意义.     

建构主义教学模式对大学生学习方式影响研究

建构主义教学模式对大学生学习方式有重要影响,通过实证研究方法,研究了课堂环境下建构主义教学模式与大学生学习方式之间的内在关系。研究结果表明：以互动性、自主性为特征的建构主义教学模式与深层学习方式显著正相关,教学模式中的自主性对深层动机和策略的影响均显著高于互动性,且自主性可以更为有效地促使学生采用深层学习方式。     

双拦截弹拦截单目标边界型微分对策制导律研究

针对战术弹道导弹、高超声速巡航导弹和无人飞行器等新型具有高机动性能的防空目标,为提高成功拦截的概率,采用多枚拦截弹进行拦截。应用微分对策理论,将双拦截弹拦截单目标的末段制导问题建模为“二对一追踪-逃逸”对策模型。考虑最大加速度约束,研究了两枚拦截弹的拦截空间分解和对策空间分布,并通过仿真研究了制导律性能。结果表明：采用两枚拦截弹拦截时,脱靶量对目标机动方向的转变时间具有很好的鲁棒性。     

多媒体“金属切削刀具”CAI课件的开发实践

本文通过多媒体“金属切削刀具”ＣＡＩ课件的开发实践，论述了ＣＡＩ课件在教学中的重要作用，阐述了ＣＡＩ课件的制作方法和具体实践过程。     

略论我国航天器名字的英译

指出了我国航天器名的英译用汉语拼音的不足;建议我国航天器的英译名以意译为主,音译为辅;提出了航天器名意译的原则和我国全部航天器按意译的英语名建议。     

月面探测器月夜休眠自主唤醒方法

提出一种月面探测器休眠自主唤醒方法:月夜来临时通过地面控制对月面探测器所有设备进行休眠操作;月昼来临时靠太阳光触发唤醒功能,由休眠唤醒电路自主发送指令唤醒探测器,解决月面探测器安全可靠度过月夜的能源供给问题。该方法已通过在轨验证,可为其他深空探测任务提供参考。