论文研究Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf
用户评论
推荐下载
-
Coordinated Predictive Control of DFIG Based Wind Battery Hybrid Systems Using
Coordinated Predictive Control of DFIG-Based Wind-Battery Hybrid Systems: Using Non-Gaussian Wind Po
10 2021-02-21 -
A Novel Hybrid Systems Framework For Leader Following Consensus of Multi Agent S
A Novel Hybrid Systems Framework For Leader-Following Consensus of Multi-Agent Systems
16 2021-02-23 -
Low Complexity Joint Hybrid Precoding Algorithm for Millimeter Wave MIMO Systems
Millimeter wave (mmWave) communications have been considered as a promising candidate for next gener
14 2021-02-08 -
A hybrid artificial bee colony algorithm to solve multi objective hybrid flowsho
A hybrid artificial bee colony algorithm to solve multi-objective hybrid flowshop in cloud computing
12 2021-02-08 -
模型检测Model Checking
模型检测ModelChecking
45 2019-05-28 -
Bayes model checking源码
Bayes-model-checking
9 2021-04-17 -
论文研究Low Cost Data Gathering using Mobile Hybrid Sensor Networks.pdf
移动混合传感网络中低能耗数据采集，陶丹，唐少杰，本文在具有移动sink节点的混合传感器网络（实际原型GreenOrbs系统）中研究能量有效的数据采集问题。在此假设sink的移动不是任意的而是�
17 2020-02-19 -
论文研究2D Hybrid DFTDWT Application to Twodimensional Signal Processing.pdf
用于二维信号处理的二维混合DFT-DWT（离散傅立叶变换-离散小波变换），肖坦，肖扬，某些二维信号在不同的维（水平方向和垂直方向，或时间和空间）具有不同噪声分布和频率干扰分布.这就提出如何在此复杂的噪
25 2020-01-11 -
Handbook of Model Checking无水印原版pdf
Handbook of Model Checking 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以
142 2018-12-29 -
Hybrid Mobile Development with Ionic
Hybrid Mobile Development with Ionic by Gaurav Saini English | 27 Apr. 2017 | ASIN: B01NB154W2 | 242
53 2018-12-20
暂无评论