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

搜索资源列表

  1. 基于π演算的Petri网和密码协议的形式化分析

  2. 上海交大博士论文 基于π演算的Petri网和密码协议的形式化分析

  3. 所属分类：其它

    • 发布日期：2009-05-19
    • 文件大小：3145728
    • 提供者：iamsxy999

  1. network calculate 网络演算

  2. 网络演算 全文 英文 原版 I AFirstCourseinNetworkCalculus 1 NetworkCalculus 2 ApplicationtotheInternet II MathematicalBackground 3 BasicMin-plusandMax-plusCalculus 4 Min-plusandMax-PlusSystemTheory III ASecondCourseinNetworkCalculus 5 OptimalMultimediaSmoothing

  3. 所属分类：网络基础

    • 发布日期：2009-06-18
    • 文件大小：2097152
    • 提供者：xfz120

  1. 经典算法-常见程序演算

  2. 「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。

  3. 所属分类：C

    • 发布日期：2009-08-07
    • 文件大小：696320
    • 提供者：lord001643

  1. pascal编写的洪水演算算法

  2. pascal编写的洪水演算算法,求圣维南方程

  3. 所属分类：其它

    • 发布日期：2009-08-31
    • 文件大小：10240
    • 提供者：basicbird817

  1. 常見程式演算筆記.CHM

  2. 一些常見的演算法程式，及資料結構等....

  3. 所属分类：其它

    • 发布日期：2009-09-29
    • 文件大小：716800
    • 提供者：nobel12

  1. 基于进程演算的安全协议形式化研究

  2. 国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法，基于定理证明的方法和基于进程演算的方法三种。其中，进程演算对于协议的描述几乎接近协议的本身含义，可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时，协议的每一个主体都被建模为一个单独的进程，这些子进程并发运行，并使用进程之间的共享通道进行同步通信，这样得到的并发系统将作为安全协议的基本模型。

  3. 所属分类：网络攻防

    • 发布日期：2009-11-19
    • 文件大小：535552
    • 提供者：oohurbert

  1. 命题公式演算系统的源代码

  2. 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。

  3. 所属分类：专业指导

    • 发布日期：2009-12-04
    • 文件大小：8192
    • 提供者：liusha001122

  1. C，C++ 数据结构课程设计之计算命题演算公式的真值

  2. 本程序用C语言编写，为数据结构课程设计中的计算命题演算公式的真值程序，编写时考虑周到，在满足题目的基本要求下，功能更为完善 PS：内附详解报告，解释流程，原理及用法

  3. 所属分类：C

    • 发布日期：2009-12-14
    • 文件大小：288768
    • 提供者：zxrlong

  1. 水库双辅助曲线调洪演算计算程序

  2. 本程序利用《工程水文学》双辅助曲线法和EXCELVBA编制而成。适应于水库无闸控制溢洪道调洪演算。操作简单，计算准确。

  3. 所属分类：VB

    • 发布日期：2009-12-20
    • 文件大小：251904
    • 提供者：pqlei4530

  1. μ演算模态图资料下载

  2. 谓词μ演算和模态图的语义一致性模态图是谓词m演算的一种有效的图形表示形式.证明了谓词m演算和模态图的语义一致性,详细讨论了谓词m演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从

  3. 所属分类：专业指导

    • 发布日期：2010-01-01
    • 文件大小：304128
    • 提供者：hdong_xu

  1. Pi-演算表达式到SMV程序代码的自动转换工具PiCal2NuSMV

  2. PiCal2NuSMV为本文研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。

  3. 所属分类：网络攻防

  1. 一阶逻辑等值演算与推理

  2. 一阶逻辑等值演算与推理一阶逻辑等值一阶逻辑等值演算与推理演算与推理

  3. 所属分类：专业指导

    • 发布日期：2010-01-07
    • 文件大小：986112
    • 提供者：yhgd2009

  1. Pi-演算模型到SMV程序代码的自动转换工具PiCal2NuSMV+例子

  2. PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。 文件中还包含使用PiCal2NuSMV的例子。

  3. 所属分类：网络攻防

  1. 遗传演算法运算例子.pdf

  2. 遗传演算法运算例子.pdf遗传演算法运算例子.pdf遗传演算法运算例子.pdf

  3. 所属分类：其它

    • 发布日期：2010-02-22
    • 文件大小：205824
    • 提供者：xgod_cn

  1. 与混合式遗传演算法应用於基因序.pdf

  2. 与混合式遗传演算法应用於基因序.pdf与混合式遗传演算法应用於基因序.pdf

  3. 所属分类：其它

    • 发布日期：2010-02-22
    • 文件大小：329728
    • 提供者：xgod_cn

  1. 良葛格-常見程式演算

  2. 良葛格-常見程式演算 PDF版

  3. 所属分类：专业指导

    • 发布日期：2007-12-14
    • 文件大小：1048576
    • 提供者：txwh

  1. 算法 常見程式演算 程式練習題目

  2. 「常見程式演算」主要收集一些常見的程式練習題目，您可以藉這些題目培養一些程式設計邏輯的感覺，對題目的分類只是個大概，方便索引而已，實作的部份是使用 C 及 Java。

  3. 所属分类：其它

    • 发布日期：2010-05-18
    • 文件大小：3145728
    • 提供者：wu52it

  1. 流演算研究及约束处理规则chr

  2. 主要上传些在研究学习中主要研究的课题，流演算理论及其资料。并附上相对于的源代码，之所以公开这些研究成果，主要是希望对后来研究人员有一定帮助。

  3. 所属分类：专业指导

    • 发布日期：2010-08-01
    • 文件大小：15728640
    • 提供者：ujswml

  1. 常见程式演算笔记.rar

  2. “常见程式演算”主要收集一些常见的程式练习题目，您可以藉这些题目培养一些程式设计逻辑的感觉，对题目的分类只是个大概，方便索引而已，实作的部份是使用 C 及 Java。

  3. 所属分类：C

    • 发布日期：2010-09-08
    • 文件大小：693248
    • 提供者：kaparo

  1. 惊人的3的即时演算程序

  2. 180k的即时演算程序！ 不多说了！你懂的！效果极其惊人！但是也有缺点！

  3. 所属分类：专业指导

    • 发布日期：2010-12-15
    • 文件大小：181248
    • 提供者：Dain02
« 12 3 4 5 6 7 8 9 10 ... 45 »