国家自然科学基金(60074014)
- 作品数：54 被引量：261H指数：9
- 相关作者：徐扬秦克云莫智文刘晓红邱雅竹更多>>
- 相关机构：西南交通大学四川师范大学成都理工大学更多>>
- 发文基金：国家自然科学基金四川省青年科技基金河南省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术经济管理医药卫生更多>>
- 基于路径搜索的格值命题逻辑自动推理方法被引量：3
- 2003年
- 提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.
- 李海明刘鹏仙徐扬
- 关键词：路径搜索格值命题逻辑删除策略
- 模糊集乘积的扩张运算
- 在Zadeh的模糊集概念基础上,给出模糊集乘积同态映射的概念;其次,讨论模糊集乘积的性质;然后根据扩张原理,在模糊集乘积同态、同构映射的条件下,研究模糊集乘积与模糊集乘积同态像之间的关系。
- 朱华徐扬陈树伟
- 文献传递
- 语义校对系统中的句子语义骨架模糊匹配算法被引量：7
- 2003年
- 本文给出了用句子语义骨架表示句子语义的具体方法和表示形式 .在语义校对系统中建立了这种形式的知识库 ,每一个知识条代表描述同一个事件的不同句子的共同特征 .采用模糊匹配方法计算语句的相似程度 .
- 郑逢斌郑逢斌陈志国乔保军
- 格值命题逻辑LP(X)中不可分极简式的性质被引量：1
- 2004年
- 基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法,能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念,本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论,得到了一些重要结论。
- 王伟徐扬秦克云
- 关键词：格值命题逻辑格蕴涵代数
- 铁路货车技术管理信息系统平台的优化研究被引量：2
- 2004年
- 针对铁路货车定检、施修、调度、技术管理等方面的工作特点,提出铁路货车技术管理信息系统(HMIS)平台。HMIS平台分为四个分平台,三个层次。根据平台网络体系、逻辑结构、数据结构进行归类分析。车间级分平台是货车技术数据的起始点,主要包括运用子系统、站修子系统、段修子系统、修配子系统、轮轴子系统。结合编码规范、系统特点及现场情况,提出故障略层快速定位算法。
- 寇玮华徐扬
- 基于泛系粗糙集等价算子上的粒计算模型(英文)被引量：2
- 2007年
- 标准粗糙集使用等价类作为粒来描述概念。本文弱化对等价关系的要求,将更广泛的粒计算模型建立到泛系粗糙集上去。本文通过对全域的分割和覆盖来诱导出泛系粗糙集上的粒计算模型。
- 唐孝莫智文
- 关键词：粒计算广义粗糙集
- 语义校对系统中的句子语义骨架模糊匹配算法
- 本文给出了用句子语义骨架表示句子语义的具体方法和表示形式。在语义校对系统中建立了这种形式的知识库,每一个知识条代表描述同一个事件的不同句子的共同特征。采用模糊匹配方法计算语句的相似程度.
- 郑逢斌姜保庆陈志国郭拯危乔保军
- 文献传递
- 广义关联规则基及其挖掘算法被引量：12
- 2004年
- 为了解决传统的关联规则挖掘中产生大量规则的问题,提出了项目集上闭集和广义关联规则基的概念,并得出了闭项目集的上闭集是它本身、上闭集是惟一的等性质.基于这些性质,给出了事物数据库的广义关联规则基,不仅保留了数据库中所有关联规则的信息,而且规则有一致的结构,从而最大限度地减少了规则生成的数量.此外,还设计了广义关联规则基的挖掘算法,并通过实例验证了它的正确性.
- 李天瑞杨宁马骏
- 关键词：数据库数据处理数据挖掘
- 基于有限格蕴涵代数的格值命题逻辑语法系统被引量：17
- 2004年
- 以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.
- 马骏高雅秦克云徐扬
- 关键词：多值逻辑逻辑代数格蕴涵代数语法系统格值命题逻辑
- Modeling a kind of Fuzzy Systems using Fuzzy Entropy
- ＜正＞As for dynamic systems with complex,ill-conditioned or strongly nonlinear characteristics,fuzzy modeling is...
- Ming QingYang XuTianmin Huang
- 文献传递
