logic；hybrid

本专辑为您列举一些logic；hybrid方面的下载的内容,logic；hybrid等资源。把最新最全的logic；hybrid推荐给您,让您轻松找到相关应用信息,并提供logic；hybrid下载等功能。本站致力于为用户提供更好的下载体验，如未能找到logic；hybrid相关内容，可进行网站注册，如有最新logic；hybrid相关资源信息会推送给您。

阅读全文

logic；hybrid

: 论文研究-Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf 基于混合时序逻辑的混合系统的模型检测，张海宾，，这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测
评级：0 浏览量：77 收藏量：0 资源大小：604KB 上传时间：2019-08-19

: A hybrid evolutionary algorithm for multiobjective variation tolerant logic mapping on nanoscale ... A hybrid evolutionary algorithm for multiobjective variation tolerant logic mapping on nanoscale crossbar architectures
评级：0 浏览量：84 收藏量：0 资源大小：4.57MB 上传时间：2021-02-07

: 论文研究-Synthesis Algorithms of Models of Hybrid Systems.pdf 混合系统状态模型的合成算法，张海宾，，这篇文章中，我们主要介绍了一个混合系统的描述模型，基于这个模型，我们定义了一个混合系统的偏序关系并建立了混合系统的格。并
评级：0 浏览量：67 收藏量：0 资源大小：429KB 上传时间：2019-08-15

: Fuzzy Logic Control Based PMS for 10 KW Hybrid PV/FC Power System的并网：Fuzzy Logic Control Based ... 基于模糊逻辑控制的10KW混合光伏/FC电力系统并网电源管理系统
评级：0 浏览量：44 收藏量：0 资源大小：1.61MB 上传时间：2021-05-29

: res.rar_PV hybrid_PV/Wind/Battery_fuzzy battery matlab_pv wind a proposed fuzzy logic controller and fed to common D.C bus. The DC bus collects the total power from the wind and photovoltaic system and used to charge the battery as well as to supply the A.C loads ...
评级：0 浏览量：43 收藏量：0 资源大小：47KB 上传时间：2022-07-15

: tulip-control:时序逻辑规划工具箱郁金香这是TuLiP（时间逻辑计划工具箱）的源存储库。该项目的网站是安装在大多数情况下，满足以下条件： pip install . 也可以安装TuLiP： pip install tulip 这将安装最新版本以及必需的依赖项。...
评级：0 浏览量：65 收藏量：0 资源大小：705KB 上传时间：2021-04-30

: KeYmaeraX版本：KeYmaera X：混合系统的无公害战术定理证明（发行）混合系统的KeYmaera X定理证明自动驾驶汽车，自动驾驶机器人，现代飞机或机器人手术：我们越来越多地将生命委托给计算机，因此，除了最高的安全标准-数学正确性证明之外，我们应该一劳永逸。可以使用KeYmaera X证明...
评级：0 浏览量：92 收藏量：0 资源大小：55.26MB 上传时间：2021-02-05

: MIL-HDBK-217F-Notice2.pdf Monolithic Bipolar Digital and Linear Gate/Logic Array Devices Monolithic MOS Digital and Linear Gate/Logic Array Devices Monolithic Bipolar and MOS Digital Microprocessor Devices(Including ...
评级：0 浏览量：1096 收藏量：1 资源大小：5.78MB 上传时间：2020-08-15

: Machine.Learning.for.Model.Order.Reduction Chapter 5: Control-Inspired Machine Learning Algorithm: Fuzzy Logic Optimization Chapter 6: Brain-Inspired Machine Learning Algorithm: Neural Network Optimization Chapter 7: Comparisons, Hybrid ...
评级：0 浏览量：151 收藏量：0 资源大小：4.85MB 上传时间：2018-03-07

: Robust Cloud Integration with Azure Deploy hybrid applications that work and integrate on the cloud (using Logic Apps and BizTalk Server) Who This Book Is For This book is for Microsoft Enterprise developers, DevOps, and IT ...
评级：0 浏览量：67 收藏量：0 资源大小：44.92MB 上传时间：2017-03-27

: 镁光 DRAM HMC 规则带宽160GB/s Hybrid Memory Cube (HMC) is a single package containing four DRAM die and one logic die, all stacked together using through-silicon via (TSV) technology. Within each cube, memory is organized ...
评级：0 浏览量：385 收藏量：0 资源大小：1.37MB 上传时间：2018-09-29

: Automata Theory and its Applications complexity, logic, image processing, hybrid systems, networks, probability, programming, real time systems, topology. All the necessary notation and definitions used in this book are introduced in the...
评级：0 浏览量：185 收藏量：1 资源大小：8.04MB 上传时间：2018-04-21

: DigitalEyewear-7-0-50 These techniques are demonstrated in the AR/VR samples and discussed in Best practices for hybrid VR/AR experiences See: Using the Rotational Device Tracker Using the MixedRealityController in Unity...
评级：1 浏览量：75 收藏量：0 资源大小：5.63MB 上传时间：2018-03-20

: Practical.Foundations.for.Programming.Languages.2nd Chapter 23 Hybrid Typing Part X Subtyping Chapter 24 Structural Subtyping Chapter 25 Behavioral Typing Chapter Part XI Dynamic Dispatch Chapter 26 Classes and Methods Chapter 27 Inheritance Part XII...
评级：5 浏览量：183 收藏量：1 资源大小：28.77MB 上传时间：2016-04-27

: DESIGN FOR EMBEDDED IMAGE PROCESSING ON FPGAS 3.3.3 Hybrid 74 3.4 Summary 77 4 Design Process 79 4.1 Problem Specification 79 4.2 Algorithm Development 81 4.2.1 Algorithm Development Process 82 4.2.2 Algorithm Structure 83 4.2.3 FPGA Development ...
评级：0 浏览量：242 收藏量：1 资源大小：27.35MB 上传时间：2015-07-09

: Fuzzy Control Systems Chapter 5—Alternative Structures for Knowledge Representation in Fuzzy Logic Controllers 1 Introduction 2 Basic Structures of Fuzzy Logic Controller 3 Certainty Qualified Antecedents 4 ...
评级：5 浏览量：594 收藏量：0 资源大小：17.33MB 上传时间：2008-10-06

: Fuzzy Sets Engineering 6.7 Hybrid control structures 6.7.1 Switching between fuzzy controller and PID controller 6.7.2 Supervisory control 6.8 Concluding comments 6.9 References Chapter 7—Software development...
评级：5 浏览量：140 收藏量：0 资源大小：8.63MB 上传时间：2008-10-06

: 25 Years of Model Checking.History, Achievements, Perspectives.2008 bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking ...
评级：0 浏览量：122 收藏量：0 资源大小：13.03MB 上传时间：2009-03-07

: Computational Intelligence:An Introduction Logic neurons and fuzzy neural networks with feedback 7.3. Referential logic-based neurons 7.4. Learning in fuzzy neural networks 7.4.1. Learning policies for parametric learning in fuzzy ...
评级：5 浏览量：201 收藏量：10 资源大小：12.14MB 上传时间：2008-10-06

: 基于多机器人协作的未知环境下路径探索研究 3.2.1 Topological Map and Logic Localization…………………………………45 3.2.2 Critical Techniques to be Resolved in Topological Map Construction 47 3.3 The Method of Realtime Topological Map Building...
评级：0 浏览量：310 收藏量：1 资源大小：1.86MB 上传时间：2010-07-13

: Yunus, Muhammad - Creating A World Without Poverty; Social Business and the Future of Capitalism The Logic of Uncontrolled Growth How Much Consumption? Making Space for a New Set of Voices Solving the Growth Dilemma Notes 11 Putting Poverty in Museums A Better World Starts with Imagination...
评级：0 浏览量：214 收藏量：0 资源大小：4.64MB 上传时间：2010-10-15

: 程序语言设计原理习题解答 2.20 Markup/Programming Hybrid Languages 115 Summary • Bibliographic Notes • Review Questions •Problem Set 117 Chapter 3 Describing Syntax and Semantics 123 3.1 Introduction 124 3.2 The ...
评级：5 浏览量：465 收藏量：7 资源大小：59KB 上传时间：2009-07-10

: The Data Conversion Handbook Hybrid Data Converters of the 1970s .............................................................................................. 32 Modular Data Converters of the 1970s ................................
评级：5 浏览量：672 收藏量：10 资源大小：21.99MB 上传时间：2010-08-03

: Intelligent Adaptive Control: Industrial Applications 4.6 Hybrid Control 5 Hardware and Software for ANN 6 Modular Neural-Visual Servo Control System 6.1 Introduction 6.2 Modular Neural-Control System 6.2.1 Control Networks 6.2.2 Decision ...
评级：4 浏览量：275 收藏量：0 资源大小：13.04MB 上传时间：2008-10-06

: Fuzzy and Neuro-Fuzzy Systems in Medicine Chapter 1—Fuzzy Logic and Neuro-Fuzzy Systems in Medicine and Bio-Medical Engineering: A Historical Perspective 1. The First Period: The Infancy 2. Further Developments and Background 3. Neuro...
评级：0 浏览量：437 收藏量：3 资源大小：10.46MB 上传时间：2008-10-06

: Proxy Pattern Informatization Research Based On SaaS In order to realize logon security, we want to consider a hybrid approach that combines centralized and decentralized authentication system—using the centralized approach to authenticate and manage ...
评级：0 浏览量：139 收藏量：0 资源大小：32KB 上传时间：2009-07-18

: Springer Press- High performance Packet Switching Architectures(2007) 1.5.1 Multi-rack Hybrid Opto-electronic Switch Architecture ............. 27 1.5.2 Optical Fabrics .............................................................................28 1.5.3 Reduced Rate ...
评级：0 浏览量：133 收藏量：1 资源大小：3.19MB 上传时间：2009-05-07

: IFIX驱动列表_GOOD NUM 8/17/2000 Westinghouse Numa-Logic PC-700 OSG 3/29/2002 Landis & Staefa APOGEE System 600 I/O Driver OSV 6/13/2002 Descartes OmniServer OVH 8/16/2000 Omron SYSMAC Net (Res Driver) P2K 3/29/2002...
评级：3 浏览量：538 收藏量：0 资源大小：12KB 上传时间：2009-04-04

资源推荐

相关资源标签

Fuzzy Control System Intelligent Adaptive Application Computational Intelligence Neuro-Fuzzy Medicine Sets Engineering model checking 程序语言设计原理 Pattern; Multi-User Data 机器人 electric Muhammad ,Finance Investing FPGA 图像处理 Programming Languages Azure Machine Learning Order Reduction unity Automata DRAM hybrid systems；temporal Logic；synthesis checking；temporal logic；hybrid systems MIL-HDBK-217F scala proof mathematica tactics theorem-prover axiom ScalaScala 研究论文 python automata verification specification abstraction synthesis matlab