注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 并发加权mu-演算的一致性内插

  2. 并发加权mu－演算(concurrent weighted mu－calculus， CWC)是对 Kim． G． Larsen 所提出的并发加权逻辑的强有力的扩 充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。本文对 CWC 进行了研究，给出了 CWC 的语法 并阐述了 CWC 的标记加权转移语义。 μ －演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树 自动机与 CWC 之间的联系，构建了一种特定的用于 CWC 的轮替树自动机模型。一致性内插定理

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：528384
    • 提供者：weixin_38717896

  1. 情境演算中的策略表示与推理

  2. 情境演算中的策略表示与推理

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：401408
    • 提供者：weixin_38589316

  1. 基于非线性反演算法的二维穿墙成像

  2. 基于非线性反演算法的二维穿墙成像

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：656384
    • 提供者：weixin_38551046

  1. lambda-calculus：可在桌面和wasm上运行的lambda演算解释器-源码

  2. Lambda微积分是一种简单的计算模型，唯一的数据类型是带有一个参数并返回一个结果的函数。 尽管它很简单，但是它是图灵完备的。 有关它的更多信息，请参见， 或许多其他来源。 这是一个用于实验lambda演算的小项目。 它不打算在生产中有用或功能完整。 它的语法也与标准lambda演算（'a-> a'而不是'λa。a'）略有不同，因为我不喜欢lambda字符的标准替代形式。 有两个界面：和命令行版本。 要运行命令行版本，请运行cargo run 。 要运行在线版本，请单击上面的链接，或安

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：25600
    • 提供者：weixin_42134168

  1. 近场强度分布对线性相位反演算法复原效果的影响

  2. 利用数值仿真的方法详细的分析了近场强度分布对线性相位反演算法复原效果的影响。对近场强度分布分别为倾斜、环形和高斯随机型的情况下的复原结果与光强均匀时的复原结果进行对比，结果表明像倾斜型这种大部分为奇函数的近场强度分布对复原效果的影响比较恶劣；而像环形、随机型这样的偶函数或大部分为偶函数的近场强度分布对复原效果的影响则不是很大，特别是当空间频率越高时，对复原效果的影响越小。另外，对于大气湍流畸变得到的近场强度和相位，用线性相位反演算法复原进行了数值仿真，此情况下近场强度分布对复原结果有所影响，但影

  3. 所属分类：其它

    • 发布日期：2021-02-26
    • 文件大小：3145728
    • 提供者：weixin_38705873

  1. 结合Petri网和Pi演算的协同业务过程建模

  2. 结合Petri网和Pi演算的协同业务过程建模

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：2097152
    • 提供者：weixin_38731075

  1. 基于随机网络演算的无线多跳网延迟边界分析

  2. 基于随机网络演算的无线多跳网延迟边界分析

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：294912
    • 提供者：weixin_38571759

  1. 通用lambda：使用lambda演算的通用函数的实现-源码

  2. 通用λ 使用lambda演算实现通用函数 该代码演示了一个通用函数（以lambda微积分为基础，表示二进制函数对二进制字符串的部分排斥）。 与以前的尝试不同（例如二进制lambda演算），它使用lambda项与输入上的ℕ之间的双射以及规范化的lambda项与输出上的ℕ之间的双射，因此任何数字/字符串都可以视为输入或输出。 例如，这意味着询问字符串的Kolmogorov复杂度总是有意义的。 将来可能会将其吸收到更大的项目中。 目前，我决定将它放在这里。

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：3072
    • 提供者：weixin_42139460

  1. PyTransDatRO：ETRS89和Stereo70坐标参考系统演算之间的转换。 Python实现-源码

  2. PyTransDatRO ETRS89和Stereo70坐标参考系统演算之间的转换。 Python实现

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：2048
    • 提供者：weixin_42128315

  1. 关于应用随机网络演算

  2. 关于应用随机网络演算

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：697344
    • 提供者：weixin_38566318

  1. 应用Pi演算的开放方法

  2. 提出了开放双仿真的概念应用Pi演算，它扩展了π演算，以便有助于分析安全协议。 我们的概念基于标记的过渡系统，并需要知识在安全协议中建立知识模型的开放方法。 它显示出对标记的双相似性是合理的，并且是一致的关系。 作为运行示例，我们分析两个电子商务协议，即iKP和弗格森的电子现金协议，由Applied Pi和开放双相似性提供。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：168960
    • 提供者：weixin_38557530

  1. 网络演算的矩阵解释

  2. 网络演算的矩阵解释

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：474112
    • 提供者：weixin_38614391

  1. 一种非确定性的网络演算

  2. 一种非确定性的网络演算

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：1048576
    • 提供者：weixin_38610682

  1. 动态光散射反演算法的评价指标

  2. 动态光散射反演算法参数的微小变化会导致解的巨大偏差，因此需建立反演算法的评价指标，据此对反演结果进行评价，以提高测量的精度。从相关函数的拟合精度、粒度分布的稳定性、测量结果的重复性等三个方面对反演算法进行了分析，进而建立起了反演算法的三个评价指标。评价指标一：相关函数拟合的均方根（RMS）误差小于 0.001，误差的品质因子Q>0.7；评价指标二：粒度分布范数的相对标准偏差RN<5%；评价指标三：测量结果的相对标准差（RSD）小于 2%。实验结果表明：当反演算法满足三个评价指标时，其

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：3145728
    • 提供者：weixin_38631329

  1. 基于情景演算的Web服务语义描述

  2. Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：288768
    • 提供者：weixin_38638799

  1. 将测试方法应用于公平环境演算

  2. 将测试方法应用于公平环境演算

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：225280
    • 提供者：weixin_38638596

  1. 基于网络演算的交换式以太网实时特性分析

  2. 基于网络演算的交换式以太网实时特性分析

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：226304
    • 提供者：weixin_38724154

  1. 基于Pi演算的软件可信性度量方法

  2. 基于Pi演算的软件可信性度量方法

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：483328
    • 提供者：weixin_38732912

  1. λ演算-源码

  2. λ演算

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：14336
    • 提供者：weixin_42097450

  1. 基于跨层网络演算模型的无线网络移动性能分析

  2. 基于跨层网络演算模型的无线网络移动性能分析

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：890880
    • 提供者：weixin_38731199
« 1 2 3 4 5 67 8 9 10 11 ... 45 »