基于Cortex-M3的电磁调速采煤机软件升级研究

为实现综合自动化工作面的电磁调速采煤机远程升级维护,完成功能性迭代,以Cortex-M3内核为主控制器的电磁调速采煤机为例,分析BOOT Loader的启动原理,定制升级程序的存储器分配,实现用户软件的加载和卸载,并定义了高效的实时通信协议.在山西吕梁荣泰煤矿自动化工作面电磁调速采煤机中实践应用结果表明,一次性软件升级成功率达90％以上,通过多次加载完成可靠的软件升级,可大幅减轻井下机电工人的维护工作量.     

基于压电陶瓷的钢管混凝土柱早期强度监测

为研究钢管混凝土柱内部早期强度的增长规律,该文在现有混凝土早期强度监测技术基础上,提出一种基于压电智能骨料的早期强度检测方法。制作钢管混凝土柱试件,通过在钢管混凝土柱内部预埋智能骨料作为传感器和激励器,发射和接收信号,对混凝土早期强度增长过程中传感器采集到的数据进行分析,结果表明,传感器接收信号的电压幅值随着混凝土早期强度的增加而减少,混凝土早期强度在初始的1周内以较快的速度增长,1周后增长速度减慢,28d后强度为1个定值。与此相应,传感器接收信号电压幅值在初始1周内以较快的速度下降,随后下降速度减慢,最后达到稳定,电压幅值变化曲线与早期强度变化曲线相似。利用压电智能骨料能对混凝土早期强度发展过程进行有效监测。     

空间平行直线距离的高效安全计算

针对2种不同表达式的空间平行直线距离的保密计算问题,提出了2种基于Paillier同态加密算法的空间平行直线保密计算协议。协议利用Paillier同态加密算法和基础数学知识来隐藏保密数据,使合作双方既能完成计算,又能保证各自的私密数据不被泄露。利用模拟范例证明了协议的正确性和协议在半诚实模型下的安全性,并分析了协议计算的复杂度和通信的复杂度。与解决同类问题的协议相比,该协议不需要调用不经意传输和保密点积协议,而是基于Paillier同态加密算法提出的空间平行直线保密计算协议。分析和实验比较表明:所提出的协议在计算复杂度和通信复杂度上比其他协议都要低。     

试论煤炭企业管理者的培养问题

企业管理者就是企业的象征和财富的标志，煤炭企业的管理者更是如此。在市场经济条件下和人世后，营造适合煤炭企业管理者培养、成长的机制和氛围，建立一支煤炭企业管理者队伍，已成为我们煤炭企业脱贫解困，走出低谷的一个至关重要方面。１营造煤炭企业管理者队伍培养和成长的氛围市场需求是促进企业管理者成长的一个重要方面。但企业管理者是一些具有特殊才能的人，需要有较高的素质和较强的能力，其成长周期较长、耗费的投入和劳动较多，除了后天的修炼和教育外，还需要一些先天的条件。因此，企业管理者的市场供给是其成长的又一个重要方面。企业管理者是具有冒险精神，能有效地配置企业资源。企业管理者的供给取决于有多少人有志于企业管理者为职业并具备相应的条件。有志于从事职业企业管理者，但未必能成为真正的企业管理者，尤其对煤炭这个特殊行业来说，除先天因素外，还需要有自我教育的愿望及合适的方式。有自我修炼的想法但未必有时间。“时间就是金钱”这句俗语对这个行业的管理者直接适时随地的去学习和充实自己，不断更新基础知识和管理知识，使自己的智能始终处于最佳状态。企业管理部门和企业要为管理者创造学习和修养的机遇和条件，形成一定的氛围，有一套激励机制，促使他们自觉地充...     

一个可验证的门限多秘密分享方案

基于离散对数计算和大整数分解的困难性、利用RSA加密体制提出了一个新的门限多秘密分享方案。该方案通过零知识证明等协议来防止秘密分发者和秘密分享者的欺诈行为，因而是一个可验证的门限多秘密分享方案。该方案还具有：秘密影子可重复使用；子秘密影子可离线验证；供分享的秘密不需事先作预计算等特点。该方案可用于会议密钥(秘密)分配、安全多方计算、门限数字签名等应用领域。     

无可信PKG的盲签名方案的安全性分析及改进*

针对周萍等人的无可信PKG的盲签名方案详细分析了其安全性,指出方案不能抵抗敌手AI伪造攻击,敌手AI可对用户的部分公钥进行替代,生成对任意消息的合法的盲签名。为此,提出了相应的改进方案。改进的方案在验证等式中增加了系统参数,有效地证明签名者拥有合法的SID,从而防止了敌手AI的公钥替代攻击。分析表明,改进的方案是安全的,能抵抗敌手AI,AII,AIII的伪造攻击。     

基于身份的门限环签密方案

把基于身份的环签密和门限签名结合起来,提出了一个基于身份的门限环签密方案。此方案不但具有签密的一般性质：机密性和认证性,还具有签密者的匿名性和门限性质。在CDHP、DBDHP困难性假设下,分别证明了方案在适应性选择消息攻击下的不可伪造性以及在适应性选择密文攻击下的不可区分性。     

基于嵌入式技术的液体泄露检测系统研究

液体管道在地下土壤环境中容易受到腐蚀,这会影响管道的使用寿命和使用安全,为此通过多个液体检测传感器、油位传感器、温度传感器等硬件设备研究液体管道的性能检测。基于嵌入式技术实现检测的硬件和软件设计,其中硬件包括中央处理器、存储器、计算器、控制器、A/D转换模块、D/A转换模块和多路传感器接口等关键部件,实现数据信息的采集、计算与检测。中央处理器以S3C6410的内核为微处理器(ARM11)的处理器,通过串行外围设备接口(SPI)总线传递到嵌入式软件中的Linux内核空间。通过伯努利方程实现数据信息的故障判断。实验表明,本研究对液体管道检测的精度最高,对接精密度高达99.2%,提高了检测的工作效率。     

干性粉砂地层条件下三联拱暗挖管廊穿越风险源关键技术研究

文中以干性粉砂地层条件下浅埋暗挖三联拱非对称管廊下穿既有管线为研究对象，分析在特殊地层、非常规断面结构的条件下地层变形沉降规律，针对不同类别的风险源，总结并验证了穿越管线、河道、构筑物、道路等土体沉降控制措施。