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

搜索资源列表

  1. Model Checking-Edmund M. Clarke-模型检查PDF

  2. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv
  3. 所属分类:其它

    • 发布日期:2009-06-23
    • 文件大小:10485760
    • 提供者:orzorz
  1. Safety of machinery-Electrical equipment of machines (EN)

  2. Safety of machinery-Electrical equipment of machines (EN) BS EN 60204-1:2006
  3. 所属分类:其它

    • 发布日期:2010-02-22
    • 文件大小:1048576
    • 提供者:zxpvbs
  1. Handbook Of Multisensor Data Fusion

  2. Multisensor data fusion is an emerging technology applied to Department of Defense (DoD) areas such as automated target recognition (ATR), identification-friend-foe-neutral (IFFN) recognition systems, battlefield surveillance, and guidance and contr
  3. 所属分类:其它

    • 发布日期:2010-12-06
    • 文件大小:8388608
    • 提供者:zjpjzzm
  1. Analysis of Electric Machinery and Drive Systems

  2. An updated approach to reference frame analysis of electric machines and drive systems Since the first edition of Analysis of Electric Machinery was published, the reference frame theory that was detailed in the book has become the universally accep
  3. 所属分类:其它

    • 发布日期:2015-06-05
    • 文件大小:69206016
    • 提供者:oak3524816
  1. Disk-Based.Algorithms.for.Big.Data

  2. Disk-Based Algorithms for Big Data is a product of recent advances in the areas of big data, data analytics, and the underlying file systems and data management algorithms used to support the storage and analysis of massive data collections. The boo
  3. 所属分类:互联网

    • 发布日期:2017-01-03
    • 文件大小:18874368
    • 提供者:ramissue
  1. model checking - E.M Clarke

  2. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv
  3. 所属分类:其它

    • 发布日期:2008-12-19
    • 文件大小:3145728
    • 提供者:yangdemon
  1. 软工导论考试题及答案

  2. 1. 说说你对”计算”和”算法”的理解. /* 计算不仅是数学的基础技能,而且是整个自然科学的工具。 */ 2. ACM和IEEE各代表什么意思?(中英文) ACM : Association for Computing Machinery a) 美国计算机学(协)会 b) IEEE: Institute of Electrical and Electronics Engineers美国电气与电子工程师协会(1963 - ) 。。。。。。 。。。。。。
  3. 所属分类:专业指导

    • 发布日期:2019-04-22
    • 文件大小:86016
    • 提供者:qq_35636581
  1. ABB DCS600 系统描述.pdf

  2. ABB DCS600 系统描述pdf,ABB DCS600 系统描述1 DCS 600 MultiDrive -the power converter state-of-the-art technology 心 Flexible design ☆ user-friendly ABB's long years of experience with variable-speed Dc Unit range drives, plus use of the latest state-of-the-art
  3. 所属分类:其它

    • 发布日期:2019-11-01
    • 文件大小:1048576
    • 提供者:weixin_38743602
  1. 欧陆SSD590调速器中心卷取功能手册(英文版).pdf

  2. 欧陆SSD590调速器中心卷取功能手册(英文版)pdf,欧陆SSD590调速器中心卷取功能手册(英文版)WARRANTY Eurotherm Drives warrants the goods against defects in design, materials and workmanship for the period of 12 months from the date of delivery on the terms detailed in Eurotherm Drives Stan
  3. 所属分类:其它

    • 发布日期:2019-10-31
    • 文件大小:2097152
    • 提供者:weixin_38744207
  1. 欧姆龙安全产品a22e_ds_e_15_3_csm1265.pdf

  2. 欧姆龙安全产品a22e_ds_e_15_3_csm1265pdf,A22E Lighted Models Op gratin g Push-lock turn-reset system Appearance Contact configuration Lightin Rated voltage Set Model Color of cap 40-dia head 6 VAC/DC A22ELM6A-01水 Push-lock Turm-reset without ValtageINC 12 VA
  3. 所属分类:其它

    • 发布日期:2019-10-31
    • 文件大小:4194304
    • 提供者:weixin_38743481
  1. 煤矿变频器说明书.pdf

  2. 煤矿变频器说明书pdf,煤矿变频器说明书REDUdrive 500 RD52 nhaltsyerzeichnis Inhaltsverzeichnis Safety Instructions for Electric Servo Drives and Controls 1.1 ntroduction 1.2 Explanations 1.3 Hazards due to inappropriate use.…… 1-2 1. 4 General information 1.5 Protectio
  3. 所属分类:其它

    • 发布日期:2019-10-15
    • 文件大小:3145728
    • 提供者:weixin_38743481
  1. 包锦 新产品展示(英文).pdf

  2. 包锦 新产品展示(英文)pdf,包锦 新产品展示(英文)BBULGIN NEW PRODUCTS PCB MOUNTED STANDARD BUCCANEER Panel mounted Puge: 25 ETHERNET BUCCANEER P品 rated in-lin or shied以ddr Un-shielded rs canneto Page: 48 PISTRIBUTION UNITS t4∞ et iec distrik Page 88 USB PCB MOUNTING USB
  3. 所属分类:其它

    • 发布日期:2019-10-13
    • 文件大小:23068672
    • 提供者:weixin_38743481
  1. 邦飞利——W系列蜗轮蜗杆减速电机手册.pdf.pdf

  2. 邦飞利——W系列蜗轮蜗杆减速电机手册.pdfpdf,邦飞利——W系列蜗轮蜗杆减速电机手册.pdfINSTALLATION USE AND SERVICE MANUAL 1.0-GENERAL INFORMATION 1.1- PURPOSE OF THE MANUAL “··“·“ 1.2-EQUIPMENT IDENTIFICATION 4, 1.3-GLOSSARY AND TERMINOLOGY 1. 4-REQUESTING TECHNICAL ASSISTANCE 1.5- MANUF
  3. 所属分类:其它

    • 发布日期:2019-10-13
    • 文件大小:1048576
    • 提供者:weixin_38744207
  1. VM06系列说明书英文版.pdf

  2. VM06系列说明书英文版pdf,控制系统和通用变频器的电源传统上都是直接由单相或三相电网供电的,然而,随着工业制造自动化程度的提高,变频器的应用越来越广,越来越多,为满足工业生产的需求,三垦推出直流供电变频器,直接用于直流电源供电,解决了直流供电场合无法使用通用变频器的困难。  采用直流供电避免了交流电的三相负载不平衡,将大大提高电源相对电网波动的稳健性。  直流供电变频器 VM06-DC系列 适用于直流供电场合   B模式:DC 510V~650V输入,22kW~90kW,过载120%/mi
  3. 所属分类:其它

    • 发布日期:2019-10-13
    • 文件大小:2097152
    • 提供者:weixin_38743737
  1. 柔性生产线监控网络设计.pdf

  2. 柔性生产线监控网络设计pdf,柔性生产线监控网络设计Abstracts 10-06-143 Defects and Solutions for Diecasting of bctwccn rcducc work safcty accident and mcchanical safc quality Zinc Alloys standardization was analyzed. Promote enterprise to improve LIANG Huan-cao (Wah Fung Met
  3. 所属分类:其它

    • 发布日期:2019-10-13
    • 文件大小:150528
    • 提供者:weixin_38743506
  1. Lumberg ASB接线盒产品目录(英文).pdf

  2. Lumberg ASB接线盒产品目录(英文)pdf,Lumberg ASB接线盒产品目录(英文)Systembeschreibung-Aktor-/Sensor-Verteiler System descr iption- Actuator/sensor distribution boxes Garantierte sicherheit Guaranteed reliabi Lumberg- Produkte dure Lumberg products are fully tested to e
  3. 所属分类:其它

    • 发布日期:2019-10-12
    • 文件大小:2097152
    • 提供者:weixin_38744153
  1. 汇川-IS620P系列伺服用户手册-英文版本号:V1.0.pdf

  2. 汇川-IS620P系列伺服用户手册-英文版本号:V1.0pdf,Preface IS620P User Manual ■ Product Checking Upon unpacking, check the items described in the following table Check Item Descr iption Whether the product that you The box contains the is620P servo drive and user manua
  3. 所属分类:其它

    • 发布日期:2019-10-12
    • 文件大小:6291456
    • 提供者:weixin_38743737
  1. OPC服务器在SCADA系统中的应用研究.pdf

  2. OPC服务器在SCADA系统中的应用研究pdf,OPC服务器在SCADA系统中的应用研究201011 Machinery Design Manufacture 61 1001-3997201011-0061-02 ANSYS 471023 471023 471023 Modal analysis of a certain type screw based on ANSYS software LI Fang-fany' JIA Ping NING Huai-ming Department of M
  3. 所属分类:其它

    • 发布日期:2019-10-09
    • 文件大小:244736
    • 提供者:weixin_38744207
  1. 基于PLC 的数控机床电气控制简析.pdf

  2. 基于PLC 的数控机床电气控制简析pdf,基于PLC 的数控机床电气控制简析2009 7 SIMOTION ET200 SIMOTION SIMOTION PL (07X) 158-159 2] 门 200835(2)12-14 [] PLC 2008(6:144-146 PLC 2008(1):94-96 [5] PLC [ 2005(9)23-25 Ana lys is of Electrical Control for Numerical Control Machinery Based o
  3. 所属分类:其它

    • 发布日期:2019-10-08
    • 文件大小:214016
    • 提供者:weixin_38744153
  1. 派特莱报警器EWH24E/EXN 手册.pdf

  2. 派特莱报警器EWH24E/EXN 手册pdf,派特莱为防爆产品预先录制了音乐与旋律的组合,适合2区和22区的应用。■ How Explosion Occurs Various Applications for Explosion-Proof, Explosion-Safe and Harsh Environments. Prerequisites for an explosion Mixture of oxygen and explosive substance develop explosiv
  3. 所属分类:其它

    • 发布日期:2019-09-14
    • 文件大小:1048576
    • 提供者:weixin_38743968
« 12 »