"一N"中的谓词隐含及"一N"的可谓性

借用动量词"一NVP"结构"一N"中隐含了一个谓词Va,能够隐含的原因是N与Va之间的相互依赖性和名词的动态性,谓词隐含造成整个"一N"和"一量N"可以代替谓词而具有可谓性.     

SQL中全称量词的实例解析

在三个关系模式中,应用离散数学的有关理论,把具有全称量词的谓词查询问题转换成等价的存在量词的谓词查询,并用SQL语言予以实现,而且结合关系代数对全称量词的实现进行比较.     

中文书目数据库——中国图书馆自动化、网络化的基础

说明建立中文书目数据库是中国图书馆自动化、网络化和资源共享的基础，是为图书馆进入“信息高速公路”做积极的准备工作；比较完全自行建库、引进建库和合作建库三种建库方式的长短处；探讨目前中文书目数据库建设中应注意的问题及对策。     

土地利用纹理样本数据库的建立

本文概述了多种数据源,多时相的所有类别的不同表现形式的土地利用纹理样本数据的采集、建库等一系列工作,介绍了土地利用纹理样本库德体系结构,主要功能以及设计方法,并分析了XML、OO4O等关键技术。     

南天山库米什南黄尖石山岩体的年代学、地球化学和Sr、Nd同位素组成及其成因意义

南天山北缘库米什地区铜花山南部黄尖石山岩体高Na、Mg和Fe、准铝或过铝质（ACNK=0.91～1.35），它们相对富集K、Rb、Th，贫Zr、Hf等HFSE，略亏损Nb、Ta和P，具典型岛弧钙碱性I型花岗岩的元素地球化学特征。其锆石U-Pb年龄为423Ma，БNd（t）=-3.70～-7.32，t2DM=1.45～1.75Ga，表明它们是早古生代早志留纪晚期由先存中元古代幔源基性地壳物质熔融的产物。岩体的Ba、Sr和P等弱亏损，Nb和Y丰度及Rb／Zr比值中等则指示是活动大陆边缘俯冲带岛弧演化到正常大陆弧环境的产物。因此，该岩体的形成标志着南天山洋盆于晚志留世时期已进入俯冲消减的活动大陆边缘演化阶段。     

用谓词演算式刻画＂数学分析＂中的几个基本概念

本文结合命题联结词及谓词和量词，将“数学分析”中的基本概念：“极限”“连续”“一致收敛”，用谓词演算式来刻画，进一步将其写成逻辑等价的斯柯林范式．     

中国科技期刊评估专家数据库的构建及数据分析

介绍科技期刊评估专家的类型、选择标准、来源渠道及科技期刊评估数据库,讨论研制该库管理信息系统的设计思路及相应模块的功能,分析该库内各种专家的基本情况,为我国科技期刊新刊及已有科技期刊的全面评估提供了人才保障.     

图书馆数字资源整合浅谈

论述数字资源整合的必要性，结合实例重点介绍现有的几种整合方式．并就其内在联系和发展方向进行探讨。     

中文期刊在回溯建库中的套录

回溯建库是将原来反映在卡片目录上的书目信息转换成可以供机检的机读目录格式。介绍了在回溯建库中如何利用国图信息中心所提供的数据进行套录和在套录中所遇到的问题以及解决的方法。     

基于网络的集成化信息检索

集成化信息检索是以信息集成与服务集成为显著特征,以达到知识共享的最大化为目的,实现对由互联网连接起来的数字资源库群的分布式管理及跨平台、跨语种的网络化存取。参考文献7。