提高带式输送机生产效率的方法

我公司的6条500带式输送机担负着11万t／年铁矿石和8万t／年铁精粉的生产运输任务。由于任务繁重，其故障率二直居高不下。严重影响和制约着生产速度，为了提高公司的经济效益，我公司运用材料替换方法进行改进，其效果十分明显，现介绍如下。     

采煤机无链牵引机构的改造

采煤机的行走机构,在实际检修、生产过程中会出现各种各样的故障与缺陷,根据行走机构的工作特点,用滑动轴承代替滚动轴承,并对其结构形式进行技术改造,使其维修、安装方便,实用性强。应用中取得了良好的效果。     

基于CK810处理器的汇编链接时优化

提出基于CK810处理器的16/32位混编指令集汇编链接时优化技术。利用汇编输出二进制文件,根据CK810处理器的16/32位混编指令集中指令及操作数的特征,动态选择指令的编码方式,实现对指令relax,最大程度地提高了程序的代码密度。对于在汇编时不能确定编码方式的指令,通过留出重定位的方式,由链接时完成优化。在链接时,利用信息的确定性,实现对整个程序的压缩和指令的替换,使得程序执行效率更高,代码占用空间更小。汇编链接时优化技术克服了传统编译器只限于一个模块优化的缺点,把优化范围扩展到整个程序,实现了跨模块的优化,使得基于CK810处理器的程序代码密度平均提高7.52%,性能平均提升7.91%。     

两个高效无证书签名方案的替换公钥攻击

对新近提出的两个高效无证书签名方案进行安全性分析,指出这两个签名方案都能受到替换公钥攻击。任意攻击者都可以通过替换签名人的公钥从而达到对任意选择的消息成功伪造签名,分析这两个签名方案能受到替换公钥攻击的根本原因。最后通过这两个攻击总结分析了无证书签名方案设计过程需要注意的要点,这对无证书签名方案的设计具有借鉴意义。     

管理报表系统用户自定义函数解析器算法实现

针对目前通用报表系统不能实现用户自定义函数的问题,提出了一个基于F1BOOK的表达式解析器算法,通过该表达式解析器可以实现用户自定义函数.解析器实现步骤包括变量的识别与替换、内部函数的识别与替换,及自定义函数的识别与替换等.介绍了数据库中获取用户自定义函数结果值的算法,以及算法实现实例分析和部分函数实现的关键技术.通过该解析器大大提高了通用报表系统的灵活性,使其适应面更广.     

对一类无证书签名方案的攻击及改进

给出了对一个已有的高效无证书签名方案的替换公钥攻击,表明了在该方案中,攻击者可以通过替换签名者公钥伪造签名。进而针对该攻击提出了改进方案,改进方案将用户单一公钥替换为公钥对,增加了公钥有效性验证,简化了签名产生算法,在随机预言机模型下具有存在性不可伪造性。     

一种改进的无证书代理签名方案的安全性分析

对一个改进的无证书代理签名方案进行了安全性分析,指出了该改进方案对公钥替换攻击是脆弱的。详细给出了公钥替换攻击方法,即对任意选择的消息和授权书,敌手通过替换原始签名者和代理签名者的公钥来伪造该消息的代理签名。分析表明,该改进方案不满足无证书代理签名的安全性质。针对这种公钥替换攻击,提出了一个新的改进方案。     

基于流体替换进行AVO分析检测深层Ⅰ类气藏

AVO是研究地震CRP道集振幅变化规律(随炮检距)的技术,能够从叠前地震数据中获取与地层岩性和含油气性相关的地震属性体,进而进行含气预测,是一门适应勘探开发发展需要的地震技术.传统的“亮点”技术适合检测Ⅲ类AVO含气异常,对于中、深层含气砂岩表现出来的Ⅰ类AVO现象无法识别.某油气田气藏富集,同时含水层也广泛分布,各类...     

可重构媒体处理器任务编译器的前端设计

为了解决算法程序自动映射到可重构媒体处理器的问题,有效提高程序并行执行的效率,提出一种具有自动并行化的任务编译前端. 该任务编译前端通过展开核心循环可提高并行执行度,在数据依赖分析确保运算正确执行的基础上,对循环体内的数组访问进行标量替换,以优化数据传输开销. 实验结果表明,该任务编译前端能有效提高代码并行性和优化数据传输能力,与Garp C编译器的编译前端相比,该任务编译前端设计的性能可提升约2~4倍.