李立峰
- 作品数：10 被引量：42H指数：3
- 供职机构：西安邮电学院理学院应用数学系更多>>
- 发文基金：陕西省教育厅科研计划项目陕西省教育厅自然科学基金陕西省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- ■ukasiewicz命题逻辑系统中有限命题集的约简理论被引量：2
- 2009年
- 在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。
- 李立峰张建科冯锋
- 关键词：完备性定理
- 一类非线性极小极大问题的改进粒子群算法被引量：9
- 2008年
- 针对一类非线性极小极大问题目标函数非光滑的特点给求解带来的困难,利用改进的粒子群算法并结合极大熵函数法给出了此类问题的一种新的有效算法。首先利用极大熵函数将无约束和有约束极小极大问题转化为一个光滑函数的无约束最优化问题,将此光滑函数作为粒子群算法的适应值函数;然后用数学中的外推方法给出一个新的粒子位置更新公式,并应用这个改进的粒子群算法来优化此问题。数值结果表明,该算法收敛快?数值稳定性好,是求解非线性极小极大问题的一种有效算法。
- 张建科李立峰周畅
- 关键词：粒子群算法进化算法极小极大问题极大熵函数
- 一类特殊的粗糙逻辑代数的不确定性度量
- 2013年
- 基于已有的包含度理论,在一类特殊的粗糙逻辑代数中首次引入了元素的粗糙真度,粗糙度等概念。进一步,引入了针对两个元素的粗糙相似度及粗糙包含度的概念,详细研究了它们的性质。这些概念可用于展开带有粗糙信息特征的近似推理。
- 马晓珏李立峰
- 一类基于R_0蕴涵算子的模糊概念格
- 2007年
- 目的建立一类模糊概念格。方法基于对一类模糊Galois联络和蕴涵算子的分析,选用R0蕴涵算子在0.5<δ<1.0的情况下建立一类模糊概念格。结果随着δ取值的减小,相应的模糊概念的个数也会变少,其对应的格结构也会变得更为简单。结论与人们对概念的直观理解相一致。
- 李立峰
- 关键词：概念格
- 基于PHP5和Axis实现四则运算的Web服务系统
- 2010年
- 在当今Web领域,Web Services是一个实现SOA架构的新标准,以惊人的速度发展。Axis作为一个SOAP引擎,提供创建服务器端、客户端操作的基本框架。PHP5支持对SOAP的扩展,提供和调用Web Services功能。该文给出了用PHP5来调用在Axis上发布的四则运算Web Services的实例,并给出了客户端和服务器端的SOAP传递消息过程。
- 杨楠周元哲李立峰
- 关键词：WEB服务SOAAXISSOAPPHP5
- n值命题逻辑系统L_n*中有限命题集的相容性与约简被引量：1
- 2009年
- 设Γ为有限命题集,首先讨论了Γ在不同的n值命题逻辑系统Ln*中的相容性问题,提出了Γ的约简理论,从命题集Γ所诱导的多值形式背景出发,运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理。
- 李立峰
- 关键词：完备性定理相容性概念格
- 二值命题逻辑公式的语构程度化方法被引量：18
- 2008年
- 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.
- 张东晓李立峰
- 关键词：二值命题逻辑真度理论
- 概念格在二值命题逻辑命题集约简中的应用被引量：13
- 2007年
- 概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.
- 李立峰张东晓
- 关键词：完备性定理概念格
- 一种寻找极小不可满足子公式的方法
- 2009年
- 用F表示经典命题逻辑的合取范式(CNF)公式,Ci为F中的子句。公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足。本文在经典命题逻辑中引入由F所诱导的形式背景,并基于此建立了概念格;给出了F不可满足公式的判定方法,当F为不可满足公式时,运用概念格的方法从F及其子句集的关系出发给出了F极小不相容子公式的判定定理。
- 李立峰
- 关键词：合取范式概念格
- 基于粒子群的信赖域算法及其收敛性被引量：2
- 2007年
- 把搜索性能良好的粒子群算法和总体收敛性良好的信赖域算法有效融合,提出了具有局部随机搜索和全局确定性搜索性能的新算法。该方法具有良好的全局收敛性,为解决多峰函数优化问题提供了一种有效的算法。
- 张建科李立峰张小蹦周畅
- 关键词：信赖域粒子群多峰函数
