【摘 要】
：
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题;最后,运用平方和松弛方法将问题转化为平方和规划问题,并利用SOSTOOLS工
【机 构】
：
上海市高可信计算重点实验室（华东师范大学）,上海大学数学系,温州大学数学与信息科学学院
【基金项目】
：
国家自然科学基金资助项目（61772203,61632015,61561146394）, 上海市自然科学基金资助项目（17ZR1408300）
论文部分内容阅读
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方法。首先,介绍了随机连续系统及其安全性验证的相关知识及概念;然后,讨论了如何对于服从几种不同分布的初始变量确定初始状态集,并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题;最后,运用平方和松弛方法将问题转化为平方和规划问题,并利用SOSTOOLS工具求得安全性概率的下界。理论分析以及实验结果表明,所提方法具有多项式时间的复杂度,能有效地给出随机连续系
其他文献
[摘 要] 阐述了炼化物联网的基本概念和在企业中的应用情况，提出了炼化物联网平台建设的目标和设计原则，规划了平台的系统架构、业务模型、信息模型和技术架构。 [关键词] 炼化物联网；系统定位；安全管理 doi ： 10 . 3969 / j . issn . 1673 - 0194 . 2018. 15. 025 [中圖分类号] F279.23 [文献标识码] A [文章编号] 1673 -
用户评价标准不一致和偏好不一致导致网络空间中的在线服务之间不具备公正的可比较性,从而用户难以选择到满意的在线服务,因此,提出了基于社会选择理论计算在线服务优劣的排序方法。首先,根据用户给出的用户-服务评价矩阵构建群体偏好矩阵;然后,基于群体偏好矩阵和Kemeny社会选择函数构建0-1整数规划模型;最后,通过求解该模型可得到服务的最优排序结果。该方法聚合个体偏好为群体偏好,决策符合群体大多数人的偏好
针对当前皮肤病识别分类面临的两个主要问题:一是由于皮肤病种类繁多,病灶外观的类间相似度高和类内差异化大,尤其是色素性皮肤病,使得皮肤病的识别分类比较困难;二是皮肤病识别算法模型设计存在一定的局限性,识别率还有待进一步提高。为此,以VGG19模型为基础架构,训练了一个结构化的深度卷积神经网络(CNN),实现了色素性皮肤病的自动分类。首先,采用数据增强(裁剪、翻转、镜像)对数据进行预处理;其次,将在I
随着互联网科技的发展,电子商务成为人们消费的新方式,电子商务的快速发展也进一步影响到国际贸易的发展。国际贸易逐步发展为以电子商务为主体的无纸化交易。这给国际贸易的
针对机器视觉系统在实际生产中光源位置无法事先确定的问题,提出一种基于帧间特征区域灰度形态分析的在线光源位置计算方法。首先基于灰度分布来确定一特征区域作为参考点,然
随着生活水平的不断提高，人们对美食的追求似乎也在一天天的提高，胃口不再能被轻易满足。以前人们总爱出去吃烧烤，可是越来越多的资料表明，这类食物对人的身体没有太大的好处，烧烤类的食物致癌的几率很高。但美味的烧烤很难让人放弃这些“美食”。一家称为“小嘴煲煲掂”的饭店，解决了这些问题，让年轻人不但品尝到美味，而且吃得健康。 小嘴煲煲掂是以蒸煮为特色，比起一般的炒炸食品更加清淡，适合多数人群食用，是集快餐
为满足对流层无线通信系统设计和优化的需要,基于抛物型波动方程和分步小波变换,研究了对流层电波传播特性,开发了电波传播特性分析软件。首先,通过建立数值求解的计算场景,给出了一种基于分步小波变换的对流层电波传播特性分析方法;其次,基于提出的分析方法和Matlab,开发了对流层电波传播特性分析软件。数值计算表明,提出的分步小波变换方法收敛性比分步傅里叶变换方法好;对流层传播损耗与天线高度和仰角密切相关,
软件定义网络(SDN)的集中化控制面给网络管理带来了很大的便利,但也引入了很多安全隐患。针对控制器的单点故障、未知的漏洞和后门、静态配置等安全性问题,提出一种基于拜占庭协议的安全结构,控制器之间执行拜占庭协议,每个交换设备由一个控制器视图管理,多控制器裁决后给出控制信息。此外,将动态性、异构性引入到结构中,打破了攻击链,增强了网络的主动防御能力;通过对控制器异构性的量化,设计了两阶段控制器视图的选
为贯彻新形势下党的重要思想,由十二个试点城市首先开始进行生育保险和医疗保险的合并,再由十二个试点城市推向全国实施。文章通过现行的生育医疗保险和生育保险的覆盖范围、
针对家庭基站密集部署情况下的下行干扰问题,提出一种基于分簇的资源分配方案。首先,采用部分频率复用(FFR)技术将网络中所有小区划分成不同的空间,既能抑制宏基站之间的同层干扰,又能降低边缘区域宏基站与家庭基站间的跨层干扰;然后,结合图论的知识及凸优化理论对家庭基站进行分簇,并采用基于用户速率公平的信道分配算法对家庭基站进行子信道分配,抑制家庭基站间的同层干扰;最后,采用分布式功率控制算法对家庭基站功