上下文敏感的横向传播方法

为了有效提高基于调用图的上下文敏感指针分析能力及其上的环消除算法的时间分析效率问题,提出一个新的上下文敏感的横向传播算法.该算法使用当前最优秀的基于包含的指针分析在线改进技术.首先对新约束图的定义进行说明,将其初始化;为了证明上下文敏感的横向传播算法能精确有效地对源程序进行上下文敏感的指针分析,引入实例进行论述;最后用CIL工具进行实验,实验证明上下文敏感的横向传播算法在分析大规模程序时的时间花费减少了9s左右.     

基于Nios II的UHF RFID读写器设计与实现

基于FPGA的数字基带系统是超高频频段射频识别读写器中的关键部分.根据EPCglobal Class 1 Gen 2标准,用Verilog语言编写了脉冲间隔编码模块和双相空号解码模块,并用C语言编写了其驱动程序,生成组件模块.组件作为Nios II嵌入系统的模块,可以重复使用.对于应用程序开发者,不用了解硬件结构就可以使用标准C 函数操作组件,使得开发简便快捷,节省了时间和成本.     

帮坡角变化对露天矿采剥量以及经济效益的影响

露天矿最终帮坡角是影响露天矿安全生产的主要因素之一,也对露天经济效益产生重要影响,特别是对大型深凹露天矿的影响尤为突出。在保障露天矿安全生产条件下,本文通过优化矿区不同帮坡角条件下的最终境界,研究帮坡角变化对矿山岩石剥离量、矿石采出量以及经济效益的影响。结果表明,随着帮坡角的增加,最终境界内的岩石剥离量、矿石采出量可能增多也可能减少,但经济效益呈现增加趋势。     

论钢管混凝土结构的施工技术应用

钢管混凝土是将普通混凝土填入薄壁圆形钢管内而形成的一种组合结构,它是介于钢结构和钢筋混凝土结构的一种复合结构。钢管和混凝土这两种结构材料在受力过程中相互制约,即借助钢管对核心混凝土的紧箍约束作用,使核心混凝土处于三向受压状态;另外,内填充的混凝土可增强钢管壁的抗屈曲稳定性,从而使核心混凝土具有更高的抗压强度和抗变形能力。     

基于Spring Security ACL的系统访问控制研究

Spring Security ACL是一个权限访问控制框架,主要用来控制各种资源的访问权限。本文讲述Spring Security ACL的机制原理和理论研究,同时也通过一个简单的权限控制实现的例子演示Spring Security ACL的安全框架的实现方法和过程。     

本地传输网WDM组网策略

业务网IP化趋势的发展,带动了大颗粒数据业务需求的增加,TDM需求也随之逐步弱化,因此带来IP over WDM承载方式实现的可能。本文主要讨论本地传输网建设中骨干层和汇聚层上的WDM组网策略。     

广播电视发射天线技术及应用

广播电视发射天线在广播电视无线发射系统中占据着重要的位置,它是调频广播和电视天线发射系统中的重要组成部分。随着时代的发展,我国的广播电,视事业也迅速崛起,为了跟随社会发展的步伐,需要在广播电视技术上改革和创新,以推动整个广播电视的快速发展和进步。     

第二厂家SDH/MSTP设备组网策略

简要讨论了在本地传输网中引入第二厂家SDH/MSTP设备的多种组网方式,从网络可持续性和可维护性角度出发,分析第二厂家SDH/MSTP设备的组网策略.     

电沉积非晶Ni－P合金的层状结构

用电沉积法获得的非晶Ｎｉ－Ｐ合金断面经抛光、浸蚀后，金相组织为平行于基体表面、黑亮相间的层状结构。它的形成原因是，在镍磷合金电沉积过程中，由于阴极附近溶液ｐＨ值发生变化而引起磷含量随厚度突变。     

金属热喷镀在水力机械上的应用

在多种金属喷镀技术中,近年来在水力机械上应用发展较快的是再熔化喷镀、等离子射流喷镀和电弧喷镀。为了降低水力机械的维护费用以及维持水机的长期运行性能,关西电力公司综合技术研究所和日立制作所合作,共同进行了研究。本文通过应用于真机上的喷镀基础研究,对各种喷镀技术进行比较,并讨论喷镀材料的耐久性及适用范围等。研究表明:Ni系自熔性合金的再熔化喷镀技术对防止汽蚀是有效的;等离子喷镀、电弧喷镀对减少泥砂磨损和防止锈蚀具有优良的效果。对于不同的工况和环境条件,应选择适当的喷镀方法和喷镀材料。实践证明热喷镀是防止汽蚀、减少泥砂磨损以及防止腐蚀的有效手段。