- 博客(4)
- 收藏
- 关注
RSS订阅原创 JMU形式化建模
形式化建模与分析复习归纳文章目录形式化建模与分析复习归纳简答题1. 串行系统的程序正确性定义2. 有限状态机的不足之处3. Petri 网模型上迁移间的关系、几种特殊Petri 网对各类关系的描述能力。4. Statecharts 中状态节点的类型分析证明题5. 命题逻辑的演绎证明法：6. 谓词逻辑7. Floyd 前后断言法8. Hoare 公理化方法9. Dijstra 最弱前置谓词法10. 有限状态机11. petri 网应用题12. 有限状态机、Moore 机、Mealy 机设计13. State
2023-05-22 17:29:17
267
1
原创 VScode + markdown + VS-PicGo（GitHub图床） 教程
VScode + markdown + VS-PicGo（GitHub图床） 教程。
2022-08-08 23:14:45
715
原创 jmu数据结构实验四任务
jmu数据结构实验四任务选做：题目 4—统计单词的出现次数并输出总时间限制:2000ms 内存限制:4096kB描述根据用户给定的一篇包含若干个单词的英文文章（文章只包含英文字母和空格、回车换行符，单词之间以空格或者回车换行符分隔，单词最短一个字母，最长100个字母；最多包含100000个不同的单词），请解析出所有不同的单词，并统计出每个单词出现的次数，然后按照单词出现的次数从小到大输出，如果出现次数一样，则按照英文单词的词典顺序输出(忽略大小写区别，输出时全部变成小写...
2021-04-26 22:37:14
202
1
原创 jmu数据结构课程实验任务
#jmu数据结构实验任务##选做：题目5—走迷宫总时间限制:1000ms 内存限制:65536kB####描述一个迷宫由R行C列格子组成，有的格子里有障碍物，不能走；有的格子是空地，可以走。给定一个迷宫，求从左上角走到右下角最少需要走多少步(数据保证一定能走到)。只能在水平方向或垂直方向走，不能斜着走。####输入第一行是两个整数，Ｒ和Ｃ，代表迷宫的长和宽。（ 1<= R，C <= 40)接下来是Ｒ行，每行Ｃ个字符，代表整个迷宫。空地格子用'.'表示，有障碍物...
2021-04-23 13:19:13
267
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人