- 博客(2)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 【模型检测学习笔记】6：线性时序性质(Linear-time Properties)
为方便，线性时序性质（linear-time properties）后续均简称LT性质。在系统分析中，描述线性时序行为（linear-time behavior）可以是基于动作的（action-based approach），也可以是基于状态的（state-based approach），本章主要学习的是基于状态的（但在学习公平性时用动作描述），也就可以在TS中刻意忽略转移过程中的具体动作，而只...
2019-11-12 21:35:17
2085
原创 【WebGME学习笔记】1：配置和使用WebGME
配置WebGME环境整体和配置使用Vue的时候很像。注意WebGME需要事先安装和启动本地的MongoDB服务。安装webgme-cli脚手架：npm install -g webgme-cli配置自动补全，打开WSL命令行，执行：echo ". G:\Program Files\nodejs\node_global\node_modules\webgme-cli\extra\webg...
2019-11-11 23:16:42
2315
1
算符优先分析法
设有文法G[S]：S→SaF | F F→FbP | P P→c | d
(1) 构造G[S]的算符优先关系表
(2) 分别给出cadbdac# 和 dbcabc# 的分析过程
2018-05-22
已经整合好的小型S2SH框架(完全注释+依赖jar包)
已经将Struts2和Hibernate与Spring整合，测试可用。含三个框架的核心依赖jar包，不含JDBC驱动，测试例子是用MySQL作为数据库的。请自行更换数据库，添加驱动，修改Hibernate设置和数据库配置。
含有大量注释，适合学生立即上手开发课程项目。
2018-05-13
举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程
上海大学课程研讨，题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。上海大学课程研讨，题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。
2017-12-03
有关Linux进程家族树
操作系统课程研讨PPT，有关Linux进程家族树的形成，服务的自动开启。操作系统课程研讨PPT，有关Linux进程家族树的形成，服务的自动开启。操作系统课程研讨PPT，有关Linux进程家族树的形成，服务的自动开启。
2017-10-03
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人