[其他小程序] 判断两命题公式是否蕴含

说明：本程序可实现：判断两个输入的命题公式是否蕴含(This document can determine whether or not the two propositional formulas contain)
<mlnnf518 > 在 2025-06-21 上传 | 大小：2kb | 下载：0

[其他小程序] 变声器

说明：通过ADC采样获得语音信号，存储在SRAM中，进行频谱搬移实现变声，用DAC输出(Through ADC sampling to obtain the voice signal, stored in the SRAM, frequency shift to achieve sound, DAC output)
<dddsss > 在 2025-06-21 上传 | 大小：5.35mb | 下载：0

[其他小程序] mysin

说明：本程序代码包含读入dat文件，以及存储数据为dat文件的函数，便于读者理解dat文件的读取(This program code contains read into the dat file, as well as storage data for the dat file function)
<mlnnf518 > 在 2025-06-21 上传 | 大小：111kb | 下载：0

[其他小程序] Duffing-Van Der Pol

说明：非线性数值模拟 杜芬范德波尔方程 相图 分岔图 谱分析 庞加莱截面(Nonlinear numerical simulation, Duffen Van Boer equation, phase diagram, bifurcation, spectral analysis, Poincare cross section)
<chshxiao > 在 2025-06-21 上传 | 大小：1kb | 下载：1

[绘图程序] circuiw_virtuwl

说明：使用CPascal汇编写的bmp图形旋转,缩放的程序 不错的源码(Written using CPascal assembly BMP graphics rotation, scaling the program source code)
<苏玄婷0 > 在 2025-06-21 上传 | 大小：145kb | 下载：0

[Internet/网络编程] diting_java

说明：一个看视频的网页设计,能在线观看，留言，发弹幕等.(A video page design, can watch online, message, send a barrage and so on)
<嘘嘘嘘xx > 在 2025-06-21 上传 | 大小：7.65mb | 下载：0

[Windows编程] Snake

说明：使用windowsAPI实现贪吃蛇小游戏(A snake game finished by C.)
<左左左一 > 在 2025-06-21 上传 | 大小：19.63mb | 下载：0

[图片显示浏览] vbrz24

说明：为编程初学者设计的一个小型图像处理软件 很好的(Programming for beginners of a small image processing software is very good)
<檀雨钊987 > 在 2025-06-21 上传 | 大小：61kb | 下载：0

[游戏] lolskintool

说明：League of Legends 模型、骨骼、动画、导出工具(League of Legends model, bones, animation, export tool)
<shaen > 在 2025-06-21 上传 | 大小：4.76mb | 下载：0

[Linux/Unix编程] sdram

说明：sdram设置程序，主要是申嵌视频源码sdram修改后的sdram设置方法。包含led.c,Makefile,head.S。(sdram set up programs)
<朱金龙 > 在 2025-06-21 上传 | 大小：1kb | 下载：0

[其他小程序] 小波分解+MSE熵+特征提取

说明：通过小波四层分解，获取脑电信号的四个波形，之后运用多变量多尺度熵计算综合MMSE，为脑电信号识别做基础(After four layers of wavelet decomposition, four waveforms of EEG signals are acquired, and then the MMSE is calculated by using multivariable and multi-scale entropy, which is the basis of EEG reco
<WAQ > 在 2025-06-21 上传 | 大小：5.23mb | 下载：1

[绘图程序] agtkibutelibrariesattribute

说明：使用Win32中的API库的图形函数,绘制一个简单的具有透明属性的动画,(Using Win32 API in the libraries of graphics functions to draw, a simple animation with transparent attribute,)
<田慧0123 > 在 2025-06-21 上传 | 大小：315kb | 下载：0