徐相如
- 作品数：3 被引量：17H指数：2
- 供职机构：中国科学院数学与系统科学研究院系统控制重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学哲学宗教经济管理自然科学总论更多>>
- 从布尔代数到布尔微积分被引量：10
- 2011年
- 布尔函数作为最简单的有限值函数具有特殊的重要性.它在包括信息、控制等许多领域有着广泛的应用.本文综合介绍有关布尔函数的理论基础.包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些些要应用,以及其前沿动态与新进展.介绍的一个重点是矩阵半张量积在这些领域的应用.
- 程代展赵寅徐相如
- 关键词：布尔函数
- 复杂系统控制分析综合中的若干新方向被引量：1
- 2012年
- 随着当代科技的发展,复杂系统控制科学已经渗透到自然科学、工程技术和社会领域的各个方面,许多新的挑战性问题不断涌现.从一个侧面讨论了系统和控制科学理论中近年来一些研究机遇和重要问题,主要涉及高层次的自动机分析和控制,混杂系统和抽象化技术,网络化系统和分布式设计,并对所得到的有关研究结果做一个简要的总结以期与同行切磋讨论.还以此感谢系统控制重点实验室对我们工作的支持,并且对实验室成立50周年表示祝贺.
- 洪奕光徐相如
- 关键词：自动机抽象化层次化分布式
- 混合值逻辑及其应用被引量：6
- 2011年
- 混合值逻辑是布尔逻辑和多值逻辑的一种自然推广,是本文作者及其研究小组引进的一个新概念。它在系统控制及相关领域中得到许多应用,显示了很强的生命力。本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述,并使相关概念及记号规范化。利用矩阵半张量积,首先介绍混合值逻辑算子的定义、计算方法及主要性质;其次分别介绍了混合值逻辑的3个方面的应用:(1)有限记忆的动态博弈;(2)解模糊关系方程;(3)动态-静态布尔网络。
- 程代展赵寅徐相如
- 关键词：动态博弈模糊关系方程
