基于伪布尔模型和启发式算法求解无容量设施选址问题

采用伪布尔模型和启发式算法来求解无容量设施选址问题。首先给出了问题的伪布尔(pseudo-Boolean)表示，然后基于Khumawala规则对问题进行预处理，最后提出两种启发式分支准则来求解问题。实验结果表明所提算法简单有效。     

面向数据流结构的指令映射优化方法

在高性能计算领域,数据流是一类重要的计算结构,也在很多实际场景表现出很好的性能和适用性。在数据流计算模式中,程序是以数据流图来表示的,数据流计算中一个关键的问题是如何将数据流图映射到多个执行单元上。通过分析现有数据流结构的指令映射方法及其不足,提出了基于数据流结构的新型指令映射优化方法。主要是根据多地址共享数据包的特性对指令映射方法进行优化,延迟多地址共享数据路由包的拆分,减少网络拥堵。     

一种基于ROP技术的代码混淆方法

针对静动态逆向分析容易获取程序内部核心代码的问题,提出一种基于ROP技术的代码混淆方法。借鉴ROP攻击技术的代码组织和调用方式,利用内存空间随机分布的gadget指令序列执行目标代码的等价功能,实现隐藏目标代码和抵抗逆向分析的目的。从有效性、时间开销和空间开销三个方面评价方法的性能,分析和实验表明,该方法能够有效增加攻击者静动态获取和分析目标代码的难度,具有较好的时间和空间开销性能。     

基于变量决策层的启发式变量选择策略

启发式分支策略是SAT求解器中不可或缺的一部分，直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库，效率比较低。随着独立变量状态衰减和（Variable State Independent Decaying Sum, VSIDS）分支策略的出现，SAT求解器的效率有所提高，但VSIDS策略以及它的延伸策略中变量的增量都只是与变量的冲突次数有关，没有考虑变量的决策层在分支策略中的影响。因此当发生冲突时，如果与冲突有关的变量的得分相同而决策层不同时，对于变量的选择就具有随机性。基于此，本文在阐述变量的决策层的重要性之后在VSIDS策略的基础上，提出一种基于变量决策层的启发式变量选择策略--HSVDL策略。然后通过实例显示HSVDL策略在变量决策阶段选择决策层低的变量的可能性比选择决策层高的变量的可能性要大，而且得分比较小，减少了内存的占用。最后通过实验表明HSVDL策略能够求解出更多的实例，求解器的效率也有所提高，说明该策略有一定的优势。     

主回路滞流分支管振动超标的原因分析与设计优化

在某核电厂热态功能试验中，巡视发现主回路的某滞流分支管振动超标。根据实测振动随温度变化的趋势、管道固有声模态分析和模态分析等，推测管道内流体的声振动激励引发管道共振。根据滞流管三通处流体的漩涡脱落频率计算和声振动频率计算，推测漩涡脱落与滞流管内流体的固有声振动频率锁定，引发声振动激励放大。综合分析计算和实测结果，确定滞流管振动超标的原因为流声固耦合振动。对管道支架进行了优化，以错开声固耦合共振频率，在三通处倒圆角削弱漩涡脱落，以降低流声耦合的声振动幅值。优化后的分支管振动会明显降低，以保证承压边界的安全。     

六盘水地区大河边向斜煤层气多分支水平井钻井工艺研究

贵州省六盘水煤田煤矿瓦斯灾害极为严重,"先抽后建"方案是以煤层气地面井抽采技术为瓦斯治理措施。以大河边向斜地区为研究对象,在分析该区地质背景、煤储层参数基础上,借鉴已施工煤层气井的经验,为解决11~#煤层P41108运巷瓦斯突出问题优化设计适合该区地质条件的煤层气多分支水平井钻井工艺技术。主要从2个方面进行研究:井身类型选型、轨迹设计。本次设计为今后煤层气多分支水平井实施提供了一定的技术参考。     

基于结构化编程的电梯指令登记的实现

介绍了电梯指令登记模块功能及一种实现方法。该模块功能包含四个部分,分别是外呼指令登记、内选指令登记、到站销号、误按销号,鉴于各个楼层的外呼和内选设备相同且动作类似,采用了西门子S7-300系列PLC作为控制器,使用结构化编程的方式,实现了控制任务。通过调试,达到了模块功能要求,效果良好。     

巧用华中系统复合循环G71指令车削零件

结合实例详解了华中数控系统复合循环指令G71在实际编程与加工中的应用。此指令的应用,解决了在加工轴类零件过程中运用传统的加工方法难以满足形状复杂、精度高等要求的问题,从而提高了工作效率。