西门子opcua2.2调试工具使用方法说明，内容比较详细，对于初次使用比较有帮助，在不使用kepserver的情况下使用2.2调试工具也比较方便

嵌入式arm、单片机开发中经常会用到串口调试工具，这里收集了四个，都是绿色版，直接下载，选择一个你喜欢的！

Ext js 2.2-中文API最终完成版。 很完整的API文档。

再上传本人收藏的微机磁盘操作系统，不过，仅上传与 MS-DOS 有关的系统，如：微机磁盘操作系统未出现以前的系统 PC ROM BASIC；MS-DOS 的前身 CP/M；MS-DOS 前身 CP/M 的后续版本 DR-DOS；MS-DOS 变身的 PC-DOS 等。28号是 IBM-DOS 4.0 + PCE 0.2.2，这个系统自该版本和 5.0x 版已不叫 PC-DOS 了，改名为 IBM-DOS ，6.0 以后又改为了 PC-DOS ，改着玩吗？

Chrome的插件Blazemeter。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

华为路由器交换机模拟器3.1,华为模拟器2.2,思科路由器交换机模拟器3.1

再上传本人收藏的微机磁盘操作系统，不过，仅上传与 MS-DOS 有关的系统，如：微机磁盘操作系统未出现以前的系统 PC ROM BASIC；MS-DOS 的前身 CP/M；MS-DOS 前身 CP/M 的后续版本 DR-DOS；MS-DOS 变身的 PC-DOS 等。30号是 IBM-DOS 5.02 + PCE 0.2.2，这个系统自该版本和 5.0x 版已不叫 PC-DOS 了，改名为 IBM-DOS ，6.0 以后又改为了 PC-DOS ，改着玩吗？

#fabric2.2版本源码、二进制文件、测试示例工程

In this tutorial we give a short introduction to the usage of the main functionalities of NUSMV. In Chapter 2 [Examples], page 3 we describe the input language of NUSMV by presenting some examples of NUSMV models. Chapter 3 [Simulation], page 8 shows how the user can get familiar with the behavior of a NUSMV model by exploring its possible executions. Chapter 4 [CTL Model Checking], page 13 and Chapter 5 [LTL Model Checking], page 17 give an overview of BDD-based model checking, while Chapter 6 [Bounded Model Checking], page 20 presents SAT-based model checking in NUSMV.

SciHub Pro是加强版的Sci-hub桌面版本，聚合了多个文献下载数据库。只要你输入文献名、DOI号或者PMID号，SciHub Pro就能通过优化算法为您迅速匹配出全文文献。即使所有的sci-hub域名都用不