可信性验证相关论文
网络空间安全可信性测评是保障国家网络空间安全的基础核心手段,其技术先进性事关发展与安全大局,面临测评理论与方法的系统性不足......
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为......
针对目前火炮在实际使用过程中，由于测试手段的局限性，进行实弹射击危险性较大，不能很好的判断反后坐装置工作是否正常。本文以虚拟样......
本文结合虚拟技术的发展和安全验证领域的相关技术,为保证网格计算中虚拟执行环境的可信性,提高任务的计算质量,研究了适合于虚拟......
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软......
利用区间算法研究结构矩阵秩亏为k的可信性验证.对具有特殊代数结构的矩阵A（p）,给出了算法输出具有相同代数结构的区间矩阵A（p＋W）,其每......
如何为用户提供一个可证明、可验证的可信运行环境，是云计算模式面临的重要问题.提出一种动态的用户运行环境可信性验证机制TCEE（tru......
面对医疗健康大数据,使用者或决策者难以判定其来源及是否可信.为了得到可信的数据,需要知道它的安全起源,同时确保数据起源的安全......
管脚级故障注入是对原型系统进行可信性验证的一种常用的方法.本文提出了一个基于嵌入式注入方式的管脚级故障注入工具HFI-4的设计......
利用区间算法研究秩亏为1结构方阵的可信性验证.通过给定一个具有特殊代数结构的矩阵M,算法可输出一个具有相同代数结构的区间方阵......
利用区间算法及边界矩阵理论,研究非线性方程组重根的可信性验证方法.提出一种可信验证算法,该算法输出一个近似解及其相应的误差......
针对大数据的可信性验证问题,本文提出了一种大数据可信性验证方法以验证数据来源和数据内容的可信性.本文首先通过验证数据属主的......
利用免逆牛顿法及区间算法理论,研究对称张量Z-特征对的可信验证问题,提出了一种计算Z-特征对的区间算法.该算法通过输出一个近似Z......
为研究某火箭炮高低随动装置调炮时的动力学特性,以多体动力学理论为基础,应用ANSYS、ADAMS、EASY5仿真软件建立了高低随动装置刚......
考虑矩阵方程AXB＋BXA=C（A,B,C,X∈C^n×n）中心对称解的可信性验证问题.在A,B可同时对角化的假设下,提出一种区间算法,该算法输出......
随着列车运行控制系统的飞速发展,人们对于其能否安全可靠的完成承载运输任务越来越关注,而列控系统的可信性是否达到需求是影响这......
为有效地解决数控装备在复杂网络制造环境下的协同控制问题,并支持大量异构敏感信息的安全交互,构建了面向数控装备的多级协同健康......
为实现对嵌入式弹载计算机系统性能全面的测试与评估，采用硬件在回路仿真的方式，为弹载计算机构造一个接近导弹真实飞行状态下的导航......
