- 博客(3)
- 收藏
- 关注
原创 stateflow入门学习&笔记
stateflow学习笔记命令行开启sf --开启stateflow以及stateflow library框sf -lib --开启stateflow library框sfnew -matlab --新建一个m语言的stateflow框sfnew -c --新建一个c语言的stateflow框动作状态(state)entry:语句/函数名 --进入状态的动作,简写为enduring:表达式/函数 --处于状态中,简写为duexit:表达式/函数 --离开状态,简写为ex三者不一定全
2022-02-07 17:55:56
23253
3
原创 git泄露漏洞
git简介git是一个开源的分布式版本控制系统,用于敏捷高效地处理任何或小或大的项目。当前大量开发人员使用git进行版本控制,对站点自动部署。攻击者可以利用该漏洞下载git文件夹里的所有内容。如果文件夹内有敏感信息比如站点源码、数据库账户密码等,攻击者可能直接控制服务器。如果配置不当,可能会将.git文件夹直接部署到线上环境。这就引起了git泄露漏洞。.git目录config - 包含一些配置选项description - 仓库的描述信息,主要给gitweb等git托管系统使用HEAD - 指定
2021-11-23 19:58:44
5750
原创 线性时间逻辑(LTL)
线性时间逻辑(LTL)linear-time logic,提供了一种非常直观但是在数学上又很精确的表示方法来描述线性时间性质。在70年代后期,Pnueli提出将线性时序逻辑应用于验证复杂计算机系统。LTL一般通过对程序建模来描述交错序列的属性,但不能描述不同状态间的变化。LTL的语法TL在静态逻辑u基础之上定义,利用一阶命题作为u的一个实例,定义为:φ::= true | a | φ 1 ∧ φ 2 | ¬φ | ◯φ | φ 1 U φ 2LTL公式的基本成分是原子命题,同时LTL公式一般通
2021-11-13 17:27:44
10234
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人