张春霞
- 作品数：6 被引量：32H指数：4
- 供职机构：云南师范大学信息学院计算机科学与技术系更多>>
- 发文基金：“九五”国家科技攻关计划云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 函数恒等的数值判定及其机器实现问题
- 2000年
- 本文主要介绍了一种判定函数恒等的方法。这种方法的基本思想是 ,对于给定集 X到 Y上的函数集 ,寻找定义域 X中的一点 x,使得对任意 f ,g∈ ,f≡ g当且仅当 f ( x) =g( x) ,从而把 f与g恒等判定问题归结为 f与 g是否在点 x相等的判定问题。本文证明了这种方法对于相当大的一类函数集都成立。同时 ,并对这种方法的失误概率进行了讨论。得出在通常情况下其失误概率为零。
- 林毓材张建军向永红张春霞
- 关键词：解析函数
- Agent系统的推理模型与知识库组织结构的研究被引量：6
- 1999年
- 1.概述 Agent思想出现于70年代,80年代后期才逐渐发展起来,现已融入到计算机的各个应用领域。Agent的思想最初来源于社会学、经济学与生态学等学科。美国Stanford大学的Y.Shoham教授提出的AOP理论模型中,将Agent定义为包含了诸如信念、承诺、能力和决定等精神状态的实体。
- 夏幼明徐天伟张春霞
- 关键词：AGENT系统知识库信息处理
- 计算机图形学的高级建模技术
- 2000年
- 几种不同类型的计算机图形学高级建模技术 .这些技术包括分形、基于语法的模型、容积程序模型、隐式表面、微粒系统 .这些技术是过程性的而非方程式的 ,旨在提供一种简洁、有效、灵活和可控制的机制 ,产生出复杂物体和自然现象的详尽且生动的模型 .
- 赵景秀向永红张春霞赵家刚张静远
- 关键词：计算机图形学建模技术
- 软件Agent的初步研究被引量：11
- 1999年
- 本文首先介绍了Ａｇｅｎｔ的基本结构以及工作原理，对于Ａｇｅｎｔ处理器的工作机制进行了探讨。针对专家系统以及现有的Ａｇｅｎｔ系统进行了比较，分析了Ａｇｅｎｔ系统的特点。作者对原有的Ａｇｅｎｔ系统模型进行了研究，提出了一种组成Ａｇｅｎｔ系统的新模式：学习和推理模型，并且指出尚待进一步研究的课题。
- 夏幼明徐天伟张春霞向永红
- 关键词：AGENT专家系统人工智能
- 语义网络的知识获取及转换的研究被引量：11
- 1999年
- 本文对知识表示的工具之一语义网络做了简单的介绍，并且给出形式化的定义。语义网络作为表示知识的主要方法，成为知识库组成的主要形式，从而引出知识库的维护及推理的实现。我们在研究中发现，将面向对象技术引入语义网络的研究，成为目前的发展方向之一。特别地，对关系的继承属性的研究是本文所关注的问题。本文首先给出此问题提出的背景，并由实例引出算法设计的基本思想。提出从语义网络的表示中获取知识的机制，并给出由语义网络表示转换成谓词逻辑的表示的算法。
- 夏幼明徐天伟张春霞夏幼安
- 关键词：知识表示语义网络谓词逻辑人工智能知识获取
- 计算理论研究的核心问题与方向被引量：4
- 2000年
- 论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。
- 向永红张春霞张建军
- 关键词：复杂度计算机
