JavaScript引擎JIT代码的类型混淆缺陷检测器

类型混淆漏洞是近期在JavaScript引擎中集中爆发的一类漏洞。但是,受即时编译(JIT)代码的限制,以往的类型混淆缺陷的检测方法,无法用于检测JavaScript引擎JIT代码的类型混淆缺陷。本文提出了一种针对该类型缺陷的检测方法,并实现了检测器名为TC-JIT-San的JIT代码类型混淆缺陷检测器。该方法利用JIT代码执行流和数据类型之间关联性,将从JIT代码中识别数据类型的难题转为观察执行流的变化。TC-JIT-San通过观察执行流的变化情况是否符合正常执行逻辑,从而检测出类型混淆缺陷。实验结果表明,TC-JIT-San具有低开销、低漏报和误报的特点。其运行时开销是正常执行的1.84倍,平均漏报率和误报率为0%和0.11%。     

科技丰富生活体验

<正>天津生态城始终秉持“以人为本、应用至上”的理念，将可感知、有温度的民众服务场景的打造放在了最重要的位置上，并以“服务共享、公益共荣、绿色共建、社会共治”的理念将服务打通，形成不断融合成长的发展脉络。围绕居住环境、医疗教育、娱乐休闲等市民高度关注的领域创建了一系列优秀的智慧应用经验，充分增强了民众的体验感、获得感。     

导电胶固化状态对器件内部水汽含量的影响

气密性封装器件的芯腔内部如果存在大量的水汽，则会影响器件的可靠性，因此在封装的过程中，要对器件内部的水汽含量进行控制。但是目前的控制措施主要是从封帽环境、原材料等方面入手，对导电胶固化状态对器件内部水汽含量的影响研究得较少。因此，首先，对比了不同固化状态导电胶的固化度和吸水率；然后，对不同固化状态对器件内部水汽含量的影响进行了研究。结果表明，充氮烘箱的装载量会影响导电胶的固化状态。当导电胶在300℃下的固化时间为30 min时，其固化度为100%，吸水率约为0.45%；当在300℃下的固化时间为10 min时，其固化度约为92%，吸水率约为0.94%。导电胶固化不充分时，其在温度循环和高温烘烤中会继续固化，并释放出少量的水汽和大量的二氧化碳。固化不充分的导电胶会在双85试验中吸收水汽，即使器件在封帽前会进行烘烤，吸收的水汽也未能完全排出，导致器件内部水汽含量升高。随着烘烤时间的增加，器件内部水汽含量逐渐地减少，当将烘烤时间延长至13 h时，可有效地去除固化不充分导电胶吸收的水汽，使水汽含量低于1 000×10^-6。     

西安市渭河支流最小水质指数优选

分析影响渭河支流浐河、灞河、沣河和皂河水系的关键水质指标，进而确定最小水质指数(W₍WQI_min)),对简化水质评价意义重大。为此，在浐河、灞河、沣河和皂河4条河流共设30个采样点，于2019年4、8、12月分别进行采样，结合室内试验和数理统计的方法对浐河、灞河、沣河、皂河的15个水质指标进行分析，发现沣河DO含量最高，皂河和浐河交汇后的灞河段的EC、亚硝氮含量相比其他河流较高。此外，基于15个水质指标应用水质指数(W_WQI)对浐灞沣皂河水质的时空变化进行评价，发现水质总体达中等以上水平(W_WQI≥51),4条河流中沣河水质更好，而2019年春季的水质相比另外两个时期更好。同时，应用逐步多元线性回归分析法和经验法确定出了最佳的最小水质指数(W₍WQI_min)),该W₍WQI_min)包含DO、氨氮、COD_Mn、浊度、硝氮、SO₄^2-、EC共7个水质指...     

掺土充填材料力学特性研究及数值反分析

针对小保当煤矿充填开采需要研制清洁、高效、经济的充填材料。使用黄土、粉煤灰与一定量矸石混合制备矸石膏体充填材料(GCPB), 通过系列室内试验及数值模拟研究了GCPB的流变特性、流动特征、单轴抗压强度及破坏演化规律。结果表明:不同配比GCPB料浆均符合H-B流变模型,屈服应力随黄土掺量的增加而增大(92.41→155.42pa),黄土掺量大于15wt%时满足矸石沉降要求; 坍落度随黄土掺量的增加先增加后降低(LF-1→LF-4→LF-6: 219→276→258mm)；28d抗压强度随黄土掺量的增加而降低(4.09→2.14Mpa),坍落度及抗压强度均满足矿山充填开采要求；充填体的破坏模式随黄土掺量的增加由张拉破坏主导转向由剪切-张拉破坏主导,破坏阶段均表现出峰前弹性能积聚峰后转变为耗散能急速上升的特性。     

植物乳杆菌植酸酶理性设计及表达鉴定

植酸酶能将植酸水解成肌醇衍生物，并释放出无机磷酸，是一种重要的生物催化剂。植酸酶的热稳定性和比活性是决定其潜在应用价值的2个关键因素。该研究从植物乳杆菌中克隆到了具有233个氨基酸残基、高活性的植酸酶基因(LpPHY233),并在大肠杆菌中实现了高水平的异源表达，其表达水平是植物乳杆菌的800倍。基于理性设计的结果，通过二硫键工程显著提高了LpPHY233的温度特性和催化性能。突变体LpPHY233S58C/K61C的最适反应温度较LpPHY233提高了15℃。此外，它还具有良好的pH特性和动力学参数，在食品加工和饲料添加剂领域具有较大的应用前景。该研究结果为植酸酶的进一步分子修饰和工业应用提供了坚实的理论基础。     

混凝土抗渗仪在线检测装置的研制

针对混凝土抗渗仪现场使用不方便检测的问题,研制开发了一种新的现场在线检测装置,巧妙地通过抗渗仪的排水口连接,利用抗渗仪的造压泵加压,进行压力示值、液面高度差的测量,通过上位机控制软件实时读取和处理数据,可以在不对抗渗仪进行拆卸、也无须安装夹具的条件下的进行检测工作,该装置完全满足JJF 1812—2020《混凝土抗渗仪校准规范》对标准器的要求.经实验表明,该检测装置具有安装方便、操作简单、检测结果准确可靠等特点,具有较好的应用前景.     

遗煤二次氧化宏微观特征参数变化及动力学研究北大核心

为了探究采空区遗煤二次氧化自燃特性,利用红外光谱仪和同步热分析仪等测试对比了原煤与氧化煤二次氧化过程中宏观参数与微观参数变化特性,并计算了二次氧化过程的反应动力学参数。结果表明:氧化煤中取代苯、-C=C-、-CH_(3)、-CH_(2)-、-CH_(3)/-CH_(2)-、-C=O、-COOH等基团的含量增大,而-CH、-OH、自由基浓度、g因子、线宽则显著减小;相较于原煤,遗煤二次氧化过程中有着更小的特征温度和吸热量,有着更大的放热量、质量损失速率、综合燃烧系数;原煤和氧化煤的燃烧过程虽然均符合一级反应,但氧化煤有着更小的活化能;整体而言,氧化煤有着更强的自燃倾向性和自燃危险性。     

琥珀油的提取及成分分析

分别采用水蒸气蒸馏法和有机溶剂提取法提取琥珀挥发油(琥珀油)。在琥珀油提取过程中，考察了不同类型提取溶剂、琥珀粉碎程度、浸泡时间及提取时间等因素对琥珀油得率的影响，以及优化琥珀挥发油的提取工艺。结果表明，水蒸气蒸馏法与有机溶剂提取法相比，水蒸气蒸馏法提取琥珀油量少，纯度较高；有机溶剂提取法提取的琥珀油量多，但纯度较低。当琥珀粉粒径为1.5×10⁵ nm、提取温度为120℃,提取时间为12～14 h时，采用水蒸气蒸馏法提取出的琥珀油最为纯净，琥珀油最大得率为0.75%。通过红外光谱分析，发现琥珀油中主要含有烷烃类、脂肪酮类或饱和脂肪酸酯、芳烃类、醇和烯烃类化合物等，通过气相色谱-质谱(GC-MS)对琥珀挥发油的化学成分进行了鉴定，通过面积归一化法确定各成分的质量分数，鉴定出琥珀油中主要成分有斯巴醇(质量分数为36.74%)、α-咕巴烯(质量分数为23.84%)、氧化石竹烯(质量分数为5.25%)、马兜铃烯环氧化物(质量分数为5.02%)、β-榄香烯(质量分数为3.63%)、1,6-二烯-3-律草醇(质量分数为3.29%)、异长叶烯(质量分数为3.10%)和α-比萨波...     

带冲突图的着色旅行商问题模型与算法

着色旅行商问题是多旅行商问题的一个重要变种，它被广泛地应用于带有重叠区域的多机工程系统。现有的着色旅行商问题难以有效应对带冲突的场景，这种冲突通常表现为两个城市不允许被同一旅行商访问。受带冲突图的组合优化问题的启发，提出了带冲突图的着色旅行商问题，且给出了其形式化的表达。带冲突图的着色旅行商问题是一个NP难问题，精确算法求解器CPLEX仅能在小规模问题实例上获得问题的最优解。为了求解更大规模的实例，提出了一个有效的模因算法。该模因算法采用了自适应大规模邻域搜索算子。对比模因算法和精确算法，模因算法在20个小规模实例中的9个结果更好，在18个实例上展现了其远超精确算法的求解速度。而比较模因算法和其他启发式算法，模因算法在全部14个中等规模实例上均取得了更好结果。此外，消融实验结果验证了模因算法中自适应大规模领域搜索算子的有效性。