基于浮点数类型转换和运算的不透明谓词构造方法

随着软件功能的日趋复杂和网络攻击技术的不断演进,软件盗版、软件破解、数据泄露、软件恶意修改等恶意行为呈上升趋势,软件安全问题逐渐成为行业领域普遍关注的焦点和研究方向。代码混淆是一种典型的对抗逆向工程的软件保护技术,它能够在保持程序原有功能不变的条件下加大攻击者对程序进行分析和理解的难度,被广泛应用和深入研究。现有的代码混淆技术大多由于追求混淆效果而普遍存在性能损耗偏高、隐蔽性差等问题。控制结构混淆是代码混淆技术中应用较广泛的一种,它通过扰乱程序的控制流从而提高代码逆向工程难度,不透明谓词混淆是其一大分支。为了弥补现有代码混淆技术的缺陷,提出了基于浮点数类型转换和运算的不透明谓词构造方法,利用计算机浮点数类型转换和运算过程中伴随的精度损失现象使特定条件下产生与常理相悖的运算结果,通过选择若干个小数进行强制类型转换、加法运算和乘法运算,基于其运算结果统计可以构造一系列不透明谓词,实现代码混淆功能。相较于传统的不透明谓词,该构造方法具有隐蔽性高、通用性好、可逆性、开销低等优点。实验验证表明,该方法在大幅降低攻击者对软件进行逆向工程等工作速度的同时,对于符号执行等动态分析技术具有良好的抵御性能...     

低碳建筑的评价指标初探

提出用建筑利用中的人均碳排放指标和建筑用能过程碳减排效率对低碳建筑进行评价。指出建筑碳排放实质上是人的碳排放,建筑只是使用者的能耗平台。因此,对建筑碳排放的评价要用强度指标,即建筑使用者人均碳排放指标。而对建筑设备的碳排放评价,是一个投入产出分析过程,即投入隐含碳、间接碳和直接碳,产出避免碳排放量的效率。同时计算得出我国太阳能光伏发电的隐含碳排放量。     

V55Ti20.5Cr18.1Fe6.4合金的吸放氢循环性能研究

对V55Ti20.5Cr18.1Fe6.4（原子分数，下同）贮氢合金进行了155次吸放氢循环性能实验研究。结果表明：随循环次数的增加，合金吸放氢量减小，放氢量的衰减呈减缓趋势，放氢平台区缩短，平台压力增大，合金表面有影响吸放氢性能的化合物生成，合金结构呈bcc与fcc的双相结构，合金颗粒由于微裂纹的不断累积而逐渐粉化。     

供暖管线施工流程与质量标准分析

供暖管线不仅是建筑方面的问题同时也关系着国计民生,所以在建筑工程中必须要严格控制供暖管线的施工流程和质量标准。本文主要对供暖管线的施工流程以及质量标准进行分析。     

近红外光谱快速检测婴幼儿配方乳粉中主要成分的方法研究

目的研究利用近红外光谱技术快速检测婴幼儿配方乳粉中主要成分的方法。方法收集12个品牌的婴幼儿配方乳粉共100份样品,采集10 000~4 000 cm-1波数范围内的近红外光谱,采用主成分回归和偏最小二乘法建立校正模型,并对比光谱预处理方法对模型的影响。结果采用偏最小二乘法建模,光谱采用标准正态变量变换预处理,模型预测效果最佳,主要成分蛋白质、脂肪、膳食纤维、水分、灰分、可获得碳水化合物和能量的预测方差分别为98.44%、97.40%、96.18%、96.74%、96.97%、96.55%和95.35%,估计标准误差分别为0.354 2、0.473 8、0.201 4、0.105 8、0.093 61、0.520 7和13.64。对模型进行外部验证,将预测样品的7项主要成分的预测结果与实验室检测结果进行比较,相对误差及相对偏差均在5.00%以下,7项主要成分符合国家标准的精密度的要求。结论本方法能快速有效的测定婴幼儿配方乳粉中蛋白质、脂肪、膳食纤维、水分、灰分、可获得碳水化合物的质量分数及能量的含量。     

容器放气性能研究

以较大容器和多段不同内径、长度的细长导管和自动阀门组成的放气系统为对象,研究了该系统从0.6 MPa初始压力放至剩余压力为0.001 MPa时所需的放气时间.将该放气系统简化为定容器和流量特性参数为S和b的气动元件,并假设气体为理想气体,放气过程为等温,推导出了相关的计算公式.通过放气系统的实验结果、理论分析结果的对比...     

基于遗传神经元网络的供应链伙伴企业选择方法的研究

供应链管理是当今的研究热点，其中的伙伴企业选择是其主要研究的问题之一。本文介绍了一种遗传BP算法来优化人工神经元网络，以解决供应链的伙伴企业选择问题。最后以企业为背景，运用这种遗传神经元网络来解决实际问题，并给出了结果。     

用x射线对XLTK—55型精密火花间隙结构分析研究

前言 1978年4月广东省电力系统在22万伏茂(名)-江(门)输电线上投入了第一个双捷串联电容补偿站,容量是3.24万千乏,补偿度为40.6％,串联电容器组的额定电压是19、71KV。电容器的主要保护之一过电压保护,是采用连续性燃弧的非自灭弧型保护间隙──火花间隙,配合并联开关及一整套由集成元