- 博客(1)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 【UPPAAL学习笔记】1：基本使用示例
这节用三个例子学习UPPAAL的使用。1 简述1.1 性质描述UPPAAL里支持用CTL公式描述功能安全性质：A[] φA⟨⟩ φE[] φE⟨⟩ φ\begin{aligned}& A[] \ \varphi \\& A\langle \rangle \ \varphi \\& E[] \ \varphi \\& E\langle \rangle \ \varphi\end{aligned}A[] φ
2020-09-14 00:36:12
13026
21
算符优先分析法
设有文法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关注的人