简单易学，适合新手自学。
2023-03-02 16:30:22
3KB
1
基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化
2023-02-27 21:34:44
328KB
1
内容概要：9198张苹果目标检测数据集，采用的yolo格式（txt），类别名是0，非常方便训练，数据属本人苦心整理而得，放到机子里就能跑。只有苹果一类数据，不过数据包含多种环境下的苹果，训练出来的模型效果较好。
2023-02-25 13:49:17
911.63MB
1
嵌入式系统的事件驱动型编程技术 第二版
关注核心概念
提供一个完整的立即可用的开源软件架构
包括了一个使用ARM Cortex-M3的详尽的实例。
2023-02-22 18:13:25
4.49MB
1
利用C#开发，调用wingdows自带的ping命令来检测网络终端连接是否正常，如果有异常发出语音告警信息，可以自行添加删除编辑需要检测的网络终端ip地址，
2023-02-21 21:10:48
474KB
1
摘要:VC/C++源码,系统相关,端口扫描
VC++扫描获取计算机端口的状态，可扫描单个端口，也可扫描多个端口，并显示扫描到的端口状态、端口号和对应的IP地址，并显示连接时的尝试次数，是一个IP地址扫描、端口扫描+端口状态检测的一个小程序，在VC6中可直接编译源码运行。
运行环境：Windows/Visual C/C++
2023-02-21 12:38:59
16KB
1