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

搜索资源列表

  1. 基于应用π演算的可信平台模块的安全性形式化分析

  2. 可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所存在的不足,从分析TPM和使用者的交互过程出发,使用应用π演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理

  3. 所属分类：其它

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

  1. 基于Pi演算的跨组织工作流建模研究

  2. 传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：803840
    • 提供者：weixin_38704922

  1. LambdaSki：滑雪转换器编译器的简单Lambda演算-源码

  2. LambdaSki 简单的Lambda微积分到Ski编译器。 这是一个简单的程序，可将lambda演算表达式转换为sk组合器表达式。 需要构建Haskell平台和Megaparsec。 输出格式 可选参数用于确定输出格式，其中“ f”确定将调用项放在哪里，“ x”确定将自变量放在哪里。 例子： f(x)发出类似于s(k)(k) afx发出类似于aaskk输出 也可以在第二个和第三个参数示例中指定术语“ s”和“ k”： f(k) ab发出类似于a(b)(b) 语言 该语言有5种类型的

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：6144
    • 提供者：weixin_42102713

  1. λ演算解释器-源码

  2. λ演算解释器 如所述的lambda演算的解释器 语法 ： ::= |(λ ) |( ) 例子： >> (lambda x x) λx. x >> (lambda x y) λx. y >> x x >> 5 5 >> ((lambda x 5) 3) 5 >> (((lambda x (lambd

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：4096
    • 提供者：weixin_42128963

  1. lambda-calculator：lambda演算解释器-源码

  2. lambda演算解释器 这是lambda演算解释器lc的代码。 lc会按正常顺序（从最左到最先）减少beta和eta。 lc将重命名绑定变量以防止捕获变量。 建筑 我没有做GNU风格的autoconf脚本。 我确实编写了相当严格的ANSI C（我希望是C89 / C90版本），并且可以在许多编译器和操作系统下进行编译。 要生成lc可执行文件： make gnu # should work on most linuxes that have devel environment m

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：88064
    • 提供者：weixin_42111465

  1. glc：球拍中的Lambda演算-源码

  2. λ演算 自述文字在这里。

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：10240
    • 提供者：weixin_42117037

  1. 颗粒粒径分布测量反演算法的改进

  2. 综合奇异值截断法、奇异值修正法、Tikhonov正则化思想及Chahine迭代算法, 提出一种改进的病态问题求解算法来测量颗粒系的粒径分布。结合Backus-Gilbert折中准则与奇异值最小原则确定了奇异截断值, 采用L曲线法确定了最优正则化参数, 并利用联合迭代反演法(SIRT)实现解的非负约束。模拟及实验结果表明, 该算法对单、双峰分布的测量误差均小于3%, 其抗噪性能、测量准确性、时效性及粒径测量范围相较其他反演算法都有明显优势。

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：7340032
    • 提供者：weixin_38556985

  1. 266229：シンプルな四则演算を楽しむPZL！-源码

  2. 266229 Zンプルな四则演算を楽しむPZL！

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：19922944
    • 提供者：weixin_42116585

  1. 演算-源码

  2. 演算

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：4096
    • 提供者：weixin_42134537

  1. 基于德拜理论的液柱参数彩虹反演算法研究

  2. 彩虹技术是一种可同时测量液柱折射率和粒径的实时、非接触方法。建立了定量描述彩虹信号的低频分量与德拜理论(p=2)模拟信号重合程度的目标函数，在此基础上提出一种基于德拜理论(p=2)的液柱参数彩虹技术反演算法。反演算法以经验公式的计算值为初始值，根据目标函数不断寻优获得优化结果，并通过米氏散射理论进一步优化得到反演结果。在折射率变化范围为1.32~1.56、半径变化范围为50~500 μm时，进行数值模拟和实验研究。结果表明，半径的相对误差在8%以内，折射率误差绝对值小于5×10-4，半径的测量下

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：78848
    • 提供者：weixin_38711008

  1. 演算：大谷州立大学MTH 201（演算）的材料-使用具有规格等级的翻转学习设计-源码

  2. 演算：大谷州立大学MTH 201（演算）的材料-使用具有规格等级的翻转学习设计

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：38797312
    • 提供者：weixin_42109732

  1. 水色要素垂直分布对其遥感反演算法精度的影响

  2. 基于辐射传输模型模拟得到叶绿素和悬浮颗粒物在不同垂直分布条件下的遥感反射率数据集，利用该数据集对现有叶绿素、悬浮颗粒物浓度和固有光学量模型进行检验，研究了垂直分布对遥感反演算法反演精度的影响。结果表明：在悬浮颗粒物垂直分布、叶绿素及其垂直分布的影响下，悬浮颗粒物波段比值模型高估的悬浮颗粒物浓度要大于单波段模型；叶绿素波段比值模型和三波段模型能够较好地降低由叶绿素垂直分布、悬浮颗粒物及其垂直分布引起的叶绿素浓度高估的程度。悬浮颗粒物和叶绿素及其垂直分布对固有光学量反演具有双重效应，悬浮颗粒物垂直分

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：5242880
    • 提供者：weixin_38500607

  1. RabbitToolbox：:dress:‍:dress::dress:开源的动画渲染软件，提倡以简单，易用，精确度的物理演算以及渲染质量和性能，为喜爱的二次元动画的用户降低视频制作门性能-源码

  2. 兔子工具箱 Rabbit Toolbox是一个开源的商业动画渲染软件，本项目进行许可。提倡以简单，易用，合理的物理演算以及渲染质量和性能。为喜爱二次元动画制作的爱好者降低视频制作门性能，用户可以轻松地迁移的项目到本软件中制作成视频，同时编码为各大门户网站视频网站支持的视频编码格式。 Rabbit以工具箱提供了一个现代化且功能强大的ECS框架，使该项目开发变得简单。系统以ECS的形式支持许多功能，例如：前向和逆向运动学的骨骼动画，实时渲染，尺寸照明渲染器，AI降噪，物理演算，布料演算，音频播放和

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：418381824
    • 提供者：weixin_42131424

  1. LambdaCalculusInterpreters：两种lambda演算的解释器：一种解释器，一种解释器，其类型为int，bool和pair。-源码

  2. LambdaCalculusInterpreters：两种lambda演算的解释器：一种解释器，一种解释器，其类型为int，bool和pair。

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：16384
    • 提供者：weixin_42116734

  1. 艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师-源码

  2. 艾尔莎（Elsa）：艾尔莎（Elsa）是Lambda演算评估师

  3. 所属分类：其它

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

  1. 联接语言：Haskell联接演算DSL-源码

  2. 联接语言：Haskell联接演算DSL

  3. 所属分类：其它

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

  1. mikrokosmos：（λ）教育性λ演算解释器-源码

  2. mikrokosmos：（λ）教育性λ演算解释器

  3. 所属分类：其它

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

  1. malc：进行lambda演算-源码

  2. malc-制作Lambda演算 关于 Malc是用于以任何支持编程语言实现无类型的指南和规范。 λ演算有时被称为世界上最小的编程语言。 它是一个完全由功能和功能应用组成的符号。 甚至“原始值”也表示为组合器，即没有全局变量的闭包。 作为函数式编程的基础，无类型的lambda演算易于学习，如果您真的想了解这种编程范例的基础，则值得学习。 该项目通过演示如何实现lambda演算，从而提供了对“值即函数”概念的一些见解，从而通过多种熟悉的编程语言展示了一种单独使用函数来计算（原则上）可计算的东西的方

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：27648
    • 提供者：weixin_42097819

  1. ZXCalculus.jl：Julia中ZX演算的实现-源码

  2. ZXCalculus.jl：Julia中ZX演算的实现

  3. 所属分类：其它

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

  1. Grift：渐进式lambda演算的编译器-源码

  2. Grift：渐进式lambda演算的编译器

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：2097152
    • 提供者：weixin_42121086
« 1 2 3 4 5 6 78 9 10 11 12 ... 45 »