Nov, 2023

闭合系统的系统理论形式化

PDF
TL;DR缺乏系统工程的一些关键基础概念的形式化，其中最近承认的不足之一是系统工程实践对工程智能系统的不足。本文提出在智能系统的系统工程中可以使用封闭系统原则来完成所需的范式转变，然而为了实现这样的转变，需要对封闭系统原则的形式基础进行扩展。封闭性概念是封闭系统原则形式化的关键概念之一。我们提供了封闭性的形式、系统理论和信息理论定义，以识别和区分不同类型的封闭系统。接着，我们使用一个数学框架来评估这些系统的边界和约束的主观形成。最后，我们认为在多个层次的抽象系统上，通过适当的封闭和开放系统范例可以有助于工程化智能系统。总之，这个框架将为智能系统的系统工程提供必要的基础。
发现论文，激发创造
  • 核心和外围作为通向工程普适智能的封闭系统原则

    本文介绍了工程智能化的方法，探究了其对环境的影响，给出了新的系统预设以及应对 AI 对于工程实践的挑战。

    Aug, 2022

  • 自主系统的形式方法

    给出关于应用形式方法于自治系统领域的当前最新研究状态的概述，包括系统的合成、不确定性的概念、采用形式方法的学习系统的行为界限、系统的监测以及形式方法在强化学习、不确定性、隐私、可解释性、规制和认证方面的未来发展方向。

    Nov, 2023

  • 决策的排序模型：学习、优化、复杂性和计算

    研究智能系统以经济合理性解释其行为，其中包括涉及函数或效用的优化原则，最近这一理论已将约束纳入进来，即在满足某些信息处理约束的同时最大化效用。研究智能系统已从热力学工具中受益，本篇论文的目标是澄清这些结果在研究智能系统中的适用性，并改善对排序结构的分类和对能够允许这样的框架的要求的理解。

    Jun, 2024

  • 算法系统理论的探索

    传统上，数值算法被视为孤立的代码，但对于现代控制、学习或优化领域的许多计算方法而言，这一视角不适用。本文提出了对正在形成的 “算法系统理论” 的愿景，并主张将算法视为与其他算法、物理系统、人类或数据库交互的开放动力系统。同时，文章还调查了正在发展中的算法系统理论的各种实例，并概述了相关的建模、分析和设计挑战。

    Jan, 2024

  • 机器人与综合形式方法：必要性与机遇相遇

    机器人系统是多维实体，包括硬件和软件，与现实世界的相互作用密切相关，因此需要结合各种形式化方法来开发、验证和提供认证证据，而机器人学是一个理想的催化剂来推动集成形式方法研究的发展，使其朝着新的、令人兴奋的方向发展，并揭示大规模、动态、复杂系统的发展。

    May, 2018

  • 在线机器学习的系统理论方法

    机器学习在系统理论的视角下对在线学习的建模存在不完善之处，本文提出了一种基于系统设计的在线学习框架，包括在线学习的新定义和关键设计参数的识别，以及系统结构和系统行为的划分。同时，通过以医疗保健提供者欺诈检测为案例研究，将讨论与实际在线学习挑战相结合。

    Apr, 2024

  • 系统理论视角下的不确定性

    提出了一种系统论方法来处理自动驾驶中存在的不确定性威胁，通过对缺乏知识的根本原因进行的不确定性分类（包括触发模型、模型参数缺失和模型不完整性），将方法聚类为不确定性预防、不确定性消除、不确定性容忍和不确定性预测，与 Laprie 等人的分类方法类比。

    Mar, 2023

  • 计算系统中的信息流

    提出一种基于条件互信息的信息流定义方法，通过算法在计算系统的时间展开图中检测信息流，并满足信息路径存在的可靠属性。

    Feb, 2019

  • 复杂系统表示法的为什么、如何和何时

    本文基于领域非特定的语言，评估了复杂系统分析流程的每个步骤，包括系统和数据的收集、数学形式主义的不同用途和与其相关的计算方法，讨论了依赖性如何产生及其如何改变结果解释或整个分析流程，并通过两个真实世界的例子说明了研究问题、所选数学表示形式和研究对象选择对结果的影响。

    Jun, 2020

  • 矩截断方法 —— 简述

    本文简要回顾了瞬时闭合方法在不同上下文中所发挥的作用，同时通过几何解释揭示了为何很难严格证明许多瞬时封闭方法的近似，尽管它们在实践中非常有效。

    May, 2015