可证明安全的基于位置的Prover-to-Prover密钥交换协议

本文针对两个证明者之间可证明安全的基于位置密钥交换协议展开研究.首次将基于位置密钥交换分为P2V(Prover-to-Verifier)模式和P2P(Prover-to-Prover)模式,并给出P2P模式下基于位置密钥交换的安全定义.随后,在1维空间下设计了可证明安全的基于位置P2P密钥交换协议P2PKE¹,并以此为基础构造了d(1≤d≤3)维空间下基于位置P2P密钥交换协议P2PKE^d.同时,分别提出了具有密钥确认性质的基于位置P2P密钥交换协议P2PKE^d-c和无密钥托管的基于位置P2P密钥交换协议P2PKE^d-e.最后,从安全性和效率两方面对所设计的协议进行了讨论.     

基于复杂对象分解的相似性计算方法

针对目前常用的相似性度量方法难以满足复杂对象的相似性计算要求,提出了一种基于复杂对象结构分解的分层相似性度量方法。根据属性间的关系紧密程度将复杂对象结构迭代分解,直至基于分解后的简单对象结构的对象可以使用传统相似性度量方法计算对象间的相似性。分解过程可以得到树型结构的对象结构划分。在此基础上,利用树型的对象结构从叶节点向根方向对对象逐层进行相似性度量,最终得到复杂对象的相似性综合度量。结合某大型电信运营商的套餐数据进行应用分析,证明该方法具有较好的性能。     

新型砌块养护机动组合窑

成型机生产小砌块 ,一模数块排在底板上 ,生产速度很快 ,刚脱模的小砌块强度较低 ,在送进养护窑层叠过程中易受损伤 ,每班要保证上万块既笨重、强度又低的小砌块搬入窑内层叠养护不受损伤确是难题。改革开放后 ,我国引进西方发达国家的小砌块生产技术 ,其养护设备大多是多层支架养护窑 ,这种窑专门配置了升板机、多层叉车、降板机、砌块分离机、底板返回机、码垛机、液压电控站等十多台高大设备 ,其主要功能是托着砌块进出窑 ,设备价格高。引进生产线设备 150万美元以上 ,国产同类的生产线设备也要 180万元人民币 ,而砌块成型机只占不到 1/5…     

基于人工免疫系统的客户流失分析

针对目前客户流失分析中的过量抽样和规则不容易理解导致分类算法在实际应用中的效果不明显的问题,提出了一种抗体抗原交叉的规则归纳算法（IRAA)。该算法基于人工免疫思想,结合了Michigan方法模型的规则提取和分类方法,并且在其抗体的克隆选择过程中增加抗体与抗原的交叉。通过与传统分类算法的比较实验表明,IRAA提高了分类准确率,导出了容易理解的规则。     

穿墙生命探测雷达强回波对消最优搜索算法研究

在军事领域和民用领域里,穿墙生命探测雷达具有重要作用,而强回波对消是穿墙探测技术中的关键性难题。文章设计了自动强回波对消系统,建立了最优搜索算法模型,实现了较优的强回波对消。     

基于极大安全通路向量的超立方体容错路由

针对超立方体结构的多处理机系统中存在链路故障的情况,提出了用于最优通路记录的极大安全通路向量的概念,给出了一个建立MSPV及其容错路由算法。证明了MSPV通过n-1轮邻节点之间的信息交换,能以向量的形式记录最多的最优通路;与基于安全向量及扩展安全向量的容错路由算法相比,MSPV是SV以及ESV的最大扩展,解决了如何用向量的形式来记录最多最优通路的问题.     

无人机散射通信侦察和干扰的可行性分析

描述了无人机巡航于散射公共体积内时,采用无方向性天线,对散射通信实施侦察干扰的估算问题。首先从技术上进行分析,计算了实施干扰时的散射公共体积高度、尺寸和需要的干扰功率。最后,对载体无人机的活动范围受到散射公共体积范围和视距范围进行了界定。     

无人机GPS系统定位能力分析

GPS定位系统可以提高火控系统对目标的精确打击能力。详细叙述了运用于无人飞行器上的GPS系统对无人飞行器控制性能和对目标定位的影响,而电子地图能很好的显示无人飞行器的位置和周围环境信息。因此,将GPS与电子地图结合起来,可以实现无人飞行器的动态定位和导航,并可以提高目标定位能力。     

孤岛双馈风力发电机组最大风能捕获策略

在分析孤岛双馈风力发电机组最大风能捕获原理的基础上,提出了一种通过控制负载侧变换器功率使电机转速随风速变化以实现最大风能捕获的控制策略。首先,采用改进的孤岛双馈风力发电系统拓扑结构,分析其功率关系。其次,根据负载侧变换器的数学模型及系统功率关系,建立了孤岛双馈风力发电机组最大风能捕获的控制策略。最后,利用MATLAB/Simulink对不同风速下孤岛双馈风力发电机组的运行性能进行了分析和比较,结果验证了该控制策略的正确性与有效性。     

大学生选择当矿工

在常人眼里,名牌大学毕业出来,肯定是选择当白领或者进机关,但是在重庆能源集团石壕煤矿,却有一位毕业于重庆大学计算机软件专业的大学生,来到煤矿当了一名掘进工.