然后对三元组的数据进行知识融合，主要是实体对齐，以及和数据模型进行结合，经过融合之后，会形成标准的数据表示,为了发现新知识，可以依据一定的推理规则，产生隐含的知识，所有形成的知识经过一定的质量评估，最终进入知识图谱。知识图谱是一种语义网络（Semantic Network）的知识库，可以构建庞大的知识网络，包含世间万物构成的实体以及它们之间的关系，图文并茂地展现知识方方面面的属性，让人们更便捷地获

启发式搜索（Heuristic Search）：利用启发方式获得的领域知识，通过限定搜索深度或者限定搜索宽度来缩小问题空间，避开没有结果的搜索路径，也称有信息搜索

智能体：具有自治性、社会性、反应性和预动性的基本特征的实体，也可被看作是相应的软件程序或者是一个实体（比如人、车辆、机器人等）多智能体系统（Multi-Agent System）：多个相互作用的智能体，各个智能体之间通过相互通信、合作、竞争等方式，完成单个智能体不能完成的，大量而又复杂的工作智能体的三个主要工作组件：传感器：检测环境变化执行器：能量转化为运动（e.g. 电机、齿轮）效应器：影响环境

pyinstaller前几天还用的好好的，今天突然不行了，怎么办？请看此文

../aten/src/ATen/native/cuda/IndexKernel.cu:92: operator(): block: [0,0,0], thread: [15,0,0] Assertion `index >= -sizes[i] && index < sizes[i] && "index out of bounds"` failed.RuntimeError: CUDA error

文章目录一、空间曲线的切线与法平面二、弧长三、曲面的切平面与法线四、Frenet标架1. 法平面与切线2. 密切平面与次法线3. 从切平面与主法线五、空间曲线的曲率与挠率1. 曲率2. 挠率一、空间曲线的切线与法平面空间曲线的参数方程：R→R3\mathbb R\to\mathbb R^3R→R3，r(t)=(x(t),y(t),z(t))(t∈[α,β])\bm r(t)=(x(t),y(t),

布尔表达式可满足性问题是指对于一个布尔表达式（或者说命题公式），是否存在一组真值，使得该表达式的赋值为真。例如，A:¬p∨qA:\neg p\lor qA:¬p∨q（即“（非ppp）或qqq”）是可满足的，因为p=1,q=0p=1,q=0p=1,q=0时AAA为真；但B:p∧¬pB:p\land\neg pB:p∧¬p不是可满足的，因为“ppp”和“非ppp”显然不可能同时成立。事实上，这个问题解

(3) 成员关系（A-Member-Of）：A是B的成员（强调个体与集体的关系），具有属性的继承性。(2) 分类关系（AKO, a kind of）：A是B的成员，具有属性的继承性。(5) 包含关系（Part-Of）：部分与整体之间的关系，一般不具备属性的继承性。状态（state）：描述某类不同事物间的差别的某种结构的符号或数据，用四元组表示。(1) 实例关系（ISA, is a）：A是B的例子，

那个矩阵的特征值算了半天，首先猜了个-2，不对，然后猜了个2，对了，这下好了，剩下两个特征值只需要用迹和行列式就可以弄出来。西安才17度，还下着小雨，到广州之后那个艳阳直接给我人干废了，去酒店的路上步行了20分钟真的要死了已经。第五题前两问送分，第三问眼瞎了，直接按照第二问的思路写了，写完之后还沾沾自喜，殊不知第三问要分段考虑，还要利用对称性。第六题，最神奇的一道题，我不知道怎么证，只写了两点之间

一、有偏估计和无偏估计假设我们测量了变量xxx，测得的结果是x1,x2,⋯ ,xnx_1,x_2,\cdots,x_nx1​,x2​,⋯,xn​。令xˉ\bar xxˉ是它们的算术平均值，μ\muμ是xxx的真实值。我们使用标准（偏）差（Standard Deviation）来度量数据分布的分散程度。标准差越大，数据分布越离散，反之越集中。我们在小学/初中学过标准差的计算公式σ=∑i=1N(xi−