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

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

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

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

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

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

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

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

多分支大截面型钢混凝土结构施工

结合实际工程,介绍多分支大截面型钢混凝土结构的施工技术。采用预分支连接技术及针对于该技术的钢结构深化设计、钢筋排布和连接、混凝土定位振捣的综合技术措施,降低了现场工人拼装焊接作业劳动强度,降低了安装、测量控制手段和施工管理难度,提高了结构质量,其经济效益显著。     

对话黄声远

李晓东:黄声远试图用建筑设计、景观设计和城市规划的手法,打破平日里城市景观和规划的界限.他在做的事正重新定义着什么是建筑师,而台湾民主进程为他的实践创造了良好的环境,使他得以掌握项目的话语权,更好地实现他的建筑理想.所以我想问声远,如果不是在宜兰,而是在台北,如今会以一种什么样的方式做建筑?此外,选择宜兰是一种必然还是偶然?     

SAGD低物性段分支参数优选及对提高采收率影响研究

在新疆克拉玛依油田超稠油油藏SAGD开发后期,受低物性段隔夹层影响,部分井蒸汽腔无法纵向扩展,注气驱替不充分导致产量下降。针对这一问题,可采用优化井型等措施来扩大主井筒两侧泄油面积进一步提高采收率。本文结合现场数据建立数值模型,采用方差分析法分析不同井型参数对产能的影响大小并采用控制变量法以采收率为评价指标优选出适合目标区块的最佳井型参数,顺序为分支长度、分支数量、分支角度、分支间距,井型参数为分支长度150m,分支数量3条,分支角度90°,分支间距150m。在原模型基础上对优化方案进行了模拟预测,结果表明:目标区块累计产油量增加6247.6t,采收率提高12.7%,含水率平均降低8%～12%,研究成果对分支井辅助SAGD低物性段提高采收率提供了理论指导。     

浮点数比较分支的混淆方法研究

针对当前分支混淆方法仅对整数比较分支有效的缺陷，该文分析浮点数二进制表示与大小比较的关系，证明了浮点数二进制区间的前缀集合与浮点数区间内数据之间具有前缀匹配关系。使用哈希函数对前缀集合进行保护，利用哈希函数的单向性实现对抗符号执行，通过哈希值比对替换浮点数比较，提出一种基于前缀哈希值比较的分支条件混淆技术，实现了一种在符号执行对抗和混淆还原对抗上具有较强对抗性的混淆方法。最后，通过实验证和分析，证实了该文提出的混淆方法有消耗小、能够有效对抗符号执行和混淆还原的优点，具备较好的实用性。