具有模糊时态的广义可能性线性时序逻辑的模型检测

相 关 资 源

• 具有模糊时态的广义可能性线性时序逻辑的模型检测免费下载

  资源简介：本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进...

  标签： 时序逻辑

  上传时间： 2021-06-19

  上传用户：sinxsoft

• 业务流程的形式化设计与验证免费下载

  资源简介：针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程...

  标签： 业务 流程 形式化 设计 验证限自动机 模型检测 线性时序逻辑

  上传时间： 2022-09-08

  上传用户：philis

• Verilog-HDL讲座第8讲用Verilog-HDL做CPLD设计-时序逻辑免费下载

  资源简介：该文档为Verilog-HDL讲座第8讲用Verilog-HDL做CPLD设计-时序逻辑讲解文档，是一份不错的参考资料，感兴趣的可以下载看看，，，，，，，，，，，，，，，，，

  标签： Verilog-hdl 时序逻辑

  上传时间： 2021-04-27

  上传用户：张奎华

• 基于图像矩阵的广义主分量分析免费下载

  资源简介：传统的主分量分析在处理图像识别问题时是基于向量的，且没有充分利用训练样本的类别信息.该文提出了一种直接基于图像矩阵的广义主分量分析方法，该方法能够提取包含在类平均图像中的鉴别信息，与传统的主分量分析相比，具有更强的鉴别力.在ORL标准人脸库上的...

  标签： 图像矩阵

  上传时间： 2021-04-16

  上传用户：Icecover_FR

• 参数未知耦合时滞不同复杂网络的广义同步免费下载

  资源简介：针对具有不同动力学节点和不同拓扑结构的两个复杂网络,研究其广义同步问题,并考虑具有耦合时滞和参数未知的情况.基于Babalat引理,并利用Lyapunov稳定性方法,获得广义同步判据,设计有效的自适应控制器,实现混沌系统参数已知和参数未知两种情况下的广义同步.仿...

  标签： 参数 未知 耦合 时滞 不同 复杂 网络 广义 同步 参数未知 自适应控制

  上传时间： 2022-09-28

  上传用户：knifels

• 期刊论文：流媒体技术在广义微格教学系统中的应用免费下载

  资源简介：·期刊论文：流媒体技术在广义微格教学系统中的应用

  标签： 期刊 技术在 广义

  上传时间： 2021-02-14

  上传用户：caoxi

• 低功耗高线性度VCO的设计与实现免费下载

  资源简介：电子设计工程 一种低功耗高线性度VCO的设计与实现

  标签： 低功耗 高线性度 VCO

  上传时间： 2021-09-19

  上传用户：王小奇

• 基于FPGA的O-RPR光接收单元的研制免费下载

  资源简介：随着Internet的普及，数据业务已经取代语音业务成为现代通信网络业务主流。由此带来的带宽瓶颈和流量不稳定越来越成为城域网的主要问题。弹性分组环技术(RPR)虽然是一种非常好的城域网解决方案，但它的光/电/光转换方式仍无法满足日益增长的带宽需要。光弹性...

  标签： O-RPR FPGA

  上传时间： 2021-01-12

  上传用户：AliceHuang

• 基于FPGA的机载高速数据记录系统的研究免费下载

  资源简介：本文将电路接口技术与硬件可编程技术相结合，提出了用可编程芯片来控制IDE硬盘进行高速数据记录，能够满足机载数据记录设备重量轻、容量大、速度快的要求。 论文对硬盘ATA接口标准进行了研究，对VHDL语言、现场可编程门阵列器件(FPGA)实现硬件电路的原理和方...

  标签： FPGA

  上传时间： 2021-01-17

  上传用户：tb546722_33

• 单片机模糊控制在电加热炉控制系统中的应用免费下载

  资源简介：该文档为单片机模糊控制在电加热炉控制系统中的应用讲解文档，是一份还算不错的参考文档，感兴趣的可以下载看看，，，，，，，，，，，，，，

  标签： 单片机

  上传时间： 2021-04-08

  上传用户：yu176

• 水声信号数据采集与处理的关键技术研究免费下载

  资源简介：本文以“某港口航道水深适时监测技术研究”项目为背景,针对港口水深测量系统中发射的水声信号,采用基于GPS时间同步技术、以MCU+FPGA为核心控制单元的设计方案,设计了一套适用于工程实际的水声信号数据采集与处理系统。该系统作为港口航道水深适时监测技术的重...

  标签： 数据采集

  上传时间： 2021-07-31

  上传用户：ljl342301

• 基于ARM的机构运动综合实验仪的研制免费下载

  资源简介：各种新技术的引入促进了仪器仪表领域的大力发展，但是其中的一个重要分支一科教仪器领域，由于诸多因素的限制，许多教学实验仪器还没有能跟上时代的节奏。本文即是在这样的背景下，利用与企业合作项目的机会，研制了一款高性价比的新型机构运动综合实验仪，以...

  标签： 实验仪

  上传时间： 2021-01-01

  上传用户：很宅的男

• 双参量偏振调制光纤传感器输出信号的分离与线性化免费下载

  资源简介：分析了用一个传感头实现双参量测量的偏振调制光纤传感器的工作原理,表明该传感器能同时输出两路信号,其中一路利用泡克耳斯效应测电压或利用光弹效应测压力,另一路利用旋光效应测温度。但其输出的两个测量参量之间

  标签： 参量 偏振

  上传时间： 2021-01-03

  上传用户：olivezhao

• 基于OFDM的PLC通信系统同步模块的FPGA实现免费下载

  资源简介：电力线通信技术利用分布广泛的低压电力线作为通信信道，实现internet高速互连，为用户提供互联网访问、视频点播等服务，形成包括电力在内的“四网合一”，目前正受到人们的关注。利用该技术，可以在居民区内建立宽带接入网，也可以利用遍布家庭各个房间的电源...

  标签： OFDM FPGA

  上传时间： 2021-02-03

  上传用户：simplord

• 消化道无线内窥镜便携式图像接收装置的硬件设计免费下载

  资源简介：· 摘要：  消化道无线内窥镜便携式图像接收装置是在TMS320C6211 DSP的基础上进行开发的.先对摄像胶囊发出的调制信号进行接收和解调,然后利用视频解码芯片SAA7114H的同步信号,经过时序逻辑变换,控制对断续视频信号的采集,并将其存储到CF卡中.此外,还利用高...

  标签： 无线 内窥镜

  上传时间： 2021-05-09

  上传用户：qq516333132

• 基于计算机视觉的内河航道智能监控系统的研究免费下载

  资源简介：水路智能交通系统是未来内河航运发展的必然趋势，对提高运输效率和保障运输安全有重要意义。计算机视觉技术的发展为水路交通系统提供了新的解决方法，利用视觉传感器可以获取范围广、信息量大的视频流，通过动态图像理解技术对视频流进行分析，可以获取当前交...

  标签： 计算机视觉

  上传时间： 2021-06-13

  上传用户：luokh

• 基于软件无线电的数字中频信号处理平台的设计免费下载

  资源简介：该文档为基于软件无线电的数字中频信号处理平台的设计总结文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

  标签： 软件无线电

  上传时间： 2021-09-17

  上传用户：295482511@qq.co

• 基于FPGA的浮点运算器IP核的设计与实现免费下载

  资源简介：该文档为基于FPGA的浮点运算器IP核的设计与实现简介文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………

  标签： fpga 运算器 ip核

  上传时间： 2021-09-26

  上传用户：s524

• 基于MSP430的综合选线保护系统的研究与开发免费下载

  资源简介：论文在对零序暂态能量、零序有功功率、零序直流选择性等漏电保护原理进行分析的基础上，进一步深入研究了零序直流选择性漏电保护原理，从理论上证明了其相比于其它保护原理的优点，并提出了一种将三者相结合的漏电综合选线保护方案。设计出了一种漏电综合选线...

  标签： msp430

  上传时间： 2022-01-02

  上传用户：cookiedog

• 基于信息家电的嵌入式实时操作系统微内核的研究与设计免费下载

  资源简介：本文着重研究了一种基于8051单片机的嵌入式实时操作系统(RTOS)微内核的设计方法。该系统以ATMEL公司生产的AT89C51单片机为硬件实现平台的微控制器。由于原先使用的前后台软件设计方法的限制，8位单片机在使用、设计方面面临着全新的挑战。为了将它的强大功能...

  标签： 嵌入式实时操作系统

  上传时间： 2022-04-13

  上传用户：Eric封

• 基于HFC网络的远程自动抄表系统的研究与开发免费下载

  资源简介：随着电力发展和电网改造的进行，目前市场对电力自动化管理系统的需求正进一步增大.但现有的系统或自动化程度不高或抗干扰能力差，不能满足实际使用的要求，因此迫切要求提高系统性能。      该课题的研究内容为HFC自动抄表系统，通过此系统来达到抄表的自...

  标签： hfc网络 远程自动抄表系统 单片机

  上传时间： 2022-09-01

  上传用户：薛靖文

• PLC与DCS的过程控制系统集成方案的设计与实施免费下载

  资源简介：针对这一要求，本文首先分析了当前过程控制系统的特点，根据需求方集成的要求选择出以S7-300PLC为主控器，在windows2000操作系统上以step7作为控制器编程软件，以Simatic Wincc6.0+SQL SERVER2000为上位机组态监控软件，来二次开发组态糖化部分自动控制系统，...

  标签： plc dcs 过程控制系统

  上传时间： 2022-09-12

  上传用户：chengbozhe

• 基于斩波技术的CMOS运算放大器失调电压的消除设计免费下载

  资源简介：实现传感器系统的高分辨率，要求其内部运算放大器具有低失调电压和低噪声的性能，为此介绍了一种可减少运算放大器的失调电压和低频噪声的斩波技术，并基于该技术进行温度传感器中CMOS运算放大电路失调电压的消除设计，最后通过SPICE 仿真分析来权衡电路各参数...

  标签： cmos 运算放大器 电压消除

  上传时间： 2022-09-16

  上传用户：bianpp

• 基于ARM和嵌入式Linux的志愿船自动测报仪的设计与开发免费下载

  资源简介：目前国产志愿船自动测报仪在实际运行过程中，普遍存在着系统功耗过大、性能较差、稳定性不好等问题，与国际同类产品相比有较大差距。如何解决这些问题并缩小这种差距是我国志愿船自动测报仪研发工作的主要方向。 本文以我国“志愿船自动测报仪政府采购计划”...

  标签： Linux

  上传时间： 2021-01-01

  上传用户：qq3199757600

• 基于ARM技术的嵌入式电能质量监测系统的研究免费下载

  资源简介：随着电力电子器件及其它非线性负荷在电网中大量的投入使用，致使电网的非线性、不稳定性和不对称性日趋严重。通过对电能质量进行在线实时监测、记录和分析，可以为改善电能质量、制定有关电能质量的治理措施以及确定治理装置的技术参数提供必要的依据。 嵌入...

  标签： 电能质量

  上传时间： 2021-01-04

  上传用户：cjr103

• 压缩机故障率的有效性估计和维修周期的确定免费下载

  资源简介：压缩机故障率的有效性估计和维修周期的确定

  标签： 压缩机 估计

  上传时间： 2021-01-11

  上传用户：kangminle

• 一种基于BerkeleyDB的嵌入式流媒体存储系统的设计免费下载

  资源简介：论述了一种以Berkeley DB 为数据库内核的嵌入式流媒体存储系统的设计方案，该系统以改进的dosFs 文件系统为底层物理存储引擎，通过数据库为应用程序提供数据存取接口，确保了数据的安全性

  标签： Berkeley dosFs 数据库

  上传时间： 2021-01-12

  上传用户：凹凸凹

• 基于FPGA的细胞图像识别预处理的硬件研究免费下载

  资源简介：本文提出了一种基于FPGA的细胞图像识别系统方案，该系统中FPGA处于核心地位，FPGA采用Altera公司的EP1K100QC208-1芯片，构造专用处理功能，实现彩色图像灰度化、灰度变换、中值滤波、低通滤波、灰度图像二值化等算法。这部分处理的数据量非常大，由于采用FPGA...

  标签： FPGA

  上传时间： 2021-01-21

  上传用户：1273816488@qq.c

• 基于OFDM的PLC通信系统均衡模块的FPGA实现免费下载

  资源简介：为了能够实现利用电力线接入互联网，使得电力线通信成为现实，在电力线通信系统中，必须采用抗干扰性能很强的调制方式。OFDM(正交频分复用)就是这样一种调制方式。但是因为电力线信道的特点，在系统中加入均衡器也是必须的。本论文就是论述在基于OFDM的低压电...

  标签： OFDM FPGA

  上传时间： 2021-02-02

  上传用户：emp447532834

• 基于小波变换的红外图像与可见光图像的融合，2级小波变换，多种融合规则免费下载

  资源简介：基于小波变换的红外图像与可见光图像的融合，2级小波变换，多种融合规则

  标签： 小波变换

  上传时间： 2021-02-16

  上传用户：ajunwj