用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第2161-2180项 搜索用时 92 毫秒
[首页] « 上一页 [104] [105] [106] [107] [108] 109 [110] [111] [112] [113] [114] 下一页 » 末  页»
2161.
计算机辅助教学（CAI）是许光机应用的一个灭要领域，目前各国的教育机构都采用CAI技术，并把CAI与专家系统技术结合起来，产生了新一代订货机智能化辅助教学。本文主要讨论了人工智能、专家系统及dBASE程序设计在CAI中的应用、并日＿通过学习区形系统的原理提供了dBASEIII计算… …   相似文献
2162.
第一期：WINDOWS开发工具PKZIP．EXEPKWARE压缩工具PKUNZIP．EXEPKWARE解压缩工具3D4VB．ZIP一些关于3D的函数VisualBasic专用3DWIDGETZIP3DWidgetsVisualBasic工具箱功能展示．包含很多用此工具发展的Win… …   相似文献
2163.
使用微机的用户有时想采取一些加密方法把自已的某些文件或子目录加密，以防止别人看到、调用、执行或拷贝删除等操作，本文就笔者的～些使用经验对文件及子目录加密方法作一概括总结，以供大家参考。一、文件加密1．口令法口令法是防止无关人员擅自招待磁盘中某一可执行文件的一种加密方法。它是在编程… …   相似文献
2164.
本文较系统地介绍了面向对象数据库语言ＲＯＬ中对象的计算反射的思想和实现方法．反射对象的引入是为了解决对象库中复杂的管理问题，并为设计智能化程度更高的对象提供一个良好的基础．本文还讨论了反射结构带来的问题，即封装性间题和效率问题，以及一种解决方法．  相似文献
2165.
本文提出一种新的多叉树——紧凑(a,b)树。它通过一种整编操作对树中内结点的儿子和孙子个数之间建立制约关系。在元素个数n→∞,树结点的最大儿子个数b>>4时,使树在最坏情况下的高度和空间利用率都接近最优。它的查找运算比B类树都快,它的更新运算(插入和删除)在折算意义下,即在以整个… …   相似文献
2166.
本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。  相似文献
郭清泉   《软件学报》1991,2(3):1-4
2167.
PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。  相似文献
2168.
本文在证明了Bézier三角曲面片的中点部分网格收敛性质的基础上,通过中点剖分算法给出了Bézier三角曲面片的生成显示算法与求交算法。  相似文献
田捷 《软件学报》1991,2(1):12-18
2169.
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架和类对象 的结构,它由一组概念特性和属性,逻… …   相似文献
王申康 《软件学报》1991,2(4):54-60
2170.
INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深… …   相似文献
何锫 《软件学报》1991,2(4):23-30
2171.
如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的一个知识库推理和维护系统。  相似文献
杨莉  胡守仁 《软件学报》1991,2(3):20-25
2172.
本文介绍我们研究开发的模块硅编译专家系统——SCES,它由若干个具有公共黑板结构,协同工作的领域专家系统群体构成。SCES具有开放的推理调度系统,广泛使用演绎CAD数据库(dCADB)和逻辑演绎方法,根据输入的模块联结的描述和设计的要求(例如带负荷后的时间延迟,引线排列,模块芯片… …   相似文献
杨乔林 《软件学报》1991,2(4):42-47
2173.
目 录 第1期发刊词……………………….…………..不确定型逻辑程序的综合……。…………….。一种适合我国动态办公环境的正文数据库检索方法算子Fuzzy逻辑中的A一蕴涵和A一强蕴涵………..一种面向可理解性的可复用软件开发方法.……..模拟BDye卜Moore定理证明器………….… …   相似文献
2174.
2175.
KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设… …   相似文献
郑国梁  唐清 《软件学报》1991,2(4):48-53
2176.
目 录 第1期管理信息系统的开发途径一一个大型系统BD—MIS的研制.……...杨芙清唐世渭方裕杨冬青(1)B6zier-三角曲面片生成显示与求交算法…….……….….……….………………田捷(12)GI一一个图形交互用户接口生成器.……..…...…….…….…….……柳西玲孙… …   相似文献
2177.
本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。  相似文献
郭清泉   《软件学报》1991,2(3):1-4
2178.
Petri网是描述和分析含有并行成分的系统动态特征的重要模型。随着Petri网理论研究的不断深入和在各实际领域的广泛应用,作为支持Petri网本身的设计与分析的计算机辅助工具的研究就显得十分重要。GPNT(Graphic Petri Net Tools)是西北大学计算机科学系研制… …   相似文献
郝克刚  张慧  侯红 《软件学报》1991,2(3):44-49
2179.
  总被引：1030，自引：7，他引：1030
模式识别、函数拟合及概率密度估计等都属于基于数据学习的问题,现有方法的重要基础是传统的统计学,前提是有足够多样本,当样本数目有限时难以取得理想的效果.统计学习理论(SLT)是由Vapnik等人提出的一种小样本统计理论,着重研究在小样本情况下的统计规律及学习方法性质.SLT为机器学… …   相似文献
2180.
  总被引：311，自引：2，他引：311
工作流技术是进入90年代以后计算机应用领域的一个新的研究热点.对工作流技术进行深入的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有着重要的意义.该文首先介绍了工作流技术的起源与发展;然后对工作流的研究现状进行综述,主要包括工作流定义、工作流模型、工作流实现方案以及工作… …   相似文献
罗海滨  范玉顺  吴澄 《软件学报》2000,11(7):899-907
[首页] « 上一页 [104] [105] [106] [107] [108] 109 [110] [111] [112] [113] [114] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持