首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

【MIT博士论文】非线性系统鲁棒验证与优化

来源:专知本文为论文介绍,建议阅读5分钟本文解决了参数不确定的鲁棒性验证和优化问题。 非线性系统允许我们描述和分析物理和虚拟系统,包括动力系统、电网、机器人和神经网络。涉及非线性的问题对在不确定性存在的情况下提供安全保证和鲁棒性提出了挑战。本文提供了利用非线性上界和下界知识的方法,解决了参数不确定的鲁棒性验证和优化问题。本文的前半部分发展了由一组非线性等式和不等式约束定义的非凸可行性集的凸约束。凸约束为求解非线性方程组提供了一个闭型凸二次条件。将原约束替换为所提出的条件,可将非凸优化问题求解为一系列凸优化

01

软件学院王建民、龙明盛团队提出极端降水临近预报大模型

近年来,受全球气候变化的影响,短时强降水、暴风雨、暴雪、冰雹等极端降水天气发生频率逐年增加,严重威胁生产安全和人民的生命财产安全。更准确、更精细和更长预警提前量的降水临近预报业务能够更好地提供气象决策支持,为农业生产、新能源开发、航空航天等国家重大需求保驾护航。然而,极端降水天气过程大多只持续几十分钟且空间尺度在几公里范围,受到对流、气旋、地形等复杂过程和大气系统混沌效应的严重影响。基于物理方程模拟的数值预报技术很难对公里尺度的极端降水做出有效预报。在2023年5月27日世界气象组织峰会上,三小时内降水临近预报被列为未解决的重要科学难题之一。

03

CORDIC算法详解(三)- CORDIC 算法之线性系统及其数学应用

网上有很多类似的介绍,但是本文会结合实例进行介绍,尽量以最简单的语言进行解析。   CORDIC ( Coordinate Rotation Digital Computer ) 是坐标旋转数字计算机算法的简称, 由 Vloder• 于 1959 年在设计美国航空导航控制系统的过程中首先提出[1], 主要用于解决导航系统中三角函数、 反三角函数和开方等运算的实时计算问题。 1971 年, Walther 将圆周系统、 线性系统和双曲系统统一到一个 CORDIC 迭代方程里 , 从而提出了一种统一的CORDIC 算法形式[2]。   CORDIC 算法应用广泛, 如离散傅里叶变换 、 离散余弦变换、 离散 Hartley 变换、Chirp-Z 变换、 各种滤波以及矩阵的奇异值分解中都可应用 CORDIC 算法。 从广义上讲,CORDIC 算法提供了一种数学计算的逼近方法。 由于它最终可分解为一系列的加减和移位操作, 故非常适合硬件实现。 例如, 在工程领域可采用 CORDIC 算法实现直接数字频率合成器。 本节在阐述 CORDIC 算法三种旋转模式的基础上, 介绍了利用 CORDIC 算法计算三角函数、 反三角函数和复数求模等相关理论。 以此为依据, 阐述了基于 FPGA 的 CORDIC 算法的设计与实现及其工程应用。

02
领券