齐洪胜
- 作品数：11 被引量：124H指数：4
- 供职机构：中国科学院数学与系统科学研究院系统控制重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学航空宇航科学技术历史地理自动化与计算机技术更多>>
- 基于数字列表分发的量子检测拜占庭协议设计与分析
- 2024年
- 量子科技有望赋能区块链技术,提升区块链共识机制的安全性能.根据是否存在诚实独立的量子源设备,本文提出了两种可用于多个节点的高成功率的数字列表分发方法,并进一步提出了一种新的基于数字列表分发的量子检测拜占庭协议. 4个节点的共识示例验证了提出的协议符合检测拜占庭协议的条件.最后通过分析和比较说明了提出的协议具有较好的实用性和安全性.与其他协议相比,本文提出的共识协议不仅能用于解决包含多个节点的区块链系统对多比特数据进行共识的问题,并能在共识过程中应对任意多恶意节点的攻击,提高了区块链系统的安全性.
- 颜世露张俊勃齐洪胜崔巍
- 关键词：区块链
- 逻辑动态系统控制的代数状态空间方法
- 程代展齐洪胜
- 该项目属于控制理论领域。该项目以布尔网络为背景，以矩阵半张量积为工具，构造以代数状态空间为核心的工作平台，研究逻辑动态系统的性质与控制。自然界的演化过程大致可分为两类。一类是连续的动力学过程：如天体运动在3维空间中进行，...
- 关键词：
- 正实数维分形集的构造方法被引量：1
- 2010年
- 给出了测量一类分形集维数的简单方法.根据这种测量方法,可以构造出任意实数维分形集,并且分形集可以不是自相似的.
- 齐洪胜袁艳艳程代展
- 关键词：分形集自相似集
- 矩阵的半张量积理论及其在系统控制中的应用
- 齐洪胜
- 关键词：多项式系统矩阵表示
- 从矩阵半张量积到逻辑控制系统被引量：7
- 2016年
- 利用矩阵半张量积建立起来的逻辑系统控制理论已经成为控制论中不可忽视的一个新方向.本文的目的是对该理论从基本数学工具和分析方法到主要结果作一个综合性的介绍.首先介绍矩阵半张量积,并对其作了一个深入的探讨和评述.接着说明如何利用矩阵半张量积将逻辑表达式转化为代数表达式.继而较详细地介绍逻辑动态系统及其控制理论近年得到的一些主要成果,包括逻辑动态系统的拓扑结构,逻辑控制系统的能控性和能观性、稳定性与镇定、干扰解耦、最优控制、逻辑系统与逻辑控制系统的辨识.进而对逻辑系统从经典布尔逻辑到k值逻辑、多值逻辑和混合逻辑的推广作了比较细致的推演.这些结果构成了这一新学科的理论基础.此外,对相关概念、记号以及基本方法与工具作了统一的规范处理.然后,对目前的学科进展情形与其应用/潜在应用作了一个较为全面的整体介绍.对逻辑动态(控制)系统存在的未解问题与进一步的研究方向给出一个带有启发性的推介.最后,对学科发展的大方向提出一个个人的预测:逻辑控制系统与动力学控制系统的结合可望产生"信息-控制系统",它就是钱学森预言的"理论控制论",也是美国学科发展报告提出的下一代控制理论.
- 程代展齐洪胜刘挺王元华
- 关键词：信息物理系统
- 可回收火箭大气层内动力下降的多阶段鲁棒优化制导方法
- 2024年
- 针对大气层内可回收火箭的动力下降问题,提出一种多阶段的鲁棒优化(Robust optimization,RO)方法.由于大气层内存在未知风场,如何在火箭下降段考虑这种不确定性具有十分重要的意义.首先,建立一个关于高度的不确定风场模型,在该风场下给出火箭动力下降的鲁棒最优控制问题.为了求解该问题,使用一种对不等式约束采取一阶近似并将一阶项作为安全裕量加入约束的鲁棒优化方法,得到一个可以求解的单阶段鲁棒优化算法.其次,定量给出安全裕量的上界,基于该上界提出一种多阶段鲁棒优化算法,避免单阶段鲁棒优化算法中安全裕量可能过大导致无法求解的问题.最后,通过仿真对比各个算法在多个实际风场下的性能,结果表明所提出的多阶段鲁棒优化方法同时具有较高的落点精度和对于不同风场的鲁棒性.
- 冯子鑫薛文超薛文超张冉
- 关键词：鲁棒优化
- 布尔控制网络能观性问题的计算复杂性
- 本文主要研究布尔控制网络的能观性的计算复杂性.通过定义着色观测图,我们给出了判断能观的充要条件.我们证明判断几种不同能观性定义下判断其能观均是NP难的.除非P=NP,否则判断能观性不存在多项式时间算法.进一步,我们研究了...
- 李志齐洪胜
- 关键词：能观性
- 矩阵半张量积的基本原理与适用领域被引量：4
- 2012年
- 作为一种新的矩阵乘法,矩阵半张量积正得到国内外学者越来越多的重视和参与,从而使之应用于越来越多的研究课题中.希望分析矩阵半张量积的基本原理,从其合理性说明它产生的必然性和存在的意义.同时,与已有的综述不同,这里不准备具体介绍它在那些问题中得到那些应用,而是从原理出发,说明它可能在那些类型的相关科学问题中得到应用.这使我们能够更主动地去开发它可能的潜在应用.
- 程代展齐洪胜
- 关键词：泛代数多元多项式子空间
- 布尔网络的分析与控制—矩阵半张量积方法被引量：111
- 2011年
- 布尔网络是描述基因调控网络的一个有力工具.由于系统生物学的发展,布尔网络的分析与控制成为生物学与系统控制学科的交叉热点.本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果.内容包括:布尔网络的拓扑结构,布尔控制网络的能控、能观性与实现,布尔网络的稳定性和布尔控制网络的镇定,布尔控制网络的干扰解耦,布尔(控制)网络的辨识,以及布尔网络的最优控制等.
- 程代展齐洪胜赵寅
- 关键词：逻辑系统
- 逻辑系统的代数状态空间方法的基础、现状及其应用被引量：8
- 2014年
- 逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.
- 程代展齐洪胜
