基于BAM的用户查询与网页匹配的研究

提出一个新匹配的策略使用更加精确和现实的概念以提高过去的基于关键词的匹配策略.根据从各个网页中提取的自然语义概念为每个网页建立1个概念格子.这样概念格由双向联想记忆存储器进行编码以区别于过去复杂概念格建立算法.然后提取这些形式概念中与查询的关键词相关的对象与属性进行匹配操作.     

形式三角矩阵环的reduced性和正则性

设T=A0M B是形式三角矩阵环,则T是reduced环,Von Neumann正则环,强正则环及弱正则环,当且仅当A,B是reduced环,Von Neumann正则环,强正则环及弱正则环,且M=0.     

三元概念分析综述

三元概念分析是形式概念分析的推广,也是人工智能领域较新的一个重要研究分支,涉及机器学习、数据挖掘和信息检索等。文中对三元概念分析的研究现状及发展趋势进行了梳理,着重介绍了三元概念分析现有的基本理论、方法及其应用,并阐述了与形式概念分析的联系,以及未来可以进一步研究的工作。     

一种理性安全协议形式化分析方法及应用

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.     

基于基概念的面向属性概念格建格方法

目的基于基概念构造面向属性概念格。方法通过每个对象对应的面向属性概念格的基概念,利用其外延与内涵逐层寻找面向属性概念。结果利用基概念找到全部面向属性概念,从而得到完整的面向属性概念格。结论利用基概念可以逐层获得所有面向属性概念,也可以解决其他类型概念格的构造问题。     

Subposition assembly-based construction of non-frequent concept semi-lattice

An efficient way to improve the efficiency of the applications based on formal concept analysis (FCA) is to construct the needed part of concept lattice used by applications. Inspired by this idea, an approach that constructs lower concept semi-lattice called non-frequent concept semi-lattice in this paper is introduced, and the method is based on subposition assembly. Primarily, we illustrate the theoretical framework of subposition assembly for non-frequent concept semi-lattice. Second, an algorithm called Nocose based on this framework is proposed. Experiments show both theoretical correctness and practicability of the algorithm Nocose.     

浅谈曹明伦译《培根随笔》的“形似”

培根的Essays是散文史上不朽的杰作,在众多的汉译本中,曹明伦的译本以其文笔优美而享有较高的声誉。大量的语料库数据显示,曹明伦的译文较好地保留了原文中的基本词汇和句法特征,并通过大量使用单音节词、四字格、古汉语词汇及书面语体词汇等手段,传达了原文古奥、典雅的文风,实现了和原文的"形似",达到了形神兼备的效果。     

微分方程系统不可积性问题研究

研究了周期系统Laurent多项式型首次积分和有理首次积分的不存在性问题。利用Floquet理论,证明了如果系统的特征乘数是瓕-非共振的,则系统在平衡点附近不存在Laurent多项式型首次积分。进一步,还在有理函数空间考虑了这一问题,并得到了相应的结果。     

逻辑学的革命:从形式逻辑到价值逻辑

形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.