•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第2021-2040项 搜索用时 88 毫秒
[首页] « 上一页 [97] [98] [99] [100] [101] 102 [103] [104] [105] [106] [107] 下一页 » 末  页»
2021.
一、建立图书馆集成化管理系统的必要性图书馆是书刊及各种类型资料的集散地,是具有普遍意义的知识宝库,广大的读者,特别是科学工作者越来越希望采用先进的计算机计算机为他们的资料查找工作提供方便,及时确定科研课题,及时了解本专业技术发展的最新动态等。就图书馆的管理目标而言,大体包括两个方… …   相似文献
2022.
面向对象的数据库管理系统(OODBMS)通常都具备自身的查询语言,它以交互的方式供用户进行数据定义与数据操纵.除此之外,它还必须为程序员提供可在C、FORTRAN、PASCAL等高级语言里嵌入使用查询语言的宿主语言接口.本文首先介绍这样一种C宿主语言接口C—OSDL,而后重点讨论… …   相似文献
2023.
近年来,基于Intel80386/80486CPU的计算机,特别是微型机,在国内大量引进并逐渐国产化.XENIX操作系统作为这些计算机上配备的基本多用户系统已被越来越多的国内用户所接受.但是要充分发挥XENIX系统的作用,还需要对此系统作一些改造、扩充或进一步的开发以适应国内普通… …   相似文献
2024.
本文在分析概率逻辑神经元(PLN)网络原型存在不足的基础上,提出PLN元件的一个改进模型,并指出原来的PLN网络模型、Hopfield学习律以及Boltzman机的演化律等都是PLN网络改进模型的特例.文中还给出PLN网络改进模型在联想记忆应用中的模拟实验结果,说明改进模型无论在… …   相似文献
张钹  张铃 《软件学报》1994,5(3):1-11
2025.
数据流计算机作为新一代并行机迅速发展起来,但由于数据流模型本身的局限性,使得商用数据流机器的制造还难于普及.本文通过分析运算的操作字符与非操作字符,改进传统模型的点火规则、引入变量并拓广变量的概念,定义了粗粒度数据流模型CDFM(CoarsegranularityDataFlow… …   相似文献
王永革 《软件学报》1994,5(3):43-48
2026.
MEGIDDO等人证明了图搜索问题的NP完全性并给出一个树图上的算法,可在O(n)时间内求解树的搜索数,在O(nlog(n))时间内求解树搜索方案.本文通过引入搜索方案边序表示法给出一个线性算法,可在O(n)时间内同时求得树的搜索数和搜索方案.  相似文献
2027.
本文提出了将解释学习方法用于学习算法构架的思想,以提高软件自动化系统从功能规格说明转换到设计规格说明的能力.文中给出了算法构架的表示,操作性的定义及其处理方法.系统从用户给出的一个问题的解中学习算法构架,用于解决一类问题,系统的学习效果表现为通过学习能够解决原来不能解的问题.… …   相似文献
2028.
将状态空间的问题求解过程变换为逐步缩小与目标状态的差异过程是一种问题的分解方式.求解差异的顺序可通过分析算符对状态的影响而作出规划,规划的原则是最大限度地在不改变最近已实现子目标的条件下实现下一子目标.为此,在问题分解时各层子目标选择的依据是让各算符有最大的可利用率,即以状态对算… …   相似文献
2029.
我们在本文中提出了一个矢量量化的自适应多层次算法。首先生成一个基本码本和码字序列,然后码字序列再被进一步编成一个多层次的码,该算法利用了图象上更大范围的结构特点和相关性,减少了单层矢量量化方法得到的码的冗余信息,从而有效地提高了压缩比,同时却没有增加误差,也未增加很多计算量。… …   相似文献
2030.
本文介绍一以ADT为主要构件的函数语言,它是作者设计的函数式及面向对象式合成语言的函数部分,进而描述了其操作语义模型:多态λ演算十代数重写系统=多态λ重写系统,并讨论该模型的Church-Rosser性质和强范式性质。  相似文献
梅宏  孙永强 《软件学报》1994,5(6):58-64
2031.
中国计算机学会1994年学术活动计划补充部分1.94’全国理论计算机科学年会1994年10月长沙理论计算机科学专委主办征文范围:(1)程序理论(2)计算理论(3)语言理论(4)人工智能(5)逻辑基础(6)数据理论联系人:殷建平长沙国防科技大学计算机系...  相似文献
2032.
本文证明在PLN网络中适当给定广义A-学习律,可使网络满足如下条件:(1)所有训练样本都是稳定状态;(2)每个稳定状态具有最大的吸引域;(3)具有很快的收敛速度.由此可见,将这种PLN网络作为联想记忆器是很理想的.  相似文献
张铃  张钹 《软件学报》1994,5(8):9-13
2033.
“6.17美国顶尖电脑科技发表会”由新龙国际集团(SIS)策划并组织的美国顶尖电脑科技发表会日前在北京奥林匹克饭店隆重举行。为期两天的介绍会吸引了北京及附近地区的近1000余名技术专家、分销商和用户,参加发表会的有N()VELI-,EAGI。E,CE...  相似文献
2034.
CAPP作为CAD与CAM的中间桥梁,是CIMS必不可少的重要环节.本文针对开发通用性CAPP专家系统过程中,产品零件表示和工艺规程设计这两个关键问题,根据事物之间的相似性原理,提出了面向对象的产品零件和工艺规程的知识表示方法,以满足CAPP系统对产品零件信息表示的完整性、通用性… …   相似文献
杨莉  何志均 《软件学报》1994,5(8):21-29
2035.
本文提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义.这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程.  相似文献
2036.
本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比… …   相似文献
林闯  陆维明 《软件学报》1994,5(11):23-30
2037.
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系.虚—实关系集成了实关系与虚关系的一些优点,克服了它们的一些缺点,在演绎数据库系统中它具有特别的性质.将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能.目前,虚—实关系已在SUN—3工作站上的演绎数据库系统… …   相似文献
徐洁磐 《软件学报》1994,5(12):17-23
2038.
本文主要介绍了在高等院校中用FoxBASE建立“中国近代史试题库”,并用计算机管理。该系统在高校中首次推出,目前题库中已有1260道试题,它能对不同层次的学生考试命题,实践证明它具有很好的使用价值。  相似文献
2039.
本文介绍了超级计算机的基本概念。重点叙述了神经网络计算机、超导计算机和光计算机的发展。  相似文献
2040.
本文详细讨论和分析了硬盘系统资源,对硬盘存储空间作了划分。对主(总)引导记录、DOS分区引导记录、文件分配表FAT、根目录扇区作了全面的剖析。了解和掌握硬盘系统资源对初学者和各级计算机管理人员在分析和排除计算机软故障、防止和发现计算机病毒都具有十分重要的实现意义。… …   相似文献
[首页] « 上一页 [97] [98] [99] [100] [101] 102 [103] [104] [105] [106] [107] 下一页 » 末  页»