检索结果-南通市图书馆

面向Java EE程序的SQLIA漏洞分析和验证方法

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

计算机科学与探索 2021年第2期15卷 270-283页

作者：郭帆范威威江西师范大学计算机信息工程学院南昌330022

SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播... 详细信息

SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播。静态分析首先对Source进行预处理和分类得到真实可靠的Source集合,然后应用方法、请求、会话、方法调用等多重关系匹配潜在的Source和Sink对,使得分析过程可以过滤无关Source和Sink,最后结合静态污点分析和活跃变量分析排除不可能存在污点传播路径的Source和Sink。动态验证首先对程序插桩,然后在执行程序的同时进行动态污点传播并生成Trace,基于Trace验证静态分析结果的正确性,获得真实污点传播路径的漏洞集合。原型系统基于Soot框架实现,对若干开源程序的实验结果表明了方法的有效性。

关键词： SQL注入污点传播语义静态分析活跃变量分析插桩动态验证

基于径向基函数神经网络优化制备复合改性钠基蒙脱土/橡胶复合材料及其补强-阻燃性能

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

复合材料学报 2019年第10期36卷 2389-2397页

作者：张浩范威威徐远迪安徽工业大学建筑工程学院马鞍山243032 安徽工业大学冶金减排与源综合利用教育部重点实验室马鞍山243002

以钠基蒙脱土作为研究对象,以十六烷基三甲基溴化铵与去离子水的混合液、硅烷偶联剂KH550与无水乙醇的混合液作为改性剂,制备复合改性钠基蒙脱土,并将复合改性钠基蒙脱土代替部分炭黑,与促进剂、硫磺、ZnO、硬脂酸、橡胶进行复合,制备... 详细信息

以钠基蒙脱土作为研究对象,以十六烷基三甲基溴化铵与去离子水的混合液、硅烷偶联剂KH550与无水乙醇的混合液作为改性剂,制备复合改性钠基蒙脱土,并将复合改性钠基蒙脱土代替部分炭黑,与促进剂、硫磺、ZnO、硬脂酸、橡胶进行复合,制备复合改性钠基蒙脱土/橡胶复合材料。利用径向基函数(RBF)神经网络模型优化复合改性钠基蒙脱土/橡胶复合材料的制备工艺参数,并且对复合改性钠基蒙脱土和复合改性钠基蒙脱土/橡胶复合材料进行表征与测试。结果表明,当扩展系数为0.50~0.65时,所建立复合改性钠基蒙脱土/橡胶复合材料力学性能和阻燃性能的RBF神经网络模型具有最佳的逼近效果。当去离子水用量为1074g、十六烷基三甲基溴化铵用量为13.7g、无水乙醇用量为14.8g、硅烷偶联剂KH550用量为0.32g、搅拌速度为2890r/min时,复合改性钠基蒙脱土/橡胶复合材料具有良好的力学性能和补强性能,即拉伸强度19.1MPa、撕裂强度43.5kN/m和极限氧指数32.83%。

关键词：钠基蒙脱土 RBF神经网络复合改性优化制备补强性能阻燃性能

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

京津冀水循环健康评价与水资源配置研究

京津冀水循环健康评价与水资源配置研究

作者：范威威华北电力大学(北京)

学位级别：硕士

受全球气候变化和日益剧烈的人类活动的影响,区域水循环过程正在经历着“自然-社会”二元化演变,如何维持水循环的健康状态,已经成为维系人类社会可持续发展的重要命题。研究水循环的健康状况,提出满足水循环健康的方法与发展道路,对保... 详细信息

受全球气候变化和日益剧烈的人类活动的影响,区域水循环过程正在经历着“自然-社会”二元化演变,如何维持水循环的健康状态,已经成为维系人类社会可持续发展的重要命题。研究水循环的健康状况,提出满足水循环健康的方法与发展道路,对保护地球生态环境,促进人类社会可持续发展意义重大。本文首先解析了健康水循环的内涵,提出区域水循环健康评价模型,进而探讨了基于土地利用的生态环境需水的计算方法,最后对京津冀的水资源供需状况进行安全诊断。主要内容与结论如下:（1）健康的水循环模式首先要保证水生态功能和水体功能的正常化,确保自然水循环的生态价值;其次还需要形成高效的水资源利用模式,发挥好水资源的人类服务价值。基于此,本文从4个维度17个指标构建健康水循环指标评价体系,并根据京津冀水资源本底条件划定相应的指标健康阈值,采取综合指数评价和模糊识别评价相结合的方式对京津冀水循环状态进行全面诊断。京津冀地区水循环健康平均评分为3.33分,总体处于亚健康状态,但是区域间水循环健康状态差异明显。维度评价结果显示水资源利用（3.61）＞水生态水平（3.56）＞水资源质量（3.29）＞水资源丰度（2.38）,模糊识别评价也得到了一致的评价结果。虽然水资源利用效率已经处于相对较为理想的状态,短缺的水资源量依然是京津冀地区实现健康水循环的主要障碍。（2）基于土地利用类别的生态环境需水计算方法可有效降低计算区域总体生态环境需水时资料要求过多的问题,能够方便快速预测出城市、草地、林地、湖泊湿地和河道的生态需水量及其分布特征。对于整个京津冀地区,其生态环境需水量多年来维持在120亿m3左右,达到区域水资源总量的44%。然而现状年生态环境用水量只有17.67亿m3,与需水量仍存在很大的差距,京津冀地区仍需保证有不断的水资源补充,才能进一步恢复和提升其水生态水平。（3）水资源配置模型输出结果显示,当农业用水定额和人均生活用水定额分别在80-110m3/亩,50-1-100m3之间增长时,区域水资源短缺量呈现阶梯式上升,直到达到80.74亿nm3的最大短缺量。南水北调的水量补充能够满足北京市与天津市的水资源需求,对于河北省,当农业用水定额和生活用水定额维持在110m3/mu和70m3以下时,补充的水量才能使当地水资源达到供需平衡。京津冀地区各地级市之间寻求区域合作,推进人口产业转移,发挥跨流域调水潜力,将是京津冀可持续发展的必由之路。

关键词：健康水循环二元水循环京津冀水资源承载力生态环境需水量

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

连续系统模型分布并行仿真算法研究

连续系统模型分布并行仿真算法研究

作者：范威威国防科学技术大学

学位级别：硕士

随着实时仿真应用的领域不断扩大,参与仿真的系统模型越来越复杂,对计算速度的要求日益苛刻,对计算资源的需求也越来越大。基于分布多目标机平台进行分布实时仿真的应用应运而生,节点可以是同构的,也可以是异构的,为了充分挖掘分布仿真... 详细信息

随着实时仿真应用的领域不断扩大,参与仿真的系统模型越来越复杂,对计算速度的要求日益苛刻,对计算资源的需求也越来越大。基于分布多目标机平台进行分布实时仿真的应用应运而生,节点可以是同构的,也可以是异构的,为了充分挖掘分布仿真平台中每个节点的计算能力和速度,在进行仿真前需要将模型进行分割并分布至多节点,确定节点间通信模式,确保节点间的仿真计算同步并行化进行,以使整个仿真系统达到理想的加速比。工程系统大多是连续系统,而连续系统一般是以微分方程组的形式来表示的,对于微分方程组通常采用数值积分算法来求解。本文从龙格-库塔四阶积分算法(简记为RK4)入手,深入研究了RK4积分算法的内在并行性,从计算时间和通信开销两个方面来度量并行RK4积分算法在分布仿真系统中的性能,总结出两个结论:(1)状态变量积分子步间频繁的数据交换是制约并行仿真加速比的关键因素。(2)进行并行仿真时,模型的分割粒度不能太小。全面分析了单步法、多步法的内在并行性,归纳总结出了构造连续系统并行积分算法的三大策略:它们是系统(或问题)分割并行化方法、方法分割的并行化方法以及时间分割的并行化方法。设计并实现了基于C语言的通用RK4并行积分引擎,通过积分引擎的统一管理,优化了仿真过程中的数据交互过程,提高了仿真的效率;设计实现了基于Simulink的分布并行积分方法,基于面向对象的仿真方法,通过引入Memory环节来优化提高分布并行仿真效率。分析了Memory环节的引入对系统动态造成的误差,建立误差的数学模型。针对引入Memory模块而带来的额外“一拍”时间延迟,对系统状态变量的输出值进行外推,采用传统的线性外推lagra(lagrange的缩写)算法对系统进行补偿并分析补偿效果,实验结果表明,外推效果一般。半实物仿真中由于自然环境、设备物理特性等的影响,采样过程中往往会出现随机噪声,随着仿真的进行,噪声所导致的异常数据会影响仿真结果的准确性。针对此问题,经过理论分析,本文提出了拟合外推lsqe(least squares estimator的缩写)算法,在设计实验上,通过分析高斯白噪声的数学特征,实现高斯白噪声的生成函数并引入模型中。实验结果显示,拟合外推方法可以很好的剔除噪声的影响,确保外推结果准确。针对一类守恒、满足时不变约束关系微分系统的数值求解问题,结合文献,归纳出了针对此类系统求解过程中产生误差的coordinate projection补偿算法,coordinate projection算法采取按步线性化的思路推导出了1 1 1()n n nX t X X??????间的误差传播规律,建立了误差之间的相互关系,进而推导出了补偿公式。分析了此算法在守恒系统分布仿真中的适用性。

关键词：实时分布并行仿真 RK4 Memory环节面向对象时延噪声

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

校园快递站点综合管理系统的设计与实现

校园快递站点综合管理系统的设计与实现

作者：范威威北京工业大学

学位级别：硕士

随着快递在校园里快速发展,传统的快递收发模式在环境和人员上受到很多的制约。学校管理制度,学生课程安排等因素,给予学生的时间窗口并不多;不同快递分别派送,导致学生在多个快递站点来回取件;快递员往返于校园这个相对封闭的环境,对... 详细信息

随着快递在校园里快速发展,传统的快递收发模式在环境和人员上受到很多的制约。学校管理制度,学生课程安排等因素,给予学生的时间窗口并不多;不同快递分别派送,导致学生在多个快递站点来回取件;快递员往返于校园这个相对封闭的环境,对校园的治安构成了一定程度的影响。所以对校园内的快递市场,很多机构一直保持着观望的态度,但校园内的快递市场是具有很大潜力的。根据对国家重点大学的校园快递模式的考察,分析当前校园快递业务受到的制约,通过对快递站点进行整合和管理,简化快递收发流程,将校园内收发快递与实际学生的自取习惯进行结合。以校园内的快递为基准,完成对校园快递站点综合管理系统。完成了以下几个方面:(1)分析与探索当今校园快递管理系统的使用情况,对校园为限定环境的快递收发和传统快递收发进行对比,总结当前校园内快递服务存在问题,分析校园快递管理系统应该具有操作规范、操作简单、方便统计结算的特点。(2)以现有的校园快递接收模式为基础结合校园快递管理系统的特点,对校园快递管理系统的需求进行分析,设计出相应的模块,其中包括人员管理模块、快件信息管理模块、快件入库和出库模块、预约管理模块、统计管理模块、仓库管理模块。(3)同时接收到大量的数据时需要能够在录入数据时以批量的方式录入,批量数据将来自快递商。所以校园快递管理系统需要对不同的快递商提供数据上的格式支持。同样,与快递商进行结算系统会使用报表的形式对数据进行汇总,报表可以通过选择不同的快递商而自动生成。(4)对自主取件的模式进行尝试,完成短信息的自动发送,预约网站的建立,自主取件柜的建立。

关键词：第三方物流管理系统网络服务

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

钢渣基橡胶防水材料的制备及热工性能研究

钢渣基橡胶防水材料的制备及热工性能研究

作者：范威威安徽工业大学

学位级别：硕士

随着新型防水材料的发展,高分子橡胶防水材料凭借优良的延伸、耐久、力学以及耐温等性能在建筑防水行业得到了广泛的应用;同时关于降低此种材料成本和提高其综合性能的工作一直是研究者们密切关注的话题,而无机矿物代替炭黑作为橡胶补... 详细信息

随着新型防水材料的发展,高分子橡胶防水材料凭借优良的延伸、耐久、力学以及耐温等性能在建筑防水行业得到了广泛的应用;同时关于降低此种材料成本和提高其综合性能的工作一直是研究者们密切关注的话题,而无机矿物代替炭黑作为橡胶补强填料是目前最有效的解决途径之一。钢渣在我国做为一种产量大、利用率与附加值低的无机矿物,其作为橡胶补强填料的研究却屈指可数;为此,本文在通过XRD、XRF等相关表征分析确定钢渣作为橡胶补强填料可行性的前提下,将钢渣作为高分子橡胶防水材料中橡胶基体的主要补强填料;同时引入钢渣助磨改性剂来进一步提高橡胶复合材料的综合性能,不仅实现了高分子橡胶防水材料低成本、高性能以及污染低的要求,还进一步拓展了钢渣与橡胶材料在建筑领域的应用。本论文的研究内容如下:基于课题组前期研究,获得了钢渣助磨改性剂(乙二醇、三乙醇胺及无水乙醇的复配液)。本文利用钢渣助磨改性剂对钢渣微粉进行表面改性,并通过塑炼、密炼等橡胶制备工艺制备出一系列的改性钢渣/橡胶复合功能材料;研究了不同钢渣种类、不同钢渣微粉填充量以及助磨改性剂不同配比对橡胶复合材料性能的影响。研究结果表明:(1)所有的改性钢渣/橡胶复合功能材料都符合建筑防水卷材的不透水性能标准;(2)适量的助磨改性剂能够改善钢渣微粉的表面结构、粒径大小以及颗粒均匀分散程度,提高改性钢渣微粉/橡胶复合功能材料的力学性能、热稳定性以及阻燃性等;(3)当助磨改性剂、炭黑以及电炉渣微粉用量分别为0.3m L(各组分配比为1:1:1)、30g和20g时,对橡胶复合材料的补强效果最为显著,同时表面接触角达到106.44°。对改性钢渣/橡胶复合功能材料进行导热系数的测量以及导热机理的分析,同时利用Maxwell-Educke导热模型以及改进后的导热模型(引进修正系数α)对含有不同体积分数的改性钢渣的橡胶复合材料进行数值模拟。研究结果表明,(1)适量的助磨改性剂以及钢渣微粉的加入能够有效的阻碍热量在橡胶复合材料中的传递,降低了材料的导热系数;其中填充了20g电炉渣微粉和0.3m L助磨改性剂(各组分配比为1:1:1)的橡胶复合材料的导热系数最低,导热系数为0.1869W/m·k;(2)Maxwell-Eucken模型理论计算值与实测值相差较小,验证了导热系数实测值的准确性。通过性能与表征测试探索了改性钢渣/橡胶复合功能材料的抗热氧老化性能的优劣,分析了热氧老化后橡胶复合材料表面结构和性能的变化情况以及冻融循环试验后导热系数的变化情况。研究结果表明,(1)热氧老化后的改性钢渣/橡胶复合功能材料符合建筑防水卷材的不透水性能标准;(2)热氧老化后,橡胶复合材料表面出现裂纹、孔洞或连续胶着状,表面疏水性降低但表面接触角均大于90°,同时导热系数会随着热氧老化时间的延长出现先增大后降低的现象;(3)热氧老化后橡胶复合材料的起始分解温度、残炭率以及热稳定性下降,其中老化最为严重的为填充改性风淬渣的橡胶复合材料;(4)冻融循环试验的次数越多,橡胶复合材料的耐久性能越差,导热系数越大。以综合性能相对较高的改性电炉渣/橡胶复合功能材料以及未填充钢渣的对比试样分别充当建筑屋面防水卷材,并通过Design Builder进行能耗模拟分析。研究结果表明:以改性电炉渣/橡胶复合功能材料为屋面防水材料不仅能够提高钢渣的附加值与利用率,扩展钢渣基橡胶在建筑领域的应用,减少了环境污染,还略微降低了办公建筑的能耗。

关键词：钢渣屋面防水橡胶导热系数资源化再利用热氧老化

Web SQLIA漏洞的静态污点分析和动态验证研究与实现

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Web SQLIA漏洞的静态污点分析和动态验证研究与实现

作者：范威威江西师范大学

学位级别：硕士

污点分析,作为一种信息流分析的实现形式,建立来自不可信方法和参数的值是否可以流动进入安全敏感操作的分析模型,以此来找到Web应用中潜在的安全漏洞。污点分析分为静态污点分析和动态污点分析,可以发现很多Web应用程序中的常见漏洞,比... 详细信息

污点分析,作为一种信息流分析的实现形式,建立来自不可信方法和参数的值是否可以流动进入安全敏感操作的分析模型,以此来找到Web应用中潜在的安全漏洞。污点分析分为静态污点分析和动态污点分析,可以发现很多Web应用程序中的常见漏洞,比如:SQL注入、XSS攻击,因而受到研究界和业界的广泛关注。结合静态分析与动态验证,本文提出了一种基于中间代码级的SQLIA漏洞的检测和验证的解决方案。首先将Web应用程序的Java和Jsp源代码转换成统一的中间代码形式-Jimple,接着通过全局静态分析获取程序的Source集合和Sink集合,然后将Source分为原生和非原生两类,并将非原生Source映射至对应的原生Source,保证了Source的可靠性。接着结合同方法、Request、Session和方法调用信息,初步判定Source和Sink之间的潜在执行路径,有效地排除了不可能的执行路径,很好地避免了路径爆炸问题。然后对相应的Source、Sink之间的路径集合进行活跃变量分析,通过活跃变量的污点传播来确定对应路径。同时,完成了静态污点分析的自动化分析工具TASAT。最后基于动态插桩和动态污点传播来完成路径的验证,完成静态分析与动态验证相结合的污点分析方法。针对开源Web项目的测试结果表明了该方法的有效性。

关键词：静态污点分析污点传播活跃变量分析插桩动态验证

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

离线光盘库中盘匣管理技术的研究与实现

离线光盘库中盘匣管理技术的研究与实现

作者：范威威华中科技大学

学位级别：硕士

随着大数据时代的来临，数据归档对于企业而言越来越重要，选择合适的存储设备是企业数据归档的关键。光盘库因其低廉的价格成为近年来发展迅速的海量存储设备，为了进一步降低成本，使用离线库对海量的光盘进行离线存储，需要使用时再... 详细信息

随着大数据时代的来临，数据归档对于企业而言越来越重要，选择合适的存储设备是企业数据归档的关键。光盘库因其低廉的价格成为近年来发展迅速的海量存储设备，为了进一步降低成本，使用离线库对海量的光盘进行离线存储，需要使用时再回迁到光盘库，并设计实现系统软件对离线库中的光盘匣进行智能管理。通过分析整个光盘归档系统的架构，明确了离线库光盘匣管理系统所应实现的功能，使用射频识别技术对光盘匣进行智能定位管理，在离线库的每个格子内配备一个射频识别读写器，通过USB扩展的方式连接到离线库控制器，通过射频识别获取每个光盘匣的所在位置，形成局部管理信息表，并将多个离线库的数据汇总到各光盘库，提供人性化的管理界面。为完成上述目标，将离线库光盘匣管理系统的实现划分为客户端/服务器系统和浏览器/服务器系统两部分。客户端/服务器系统主要负责实现光盘库对众多离线库中光盘匣的实时位置信息进行管理，其中客户端运行在离线库，主要包括系统初始化模块、服务器添加连接模块、光盘匣位置监听模块和出入库请求处理模块等，而服务器程序运行在光盘库系统上，主要包括服务器IP广播模块，TCP连接监听模块和数据接收处理模块。浏览器/服务器系统搭建在光盘库系统上，通过网页向管理员提供简单易用的离线库管理功能。最后针对离线库光盘匣管理系统进行了测试，结果表明，该离线库光盘匣管理系统基本能够完成对光盘匣的智能管理，对于断电的意外情况的发生也能正常处理，总的来说达到预期要求。

关键词：数据归档离线库射频识别

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

百香果果啤的生产工艺研究及品质评价

百香果果啤的生产工艺研究及品质评价

作者：范威威华中农业大学

学位级别：硕士