兰州大学信息科学与工程学院计算机科学系
- 作品数：71 被引量：295H指数：7
- 相关作者：李海博刘永兵葛利杨宝国包煊更多>>
- 相关机构：华东师范大学信息科学技术学院华东师范大学信息科学技术学院计算机科学技术系浙江大学数学系更多>>
- 发文基金：国家自然科学基金甘肃省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电子电信自然科学总论更多>>
- ASP技术在加速器控制中的应用探索
- 2001年
- 详细讲述了 ASP技术在加速器系统中的应用方法和过程。介绍了控制系统软件结构的发展趋势、ASP技术的原理、利用 ASP技术访问 WEB数据库的方式 ,并讨论了
- 张桂戌吴伟纵姝洁
- 关键词：ASP技术WEB数据库加速器控制系统软件结构网页设计技术
- 计算机算法设计中的归约原理与应用被引量：1
- 1993年
- 本文以图为模型,给出了归约的概念,并将其应用到图的最小生成树问题中,得到了计算复杂度平均情况下为θ(m+n),最坏情况下为θ((m-n)1ogn)的最小生成树算法.该算法易于在多机处理中并行化,文中指出了归约概念在其他方面的应用.
- 武继刚
- 关键词：归约最小生成树
- 拟代数簇包含关系的判定算法
- 2002年
- 判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .
- 王继民李廉
- 关键词：逻辑转换
- 广义五阶KdV方程的孤波解与孤子解被引量：40
- 2001年
- 利用求解非线性代数方程组的吴文俊特征列方法 ,借助计算机代数系统获得了一类较广泛的五阶非线性演化方程的孤波解和孤子解 。
- 李志斌cs.ecnu.edu.cn潘素起
- 关键词：五阶KDV方程孤波孤子解非线性代数方程组
- 智能电度表校验仪
- 1990年
- 利用单片微型计算机设计成一台具有智能化的电度表校验仪,文中阐明了软、硬件的设计思想和设计方法,并讨论了测量原理及误差等问题.
- 席先觉李忠民
- 关键词：电度表智能仪表校验仪单片机
- 具有非单调推理能力的三值逻辑系统TL
- 1992年
- 常识推理作为一种非单调的推理方式,当知识库获得新的知识后,有可能摒弃原有的一些信息.但古典逻辑没有这种特性,为此,在 KLEENE 三值逻辑基础上,加入一个假设算子 M 而得到一种能够反映非单调推理过程的三值逻辑系统
- 谭红艳李永礼
- 关键词：三值逻辑非单调推理结构树
- 从过程式程序到Prolog程序
- 1996年
- ＰＲＯＬＯＧ是一种人工智能语言，它与过程控制语言在数据结构、程序结构和程序设计方法等许多方面都不相同．本文描述了如何从过程的观点出发，编写ＰＲＯＬＯＧ程序．可帮助熟悉过程控制语言的程序员使用ＰＲＯＬＯＧ．
- 杨萍
- 关键词：过程控制人工智能程序设计PROLOG程序
- 基于泛系的泛化变精度粗糙集模型
- 本文提出的基于泛系的泛化变精度粗糙集模型是基于隶属关系的一种新的泛化。并简要讨论这种模型下的集合的相对可辨别性，归近似的性质，属性的近似依赖性，近似约简等问题。
- 王晓艳刘莹魏新建李永礼林和
- 关键词：泛系理论粗糙集理论
- 文献传递
- 非线性波方程的精确孤立波解被引量：141
- 2000年
- 建立了一种求解非线性波方程精确孤立波解的双曲函数方法 ,并在计算机代数系统上加以实现 ,推导出了一大批非线性波方程的精确孤立波解 .方法的基本原理是利用非线性波方程孤立波解的局部性特点 ,将方程的孤立波解表示为双曲函数的多项式 ,从而将非线性波方程的求解问题转化为非线性代数方程组的求解问题 .利用吴消元法或Gr bner基方法在计算机代数系统上求解非线性代数方程组 ,最终获得非线性波方程的精确孤立波解 ,其中有很多新的精确孤立波解 .
- 张桂戌李志斌段一士
- 关键词：非线性波方程精确孤立波解双曲函数方法
- 一种将关系模式R分解为BCNF的算法
- 本文介绍了一种采用DDHD图技术将给定的关系模式R具有无损失连接性的分解为BCNF的算法。可做为关系数据库设计和规范化的有用工具。
- 陈晓云
- 文献传递
