一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

一种基于语义相似度的文本聚类算法

文本聚类在很多文本挖掘和信息检索系统中发挥着重要的作用。现有的聚类算法大多数都是基于向量空间模型,文档集合中出现的单词词频作为特征项。这些算法都存在数据维数过高、聚簇难以描述的问题,而且忽略了单词间的语义联系。本文提出了一种基于语义相似度的文本聚类算法——TCU SS(Text clustering usingsem an ticsim ilarity)算法。TCU SS算法将文档表示成概念列表,有效地解决了数据维数高和聚簇描述难的问题,并给出如何利用概念列表进行聚簇描述的方法。TCU SS算法利用两个概念列表中单词间的语义相似度作为文档间相近程度的度量,并以图为基础进行聚类分析,避免有些聚类算法对聚簇形状的限制。实验证明,TCU SS算法提高了聚类质量。     

一种基于语义分析的大数据视频标注方法

提出一种基于Spark计算框架的海量视频语义标注方法。将存储在Hadoop分布式文件系统（Hadoop distributed file system,HDFS）上的海量视频部署到若干计算节点上,依据分形特征实现镜头快速分割。提取样本关键帧的颜色、纹理和分形特征向量,进行元学习策略训练,进而形成视觉词典。根据视觉词典对检测视频内容进行分析,产生一系列能表征视频内容的视觉单词。根据重要程度,通过马尔科夫链按重要程度对视频的视觉单词进行排序,并将排列结果作为该视频的标注。最后,从检测正确率、平均运行时间和扩展效能方面与传统分布式计算模型进行了对比。     

产出导向法指导下的英语辩论教学案例设计

本文以外研社教材《大学思辨英语教程口语4:辩论之术》第八单元为例,深挖文本中的知识点和育人元素,结合产出导向法（以下简称“POA”）教学理念,重点探索促成环节的课堂教学流程设计。本次教学实践表明POA能够有效帮助教师在实现教材思想性和科学性统一的同时打造“两性一度”的英语辩论课堂,满足新文科背景下培养英语专业人才的需要。     

面向旅游领域的语义查询扩展

针对目前查询扩展的不足,以旅游领域为背景,提出利用本体推理以及本体中的实体相关度综合考虑来获得查询扩展词,并对扩展词进行权重调整,提高了检索结果的准确率和召回率。     

基于语义相似度计算的航天标准关联度评价

随着航天领域各级各类标准编制数量的逐年递增,相关标准之间的交叉重复制定问题随之而来。为解决该问题,文中通过计算语义相似度的方法开展航天领域标准名称、标准范围及主要内容的关联度评价。算例分析结果表明,该方法可以有效评估标准间的关联程度。     

社会化标注系统中用户需求偏好的一种获取方法

传统的检索系统由于其通用的性质,难以满足不同用户所拥有的不同需求偏好.在社会化标注系统中,信息用户能够主动参与网络信息资源的组织与获取,因而其个性化的需求偏好能够较充分地得以体现.文中基于专家制定的叙词表来确定用户需求可能的语义空间维度,然后对用户标注过程中所运用的标签词汇进行量化,在此基础上,运用较成熟的BP神经网络模型,计算出标签词汇与叙词表之间的关联权重,进而用该权重矩阵来表示用户的语义性偏好特征,该语义模型能够在语义空间中定量化地确定信息用户的偏好向量.     

全民健身运动的体育资源开发调查与分析

摘 运用文献资料法、专家访谈法、问卷调查法、数理统计法来进行调查与研究,从长沙市全民健身运动开展的体育资源利用实际情况出发,对长沙市全民健身运动开展的情况进行分析,根据全民健身运动过程中体育资源利用的情况,结合实际,提出了全民健身运动开展体育资源开发的对策,希望能为建立符合长沙市实际情况需要的全民健身运动发展模式寻求理...     

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

高超声速飞机纵向通道的多级模糊逻辑控制

针对飞行过程中高超声速飞机的纵向模型具有不稳定的动态特性,多变量之间的强耦合以及易变的模型参数,采用多级模糊逻辑控制为其纵向通道设计飞行控制系统。该系统由控制内环和控制外环组成,控制内环用于稳定纵向的飞行姿态,控制外环可以确保高超声速飞机对指令信号的准确响应,将两者结合起来设计的飞控系统具有高度非线性解耦控制能力。因其控制过程不依赖于高超声速飞机的精确模型,故保证了系统的强鲁棒性能。仿真研究表明,该控制系统可以维持高超声速飞机的纵向稳定性能。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

大型洗涤脱水机微电脑程序控制器

本文以大型洗涤脱水机的微电脑程序控制器为应用实例,介绍用一位微处理器芯片组成微电脑程序控制器的方法。作者在进行硬件电路研制时尽量考虑了它的通用性,只要根据不同的控制对象重新编程,该控制器就可用于其他的程序控制、定时控制、逻辑判别控制等工业控制。