9297至尊品牌游戏官方网站|主頁(欢迎您)

报告题目：Global phase portraits of generalized polynomial Liena…

报 告 人：陈和柏

时 间：2023年1月25日(周四)上午10:00-10:30

地 点：腾讯会议（556-639-081）

简 介：This paper aims to provide a sufficient and necessary condition of the generalized polynomial Lienard system with a unique equilibrium and periodic annulus.

报告题目：基于可达集上下近似的混成系统安全性验证研究

报 告 人：佘志坤

时 间：2024年1月8日（周一）下午16:00-17:00

地 点：6号楼2号报告厅

简 介：信息-物理系统（CPS）是一类将计算与物理过程相结合的安全攸关系统，是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统，被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题，本报告将主要围绕动力系统可达集的上下近似展开：首先，引入演化函数并借助李导数给出它的泰勒级数展开；接着，基于部分和公式，提出两种计算可达集上下近似的方法并给予实现；最后，与几种最新方法的计算结果比较展示了我们方法的优越性。

报告题目：Constructing bent functions from permutations and invo…

报 告 人：屈龙江

时 间：2024年1月8日（周一）下午16:30-17:30

地 点：三楼M323学术报告厅

简 介：Bent functions are extremal combinatorial objects with several applications, such as coding theory, cryptography, etc. In this talk, we introduce and further study two approaches to constructing bent functions from permutations. The first one is by composing a Boolean function with a permutation introduced by Hou and Langevin in 1997. In this part, some new classes of bent functions from quadratic permutations and permutations with Niho exponents are proposed. The second approach is by employing three permutations satisfying a special algebraic property (Am) proposed by Mesnager in 2014. In this part, we construct some triples of permutations satisfying the property (Am) from vectorial functions, trace functions and linearized polynomials, and then obtain some bent functions by them. These works are jointed with Tor Helleseth, Chunlei Li, Kangquan Li, Yubo Li and Sihem Mesnager.