作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

非晶硅薄膜和结晶硅薄膜的拉曼光谱  CNKI文献

以玻璃为衬底,利用等离子体增强化学气相沉积工艺制备了非晶硅(α-Si)薄膜,然后通过准分子激光晶化方式获得结晶硅(nc-Si)薄膜,采用激光显微拉曼光谱仪对非晶硅薄膜、结晶硅薄膜这两类薄膜的拉曼光谱效应和结晶质量等...

马希文 杨玉庆... 《实验室研究与探索》 2016年08期 期刊

关键词: 非晶硅薄膜 / 结晶硅薄膜 / 准分子激光晶化 / 拉曼光谱

下载(210)| 被引(3)

北京方言里的“着”  CNKI文献

“着”是一个语义负荷较重的常用汉字。它可以用做量词、名词、动词,还可以用做名词性或动词性的语素组成复合词,特别是动结式动词(“着”作为第二成分,见[1]),此外,它还是动词常用后缀之一。像许多古入声字一样,这个...

马希文 《方言》 1987年01期 期刊

关键词: 动词后缀 / 书面语 / 口语 / 口头语言

下载(1163)| 被引(81)

以计算语言学为背景看语法问题  CNKI文献

大家大概是想让我讲一些跟计算语言学有关的东西,但计算语言学的技术性很强,使从事这方面工作的人不得不花很大的力气去钻研技术细节。我想在现在这个场合讲那些东西恐怕是不大合适的。我今天想讲的是:以计算语言学为...

马希文 《国外语言学》 1989年03期 期刊

关键词: 动词短语 / 东西 / 计算语言学 / 计算机语言学

下载(367)| 被引(17)

人工智能中的逻辑问题  CNKI文献

近年来,由于人工智能(以及其他学科)的需要,逻辑学的对象、方法、意义都有了许多新的发展。本文拟就这方面的情况做一番分析与介绍,供读者参考。 §1 限制逻辑 限制逻辑是一种容错逻辑。 人们对于容错逻辑的关注由...

马希文 《哲学研究》 1985年01期 期刊

关键词: 模态逻辑 / 主观 / 哲理逻辑 / 知道逻辑

下载(231)| 被引(5)

自然语言理解  CNKI文献

本文试图对自然语言理解中会遇到的困难进行一番归纳整理,以引起人们的注意和兴趣。

马希文 《计算机工程与应用》 1987年04期 期刊

关键词: 自然语言理解 / 归纳整理 / 人工智能 / 自然语言理解系统

下载(117)| 被引(9)

有关“知道”的逻辑问题的形式化  CNKI文献

用计算机去理解自然语言是人工智能中的重要而活跃的分支。但在现有的种种模型中,用以描述语义的几乎全是基于一阶谓词逻辑的形式系统,无法处理有关“知道”的句子。而如果要在数据库资询系统中使用自然

马希文 《哲学研究》 1981年05期 期刊

关键词: 现实界 / 可能界 / 组合算法 / 命题演算

下载(159)| 被引(5)

什么是理论计算机科学  CNKI文献

当前,计算机事业的发展已日益为人们所重视。然而,我国的计算机事业的技术贮备不足,理论贮备则更缺乏,这对我国计算机事业的发展是不利的。《什么是理论计算机科学》一文提出建立理论计算机科学的观点,指出理论计算机...

马希文 《自然杂志》 1984年06期 期刊

关键词: 理论计算机科学 / 事业 / 领域 / 软件

下载(204)| 被引(4)

瑞典:普通教育和职业教育融为一体  CNKI文献

瑞典高中教育的趋势就是减少学术性专业的学生,增加两年制职业课程的学生,而且选择职业课程的学生毕业后就业门路广,薪资待遇好。瑞典现任教育部长Jan Bjorklund于2006年上任后计划将高中课程分为升学与就业两大趋向,...

马希文 吴继光... 《上海教育》 2013年29期 期刊

关键词: 高中教育 / 职业技术教育 / 职业教育 / 普通教育

下载(83)| 被引(1)

W—JS有关“知道”的模态逻辑  CNKI文献

“知道”逻辑是诸多学科领域共同关心的课题。近年来,从数理逻辑角度对此进行研究所得的一些成果,在计算机人工智能中有着重要的应用。本文介绍了这方面的有关问题及进展,构造了“知道”的模态逻辑的谓词演算,包括建立...

马希文 郭维德 《计算机研究与发展》 1982年12期 期刊

关键词: 模态逻辑 / 命题演算 / 谓词演算 / 特例

下载(105)| 被引(4)

大力发展特色农业 促进区域经济发展  CNKI文献

民和县地处青海省最东部,相对全省具有气候适宜,发展特色农业具有得天独厚的优势。"十二五"以来,全县以"农业增效,农民增收"为目标,按照区域化、专业化、规模化的思路,大力发展以马铃薯、油料、玉...

马希文 《农民致富之友》 2015年18期 期刊

关键词: 特色农业 / 区域经济 / 发展 / 因素

下载(37)| 被引(2)

语义学中的关系方法  CNKI文献

本文旨在对语义学中的关系方法给出一个概要说明。文中,我们将用一阶逻辑的公式来表述程序中变量的值之间的关系。因此,这种方法的好处是:不必做出专门的形式系统,不需要专门的推理规则。我们所要做的一切就是把程序变...

马希文 《计算机学报》 1982年01期 期刊

关键词: 赋值语句 / 含义 / 程序 / 马希文

下载(106)| 被引(2)

语言文字资料的计算机处理  CNKI文献

50年代后期,我国计算机事业刚刚起步不久,就开始了机器翻译的尝试。最近10年,计算机词语处理、语声处理等各方面的工作相继展开,取得了一系列的成就。机器翻译系统借助计算机进行翻译。我国的机器翻译研究首先是针对俄...

马希文 《语文建设》 1988年06期 期刊

关键词: 句子 / 语言文字 / 语言学研究 / 计算机辅助教学系统

下载(69)| 被引(3)

什么是可计算性?  CNKI文献

可计算性的概念是关系到计算机和人工智能发展的重大理论问题,而且很可能在技术上诱发突破性的进展,出现一种不能用现有计算机模拟的新型智能机器。然而,可计算理论是经过认真钻研、反复推敲过的理论体系。只有更加周...

马希文 《计算机研究与发展》 1988年11期 期刊

关键词: 可计算性 / 程序 / 泛函 / 论题

下载(280)| 被引(0)

海东市加快培育农业新型经营主体的思考  CNKI文献

近年来,海东市高度重视"三农"工作,在稳定家庭承包经营的基础上,推进农业经营体制创新,积极培育种养大户、家庭农场、农民专业合作社和龙头企业等新型经营主体,大力发展农技、农机及农产品营销等农村社会化...

马希文 《农民致富之友》 2015年14期 期刊

关键词: 新型经营主体 / 企业 / 家庭农场 / 农民专业合作社

下载(26)| 被引(1)

理论计算机科学引论  CNKI文献

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做...

马希文 《计算机研究与发展》 1988年02期 期刊

关键词: 函数值 / 计算机 / 可计算函数 / 定义域

下载(98)| 被引(0)

民和县土地流转现状与对策  CNKI文献

近年来,民和县围绕农业适度规模经营,坚持走集约化、规模化的发展路子,创新经营体制,优化资源配置,积极引导和规范农村土地经营权流转,促进了全县土地资源的有序高效流转。1民和县土地流转的基本现状民和县辖22个乡镇...

马希文 《农民致富之友》 2015年08期 期刊

关键词: 土地 / 业主 / 民和县 / 土地流转面积

下载(24)| 被引(1)

计算机与汉字改革  CNKI文献

Ⅰ计算机汉字系统的研究是当前计算机界普遍关心的问题之一,不但在我国(包括台湾、香港等地在内)是如此,在日本、东南亚以及美国都有相当规模的研究队伍,多次举行过专题学术会议。

马希文 《文字改革》 1984年05期 期刊

关键词: 拼音化 / 汉字改革 / 文字改革 / 计算机

下载(84)| 被引(2)

加强农经队伍建设 ?提升农经服务水平  CNKI文献

近年来,海东市农经工作成效显著,农经队伍逐渐成为促进农村经济发展不可或缺的重要力量。但在新形势下,新情况和新问题不断出现,全市农经队伍建设与农经工作不相适应的问题日益突出,如何强化农经队伍建设,提升农经服务...

马希文 《山西农经》 2016年04期 期刊

关键词: 农经队伍 / 建设 / 提升 / 农经服务水平

下载(19)| 被引(0)

从计算机汉字系统看《汉语拼音方案》  CNKI文献

要问《汉语拼音方案》(以下简称《方案》)的最大功绩是什么,在我看来,一定要提到计算机汉字系统的实现。计算机汉字系统的关键是输入方式。现有的输入方式大体可分成三类,或者说有三种典型的方式。第一种是大键盘方式...

马希文 《语文建设》 1988年01期 期刊

关键词: 表音文字 / 《方案》 / 《汉语拼音方案》 / 汉字转换

下载(74)| 被引(2)

通字——文字改革的一种途径  CNKI文献

(一) 赵元任教授的《通字方案》(商务印书馆,1982)以古韵书为背景,参照普通话及吴、粤、闽等主要方言,把常用汉字分成了大约两千个小组,每组里的汉字都是同音字,不但从普通话来看是这样,从各方言来看也是这样。然后,再...

马希文 《文字改革》 1985年03期 期刊

关键词: 拼音方案 / 文字改革 / 推广普通话 / 《汉语拼音方案》

下载(73)| 被引(2)

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

  • 发文趋势

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

相关机构

轻松读懂《孙子兵法》