张春霞

作品数：6被引量：21H指数：3
导出分析报告
供职机构：云南师范大学信息学院计算机科学与技术系更多>>
发文主题：人工智能谓词逻辑专家系统软件AGENT知识获取更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《计算机与现代化》《云南师范大学学报（自然科学版）》《计算机科学》更多>>
所获基金：“九五”国家科技攻关计划云南省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机图形学的高级建模技术
《思茅师范高等专科学校学报》2000年第3期4-6,共3页赵景秀 向永红 张春霞 赵家刚 张静远 
几种不同类型的计算机图形学高级建模技术 .这些技术包括分形、基于语法的模型、容积程序模型、隐式表面、微粒系统 .这些技术是过程性的而非方程式的 ,旨在提供一种简洁、有效、灵活和可控制的机制 ,产生出复杂物体和自然现象的详尽且...
关键词：分型 计算机图形学 建模技术 隐式表面 
函数恒等的数值判定及其机器实现问题
《云南师范大学学报（自然科学版）》2000年第2期6-8,共3页林毓材 张建军 向永红 张春霞 
省校合作项目"计算机辅助教学研究"资助
本文主要介绍了一种判定函数恒等的方法。这种方法的基本思想是 ,对于给定集 X到 Y上的函数集 ,寻找定义域 X中的一点 x,使得对任意 f ,g∈ ,f≡ g当且仅当 f ( x) =g( x) ,从而把 f与g恒等判定问题归结为 f与 g是否在点 x相...
关键词：解析函数 函数恒等 数值判定 失误概率 
计算理论研究的核心问题与方向被引量：4
《计算机与现代化》2000年第1期10-15,共6页向永红 张春霞 张建军 
论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。
关键词：计算理论 算法 计算模型 复杂度 计算机 
语义网络的知识获取及转换的研究被引量：10
《云南师范大学学报（自然科学版）》1999年第6期40-44,共5页夏幼明 徐天伟 张春霞 夏幼安 
南省自然科学基金!(97F018M);中科院陆汝钤研究员承担的国家"九五"攻关项目!(96- 729- 01- 06- 09)
本文对知识表示的工具之一语义网络做了简单的介绍，并且给出形式化的定义。语义网络作为表示知识的主要方法，成为知识库组成的主要形式，从而引出知识库的维护及推理的实现。我们在研究中发现，将面向对象技术引入语义网络的研究，成...
关键词：知识表示 语义网络 谓词逻辑 人工智能 知识获取 
Agent系统的推理模型与知识库组织结构的研究被引量：5
《计算机科学》1999年第11期13-15,41,共4页夏幼明 徐天伟 张春霞 
云南省自然科学基金;项目编号:97F018M;并得到中科院陆汝钤研究员承担的国家"九五"攻关项目的资助;项目编号:96-729-01-06-09
1.概述 Agent思想出现于70年代,80年代后期才逐渐发展起来,现已融入到计算机的各个应用领域。Agent的思想最初来源于社会学、经济学与生态学等学科。美国Stanford大学的Y.Shoham教授提出的AOP理论模型中,将Agent定义为包含了诸如信念、...
关键词：AGENT系统 推理模型 知识库 组织结构 信息处理 
软件Agent的初步研究被引量：2
《云南师范大学学报（自然科学版）》1999年第3期8-11,共4页夏幼明 徐天伟 张春霞 向永红 
云南省自然科学基金;国家"九五"攻关项目
本文首先介绍了Ａｇｅｎｔ的基本结构以及工作原理，对于Ａｇｅｎｔ处理器的工作机制进行了探讨。针对专家系统以及现有的Ａｇｅｎｔ系统进行了比较，分析了Ａｇｅｎｔ系统的特点。作者对原有的Ａｇｅｎｔ系统模型进行了研究，提出了一...
关键词：软件 AGENT 专家系统 学习模型 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部