C++知识点
本博客内容主要来源于《暗黑风格-C++八股文》「作者：小贺，公众号：herongwei」，外附博主查阅其他资料整理所得（来源已标注）。
C++语言基础
智能&# ...
MySQL常用语句
参考：(30条消息) MySQL常用SQL语句大全_江南极客的博客-CSDN博客_mysql常用sql语句大全
SQL命令构成（1）数据定义命令DDL（Data Definition Language）
CREATE–创建数据库中所有对象；
ALTER& ...
2月的BBlog in 2022
新的一年，缺席了第一个月。迟到的一句：新年快乐！
2022-2-122022年2月12日 星期六 天气 多云 心情 舒适
过完年后的第一天学习，开启今年的BBlog。
modelio官网 ...
关于AADL在航电软件这块的应用
1相关概念
IMA：Integrated Modular Avionics，综合模块化航空电子系统
12月的BBlog in 2021
12月，以充实和快乐给2021年画上句号。
2021-12-12021年12月1日 星期三 天气 晴 心情 舒适
今天是12月的第一天，开个好头。
以后要出去玩还是不要提前计划了ÿ ...
整理一些参考文献
Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
Building SysML Model Graph to Support the System Model Reuse
顶刊：
(A)Baresi L, Morzenti A, Motta A, et al. A logic-based approach for the verification of UML timed models[J]. ACM Transactions on Software Engineering and Methodology (TOSEM). 2017, 26(2):7.
在 UML/MARTE 的基础上c ...
关于SCADE建模指南的一些收藏文档和网页
参考网页
Vensim建模指南
本建模指南旨在介绍构建和使用模型的一些基本概念，并提供一些示例以提高理解。如果您是Vensim新手，应首先阅读Vensim用户指 ...
VS Code与Latex从下载到写论文(2020)
转载自：VS Code与Latex从下载到写论文(2020) - 知乎 (zhihu.com)
Contents1.准备工作
2.TeX Live 2019下载、安装
3.VSCode下载、安装
4.安装LaTeX Workshop插件
5.JSON基本设置
6.正向检索
7.反向检索
8.双向检索使ݒ ...
在wsl2环境下使用Kind2
因为嫌虚拟机太麻烦，所以决定在wsl2上安装kind2。
安装wsl2
(8条消息) WSL2的安装详细过程_文艺圈不知名刘先生-CSDN博客_wsl2安装
要在Windows文件资源管理器中打开WSL ...
11月的BBlog in 2021
11月，学会把坏情绪丢进垃圾桶。
2021-11-12021年11月1日 星期一 天气 多云 心情 一般
今天是11月的第一天，10月以付尾款吃火锅看比赛的热闹形式结束，11月Ӯ ...