微型计算机按键查号系统

1

作者 杨庆德 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第2期82-86,共5页

本文描述了微机按键电话编号查找系统的结构、工作过程、主要指标.设计了一种良好的输入界区——分页数据管理方法.解决了电话编号查询时间要短.而库容量又要大的技术问题.

关键词 电话编号 微型计算机 查找系统

在线阅读 下载PDF 职称材料

计算机安全在教育管理中的应用研究 被引量：5

2

作者 林和 孙以功 蒙应杰 《兰州大学学报（社会科学版）》 CSSCI 北大核心 2000年第2期158-160,共3页

本文通过讨论计算机安全在教育管理中的应用 ,使人们重视对计算机病毒及信息泄漏的防范 ,并采取相应的安全措施。

关键词 计算机安全 教育 管理 计算机病毒 信息泄漏

在线阅读 下载PDF 职称材料

计算机算法设计中的归约原理与应用 被引量：1

3

作者 武继刚 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1993年第1期48-53,共6页

本文以图为模型,给出了归约的概念,并将其应用到图的最小生成树问题中,得到了计算复杂度平均情况下为θ(m+n),最坏情况下为θ((m-n)1ogn)的最小生成树算法.该算法易于在多机处理中并行化,文中指出了归约概念在其他方面的应用.

关键词 归约 算法 复杂性 图 最小生成树

在线阅读 下载PDF 职称材料

从泛系观看人工智能的几个基本问题 被引量：9

4

作者 李永礼 吴学谋 《兰州大学学报（社会科学版）》 CSSCI 1994年第4期97-102,共6页

本文从科学历史鸟瞰角度分析了人工智能的发展以及它的任务，并提出用泛系哲学逻辑作为人工智能新的理论框架，最后，从泛系观角度展望了人工智能的前景。

关键词 人工智能 泛系方法论 泛系观 有限自动机 哲学逻辑 人的智能 泛系理论 图灵机 人造系统 计算机

在线阅读 下载PDF 职称材料

印鉴自动识别系统中封闭凸多边形图像的提取 被引量：1

5

作者 屈志毅 李炬嵘 刘丽梅 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第3期94-99,共6页

提出了一种封闭凸多边形图像的提取方法——种子扩散浮置实体算法 ,解决了印鉴自动识别系统中将待验印鉴图像从背景噪声中提取出来的问题 ,并在实际应用中取得了良好的效果 .

关键词 图像提取 图像处理 银行 印鉴自动识别系统

在线阅读 下载PDF 职称材料

邮政编码查询系统

6

作者 杨庆德 马义忠 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期92-96,共5页

本文介绍了一种邮政编码微型计算机查询系统.为了提高查询速度,阐述了建立数据库的原则;给出了语音报号电路和报号程序.

关键词 微型计算机 邮政编码 查询系统 电路 程序

在线阅读 下载PDF 职称材料

一个经济效益评价模型及系统实现

7

作者 徐德启 杨小元 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期21-24,共4页

本文根据目前我国基本建设施工企业经济活动的客观规律和经济效益基本来源形式,提出了一个既适应于施工工程,又适应于施工企业的统一的、定量化的经济效益评价模型,并进而在计算机上实现了一个既利于保证工程质量、又利于提高企业管理... 本文根据目前我国基本建设施工企业经济活动的客观规律和经济效益基本来源形式,提出了一个既适应于施工工程,又适应于施工企业的统一的、定量化的经济效益评价模型,并进而在计算机上实现了一个既利于保证工程质量、又利于提高企业管理水平的多功能经济效益评价系统. 展开更多

关键词 数学模型 评价 系统 经济效益

在线阅读 下载PDF 职称材料

关于奇异Hamilton系统的无穷多周期解的存在性

8

作者 王宗信 赵锡英 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1996年第3期12-16,共5页

应用Ｌ－Ｓ畴数理论，对一类二阶奇异Ｈａｍｉｌｔｏｎ系统无穷多周期解的存在性进行了研究．在强力条件成立的情况下，对位势函数在无穷远处加上不同的限制性条件。

关键词 HAMILTON方程 周期解 存在性 位势函数

在线阅读 下载PDF 职称材料

绒线染色微机集散控制系统

9

作者 屈志毅 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期115-119,共5页

本文介绍了一种集中管理,分散控制的计算机温度控制系统,该系统控制精度高,控制方法先进,测量手段简单实用,抗干扰能力强,性能价格比好.在甘肃武威麻纺织厂的试运行中取得了良好的绒线染色效果.希望本文对当前渴望进行技术改造,而又经... 本文介绍了一种集中管理,分散控制的计算机温度控制系统,该系统控制精度高,控制方法先进,测量手段简单实用,抗干扰能力强,性能价格比好.在甘肃武威麻纺织厂的试运行中取得了良好的绒线染色效果.希望本文对当前渴望进行技术改造,而又经费不足的企业能够提供一点有益的经验. 展开更多

关键词 集散控制 绒线染色 微型计算机

在线阅读 下载PDF 职称材料

BSP用于分布式系统的协议规范

10

作者 王生原 杨萍 田存生 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1995年第4期89-94,共6页

ＢＳＰ（ＢｒｏａｄｃａｓｔｉｎｇＳｅｑｕｅｎｔｉａｌＰｒｏｃｅｓｓｅｓ）是一种带有广播原语的分布式语言，能很好地支持分布式系统中的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网... ＢＳＰ（ＢｒｏａｄｃａｓｔｉｎｇＳｅｑｕｅｎｔｉａｌＰｒｏｃｅｓｓｅｓ）是一种带有广播原语的分布式语言，能很好地支持分布式系统中的消息传递。本文强调了ＢＳＰ在分布式系统协议规范方面的应用，并完成了对ＯＳＩ参考模型的网络协议以及数据库并发控制的ｔｉｍｅｓｔａｍｐ协议的规范说明。 展开更多

关键词 分布计算机 BSP 协议 分布式语言 分布式系统

全文增补中

电子剪报系统—EPCutter的设计和实现

11

作者 包煊 陈建华 +1 位作者 郭昕 汪志华 《计算机工程》 CAS CSCD 北大核心 2002年第10期238-240,247,共4页

介绍了一个剪报资料处理和检索系统EPCutter(Electronic Press Cutter)， 它包括3个子系统：剪报资料处理子系统、网上智能代理子系统和全文数据库检索子系统。网上智能代理子系统利用数据挖掘技术和智能自主代理技术，自动从Web上挖掘... 介绍了一个剪报资料处理和检索系统EPCutter(Electronic Press Cutter)， 它包括3个子系统：剪报资料处理子系统、网上智能代理子系统和全文数据库检索子系统。网上智能代理子系统利用数据挖掘技术和智能自主代理技术，自动从Web上挖掘出用户感兴趣的信息；全文数据库采用了字索引和词索引相结合的索引检索方法，从而大大提高了检索速度、查全率、查准率。此外还提出了一个统计模型，可对剪报来源作出评价以辅助用户决策。 展开更多

关键词 电子剪报系统 EPCutter 设计 数据挖掘 智能代理 全文数据库

在线阅读 下载PDF 职称材料

Church-Rosser系统表现——么半群中正则问题的可判定性

12

作者 张洛欣 李廉 李永礼 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第4期14-18,共5页

设(T,A)是字母表A上的Church-Rosser Thue系统,M_T是它表现的么半群.M_T中元素u称为正则的,如果存在x,使得xux=u.本文证明了:M_T 中是否有一非平凡正则元是多项式时间可判定的;而对于一个任给的元素 u,u 是否是正则元却是不可判定的.

关键词 组合半群 正则元 半群性质判定 重写系统 Church-Rosser条件

在线阅读 下载PDF 职称材料

并发系统的模型与验证

13

作者 刘建福 徐德启 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第1期29-34,共6页

petri网这种转移模型很好地描述了并发系统的静态与动态行为.本文介绍一种新的树结构模型能够直观地表示并发系统的动态特性,可以对 petri 网进行分析和验证.

关键词 并发系统 协议验证 PETRI网

在线阅读 下载PDF 职称材料

齐次平衡原则及其应用 被引量：183

14

作者 王明亮 李志斌 周宇斌 《兰州大学学报（自然科学版）》 EI CAS CSCD 北大核心 1999年第3期8-16,共9页

叙述齐次平衡原则及其在非线性数学物理中的应用：根据该原则可导出一大类非线性 Ｐ Ｄ Ｅ 的非线性变换，并借之得到方程的精确解；利用计算机的符号计算系统获得许多非线性 Ｐ Ｄ Ｅ的孤立波解；

关键词 齐次平衡原则 非线性变换 精确解 偏微分方程

在线阅读 下载PDF 职称材料

基于交替迭代和神经网络的盲目图像恢复 被引量：5

15

作者 屈志毅 任志宏 沃焱 《计算机学报》 EI CSCD 北大核心 2000年第4期410-413,共4页

提出了一种盲目图像恢复模型：退化图像经傅立叶变换后在频率域内通过交替迭代的方式分解出原始图像和点扩展函数，当大致估计出退化模型的点扩展函数的类型及其参数后，用基于Ｈｏｐｆｉｅｌｄ神经网络的方法进行精确恢复，以提高恢复... 提出了一种盲目图像恢复模型：退化图像经傅立叶变换后在频率域内通过交替迭代的方式分解出原始图像和点扩展函数，当大致估计出退化模型的点扩展函数的类型及其参数后，用基于Ｈｏｐｆｉｅｌｄ神经网络的方法进行精确恢复，以提高恢复质量．实验证明，这种恢复模型可以在未知点扩展函数的情况下取得较好的恢复效果。 展开更多

关键词 图像恢复 盲目图像恢复模型 神经网络 退化图像

在线阅读 下载PDF 职称材料

实代数数的代数表达式的符号判定 被引量：2

16

作者 程建军 王继民 李廉 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1998年第4期30-34,共5页

将符号计算方法与数值计算方法结合起来应用于计算机代数领域，构造了一种判定实代数数的代数表达式的符号的算法，并在计算机数学系统上加以实现．算法的基本思想是对每一个实代数数α定义了一个二元组（Ｉ，ｆ（ｘ）），其中Ｉ是包含... 将符号计算方法与数值计算方法结合起来应用于计算机代数领域，构造了一种判定实代数数的代数表达式的符号的算法，并在计算机数学系统上加以实现．算法的基本思想是对每一个实代数数α定义了一个二元组（Ｉ，ｆ（ｘ）），其中Ｉ是包含α的区间，ｆ（ｘ）是α所满足的多项式，并将代数数的运算转化为对应的二元组的运算，同时结合多项式的根的最短距离估计式，从而达到对代数数的代数表达式进行符号判定的目的． 展开更多

关键词 实代数数 符号判定 计算机代数 代数表达式

在线阅读 下载PDF 职称材料

面向对象的程序设计方法初探 被引量：1

17

作者 徐德启 赵炜 杨小元 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期17-20,共4页

面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法,已成为90年代的热门课题,本文就面向对象的程序设计方法与传统程序设计方法做一比较... 面向对象程序设计是一种实用的程序设计方法学,它采用全新的方法来求解问题,其思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法,已成为90年代的热门课题,本文就面向对象的程序设计方法与传统程序设计方法做一比较,谈点看法。 展开更多

关键词 程序设计方法学 结构程序设计 面向对象程序设计 分布式数据处理

在线阅读 下载PDF 职称材料

多项式隐函数在一点邻域里的近似显式算法 被引量：1

18

作者 牛熠 李廉 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1997年第3期49-57,共9页

利用隐函数定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式．使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定... 利用隐函数定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式．使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用． 展开更多

关键词 隐函数 符号计算 近似显式 多相式隐函数 逼近

在线阅读 下载PDF 职称材料

关于大数混合基表示的算法与问题 被引量：1

19

作者 武继刚 李廉 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1994年第2期58-61,共4页

本文基于求解ｎ个简单同余方程组的思想给出了一个求解同余方程组的算法，算法将花费３ｎ次乘法，２ｎ次模运算及ｎ次求逆元运算，优于牛顿迭代法。对大数的混合基表示提出了扩张问题与压缩问题，并证明了扩张问题与其求解问题是线性等... 本文基于求解ｎ个简单同余方程组的思想给出了一个求解同余方程组的算法，算法将花费３ｎ次乘法，２ｎ次模运算及ｎ次求逆元运算，优于牛顿迭代法。对大数的混合基表示提出了扩张问题与压缩问题，并证明了扩张问题与其求解问题是线性等价的，而压缩问题的难度小于扩张问题。 展开更多

关键词 混合基 算法 大数 同余方程组

在线阅读 下载PDF 职称材料

缺省模态逻辑 被引量：1

20

作者 李永礼 范荣强 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1994年第3期77-81,共5页

本文在Ｒｅｉｔｅｒ１９８０年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质：扩... 本文在Ｒｅｉｔｅｒ１９８０年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质：扩充的存在性和非单调性。 展开更多

关键词 人工智能 模态逻辑 缺少逻辑

在线阅读 下载PDF 职称材料