- 博客(5)
- 收藏
- 关注
RSS订阅
翻译 TLA+ 术语解释及中文翻译
A state is an assignment of values to variables.一个状态就是一组为变量赋值的操作。A state function is an ordinary expression (one with no ′'′ or □\square□) that can contain variables and constants.一个状态函数就是一个普通的表达式...
2019-12-13 12:02:50
3134
原创 用VS Code写作markdown翻译文档记录
网站KaTeX 数学符号列表正则表达式Latax语句 加\$\$号([!"\.@\*_\{\},=:\\A-Za-z0-9+ \(\)\[\]]+) -> $$$1$$Latax语句 关键字格式设定([A-Z ]+) ->\\text{1}
2020-01-30 20:59:04
660
原创 TLA+ TLC模型检查器使用指南（持续更新中）
TLC是一个用于查找TLA+ 规约(Specification)中错误的程序。它由Yuan Yu设计和开发，开发过程中得到过Leslie Lamport, Mark Hayden, 和Mark Tuttle的帮助。它可以通过TLA官网获得。目前在TLA+附带的工具toolbox中有集成TLC，Microsoft Visual Studio Code 中也有TLA+插件可以使用TLC，功能没有to...
2019-12-13 17:24:28
3363
原创 python脚本生成崽崽的成语练习word文档
# -*- coding: UTF-8 -*-from docx import Documentfrom docx.shared import Ptimport requestsfrom docx.oxml.ns import qndocument = Document()document.styles['Normal'].font.name = u'宋体'document.st...
2019-10-19 18:52:51
404
原创 回溯算法解迷宫问题(C语言)
回溯法也称为试探法,该方法首放弃关于问题规模大小的限制,并将问题的候选解按某一顺序逐一枚举和试验.当发现当前候选解不可能是解时,就选择下一个候选解;倘若当前候选解除了还不满足问题规模要求外,满足所有其他要求时,继续扩大当前候选解的规模,并继续试探.如果当前候选解满足包括问题规模在内的所有要求时,该候选解就是问题的一个解.在回溯法中,放弃当前候选解,寻找下一个候选解的过程称为回溯.扩大当前候选解的规
2005-03-10 18:59:00
4785
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人