资源列表
[软件工程] FORMAL-VERIFICATION
说明:Symbolic logic generally supports the reasoning with propositions, i.e., with statements to be evaluated to true or false. Temporal logic is a special branch of symbolic logic focusing on propositions whose truth values depend on time.<research> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[行业发展研究] NC-SCM-V5.5-emailapprove
说明:用友NC的单据支持邮件审批的技术文档,适合版本为NC5系列-双语对照查看用友NC的单据支持邮件审批的技术文档,适合版本为NC5系列 Technical documentation UFIDA NC documents to support email approval, for the version of NC5 series<陈工> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[行业发展研究] -12864-
说明:名称含义12864是128*64点阵液晶模块的点阵数简称,业界约定俗成的简称。基本参数电气特性极限参数光学特性基本用途该点阵的屏显成本相对较低,适用于各类仪器-Name Meaning 12 864 128* 64 dot matrix LCD module number referred to, the industry convention for short. Basic parameters Electrical Characteristics Absolute Maximum opti<段才伟> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[软件工程] FFT-based-on-Altera-MegaCore
说明:本文介绍了一种采用Altera 公司的FFT MegaCore 实现快速傅里叶变换的方法,该方法非常简单,能进一层次简化开发的流程,缩短工程开发周期,节约成本,因此在实际工程中是一种很好的应用。-This paper describes a use of Altera s FFT MegaCore fast Fourier transform method, the method is very simple and can develop into a hierarchy to simplif<叶宗英> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[软件工程] Support-data-mining-algorithms
说明:支持数据挖掘算法选择的数据集特征提取研究,感觉不错的文档-Support data mining algorithms selected data sets feature extraction, feeling good documentation<lyp> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[软件工程] SPWM
说明:本文对SPWM波形生成的三种算法--对称规则采样法、不对称规则采样法和等效面积法分别加以分析,并通过高精度定点32位DSP微处理器TMS320F2812在线生成SPWM波形。-This paper SPWM wave generated three algorithms- symmetric regular sampling method, asymmetric regular sampling method and the equivalent area method were analyze<ostrich123> 在 2025-09-18 上传 | 大小:66kb | 下载:0
[行业发展研究] ModbusCommunication
说明:Matlab communication with a Programmable Logic Controller (PLC) over an RS-232 serial interface using ASCII Modbus protocol. This code was developed while working with an Eaton-ELC PLC device and was modified for general distribution. Standard Modbus<anish> 在 2025-09-18 上传 | 大小:66kb | 下载:0