机器故障的二元分类竞赛数据集
相关教程：https://blog.csdn.net/qq_37400312/article/details/131344455
数据来源：https://www.kaggle.com/competitions/playground-series-s3e17/data
数据介绍
训练.csv - 训练数据集; 是（二进制）目标（为了与原始数据集的顺序保持一致，它不在最后一列位置）Machine failure
测试.csv - 测试数据集;您的目标是预测概率Machine failure
sample_submission.csv - 正确格式的示例提交文件
machine failure.csv数据，来源于机器故障预测训练的深度学习模型生成的。特征分布与原始分布接近，但不完全相同。使用原始数据集作为本次竞赛的一部分，既可以探索差异，也可以了解在训练中合并原始数据集是否可以提高模型性能。 数据来源：https://www.kaggle.com/datasets/dineshmanikanta/machine-failure-predictions
OSATE在eclipse的开发环境上的运行空间配置
OSATE在eclipse的开发环境上的运行空间配置
osate中Analyze Fault Impact工具使用的样例
osate中Analyze Fault Impact工具使用的样例
osate插件样例：生成模型评审报告
test1为aadl项目
OsateFeature2、OsatePlugin2、OsateSite2为eclipse开发项目
Osate插件源码，统计给定组件和组件类别（即进程、线程）的数量源代码
Osate插件源码，统计给定组件和组件类别（即进程、线程）的数量源代码
Eclipse开发的Osate插件项目入门样例
Eclipse开发的Osate插件项目入门样例
osate2项目源文件，内含osate2所必要的功能和样例
osate2项目源文件，傲寒osate2所必要的功能和样例
Continuous Safety Risk Evaluation by Example，持续安全风险评估的实例
该项目为aadl项目，基于osate平台，说明了对具有低临界部件的飞机的连续定量安全风险评估，该部件会影响飞机的整体安全。内含项目官方pdf介绍，适合aadl初学者。
aadl实现ARP4761系统
本项目为aadl实现ARP4761系统，是osate自带的样例，关于样例更多介绍参考https://blog.csdn.net/qq_37400312/article/details/122311471
aadl开发工具osate2-2.10.0-vfinal-win32.win32.x86_64安装包
osate2.10.0安装包，官网下载地址：https://osate-build.sei.cmu.edu/download/osate/stable/2.10.0/products/osate2-2.10.0-vfinal-win32.win32.x86_64.zip
osate2-04578e89970395cb988667fc3d2dd0f76b67b1b5.zip
这是开源AADL工具环境(OSATE)项目的源代码库。文件、安装和设置说明保存在OSATE.org。git地址：https://github.com/osate/osate2
AADL开发工具Osate官方样例
内含34个官方样例，下载地址：https://github.com/osate/examples
CarMaker的Python API文件
CarMaker自带的Python插件，内含7个样例，注意，xml内的%YoutPorject%请替换为CarMaker的工程文件的位置，不是Python项目的位置
TestManager自动测试实验
内含实验环境testManagerExperience和测试脚本testManagerExperience.ts，用CarMaker打开testManagerExperience，在TestManager界面打开testManagerExperience.ts，即可进行不同速度的车辆自动测试。实验文章：https://blog.csdn.net/qq_37400312/article/details/121716751
CarMaker实现行人路过人行道和横穿马路，自动驾驶车辆避让实验
在双向四车道上，行人穿过车道，自动驾驶的车辆进行避让，实验教程：https://blog.csdn.net/qq_37400312/article/details/121386232
CarMaker与Simulink联合仿真样例
CarMaker与Simulink联合仿真的一个很简单的样例，部分数据在模块里可以直接观测到，也可以修改车辆接受的数据，教程地址：https://blog.csdn.net/qq_37400312/article/details/121321743
CarMaker实现斑马线上行人过马路和路人突然冲向马路
CarMaker实现斑马线上行人过马路和路人突然冲向马路
T-road_Traffic
在T形路口体验CarMaker自带的IPGDriver自动驾驶功能的效果，教程地址：https://blog.csdn.net/qq_37400312/article/details/121316859
CarMaker实现搭建一个封闭道路
通过CarMaker实现搭建一个封闭道路，让小车在道路上循环运行999秒，适合初学者，教程地址：https://blog.csdn.net/qq_37400312/article/details/121182269
CarMaker的用户指导手册UsersGuide
CarMaker10.2的用户指导手册UsersGuide，英文版
CarMaker的自带样例TestRun.rar
CarMaker的自带样例TestRun，里面有Examples、ExamplesMM、ExamplesTM三个文件夹，Examples里面是可以直接运行的项目样例
CarMaker软件的wlicinfo.exe
CarMaker软件用于获取本机Operating system、Host-PC name、MAC-address的工具
BusCreator和BusSelector的简单实验
在simulink上进行BusCreator和BusSelector的简单实验
S-Funciton的一个简单实验
S-Funciton的一个简单实验，通过S-Funciton Builder控件创建的S-Funciton，实现梯形曲线规划功能。
z3-4.8.10-x64-win.zip
z3约束求解器4.8.10版本，win64位
关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases
华师大——信息安全——《密码学原理与实践》冯登国——部分作业求解源码
本人华师大研究生，曾鹏老师开设了密码学课程，期末作业基本都是课后作业，开卷考试，为应付考试，用python编写了这么一堆代码，解决各种密码问题，有些网上搜的，有些自己写的，主要是：移位密码、代换密码、仿射密码、维吉尼亚密码、希尔密码、RSA密码、Rabin、ELGammal等密码的加密解密、求密钥、求各种值都有。
nuXmv-2.0.0-win64.tar.gz
nuXmv是一种新的符号模型检查器，用于分析同步有限状态和有限状态系统。
nuXmv扩展NuSMV沿着两个主要方向:
对于有限状态的情况，nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。
对于无限状态的情况，nuXmv具有基于SMT的验证技术，通过与数学5。
查看的完整列表特征由nuXmv提供，或者看看用户手册。
nuXmv目前以二进制形式获得许可，用于非商业或学术目的。
z3-4.8.9-x64-win.zip
z3约束求解器4.8.9版本，win64位
关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases
z3-4.8.4（微软的一款开源约束求解器）Win64
Z3 是一个微软出品的开源约束求解器，功能十分强大，尤其是运用于逆向的时候，进行约束求解十分快速。
文件内包含z3的lib和include文件
利用IDEA搭建SpringBoot+Mybatis，实现注册登录功能，适合初学者
利用SpringBoot+Mybatis+Maven+Mysql实现了简单的中注册登录功能
文件内包含数据库文件
项目创建参考文章为：https://blog.csdn.net/weixin_42685022/article/details/82215893
项目与文章有少许改动
通过IDEA创建的SpringMVC框架，实现了基本的响应查找和mysql查找操作，适合初学者
c3pO链接地址池
Maven导包
数据库账号、密码、地址、表名记得去jdbc.properties里面改，数据库就一张User表，一行数据
不要小瞧只有35KB，正常使用的，我把输出tarGet和out删掉了，不然一堆包要很大的
通过IDEA创建的SSH框架，实现了基本的查找和插入操作，适合初学者
本项目是通过IDEA创建的SSH框架，适合初学者使用，本项目的创建过程详见文章：https://blog.csdn.net/sunxiaoju/article/details/81007709
IDEA入门创建Hibernate实例
该项目为通过IDEA使用Hibernate框架，详细制作过程见文章：https://blog.csdn.net/qq_37400312/article/details/105027562
数据库默认并不是本地数据库，所以运行的时候记得去hibernate.cfg.xml改为所用的数据库地址及账号密码
m3u8视频下载合并工具
m3u8视频下载合并工具，只需输入m3u8视频地址即可自动下载并合并文件，方便，实用，无需其他操作，快速将视频合并为一个完整的mp4视频
exe4j工具64位
exe4j是一个帮助你集成Java应用程序到Windows操作环境的java可执行文件生成工具，这是64位的
64位1.8的jre包
内含jre1.8.0_181版本的jre包，64位，注意只有jre，没有jdk哦
RSS订阅
5084
7
