演算工具

本专辑为您列举一些演算工具方面的下载的内容,演算工具等资源。把最新最全的演算工具推荐给您,让您轻松找到相关应用信息,并提供演算工具下载等功能。本站致力于为用户提供更好的下载体验，如未能找到演算工具相关内容，可进行网站注册，如有最新演算工具相关资源信息会推送给您。

阅读全文

演算工具

: 计划演算工具v1.4.6 计划演算工具pk10计划演算工具v1.4.6
评级：0 浏览量：150 收藏量：1 资源大小：197KB 上传时间：2014-04-25

: pk1演算工具 pk1演算工具
评级：0 浏览量：109 收藏量：1 资源大小：989KB 上传时间：2012-12-16

: pi演算工具，mwb， pi演算的验证工具，用于操作和分析移动并发系统的自动化pi演算，使用函数式语言sml构建。软件环境为windows2000。MWB 99版。
评级：5 浏览量：296 收藏量：0 资源大小：5.55MB 上传时间：2009-01-09

: 随机网络演算SNC.pptx 随机网络演算，网络性能分析工具网络基本性能分析、流量控制、节点的调度、缓存、延迟的定量估计确定性网络演算理论：P{服务质量不比预定目标差}=1 随机性网络演算理论：P{服务质量比预定目标差}≤ε
评级：0 浏览量：467 收藏量：0 资源大小：814KB 上传时间：2020-09-21

: reduck:无类型λ演算的交互式工具一种可以在 lambda 演算中逐步找到项的(β-nf) 的工具。它基本上是一种抽象函数式编程语言的解释器，它显示了评估过程中的每个计算步骤。评估策略是call by name ，即它执行函数中的参数的替换（β-规则）而不评估...
评级：0 浏览量：115 收藏量：0 资源大小：12KB 上传时间：2021-07-13

: lunarflow:λ演算初学者使用直观的可视化工具学习lambda演算的工具。这仍处于超级早期，所以也许启动此仓库并在几个月后回来：D 尝试。该项目尚处于初期阶段，因此链接可能会导致空白页。设置克隆仓库跑步： pnpm install开发...
评级：0 浏览量：37 收藏量：0 资源大小：142KB 上传时间：2021-05-09

: 省份证号码验证工具源码一款用C#写的身份证号码校验工具的源码…
评级：2 浏览量：109 收藏量：0 资源大小：131KB 上传时间：2012-03-30

: 演算纸（Calculator）一个条状的计算器。现有的计算器往往做的很炫、很复杂，但其实我们在进行绘图、统计分析等工作时，计算只是一件随手进行的...一个Delphi下开发的小工具，实在很简单，所以Win98、WinXP、Win7、Win8都可以无碍运行……
评级：0 浏览量：712 收藏量：0 资源大小：182KB 上传时间：2012-11-05

: tenscalc:使用符号张量演算进行非线性优化的Matlab工具箱 TensCalc Matlab工具箱提供了执行非线性约束优化的环境。要优化的变量可以是任意维度（张量）的多维数组，并且使用类似于Matlab的公式指定成本函数和不等式约束。内点方法用于数值优化，它使用自动计算符号化的...
评级：0 浏览量：94 收藏量：0 资源大小：1.71MB 上传时间：2021-04-02

: 基于应用π演算的可信平台模块的安全性形式化分析演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对应安全...
评级：0 浏览量：91 收藏量：0 资源大小：495KB 上传时间：2021-02-21

: 板式吊耳验算小工具程序板式吊耳设计软件，非Excel版本可比拟的，直观快捷的参数化输入设计。是广大机械设计人员梦寐以求的设计软件。
评级：0 浏览量：1787 收藏量：0 资源大小：48KB 上传时间：2020-12-05

: RSATool-RSA工具 RSA工具，可以实现RSA原理的演算、63bit内的long整数分解、RSA共模攻击、与RSA相关的编码转换！是CTF的助攻神器！
评级：0 浏览量：1956 收藏量：3 资源大小：33KB 上传时间：2018-11-30

: Pi-演算表达式到SMV程序代码的自动转换工具PiCal2NuSMV PiCal2NuSMV为本文研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式...
评级：5 浏览量：158 收藏量：0 资源大小：44KB 上传时间：2010-01-05

: 演算派生梯度下降数据科学介绍000 如您所知，我们进入了对衍生工具的讨论，以确定沿着成本曲线移动的步骤的大小和方向。我们首先在单个变量函数中使用导数，以查看成本曲线的输出相对于回归线变量之一的变化是如何变化的。然后，我们了解了偏导数，...
评级：0 浏览量：52 收藏量：0 资源大小：262KB 上传时间：2021-02-23

: 论文研究-基于关系演算的Java模式识别.pdf 分析了面向对象类与对象间的关系，在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系；讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具，并以该工具为基础做实验对一些...
评级：0 浏览量：111 收藏量：0 资源大小：724KB 上传时间：2019-07-22

: purescript-purview:基于增量Lambda演算的UI库范围基于增量式lambda演算的概念验证UI库。动机正如我之前所声称的，。在，我尝试通过使用类型强制DOM... 这里的方法是提供一个可以用来定义各种API的非标准工具箱。提供了示例API供参考。有关API的概述，请参见。
评级：0 浏览量：37 收藏量：0 资源大小：9KB 上传时间：2021-05-02

: click-and-collect:一个用于在线性逻辑的后续演算中构建证明的Web交互式工具，其后端用OCaml编写 C1ick⅋c⊗LLec⊥ 该存储库包含用于线性逻辑的在线交互式后续证明者的前端和后端代码。部署安装依赖项sudo apt-get install opamopam initsudo apt-get install libgdbm-dev libsqlite3-devopam depext ocsigen-...
评级：0 浏览量：60 收藏量：0 资源大小：195KB 上传时间：2021-04-06

: Trygve Haavelmo 和因果演算的出现-研究论文从这个框架中出现的数学工具现在使调查人员能够使用极其简单的例程来回答复杂的政策和反事实问题，有些只是通过检查模型的结构。通过示例说明了几个这样的问题，包括错误指定测试、非参数识别、中介分析和内省。 ...
评级：0 浏览量：78 收藏量：0 资源大小：520KB 上传时间：2021-06-10

: Pi-演算模型到SMV程序代码的自动转换工具PiCal2NuSMV+例子 PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式...
评级：5 浏览量：127 收藏量：0 资源大小：50KB 上传时间：2010-01-08

: 用Pi演算为业务过程建模的生命周期介绍了利用pi演算进行业务过程建模的框架及各个阶段使用的工具和技术。
评级：0 浏览量：121 收藏量：0 资源大小：273KB 上传时间：2011-05-23

: lambda_calculus_evaluator:一个简单的Lambda演算评估器除了基本的构建工具GCC和Make之外，还需要Lex和Yacc的实现来编译和运行此评估程序。 Flex和Bison在我的平台上使用。您可以在Makefile中将其更改为您自己的。生成并运行将Makefile中与构建相关的变量更改为您的...
评级：0 浏览量：79 收藏量：0 资源大小：22KB 上传时间：2021-05-01

: 数据结构算法演示工具数据结构算法演示工具演算：顺序表广义表动态查找链表二叉树内部查找栈图外部查找串存储管理系数矩阵静态查找
评级：0 浏览量：59 收藏量：0 资源大小：2.05MB 上传时间：2011-11-08

: 基于高阶时间π演算的构件式实时软件研究 (2009年) 作为对仃演算模型等价性分析的重要工具，在THO-π演算语义下提出了一种新的弱时间互模拟关系，并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明，该方法对实时软件
评级：0 浏览量：47 收藏量：0 资源大小：505KB 上传时间：2021-05-13

: 在软件定义的网络上启用确定性网络演算的QoS路由确定性网络演算（DNC）是一种网络分析工具，用于提供确定性延迟或带宽限制。该方案在Mininet中实现了基于DNC的端到端QoS路由算法，其中Open vSwitch为转发交换机，Ryu为远程控制器。输出端口运行“分层令牌桶”...
评级：0 浏览量：283 收藏量：0 资源大小：1.64MB 上传时间：2021-03-12

: Acoustics Toolbox 声学工具箱（双语版）.zip_coupleaj2_physics matlab_海洋声学_简 Acoustics Toolbox（声学工具箱）及其中的标准算例是 Michael B. Porter 近40 年来的心血凝聚，用 Fortran、Matlab 以及 Python 等科学计算语言演绎了海洋水声传播的射线追踪、简正波和谱积分等演算方法的大量标准算...
评级：5 浏览量：652 收藏量：4 资源大小：2.67MB 上传时间：2022-07-14

: Email系统特征交互问题的π-演算检测 (2011年) 采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析 Email系统中存在的特征交互问题。最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统。
评级：0 浏览量：51 收藏量：0 资源大小：603KB 上传时间：2021-06-12

: 分数演算的G-L数值算法中加权系数求解 (2007年) 从分数演算基本的G-L定义出发,引出G-L数值算法中加权系数――G-L加权系数与广义二项式系数之间的关系,进而通过T函数来求解G-L加权系数．...最后利用Matlab语言编程实现,为分数演算的数值计算提供方便、快捷的工具．
评级：0 浏览量：51 收藏量：0 资源大小：237KB 上传时间：2021-05-30

: watom_toolbox.rar_3D小波_mad6go_小波_小波工具箱其中包括1D,2D,3D的部分小波分解，以及演算例子，可以很好的帮助理解
评级：0 浏览量：33 收藏量：0 资源大小：1.35MB 上传时间：2022-07-15

: viximpv:VIX隐含波动率工具箱（MATLAB）该代码已经在MATLAB R2017a上进行了测试，但是它可以在支持符号演算的任何版本的MATLAB上运行。需要以下MATLAB工具箱来确保代码的完全兼容性：符号数学工具箱安装rndfittool 有两种方法可以在您的计算机上安装...
评级：0 浏览量：307 收藏量：1 资源大小：152KB 上传时间：2021-05-01

: calcflow：用于数学建模的虚拟现实工具！ Calcflow利用最佳的UI / UX理论，是用于矢量演算的直观VR接口，被科学家和工程师用于教育和商业应用。一些核心功能：参数化绘图实用程序旨在通过根据参数u和v定义（x，y，z）将2D空间中的点映射到3D。最新功能还...
评级：0 浏览量：288 收藏量：0 资源大小：270.88MB 上传时间：2021-02-06

: 论文研究-分布式制造调度体系结构的π演算形式化建模.pdf 提出基于一阶多元π-演算的体系结构形式化建模和分析方法，并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例，重点对各个实体的通信协调机制进行了形式化分析，并借助计算机工具进行了相应的死锁分析。...
评级：0 浏览量：98 收藏量：0 资源大小：693KB 上传时间：2019-09-07

: 论文研究-基于网络演算的交换式以太网实时特性分析.pdf 交换式以太网在网络控制系统中的应用关键问题是实时能力，为此采用一种新型实时性能分析工具——网络演算，对交换式以太网实时能力进行确定性的分析和研究。针对FIFO调度算法，对两级树型拓扑结构的交换式以太网系统...
评级：0 浏览量：107 收藏量：0 资源大小：707KB 上传时间：2019-09-11

: LambdaCalculator：自然语言语义学学生的教学工具 Lambda计算器是一种交互式的图形化教学工具，可以帮助正式语义学的学生根据Heim＆Kratzer（1998）风格的语义实践类型化的lambda演算和含义的推导。有关该项目的最新信息，。复制中该项目根据GNU GPL（最新版本）的...
评级：0 浏览量：93 收藏量：0 资源大小：81.73MB 上传时间：2021-02-11

: uSpeech：用于arduino的语音识别工具包基于简单演算的新算法直接插入analogRead()端口文献资料转到，您将找到所需的大多数文档。算法该库利用一种特殊的算法来启用语音检测。首先，通过将信号的绝对导数乘以固定点saclar，然后将其除以信号的绝对...
评级：0 浏览量：215 收藏量：0 资源大小：20KB 上传时间：2021-01-28

: discopy：用于计算单曲面类别的工具箱分布组合Python DisCoPy是用于计算单曲面类别的工具箱。产品特点图表和食谱图表是DisCoPy的核心数据结构，它们是通过以下语法生成的： diagram ::= Box ( name , dom = type , cod = type ) | diagram @ diagram | ...
评级：0 浏览量：132 收藏量：0 资源大小：4.72MB 上传时间：2021-02-03

: 大数据挖掘工具—遗传神经网络大数据挖掘工具之遗传神经网络根据历史数据，自学习、自建数据模型，做预测分析辅助决策，并擅于处理非线性数据（是指那些很难用数学公式演算的业务逻辑），它的适应性强，通过学习，程序能自己设计一套数据模型...
评级：0 浏览量：94 收藏量：0 资源大小：1.95MB 上传时间：2018-09-18

: AIDA64 Extreme Edition v6.00.5134 Beta.zip AIDA64 Extreme Edition是一款专业的测试软硬件系统信息的工具，软件采用32位的底层硬件扫描，可以支持3400多种主板，支持上千种显卡，支持对并口/串口/USB这些PNP设备的检测，支持对各式各样的处理器的侦测。...
评级：0 浏览量：95 收藏量：0 资源大小：48.79MB 上传时间：2019-07-14

: RabbitToolbox：:dress:‍:dress::dress:开源的动画渲染软件，提倡以简单，易用，精确度的物理演算以及渲染... 兔子工具箱 Rabbit Toolbox是一个开源的商业动画渲染软件，本项目进行许可。提倡以简单，易用，合理的物理演算以及渲染质量和性能。为喜爱二次元动画制作的爱好者降低视频制作门性能，用户可以轻松地迁移的项目到本...
评级：0 浏览量：286 收藏量：1 资源大小：399.6MB 上传时间：2021-02-04

: 张量分析及演算为初学者指路特别是有许多内容是作者20多年来应用张量分析工具，建立相关力学、数学模型，发展新的数学方法的研究成果。本书可以作为大学本科、研究生的教学用书或参考书，对于从事数学、力学、物理研究的教师和研究人员也具有...
评级：0 浏览量：336 收藏量：3 资源大小：6.43MB 上传时间：2009-07-01

: PyFloods:适用于洪水的Python模块 PyFloods 适用于洪水的Python模块
评级：0 浏览量：532 收藏量：3 资源大小：2.39MB 上传时间：2021-05-19

: 基于Mathematica铁路线型计算方程的验证与实现 (2012年) 建立用于0832和093X捣固车测量系统线型线路的计算数学模型,该...另一方面采用数学演算工具Mathematica,利用同一组数据对相应的计算方程进行演算,通过测试结果保证计算方法的正确性,为整套系统的正确性和精度提供保障.
评级：0 浏览量：34 收藏量：0 资源大小：910KB 上传时间：2021-06-14

: tranzit Z语言编写工具 Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在软件产业的一些大型项目中已经获得成功的应用，Z以带...
评级：5 浏览量：120 收藏量：0 资源大小：188KB 上传时间：2010-07-11

: 流媒体无线Mesh网中基于机会路由的网络编码 (2012年) 采用机会路由下无线Mesh网络的链路吞吐量模型，利用确定性网络演算工具，得到无线Mesh网络节点数据积压的上界以及端到端数据流延迟和抖动的上界；设计满足流媒体服务质量的确定性网络编码（DNC），提出ETC作为确定...
评级：0 浏览量：23 收藏量：0 资源大小：635KB 上传时间：2021-05-15

: LinearOpticalElementsGUI.m:用于计算通过线性偏振元件的光的偏振的 GUI 工具-matlab开发计算基于琼斯演算 ( http://en.wikipedia.org/wiki/Jones_calculus )。入射光必须是偏振的。极化作为矢量输入，可以是线性、圆形或椭圆形（参见代码前言中的示例）。这个 GUI 是在没有 GUIDE 的情况下构建的。
评级：0 浏览量：108 收藏量：0 资源大小：5KB 上传时间：2021-05-30

: 面向服务体系结构的连接器规约及其验证连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性，对其所涉及的连接独立于服务的设计进行规约也是一个关键...仔演算的等价理论及其形式化工具验证了文中方法的正确性。
评级：0 浏览量：80 收藏量：0 资源大小：655KB 上传时间：2021-04-18

: 论文研究-密码协议安全性证明系统解析器的设计与实现.pdf 为此提出一种基于进程演算的密码协议形式化描述模型，定义了描述密码协议安全性证明中攻击游戏的语法规则，并借助工具LEX和YACC，设计出解析器程序，将密码协议及其安全性的形式化描述解析为自动化安全性证明系统的...
评级：0 浏览量：101 收藏量：0 资源大小：270KB 上传时间：2019-07-22

: [中文]Aida64 extreme edition v5.99.49 4.CPU AES 是一种加密演算测试，用来反映CPU在进行AES加密演算法时的效能。这项测试主要针对一些网路伺服器，比如指令伺服器，它们会进行频繁的加解密操作，那么这项得分的高低就特别重要了。 5.CPU Hash 是一种采用...
评级：0 浏览量：109 收藏量：0 资源大小：50.26MB 上传时间：2019-02-06

: 等等，数字可以是任何单词，视频，游戏，模拟，publicKey，GPU优化，音乐工具，同时使用多个云的方式等。 7..127参数的通用功能是组合器，通用lambda和模式演算功能，旨在对GPU进行优化，并在p2p网络，图形，声音等中实现游戏低延迟同步，并具有最多由2 ^ 120个位组成的位串，在抽象数学中用10000 ... 000填充，直到下一...
评级：0 浏览量：81 收藏量：0 资源大小：91KB 上传时间：2021-03-05

: 论文研究-考虑位置失效的移动系统安全模型.pdf 以带位置扩展的移动进程π演算模型为形式化工具，在考虑位置失效的基础上，将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系，提出了考虑位置失效的一种新安全模型。针对实际安全需求，该模型...
评级：0 浏览量：52 收藏量：0 资源大小：221KB 上传时间：2019-07-22

资源推荐

相关资源标签

Pi-演算自动转换 Pi演算业务过程生命周期数据结构演示工具省份证号码源码 Calculator 计算器演算工具大数据挖掘 RSA CTF 系统检测温度监控硬件信息系统工具-硬件工具论文研究网络演算最小加卷积设计软件 arduino speech-recognition signal speech-processing ArduinoPython nlp category-theory quantum-computing diagrams gamedev webgl opengl graphics-engine cross-platform game-engine glfw modern-cpp emscripten graphics-programming opengl-es calculator mathematics virtual-reality engineer Java JupyterNotebook 研究论文 MATLAB OCaml 面向服务体系结构 HTML PureScript purescript lambda-calculus 工程技术论文自然科学 OpenEdgeABL matlab StandardML 小波工具箱