衷仁保
- 作品数：7 被引量：37H指数：2
- 供职机构：南昌大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学交通运输工程更多>>
- 符号计算语言CASC数学表达式核心化简系统
- 1992年
- 数学表达式的化简是符号计算系统的基础,又是一项很困难的工作。本文提出了一个基于“复杂关系”概念的化简方法,并用Turbo Pascal在微型机上实现,建造了符号计算语言CASC数学表达式化简系统的核心化简系统。
- 谢果然衷仁保任朝阳
- 关键词：数学表达式
- 符号积分被积函数识别的一种新方法——因子特征数识别法
- 1991年
- 本文在分析已有符号积分被积函数识别的方法后,提出一种新的更有效的识别的方法——被积函数因子特征数识别法。
- 谢果然衷仁保
- 关键词：计算机
- CASC语言实现中若干人工智能技术
- 衷仁保谢果然
- 关键词：人工智能程序语言语句专家系统
- 计算机代数与符号演算语言CASC被引量：6
- 1990年
- 计算机代数与符号演算语言CASC是一种高级程序设计语言,它可用于编制推演数学公式的程序。它是我们设计并用PASCAL在IBM-PC/XT上实现的。CASC还是一个数学专家系统,可解四十多类数学问题。本文阐述了CASC语言、并研究了公式推演语言的特点。阐述了自由变量和受束变量、表达式的原形、原值和当前值等概念,并研究了它们在实现自动公式推演中所起的关键作用。CASC的运行方式有会话式和批量式两种。
- 衷仁保谢果然黄晓龙
- 关键词：计算机代数
- 一个在Z[x]上多项式因式分解算法
- 1989年
- 用计算机实现多项式因式分解是计算机代数(公式推演)的一个重要研究课题。牛顿等人曾先后提出了在z[x]上多项式因式分解的数学方法。本文改进了他们的方法,并进一步给出了一个可在微型机上实现的在Z[x]上多项式因式分解的算法。
- 衷仁保吴定璋
- 关键词：计算机代数多项式
- 全文增补中
- 实现城市公交线网优化的数学模型和广义A＊算法被引量：29
- 1992年
- <正> 一、引言 城市公交线网优化是整个公共交通系统工程的一个重要部分。对于任何一个城市的公共交通系统,其网络布局的优劣是决定该系统质量的主要因素之一,系统运行良好的标志在于这个系统内各子系统之间的相互协调,在于这个系统的综合指标的高效率性。而这些问题的解决在于所建立的线网优化的数学模型及其实现算法。 长期以来大多数公交线网优化是采用运筹学中的数学规划论理论。本文将基于人工智能的理论,提出一个新方法,即广义A~*算法。它是人工智能中启发式搜索技术A~*算法理论的拓广。实践证明,用它来优化城市公交线网确能取得有效结果。
- 刘清衷仁保朱志勇谢磊
- 关键词：城市交通数学模型
- 全文增补中
- 求解孙子问题的算法及符号计算软件被引量：2
- 1996年
- 本文阐述在计算机上求解孙子问题的算法，并在微型机上用符号计算语言ＣＡＳＣ实现了这些算法。软件ＣＨＩＮＲＥＭＤ可对任意大整数情况求解孙子问题。
- 衷仁保马建
- 关键词：计算机代数
