并发加权mu－演算(concurrent weighted mu－calculus， CWC)是对 Kim． G． Larsen 所提出的并发加权逻辑的强有力的扩 充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。本文对 CWC 进行了研究，给出了 CWC 的语法 并阐述了 CWC 的标记加权转移语义。 μ －演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树 自动机与 CWC 之间的联系，构建了一种特定的用于 CWC 的轮替树自动机模型。一致性内插定理是 Craig 内插定理的加 强和扩展，为了探究 CWC 上的一致性内插定理，根据 Andrew M． Pitts 提出的方法，利用互模拟量词寻找一致性插值。给出 了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和 CWC 上一致性内插定理之间的关系。在此过程中 利用 ω 展开(unravelling)，由 ω 展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在 CWC 上成立。
2021-03-02 13:05:18
516KB
1
偏移多边形
该算法的实现在进行了解释。
的绕组号算法经过改编，但请阅读“说明”部分。
该代码本身是由Andreas Monitzer 编写的。
它有什么作用？
它允许您收缩和扩展多边形，就像在其周围绘制轮廓一样。 由于它仅输出多边形，因此它还会通过参数来控制要添加的弧点数量，从而在尖角处添加弧。
依存关系
装箱机将0.4版的用作其数据类型。 原因是作者需要与集成，但是对于操作本身并不一定需要。
笔记
该算法中现在有一些幻数，包括绕组数计算。 最初，我使用epsilon()返回的值，但事实证明，这在很多情况下都失败了（其中一些作为测试用例包括在内）。 我不知道为什么会这样，这可能是不同规模的问题。 现在，这些值已针对普通屏幕上的像素比例进行了优化。
有什么可以帮忙的吗？
只需在此github项目上打开票证和/或请求请求即可。 确保您说明您想做什么以及原因。
执照
根据以下任一许可
A
2021-02-18 15:07:38
13KB
1