基于RSA的数字签名体制研究

数字签名是保障网络信息安全的手段之一,可以解决伪造、抵赖、冒充和篡改问题。本文详述了RSA算法的基本原理和数字签名体制的构成,实现了基于RSA的数字签名系统,该系统包括RSA密钥的生成、数字签名的生成和数字签名的验证。为了加快数字签名的速度,发送方先用哈希算法对要签名的文件计算出一个固定长度的消息摘要,然后用RSA算法对消息摘要进行加密生成数字签名,将文件和数字签名一起发给接收方,接收方利用发送方的公钥对数字签名进行解密生成消息摘要1,然后用同样的哈希算法对接收的文件生成消息摘要2,比较这两个消息摘要,如果相同,说明文件没有被篡改。与其他数字签名体制相比,基于RSA的数字签名具有较高的安全性和可靠性。     

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

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

关于露天矿生产车辆安排的数学模型

通过适当的假设,始终以最短路径作为出发点,充分利用所给数据特点,运用线性规划、矩阵、统计、最优化等数学理论来进行模型的建立和求解。在求解过程中,采取分阶段进行,先确定铲位,再定路线,最后安排车辆。把铲位分为两类,把品位要求的搭配比例转化为路程比例,结成一个新拟合铲位,再取最短路径,快捷地选取铲位。     

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

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

捷联惯导位置更新中的二子样涡卷补偿优化算法研究

研究了高动态环境下捷联惯导位置更新中的涡卷补偿算法。首先,给出了以地理坐标系为导航坐标系的位置更新算法;然后,基于曲线拟合的思想方法,推导了位置更新的二子样和三子样涡卷补偿算法,并且在划船运动(一种引起涡卷效应的典型高动态环境)下对二子样涡卷补偿算法进行优化,提出了位置更新的二子样涡卷补偿优化算法。仿真结果表明,二子样涡卷补偿优化算法的精度要比二子样涡卷补偿算法高,而其计算量与二子样涡卷补偿算法相当。     

熔石英光学元件激光阈值提升仿真与工艺研究

为实现熔石英光学元件的高激光损伤阈值加工,研究了磁流变抛光+HF酸洗工艺提升阈值的过程。通过磁流变抛光+HF酸洗加工实验、测量表面缺陷形貌演变和有限时域差分算法(FDTD)仿真,认为该工艺改善破碎型缺陷,减弱光场调制作用,实现阈值的提升。     

一种改进的星载分布式SAR相位保持成像算法

针对Chirp Scaling算法在推导中对相位采用近似处理而导致相位保持精度不能满足分布式星载InSAR系统对高程测量精度要求的问题,在对线性调频信号脉压处理中相位变化规律进行分析的基础上,结合星载分布式SAR数据处理对信号相关性的要求,推导了适用于星载分布式SAR数据处理的相位补偿公式,进而提出一种能够实现高精度相位保持的改进Chirp Scaling成像算法。算法精确补偿了包括复常数相位项、移零频所引入的线性相位项、距离向残留三次相位项及距离压缩后非均匀采样所引入的相位误差,并且能够实现分布式InSAR复图像对的粗配准。最后,给出了一种理论相位的计算方法,并通过计算机仿真验证了算法的有效性。     

一种新的辐射源优化识别方法

针对证据理论无法获得传感器报告、无法处理具有冲突的传感器报告、计算复杂度高、干扰环境下融合结果不可靠等缺点,提出了一种新的辐射源优化识别方法。该方法首先利用灰色关联算法来获得传感器的报告,并且提出利用信息熵解决灰色关联分析中特征权重的选择问题。然后根据传感器证据报告的特点,引入传感器可信度因子,通过构造和分解代价函数将辐射源识别问题转化为求解一个凸二次优化问题。最后,给出了一种利用对数罚函数方法求解该问题的改进方法和步骤。理论分析和仿真结果表明,与证据理论相比,新方法具有更低的计算复杂度、更好的识别能力、更广的适用性和更强的鲁棒性。