·TCCT动态  ·CCC进展  ·学术研究  ·控制学人  ·消息发布  ·期刊天地
 TCCT动态
  • 第39届中国控制会议论文集已进入IEEE Xplore
      第39届中国控制会议论文集已进入IEEE Xplore,点击此处可登陆IEEE Xplore 网页,查看会议论文。
  • 专委会顾问郭雷院士当选亚洲控制协会主席
      近日,亚洲控制协会现任主席 Keum-Shik Hong 教授通过电子邮件宣布郭雷 院士当选下一届协会主席,任期为2022-2023年......更多信息>>>
  • 第四届中国系统科学大会胜利闭幕
      第四届中国系统科学大会(CSSC2020)于2020年9月18~20日在青岛隆重召开。大会 由上海系统科学研究院主办,青岛大学承办,中国自动化学会控制理论专业委员会(TCCT) 等协办......更多信息>>>
  • 《系统与控制纵横》征文
      《系统与控制纵横》(英文名称:All About Systems and Control)是由中国科学院数学与系统科学研究院和中国自动化学会控制理论专业委员会联合主办的科普型刊物, 主要刊登系统科学与控制科学领域知识性、趣味性、普及性的文章,旨在弘扬学科文化,梳理发展脉络,传播科学知识,宣传科研成果,服务人才培养,积极推进学科普及工作,让更多的人了解系统科学与控制科学 的过去、现在和未来......更多信息>>>
  •  CCC进展

      第40届中国控制会议(CCC 2021)将于2021年7月26-28日在上海举办。CCC 2021由中国自动化学会控制理论专业委员会(TCCT)、中国自动化学会(CAA)、中国系统工程学会(SESC)主办,上海大学承办。

      中国控制会议是由TCCT发起的系列学术会议,现已发展成为控制理论与技术领域的国际性学术年会。会议旨在为全球系统与控制领域的学者和技术人员提供一个学术交流的平台,展示最新的理论与技术成果。会议采用大会报告、专题研讨会、会前专题讲座、分组报告与张贴论文等形式进行交流。会议的工作语言为中文和英文。论文集中的英文论文将于会后提交IEEE Xplore数据库。

      CCC 2021 提交论文初稿日期为:2020年10月1日-12月15日。详细征文范围等内容,请点击查看CCC 2021征文通知。我们热忱欢迎海内外广大同仁踊跃投稿、参会,共同交流学术成果。上海欢迎您,控制盛会期待您......更多信息>>>

     学术研究
    1

    书  名:公理化集合论机器证明系统
    作  者:郁文生,孙天宇,付尧顺
    内容简介:
       布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq,实现Morse-Kelley 公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq 描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。在Morse-Kelley公理化集合论形式化系统下,作为应用,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey 引理、Hausdorff 极大原则、极大原则、Zorn 引理、良序定理及Zermelo 假定等。在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq 的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠。该系统可方便地应用于拓扑学和代数学理论的形式化构建.......更多信息>>>

     控制学人

      彭 晨 教授
      2002年毕业于中国矿业大学控制理论与控制工程专业,获博士学位。2004年10月至2005年2月在香港大学做助理研究员;2010年9月至2011年8月在澳大利亚昆士兰科技大学做访问教授;2011年9月至2012年8月在澳大利亚中昆士兰大学做访问学者。现为上海大学机电工程与自动化学院副院长、二级教授、博士生导师、上海大学网络化控制研究中心主任。主要从事网络化控制、安全控制、事件驱动通信与控制等领域的科研和教学工作......更多信息>>>

      李鸿一 教授
      2006年和2009年先后于渤海大学获理学学士学位和理学硕士学位,2012年于英国朴茨茅斯大学获博士学位。现为广东工业大学教授,博士生导师,国家万人计划领军人才,国家优秀青年科学基金获得者,全球高被引科学家。主要从事复杂动态系统智能控制、协同控制以及应用方面研究,发表 Automatica 及 IEEE 汇刊论文90余篇,其中发表在 IEEE TCYB 与 IEEE TSMCS 期刊上的2篇论文分别获2016与2019 IEEE SMC 学会 Andrew P. Sage 最佳汇刊论文奖......更多信息>>>

     消息发布

    1. 中科协:“十四五”国家科技创新规划面向社会征集研究单位开展重大问题研究公告

      “十四五”时期是我国开启全面建设社会主义现代化国家新征程的第一个五年,也是迈向创新型国家前列的起步阶段。按照党中央、国务院部署要求,科技部正在组织相关部门研究编制“十四五”国家科技创新规划。为广泛凝聚各方智慧,提高规划编制的社会参与度,决定对国家“十四五”时期科技改革发展重大问题面向社会公开征集研究单位。现将有关事项公告如下.....更多信息>>>

    2. 基金委:关于2020年度国家自然科学基金申请项目评审结果(第二批)的通告

      根据《国家自然科学基金条例》、国家自然科学基金相关项目管理办法以及专家评审意见,国家自然科学基金委员会2020年第20次委务会议决定资助医学领域面上项目4584项、青年科学基金项目4505项、地区科学基金项目917项,合计10006项.....更多信息>>>

    3. 基金委:关于发布大数据驱动的管理与决策研究重大研究计划2020年度项目指南的通告

      国家自然科学基金委员会现发布“大数据驱动的管理与决策研究”重大研究计划2020年度项目指南,请申请人及依托单位按项目指南中所述的要求和注意事项申请.....更多信息>>>

     编 委 会 
    (按姓氏拼音顺序排序)
    曹洪武 董海荣 关新平
    洪奕光 姜钟平 刘志新
    卢 焱 齐洪胜 曲 莹
    任艳青 宋 扉 吴 敏
    徐 春 赵延龙  
    期刊天地

    Journal of Systems Science and Complexity
    2020年第4期 目录>>>
    1
    系统科学与数学
    2020年第8期 目录>>>

    控制理论与应用
    2020年第9期 目录>>>

    Control Theory and Technology
    2020年第3期 目录>>>

    自动化学报
    2020年第9期 目录>>>

    控制与决策
    2020年第10期 目录>>>

    Unmanned Systems
    2020年第4期 目录>>>
    欢迎给《TCCT 通讯》投稿

    地址:北京海淀区中关村东路55号中国科学院数学与系统科学研究院
    邮编:100190
    电话:+86-13439292673
    Email:tcct@iss.ac.cn

    相 关 网 站 链 接
    友 情 链 接
    《中国自动化学会通讯》
    往 期 索 引

    控制理论专业委员会©2011-2020. 版权所有.

    中国自动化学会 控制理论专业委员会
    电话:+86-13439292673   Email:tcct@iss.ac.cn