静态验证技术论文_李旺彦,于彤

导读:本文包含了静态验证技术论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:层析,多相,静态,技术,射线,算法,安全漏洞。

静态验证技术论文文献综述

李旺彦,于彤[1](2012)在《静态分析和程序验证技术提高下的软件安全漏洞防护》一文中研究指出网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。(本文来源于《煤炭技术》期刊2012年10期)

方俊,赵英良,李明钧[2](2007)在《静态手写签名验证技术综述》一文中研究指出静态签名验证技术是基于人体特征的身份验证的重要技术之一.文章对目前的静态签名验证的基本过程、预处理、特征提取及目前常用的分类器分别作了介绍.最后,针对签名的变化性介绍了近年来的研究成果.(本文来源于《绍兴文理学院学报(自然科学版)》期刊2007年01期)

丁宇龙,吴昌宁,程易,金涌[3](2007)在《基于遗传算法的快速X射线计算机层析成像多相流测试技术(Ⅱ)静态实验验证》一文中研究指出采用静态实验模型和一套X射线测试系统模拟了二值多相体系多角度同时投影的X射线CT测量过程。静态实验模型模拟空气-水两相体系,截面相浓度分布满足0-1特征。X射线测试系统由一台工作电压为150kV的闪光X射线机、一台X射线平板检测器和一套数据采集单元组成。通过旋转静态实验模型,分步实现不同角度的投影数据采集。基于模拟的多角度“同时”采集的投影数据,使用本系列研究所构建的基于遗传算法的快速X射线CT多相流测试技术(GA-XCT)对截面图像进行重建,测试结果表明在3~24个有限角度实测投影数据的情况下,GA-XCT表现出了明显优于传统CT图像重构算法(滤波反投影算法)的图像重构能力,且具有良好的抗噪声能力。(本文来源于《化工学报》期刊2007年02期)

静态验证技术论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

静态签名验证技术是基于人体特征的身份验证的重要技术之一.文章对目前的静态签名验证的基本过程、预处理、特征提取及目前常用的分类器分别作了介绍.最后,针对签名的变化性介绍了近年来的研究成果.

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

静态验证技术论文参考文献

[1].李旺彦,于彤.静态分析和程序验证技术提高下的软件安全漏洞防护[J].煤炭技术.2012

[2].方俊,赵英良,李明钧.静态手写签名验证技术综述[J].绍兴文理学院学报(自然科学版).2007

[3].丁宇龙,吴昌宁,程易,金涌.基于遗传算法的快速X射线计算机层析成像多相流测试技术(Ⅱ)静态实验验证[J].化工学报.2007

论文知识图

液压机械传动平地机实验样机液压传动平地机实验样机!一1传统动态验证流程3系统级标定流程图4.2.3多级综合仿...验证基本原理图SoC芯片设计流程

标签:;  ;  ;  ;  ;  ;  ;  

静态验证技术论文_李旺彦,于彤
下载Doc文档

猜你喜欢