GALILEO频率结构和信号设计的分析

描述并分析了由欧盟GALILEO信号特别工作组提出的GALILEO全球卫星导航定位系统的频率结构和信号设计。     

P2P网络中的匿名电子拍卖协议研究*

在P2P网络中实现电子拍卖的功能对于P2P技术具有重要意义,这将意味着电子商务同样可以在P2P网络中广泛应用.然而,匿名性、投标价保密性、抗勾结性等安全问题一直是电子拍卖研究的难点问题,一种合理的解决方法是将盲签名、知识证明、可验证的数字签名加密算法引入到电子拍卖协议中.这样不仅可以很好地解决P2P网络无中心服务器的不足,还使得系统的安全性能得到显著提高.     

两方量子密钥协商协议的改进

针对Hsueh和Chen的基于最大纠缠态两方量子密钥协商协议存在安全漏洞,即发送方可单方控制共享密钥的问题,通过增加接收方的幺正操作给出了一个改进方案.利用幺正操作来代替对发送方的安全检测,这从根本上满足了量子密钥协商中各参与者都贡献于共享密钥的生成和分配这一基本要求,从而使其抗发送方攻击的安全性依赖于基本物理原理而非检测光子技术.安全分析表明,该方案可有效抵抗外部攻击和参与者攻击.与另一改进方案相比,该方案以更小的代价解决了原协议的漏洞,提高了协议效率.     

自我强化的基于身份的广播加密方案

为了有效解决广播加密系统中的密钥泄漏和密钥管理的问题,提出了一个新的实用的基于身份的广播加密方案。利用超椭圆曲线上的双线性对构造广播加密和解密算法,节省了广播通信传输带宽。引入了密钥自我强化保护机制,在分配用户密钥时通过用户的机密信息计算其解密密钥,降低了用户为保护自己的利益而泄漏其密钥的可能性。证明了方案在扩展的k元BDHI假设下对抗k用户合谋攻击的安全性     

中小IT企业腾飞之路——河北中盟科技加入“全赢联盟”的几点体会

联盟概念的提出,打破了软件业以至整个IT业普遍存在的闭门造车、单打独闯、排斥合作的陈旧观念,加入联盟对于中小IT企业来说,无疑是一条尽快提高自身竞争力,不断体现公司自身价值的腾飞之路。     

带有异或运算安全协议的自动化检测

针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.     

基于神经网络测控胜利煤矿设备油耗的研究

通过鸟群觅食算法全面优化BP神经网络的偏置与权值。同时利用优化过的BP神经网络创建胜利煤矿设备油耗的测控网络模型,进而研究胜利煤矿设备油耗问题。这种通过PSO优化出的BP神经网络所创建的模型能够将该矿影响设备油耗的复杂因素与繁琐的设备油耗数值进行完美的拟合。经过仿真后的结论说明:创建的模型具备较好的稳定性,测控准确度较高等性能,非常适合进行该煤矿设备油耗的测控工作,能够很好的指导该矿设备的科学管控,降低该矿生产成本投入。     

基于视觉的机械臂轨迹优化方法研究

针对应用视觉系统进行工件抓取时,工件相互遮挡导致识别工件不准确且抓取效率较低的问题,提出基于视觉的机械臂轨迹优化方法。由相机采集工件图像信息,通过标定机械臂坐标系、工件坐标系及相机坐标系,建立“手眼”坐标关系,基于点云数据对工件识别与定位;提出改进遗传-鲸鱼混合轨迹规划算法,以控制工件抓取过程。对机械臂的3个重要关节进行了运动仿真与实验测试。仿真结果显示：改进的遗传-鲸鱼混合算法收敛速度更快,搜索能力更强,优化后的抓取时间比基本遗传算法优化的抓取时间减少了2.3 s。实验结果表明：基于点云识别的机械臂抓取成功率达到93.75%,极大提高了抓取效率,验证了算法的有效性。     

二阶二段掏槽技术在岩巷掘进中的应用研究

为了解决阳煤一矿岩巷掘进中出现的炮孔利用率低、大块率高、抛渣距离远的问题,在岩巷掘进爆破施工中应用二阶二段掏槽技术。在分析了二阶二段掏槽破岩机理的基础上,依据炸药爆炸在岩石中形成粉碎区和裂隙区半径的计算式确定了一阶及二阶掏槽孔口距、孔底距等二阶二段掏槽技术关键参数,并在现场进行应用。现场试验结果表明：与原方案相比,采用二阶二段掏槽技术后,炮孔利用率由81%提高到90%,大块率降低了72%,抛渣距离减小了29%,月进尺由60m提高到90m,提高50%。应用效果表明二阶二段掏槽技术具有良好的适应性,并具有较高的技术经济效果,可为同类型巷道快速掘进提供借鉴。     

CDMA体制长周期测距码的编码方法与相关特性

通过对测距伪随机码的常用序列及性能研究，针对采用码分多址体制的卫星定位系统的将点，定义了长周期测距码，分析了其相关性的特点和编码的基本要求，并提出了一种编码方案，给出了局部互相关值的最大值的理论下限和部分仿真数据．这些结论同样适用于长周期的直接扩频序列．