•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第421-430项 搜索用时 48 毫秒
[首页] « 上一页 [38] [39] [40] [41] [42] 43 [44] [45] [46] [47] [48] 下一页 » 末  页»
421.
中国计算机学会1994年学术活动计划补充部分1.94’全国理论计算机科学年会1994年10月长沙理论计算机科学专委主办征文范围:(1)程序理论(2)计算理论(3)语言理论(4)人工智能(5)逻辑基础(6)数据理论联系人:殷建平长沙国防科技大学计算机系...  相似文献
422.
本文介绍了超级计算机的基本概念。重点叙述了神经网络计算机、超导计算机和光计算机的发展。  相似文献
423.
IBM今天推出的AIX增强版本及相关软件。AIX是IBM的UNIX版本操作系统,功能先进洞时推出的还有硬件适配卡,包括SCSI快速及广域控制器和支持光纤通道标准高速通讯适配卡的设施以及可冗余磁盘陈列(RAID),高密度磁盘子系统等存储器产品。正如RS/6O00系列其他型号一样,今… …   相似文献
424.
425.
机械工程图尺寸标注的识别与理解是最终识别和理解机械工程图的基础。本文以国标GB4458-84为基础,将尺寸标注分为27种模式和48种子模式,并给出了其数学描述,本文详细描述了尺寸标注的基于箭头匹配模式的网状文法。  相似文献
426.
数据依赖在数据库设计中起着十分重要的作用,自Codd提出函数依赖,Fagin引入多值依赖后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖等,对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完备性公理系统往往具有有效的判定算… …   相似文献
聂培尧 《软件学报》1994,5(3):37-42
427.
本对Oracle图灵机在接受计算中的查询次数加以限制,并且得到结果:存在无穷多个非多等价的递归集A,B,A',B',A'',B'',A''',B''',它们满足性质:P(A,q)=P(A,q+1),P(B,q)≠P(B,q+1),p(A',q)=P(A'),P(B',q)≠P(B… …   相似文献
428.
到目前为止,交替的ω-有究自动机的接受条件仅有6种,本给出了6种新形式的接受条件,并研究了交替的ω-有究自动机交些条件下识别语言的能力,最后给出了ω-自动机在各种接受条件下识别的语言类。  相似文献
429.
北京,1994年6月14日一为进一步加强合作,IBM中国/香港公司与SSA中国)有限公司今天在北京王府饭店正式签署了IBMAS/400代理协议。此协议签订之后,SSA公司将可在中国为其各界用户提供AS/400硬件系统。SSA公司是迄今为止世界上最大、也是最成功的AS/400软件供… …   相似文献
430.
[首页] « 上一页 [38] [39] [40] [41] [42] 43 [44] [45] [46] [47] [48] 下一页 » 末  页»