基于RSA的零知识水印验证协议

提出了一种基于RSA公钥密码体制的零知识水印验证协议,以解决通常的水印检测方案泄漏与水印相关的敏感信息的问题。协议利用公钥加密对水印及水印嵌入位置的水印化数据进行盲化处理,通过判断它们之间相关性的方法实现了版权水印的公开验证。同时,对如何抵抗骗局攻击进行了研究,提出了在协议执行过程中限制证明者P、验证者V对外通信的方法抵抗该类攻击。     

BF6M1015C防爆柴油机散热器设计

我国煤矿用无轨胶轮车起步较晚,无轨胶轮运输车上防爆柴油机散热器与普通路面车辆散热器结构原理完全不同,设计方法有较大差异,目前理论设计水平有待提高。结合实际使用情况,介绍支架搬运车用BF6M1015C防爆柴油机散热器设计计算方法。为合理设计该柴油机散热器,根据车辆使用的实际工况,进行设计防爆柴油机散热,使散热器设计合理,避免散热器过小,发动机水温过高;散热器过大,发动机水温过低。散热器的合格设计,可以提高发动机的效率,增加其使用寿命。     

城市桥梁结构防水技术研究

针对桥梁建设的发展,对桥面防水进行了概述,探讨了APP防水卷材的工作机理,并对APP甲防水卷材进行了试验研究,通过工程实例,介绍了APP甲防水材料的成功应用,以做好桥梁的防水工作,从而提高桥梁的耐久性。     

钻孔灌注桩与喷射注浆组合支护结构

提出采用钻孔灌注桩与喷射注浆的组合形式作为深基坑的支护结构。该种组合支护结构具有防渗效果好、施工速度快、造价低等优点,是一种很有发展前途的新型支护结构。     

适应性选择密文安全的可公开验证加密方案

在密钥托管、电子公平交易、可公开分享和安全多方计算中,对可公开验证加密有广泛的应用需求,但是已有的可公开验证加密方案或者是选择明文安全的,或者是在随机预言机模下是选择密文安全的,显然不满足诸多复杂应用环境的安全需求。在对已有可公开验证方案的分析和现实应用需求的基础上,结合CS加密方案,利用非交互性零知识证明协议提出了一个新的可公开验证的加密方案,新方案使得除发送方和接收方外的任何第三方都可以验证密文的有效性,且不会泄露消息的其他任何信息。最后,相对于随机预言机模型,在标准模型下证明了新方案是适应性选择密文安全的。     

质点法机器证明视角下的近世几何研究

优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世几何的机器证明,且可读性令人满意。在该证明器的帮助下,发现了一些新的近世几何性质,深化了近世几何的研究成果,并对已有的近世几何研究成果提出一些意见。     

矿用防爆型煤灰分仪的研究与设计

为了提高采出率、控制含矸率,需要在煤矿井下用矿用防爆型煤灰分仪对采区原煤灰分进行在线监测。根据煤灰分仪用^241Am低能γ射线在穿过3mm钢板后衰减94．1％的现状,提出了射线透窗技术。通过研究各种材料,多次试验比对,找到了符合防爆性能要求的透窗材料,使低能1射线在穿过隔爆壳时的衰减率降低至40．6％;选择双源分置、双γ探测仪技术消除了^137Cs的康普顿效应对^341Am的计数干扰,同时解决了Cs、Am计数范围不兼顾的矛盾。采用该技术设计的矿用防爆型煤灰分仪已在铁煤、焦作、兖矿等煤矿集团使用,现场测试表明,其精度满足了用户需求。     

10kV隔爆兼正压型设备在煤矿井下应用探讨

针对目前采用空气绝缘技术的矿用隔爆型高压配电装置在电气绝缘、密封、维护中存在的问题,分析目前10 kV设备所采用的空气绝缘、气体绝缘、固体绝缘3种技术的特点,提出并论证了气体绝缘技术可应用于矿用隔爆型高压配电装置中,采用气体绝缘技术的隔爆兼正压（充气）型高压配电装置可提高煤矿井下供电系统的可靠性。同时,针对煤矿井下设备的特殊性,提出了开发矿用隔爆兼正压（充气）型高压配电装置需亟待解决的4个关键技术。     

铰接式防爆胶轮车转向运动学动力学分析与试验

针对双桥驱动铰接式防爆胶轮车在转向系统的设计过程中,目前尚无比较成熟的计算方法和指导公式,利用所建立的双桥驱动铰接式防爆胶轮车在空载和满载2种工作状态下的原地转向运动学及动力学模型,推导了车轮速度与折腰角之间的关系,分析了轮胎滚动、轮胎偏转以及传动件扭紧产生的转向阻力矩,并利用虚位移原理给出了空载和满载状态下的原地转向阻力矩计算公式。结果表明,根据该公式所计算的转向阻力矩与实测结果基本吻合,误差在10%之内,为其他双桥驱动铰接车辆转向系统的设计提供参考依据。     

非经典切片技术及其在形式验证中的应用综述

切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片：计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发突出。简要地介绍了切片技术思想的起源、发展过程,并着重介绍非经典的计算切片和证明切片技术及其在验证领域的应用。