基于模型的系统工程方法在载人航天任务中的应用探讨

针对基于文档的航天任务设计中设计数据分散、一致性差、跟踪难度大等问题,引入了基于模型的系统工程(MBSE)方法。首先,介绍了MBSE方法理念,即通过构建图形化的模型来支持系统的需求捕获、设计、分析、验证和确认等全生命周期活动。然后,给出了MBSE方法的一般工作流程,即先构建系统的需求模型,用于指导功能模型、物理架构模型等的构建,按照事先制定好的逻辑规则建立模型间的关系,依靠模型间的关系实现设计过程中的关联性分析、参数查询等工作。最后,应用MBSE方法于载人飞船交会对接任务中。结果表明,此方法改善了人员沟通,提高了设计效率,降低了设计风险,可为MBSE方法在航天任务设计中的进一步应用提供参考。     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

最真相的环境白皮书 你我身边的环境报告

《不平等的世界》看气候如何杀人气温升高、水资源匮乏、土壤流失、沙漠蔓延……在地球这座孤岛上,人类正在把自己当作最后一种资源全部耗尽。在我们所认为的"和平的"近50年里,围绕着资源、土地和信仰,全球爆发了70多场战争和武装冲突……世界早就已经不再是我们所认为的那个的样子了。     

面向IMA网络文件系统的双服务器结构设计

为了提高面向IMA网络文件系统的可靠性和实时性,设计了一种双服务器结构的网络文件系统。客户优先访问主服务器,在得不到主服务器响应时,访问从服务器;主服务器在无法满足同时有多个访问请求时,把一部分的访问请求分给从服务器;主服务器和从服务器通过数据实时更新和定时检测更新,保持数据的高度一致。     

基于改进拟欧拉角的飞行器姿态控制律设计

由姿态四元数导出的拟欧拉角姿态描述继承了四元数无奇异的优点,并明确了相关分量的物理意义,但其同时也继承了四元数的双值性。本文对传统的拟欧拉角进行适应性改进,构建了改进的拟欧拉角,克服了原有姿态描述的双值性,并基于改进的拟欧拉角提出了新的相平面姿态开关控制律。最后对所提出的控制方案进行了仿真验证。     

对思想道德修养与法律基础课程考核的思考

思想道德修养与法律基础课程具有知识综合性、理论应用性和模式创新性的特点,但是该课程考核中存在着以下矛盾:教学主客体考核要求与考核现状的冲突;教学内容的深刻复杂与教学考察的薄弱狭隘之间的冲突;考核过程的复杂长效性与实际操作的不可行性之间的矛盾;思想道德素养与法律素质的见证多主体性与考核主体的单一性之间的矛盾;思想道德素养与法律素质"知"、"情"、"意"、"行"的实践过程与考核停留在"知"层面的矛盾。该课程应该进行考核模式改革,加大平时成绩比重,重视和提高对大学生日常实践行为的考核,平时成绩考核范围扩大到课堂外表现,考核主体由单一主体扩大到多元考核主体等改革建议。     

月面重力模拟系统恒拉力绳索的动力学研究

月面巡视器在未来探月工程中有非常重要的作用.月球重力场是影响月面巡视器运动性能的重要环境因素,需要对其进行地面模拟试验.文章基于绳索悬挂建立月面重力模拟系统,其关键是对恒拉力绳索进行建模和动力学分析.通过将绳索离散化为一系列集中质量的弹簧阻尼结构,得到多刚体系统来代替连续的弹性系统,用数值计算方法来研究绳索系统的动力学参数(如刚度和阻尼)对月面重力模拟系统的影响,来优化月面重力模拟系统.     

面向绕月交会对接的同波束VLBI研究

针对"嫦娥5号"(CE-5)探测器间高精度相对测量需求,设计了我国深空干涉测量处理中心框架下的同波束VLBI处理算法,分析了X波段同波束VLBI相位解模糊条件和结果;通过引入群时延辅助的相位干涉技术,大幅抑制了干涉时延随机误差,为同波束VLBI中相位解模糊提供了先验条件;利用CE-5对接实测数据验证了本文工作的有效性,为CE-5任务同波束VLBI的实施奠定了基础。     

一种基于迭代的多音干扰消除方案

针对正交频分复用技术(OFDM)系统的多音干扰,本文提出先通过增加频域分辨率进行多音干扰识别,再基于迭代运算逐个对多个单音干扰进行参数估计、重构和消除的方案。其中,在多音干扰识别阶段,使用Zoom FFT技术以提高频域分辨率并简化计算复杂度。然而,Zoom FFT后的降采样序列点数不一定满足2的整数次幂,对于单音干扰参数估计,此时可采用经典的基于离散傅里叶变换(DFT)的最大似然参数估计(DFT-MLE),但当采样点数太大时,DFT运算将带来很大的实现复杂度。本文在基于DFT-MLE算法基础上给出一种基于快速傅里叶变换(FFT)的单音参数估计法FFT-MLE,不仅简化了运算复杂度,而且相比DFT-MLE其估计性能有更好的鲁棒性。最后的仿真结果说明了该多音干扰消除方案的有效性。