关于二进制程序循环安全问题的研究

循环是软件程序中的常见结构,对循环使用不当是造成程序安全问题的重要因素之一,循环安全问题检测对提升软件安全性具有重要意义.在二进制程序中,路径状态爆炸、循环建模等问题使得针对循环安全性的静态分析面临诸多挑战,传统方法对这些问题的处理能力相对不足.提出并实现了一种基于二进制程序静态分析的循环安全问题检测方法,能够对循环内存读写越界与循环不终止问题进行检测.首先,对二进制程序中的循环结构进行分析,提出一种基于控制流图的循环要素识别与提取方法;接着,提出专用于循环分析的多种路径搜索策略,对循环从入口到出口的路径进行排序与探测;然后,提出一种基于静态具体执行的函数建模方法,可有效解决循环中归纳函数调用引发的约束扩张问题.最后,提出一种循环谓词差分归纳分析方法检测二进制程序中由循环引发的安全问题.将该检测方法应用到真实程序中并与Angr作对比实验,结果表明该方法在循环安全问题检测方面具备较强的检测能力,可检测的循环安全问题数比Angr更多.

中职学校“汽车底盘构造与维修”课程教学的策略

中职学校汽车类专业中,“汽车底盘构造与维修”课程是极为重要的基础课程之一,与学生后续其他专业课程的学习息息相关。因此,提高“汽车底盘构造与维修”课程的教学质量是教学改革的重要目标。本文对“汽车底盘构造与维修”课程教学展开讨论,分析该课程教学中存在的问题,并提出有效的改革策略,以供参考。

水轮机叶片水力型线面变形快速检测

本文涉及铸钢件变形检测技术领域,尤其涉及一种铸件曲面变形检测工具及铸件曲面变形检测方法。通过设计一种快速检测工具,经调整测量螺杆至与铸件的曲面接触并标记,将曲面的型线状况复制到长卡板的测量螺杆上,叶片在经过工艺要求处理后,再将该检测工具按照标记的位置放置在铸件曲面上,测量螺杆与曲面之间的间隙距离,便可得知铸件的变形情况。解决了大型水轮机叶片无法在铸造生产现场随时随地快速测量的问题,并为水轮机叶片在各生产工序的尺寸变形量及变形规律分析提供依据,通过测量数据的分析,制定相应的控制预防措施,减少叶片在铸造生产过程中的变形量,从而降低其在生产过程中的质量返修及控制成本,提高生产效率。

慢性乙型肝炎相关肝癌风险评估模型的研究新进展

肝细胞癌(HCC)是我国常见的恶性肿瘤之一,由多种病因导致,其中最主要的是乙型肝炎病毒(HBV)感染,抗病毒治疗可降低HBV感染者的肝癌发生率,但仍有一部分患者最终进展为肝癌,因此有必要对接受抗病毒治疗的HBV患者进行危险分层,识别出HCC高危人群。为解决这一问题,近年来学者们提出了许多肝癌风险预测模型,本文就这一研究进行简单论述。

基于“土虚木郁”探讨腹泻型肠易激综合征与溃疡性结肠炎共同发病机制及证治

腹泻型肠易激综合征(IBS-D)与溃疡性结肠炎(UC)是临床较为常见的消化系统疾病,二者虽在疾病性质上有所不同,但在临床症状表现、发病机制及治疗策略等方面有诸多类似之处。基于对中医古籍的研究及临证经验的总结,众多中医学者认为“土虚木郁”是此二者疾病共同的发病机制,治疗时从肝脾论治往往可取得满意的临床疗效。多项现代医学研究表明中医“土虚木郁”与脑肠互动异常、肠道菌群-胆汁酸轴失衡等IBS-D和UC共同的病理生理学改变密切相关。该文基于中医“异病同治”理念及现代医学研究进展,以“土虚木郁”为切入点,探讨IBS-D和UC共同的发病机制及临床证治。

超高温下22Cr钢在HCl/HAc溶液中的腐蚀行为研究

酸化是油气开采有效且常规的措施,但酸液会对油气管柱产生严重腐蚀,尤其是在高温储层。为了降低酸液对油气管柱的腐蚀,高温井通常选择有机酸与盐酸复配进行酸化。为了更有效地降低酸化对油气管柱的腐蚀,通过电化学试验和失重试验研究了22Cr钢在多种酸性溶液中的高温(200℃)腐蚀行为。采用扫描电子显微镜(SEM)观察不同体系中钢试样的表面腐蚀形貌,采用X射线能谱仪(EDS)分析腐蚀前后试样表面元素组分及元素分布,采用X射线衍射仪(XRD)分析试样表面的腐蚀产物成分。结果表明,22Cr钢在不同浓度的乙酸溶液中都有良好的耐腐蚀性,但乙酸溶液中增加Cl-的浓度会加速22Cr钢腐蚀;22Cr钢在低浓度HCl溶液中会产生严重腐蚀;低浓度HCl和低浓度乙酸组成的复合酸液体系会对22Cr钢腐蚀产生协同作用,加速22Cr钢腐蚀;在200℃下,缓蚀剂QASE和缓蚀增效剂Sb2O3组成的复合缓蚀剂能够有效抑制22Cr钢在盐酸和乙酸复合酸液中的腐蚀。

CO_(2)分压对S135钢在CO_(2)/H_(2)S共存体系中腐蚀行为的影响

为了给井下油气管材的选择和腐蚀预测模型的建立提供理论依据,利用高温高压反应釜进行S135钢在CO_(2)/H_(2)S共存体系中的腐蚀模拟试验,采用失重法、恒载荷法、X射线衍射(XRD)、扫描电镜(SEM)、能谱(EDS)、三维轮廓扫描仪等手段研究了CO_(2)分压对S135钢在温度100℃、CO_(2)/H_(2)S共存体系中腐蚀行为的影响及规律。结果表明,随CO_(2)分压升高,S135钢的腐蚀速率增大,屈服强度损伤加剧,CO_(2)分压为5,10,15,20 MPa时,其屈服强度(σs)损伤率分别为1.4%、3.6%、4.5%和15.9%;抗拉强度(σb)损伤率分别为1.2%、3.4%、5.2%和15.4%。S135钢在低CO_(2)分压下发生全面腐蚀,随CO_(2)分压增大发展为以全面腐蚀为主,辅以局部腐蚀。应力腐蚀裂纹在萌生阶段以局部阳极溶解作用(点蚀)为主,随CO_(2)分压增大应力腐蚀裂纹更易生长,应力腐蚀敏感性增加,加剧了基体的腐蚀进程。

植物精油在软质奶酪防腐保鲜中的应用研究

以软质奶酪为主要原料,从中分离目标菌株,利用单因素和正交试验检测不同植物精油配方对软质奶酪的防腐保鲜作用。结果表明,由0.7%肉桂精油,0.5%罗勒精油以及0.5%玫瑰精油所构成的复配植物精油能够有效抑制软质奶酪中菌株的生长,长时间维持奶酪的特性,在4℃冷藏条件下能够将软质奶酪的保质期由15 d延长至25 d,对软质奶酪有良好的防腐保鲜能力。

推广国家通用语言文字的困境及策略研究

语言文字的发展和变化,不仅反映了人类社会的发展和变化,也影响和推动了人类社会的发展和变化。推广国家通用语言文字是提高公民素质、推动社会经济发展的重要举措之一。但推广工作一定不会一帆风顺,总会面临一些困境和挑战。如何走出困境、迎接挑战,提高国家通用语言文字的国际影响力,是我国语言文字事业发展的重大课题。对此,通过分析推广国家通用语言文字的必要性,研究推广国家通用语言文字过程中存在的问题,在此基础上探讨推广国家通用语言文字的策略,以期更好地推动普通话普及工作的开展,同时增强国民的文化自信。

低温等离子体技术在大健康食品保鲜中的应用

针对大健康绿色食品易失水、耐贮性差的问题,以鲜黄花菜为例,采用低温等离子体技术对其进行处理。实验表明,低温等离子体处理可以诱导抗氧化酶SOD活力,显著抑制黄花菜维生素C含量的下降和贮藏后期黄花菜色度a值上升,有效减缓黄花菜采后代谢活动,使其保持较好品质。低温等离子体在110 kV、110Hz下处理鲜黄花菜150 s,可以有效延长保鲜日期。

数字化背景下录井专业数据治理实践

录井作为油气勘探中紧密贴合生产一线的专业,其数据具有标准众多、类型多样、采集模块冗余等特点,为了实现录井专业数据数字化,从录井专业数据湖建设和数据采集两个方面存在的问题和难点入手,针对录井专业数据进行治理,在实现原始数据采集存储标准化、规范化、统一化的同时,通过数据采集层“一表化”“原始化”设计、数据应用层的数据导出模式优化和数据智能化应用,在数据湖物理层增设前端服务器的优化设计,极大地提高了录井专业的数据采集效率、数据质量及数据智能化应用程度,为录井专业数据全面实现数字化打下了坚实基础,也为其他相关专业数据治理提供了借鉴。

一种重构二进制代码中类型抽象的方法

重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高.提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高.

基于执行踪迹离线索引的污点分析方法研究

针对二进制代码的污点分析方法在软件逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义.目前,大多数污点分析方法不支持浮点指令,执行效率较低,且传播的精度也不够高.提出并实现了一种基于执行踪迹离线索引的污点分析方法,以字节为粒度,且支持污点标签.提出执行踪迹离线索引的生成及查询算法,通过离线索引可跳过与污点数据无关的指令,提高污点分析的效率.首次描述并解决了即时翻译执行导致的污点丢失问题.使用污点标签以标识污点的来源和位置.提出较完善的污点传播算法,支持浮点指令,以尽可能精确地刻画污点信息从源操作数传递到目的操作数的过程.实现了灵活的可配置机制,用户可通过黑名单动态地引入污点数据.将提出的方法应用到漏洞检测的场景中,使用12个真实的软件漏洞作为测试样本集,将该方法与TEMU作对比实验,实验结果表明:该方法具备较强的漏洞检测能力,可验证的漏洞数比TEMU更多,且其平均执行效率比TEMU高5倍.

不同粉碎条件对核黄素磷酸钠粒径及品质影响的研究

为考察不同粉碎条件对核黄素磷酸钠粒径及品质的影响,以核黄素磷酸钠烘干料为研究对象,使用WSX-320水冷吸尘粉碎机,考察不同粉碎温度和粉碎时间对核黄素磷酸钠粒径分布及品质的影响。结果显示,粉碎温度、粉碎时间对核黄素磷酸钠粒径的影响明显,对核黄素磷酸钠及其他有关物质含量无影响。不同粉碎条件下核黄素磷酸钠的平均粒径均在50μm以下,低温粉碎后核黄素磷酸钠粒径分布集中,随着粉碎温度的提高,核黄素磷酸钠粒径分布范围增大,粒径不均匀,随着粉碎时间的延长,核黄素磷酸钠细粒占比先增加后降低,粉碎时间过长会导致“逆粉碎”现象。最终确定粉碎温度30℃,粉碎时间20 min为最佳粉碎条件,试验结果对核黄素磷酸钠的生产具有重要指导意义。

基于Windows环境下的进程保护技术的研究与实现

进程保护技术可以保护一个进程不被非法操作关闭来保证进程的正常运行,这种技术在信息安全的主机防护领域具有其不可替代的作用。进程保护技术可以应用于安全系统、杀毒软件自保护等方面,具有重要的研究价值。通过展开讨论API钩子技术和三线程保护技术的方式,来对进程保护常有的技术作出详细的阐述,并且提供了实现的方法。最后提出把这两种技术结合起来使用的新思路,以达到实现进程保护的最大可靠性。

包装物经营流转中的纳税筹划技术创新探究

包装物不构成产品实体,但在其经营过程中却承担较重的负税。采用归纳演绎、判断推理和类比分析等方法,总结并分析了企业对包装物出售、出租和出借等经营活动进行纳税筹划的局限性,研究了承受高额流转税的酒类企业出借包装物押金的纳税筹划问题,提出了通过进行"换位抵押"方法能够取得规避增值税和消费税双重效果的筹划技术。同时,还提出了运用额定耗损率的成本控制方法来核算包装物额定耗损,使包装物退出账面监控以达到隐形避税的目的。

老年直肠癌患者术前中性粒细胞淋巴细胞比率与淋巴结转移及预后的关系

目的探究老年直肠癌患者术前中性粒细胞淋巴细胞比率(NLR)与淋巴结转移及预后的关系。方法回顾性收集2019年2月—2020年2月我院收治的行直肠癌根治切除术且术后病理证实为直肠癌的老年患者102例作为观察对象。收集所有患者临床资料;采集血样标本测定中性粒细胞、淋巴细胞计数,并计算NLR。以NLR临界值为3.96作为分组标准,将102例患者分为高NLR组(NLR>3.96,n=40)和低NLR组(NLR≤3.96,n=62)。比较不同水平NLR患者肿瘤解剖学位置、肿瘤直径和淋巴结转移情况等临床病理资料。并对所有患者进行2年随访,分析影响患者预后的相关因素。结果高NLR组和低NLR组老年直肠癌患者解剖学部位、糖尿病史、高血压史、肿瘤直径和肿瘤体积等临床病理参数之间比较差异均无统计学意义(均P>0.05),高NLR组存在淋巴结转移、远处转移和TNM分期越晚的患者占比较低NLR组多,且淋巴结转移、远处转移和TNM分期均是影响NLR的相关因素(P<0.05)。单因素分析结果显示,肿瘤直径和体积越大、出现淋巴结转移、远处转移、TNM分期越晚和NLR水平越高的患者生存率越低(P<0.05)。多因素回归分析结果显示,存在淋巴结转移、TNM分期越晚和NLR高于3.96均是老年直肠癌患者预后的独立影响因素(P<0.05)。高NLR组患者中位生存期为22个月,低NLR组患者中位生存期随访结束未达到,高NLR组患者生存率明显低于低NLR组(P<0.05)。结论老年直肠癌患者术前NLR与患者淋巴结转移及预后高度相关,NLR水平越高,出现淋巴结转移的概率越大,患者预后越差,提示NLR可作为预测和评估老年直肠癌患者预后的重要标志物。

基于税收风险防范的大企业纳税服务策略

基于大企业税收在国家财政中的重要地位,国家税务总局及各地税务机关都设立了大企业税收管理和服务机构,旨在通过加强大企业税务管理和服务帮助企业化解纳税风险,促进企业依法纳税。为此,结合实地调查和工作体验,描述了大企业税收风险类型及纳税服务的重要意义,分析了大企业纳税管理和服务的现状与问题,并有针对性地提出了强化大企业纳税服务的策略。

防范软件供应链安全风险 维护网络空间安全

软件供应链攻击,一般是指在软件的设计、开发、集成、部署、升级、修复等过程中,植入恶意程序或代码(攻击者可能利用漏洞或管理上的安全缺失进行代码植入),对计算机系统造成损害。从在更新过程中替换相关补丁文件的简单攻击,到入侵代码库插入恶意代码的复杂攻击,软件供应链攻击在网络攻击中所表现的形式呈多样化。软件供应链攻击可轻易绕过传统的防御壁垒,并且可长期潜伏在目标系统中,对系统安全构成严重威胁。近几年,软件供应链安全问题越来越突显,对其进行研究并加以防范,对维护网络空间安全的意义重大。

一种介质设备控制方法

研究了传统的以WDM过滤驱动的方法来实现的设备控制原理。通过对这种传统方法的阐述说明了这种方法存在不够安全、不够灵活等缺点,对微软Windows的高中断级别的自旋锁源码进行反汇编分析,然后以NT过滤驱动的方式尝试实现WDM过滤驱动的机制,最后利用内核例程hook的方法,使用对驱动对象的派遣例程函数入口地址替换提出一种新的实现思路。经过仿真实验表明,这种方法能取得较好的效果。