最近几年,例如YAGO和DBpedia等大规模知识库发展有了很大的进步。
知识库提供了大量的不同种类的实体信息,如人、国家、河流、城市大学等等,同时知识库包含了大量的在实体(entity)间的关系既事实(fact)。
当今的知识库包含的数据量是巨大的通常有百万个实体和上亿个描述实体间关系的事实数据。
虽然目前的知识库存在大量的实体和事实数据,但是这样大规模的数据仍然不完整。
目前构建知识库的方法主要有两种,一种是从大量的文本中抽取事实但这种方法必然会带来大量的噪声数据,第二是人工扩展,但这样的方法对于时间的开销是极大的。
如果确保一个知识库是完整的则必须花费很大的努力来抽取大量的事实,并检查事实的正确性,因为只有正确的事实加入到知识库中才是有意义的。
同时知识库的本身由于有足够的信息可以推理出更多的新的事实。
例如有这样一个例子,一个知识库包含一组事实是孩子c有一个妈妈m,这样可以推理得出孩子妈妈的丈夫f很可能是孩子的父亲。
该逻辑规则形式化的描述如下:motherof(m,c)∧marriedTo(m,f)⟹fatherof(f,c)挖掘这种规则可帮助做一下四种事情:1、利用这种规则来推理出新的事实,而这些被挖掘出的新的事实可以使知识库更完整。
2、这些规则可以检测出知识库潜在的错误例如一个陈述是一个与一个男孩无关的人是这个男孩的父亲,这样的陈述很可能是错误的。
3、有很多推理工具依赖其他工具提供规则,所以这些被挖掘出来的规则可以用于推理。
4、这些规则描述一个普遍的规律,这些规律可以帮我我们理解分析知识库中的数据,如找到一些国家通常与说同一种语言的国家交易。
或结婚是一个对称关系,或使用同一个乐器的音乐家通常互相影响等等。
AMIE的目标是从RDF格式的知识库中挖掘如上所述的逻辑规则,在语义网(SemanticWeb)中存在大量的RDF知识库如YAGO、Freebase和DBpedia等。
这些知识库使用RDF三元组(S,P,O)提供二元关系(binaryrelation)的描述。
由于知识库一般只包含正例而(S,P,O)没有反例(S,¬P,O),所以RDF这样的知识库中仅能通过正例来推理。
进一步来说在RDF知识库上的操作是基于开放世界假设(OWA)的。
在开放世界假设下,一个事实没有在知识库中存在那么我们不能说这个事实是错误的,只能说这个陈述是未知的。
这与标准的数据库在封闭世界假设的设定有本质上的区别。
例如在知识库中没有包含marry(a,b),在封闭世界假设中我们可以得出这个a没有和b结婚而在开放世界假设下我们只能说a可能结婚了也可能单身。
压缩包内包含AMIE可运行源代码与相应文档资料,欢迎下载参考
2025/4/10 17:38:48 2.43MB 不完整 知识库 关联规则 数据挖掘
1
题目:7.集合运算(单循环链表)1.问题描述:设有两个带头结点的单循环链表存储的集合A、B,其元素类型为字符或者整形,且以非递减方式存储,其头结点分别为ha、hb。
要求下面各问题中的结果集合同样以非递减方式存储,结果集合不影响原集合。
2.实现要求:⑶编写集合元素测试函数IN_SET,如果元素已经在集合中返回0,否则返回1;
⑷编写集合元素输入并插入到单链表中的函数INSERT_SET,保证所输入的集合中的元素是唯一且以非递减方式存储在单循环链表中;
⑶编写求集合A、B的交C=A∩B的函数,并输出集合C的元素;
⑷编写求集合A、B的并D=A∪B的函数,并输出集合D的元素;
⑸求集合A与B的对称差E=(A-B)∪(B-A)的函数,并输出集合D的元素;
⑹设计一个菜单,具有输入集合元素、求集合A、B的交C、求集合A、B的并D、求集合A与B的对称差E、退出等基本的功能。
3.测试数据:字符型和整形由同学们自定,但集合A、B的元素个数不得少于15个。
2025/3/20 4:44:03 374KB 数据结构
1
学会用C语音编写自反闭包,对称闭包,传递闭包,加深对关系运算的理解。
2025/3/5 9:48:34 27KB 自反 传递 对称
1
ansoftmaxwell破解版功能特点求解器(Solver)● 二维求解器(XY平面求解、轴对称平面求解)、三维求解器● 磁场求解:静磁场、交流磁场(频率响应)、瞬态磁场● 电场求解:静电场、直流传导场、交流传导场(2D)、瞬态电场(3D)● 矢量有限元法输出结果● 电磁场、能量分布(标量场、矢量场)— 磁场、电场、电流密度、损耗、功率等标量场/矢量场可以通过后处理得到其他物理量● 设计参数— 电磁力、力矩、电阻、电感、电容● 可以用图表或文本方式输出GUI和建模功能● Windows风格的图形化操作、快捷工具栏● 自带3DCAD建模功能,方便直观的操作● 变量、函数的使用— 对于部件的外形尺寸、位置、材料特性、边界条件等,可以将输入值作为变量进行参数化扫描和优化分析,而且变量之间不仅可以进行四则运算,而且还可以进行三角函数、对数函数等各种函数运算。
各种功能● 标准CAD接口:SAT、SAB、DXF、DWG。
● 对从外部CAD导入的模型进行分析并自动修复。
● 各种边界条件:对称边界、周期性边界、绝缘边界、阻抗边界等。
● 各种非线性材料:各向异性、永磁体、叠压材料等。
● 铁芯损耗计算。
● 永磁体的充磁和退磁计算。
● 运动求解,基于运动方程式的可变速响应求解。
● 与Maxwell自带的电路编辑器可以动态链接。
● 与机电系统控制软件实现行为级动态耦合仿真。
● 与结构、热、流体仿真器联合实现多物理域仿真。
(ANSYS、ANSYSFluent)● 可以从辅助设计工具直接读入模型(ANSYSRMxprt、ANSYSPExprt)● 作为近场辐射源,链接到高频电磁场求解器计算(ANSYSHFSS)● 脚本支持(VB、JAVA、IronPython)● 批处理求解选项● CAD接口(AnsoftlinksforMCAD):— IGES、STEP、CREO(原ProE)、Unigraphics、Parasolid、CATIAV4/V5● 作参数扫描、优化、统计分析(Optimetrics、ANSYSDesignXplorer)● 多核并行计算(HPC)● 多核或网络多个计算节点的分布式高性能计算(DSO、HPC)铁芯损耗计算将铁芯损耗计算中广泛采用的经典steinmetz法进行了改良和修正,提出了改良后的steinmetz法。
经典steinmetz法计算铁耗是通过后处理完成的,没有考虑铁芯损耗对磁场分布的影响。
在ANSYSMaxwell中用到的改良后的steinmetz法计算铁芯损耗,能够在计算铁芯损耗的同时,考虑铁芯损耗对磁场的影响。
非线性各向异性材料ANSYSMaxwell的非线性各向异性材料可以考虑材料在轴向方向的不对称性。
对于磁性材料和硅钢板等各向异性材料,可以进行精确地分析。
对于难以建立实际模型的叠压材料——如电磁钢等,可以方便地使用等效模型进行建模和参数设置。
脚本ANSYS电磁产品大部分支持VB/JAVA脚本,以及IronPython语言。
从软件启动、建模到输出求解结果等整个流程都可以通过脚本记录下来,以方便构建自动化求解环境。
适用案例Maxwell3D所采用的新的数值计算方法大大加快了软件计算速度,同时避免了非现实物理解,从而使得三维运动仿真能够得到实际应用。
2025/3/3 20:48:22 199B ansoft maxwell 电磁仿真
1
运用杂化密度泛函方法(DFT)B3LYP,在LANL2DZ赝势基组水平上对Yn(n=2~10)团簇的多种可能初始构型进行了结构优化和频率及光谱分析,根据能量最低原则确认了Yn(n=2~10)团簇没有虚频的基态结构,且计算得到的结构比以往理论计算得到的结构能量更低,Y2振动频率ωe=188.9cm-1比以往计算值更接近实验值184.4cm-1,在此基础上研究了团簇的稳定性和极化率,并分析了Yn(n=2~10)团簇的光谱性能。
结果表明,Y7为所研究团簇结构转折点,团簇的电子稳定性随着原子数增加而逐渐减弱。
振动光谱分析表明,Yn(n=2~10)团簇中具有较高对称性的C2v和Cs点群具有更多的振动模式,而稳定性较强的Y7和Y9在所研究频段内分别有较好的红外和拉曼活性,有明显的共振现象。
2025/2/20 6:43:34 1.14MB 材料 光谱学 Yn(n=2~10 密度泛函
1
1.两个串相等的充要条件是()。
A.串长度相等B.串长度任意C.串中各位置字符任意D.串中各位置字符均对应相等2.对称矩阵的压缩存储:以行序为主序存储下三角中的元素,包括对角线上的元素。
二维下标为(i,j),存储空间的一维下标为k,给出k与i,j(i<j)的关系k=()(1<=i,j<=n,0<=k<n*(n+1)/2)。
A.i*(i-1)/2+j-1B.i*(i+1)/2+jC.j*(j-1)/2+i-1D.j*(j+1)/2+i3.二维数组A[7][8]以列序为主序的存储,计算数组元素A[5][3]的一维存储空间下标k=()。
A.38B.43C.26D.294.已知一维数组A采用顺序存储结构,每个元素占用4个存储单元,第9个元素的地址为144,则第一个元素的地址是()。
A.108B.180C.176D.1125.下面()不属于特殊矩阵。
A.对角矩阵B.三角矩阵C.稀疏矩阵D.对称矩阵6.假设二维数组M[1..3,1..3]无论采用行优先还是列优先存储,其基地址相同,那么在两种存储方式下有相同地址的元素有()个。
A.3B.2C.1D.07.若Tail(L)非空,Tail(Tail(L))为空,则非空广义表L的长度是()。
(其中Tail表示取非空广义表的表尾)A.3B.2C.1D.08.串的长度是()。
A.串中不同字母的个数B.串中不同字符的个数C.串中所含字符的个数,且大于0D.串中所含字符的个数9.已知广义表((),(a),(b,c,(d),((d,f)))),则以下说法正确的是()。
A.表长为3,表头为空表,表尾为((a),(b,c,(d),((d,f))))B.表长为3,表头为空表,表尾为(b,c,(d),((d,f)))C.表长为4,表头为空表,表尾为((d,f))D.表长为3,表头为(()),表尾为((a),(b,c,(d),((d,f))))10.广义表A=(a,b,c,(d,(e,f))),则Head(Tail(Tail(Tail(A))))的值为()。
(Head与Tail分别是取表头和表尾的函数)A.(d,(e,f))B.dC.fD.(e,f)二、填空题(每空2分,共8分)。
1.一个广义表为F=(a,(a,b),d,e,(i,j),k),则该广义表的长度为________________。
GetHead(GetTail(F))=_______________。
2.一个n*n的对称矩阵,如果以行或列为主序压缩存放入内存,则需要个存储单元。
3.有稀疏矩阵如下:005700-300040020它的三元组存储形式为:。
三、综合题(共22分)。
1.(共8分)稀疏矩阵如下图所示,描述其三元组的存储表示,以及转置后的三元组表示。
0-30004060000007015080转置前(4分):转置后(4分):2.(共14分)稀疏矩阵M的三元组表如下,请填写M的转置矩阵T的三元组表,并按要求完成算法。
(1)写出M矩阵转置后的三元组存储(6分):M的三元组表:T的三元组表:ije2133244254
1
rsa是密钥算法中非常著名的一种算法,在pki中非对称密钥算法的最重要的一种
1.14MB rsa 算法
1
一种非对称共面波导相位补偿弯曲结构
2025/2/7 8:50:50 1.37MB 研究论文
1
1.纯js+html实现抽签功能,导入excel文件,得到抽签结果,将抽签table导出为PDF(html2canvas+jsPdf)、Excel文件(js-xlsx,实现合并单元格,并设置单元格样式字体、宽度、居中显示)2.导入excel文件,生成小组赛对阵图,并导出PDF,在excel文件中,手动添加晋级队伍,动态生成对称图。
2025/1/21 21:29:23 632KB js-xlsx js+html 抽签 导出PDF
1
用算法程序集(C语言描述)(第五版)+源代码第1章多项式的计算1.1一维多项式求值1.2一维多项式多组求值1.3二维多项式求值1.4复系数多项式求值1.5多项式相乘1.6复系数多项式相乘1.7多项式相除1.8复系数多项式相除第2章复数运算2.1复数乘法2.2负数除法2.3复数乘幂2.4复数的n次方根2.5复数指数2.6复数对数2.7复数正弦2.8复数余弦第3章随机数的产生3.1产生0到1之间均匀分布的一个随机数3.2产生0到1之间均匀分布的随机数序列3.3产生任意区间内均匀分布的一个随机整数3.4产生任意区间内均匀分布的随机整数序列3.5产生任意均值与方差的正态分布的一个随机数3.6产生任意均值与方差的正态分布的随机数序列第4章矩阵运算4.1实矩阵相乘4.2复矩阵相乘4.3一般实矩阵求逆4.4一般复矩阵求逆4.5对称正定矩阵的求逆4.6托伯利兹矩阵求逆的特兰持方法4.7求一般行列式的值4.8求矩阵的值4.9对称正定矩阵的乔里斯基分解与列式求值4.10矩阵的三角分解4.11一般实矩阵的QR分解4.12一般实矩阵的奇异值分解4.13求广义逆的奇异值分解法第5章矩阵特征值与特征向量的计算5.1约化对称矩阵为对称三对角阵的豪斯荷尔德变换法5.2求对称三对角阵的全部特征值与特征向量5.3约化一般实矩阵为赫申伯格矩阵的初等相似变换法5.4求赫身伯格矩阵全部特征的QR方法5.5求实对称矩阵特征值与特征向量的雅可比法5.6求实对称矩阵特征值与特征向量的雅可比过关法第6章线性代数方程组的求解6.1求解实系数方程组的全选主元高斯消去法6.2求解实系数方程组的全选主元高斯-约当消去法6.3求解复系数方程组的全选主元高斯消去法6.4求解复系数方程组的全选主元高斯-约当消去法6.5求解三对角线方程组的追赶法6.6求解一般带型方程组6.7求解对称方程组的分解法6.8求解对称正定方程组的平方根法6.9求解大型系数方程组6.10求解托伯利兹方程组的列文逊方法6.11高斯-塞德尔失代法6.12求解对称正定方程组的共岿梯度法6.13求解线性最小二乘文体的豪斯伯尔德变换法6.14求解线性最小二乘问题的广义逆法6.15求解病态方程组第7章非线性方程与方程组的求解7.1求非线性方程一个实根的对分法7.2求非线性方程一个实根的牛顿法7.3求非线性方程一个实根的埃特金矢代法7.4求非线性方程一个实根的连分法7.5求实系数代数方程全部的QR方法7.6求实系数方程全部的牛顿下山法7.7求复系数方程的全部根牛顿下山法7.8求非线性方程组一组实根的梯度法7.9求非线性方程组一组实根的拟牛顿法7.10求非线性方程组最小二乘解的广义逆法7.11求非线性方程一个实根的蒙特卡洛法7.12求实函数或复函数方程一个复根的蒙特卡洛法7.13求非线性方程组一组实根的蒙特卡洛法第8章插值与逼近8.1一元全区间插值8.2一元三点插值8.3连分式插值8.4埃尔米特插值8.5特金逐步插值8.6光滑插值8.7第一种边界条件的三次样条函数插值8.8第二种边界条件的三次样条函数插值8.9第三种边界条件的三次样条函数插值8.10二元三点插值8.11二元全区间插值8.12最小二乘曲线拟合8.13切比雪夫曲线拟合8.14最佳一致逼近的里米兹方法8.15矩形域的最小二乘曲线拟合第9章数值积分9.1变补长梯形求积法9.2变步长辛卜生求积法9.3自适应梯形求积法9.4龙贝格求积法9.5计算一维积分的连分式法9.6高振荡函数求积法9.7勒让德-高斯求积法9.8拉盖尔-高斯求积法9.9埃尔米特-高斯求积法9.10切比雪夫求积法9.11计算一维积分的蒙特卡洛法9.12变步长辛卜生二重积分方法9.13计算多重积分的高斯方法9.14计算二重积分的连分方式9.15计算多重积分的蒙特卡洛法第10章常微分方程组的求解10.1全区间积分的定步长欧拉方法10.2积分一步的变步长欧拉方法10.3全区间积分维梯方法10.4全区间积分的定步长龙格-库塔方法10.5积分一步的变步长龙格-库塔方法10.6积分一步的变步长基尔方法10.7全区间积分的变步长默森方法10.8积分一步的连分方式10.9全区间积分的双边法10.10全区间积分的阿当姆斯预报校正法10.11全区间积分的哈
2025/1/9 6:30:24 156.11MB 常用算法程序集 C语言 C++ 第五版
1
共 239 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡