原资源可在github中搜索到，这里只是用于个人学习方便。 课程内容 第1讲 知识图谱概论 （2019-3-1,2019-3-8） 1.1 知识图谱起源和发展 1.2 知识图谱 VS 深度学习 1.3 知识图谱 VS 关系数据库 VS 传统专家库 1.4 知识图谱本质和核心价值 1.5 知识图谱技术体系 1.6 典型知识图谱 1.7 知识图谱应用场景 第2讲 知识表示 (2019-3-15) 2.1 知识表示概念 2.2 知识表示方法 语义网络 产生式系统 框架系统 概念图 形式化概念分析

为了确保火车站联锁系统的安全性，以路径创建子系统为案例研究，并提出了一种基于多种复合情景分析的形式化建模方法。 该方法采用多个UML序列图来指定系统的需求，并通过结合对象约束语言的前提条件和后置条件与领域知识来获得一致的需求规格，以分析多个UML序列图中的冲突。 此外，提出了一种将行为序列转换为有限状态过程模型的模型转换方法，尽管这些行为序列通常是同步，异步，并发和交替的，并且在UML序列图中相互影响。 最后，通过组合运算生成了系统形式模型的FSP模型，符合系统的功能要求。 铁路联锁系统的形式化

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。