机器故障的二元分类竞赛数据集
相关教程: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哦