Lukasiewicz语义集上的紧Hausdorff拓扑

以Ω记从全体命题之集F（S）到单位区间的全体Lukasiewicz赋值之集.本文通过一种自然的方法在Ω上引入了Fuzzy拓扑δ,证明了其为第二可数的零维良紧空间,并证明了δ在Ω上生成的截拓扑空间是第二可数的紧Hausdorff空间,从而是可度量化的空间.

集间两级语义互补的小样本语义分割

现有的小样本语义分割模型通常只提取单一级别的语义特征,然而由于小样本数据的样本量少、各级语义特征具有不同属性等原因,提取单一级别语义特征的网络模型很难在保证分割能力的同时兼具泛化性.针对该问题,提出了一种集间两级语义互补的小样本语义分割方法.该方法使用具有强类别特征的支持集高级语义特征对具备泛化性的查询集中级语义特征加权,在增强查询集各目标类别特征的同时保留查询集中级语义特征的泛化能力;另外,该模型通过最大化支持集潜在语义信息、为查询集构建非参数学习的先验信息等方式增强两集信息之间的交互性以获得更丰富的判别信息.该方法在PASCAL-5i数据集上进行仿真实验,mIoU值在1-shot和5-shot两类设置上分别能达到45.3%和48.8%,其结果超越部分先进主流的小样本语义分割算法,且网络模型的参数量也控制在可以接受的范围之内.

面向中文科学数据集的句子级语义匹配模型

针对现有以词为粒度的语义匹配模型难以理解句子级科学数据集元数据的问题,提出了一个面向中文科学数据集的句子级语义匹配(CSDSM)模型。该模型使用CSL数据集对SimCSE和CoSENT进行训练生成CoSENT预训练模型。基于CoSENT模型,引入多头自注意力机制进行特征提取,通过余弦相似度与KNN分类结果加权求和得到最终输出。以国家地球系统科学数据中心开放的语义元数据信息作为自建科学数据集进行实验,实验结果表明:与中文BERT模型相比,所提模型在公共数据集AFQMC、LCQMC、Chinese-STS-B和PAWS-X上的Spearman指标ρ分别提升了0.0448,0.0290,0.1777和0.0509;在自建科学数据集上的F 1和Acc分别提升了0.0788和0.0634,所提模型能够有效地解决科学数据集句子级语义匹配问题。

描述逻辑FL-循环术语集的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^-循环术语集的语法、语义和不动点模型的构造方法.针对FL^-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL^-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.

考虑决策者心理行为的概率语义术语集多属性决策方法

概率语义术语集可以通过给语义赋予概率以表达不同程度偏好,采用概率语义术语集获取专家犹豫和不确定的评价信息。针对传统多属性决策中指标权重确定没有考虑指标间相互影响关系的问题,采用概率语义DEMATEL方法分析指标间的相互影响关系,其中采用二元语义将指标间关联关系概率语义术语集的得分函数转换为精确数值,得到指标的权重。考虑决策者的不同偏好和心理行为,采用改进的概率语义TODIM方法对决策对象进行排序。最后以某班轮公司的综合竞争力评估为例,验证了该方法的有效性。

描述逻辑εLN循环术语集的不动点语义及推理

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义).针对εLN的需要,重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系给出了不动点语义下εLN循环术语集的可满足性和包含关系推理算法,并证明了推理算法是多项式时间复杂的.

基于关联数据的集成信息平台语义化实现方法研究

首先,针对关联数据的国内外发展现状和相关技术进展进行研究,并且调研了目前主要的关联数据集,并深入研究了DBPedia数据集、DBLP数据集和CORDIS数据集。接着基于中国科学院集成信息平台CASIIP,同时结合中国科学院研究所群组集成知识平台项目一期、二期的建设情况,充分分析平台语义化扩展方面的需求和可行性,并且在关联数据的基础上提出了CASIIP语义化的扩展解决方案。最后在CASIIP的内容管理组件、搜索组件和综合资源管理组件中利用DBPedia的lookup和Spotlight分别实现了组件语义化扩展。实验证明,该方法合理可行,为CASIIP实现从基础内容发布建站平台软件到语义化集成资源的平台软件发展奠定了基础。

运用语义集索引法实现英文文本分类

为克服当前文本分类法中基于词形匹配带来的局限性,基于WordNet语义词典和隐含语义索引(LSI)模型,提出了基于语义集索引的英文文本分类方法.该方法在分类初期首先利用WordNet构建语义词典库,利用单词的语义集代替单词作为文本特征向量的特征项;然后利用LSI模型进一步深入挖掘语义集概念间的深层联系,将语言知识和概念索引有效地融合到文本向量空间的表示中.针对Na ve Bayes及简单向量距离文本分类法的实验结果显示,2种文本分类法的分类准确率均随着语义分析的深入逐步提高,充分表明了语义挖掘对文本分类的重要性和必要性.

一种适合弱标签数据集的图像语义标注方法

真实环境下数据集中广泛存在着标签噪声问题,数据集的弱标签性已严重阻碍了图像语义标注的实用化进程.针对弱标签数据集中的标签不准确、不完整和语义分布失衡现象,提出了一种适用于弱标签数据集的图像语义标注方法.首先,在视觉内容与标签语义的一致性约束、标签相关性约束和语义稀疏性约束下,通过直推式学习填充样本标签,构建样本的近似语义平衡邻域.鉴于邻域中存在噪声干扰,通过多标签语义嵌入的邻域最大边际学习获得距离测度和图像语义的一致性,使得近邻处于同一语义子空间.然后,以近邻为局部坐标基,通过邻域非负稀疏编码获得目标图像和近邻的部分相关性,并构建局部语义一致邻域.以邻域内的语义近邻为指导并结合语境相关信息,进行迭代式降噪与标签预测.实验结果表明了方法的有效性.

MPI集群环境下图像语义分类算法的并行化设计

为缩小图像的底层特征相似和高层语义相关之间的差距,常利用良好拟合能力的BP神经网络进行图像的多种语义分类.针对单BP神经网络在处理大规模图像数据和复杂分类模式中存在的学习时间长和分类效率低的问题,提出并建立了图像语义分类的多BP神经网络并行集成模型.在MPI集群环境下采用主从对等混合并行算法、对图像样本数据按类预分组等方法实现训练与分类,有效地完成BP神经网络图像多语义分类.实验结果取得了较高的查全率和准确率,趋近线性的加速比验证了该并行算法的正确性和高效性.

基于客户兴趣语义挖掘的产业集群信息平台构建研究

电子商务时代,满足客户个性化需求成为企业竞争的焦点,直接影响了产业集群竞争力提升的能力。本文提出以客户兴趣语义挖掘为核心的产业集群信息平台框架体系,即在企业本体的辅助下,利用知识挖掘技术从客户数据中深层次分析客户所感兴趣的产品或服务的概念和概念间关系,以及兴趣度,使该信息平台能够从语义的角度自主获取客户兴趣知识,提高产业集群价值链对客户知识共享和创新的能力,进而提高信息平台的客户满意度。

基于多粒度比例二元语义的集控水电站群安全评价方法

针对水电站群安全评价研究中很少关注集控水电站群整体运行的安全状况,在应用过程中存在信息丢失和无法处理具有不同语言偏好的专家评价信息的问题,引入比例二元语义方法,设计出不同粒度语言信息之间的转换方法,并总结了评价方法的应用过程。在某集控水电站群安全评价中的应用表明,该方法不仅很好地处理和代表了专家的初始语言信息,并且经过集结算子运算后的结果很好地对应了初始语言集,从而得到兼顾所有专家观点的无信息损失的评价结果,有效可行。

语义驱动的集成化产品建模

针对复杂产品研发过程中多领域协同对产品知识共享和重用的需求,提出一种语义驱动的集成化产品建模方法.结合多本体技术,给出了集成化产品建模框架,该框架由概念层和模型层构成,概念层包括高层核心产品本体和领域本体,模型层由主模型和领域模型等一族模型构成;同时还给出了集成化产品模型的形式化语义描述,在构建高层核心产品本体的基础上建立主模型;基于多领域本体,进行由概念层语义驱动的领域模型快速重构,在语义理解基础上实现跨领域的产品知识重用.

归纳类型的构造集语义

有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型．构造演算不存在经典集合论模型，但在构造集合论中有模型．本文刻画了构造演算中归纳类型的构造集语义．

空间语义理解能力评测任务设计的新思路—SpaCE2021数据集的研制

中文空间语义理解评测任务(SpaCE2021)以判断题的形式呈现,包括3个子任务:(1)中文空间语义正误判断;(2)中文空间语义异常归因合理性判断;(3)中文空间语义正误判断与异常归因合理性判断联合任务。SpaCE2021数据集包含18000多道判断题,语料规模超过200万汉字。相较于传统空间语义角色标注及空间推理任务,SpaCE2021兼顾了语料的真实性、数据集构建方法的便捷性以及空间语义理解的挑战性,是中文空间语义理解专项评测领域新的尝试。

基于二元语义的集控水电站群安全管理评价

相较于传统的单个水电站设置中控室的管理模式,集控水电站群管理模式能够节省人力成本,增加经营效益,提高水资源利用效率等。将PSR模型应用到安全管理评价中,通过分析压力-状态-响应模型,将某水电开发公司集控水电站群安全管理评价指标划分为安全制度、应急管理和安全文化氛围3类,并考虑到传统的安全管理现状评价方法容易导致信息缺失的特点,将二元语义群评价方法引入集控水电站群的安全管理评价中,结果表明:该水电开发公司的集控水电站的安全管理现状综合评价结果介于合格与比较好之间,且稍微偏向合格级别;该方法在实践中具有可操作性,能够相对简单有效地对集控模式下的各电站安全管理现状作出正确评价。

基于属性相悖集的有明确语义的关联规则挖掘方法APSM

发现关联规则是知识发现的有效方法之一,现有的关联规则挖掘算法,对于存在数据属性相悖时,往往会挖掘出一些无法理解的关联规则。该文针对学生素质综合评估,提出一种基于属性相悖集的过程和优先序列方法,成功地判定和消除了相悖属性,从而使所挖掘出的关联规则成为有明确语义的知识。

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的"主谓宾状"需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.

语义不确定时态的区间集重构及近似度量方法研究

为了解决语义不确定时态的近似精确度度量问题,针对不确定语义造成的时态不确定性与多样性,提出对不确定语义进行转换的思想,将其转换为邻域或区间,成为可计算问题;结合时态的粒度属性与不确定的语义,给出了不确定时态粒点和不确定时态粒区的形式化描述,不确定时态元素因此可参与运算;提出了时态区间集将时态元素在离散状态下进行重构,采用下近似和上近似的思想明确划分了不确定时态中的确定元素和不确定元素;进而给出了不确定时态粒点和不确定时态粒区的近似精确度计算方法.

有序逻辑程序的回答集语义

为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下不是构成线序结构,而是一般的格结构;在层次逻辑程序中,该类回答集语义都退化为普通的回答集语义.