AI 中文总结
$\texttt{codesign-mcdp}$库用于解决单调协同设计问题，它基于Censi框架，实现了反链演算、多种设计问题类型、组合运算符等，还增加了不确定性、在线学习等功能，并配有示例。
AI 中文摘要
$\texttt{codesign-mcdp}$是一个Python库，用于在Censi（2015）框架中制定和解决单调协同设计问题（MCDP）。设计问题是两个偏序集（功能偏序集$F$和资源偏序集$R$）之间的关系。给定目标功能，该问题要求提供该功能所需的最小资源反链。设计问题在三个运算符（串联、并联、反馈）下组合，并且所得类在组合下是封闭的。该库实现了反链演算、六种原始设计问题类型、三个组合运算符、一个Kleene定点求解器和两个高级构建器。进一步的层增加了基于集合和随机的不确定性、组合在线学习以及时间、向量状态和在线协同设计，还有一组示例。
英文摘要
$\texttt{codesign-mcdp}$ is a Python library for formulating and solving $\textit{Monotone Co-Design Problems}$ (MCDPs) in the framework of Censi (2015). A design problem is a relation between two posets, a functionality poset $F$ and a resource poset $R$; given a target functionality, the problem asks for the antichain of minimal resources needed to deliver it. Design problems compose under three operators (series, parallel, feedback), and the resulting class is closed under composition. The library implements the antichain calculus, six primitive design-problem types, the three composition operators, a Kleene fixed-point solver, and two high-level builders (an MCDPL-style declarative builder and a modular $\texttt{System}$ builder). Further layers add set-based and stochastic uncertainty, compositional online learning, and temporal, vector-state, and online co-design, alongside a suite of worked examples.
Comments123 pages
