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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第401-420项 搜索用时 69 毫秒
[首页] « 上一页 [16] [17] [18] [19] [20] 21 [22] [23] [24] [25] [26] 下一页 » 末  页»
401.
本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化和左线性递归计算算法一样，本提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则，算法的有效性也在本作简略讨论。  相似文献
范明 《软件学报》1994,5(1):56-61
402.
本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。  相似文献
403.
1994年2月25日，国际商业机器中国有限公司与中国长城计算机集团公司正式在北京宣布组建一家合资企业。该企业将生产、销售个人计算机并提供全面的服务。命名为深圳长城国际信息产品有限公司的合资企业，初期将生产IBMPS／ValuePoint系列产品和长城系列微机。随着企业的发展，今后… …   相似文献
404.
1994年5月6日IBM用户协会和中国IBM公司联合召开了用户需求研讨会．此次会议主要目的是了解用户在IBM计算机系统应用中存在的各种需求，例如，系统软件更新、维修服务支持、另配件等方面的需求。与会代表发言踊跃，就以下方面提出了各种意见和要求：·有些使用IBM大型机系统的用户很关… …   相似文献
405.
CISCO系统公司已推出一种新的联网结构，为把目前以路由选择为基础的网络与正在出现的诸如异步转移模式（ATM）、局域网（LAM）交换和虚拟LAN等交换技术为一体而描绘出一幅蓝图。CiscoFusinn使用智能多层交换来支持一个用户矩阵，从那些共用传统中心的以太网用户转为那些希望专… …   相似文献
406.
新推出的RS／6000PowerPC服务器型号C10是体积小巧的低价格中档服务器，内置80MHZPowerPC601处理器；这是目前已交付的最高速PowerPC微处理器。崭新的RS／6000型号380’型号390和型号59H内登POWERZ微处理器，采用桌面和机柜式设计，是高效能… …   相似文献
407.
本文简要介绍航空工业总公司第六二五研究所微机管理信息系统的设计、开发及其中的关键技术,对于拥有类似管理模式的企事业单位具有推广应用价值。 1.开发环境 (1)硬件环境。本系统是建立在一个主干的微机局域网和一个辅助的电话通讯网上,其中主干网采用IEEE802.310BASE-T标准… …   相似文献
408.
为使科技工作者在实验室中即可从国内外主要信息系统获取信息,我院建立了国际联机检索系统AMMSNET。该系统于1993年8月正式投入使用,受到了广大科技工作者的欢迎并已取得了一定的效益。现将其基本情况介绍如下:  相似文献
409.
本介绍了我们独立研制的软件产品ＶＡＸＥＬＮＳＭＧＫ，它深入Ｉ／Ｏ底层，精心地设计数据结构与加工算法，在实时系统里填补了虚显示，虚键盘，虚终端等空白。  相似文献
410.
本文介绍了如何通过BorlandC＋十开发WINDOWS3.0的应用程序，同时说明了新一代面向对象的程序设计方法OOP（Object－OrientedProgramming）的基本特性和实现方法。  相似文献
411.
IBM新推出的两款中档图形工作站RS／6000型号4iT及型号4lw，采用崭新的PowerPC芯片，其高超的ZD性能为业内同级机种之冠，并能支持多种先进的3U功能。今天宣布推出的RS／6000型号3AT及型号3BT高档工作站，采用新的POWERZ微处理器，具有卓越的技术运算性能。… …   相似文献
412.
1.系统组成与功能 本系统由三大功能模块组成: (1)经营管理模块。可提供标准的机电产品订货合同、商务洽谈信息表、风机用户档案表、用户来函处理表的格式,管理人员只需通过人——机对话,在中文提示下录入信息,即可完成合同、商务洽谈、用户档案及来函回复数据库的建立;可方便地对数据库进行… …   相似文献
413.
1.硬件平台 (1)66MHZ 80486DX2CPU,带256KB二级缓存 (2)16至128MB错误校正内存 (3)10个微通道插槽,8个可用于网络连接(32位数据流,速率80MBPS) (4)450W冗余电源 (5)可升级为PENTIUM 2.包装  相似文献
414.
中国计算机用户协会MM机分会第十届年会于1994年9月26日至28日在北京国际会议中心举行。IBM用户协会历届年会都是用户茶集、相互交流、共同切磋的重要场所。今年时逢协会成立十周年，同时也是IBM公司重建在华业务的十周年。十年来IBM在华业务有了很大的发展。IBM的计算机系统计人… …   相似文献
415.
“６．１７美国顶尖电脑科技发表会”由新龙国际集团（ＳＩＳ）策划并组织的美国顶尖电脑科技发表会日前在北京奥林匹克饭店隆重举行。为期两天的介绍会吸引了北京及附近地区的近１０００余名技术专家、分销商和用户，参加发表会的有Ｎ（）ＶＥＬＩ－，ＥＡＧＩ。Ｅ，ＣＥ...  相似文献
416.
中国计算机学会１９９４年学术活动计划补充部分１．９４’全国理论计算机科学年会１９９４年１０月长沙理论计算机科学专委主办征文范围：（１）程序理论（２）计算理论（３）语言理论（４）人工智能（５）逻辑基础（６）数据理论联系人：殷建平长沙国防科技大学计算机系...  相似文献
417.
本文介绍了超级计算机的基本概念。重点叙述了神经网络计算机、超导计算机和光计算机的发展。  相似文献
418.
IBM今天推出的AIX增强版本及相关软件。AIX是IBM的UNIX版本操作系统，功能先进洞时推出的还有硬件适配卡，包括SCSI快速及广域控制器和支持光纤通道标准高速通讯适配卡的设施以及可冗余磁盘陈列（RAID），高密度磁盘子系统等存储器产品。正如RS／6O00系列其他型号一样，今… …   相似文献
419.
郑锡忠 《软件学报》1994,5(4):53-59
420.
机械工程图尺寸标注的识别与理解是最终识别和理解机械工程图的基础。本文以国标ＧＢ４４５８－８４为基础，将尺寸标注分为２７种模式和４８种子模式，并给出了其数学描述，本文详细描述了尺寸标注的基于箭头匹配模式的网状文法。  相似文献
[首页] « 上一页 [16] [17] [18] [19] [20] 21 [22] [23] [24] [25] [26] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持