北京市自然科学基金(4032009)
- 作品数:48 被引量:231H指数:9
- 相关作者:何华灿王万森罗敏霞付利华袁修久更多>>
- 相关机构:西北工业大学首都师范大学运城学院更多>>
- 发文基金:北京市自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术理学文化科学哲学宗教更多>>
- 建立JSF自定义复合组件被引量:2
- 2006年
- 为了使开发者可以创造性的利用JSF提供的灵活的API类建立定制的、可重用的组件来扩大JSF组件库,节省开发时间,详尽研究了JSF的自定义组件模型,制定了一套自定义组件的建立步骤,并依此步骤演示创建了一个常用的输入验证复合组件。
- 赵冬生王冠宇
- 关键词:JSF自定义组件
- 泛蕴涵的若干性质被引量:1
- 2005年
- 泛蕴涵联结词是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统中并且具有普遍意义的逻辑运算之一。论文首先对文[6]中泛蕴涵联结词的定义进行改进,使其定义更为严格且易于运算,并研究了泛蕴涵联接词的若干性质;其次分别给出泛蕴涵与D-P条件和(T-T1)条件的关系,得出泛蕴涵在什么情形下分别满足它们。
- 马盈仓何华灿罗敏霞
- 关键词:泛逻辑学
- 基于广义相关系数的Agent行为决策模型被引量:3
- 2005年
- 对于Agent之间交互作用的研究是多Agent系统研究领域中的一个重要方面。Agent的行为决策作为在进行交互作用时的关键过程,更引起研究者的极大重视。而现有的对于Agent的行为决策的研究多局限于特定的交互作用环境或特定的应用中,如协作、协商、竞争等。基于广义相关系数的MAS交互作用框架,将各种类型的交互作用——协作、自利、竞争、敌对——都纳入到这一统一框架之下。本文在这一框架的基础上,建立了基于广义相关系数的Agent模型,以及基于广义相关系数的Agent行为决策模型。该决策模型不再受限于单一的环境,而是可以根据A-gent间的广义相关系数,灵活地进行行为选择。提高了Agent在开放的、动态的环境中的适应性,其行为效果也更加符合Agent的设计目的。
- 王澜何华灿
- 关键词:广义相关系数智能AGENT软件开发模式
- 泛逻辑学的蕴涵性质被引量:2
- 2005年
- 蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。
- 薛占熬何华灿
- 关键词:泛逻辑学蕴涵算子伴随对正则性单调性
- Blog应用的技术解析被引量:7
- 2006年
- 从Blog面世以来,如何有效地应用Blog是学界感兴趣的课题之一,但Blog的“零技术”使很多人忽略了Blog开发者提供的支持技术。Blog有三大核心功能,RSS、TrackBackPing和Permalink。本文详细介绍了前两者和Tag标签的应用现状和实现方法,并对Blog及其技术的应用做了简要分析。
- 郭华伟赵冬生王万森
- 关键词:BLOGRSS信息传播
- 理想状态下泛逻辑的形式演绎系统β被引量:1
- 2004年
- 本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。
- 罗敏霞何华灿
- 关键词:人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统
- 一种泛逻辑代数系统被引量:8
- 2005年
- 文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一步证明了U B代数与M V代数、正规FI代数是等价的。
- 罗敏霞何华灿
- 关键词:剩余半群FI代数MV代数
- 分形图像的泛逻辑运算模型被引量:3
- 2004年
- 泛逻辑学与分形理论是研究非线性自然系统的新兴科学,它们在复杂系统与计算机图像处理中已有良好的应用。论文首先给出了分形图像的测度选取原则与分维计算方法,然后利用泛逻辑学的基本原理,首次在分形图像中引入“泛逻辑”的概念。文章分析并建立了分形图像的“非与或”运算模型,并实现了分形图像的泛逻辑运算仿真系统,得到了良好的运算结果。这给分形图像的研究提供了一种新的思路,同时也拓展了泛逻辑学的应用领域。
- 毛明毅何华灿陈志成葛敬亚
- 关键词:分形图像分形维数泛逻辑
- 优势关系下的相容约简和下近似约简被引量:32
- 2006年
- 定义了决策表在优势关系下的相容约简和下近似约简,优势关系下的相容约简是优势关系下一致决策表约简的推广。证明了优势关系下的下近似协调集是优势关系下的相容协调集。举例说明了优势关系下的相容协调集不是优势关系下的下近似协调集,给出了优势关系下的相容约简和下近似约简的判定定理和可辨识矩阵,由此可以给出它们的约简算法。
- 袁修久何华灿
- 关键词:辨识矩阵
- 泛逻辑泛运算模型之间的关系被引量:2
- 2006年
- 研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。
- 罗敏霞何华灿马盈仓
- 关键词:DE