作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

现代汉语研究的新视角  CNKI文献

从计算语言学的交叉学科的视角 ,特别是用数理逻辑的观点和方法来观察、分析现代汉语语法和语义。目的是寻求语法结构与语义解释的一致性。这样的分析理解方法称为汉语内涵逻辑模型。本文仅举例分析 ,不涉及形式化描述...

陆汝占 靳光瑾 《语言文字应用》 2004年02期 期刊

关键词: 概念 / 关系 / 同构 / 内涵语义逻辑

下载(438)| 被引(28)

领属关系与逻辑语义解释——兼议形式化方法  CNKI文献

领属关系与逻辑语义解释——兼议形式化方法上海交通大学陆汝占靳光瑾AbstractThispapermakesanatempttostudythesemanticrelationbetweenthen...

陆汝占 靳光瑾 《世界汉语教学》 1996年01期 期刊

关键词: 领属关系 / 偏正结构 / 外延义 / 内涵义

下载(277)| 被引(13)

汉语词典编纂一体化环境(上)  CNKI文献

词典编纂工作计算机化可明显提高效率和质量,因而需要借鉴国外的有益经验,并结合国内的实际情况,实现词典编纂的计算机化。 我们旨在开发一个汉语词典编纂一体化环境,它可用于语料的收集和加工处理以及词典编纂的...

陆汝占 《辞书研究》 2000年02期 期刊

关键词: 新词新义 / 句型统计 / 偏正结构 / 数据库

下载(101)| 被引(8)

黄昌宁、林杏光主持:“信息处理用语言理论讲话”第六讲─...  CNKI文献

黄昌宁、林杏光主持:“信息处理用语言理论讲话”第六讲──蒙太古语义学陆汝占,靳光瑾语言理论中比起句法理论更深一层的是语义理论。能适用于计算机处理自然语言的语义理论,要求形式化而且是可计算的。可计算的语...

陆汝占 靳光瑾 《语言文字应用》 1995年04期 期刊

关键词: 林杏光 / 组合原则 / 翻译规则 / 化简规则

下载(231)| 被引(4)

汉语词典编纂一体化环境(下)  CNKI文献

二、词典处理系统  词典处理系统主要完成词典编纂过程中各种必要的功能 ,根据功能不同又分为五个子系统 ,它们是 :词典格式转换系统、词典查询系统、词典自检系统、词典编辑系统、词典编纂项目管理系统。(见图 1 2...

陆汝占 《辞书研究》 2000年03期 期刊

关键词: 笔画索引 / 排版格式 / 数据库文件 / 格式转换

下载(86)| 被引(6)

着色归结、PI着色碰撞及其完备性  CNKI文献

符号逻辑与定理机器证明的研究中,语义归结PI碰撞与电子排列次序有关.本文给出一种新的语义归结方法,称为着色归结方法,定义的PI着色碰撞与电子排列次序无关。本文同时给出该方法的完备性证明. 正定或负定的PI碰撞是着...

陆汝占 林凯... 《计算机学报》 1987年12期 期刊

关键词: 子句集 / 排列次序 / 完备性

下载(32)| 被引(10)

基于语言建模的文本情感分类研究  CNKI文献

提出了一种基于语言建模的文本情感分类的方法.将文本的情感倾向标记为"赞扬"或"批评",可以为文本提供主题之外的语义信息.为此提出了从训练数据中分别估计出代表"赞扬"和"批评&q...

胡熠 陆汝占... 《计算机研究与发展》 2007年09期 期刊

关键词: 情感分类 / 语言建模 / KL距离 / 监督学习

下载(1162)| 被引(70)

具有代数算子的λ演算系统的模型构造  CNKI文献

本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。

陆汝占 张政... 《软件学报》 1990年03期 期刊

关键词: 代数规范 / 代数算子 / 模型构造 / 偏序关系

下载(68)| 被引(0)

浅谈计算机与汉语研究  CNKI文献

浅谈计算机与汉语研究陆汝占,靳光瑾当今,计算机已闯入了我们的生活,越来越多的人开始认识它、接受它并利用它。它的巨大的能力越来越令人们对它“刮目相看”。现在很多语言学家也开始对它倾注了极大的热情。其实,...

陆汝占 靳光瑾 《语文建设》 1996年02期 期刊

关键词: 汉语研究 / 主谓短语 / 两字组 / 类型匹配

下载(73)| 被引(0)

方程式语言及其实现  CNKI文献

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。

陆汝占 韩启龙... 《软件学报》 1992年02期 期刊

关键词: 方程式语言 / 显式表示

下载(23)| 被引(0)

面向信息检索的概念关系自动构建  CNKI文献

概念之间的依存分析是提高信息检索性能的关键。相比概念关系的强弱而言,识别关系的类型更有意义。本文在Bootstrapping框架下,以"(地理)领属","(实体)功能"和"(动作)对象"三种语义关系...

胡熠 陆汝占... 《中文信息学报》 2007年05期 期刊

关键词: 计算机应用 / 中文信息处理 / 文本检索模型 / 概念关系构建

下载(420)| 被引(18)

方程式语言中扩充高阶函数  CNKI文献

本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。

陆汝占 奚宏伟 《上海交通大学学报》 1993年06期 期刊

关键词: 方程式语言 / 高阶函数 / Curry形式 / 转换技术

下载(15)| 被引(0)

定理证明环境KTPE系统的实现与应用  CNKI文献

本文介绍KTPE系统及其实现,介绍用该系统定义和证明UNIFICATION算法正确性的概要.本文是[1]的推广.

陆汝占 孙永强... 《计算机学报》 1988年08期 期刊

关键词: 子句集 / 定理证明 / 函数定义 / 实现与应用

下载(13)| 被引(0)

定理证明环境  CNKI文献

本文阐述定理证明环境的思想.介绍建立在IBM-PC机上的KTPE系统,用该思想实现了Boyer-Moore定理证明器.

陆汝占 毕华... 《计算机研究与发展》 1989年08期 期刊

关键词: 定理证明 / 程序验证 / 函数定义 / 子句集

下载(15)| 被引(0)

基于特征的汉语词性标注模型  CNKI文献

在隐马尔可夫模型的基础上提出了基于词汇特征的汉语词性标注模型 此模型不但考虑系统t时刻的状态 (词类 )对t+1时刻的状态的影响 ,还把t时刻的观察 (词 )对t+1时刻的状态的影响考虑进去 ,使模型更加精确 由于观察的...

屈刚 陆汝占 《计算机研究与发展》 2003年04期 期刊

关键词: 词性标注 / 马尔可夫过程 / 特征

下载(260)| 被引(33)

Construction of the Model of the Lambda Calculus Syste...  CNKI文献

A lambda system with algebraic operators,lambda-plus system,is introduced.After giving thedefinitions of the system,we present a sufficient condition for formulating a model of the system.Finally,a m...

陆汝占 张政... 《Journal of Computer Science and Technology》 1991年01期 期刊

关键词: Construction / of / the / Model

下载(9)| 被引(0)

一个改进的汉语词性标注系统  CNKI文献

汉语词性标注的难点在于确定具有多个词类的词 (兼类词 )在上下文中的词性 .基于兼类词在词典中仅占很小的比例 (约为 3% ) ,提出了具有双重状态的隐马尔可夫模型 ,它不但有一个常规的状态转移概率矩阵 ,还在逻辑上为...

屈刚 陆汝占 《上海交通大学学报》 2003年06期 期刊

关键词: 词性标注 / 隐马尔可夫模型 / 自然语言处理

下载(326)| 被引(23)

介绍定理证明环境KTPE  CNKI文献

本文介绍基于知识的定理证明环境,它具有较强的推理证明能力,可直接用来证明递归函数表达的数学定理。其实现方法有助于设计专家系统中的推理系统或智能计算机的核心部分。

陆汝占 孙永强 《计算机科学》 1988年05期 期刊

关键词: 子句集 / 定理证明

下载(7)| 被引(0)

从逻辑语义的角度对“得”字句的分类  CNKI文献

运用逻辑语义理论对现代汉语"得"字句实例进行逻辑语义分析,从逻辑语义的角度对"得"字句进行了两个层次的分类。第一层次分为模态句和非模态句。在第二层次中,模态句分为表时间的时间模态句,表必...

杨菁 陆汝占 《贵州大学学报(社会科学版)》 2010年01期 期刊

关键词: 逻辑语义 / “得”字句 / 分类

下载(249)| 被引(4)

一种混合型的汉语篇章结构自动分析方法  CNKI文献

提出一种混合型的汉语篇章结构自动分析方法 .此方法主要基于 RST( rhetorical structure theory)分析、主位模式分析等多种语言学方法 ,还利用了向量空间模型等统计方法 .提出并实现了一种确定性 RST分析算法 .与其他...

张益民 陆汝占... 《软件学报》 2000年11期 期刊

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

时间的形状