操作系统形式化验证实践教程(1) - 证明第一个定理 形式化方法分为三个主要部分：系统建模(System Modeling)、形式规约(Formal Specificatio...
发简信
IP属地：北京
-
操作系统形式化验证实践教程(1) - 证明第一个定理 -
Standard ML快餐教程(1) - 初识
Standard ML快餐教程(1) - 初识 好久没写快餐教程了，下面开始一个新的系列，关于函数式编程语言的系列。打算写三种语言：Standard ML，ocaml和Has...
-
-
2.2.3 纯随机性检测纯随机性检测也成白噪声检测，是专门用来检测序列是否为纯随机序列的一种方法。我们知道如果一个序列是纯随机序列，那么它的序列值之间应该没有任何关联关系，这是一种理论上才会出现的理...
-
公告：关于暂停用户发布功能，并全面清查平台内容
亲爱的简书用户 「简书」因个别上传作品用户违反《中华人民共和国网络安全法》《互联网信息服务管理办法》《互联网新闻信息服务管理规定》《互联网用户公众账号信息服务管理规定》《移动...
-
一会轻，一会用力，女人真的是麻烦！
用力，没吃饭啊！ 轻点，这么用力干嘛！ 不得不说，女人要求真的多，明明十几分钟的快活时间，却被搞得一点心情都没有了！ 千万不要试图揣摩一个女人的想法，可能前一秒是这样想的，但...
-
普通人走向财务自由的两条腿——主动收入和被动收入
主动收入和被动收入，是普通人走向财务自由的两条腿。 大多数人不可能去创业，不可能全职去投资，很难一下子跨入企业家象限和投资人象限。 一是本金不足，再高超的理财技能，也难以达到...
