保密通信中两种零知识证明算法的分析及改进

介绍了零知识证明的定义,数学模型及其应用,基于不可否认签名和可证实签名的思想,对一种拥有DSA数字签名的零知识证明方案进行了分析。讨论了一种基于模运算的新的零知识证明算法,并对其进行了改进。     

基于椭圆曲线群上的零知识证明

通过研究椭圆曲线群,给出基于其上的2个零知识证明方案,这2个方案均使得甲方向乙方宣称自己拥有某种信息,并通过互动证明使其确信具有该信息,但同时还未泄漏该信息。     

一种无约束最优化方法——恰当共轭方向法

本文提出了一种求解无约束最优化问题的方法,称之为“恰当共轭方向法”。与通常的共轭方向法(如共轭梯度法)相比,这种方法可以节省大量的一维搜索工作量,并且还能提高收敛速率。     

船舶零航速Weis-Fogh减摇鳍升力仿真研究

船舶减摇鳍在零航速时进行减摇是一种全新的理论。为了研究船舶零航速减摇鳍的升力特性,以Weis-Fogh理论为基础,建立了零航速减摇鳍升力模型,并针对哈尔滨工程大学研制的NJ5型减摇鳍对二维升力模型,在Matlab环境下进行了各种运动规律的仿真实验,结果证明,Weis-Fogh机构减摇鳍在零速流场中能够瞬间产生很大的升力,为以后进一步进行水动力试验以及控制规律的研究打下了基础。     

零控脱靶量有限时间收敛制导律

针对高速机动目标的拦截问题,研究了一种考虑导弹自动驾驶仪动态特性的零控脱靶量有限时间收敛制导律。对导弹-目标三维相对运动几何关系进行解耦,并考虑导弹的自动驾驶仪动态特性,推导了一种新型三维零控脱靶量模型;在此基础上,基于自适应滑模控制理论和有限时间稳定性理论,选取俯仰平面和偏航平面的零控脱靶量为滑模面,设计了零控脱靶量有限时间收敛三维自适应滑模制导律;对该制导律的稳定性和有限时间收敛特性进行了分析和证明。仿真结果表明,与比例制导律相比,所设计的制导律可使导弹的零控脱靶量在有限时间内收敛到零,且具有更高的制导精度。     

提高MIMO系统容量的检测算法研究

为了满足通信容量的需求,在发射端和接收端设置多元素天线阵列构成多输入多输出系统,可以显著提高频谱的利用率.基于贝尔实验室提出的非线性迫零检测算法,提出了反向迫零检测算法.理论和仿真证明,在相同信噪比条件下,反向迫零检测算法获得的系统容量高于非线性迫零检测以及线性迫零检测算法.与奇异值分解算法相比,该算法虽然得到的系统容量有所减小,但是由于所需的运算量相对较小,因而易于实现.     

装甲车载超短波电台零中频接收机设计与仿真

把零中频结构应用于装甲车载超短波电台接收过程中,可以解决目前装甲车载超短波电台接收机体积大、成本高、扩展性差和兼容性弱等问题。在理论分析和计算的基础上,根据现有元器件的发展水平设计了一种装甲车载超短波电台零中频接收机。应用安捷伦公司生产的ADS电子设计自动化EDA软件对零中频接收机进行了仿真。通过仿真结果分析了零中频接收机与超外差接收机在灵敏度上存在差距的主要原因,并针对存在的问题提出了改进方向。     

minimax问题的广义共轭向量法

本文按照共轭向量法的理论,针对非奇异对称矩阵提出了广义共轭向量的概念,并论述了它的三个重要性质(线性独立性、可寻驻点和可扩展性)。在此基础上,构造了极小极大(minimax)问题的广义共轭向量法。理论分析表明,该算法具有二次终止性质,且在每一维搜索时具有确定的寻优特征(求极小或求极大)。该算法为用拉格朗日乘子法求解数学规划提供了一个可能的途径。计算实例表明该算法是有效的。     

大型工程项目集成化管理环境下的知识协同与任务调度

将各个项目单元抽象为不同的知识源,详细分析了集成化管理环境下的知识协同问题,提出了基于权威性加权原则的知识协同处理策略,并就策略修正、协同求解等问题作了分析说明。在此基础上,采取前向调度算法和逆向调度算法相结合的迭代算法,建立了协同工作中的任务调度模型,算例证明,模型能够有效满足各约束条件下任务的增删需求。     

坐标变换的虚时频率与辐射温度

对文献[1]提出的零温到有限温度时空的普遍坐标变换作了推广讨论.用共形异常和Green函数的方法计算了温度时空的能量密度和基态能,证明坐标变换的虚时频率就是温度时空的Hawking辐射温度.并运用热力学第零定律等价于钟速同步的传递性的论断讨论了上述结论.     

系统仿真中的模型校核问题

分析了由模型到仿真程序的问题的基本原因,指出了模型校核的必要性。对模型校核中的稳定性问题、系统状态不连贯问题和代数环问题进行了阐述和分析。针对一个二阶线性连续系统模型的离散化,通过模型校核,发现了隐含其中的稳定性问题,进而指出了相关稳定性理论在应用上的局限性,给出了解决此稳定性问题的方法,并最终通过模型校核,确认了该解决方法的有效,从而保证了对该二阶连续系统的精确的离散化。     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．     

论火灾损失的核定

对火灾损失核定中存在的问题进行了较深入的分析,通过引入中介组织,成立专家小组,注重时效性,加强人员素质等几方面来解决火灾损失核定中遇到的难题,建议对有关规定进行修改,并且发展火灾公众责任保险,来推进火灾损失核定工作。     

基于Bayes理论的装备维修性验证方法

针对装甲装备关键部件维修性验证中出现的小子样问题,提出了基于Bayes理论的小子样维修性验证,重点针对对数正态分布下维修性指标验证的验后似然比验证方法进行了深入研究。通过对装甲装备某关键部件的试验数据的实例分析,验证了该方法在减少样本容量及试验费用方面的有效性和合理性。     

基于测试性验证的故障注入系统设计研究

在以往的装备设计中多是按照实际需求,往往忽略了测试性验证,为装备的使用埋下隐患．以测试性验证为基础,设计了一套故障注入系统,并将其应用于某型号装备的自动驾驶仪设计阶段．实验表明,该系统能够快速有效地对装备实施故障注入并给出量化结果．     

一种开放式PKI身份认证模型的研究

分析了传统PKI(Public Key Infrastructure)身份认证模型存在的问题,基于OCSP(Online Certificate Status Protocol)协议的证书状态验证服务和密钥验证服务相分离,造成了传统PKI身份认证模型的信任度下降,增加了身份认证的风险,跨CA(Certificate Authority)认证复杂度高,CA机构提供的身份认证服务不完整等问题。提出了一种开放式PKI身份认证模型,由CA中心独立完成两个验证服务,将OCSP应答机制改进为提供身份证明文件的方式,可有效解决上述问题。通过云信任评估模型对两种认证模型进行了量化评估,证明了本文提出的开放式身份认证模型可有效提高信任度。对该模型进行了原型实现,重点对性能问题进行了优化,实验测试表明,该模型具有实用价值。     

消防给水系统设计审查及验收常见问题

消防给水系统是建筑给排水系统中的一个重要组成部分,是保障消防安全的基础设施.从消防设计审查的角度出发,提出消防给水设计中的常见问题以及设计中不太重视的消防排水问题;从消防验收的角度出发,列出消防工程验收过程中呈现的常见问题,以期引起重视.     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

数字化稳定跟踪系统软件设计

概述了数字化稳定跟踪系统的几个关键问题,通过理论分析与试验验证,提出了实现高性能数字化稳定跟踪系统的思路及方法     

一种综合集成与演示验证一体化系统的构建方法

复杂性科学问题研究中的综合集成方法是构建研究平台的一项重要内容.针对复杂性研究中的系统平台的建模问题,提出一种综合集成与演示验证一体化系统的构建方法,探讨了具体实现方式和数据同步与数据一致性维护等问题.在雷达目标特性研究中,运用上述综合集成与演示验证一体化系统的构建方法,完成了一个具备尺度一致性和可扩展能力的电磁散射特性验证与演示系统.