Linux之redhat中sshd远程登录功能教程
本文主要介绍如何在一个局域网内，通过指令远程连接其他主机，以及更改连接配置文件的方法
想人陪蜡烛
【模型检测学习笔记】9：Binary Decision Diagrams
1 BDT→\to→BDD→\to→OBDD在符号模型检测中， 用布尔表达式表达一组状态，也就是对布尔公式中的每个变量赋值，可以计算出一个布尔值结果：f: Booln→Boolf: \ Bool^n \to Boolf: Booln→Bool所以可以用一个类似于组合解空间树（如果1视为选，0视为不选）的结构，即Binary Decision Tree (BDT) 来表达一个布尔公式，如下图：图中每个结点vvv有两个孩子分支，一条虚线对应low(v)low(v)
