搜索：自动机模型 - 虫虫下载站

matlab例程  水平集分割算法的C-V模型

水平集分割算法的C-V模型，matlab源代码

https://www.eeworm.com/dl/665/218367.html

下载: 131

查看: 1034

编译器/解释器  本源码可以用来对确定化的有限自动机进行化简

本源码可以用来对确定化的有限自动机进行化简

https://www.eeworm.com/dl/628/218383.html

下载: 176

查看: 1062

数学计算  着是一个用VB来实现的灰色模型GM(1,1)的程序

着是一个用VB来实现的灰色模型GM(1,1)的程序，很简单的大家来

https://www.eeworm.com/dl/641/218607.html

下载: 158

查看: 1064

*行业应用  用PB实现的交互式自定义模型生成工具,能够用户自定义模型

用PB实现的交互式自定义模型生成工具,能够用户自定义模型，保存模型，运行模型，修改模型

https://www.eeworm.com/dl/631/218997.html

下载: 192

查看: 1028

其他  排队论仿真与计算程序包括各种排队模型的设计仿真与计算测试程序内容是很难的程序

排队论仿真与计算程序包括各种排队模型的设计仿真与计算测试程序内容是很难的程序

https://www.eeworm.com/dl/534/219071.html

下载: 121

查看: 1146

其他  模型机综合设计——带进位运算指令的实现1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试

模型机综合设计——带进位运算指令的实现1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。

https://www.eeworm.com/dl/534/219128.html

下载: 95

查看: 1059

其他  模型机综合设计——不带进位的与或运算指令的实现 1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试

模型机综合设计——不带进位的与或运算指令的实现 1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。

https://www.eeworm.com/dl/534/219129.html

下载: 169

查看: 1111

其他  提出了Strand空间模型中证明安全协议的一个新思路

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的 ...

https://www.eeworm.com/dl/534/219222.html

下载: 120

查看: 1041

编译器/解释器  PEPA模型性能分析工具

PEPA模型性能分析工具，对模型进行遍历性检查并求解PEPA模型的稳态概率分布。

https://www.eeworm.com/dl/628/219575.html

下载: 158

查看: 1014

软件设计/软件工程  本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图

本文件夹中的Model目录下包含了系统的数据库模型图和系统建模图，分别使用PowerDesigner

https://www.eeworm.com/dl/684/219732.html

下载: 143

查看: 1047

搜索结果

按分类筛选