zxl506849

Modal Logic

模态逻辑学习资料

Upper and lower probabilities induced by a multivalued mapping

证据理论 (Theory of Evidence) 由 Dempster 首先提出。

texstudio3.0.4加一份不太简短的LATEX介绍

本资源包括texstudio最新版本3.0.4安装包和一份学习LaTeX学习资料

Micrium uC Probe

uC/Probe4.8.0.0免费版本,安装即可使用。uC/Probe是micrium公司推出的嵌入式系统调试工具。

STM32F405的uCOSIII模板

在STM32F405单片机上移植好的uCOSIII操作系统,已将SYSTICK、PendSV等异常的服务函数名称修改为STM32使用的名称,针对cortex-m4的浮点运算单元做了修改。此模板已编译通过并在实际项目中验证过可以使用

C与汇编语言实现流水灯

用C和汇编写的流水灯的程序，以此演示C语言调用汇编函数，其中LED亮灭的切换由汇编代码实现。

C语言AMI编码HDB3编译码Matlab绘制波形代码.rar

C语言实现AMI编码，HDB3编码及译码，MATLAB绘制波形。 运行hdb3_test.c，编/译码结果输出在test_out.txt文件里。 HDB3_Encoding.c和HDB3_Dncoding.c是用来编译成MATLAB的.mexw文件的。 hdb3_encoding_decoding.

uCOSIII及循环队列串口收发示例

结合uCOS-III和循环队列的串口数据收发方式，实时性好。接收方面，使用STM32的总线空闲中断判断数据包接收完毕并发布消息，使用状态机检查数据包正误。发送方面，采用中断的方式发送数据，避免程序死等数据发送完毕。

STM32F4uCOSIIIuCShell模板.rar

μC/Shell工程模板（亲测可用）。μC/Shell是一个独立的模块，能够解析和执行一个包含一个命令字符串及其参数进行。

STM32F4ADC采样FFT运算测试代码

模拟信号经过ADC采样后变成数字信号，数字信号可以进行FFT运算，在频域中更容易分析信号的特征。此代码用STM32F407的ADC-DMA模式采集4096个点的数据，利用DSP库里的FFT算法进行快速傅里叶变换，经实测可以使用。