Soot的Java程序控制流分析及图形化输出①

Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。     

PVDF全塑蒸发器的制备及其性能研究

针对金属蒸发器易腐蚀结垢的缺陷,提出了全塑蒸发器的概念.设计和制备了以PVDF微孔膜为分布器、以PVDF毛细换热管为传热介质的全塑蒸发器,建立单效蒸发实验装置,研究了全塑蒸发器的传热性能.结果表明,在实验参数范围内总传热系数随着冷流体质量流量、冷流体进口温度、热流体质量流量、二次蒸汽蒸发温度的增大而增大;当热流体为373K饱和水蒸气、热流体质量流量2.5kg/h、冷流体进口温度308K、冷流体质量流量10.8kg/h、二次蒸汽的蒸发温度为358K时,全塑蒸发器总传热系数可达1 040 W/(m~2·K).     

功率平衡技术在煤矿多机联动系统中的应用

介绍了功率平衡技术应用于多机联动系统中的工作原理,并给出了功率平衡技术在煤矿胶带运输系统中的应用情况。实践表明,在煤矿胶带运输系统中应用功率平衡技术可使主、从电动机电流随负载的波动而同步变化,有效降低了变频器因功率不平衡而导致的故障停车率。     

LabWindows/CVI与Matlab接口实现的几种方法

根据现代测控领域研究的需求,结合LabWindows/CVI和Matlab两种软件的优势,介绍了几种实现LabWindows/CVI与Matlab软接口的方法,并加以比较。     

程序脆弱性发现中的测试数据生成方法研究

为有效产生程序测试数据,提高Fuzzing测试数据的生成效率和测试覆盖率的问题,提出了一种新的Fuzzing测试数据生成算法--H-Fuzzing.其主要思想是通过程序静态分析结果和动态运行属性,收集程序关键分支谓词的相关信息,得到其与输入变量之间的关联关系,进而指导测试数据算法的收缩,达到能够在少量的随机输入产生过程中得到较高的测试覆盖率的目的.     

搜索引擎与个人信息安全

搜索引擎的发展给我们的工作和生活带来了便利,同时给我们的个人信息安全带来了威胁。该文从搜索引擎的原理出发,简要分析了个人信息泄露的途径,并提出了避免信息泄露的思路和方法。     

基于GA和FEM的夹具布局和变夹紧力优化设计

通过夹具布局和夹紧力大小的优化可以提高薄壁件加工精度．建立了夹具布局和变夹紧力分层优化模型．首先,以工件加工变形最小化和变形最均匀化为目标函数,对夹具布局进行优化设计;其次,基于优化的夹具布局对变夹紧力进行设计．采用有限元法计算工件的加工变形,加工变形求解时综合考虑了接触力、摩擦力、切削力、夹紧力和切屑的影响．采用遗传算法求解优化模型,获得优化的夹具布局和变夹紧力．通过实例分析,验证了分层优化设计方法可以进一步减小工件加工变形,提高加工变形均匀度．     

非结构化对等网络资源定位机制研究

非结构化对等网络是当今P2P的主流,资源搜索定位机制是其核心问题,Gnutella为代表的非结构化对等网络采用基于BFS和DFS的定位机制。在分析非结构化对等网络特征的基础上,提出了改进搜索定位机制的思路和方法。     

远程节点之间产生GHZ态

提出一种在噪音通道中实现远程节点之间产生多原子纠缠的方案,噪音参数与目标态的保真度是相互独立的.结果表明,此方案中制备的非最大纠缠态能用来完成量子通讯.