工学 >>> 计算机科学技术 >>> 人工智能 >>> 人工智能理论 >>>
搜索结果: 76-90 共查到知识库 人工智能理论相关记录925条 . 查询时间(1.234 秒)
针对科技项目团队能力评估问题进行了研究,引入粗糙集和信息熵理论,总结以往项目经验,建立了基于粗糙集的团队能力指标评价模型。最后通过实例分析,对该模型的科学性和可行性进行了验证。
基于F-逻辑和O-逻辑,提出了一种带值限制的本体形式表示语言。一个本体包括类框架、槽框架、类槽框架以及个体框架。本体通过槽的框架来说明对该槽的一般值限制。本体中的一个类和一个槽对应着一个类槽;并且通过类槽的框架来说明用该槽来对这个类进行描述时的特定的值限制。在给出了本体的形式语法后,讨论了本体的继承机制;并且通过具体示例来对本体以及继承机制进行阐述。
针对目前多策略本体映射中各种映射策略不能根据待映射本体间的差异进行不同的映射处理、多策略集成时也没有充分利用本体包含的语义信息等问题。提出了一种动态多策略本体映射与集成方法,该方法首先对部分关键策略进行了动态地改进,然后利用层次分析法对不同的映射策略进行集成,从而得到最终的映射结果。实验结果表明,该方法在保证通用性和稳定性的同时,提高了映射结果的查全率和查准率。
针对固定电话和移动电话用户人数的时间序列,将小波变换与R/S分析法,多重分形相结合,探讨了系统的动力学特性和演化规律,并从分形维数、非周期循环长度、奇异性指数等方面指出电话用户人数增长趋势存在强持续性和长期记忆性以及具有多重分形特征,随着配分阶数的增大,多重分形随之增强,并得出移动电话人数的多重分形特性更强。接着对原始数据和小波重构后的数据进行了回归拟合比较,结果证明小波重构后的数据拟合程度更高,...
自从科学的管理思想引进生产过程中,管理者开始注重计算机的辅助作用。Job Shop调度问题(JSP)是许多实际生产调度的简化模型,由于解空间的规模巨大,给求解带来了很大的挑战。在量子比特编码的基础上,设计了两种解码方式,结合微粒群算法(PSO)的更新式对量子角进行智能调整,形成了混合量子算法(HQA)。但HQA在求解JSP时,效果并不好。在HQA的框架下,增加了一些寻优机制,使得算法求解性能有显著...
在L-fuzzy拓扑空间中,利用Dα-闭集定义了序同态的Dα-连续性、强Dα-连续性、Dα-闭序同态、分子网的Dα-连续性等.系统的研究了这些概念的特性及相关性质.
基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念之间的从属关系以及概念和性质之间的继承和缺省继承关系。在本体的缺省理论中,本体中所有的断言被表示为事实;并且性质从概念到其子概念的缺省继承被表示为正规缺省。在给出本体的定义和推理规则后,对本体的缺省理论及其特性进行了深入地研究。
初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。
图同构的判定性问题是图论理论中的一个难问题,至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想,也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件,即在子图同构的前提下,根据新增顶点及相应关联边的关系,判断母图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用数学归纳法证明了这个充分必要条件的成立。
首先建立AM-FM数学模型,用多个相近载波的调幅信号组合描述它。利用最小二乘法对幅度调制和频率调制两个部分分别进行非线性拟合;拟合以相关系数满足一定条件为精度控制原则,拟合项数以相邻相关系数不再显著变化为判定条件。有效性检验证明该方法切实可行。重力固体潮IMF的拟合结果表明,AM-FM数学模型可以很好地刻画重力固体潮IMF;重力固体潮是多个AM-FM信号合成的复合信号。为后续深入研究重力固体潮的A...
支持向量机(support vector machine,SVM)的学习性能和泛化能力在很大程度上取决于参数的合理设置. 将支持向量机的参数选择问题转化为优化问题,以模型预测均方根误差为评价函数,提出一种引入混沌变异操作的改进分布估计算法(estimation of distributionalgorithm,EDA),并将其用于优化求解ε-支持向量机的参数:惩罚因子、不敏感损失系数以及高斯径向基...
在联盟结构生成过程中,同势的2个联盟通常具有相同值或相似值。在同势同值情况下建立不同联盟的限界时,必须搜索势结构图的最底两层。研究最优势结构生成问题,提出一种给定限界的势结构生成算法,确定需要进一步搜索的势结构。分析结果表明,搜索势结构图的最底两层和顶层后,通过搜索势结构集合,可以得到符合要求的限界。与其他势结构生成算法相比,该算法需要搜索的势结构数最少。
针对GEPSVM可能存在奇异性问题,提出一个改进的GEPSVM算法——SMGEPSVM。基于简单特征值问题,得到2个非平行过原点的超平面。与GEPSVM相比,SMGEPSVM不仅可以求解XOR问题,还可求解简单特征值问题,避免GEPSVM奇异性问题,测试精度好于GEPSVM,学习速度更快,其计算结果在人工数据集与UCI上得到了验证。
多数现有特征提取方法仅采用简单的形态特征,存在走与跑识别率较低的问题。将运动速度特征与较精确分割并归一化图像大小后的主分量分析外形特征相结合,采用支持向量机从8个方向对跑、蹲、站、弯腰、招手、指和走7种人体行为进行识别,结果证明走与跑的识别率得到很大提高。
讨论了递归程序设计的公式化方法,指出现有方法的不足,并提出了一种新的基于求解状态的递归程序设计公式化方法,在一定程度上达到了递归程序设计公式化、简单化的目的。最后通过两个具体例子,说明了如何使用这种新的公式化方法进行递归程序设计。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...