LFM信号的FRFT模函数对称特性及参数估计

通过数学推导发现了时间无限长线性调频（LFM）信号的分数阶Fourier变换（FRFT）模函数具有对称性,且单边单调。之后经过分析,得出时限LFM信号的FRFT模函数也具有较好的这种特性。根据此结论提出了基于FRFT的时限LFM信号检测与参数估计的新方法,此方法采用两级搜索,克服了FRFT算法误差对线性调频信号的FRFT模函数对称性和单调性的影响,在减少了运算量的同时提高了参数估计精度。仿真分析证实了此方法的有效性。     

特征3有限域上椭圆曲线的Montgomery算法

研究了Montgomery算法在特征3有限域上椭圆曲线的应用.根据Montgomery算法的结构,省去y坐标的计算,提出新的点加和倍点计算公式,加快点乘计算速度.经过理论分析和实验验证,提出的点加和倍点计算公式可节省约15%的运算时间.     

无信息泄漏的比较协议

关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于φ-隐藏假设以及同态公钥加密体制的语义安全性假设,给出了一个特殊的安全双方计算协议--无信息泄漏的比较相等协议.该协议具有公平性:一方知道最后结果的等价条件为另一方也知道这个结果;安全性:除了最后结果以外,不泄露有关双方输入的任何信息;有效性:借助于茫然第三方协助完成计算任务,使协议简单有效,但这个第三方不知道最后结果及参与方的秘密,也不能与参与方串谋作弊;并对协议的正确性与安全性进行了理论证明.该协议在网上投标(拍卖)、网上商业谈判、电子选举等领域中有着广阔的应用前景.     

构造有限域上具有给定阶点的椭圆曲线

考虑有限域上椭圆曲线的构造.设q是一个奇素数的方幂,l是一个素数.证明了,如果GF(q)[x]上的方程U²-D(x)V2=ε(x-a)^l有本原解,其中,D(x)∈GF(q)[x]是一个首1三次无平方因子的多项式,则椭圆曲线y²=D(x)上的点(a,b)的阶是l.由此,给出了一种构造具有给定阶点的椭圆曲线的算法.     

油泥高效降解菌的筛选及其性能研究

从胜利油田及河南油田分离筛选出6株除油菌,对单一菌株和XT-4、F-2、C-2、A-1和AB-1菌组成的混合菌进行了性能评价,并对混合菌降解石油烃的能力进行了研究。通过研究表明,混合菌在耐温、耐酸碱和耐矿化度方面均比单一菌种优越,混合菌具有更好的协同作用和对环境的适应性,其对含油量高和含盐量高的油泥具有很好的降解效果,当油泥含油量高达126g kg-1时,经过混合菌120d的降解,降解率可以达到61.35%。     

多Agent分布仿真中的环境划分模型

在多Agent分布仿真中,采用分布式环境模型有利于提高系统的扩展性.把分布式环境模型划分到多机上执行需要考虑计算和通信两方面的代价,求解总代价最小的划分方案的问题是NP难的,且当P≠NP时不存在具有有限近似比率的多项式时间复杂性近似算法.提出了一种基于准贪心策略和分而治之思想的近似算法;分析了算法的时间复杂性;评测验证了近似算法的有效性.     

巷道围岩稳定性埋深效应数值模拟研究

为分析不同埋深对巷道围岩稳定性的影响,采用CDEM数值模拟软件,建立了相同地质条件下的4个不同断面的模型,分析埋深对巷道围岩位移、塑性区、应力场分布的影响,揭示大埋深巷道围岩的维护特征。     

气体灭火系统管道输送距离探讨——IG541混合气体灭火系统

依据《气体灭火系统设计规范》，对IG541混合气体有管网灭火系统减压孔板出口到最远喷头的管道输送距离进行探讨，提出工程设计中IG541混合气体灭火系统常用的管道输送距离范围。     

抵抗一般结构敌手的自适应安全分布式密钥生成协议

首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指出R. Canetti等人在设计分布式密钥生成方案(DL-Key-Gen)时,关于零知识证明使用的一个错误,并给出一种改进方案.基于以上设计,提出一个可以抵御一般结构敌手攻击的自适应安全的分布式密钥生成方案,该方案的安全性不依赖于"擦除"假设.对于这个方案给出详细的基于黑盒模拟的安全性证明.     

日本LT-6F型水稻插秧机工作原理及分插机构分析

1980年,辽宁省由日本引进丰收(米罗诺—下同)公司生产的 LT-6F 型插秧机。各地试验证明:该机结构紧凑、工艺新颖、使用可靠、效率高、作业质量很好。从而受到省内、外农机、农业等有关方面的注意。为消化吸收国外先进技术,共同探讨