向永红
- 作品数:5 被引量:20H指数:3
- 供职机构:云南师范大学信息学院计算机科学与技术系更多>>
- 发文基金:云南省自然科学基金“九五”国家科技攻关计划更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 函数恒等的数值判定及其机器实现问题
- 2000年
- 本文主要介绍了一种判定函数恒等的方法。这种方法的基本思想是 ,对于给定集 X到 Y上的函数集 ,寻找定义域 X中的一点 x,使得对任意 f ,g∈ ,f≡ g当且仅当 f ( x) =g( x) ,从而把 f与g恒等判定问题归结为 f与 g是否在点 x相等的判定问题。本文证明了这种方法对于相当大的一类函数集都成立。同时 ,并对这种方法的失误概率进行了讨论。得出在通常情况下其失误概率为零。
- 林毓材张建军向永红张春霞
- 关键词:解析函数
- 多Agent系统中依赖关系的研究被引量:5
- 2000年
- 多Agent 系统是分布式人工智能研究的一个重要分支。本文详细讨论了多Agent 系统中死锁依赖的性质以及三种解决死锁依赖的方法,为多Agent 系统中稳定性和活性的研究提供了有效的途径。
- 张春霞夏幼明向永红
- 关键词:多AGENT系统人工智能
- 计算机图形学的高级建模技术
- 2000年
- 几种不同类型的计算机图形学高级建模技术 .这些技术包括分形、基于语法的模型、容积程序模型、隐式表面、微粒系统 .这些技术是过程性的而非方程式的 ,旨在提供一种简洁、有效、灵活和可控制的机制 ,产生出复杂物体和自然现象的详尽且生动的模型 .
- 赵景秀向永红张春霞赵家刚张静远
- 关键词:计算机图形学建模技术
- 软件Agent的初步研究被引量:11
- 1999年
- 本文首先介绍了Agent的基本结构以及工作原理,对于Agent处理器的工作机制进行了探讨。针对专家系统以及现有的Agent系统进行了比较,分析了Agent系统的特点。作者对原有的Agent系统模型进行了研究,提出了一种组成Agent系统的新模式:学习和推理模型,并且指出尚待进一步研究的课题。
- 夏幼明徐天伟张春霞向永红
- 关键词:AGENT专家系统人工智能
- 计算理论研究的核心问题与方向被引量:4
- 2000年
- 论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。
- 向永红张春霞张建军
- 关键词:复杂度计算机