- 博客(7)
- 收藏
- 关注
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
2923
原创 新一代硬件安全第5章 TRNG
Chapter 5Intrinsic Entropy for True Random Number Generation5.1 Chapter IntroductionTrue Random Number Generators (TRNGs) form an essential and indispensable part of modern security systems in various scenarios, including (1) key- and initial counter va
2023-05-15 23:17:26
1167
原创 用VS Code写作markdown翻译文档记录
网站KaTeX 数学符号列表正则表达式Latax语句 加\$\$号([!"\.@\*_\{\},=:\\A-Za-z0-9+ \(\)\[\]]+) -> $$$1$$Latax语句 关键字格式设定([A-Z ]+) ->\\text{1}
2020-01-30 20:59:04
473
原创 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
2987
原创 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
341
原创 回溯算法解迷宫问题(C语言)
回溯法也称为试探法,该方法首放弃关于问题规模大小的限制,并将问题的候选解按某一顺序逐一枚举和试验.当发现当前候选解不可能是解时,就选择下一个候选解;倘若当前候选解除了还不满足问题规模要求外,满足所有其他要求时,继续扩大当前候选解的规模,并继续试探.如果当前候选解满足包括问题规模在内的所有要求时,该候选解就是问题的一个解.在回溯法中,放弃当前候选解,寻找下一个候选解的过程称为回溯.扩大当前候选解的规
2005-03-10 18:59:00
4696
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人