等保2.0一票否决判定标准（判例概述、判定原则、场景释义），高风险判定：标准要求、适用范围、判例场景说明、补偿因素等
2021-03-19 13:00:26
2.76MB
本指引是依据GB/T 22239-2019《信息安全技术 网络安全等级保护基本要求》有关条款，对测评过程中所发现的安全性问题进行风险判断的指引性文件。指引内容包括对应要求、判例内容、适用范围、补偿措施、整改建议等要素。
2021-03-18 13:54:45
771KB
1
根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。
2021-02-22 18:07:25
460KB
1
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
2021-02-22 18:07:22
149KB
1
根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
2021-02-22 18:06:56
288KB
1
无需安装，绿色版 part3
这个东西不好弄，从朋友那弄来的，他从内部里拿的，OJ离线版，放入输入输出数据，系统会拿你的输出数据和标准的输出数据进行比较，匹配则AC，当然也有TLE,RE等等，有输入输出数据，但是不能联网？或者网络上没有这个题的OJ？又或者你自己想了一个题，要验证。。等等，这个就是你的最好选择，ACMer的必备，没有离线判断系统，不算一个真正的ACMer
一起AC，一起加油！！！
2020-11-22 02:03:08
4.75MB
1