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

搜索资源列表

  1. Z语言的实时扩展及应用

  2. 在本文，我们归纳了Z实时扩展，提出了分类标准，一类是被称为集成的扩 展方法，它基于形式化说明语言z和其它形式化方法的集成，在这里由其它形式 化方法提供表示动态行为的结构；另～类称之为非集成的扩展方法则只使用z的 语义，而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说 明，完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法

  3. 所属分类：IT管理

    • 发布日期：2012-10-09
    • 文件大小：2097152
    • 提供者：xmqs0503

  1. Unix编程艺术

  2. 本书主要介绍了Unix系统领域中的设计和开发哲学、思想文化体系、原则与经验，由公认的Unix编程大师、开源运动领袖人物之一Eric S. Raymond倾力多年写作而成。包括Unix设计者在内的多位领域专家也为本书贡献了宝贵的内容。本书内容涉及社群文化、软件开发设计与实现，覆盖面广、内容深邃，完全展现了作者极其深厚的经验积累和领域智慧。 序 xxv Part I 1 第1章 哲学 3 1.1 文化？什么文化 3 1.2 Unix的生命力 4 1.3 反对学习Unix文化的理由 5 1.4 Un

  3. 所属分类：Unix

    • 发布日期：2015-01-02
    • 文件大小：29360128
    • 提供者：zengzhenxig

  1. SIEMENS SITRANS F C科里奥利质量流量计产品样本.pdf

  2. SIEMENS SITRANS F C科里奥利质量流量计产品样本pdf,SIEMENS SITRANS F C科里奥利质量流量计产品样本质量流量计 SITRANS FC MASSELO科里奥利质量流量计系统信息 介绍 特性 更好的灵活性 产品系列全面 ·统一的传感器接口,使所有变送器可以即插即用 使用同样的变送器和传感器,可以实现一体式或分体式安装 易于调试 所有 MASSELO科里奧利流量计都配有一个 SENSORPROM存储芯 片,标定数据和变送器的设定值会一直存储在芯片里。 在调试时,无需

  3. 所属分类：其它

    • 发布日期：2019-10-31
    • 文件大小：5242880
    • 提供者：weixin_38743506

  1. Coolmay EX2N/DX2N系列PLC用户手册.pdf

  2. Coolmay EX2N/DX2N系列PLC用户手册pdf,Coolmay EX2N/DX2N系列PLC用户手册EX2N/DX2N系列PLC和文本PLC一体机用户手册 安套注意事项 关于产品操作的基本说明 在使用本产品之前,请仔细阅读相关手册,同时在非常注意安仝的前提下,正确进行操作。 下面的内容只针对EX2NDX2N系列产品 注意 ●请勿将电溟线与通讯电缆捆缚在一起或靠得太近,应保持10cm以上距离。 凊不要随意拆卸一体机或改装接线。否则会引起故障、误动作、损失、火灾。 当产品发出异味或异常声

  3. 所属分类：其它

    • 发布日期：2019-10-13
    • 文件大小：1048576
    • 提供者：weixin_38743737

  1. Renishaw XL-80激光干涉仪系统介绍文档.pdf

  2. Renishaw XL-80激光干涉仪系统介绍文档pdf,Renishaw XL-80激光干涉仪系统介绍文档XL系统组件 该新型系统的基础组件是一个轻型激光头(XL-80 和一个独立的补偿单元系统(XC-80 测量光学镜组 XL-80 USB 温度传感器 USB XC-80 XL-80激光系统 XL-80激光系统可以产生极其稳定的激光 光束,采用的波长可溯源至国家和国际标准 激光稳频精度为1年内±0.05ppm,1小时内 ⅩL80和XC80可经由USB直接与计算机连接,无 0.02ppm。这种优

  3. 所属分类：其它

    • 发布日期：2019-10-12
    • 文件大小：1048576
    • 提供者：weixin_38743481

  1. 富士电机多功能型变频器FRENIC-MEGALite系列样本.pdf

  2. 富士电机多功能型变频器FRENIC-MEGALite系列样本pdf,本资料是关于富士电机高性能多功能型变频器FRENIC-MEGALite系列样本，更多详细内容请点击下载！FRENID MEGA LiiE ■广泛的用途 简单操作维护保养支持的提高 防止物品滑落的功能 具有利于速度指令工作的功能 搭载UsB接口实现Pc加载器简易信息管理!(选配件)型号:TPE1U 在上下撇运等过程中,提高了制动信号 将脉冲列翰入功能作为标准配置 提高现场作业性能 ●在生产现场,从操作面板上的US日接口可直接向计算

  3. 所属分类：其它

    • 发布日期：2019-09-13
    • 文件大小：2097152
    • 提供者：weixin_38743602

  1. 软件形式规格说明语言-Z

  2. 1. 什么是形式化方法？ 2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。） 3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？ 第2章 1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句） 什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。） 什么是命

  3. 所属分类：外包

    • 发布日期：2020-06-21
    • 文件大小：14680064
    • 提供者：weixin_43441064