您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 通信顺序进程-周巢尘编

  2. 该书是由周巢尘院士所写,是一本关于csp的中文书籍。对于学习csp,是一本不错的参考书。
  3. 所属分类:网络攻防

    • 发布日期:2009-12-14
    • 文件大小:10485760
    • 提供者:panhaiyu
  1. modbus通信协议

  2. Modbus通信协议 摘 要:工业控制已从单机控制走向集中监控、集散控制,如今已进入网络时代,工业控制器连网也为网络管理提供了方便。Modbus就是工业控制器的网络协议中的一种。关键词:Modbus协议;串行通信;LRC校验;CRC校验;RS-232C 一、Modbus 协议简介 Modbus 协议是应用于电子控制器上的一种通用语言。通过此协议,控制器相互之间、控制器经由网络(例如以太网)和其它设备之间可以通信。它已经成为一通用工业标准。有了它,不同厂商生产的控制设备可以连成工业网络,进行集中
  3. 所属分类:网络基础

    • 发布日期:2010-08-06
    • 文件大小:3145728
    • 提供者:yttiger
  1. 一种支持实时软件时间建模的形式化方法

  2. 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。
  3. 所属分类:网络攻防

    • 发布日期:2011-01-28
    • 文件大小:269312
    • 提供者:mianyanglangzi
  1. 分布式系统设计-非常好文章

  2. 前 言显然,未来对计算速度、系统可靠性和成本实效性的要求必将促使发展另外的计算机模型来替代传统的冯·诺依曼结构的计算机。随着计算机网络的出现,一个新的梦想成为可能—分布式计算。当用户需要完成任何任务时,分布式计算提供对尽可能多的计算机处理能力和数据的透明访问,同时实现高性能与高可靠性的目标。在过去的10年里,人们对分布式计算系统的兴趣迅猛增加。分布式计算的主题是多种多样的,许多研究人员正在研究有关分布式硬件结构和分布式软件设计的各方面问题以开发利用潜在的并行性和容错性。分布式计算系统(或分布式
  3. 所属分类:系统集成

    • 发布日期:2011-05-05
    • 文件大小:2097152
    • 提供者:aolaog
  1. 软件开发的形式化方法

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

    • 发布日期:2012-02-06
    • 文件大小:10485760
    • 提供者:jiangdmdr
  1. 操作系统上机实验报告 进程同步和通信-生产者和消费者问题模拟

  2. 1. 目的: 调试、修改、运行模拟程序,通过形象化的状态显示,使学生理解进程的概念,了解同步和通信的过程,掌握进程通信和同步的机制,特别是利用缓冲区进行同步和通信的过程。通过补充新功能,使学生能灵活运用相关知识,培养创新能力。 2. 内容及要求: 1) 调试、运行模拟程序。 2) 发现并修改程序中不完善的地方。 3) 修改程序,使用随机数控制创建生产者和消费者的过程。 4) 在原来程序的基础上,加入缓冲区的写互斥控制功能,模拟多个进程存取一个公共缓冲区,当有进程正在写缓冲区时,其他要访问该缓冲
  3. 所属分类:专业指导

    • 发布日期:2012-07-18
    • 文件大小:313344
    • 提供者:pzy927
  1. 通信顺序进程中文版和英文原本

  2. 通信顺序进程中文版和英文原本,对照着看你懂的
  3. 所属分类:系统安全

    • 发布日期:2012-12-17
    • 文件大小:4194304
    • 提供者:sunkehui112300
  1. 周巢尘翻的通信顺序进程的原版

  2. 发现中文版翻译的哪里没理解啊的时候可以参考一下这本原版的。 不是扫描的
  3. 所属分类:其它

    • 发布日期:2013-01-17
    • 文件大小:1048576
    • 提供者:fwleiming
  1. android进程间通信测试代码

  2. 在android中实现非aidl进程间通信(编写顺序的parcel写入与读出)
  3. 所属分类:Android

    • 发布日期:2013-07-24
    • 文件大小:792576
    • 提供者:hacker686ok
  1. Pragmatic.Seven.Concurrency.Models.in.Seven.Weeks.When.Threads.Unravel

  2. 本书精心挑选了七个模型来介绍并发与并行。 线程与锁:线程与锁模型有很多众所周知的不足,但仍是其他模型的技术基础,也是很多并发软件开发的首选。 函数式编程:函数式编程日渐重要的原因之一,是其对并发编程和并行编程提供了良好的支持。函数式编程消除了可变状态,所以从根本上是线程安全的,而且易于并行执行。 Clojure之道——分离标识与状态:编程语言Clojure是一种指令式编程和函数式编程的混搭方案,在两种编程方式上取得了微妙的平衡来发挥两者的优势。 actor:actor模型是一种适用性很广的并发
  3. 所属分类:其它

    • 发布日期:2015-03-06
    • 文件大小:4194304
    • 提供者:wuyamonyx
  1. PAT——一种高性能软件验证工具

  2. 通信顺序进程(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。
  3. 所属分类:其它

    • 发布日期:2015-06-03
    • 文件大小:10485760
    • 提供者:anonymous_me
  1. 软件开发的形式化方法

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

    • 发布日期:2016-10-23
    • 文件大小:11534336
    • 提供者:zxcsms
  1. 通信顺序进程(CSP)英文版

  2. 本文档是CSP(Communicating Sequential Processes)通信顺序进程的英文文档,详细介绍了CSP相关内容。全书共有7个章节,分别为进程,并发,非确定性,通信,顺序进程,资源共享,讨论等。
  3. 所属分类:网络安全

    • 发布日期:2017-09-26
    • 文件大小:802816
    • 提供者:family19891114
  1. 实证软件工程

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

    • 发布日期:2017-11-08
    • 文件大小:1048576
    • 提供者:jacobke
  1. Go语言圣经

  2. 经典书籍。Go的语法接近C语言,但对于变量的声明有所不同。Go支持垃圾回收功能。Go的并行模型是以东尼·霍尔的通信顺序进程(CSP)为基础,采取类似模型的其他语言包括Occam和Limbo,但它也具有Pi运算的特征,比如通道传输。在1.8版本中开放插件(Plugin)的支持,这意味着现在能从Go中动态加载部分函数。
  3. 所属分类:其它

    • 发布日期:2018-07-24
    • 文件大小:5242880
    • 提供者:jason6law
  1. CSP 通信顺序进程

  2. 通信顺序进程 CSP中文版 原装Hoare,中文翻译版本,1990
  3. 所属分类:专业指导

    • 发布日期:2018-10-29
    • 文件大小:1048576
    • 提供者:weixin_42651204
  1. 通信与网络中的数据独立技术在CSP协议模型中的设计与实现

  2. 1996年,Lowe首先使用通信顺序进程CSP和模型检测技术分析NSPK(Needham-Schroeder Public Key)协议,并成功发现了协议中的一个中间人攻击行为。随后,Roscoe对CSP和FDR(Fallures-Divergence Refinenent)的组合做了进一步研究,认为CSP方法是形式分析安全协议的一条新途径。事实证明,CSP方法对于安全协议分析及发现安全协议攻击非常有效。但是类似FDR的模型检测通常受Nonce、Key等新鲜值大小的限制,而在实际执行中所需的数据
  3. 所属分类:其它

    • 发布日期:2020-11-18
    • 文件大小:244736
    • 提供者:weixin_38557757
  1. csp:在JavaScript中通信顺序过程-源码

  2. jfet97 / csp 在async/await和异步可迭代接口的基础上构建的用于通信顺序进程的库。 安装 该库需要async/await和for-await-of支持。 $ npm install --save jfet97/csp 文件 您可以在找到文档。 用法示例 下面是一个简单的用法示例,以标准的乒乓球示例为例。 const { Channel } = require ( 'jfet97/csp' ) ; const timeout = ms => new Promise
  3. 所属分类:其它

    • 发布日期:2021-03-16
    • 文件大小:239616
    • 提供者:weixin_42134769
  1. 物联网中安全通信协议的形式化分析

  2. 针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物
  3. 所属分类:其它

    • 发布日期:2021-03-02
    • 文件大小:686080
    • 提供者:weixin_38618315
  1. 基于CSP的进程行为取证方法研究

  2. 针对取证过程中所获取的进程异常行为, 提出进程行为事件重建犯罪过程的方法。该方法使用 CSP(通信顺序进程 )理论来形式化描述具有威胁乃至破坏性的进程操作及进程间的通信,根据系统保存的进程行为记录建立进程通信状态模型, 使用基于路径搜索的进程行为解释算法分析模型内所有可能的进程通信序列, 形成进程通信行为规则, 在排除不符合规则的通信序列的基础上, 找到能够形成合理证据链的通信序列。通过案例分析进行了证据的形式化及 CSP建模,给出了进程行为的具体分析解释和原型系统,验证该方法的可行性和有效性。
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:465920
    • 提供者:weixin_38704835
« 12 3 4 5 6 7 8 9 10 »