基于Polar码的纠错延后量子协商协议

提出了一种基于纠错(EC)延后的量子密钥分发协商协议.该协议不直接对密钥进行EC,而是将EC延后到信息交换后进行.这种量子密钥分发协商协议具有两个优点:1)EC延后可使量子密钥分发网络中不直接相连的两个节点通过共同的可信节点共享密钥串;2)EC延后可简化整个协商过程,只通过简单的信道编码就能完成EC,还能同时纠正通信过程中产生的误码和信息本身存在的误码.本文理论上分析了所提协议的密钥利用率;并以误比特率为标准,结合Polar信道编码,通过数值仿真说明所提协议的可靠性与安全性,并与等同条件下应用低密度奇偶校验码(LDPC码)的量子密钥分发协商协议进行比较,结果表明基于Polar码的协商协议可获得更加完善的性能.     

基于身份密码系统下Canetti-Krawczyk模型的安全扩展

Canetti-Krawczyk(CK)模型是分析密钥交换协议的一种形式化方法, 如果一个密钥交换协议用该模型证明是安全的, 则CK模型能够确保该协议具备许多安全属性. 但是我们发现在基于身份的密码系统下该模型不具有确保密钥生成中心(KGC)前向保密性的能力, 而对基于身份的密钥协商协议来说KGC前向保密性是一个重要的安全属性. 通过分析研究发现引起该缺陷的主要原因是CK模型没有充分考虑在基于身份的密码系统下攻击者的能力, 所以在该系统下通过对CK模型增添一个新的攻击能力: 攻陷KGC, 来对该模型进行了相应的扩展, 通过扩展该模型具有确保KGC前向保密性的能力.     

一种环月交会对接航天器的自主导航方法

我国正在进行月球采样返回工程,月球轨道交会对接是采样返回任务中关键环节之一.本文提出了一种新交会过程中目标航天器和追踪航天器自主航方法.该方法综合利用成像敏感器、交会雷达和激光高度计测量信息,结合绝对轨道动力学模型,利用UKF滤波算法设计航滤波器,能够同时估算交会对接过程中追踪航天器和目标航天器绝对轨道参数.在月球阳照区,采用成像敏感器和交会雷达测量信息进行自主航;在月球阴区,则采用交会雷达和激光高度计测量信息进行自主航.通过理论分析和数学仿真,验证了所提出自主航方法有效性.本文所提出方法为月球轨道交会对接工程实现提供了理论参考.     

超标量通信:一种面向分布式应用的运行时优化技术

并发在分布式应用中是一项实质性的需求,然而现有方法均十分复杂且容易出错.文中提出一种全新的并发途径——超标量通信,这种方法通过用语言级虚拟机SSVM在运行时自动分析应用程序,以发现潜在的并发机会;然后通过调度通信任务和计算任务,实现并发执行.超标量通信技术的构思受到了微处理器中的超标量技术的启发,然而硬件的超标量算法在许多方面都不适用于软件.SSVM是一种对运行时系统的扩展,它不需要修改现有的语言、编译器和字节码,因此具有很好的向下兼容性.超标量通信技术有可能开拓一个全新的领域,其特征是针对网络程序的动态优化.     

基于广义传热定律的传热与热功转换优化

基于广义传热定律,本文分别从熵产和（火积）损失的角度对简单的传热过程与热功转换过程进行了优化,对熵产和（火积）损失的概念在上述过程优化中的适用性进行了讨论分析.研究表明,对于传热过程,（火积）损失率就是（火积）耗散率,该概念可有效优化传热过程.然而,在给定传热温差时,最大传热量不与最小熵产率对应,因此熵产最小化方法不一定适用于传热优化.对于热功转换过程,最大（火积）损失率和最小熵产率同时与系统最大输出功率对应.因此熵产最小化方法和（火积）理论均可用于优化本文讨论的热功转换过程.     

IDEA算法高速密钥生成模块的FPGA实现

提出了一种基于FPGA的高速IDEA算法密钥生成方案.详细介绍了IDEA密钥生成模块的子模块的功能划分、设计实现及性能分析,对直接影响速度性能的模乘和模乘逆运算,提出改进的硬件实现结构.在此基础上,设计了新的IDEA密钥生成模块FPGA实现方案以克服其常用结构所存在的缺陷.仿真结果表明,其速度性能有了较大的提高,且该结构能在速度与资源消耗之间取得一个较好的平衡.     

基于混沌映射的一种交替结构图像加密算法

将分组密码学中的交替结构首先引入到基于混沌映射的图像加密系统中．采用广义猫映射进行像素的置换和扩散，将单向耦合映射格子用于像素替代，两种操作交替执行．在每一轮加密中，通过简单的密钥扩展产生两种子密钥，分别用于不同的混沌映射，密钥长度随加密轮数而变化．解密的算法结构与加密结构相同，仅需按倒序输入解密密钥．安全性分析表明，该加密算法对密钥十分敏感，对多种攻击手段都具有较好的免疫性，执行速率高且代码紧凑，适用于各种软、硬件的图像加密平台．     

VANET 中一种可撤销的车辆群组批认证方法

针对车辆认证的效率瓶颈问题,本文提出了一个群组安全通信方案.该方案运用批认证的方法来加快群组中车辆的认证速度,而在群组的构建过程中,采用无证书的公钥密码体制来克服密钥托管问题;对于群组中不合法车辆的撤销问题,采用布隆过滤器快速、低存储的特性来对撤销的车辆信息进行公布,避免以往使用撤销链表时所需的巨大存储开销和认证时延.仿真发现所设计的方案在计算时延和传输开销方面都优于现存方案.     

基于三维Arnold变换的图像加密算法

基于三维Arnold变换，提出了新的数字图像加密算法。首先利用采用一雏分段线性混沌系统产生一次一密的密钥，然后利用三维Arnold变换对图像进行置乱。这种置乱是依赖于密钥的。进行通过一种依赖于密钥的替代和混淆使置乱后图像的像素灰度值改变并产生互相依赖，即将每一像素值扩散到其它像素中去。实验仿真和分析表明，该算法密钥空间大，算法易于实现，能抵抗差分攻击、统计分析和明文攻击。     

稀疏均匀非同心电磁矢量阵列的2D-DOA与极化联合估计

本文提出了一种稀疏均匀非同心电磁矢量传感器矩形阵列,针对该阵列提出了一种二维波达方向(2D-DOA)和极化参数的联合估计算法.首先利用稀疏均匀矩形阵列的旋转不变性得到周期性模糊的2D-DOA估计,然后提出一种简易的非同心电磁矢量传感器的2D-DOA估计算法来解模糊,再通过一些三角变换得到高精度无模糊的2D-DOA和极化参数估计,最后推导了该阵列多参量估计的闭式克拉美罗界.本文所提阵列的稀疏配置使得在不增加阵元数和硬件复杂度情况下有效扩展了阵列物理孔径,且由于矢量传感器的使用获得了极化分集,使得2D-DOA的估计精度大大增加.此外本文方法能得到2D-DOA和极化参数之间的自动配对,更为重要的是该阵列使用非同心电磁矢量传感器构成,解决了同心电磁矢量传感器互耦严重、硬件设计困难的问题.仿真结果证明了本文多参量估计算法的有效性.     

航天器复杂推力器配置控制能力分析的一种新方法

本文针对工程中关心的航天器复杂推力器配置的控制能力问题,提出了一种新的分析方法——配置相对于任务的可行性分析法.文章首先系统地给出了一套推力器配置可行性的定义,然后利用矩阵范数求解配置控制能力最弱的方向及其对应的控制能力上界中的最小控制指令,并由此推出了推力器配置约束可行的判别定理.最后给出了应用可行性分析法研究配置控制能力的具体方法,并通过算例进一步验证了该方法的正确性和有效性.     

基于导航星间链路的天基高精度时间传递方法

随着航天技术的不断发展,航天器的数量日益增多,迫切需要一种统一的、高性能的天基授时手段,以便为各类航天器的高效协同提供保障.导航星间链路广泛适用于卫星精密定轨与时间同步,并且覆盖了星座内的中高轨卫星,因此可作为一种理想的天基高精度时间传递手段.现有的导航星间链路时间同步方法依赖于导航卫星具备星历信息,并不适用于位置精度较低且空间信息缺乏完整性的任意空间飞行器.本文在导航星间链路双向测量原理的基础上,提出了一种动态条件下时延修正方法,该方法计算简单、工程可实现性强,只需要空间飞行器终端具备多普勒测量或连续伪距测量功能,即可实现空间飞行器在一般位置精度条件下的高性能时间同步.理论分析表明,授时精度优于0.1ns.最后,以地面站模拟空间飞行器,结合北斗星间链路星地实测数据开展了时间同步试验,试验结果验证了本方法的有效性.     

采用加权选通信号的扫描自测试方法

提出了一种采用扫描选通信号基于扫描的自测试方法.各扫描链所对应的权值可通过该算法计算出.在这种测试模式下,测试响应的收集可能在任意时钟进行.该方法力求最大限度地提高数字系统内部节点的可控度和可观测度,从而在几乎不带来额外硬件开销的情况下获得尽可能高的故障覆盖率.实验证明,此方法取得了很好的效果.     

基于多活性代理的分布式入侵检测系统构建分析研究

针对应用了移动代理技术的分布式入侵检测系统在代理安全性和稳定性方面所存在的问题,本文在基于多活性代理复杂信息系统研究方法的指导下,提出了一种新的分布式入侵检测系统结构,即基于多活性代理的分布式入侵检测系统(DIDS-MLA).该系统将传统分布式入侵检测系统的两层结构扩展为三层结构,通过增加的一层结构对系统中各个检测代理活性状态值进行监测,使系统能够在多活性代理协商协调机理的指导下,根据代理活性状态值的变化来调整各代理的工作,从而达到保护系统中代理安全性以及维护系统检测稳定性的目的.在之前的研究工作中,我们仅仅对活性代理进行了定性分析,本文中则进一步提出了一种在分布式入侵检测环境下定量分析代理活性的方法,并在此基础上给出了系统中活性代理的实现思路.最后通过对系统工作流程以及对分布式拒绝服务攻击的检测效果进行分析之后,我们可以看出,本文所设计的DIDS-MLA系统在安全性和稳定性方面比传统分布式入侵检测系统(DIDS)以及基于移动代理的DIDS系统有明显改善,能够在强对抗环境下保证系统检测工作的正常运行.     

基于知识点本体的语义扩展研究

传统的基于关键字的信息检索不能很好地检索到相关的资源.通过分析教学领域知识点本体的语义相关性特点,提出了一种基于知识点本体的语义扩展算法.该算法通过将概念间关系进行分离,利用概念层次结构和关联关系并考虑多种影响因素分别计算语义相似度和相关度,进而综合量化成语义关联度进行语义扩展检索.实验表明,本文所提出的语义扩展算法能够有效地提高查全率、查准率,取得较好的检索效果.     

不可逆过程广义热力学动态优化研究进展

广义热力学优化理论是热科学与技术领域的研究热点之一.本文首先回顾了有限时间热力学、熵产生最小化理论、理论、广义热力学优化理论的产生与发展,深入剖析了上述热学优化理论的物理内涵及其相互间异同点,然后从传热过程、传质过程、电容器充电电路和经济贸易过程等不可逆过程动态优化研究方面介绍了广义热力学优化理论的研究进展,重点比较了熵产生最小化理论和理论在传热传质过程优化中的异同点,最后指出除在研究对象范围和研究内容方面进一步拓展与细化外,追求物理模型的统一性、优化方法的通用性和优化结果的普适性是广义热力学优化理论的另一重要发展趋势.     

基于特征点的空间目标三维位姿单目视觉确定算法

针对基于特征点的空间目标包括相对位置和相对姿态等的三维位姿单目视觉确定问题,提出了一种基于逆投影思想的迭代方法.给出了一种包含景深估计和绝对方位解算两阶段的迭代算法,在景深估计阶段首先计算由转移矩阵表示的最优平移矢量,然后重构各特征点,并利用其在逆投影线上投影更新各特征点的景深;在绝对方位解算阶段采用Umeyama绝对方位解析算法计算相对姿态矩阵,上述两阶段迭代进行直至结果收敛.利用全局性收敛性定理证明了文中算法的全局收敛性.最后,以航天器交会对接最终逼近段的视觉测量为背景对该算法进行了数学和物理仿真,进一步验证了算法的有效性和收敛性.     

物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

模拟波在弹性固体无限域中传播的有限元与动力无穷元耦合方法

主要目的是概述用于模拟波在弹性固体无限域中传播的有限元与动力无穷元耦合方法.该方法可同时模拟近域介质材料的复杂性和远域介质的无限延伸性.以描述二维和三维弹性和粘弹性固体介质中的波动方程为基础,推导了动力无穷元的质量矩阵和刚度矩阵.所建立的二维动力无穷元模型可同时模拟P波和SV波在该单元中的传播;而所建立的三维动力无穷元模型则可同时模拟P波,S波和Rayleigh波在该单元中的传播.有关计算结果表明:有限元与动力无穷元耦合方法既可从物理概念上、又可从数值方法上较为精确地模拟波在弹性和粘弹性固体无限域中的传播,为解决在科学研究和工程实践中所涉及到的无限域问题提供了一种先进的科学研究工具.     

黄河流域水库群多目标运行控制协同方法研究

依据协同学原理,提出了水库多目标运行控制的方法,该方法能够综合考虑水资源利用过程中相互冲突的供水、防洪、发电等目标.应用序参量构建了描述水资源子系统协调程度的有序度模型,并结合信息熵原理,建立了有序度熵,作为判定系统是否向协调有序方向演化的根据.对水库运行方式进行调控时,首先用模拟的方法获得初始方案,然后根据有序度和有序度熵对初始方案进行调控.应用该方法对黄河流域水库群的调控进行了研究.