5.3应用归结原理求取问题答案(1) 例5.23 已知: (1)如果x和y是同班同学,则x的老师也是y的老师。 (2)王先生是小李的老师。 (3)小李和小张是同班同学。 问:小张的老师是谁? 解 首先定义如下谓词: T(x,y)表示x是y的老师 C(x,y)表示x与y是同班同学。 已知条件可以表示成如下谓词公式: F1: x yz(C(x,y)  T(z,x) T(z,y)) F2: T(Wang,Li) F3: C(Li,Zhang)
2023-03-17 13:07:53 1.09MB 人工智能
1
适合入门到到精通,附源码,可运行,ASP.NET经典案例,主要包括:时间跟踪系统、图书馆管理信息系统、网上书店、在线求职系统
1
中国电信物联网模组需求白皮书-4G Cat1单模分册(2020.v1)
2023-03-16 15:18:52 357KB 白皮书 中国电信 5G模块
1
本标准针对用于保护计算机和电信系统内敏感信息的安全系统所使用的密码模块,规定了安全要求,本标准为密码模块定义了4个安全等级,以满足敏感数据以及众多应用领域的、不同程度的安全需求,针对密码模块的11个安全域,本标准分别给出了四个安全等级的对应要求,高安全等级在低安全等级的基础上进一步提高了安全性
2023-03-16 10:28:20 4.83MB
1
详细介绍客户需求收集方法、市场需求分析方法、产品需求分析方法、需求跟踪方法与思路、$APPEALS、姻亲图、usecase、RTM、RAS、QFD等需求主流分析方法,是架构设计与产品经理核心修炼技能。
2023-03-15 17:03:49 11.92MB
1
省人力资源市场数据采集系统需求.doc
1
矩阵、向量求导法则 中文版 包含所有情况和公式,适合翻阅查找 英文版包含推导,非常详细,适合精度,包含了矩阵tr技巧
2023-03-15 10:55:19 598KB 矩阵 偏微分方程
1
汇总了计算机研究生复试有关机器学习各章节简答题,使用了易于口头表达的语言进行了总结。包括了机器学习的常用概念及相关算法内容。可供研究生复试或相关专业岗位面试使用。 1. 什么是梯度爆炸和梯度消失?如何解决梯度消失、梯度爆炸? 2. 数据挖掘是干什么的? 3. 回归模型 4. k-means算法(k均值算法) 5. kNN (k近邻)学习 6. 决策树(ID3算法和C4.5算法) 7. 随机森林模型 8. SVM(支持向量机) 9. 朴素贝叶斯(naive Bayes) 1. 基础神经网络架构及常用名词 2. BP(back propagation,多层前馈)神经网络 3. 循环神经网络RNN、LSTM 网络: 4. CNN 网络 5. Hopfield 神经网络
2023-03-15 09:47:27 61KB 机器学习 研究生复试
1
出了一个全新的混合算法并命名为微粒群差分算法,该算法在标准微粒群算法的基础上结合了差分进化算法用于求解约束的数值和工程优化问题。传统的标准微粒群算法由于其种群单一性容易陷入局部最优值,针对这一缺点利用差分进化算法中的变异、交叉、选择3个算子来更新每次迭代每个粒子新生产的位置以使粒子跳出局部优值。融合了标准微粒群算法和差分进化算法优点的混合算法加速了粒子的收敛速度。为了避免惩罚因子的选择对实验结果的影响,采取了可行规则法来处理约束优化问题。最后将微粒群差分算法用于5个基准函数和两个工程问题,并与其他算法作了比较,试验结果表明,微粒群差分算法算法具有很好的精准性、鲁棒性和有效性。
2023-03-15 09:15:37 849KB 混合算法
1
不确定的微分方程已广泛应用于许多领域,尤其是不确定的金融领域。 不幸的是,我们不能总是得到不确定微分方程的解析解。 早期的研究人员提出了一种基于欧拉方法的数值方法。 本文设计了一种通过广泛使用的Runge-Kutta方法求解不确定微分方程的新数值方法。 给出了一些例子来说明Runge-Kutta方法在计算不确定性微分方程解的不确定性分布,期望值,极值和时间积分时的有效性。
2023-03-15 01:31:25 643KB Uncertainty theory; Uncertain differential
1