导读:本文包含了系统验证平台论文开题报告文献综述及选题提纲参考文献，主要关键词:物联网,IFTTT框架,系统安全,模型检验
系统验证平台论文文献综述
张秋萍,王熙灶,沈思远,张时雨,卜磊[1]（2019）在《面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台》一文中研究指出以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了"门神",这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平台。用户可以在门神中自定义其系统,并进行一键式模型驱动的仿真及验证、自动检测并重现错误场景,从而理解系统行为并提升其安全性。通过大量实验可知,门神能在86.7%的案例中发现安全隐患,且平均耗时仅为0.7 s。(本文来源于《物联网学报》期刊2019年03期）
孙珞珈[2]（2019）在《“信息物理系统共性关键技术测试验证平台建设与应用推广”项目通过验收》一文中研究指出本报讯（通讯员 孙珞珈）8月7日，由工业和信息化部计算机与微电子发展研究中心（中国软件评测中心）牵头、金航数码参研的工业转型升级重点项目“信息物理系统（CPS）共性关键技术测试验证平台建设与应用推广”通过工信部信软司组织的验收。该项目包括“一硬、(本文来源于《中国航空报》期刊2019-08-15）
温浪明[3]（2019）在《基于SV语言的RFID标签芯片数字系统验证平台设计探析》一文中研究指出针对标签芯片数字系统进行功能验证,是保证该系统功能有效实现的关键。本文主要围绕射频标签芯片数字系统验证平台设计、验证结果分析等方面展开讨论,设计出层次化功能验证平台,能完成随机或特定的操作指令。之后将该系统应用在标签芯片功能验证实例上,判断设计合理与否,旨在通过本文的研究,进一步提高验证质量。(本文来源于《中国新通信》期刊2019年10期）
印炜[4]（2019）在《配电系统信息安全防护测试与验证平台设计与实现》一文中研究指出配电系统是用户和变电系统的重要纽带,它的安全运行关乎着人民的生活、社会的经济发展甚至国家的稳定。随着IT技术在配电系统中的广泛应用,面临的信息安全威胁也日益严重。针对在实际配电系统上进行信息攻击和防护测试困难的问题,本文设计并实现了配电系统信息安全防护测试与验证仿真平台,为配电系统信息安全理论与方法研究提供成本、风险可控的测试环境。本文首先从配电系统的结构和功能、攻击注入与安全防护叁个方面对测试与验证平台的需求进行了分析,提出了测试与验证平台的总体框架,然后详细设计并实现了配电SCADA仿真系统。测试与验证平台由物理对象仿真、站场控制系统、广域网仿真以及调度控制中心四部分组成。其中物理对象以IEEE33节点为配电系统模型,采用MATLAB和Simulink进行仿真,模拟系统的连续稳定运行,产生实时状态数据并接收系统的控制指令;站场控制系统和调度控制中心采用MySQL完成数据的存储备份,采用Qt进行人机交互界面的设计,完成对系统的数据采集和监控;广域网仿真采用OPNET实现,根据电力系统广域网的特点,模拟其网络环境,实现真实网络与仿真网络的数据交互,提供信息安全分析的广域网环境;站场控制系统和调度控制中心经仿真的广域网通过TCP完成之间的通信。在此基础上,本文测试了系统的静态安全功能;设计和实现了针对配电系统的基于ARP的中间人攻击和基于SYN Flood的DoS攻击,验证了平台的攻击注入模拟功能;提出了一种不同系统运行状态下的基于遗传算法的调度或故障恢复策略优化方法,通过采集和分析攻击后配电系统的状态数据和网络数据,对其进行异常检测和状态划分,然后根据其结果来采用相应的调度策略实现系统的动态防护,验证了平台的信息安全动态防护方法并测试了其功能。(本文来源于《华中科技大学》期刊2019-05-01）
郭慧泉[5]（2019）在《智能农机控制系统的方案设计与验证平台开发》一文中研究指出智慧农业是指农业生产方式的技术升级。随着科技力量的发展,现代农业中加入了许多新技术用于解决传统农业中的问题。农机装备智能化既是智慧农业的组成内容,也是实现智慧农业的基础保障。智能农机是农机装备智能化的典型代表。智能农机是结合了卫星定位、图像采集、计算机辅助等技术的先进装备。“神农Ⅰ号”是由我国自主研发的一颗可服务于智能农机的处理器芯片。本论文以“神农Ⅰ号”芯片为核心,建立了一个可面向智能农业应用的农机终端的前期验证系统。该系统完成了“神农Ⅰ号”芯片和多种信息化设备的板级集成,可作为智能农机的控制中心。针对智能农机的自动驾驶、智能组网等要求,本论文将系统功能划分为4个部分,分别是:定位导航、信息采集、人机交互和数据通信。本论文从农机的实际应用出发,结合现有农机控制平台的技术情况,提出了一个智能农机控制系统的设计方案。方案采用GPS(Global Positioning System全球定位系统)和BDS(BeiDou Navigation Satellite System北斗卫星导航系统)结合的卫星定位方式,使用惯性器件获取系统的姿态信息,使用机器视觉设备和多种传感器采集环境数据,通过4G/WiFi/蓝牙等通信手段完成数据传递。论文研究过程中,针对“神农I号”芯片这类以通信为主的无显示单元的处理器,设计实现了基于以太网和基于USB的两种图形显示方案,为处理器显示功能的扩展提供了参考;此外论文还提出了一种创新的解算方法,可以有效提高姿态解算的抗干扰性。论文的意义主要有两点,一是通过硬件的开发,验证了设计方案的有效性;二是硬件系统可以在“神农Ⅰ号”芯片设计环节提供一个芯片级设计的验证平台。测试表明,本文提出的设计方案满足了系统的功能需求;通过该平台发现了“神农Ⅰ号”芯片的一些设计问题,并给出了反馈,起到了芯片验证的作用。(本文来源于《中国科学技术大学》期刊2019-05-01）
潘强强[6]（2019）在《基于Math CAD的UVW平台对位系统运动分析与验证》一文中研究指出根据UVW平台的结构,使用数学工具MathCAD对其运动进行了对位运动的代数分析,以A、B点在固定坐标系中位置推导出UVW平台3个轴运动值的方程,最后以代数和数值两种演算方式证明驱动关系的正确。(本文来源于《电子工业专用设备》期刊2019年02期）
杨雅迪,李云龙[7]（2019）在《指挥信息系统验证支撑软件平台技术应用的研究》一文中研究指出在新时代下,各类信息系统的广泛应用已经成为了信息领域发展的必然趋势,指挥信息系统验证支撑软件平台的建设也不可或缺,文章根据系统的特点以及验证的定义给出了一种指挥信息认证的具体方式,也就是说通过合理的搭建验证支撑软件的平台使用仿真以及实际系统的方式,打造出了一个真实的作战环境,希望文章中的阐述给相关工作人员一些参考。(本文来源于《电子质量》期刊2019年03期）
柴华,章桐,陈觉晓,高海宇[8]（2019）在《燃料电池汽车动力系统测试平台的设计与验证》一文中研究指出为实现燃料电池汽车(FCV)动力系统及其关键部件的开发和产品化综合测试,设计了FCV动力系统的分布式多任务动态测试平台,实现车辆运行环境、道路振动适应性和动态道路阻力的模拟,基于功能特性和冗余需求设计了测试系统的体系结构和功能,采用XiL技术设计验证过程和测试用例。通过对测试结果的分析,论证了测试平台的有效性和先进性,并验证了FCV动力总成领域大型多层测试平台的设计方法。(本文来源于《汽车技术》期刊2019年01期）
郝严,冯文楠[9]（2018）在《面向OFDM系统物理层关键算法模块逻辑设计功能联合仿真验证平台》一文中研究指出提出了一种面向OFDM(Orthogonal Frequency Division Multiplexing,正交频分复用技术)系统物理层关键算法逻辑设计功能的联合仿真验证平台。该平台将原本使用SystemVerilog验证语言搭建的验证环境(运行于数字逻辑仿真工具Synopsys公司的VCS中)和复杂数字信号算法处理的参考模型(运行于算法仿真工具Mathworks公司的Matlab中),通过直接编程接口(Direct Programming Interface,DPI)以C++作为桥梁进行连(本文来源于《电子世界》期刊2018年21期）
林颖杰,刘静波,王晓卫[10]（2018）在《基于和睦系统的工程应用软件验证平台设计》一文中研究指出在实际DCS工程中,针对输入复杂、工期紧张的项目,需要设计验证环节多次迭代,进而导致工期拖延,为解决以上问题,本文设计了一种基于和睦系统的工程应用软件验证平台。从实际需求出发,通过分析软件验证平台的功能及用途,从硬件和软件两个方面开展设计工作,并最终完成了平台的集成、测试。此外创新性地通过建立过程模拟及仿真模型,对运行工况及特殊工况的验证相比原验证方法更加全面,从而保证了工程质量。该平台设计完成后通过在某项目的实践检验,证明可有效减少成本、缩短工期、提高验证质量。(本文来源于《自动化博览》期刊2018年10期）
系统验证平台论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本报讯（通讯员 孙珞珈）8月7日，由工业和信息化部计算机与微电子发展研究中心（中国软件评测中心）牵头、金航数码参研的工业转型升级重点项目“信息物理系统（CPS）共性关键技术测试验证平台建设与应用推广”通过工信部信软司组织的验收。该项目包括“一硬、
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
系统验证平台论文参考文献
[1].张秋萍,王熙灶,沈思远,张时雨,卜磊.面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台[J].物联网学报.2019
[2].孙珞珈.“信息物理系统共性关键技术测试验证平台建设与应用推广”项目通过验收[N].中国航空报.2019
[3].温浪明.基于SV语言的RFID标签芯片数字系统验证平台设计探析[J].中国新通信.2019
[4].印炜.配电系统信息安全防护测试与验证平台设计与实现[D].华中科技大学.2019
[5].郭慧泉.智能农机控制系统的方案设计与验证平台开发[D].中国科学技术大学.2019
[6].潘强强.基于MathCAD的UVW平台对位系统运动分析与验证[J].电子工业专用设备.2019
[7].杨雅迪,李云龙.指挥信息系统验证支撑软件平台技术应用的研究[J].电子质量.2019
[8].柴华,章桐,陈觉晓,高海宇.燃料电池汽车动力系统测试平台的设计与验证[J].汽车技术.2019
[9].郝严,冯文楠.面向OFDM系统物理层关键算法模块逻辑设计功能联合仿真验证平台[J].电子世界.2018
[10].林颖杰,刘静波,王晓卫.基于和睦系统的工程应用软件验证平台设计[J].自动化博览.2018