print_Hyon-CSDN博客

本章介绍了一款官方样例，样例主要基于错误树分析方法介绍了aadl在实践中的简单应用，对模型中的各种组成进行了讲解，并列举了四个场景，证明在安全风险分析中，加入较低设计保证水平（DAL）组件的重要性，将飞行员的角色包括在整个系统安全分析中，在整个产品生命周期内（包含飞机飞行的状态），进行安全风险分析。

2022-01-25 20:34:44 1386

原创【OSATE学习笔记】Error Model Annex介绍（内含样例）

本文对EMV2相关的部分名词进行枯燥的文字解释，同时用一系列样例辅助认识EMV2的各种语法，如error type,behavior,propagations,propagations,events,transitions,flows等。

2022-01-22 20:47:50 1159

原创【OSATE学习笔记】AADL 样例 ARP4761 介绍

本文介绍了ARP4761项目的基本内容和部分aadl

2022-01-08 16:02:27 1973

原创【OSATE学习笔记】AADL语法介绍（四）复合构建和通用构建详细介绍

本文介绍了复合构建system和通用构建abstract的约束和使用方法

2022-01-03 16:25:42 782 1

原创【OSATE学习笔记】AADL语法介绍（三）执行平台类构建详细介绍

本文介绍了执行平台类构建Processor、Virtual Processor、Memory、Bus、Virtual Bus、Device的使用方法和约束

2022-01-03 15:36:37 808

原创【OSATE学习笔记】AADL语法介绍（二）软件类构建详细介绍

本文主要介绍AADL软件类构建Process、Thread、Thread Group、Data、Subprogram、Subprogram Group的功能和基本用法。

2022-01-01 21:50:45 1210

原创【OSATE学习笔记】AADL语法介绍（一）组件的基本介绍

本文介绍了AADL语法组件的基本信息，同时推荐了一些学习教材。

2022-01-01 21:50:01 2488

原创【OSATE学习笔记】AADL Property 属性

本文介绍了属性的查看方法，4种属性值的类别，6种属性状态的用法。

2021-12-26 17:26:32 808 3

原创【OSATE学习笔记】新手入门

本文介绍了osate的基本用法：打开软件自带样例、官方更多样例、打开本地项目、实例化AADL文件、检查流延迟、根据AADL文件自动生成可视化的Diagram图、打开官方帮助文档，同时提供了下载地址

2021-12-26 17:25:31 1779 5

原创【CarMaker学习笔记】CarMaker Python API 接口使用方法

本章介绍了CarMaker Python API在PyCharm里面的运行方法，和运行过程中可能发生的错误以及解决办法。

2021-12-07 15:27:13 2657 2

原创【CarMaker学习笔记】Model Check 功能介绍

本文介绍了Model Check的使用方法，和每个模块的含义。这里的Model Check指车辆在相同实验下，不同外部情况下的结果对比，比如不同的风力角度下，总阻力系数随风力角度变化的趋势的对比。

2021-12-05 21:58:33 1747

原创【CarMaker学习笔记】Simulink内的子模块详细介绍

对CarMaker的上次模块进行了介绍，如模块的作用、变量的含义等，同时对数据字典进行了介绍，在模块中如何获取和修改数据字典内的值，从而对实验产生影响并分析车辆变化情况。

2021-12-04 19:51:20 3297

原创【CarMaker学习笔记】TestManager自动测试实验

本实验通过CarMaker的TestManager功能绕汽车不同期望速度进行实际速度的测量，并进行比较，主要讲述TestManager的参数修改、图表生成等基本用法和NValue等变量的介绍。

2021-12-04 19:44:49 2409

原创【CarMaker学习笔记】行人穿过人行道、横穿马路观察自动驾驶车辆避让实验

在双向四车道上，行人穿过车道，自动驾驶的车辆进行避让；本文主要介绍斑马线和行人的设置，其他内容比较粗略。

2021-11-17 22:01:57 1919 3

原创【CarMaker学习笔记】与Simulink联合仿真

CarMaker与Simulink联合仿真，部分数据在模块里可以直接观测到，也可以修改车辆接受的数据

2021-11-16 22:25:53 5043 4

原创【CarMaker学习笔记】T型路口多车运行实验

一次比较复杂的实验，通过Traffic模块创建多辆行驶中的汽车,学习单车道的绘制方法,学会使用IPGDriver，调整车辆在不同路线上运行

2021-11-14 19:15:03 2738 5

原创【Simulink+Prescan笔记】控件介绍

本文介绍了GOTO控件和From控件、S-Function Builder控件、BusCreator控件和BusSelector控件、Inport控件和Outport控件、Path Follower with Preview控件

2021-11-07 19:21:48 3097 1

原创【CarMaker学习笔记】手把手教你搭建一个闭环道路并运行车辆

通过CarMaker实现搭建一个封闭道路，让小车在道路上循环运行999秒，适合初学者，并介绍新手运行时，Could not start application (simulation backend):Can’t communicate with application, APO timeout (10.5s).报错提示的解决方法。

2021-11-07 15:54:40 4488

原创【CarMaker学习笔记】申请使用账号

详细介绍了我申请CarMaker这款汽车仿真软件试用证书的全过程

2021-11-06 17:23:56 3688 3

原创【Prescan笔记】跑一个自带的样例

第一次执行Prescan的样例过程

2021-10-27 19:55:25 603 8

原创【Matlab/Simulink笔记】入门练习——搭建一个弹跳球实验

Simulink进行弹跳球实验，获取小球弹跳过程中的高度和速度。

2021-10-17 18:02:37 3672 4

原创【Matlab/Simulink笔记】运行的第一个Simulink

Simulink运行一个简单的入门实例

2021-10-17 15:31:29 957

原创【系统分析与验证笔记】线性时态逻辑LTL和计算树逻辑CTL

本章讲解了LTL和CTL的基本知识点，包括他们的语法规则、语义以及各种性质，LTL是这门课的重点，深入了解了LTL之后，再学习CTL会轻松很多。

2021-04-06 15:14:48 5061 7

原创【系统分析与验证笔记】关于自动机的规范语言（Specification Language）

本章围绕有限字的自动机、无限字的自动机的基本概念，介绍了正则表达式、ω正则表达式、Buchi自动机等稀奇古怪的东西，并列举了要给NFA进行ω操作的例子

2021-03-23 13:35:49 635

原创【Kind2（基于SMT的自动模型检查器）学习笔记】进阶范例

本章为kind2范例，相对于基础范例，难度进行了加大，主要用kind2来解决简单的数学问题和交通灯转换的问题，交通灯转换问题较为复杂，讲解偏详细些，同时对部分交通灯规则进行了验证。

2021-02-04 14:19:23 312

原创【面向计算机的数理逻辑/软件理论基础笔记】面向CTL的模型检测

本章主要介绍了模型检测、标记算法、不动点，并且以面向CTL的模型检测为根据，编写了CTL模型检测算法的伪代码，最后简单介绍了一些状态爆炸问题。

2021-02-01 16:38:12 691

原创【面向计算机的数理逻辑/软件理论基础笔记】CTL*

本章介绍了CTL和LTL的区别，以及CTL*的优点、公式，并额外介绍了LTL中的过去算子。

2021-01-27 13:53:06 870

原创【python环境下Z3约束求解器学习笔记】基础语法

本文介绍了在python环境下，使用Z3约束求解器的基本方法，包含Z3的基本语义以及使用方法，并列举了实例进行检查的联系巩固。

2021-01-22 16:58:10 3209 2

原创【面向计算机的数理逻辑/软件理论基础笔记】一阶谓词逻辑系统的补充知识点：代换、自然演绎规则

代换定义：给定变元xxx、项ttt、公式A(x)A(x)A(x)，定义A(t)为用ttt代替AAA中的变量xxx的每个自由出现而得到的公式。有些教材用ϕ\phiϕ表示公式，用ϕ[t/x]\phi[t/x]ϕ[t/x]表示用ttt代换AAA中的变量xxx自然演绎规则相等的证明规则定义：任何项ttt必然和它本身相等规则表示：=i=i=it=t=i\frac{}{t=t}=it=t=i分母为空表示这个规则不需要任何前提条件，对于不需要前提条件的规则，我们称之为公理。范例：

2021-01-22 16:55:37 690

原创【Kind2（基于SMT的自动模型检查器）学习笔记】基础范例

本章通过一些简单的范例，来巩固kind2基本语法的使用，主要是pre、bool、->、or、if、--%MAIN;、--%PROPERTY OK;的使用

2021-01-22 16:53:59 274

2021年CRSS数据

2023-07-08

机器故障的二元分类竞赛数据集

相关教程：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

2023-06-22

OSATE在eclipse的开发环境上的运行空间配置

2022-10-22

osate中Analyze Fault Impact工具使用的样例

2022-08-06

osate插件样例：生成模型评审报告

test1为aadl项目 OsateFeature2、OsatePlugin2、OsateSite2为eclipse开发项目

2022-03-17

Osate插件源码，统计给定组件和组件类别（即进程、线程）的数量源代码

2022-03-14

内含在eclipse上进行OSATE插件开发进阶样例

jdk1.8 eclipse 2021-03

2022-03-13

Eclipse开发的Osate插件项目入门样例

2022-03-06

osate2项目源文件，内含osate2所必要的功能和样例

osate2项目源文件，傲寒osate2所必要的功能和样例

2022-03-06

Continuous Safety Risk Evaluation by Example，持续安全风险评估的实例

该项目为aadl项目，基于osate平台，说明了对具有低临界部件的飞机的连续定量安全风险评估，该部件会影响飞机的整体安全。内含项目官方pdf介绍，适合aadl初学者。

2022-01-25

aadl实现ARP4761系统

本项目为aadl实现ARP4761系统，是osate自带的样例，关于样例更多介绍参考https://blog.csdn.net/qq_37400312/article/details/122311471

2022-01-08

The Architecture Analysis & Design Language (AADL)

这是在卡耐基梅隆大学官网找到的架构分析与设计语言AADL的官方介绍

2021-12-28

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

2021-12-26

osate2-04578e89970395cb988667fc3d2dd0f76b67b1b5.zip

这是开源AADL工具环境(OSATE)项目的源代码库。文件、安装和设置说明保存在OSATE.org。git地址：https://github.com/osate/osate2

2021-12-26

AADL开发工具Osate官方样例

内含34个官方样例，下载地址：https://github.com/osate/examples

2021-12-25

CarMaker的Python API文件

CarMaker自带的Python插件，内含7个样例，注意，xml内的%YoutPorject%请替换为CarMaker的工程文件的位置，不是Python项目的位置

2021-12-07

TestManager自动测试实验

内含实验环境testManagerExperience和测试脚本testManagerExperience.ts，用CarMaker打开testManagerExperience，在TestManager界面打开testManagerExperience.ts，即可进行不同速度的车辆自动测试。实验文章：https://blog.csdn.net/qq_37400312/article/details/121716751

2021-12-04

CarMaker实现行人路过人行道和横穿马路，自动驾驶车辆避让实验

在双向四车道上，行人穿过车道，自动驾驶的车辆进行避让，实验教程：https://blog.csdn.net/qq_37400312/article/details/121386232

2021-11-17

CarMaker与Simulink联合仿真样例

CarMaker与Simulink联合仿真的一个很简单的样例，部分数据在模块里可以直接观测到，也可以修改车辆接受的数据，教程地址：https://blog.csdn.net/qq_37400312/article/details/121321743

2021-11-16

CarMaker实现斑马线上行人过马路和路人突然冲向马路

2021-11-14

T-road_Traffic

在T形路口体验CarMaker自带的IPGDriver自动驾驶功能的效果，教程地址：https://blog.csdn.net/qq_37400312/article/details/121316859

2021-11-14

CarMaker实现搭建一个封闭道路

通过CarMaker实现搭建一个封闭道路，让小车在道路上循环运行999秒，适合初学者，教程地址：https://blog.csdn.net/qq_37400312/article/details/121182269

2021-11-07

CarMaker的用户指导手册UsersGuide

CarMaker10.2的用户指导手册UsersGuide，英文版

2021-11-06

CarMaker的自带样例TestRun.rar

CarMaker的自带样例TestRun，里面有Examples、ExamplesMM、ExamplesTM三个文件夹，Examples里面是可以直接运行的项目样例

2021-11-06

CarMaker软件的wlicinfo.exe

CarMaker软件用于获取本机Operating system、Host-PC name、MAC-address的工具

2021-11-06

BusCreator和BusSelector的简单实验

在simulink上进行BusCreator和BusSelector的简单实验

2021-10-31

S-Funciton的一个简单实验

S-Funciton的一个简单实验，通过S-Funciton Builder控件创建的S-Funciton，实现梯形曲线规划功能。

2021-10-31

Prescan样例：3D_Dynamics.rar

这是Prescan完整版自带的一个样例

2021-10-27

z3-4.8.10-x64-win.zip

z3约束求解器4.8.10版本，win64位关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

2021-03-09

华师大——信息安全——《密码学原理与实践》冯登国——部分作业求解源码

本人华师大研究生，曾鹏老师开设了密码学课程，期末作业基本都是课后作业，开卷考试，为应付考试，用python编写了这么一堆代码，解决各种密码问题，有些网上搜的，有些自己写的，主要是：移位密码、代换密码、仿射密码、维吉尼亚密码、希尔密码、RSA密码、Rabin、ELGammal等密码的加密解密、求密钥、求各种值都有。

2021-03-04

nuXmv-2.0.0-win64.tar.gz

nuXmv是一种新的符号模型检查器，用于分析同步有限状态和有限状态系统。 nuXmv扩展NuSMV沿着两个主要方向: 对于有限状态的情况，nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。对于无限状态的情况，nuXmv具有基于SMT的验证技术，通过与数学5。查看的完整列表特征由nuXmv提供，或者看看用户手册。 nuXmv目前以二进制形式获得许可，用于非商业或学术目的。

2020-10-24

z3-4.8.9-x64-win.zip

z3约束求解器4.8.9版本，win64位关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

2020-10-08

z3-4.8.4（微软的一款开源约束求解器）Win64

Z3 是一个微软出品的开源约束求解器，功能十分强大，尤其是运用于逆向的时候，进行约束求解十分快速。文件内包含z3的lib和include文件

2020-10-07

利用IDEA搭建SpringBoot+Mybatis，实现注册登录功能，适合初学者

利用SpringBoot+Mybatis+Maven+Mysql实现了简单的中注册登录功能文件内包含数据库文件项目创建参考文章为：https://blog.csdn.net/weixin_42685022/article/details/82215893 项目与文章有少许改动

2020-03-25

通过IDEA创建的SpringMVC框架，实现了基本的响应查找和mysql查找操作，适合初学者

c3pO链接地址池 Maven导包数据库账号、密码、地址、表名记得去jdbc.properties里面改，数据库就一张User表，一行数据不要小瞧只有35KB，正常使用的，我把输出tarGet和out删掉了，不然一堆包要很大的

2020-03-24

通过IDEA创建的SSH框架，实现了基本的查找和插入操作，适合初学者

本项目是通过IDEA创建的SSH框架，适合初学者使用，本项目的创建过程详见文章：https://blog.csdn.net/sunxiaoju/article/details/81007709

2020-03-23

IDEA入门创建Hibernate实例

该项目为通过IDEA使用Hibernate框架，详细制作过程见文章：https://blog.csdn.net/qq_37400312/article/details/105027562 数据库默认并不是本地数据库，所以运行的时候记得去hibernate.cfg.xml改为所用的数据库地址及账号密码

2020-03-22

m3u8视频下载合并工具

m3u8视频下载合并工具，只需输入m3u8视频地址即可自动下载并合并文件，方便，实用，无需其他操作，快速将视频合并为一个完整的mp4视频

2018-09-01

exe4j工具64位

exe4j是一个帮助你集成Java应用程序到Windows操作环境的java可执行文件生成工具，这是64位的

2018-08-24

64位1.8的jre包

内含jre1.8.0_181版本的jre包，64位，注意只有jre，没有jdk哦

2018-08-24

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人