20210816-申万宏源（香港）-诺诚健华-9969.HK-奥布替尼商业化元年，Biopharma雏形初显.pdf
2021-08-18 13:28:17
1.93MB
2022届 高考 一轮复习 人教版 群落的结构与演替（82张）课件.ppt
2021-06-06 11:02:20
8.78MB
20210531-华创证券-诺诚健华~B-9969.HK-深度研究报告：奥布替尼有望同类最佳，MS适应症潜力巨大.pdf
2021-06-01 09:02:51
3.82MB
并发加权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
这个是多媒体作业，里面有三个内容，包括文本交互，按钮交互，有记忆题和选择题。比较简单，可以修改。
稍加可以用来应付作业，稍微看看就可以学习authorware
2019-12-21 21:53:20
1.04MB
1
用于Windows10硬替换雅黑和宋体的苹方字体。最新版系统可用。
2019-12-21 19:43:41
31.03MB
1