高速跨介质入水多相流动与流固耦合特性研究综述

高速跨介质入水问题广泛存在于海洋工程、航空航天等领域,入水多相流动与流固耦合作用机理是该领域的研究热点,对于跨介质航行器的载荷预报、弹道稳定性评估、结构强度校核以及安全性设计等具有重要意义。本文围绕高速跨介质入水所涉及的基础关键力学问题,重点论述了高速跨介质多相流动与空泡演化、冲击载荷与降载方法、运动稳定性与流固耦合响应、流固耦合数值研究方法等方面的研究现状,并针对目前仍存在的问题提出了建议,旨在为高速跨介质入水的相关研究与设计等提供参考。

WebView组件漏洞自动化检测与验证方法

Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本文提出了基于静态分析与动态验证技术融合的WebView组件漏洞自动化检测与验证方法,通过对漏洞可疑点进行可达性分析,避免对不可达路径的无效动态遍历,提高了分析效率;将数据依赖分析与模拟真实攻击行为的动态验证相结合,及时判断漏洞触发的真实性,降低了误报率.已实现原型工具XWebViewDigger并测试了80个Android应用,检出并验证18个应用存在漏洞,与现有方法相比,误报率有效降低.

一种多重循环程序内存访问越界检测方法

提出一种内存访问越界检测方法,以克服现有方法遇到的多重循环难题.先识别疑似缺陷点及其依赖区域,再实施多重循环的递推链分析,并推断缺陷触发可能性和路径指导信息,从而实现基于符号执行的缺陷定向检测,最终查出越界缺陷及其触发路径与程序输入.已实现原型工具,检测了多个开源软件,找到了真实的代码缺陷.实验结果表明,该方法既避免了盲目路径遍历,又保持了路径敏感和位级跟踪的检测精度,提高了缺陷检测效率和准确度.

软件演进驱动的按需自动测试

为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中各条路径且缺陷关联路径优先,主动探测和求解缺陷触发条件以排除误报,在路径分支点按需克隆执行环境以避免路径前缀的重复执行,并及时求解路径条件以剪除不可行路径.最终,自动生成针对软件更新实现路径覆盖的精简测试例集合.目前已实现了测试工具原型,用其测试了多个开源软件,发现了OpenSSL代码中的真实缺陷.

2016年移动互联网应用程序安全态势

移动互联网是互联网的扩展与延伸,现已深刻影响了社会发展的方方面面。2016年,随着移动互联网应用程序（以下简称移动应用或APP）的进一步广泛使用,移动应用相关的恶意代码、仿冒盗版、漏洞隐患等安全问题依旧频频发生,游戏娱乐、生活服务等行业乱象尚不能得到有效遏制,移动应用的整体安全形势不容乐观。

基于全局时滞间隔辨识的磨矿粒度软测量

磨矿粒度作为磨矿过程中最关键、最直接反应磨矿好坏的生产指标,不仅影响到后续选别工艺的稳定性,还直接关系到分选过程中生产的精矿品位和金属回收率,实现对磨矿粒度的精准预测,不仅能提高磨矿效率、降低能耗,同时也是实现磨矿智能优化控制的有效途径之一。然而在实际生产过程中,由于磨矿过程中大时滞和非线性等问题的干扰,使得磨矿粒度的预测难度变大,且预测精确度不高。将时滞辨识方法引入到磨矿粒度的软测量中,是一个有效的解决思路,但传统时滞辨识算法不仅需要大量的经验知识辅助进行时滞范围的选取,并且所得时滞序列还不具有有序性,难以应用到实际生产过程中。因此,提出了一种基于全局时滞间隔辨识的磨矿粒度软测量方法。通过数据时序性分析确定全局时滞范围,并分别以互相关函数和互信息函数作为关联度函数,使用时滞间隔代替时滞进行基于细分矩形法(DIRECT)的初步寻优,通过累加最优时滞间隔序列得到最终的时滞序列,以此保证时滞序列的有序性。最后将时滞信息引入梯度提升树(GBDT)中进行预测建模。通过仿真数据和真实磨矿过程数据上的结果表明,该方法在减少了对于经验知识需求的同时,能有效解决时滞序列的无序性问题,且软测量的预测精度较高,具有一定的现实意义。

桂林市公园土壤肥力调查与评价

采集桂林市5个公园表层土壤（0～20cm），研究了土壤pH、有机质、碱解氮、速效磷、速效钾等肥力特性，参考全国第二次土壤普查分级标准并采用改进的内梅罗指数法综合评价了公园土壤的肥力特征。结果表明：桂林市公园土壤总体上呈弱碱性，pH处于7．5～8．5的土壤占76．92％；土壤有机质、碱解氮和速效钾含量主要分布在Ⅲ、Ⅳ级水平，分别占76．93％、71．80％和82．06％，整体均属于中等水平；土壤速效磷含量主要分布在I、Ⅱ级水平，占74．36％，整体属于高水平。改进的内梅罗指数法评价结果显示：桂林市公园土壤综合肥力指数在1．22～1．69，整体属于中等水平，碱解氮和有机质是各公园的主要限制因子。针对分析结果，建议采用公园植物落叶和化粪池粪渣共堆肥的方式来改良公园土壤。

园林废物堆肥产品作花卉栽培代用基质的试验

采用不同比例园林废物堆肥产品替代泥炭作为花卉基质,开展一串红(Salvia splendens)、矮牵牛(Petunia hybrida)的栽培试验,分析植物各项生长指标和品质指标以评价其可行性。结果表明:添加适量的园林废物堆肥产品可明显改善花卉的生长和品质,不同基质配比对一串红和矮牵牛的生长影响各异。园林废物堆肥占基质的10%、20%、30%时,一串红长势较好;堆肥产品占基质的30%、40%时,矮牵牛长势较好;堆肥产品添加比例高于40%和50%时,分别对一串红、矮牵牛的生长有一定程度的抑制作用。

基于污点指针的二进制代码缺陷检测

污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷。

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.

面向热点代码的路径搜索方法研究

程序测试研究表明代码安全缺陷聚集于热点代码。提出一种面向热点代码的路径搜索方法,在程序CFG(controlflow graph)图上搜索分支语句与热点代码之间的最短路径,采用符号执行方法生成路径约束判断其可达性,结合多热点搜索优化策略进一步消除不可达子路径,从而快速生成能够覆盖热点代码的测试用例。实验结果表明,与DFS(depth-firstsearch)和BFS(best-first search)方法相比,在达到相同热点代码覆盖率情形下,该方法能够有效减少测试路径并缩短搜索时间。

有限资源条件下的软件漏洞自动挖掘与利用

漏洞是系统安全与攻防对抗的核心要素,漏洞的自动发现、分析、利用是长期以来研究的热点和难点,现有研究主要集中在模糊测试、污点分析、符号执行等方面.当前研究一方面主要从漏洞的发现、分析和利用的不同环节提出了一系列解决方案,缺乏系统性的研究和实现;另一方面相关方法未考虑现实环境的有限资源条件,其中模糊测试主要基于大规模的服务器集群实施,污点分析和符号执行方法时间与空间复杂度高,且容易出现状态爆炸.针对有限资源条件下的漏洞自动挖掘与利用问题,建立了Weak-Tainted程序运行时漏洞模型,提出了一套面向漏洞自动挖掘、分析、利用的完整解决方案;提出了污点传播分析优化方法和基于输出特征反馈的输入求解方法等有限资源条件下的分析方案,提升了漏洞挖掘分析与利用生成能力;实现了漏洞自动挖掘和利用原型系统,单台服务器设备可并发运行25个漏洞挖掘与分析任务.对2018年BCTF比赛样本进行了实验对比测试,该输入求解方法在求解atoi,hex,base64编码的能力均优于ANGR,同等漏洞挖掘能力条件下效率比AFL提高45.7%,测试的50个样本中有24个能够自动生成利用代码,验证了Weak-Tainted漏洞描述模型用于漏洞自动挖掘和利用生成的优势.

恶意代码动态分析中的反虚拟化问题研究

反虚拟化是当前影响恶意代码动态分析系统全面获取样本行为数据的重要因素.本文提出从恶意代码动态分析环境的主机环境,网络环境和用户交互环境进行系统的反虚拟化对抗方法,并将反虚拟化对抗实现在已有的动态分析系统上,实验结果表明反虚拟化对抗有效的增强了动态分析系统获取样本行为数据的能力.

控温方式对污泥与树叶堆肥试验的影响

以污泥和树叶为原料进行了好氧堆肥,分析了三种温控方式对堆肥过程中堆体温度、氧气、二氧化碳等指标的影响。结果表明:如不设置保温措施,堆肥难以成功。利用堆体温度反馈调节水浴加热和将水浴温度恒定至60℃两种控温方式均可使堆体达到无害化的高温持续时间。其中利用堆体温度反馈调节水浴加热更能反映堆肥温度的变化趋势。

构建全流程软件供应链安全评估机制维护我国网络空间安全

软件产品和服务关系生产、生活的各个方面,软件供应链安全直接影响社会的稳定运行。美国智库大西洋理事会梳理的关于近10年发生的115起软件供应链安全事件的报告显示,开发工具污染、依赖混淆、升级劫持等软件供应链攻击对国家安全造成巨大威胁。由于缺乏标准化软件供应链安全评估办法和安全意识,供需双方难以提前发现并消除潜在安全风险。因此,构建集管理和技术为一体、从开发环节到使用环节的全流程软件供应链安全评估机制,提前发现软件供应链安全风险,预防软件供应链攻击,将成为推动形成系统化、标准化软件供应链安全解决方案的必然趋势,也将成为保障网络空间安全和维护国家安全的重要手段。

草酸对Cr胁迫下李氏禾解毒性能的影响

结合因子分析方法分析了草酸对Cr胁迫下李氏禾解毒性能的影响。研究过氧化氢酶(CAT)、可溶性糖、生长指标的变化情况,并运用因子分析方法筛选出最能表征李氏禾生长特性的指标,进而较科学的研究外源草酸对Cr胁迫下李氏禾解毒性能的影响。Cr质量浓度为0、200、400 mg/kg的土壤中,适当浓度草酸对李氏禾CAT影响表现出极显著差异(P<0.01);当土壤中Cr质量浓度200 mg/kg,草酸质量浓度为80、120 mg/kg时,可溶性糖浓度分别比本组对照降低了23.59%、32.65%;株高可作为关键因子的关键变量。外源草酸可以增强李氏禾对Cr的解毒性能且与草酸浓度有关,因子分析方法可以应用于李氏禾研究中。

重心法在传输机房选址中的应用

传输节点机房(以下简称"节点机房")作为通信网络最基础的物理节点,是各运营商重要的战略储备资源。除了节点机房的数量、机房稳定性、机房空间等要素外,节点机房的科学分布也对网络的科学性、稳定性、扩展性等方面起着至关重要的作用。本文提出的重心法可以更加科学地指导运营商在工程实际中进行机房选址。

船用PVC夹芯板在近场水下爆炸作用下的吸能特性

泡沫材料能够有效地吸收冲击能量且防震效果好,因此被广泛应用于舰船防护领域。本文基于Ls-dyna中的ALE方法,从结构变形和结构各组成部分吸能角度,探究背水夹芯板与背空夹芯板(PVC H100泡沫夹芯板)在近场水下爆炸载荷作用的挠度响应及吸能特性的差异,为船用PVC夹芯结构的应用及舰船的防护结构设计提供参考。结果表明芯层材料可压缩性强,具有良好的吸能特性,金属前面板变形及吸能要大于后面板;相对于背水夹芯板,由于声阻抗不同,背空板减少了透射能量,本身吸能增加,前后金属面板变形均匀化。

关于软件供应链安全的几点思考

在国际竞争关系错综复杂、网络空间安全对抗日益加剧的新形势下,竞争的战场已不再仅是企业之间的业务竞争,而是延伸到重要领域信息技术供应链之间的竞争。继美国总统特朗普于2019年5月签署第13873号政令,禁止"对美国国家安全或国民安全造成不可接受的风险"之后,美国商务部陆续宣布将华为集团、大华科技、海康威视、商汤科技、科大讯飞等中国公司列入出口管制实体名单,禁止其与美国企业合作.

智能手机安全分析

智能手机市场在蓬勃发展的同时不可避免的也带来了许多问题。随着智能手机的推广和普及,在带给用户方便快捷体验的同时也产生了大量的安全隐患,例如:手机病毒,手机木马,僵尸网络,恶意吸费等都是潜藏在移动互联网中的定时炸弹,随时危及用户的个人隐私和财产安全。