[其他小程序] example-of-promela

说明：5 code examples / verification models in Promela for jSpin-5 code examples/verification models in Promela for jSpin-5 code examples/verification models in Promela for jSpin-5 code examples/verification models in Promela for jSpin
<David> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] nihe

说明：该代码是一个多项式拟合函数，可实现1~3次一元多项式拟合。-The code is a polynomial function, enabling one to three times a polynomial fitting.
<刘明> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] python-examples.tar

说明：其中给出了几个比较经典的Python代码例子，供使用者参考-Which gives a few more classic examples of Python code, for users' reference
<grath> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] HDB3

说明：通信原理，HDB3编码，实现在信道中更好的传输。-Communication Theory, HDB3 coding, to achieve better transmission in the channel
<merry wang> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] house

说明：这是一个近三百行的程序，主要用链表实现房屋中介系统，可以查找，删除，修改，添加等操作，并且有友好的人机界面-This is a line of nearly three hundred programs, mainly linked to achieve housing agency system, you can find, delete, modify, add, etc, and has a friendly interface
<madil> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] bistablePsyetem

说明：随机共振运用于弱信号检测，同时对于其中的频谱能够很好的分析。-Weak signal detection applied to stochastic resonance, while for the spectrum which can be a good analysis.
<沈清华> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] denoise_waverec-(2)

说明：计算损伤结构前后的响应，对已结构的分析具有很好的效果-After calculating the response of the structure damage, the structure analysis of a good effect
<沈清华> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] 22

说明：RSI通道很好用的指标，拿来做出场用很好，欢迎大家下载-RSI
<lide> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] ch

说明：简单的学生信息管理系统,主要功能有输入，输出，排序，插入，删除，统计-A simple student information management system
<chenhai> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] main

说明：读文件、写文件、链表实现多项式的加减乘，数据结构-Document reading, writing documents, list polynomial addition and subtraction, multiplication, and data structures
<M_K> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] tele

说明：用c++写的一个电话簿，没有图形界面，不过功能还是比较全的。-With c++ write a phonebook, no graphical interface, but function is still relatively wide.
<dingping> 在 2025-11-13 上传 | 大小：2kb | 下载：0

[其他小程序] STC_UART1-2_Send

说明：stc 单片机的串口1,2收发字符或者字符串-stc SCM serial 1,2 transceiver character or string
<wanshan> 在 2025-11-13 上传 | 大小：2kb | 下载：0