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

搜索资源列表

  1. 循环幺半群的证明和解释

  2. 在抽象代数此一数学分支中，幺半群是指一个带有可结合二元运算和单位元的代数结构。幺半群在许多的数学分支中都会出现。在几何学中，幺半群捉取了函数复合的概念；更确切地，此一概念是从范畴论中抽象出来的，之中的幺半群是个带有一个物件的范畴。幺半群也常被用来当做计算机科学的坚固代数基础；在此，变换幺半群和语法幺半群被用来描述有限状态自动机，而迹幺半群和历史幺半群则是做为进程演算和并行计算的基础。幺半群的研究中一些较重要的结论有克罗恩-罗德斯定理和星高问题。

  3. 所属分类：网络攻防

    • 发布日期：2009-09-14
    • 文件大小：89088
    • 提供者：hawei0704201

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

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

  3. 所属分类：网络攻防

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

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

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

  3. 所属分类：网络攻防

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

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

  3. 所属分类：网络攻防

  1. SQLServer2008技术内幕T-SQL查询包含源代码及附录A

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：数据库

    • 发布日期：2011-10-27
    • 文件大小：4194304
    • 提供者：oraclecd

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：10485760
    • 提供者：jiangdmdr

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询含源代码及附录

  2. 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案。 作为一本讲述T-SQL高级查询的专业图书，

  3. 所属分类：SQLServer

    • 发布日期：2012-02-16
    • 文件大小：4194304
    • 提供者：xiongliuzhao

  1. sql server 2008技术内幕t -sql查询

  2. 绝对的好书 如果你想sql能力很大的提升，这本书绝对的是你的首选，初学有点难度 目录 -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2

  3. 所属分类：SQLServer

    • 发布日期：2012-05-04
    • 文件大小：40894464
    • 提供者：wp442638266

  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part1

  2. 这是中文版来的，由于文件大小为60几MB，但本人的上传权限只有50MB，所以分开两部分压缩上传。解压前必须与part2一起解压。part2在本人的资源里可以找到。 温馨提示：我的资源里还有英文版和源码下载，中英文结合开，效果更好！ 目录： -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：40894464
    • 提供者：lxm850918

  1. SQL Server 2008 技术内幕 T-SQL查询(中文版)part2

  2. 这是中文版来的，由于文件大小为60几MB，但本人的上传权限只有50MB，所以分开两部分压缩上传。解压前必须与part1一起解压。part1在本人的资源里可以找到。 温馨提示：我的资源里还有英文版和源码下载，中英文结合开，效果更好！ 目录： -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：19922944
    • 提供者：lxm850918

  1. SQL Server 2008 技术内幕 T-SQL查询(英文版+源码+附录A）

  2. 这是英文版来的，包含源码和附录A 温馨提示：我的资源里还有中文版part1、part2。可以中英文结合一起看，效果更好！ 目录： 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2：WHERE阶段9 1.3.3 步骤3：GROUP BY阶段10 1.3.4 步骤4：HAVING阶段11 1.3.5

  3. 所属分类：SQLServer

    • 发布日期：2012-05-10
    • 文件大小：4194304
    • 提供者：lxm850918

  1. Microsoft SQL Server 2008技术内幕：T-SQL查询(第二卷)

  2. 注：分二卷，点击上传者查看第二卷地址。亲，本人纯手工添加了书签哦！！方便阅读 《Microsoft SQL Server 2008技术内幕：T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会

  3. 所属分类：SQLServer

    • 发布日期：2012-10-22
    • 文件大小：8388608
    • 提供者：lioubiya52

  1. Microsoft+SQL+Server+2008技术内幕：T-SQL查询_源代码及附录 中文版

  2. 标准中文版的pdf和实例数据脚本，分享给大家 《Microsoft SQL Server 2008技术内幕:T-SQL查询》全面深入地介绍了Microsoft SQL Server 2008中高级T-SQL查询、性能优化等方面的内容，以及SQL Server 2008新增加的一些特性。主要内容包括SQL的基础理论、查询优化、查询算法及复杂度，以及在使用子查询、表表达式、排名函数、数据聚合和透视转换、TOP和APPLY、数据修改、分区表、特殊数据结构等实际应用时会遇到的各种高级查询问题和解决方案

  3. 所属分类：SQLServer

    • 发布日期：2013-02-21
    • 文件大小：60817408
    • 提供者：jilezhenren

  1. sql2008技术内幕

  2. 绝对的好书 如果你想sql能力很大的提升，这本书绝对的是你的首选，初学有点难度 目录 -------------------------------------------------------------------------------- 序言 I 致谢III 前言 V 第1章 逻辑查询处理1 1.1 逻辑查询处理的各个阶段2 1.1.1 逻辑查询处理阶段简介2 1.2 客户/订单场景下的查询示例4 1.3 逻辑查询处理阶段详解5 1.3.1 步骤1：FROM阶段5 1.3.2 步骤2

  3. 所属分类：SQLServer

    • 发布日期：2013-03-05
    • 文件大小：40894464
    • 提供者：wzzjjboy

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4096
    • 提供者：yuxiaoyong

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。 《软件开发的形式化方法》可作为计算机、

  3. 所属分类：其它

    • 发布日期：2016-10-23
    • 文件大小：11534336
    • 提供者：zxcsms

  1. 实证软件工程

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过

  3. 所属分类：其它

    • 发布日期：2017-11-08
    • 文件大小：1048576
    • 提供者：jacobke

  1. Communication and Concurrency By Robin Milner, R. Milner

  2. 用形式化语言描述通信与并发，非常经典，用逻辑的思维分析计算机系统中的通信并发问题

  3. 所属分类：讲义

    • 发布日期：2017-12-12
    • 文件大小：16777216
    • 提供者：xh971801361

  1. 具有不匹配运算符的高阶π演算

  2. 主要研究带失配的高阶进程演算的公理化问题。首先，建立存在失配时高阶进程的开弱高阶互模拟理论，证明了等价关系，同余性等重要性质；其次，沿用线性的方法，制造得到带不匹配的有限进程上的公理系统；最后，基于对开弱高阶互模拟的刻画，证明了该公理系统的完备性定理。的有效算法的设计与实现，且为相关的应用建模工作提供了理论上的依据。

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：544768
    • 提供者：weixin_38747087

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

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

  3. 所属分类：其它

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