导读:本文包含了可执行验证论文开题报告文献综述及选题提纲参考文献，主要关键词:政府创新,可执行性,公共服务标准化,评估体系
可执行验证论文文献综述
卓越,于湃[1]（2015）在《政府创新可执行性评估体系的构建与验证——以L市J区C局公共服务标准化创新实践为例》一文中研究指出可执行性在政府创新体系中起承上启下的作用,构建评估体系可以作为验证政府创新可执行性的有效机制。将公共服务标准化作为创新验证的分析对象,选择创新接受阶段和实施阶段作为分析路径,可以构建政府创新可执行性评估叁级指标体系。公共服务标准化作为一种政府创新总体上具有较强的可执行性,但依然有继续改进的空间。(本文来源于《四川大学学报(哲学社会科学版)》期刊2015年05期）
俞晓锋[2]（2014）在《基于SysML的可执行模型验证工具的研究与实现》一文中研究指出系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域。由于模型驱动开发对自动代码生成的支持,使得目标系统的验证在整个项目开发周期中的位置可以推前到系统的设计阶段进行。在MDD中,模型可分为平台无关模型和平台相关模型,通过验证平台无关模型(Platform Independent Model,PIM)来预览系统的行为功能可以减少系统工程实施的风险。在系统工程领域中,针对平台无关模型进行验证具有重要的意义,合理的平台无关模型可以组织成为高内聚低耦合的可复用组件,提高系统工程的质量和效率,大大减少测试目标系统的时间和开销。系统建模语言是统一建模语言(Unified Modeling Language,UML)的扩展,将会广泛应用到模型驱动开发中,但SysML还在不断完善中,使用原生SysML进行建模不能满足平台无关模型验证的需求,主要原因为:一方面,SysML本身不具备可执行性;另一方面,缺少针对SysML PIM进行设计、分析和验证的工具原型。论文针对目前存在的问题和需求开展了相关研究和实践,主要工作如下:(1)在SysML规范的基础上定义了可执行的平台无关模型。它有一个清晰的模型结构并加入了动作规约语言进行增强,可执行性是进行平台无关模型验证的前提和基础;(2)设计实现了支持基于SysML的可执行平台无关模型的工具原型。用它可以创建和验证可执行的平台无关模型;(3)在可执行模型和工具原型的基础上实现了平台无关模型的验证功能。通过一个具体的模型实例,采用论文中的原型系统进行实验,体现了验证平台无关模型的可行性。(本文来源于《南京航空航天大学》期刊2014-06-01）
陈岩,李志淮,谭贤四,朱刚[3]（2014）在《基于xUML的DoDAF可执行体系结构开发与验证》一文中研究指出可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。(本文来源于《系统仿真学报》期刊2014年01期）
陈岩,王红,谭贤四,李志淮[4]（2013）在《基于可执行模型的DoDAF体系结构验证》一文中研究指出针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。(本文来源于《火力与指挥控制》期刊2013年11期）
罗爱民[5]（2010）在《基于可执行模型的体系结构验证评估方法》一文中研究指出信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率。基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法。分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容。提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性。(本文来源于《计算机科学》期刊2010年08期）
郭维[6]（2010）在《基于动态验证的可执行程序安全性逆向分析技术》一文中研究指出一、引言软件安全问题已在国际学术界和工程界引起广泛重视。我国的国家计算机网络应急技术处理协调中心(CNCERT/CC)公布的《2009年网络安全工作报告》中重点提出了软件安全性分析的理论和特点,说明在信息安全领域,软件安全性分析已成为一项具有重要实际意义的基础性研究工作。(本文来源于《警察技术》期刊2010年04期）
付广胜[7]（2007）在《基于xUML可执行模型的C~4ISR系统需求开发与验证方法研究》一文中研究指出C~4ISR系统需求工程是我军信息化建设的重要组成部分,需求验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于xUML的需求开发与验证方法开展研究。首先介绍C~4ISR系统需求论证的背景,提出基于可执行模型的系统需求验证方法,总结了需求描述、验证以及可执行模型建立方法的国内外研究现状。而后研究了C~4ISR系统需求的概念和层次,以及需求分析与需求验证的基本概念,总结了需求验证工作的主要内容组成,提出了基于可执行模型的需求验证过程,为需求开发与验证方法的研究提供了理论指导。论文将MDA的思想引入到C~4ISR系统需求的开发中,提出了基于xUML的需求规范化开发方法,使用xUML的各类图形实现需求的描述,建立了平台无关的需求模型。基于可执行模型的需求验证是验证需求模型动态特性的有效手段,论文针对C~4ISR系统需求各种模型的特点,分别加强了动作行为语义,绑定了性能参数,从而建立了C~4ISR系统需求可执行模型;根据C~4ISR系统需求行为和性能描述的特点,论文提出了基于xUML可执行模型的C~4ISR系统需求行为完整性、正确性、可行性的验证方法和性能验证方法。最后,以海上护航编队防空指挥信息系统为背景,对论文提出的需求开发与验证方法进行了应用,验证了方法的合理性。(本文来源于《国防科学技术大学》期刊2007-12-01）
舒挺,魏仰苏,吴柏青,孟兆航[8]（2007）在《EFSM可执行状态验证序列的生成》一文中研究指出在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.(本文来源于《北京邮电大学学报》期刊2007年02期）
单保华,韩燕波,李厚福,胡海涛[9]（2006）在《一种验证业务级服务组合可执行能力的方法》一文中研究指出在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此。影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响,提出了一种基于着色时间 Petri 网(CTPN)的业务级服务组合可执行能力验证方法,并以制造业网格应用平台 AmGrid 为案例,展示了该方法在平台中的应用效果。(本文来源于《计算机科学》期刊2006年03期）
李媛圆,吴灏,张涛,林东贵[10]（2005）在《基于免疫原理的可执行文件签名验证模型的研究》一文中研究指出病毒发现和防治策略是操作系统安全框架的重要组成部分。目前通过特征码匹配进行查杀病毒的方法通常落后于计算机病毒的发展,已经不能满足日益迫切的安全需求。文章根据生物体免疫系统检测病毒的机理,提出了一种对可执行文件签名验证的模型,通过文件签名界定“自我”和“非我”,并以此为依据完成系统中恶意代码的发现。最后介绍了在Windows操作系统下开发的基于可执行文件签名验证模型的病毒检测系统。(本文来源于《微计算机信息》期刊2005年26期）
可执行验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域。由于模型驱动开发对自动代码生成的支持,使得目标系统的验证在整个项目开发周期中的位置可以推前到系统的设计阶段进行。在MDD中,模型可分为平台无关模型和平台相关模型,通过验证平台无关模型(Platform Independent Model,PIM)来预览系统的行为功能可以减少系统工程实施的风险。在系统工程领域中,针对平台无关模型进行验证具有重要的意义,合理的平台无关模型可以组织成为高内聚低耦合的可复用组件,提高系统工程的质量和效率,大大减少测试目标系统的时间和开销。系统建模语言是统一建模语言(Unified Modeling Language,UML)的扩展,将会广泛应用到模型驱动开发中,但SysML还在不断完善中,使用原生SysML进行建模不能满足平台无关模型验证的需求,主要原因为:一方面,SysML本身不具备可执行性;另一方面,缺少针对SysML PIM进行设计、分析和验证的工具原型。论文针对目前存在的问题和需求开展了相关研究和实践,主要工作如下:(1)在SysML规范的基础上定义了可执行的平台无关模型。它有一个清晰的模型结构并加入了动作规约语言进行增强,可执行性是进行平台无关模型验证的前提和基础;(2)设计实现了支持基于SysML的可执行平台无关模型的工具原型。用它可以创建和验证可执行的平台无关模型;(3)在可执行模型和工具原型的基础上实现了平台无关模型的验证功能。通过一个具体的模型实例,采用论文中的原型系统进行实验,体现了验证平台无关模型的可行性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可执行验证论文参考文献
[1].卓越,于湃.政府创新可执行性评估体系的构建与验证——以L市J区C局公共服务标准化创新实践为例[J].四川大学学报(哲学社会科学版).2015
[2].俞晓锋.基于SysML的可执行模型验证工具的研究与实现[D].南京航空航天大学.2014
[3].陈岩,李志淮,谭贤四,朱刚.基于xUML的DoDAF可执行体系结构开发与验证[J].系统仿真学报.2014
[4].陈岩,王红,谭贤四,李志淮.基于可执行模型的DoDAF体系结构验证[J].火力与指挥控制.2013
[5].罗爱民.基于可执行模型的体系结构验证评估方法[J].计算机科学.2010
[6].郭维.基于动态验证的可执行程序安全性逆向分析技术[J].警察技术.2010
[7].付广胜.基于xUML可执行模型的C~4ISR系统需求开发与验证方法研究[D].国防科学技术大学.2007
[8].舒挺,魏仰苏,吴柏青,孟兆航.EFSM可执行状态验证序列的生成[J].北京邮电大学学报.2007
[9].单保华,韩燕波,李厚福,胡海涛.一种验证业务级服务组合可执行能力的方法[J].计算机科学.2006
[10].李媛圆,吴灏,张涛,林东贵.基于免疫原理的可执行文件签名验证模型的研究[J].微计算机信息.2005