搜索筛选:
搜索耗时2.5325秒,为你在为你在102,285,761篇论文里面共找到 66 篇相符的论文内容
发布年度:
[期刊论文] 作者：陆汝钤,,
来源：语言战略研究 年份：2018
英国科学家图灵(Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展产生了深远的影响。图灵还有一项重要贡献,对后来人工智能...
[期刊论文] 作者：陆汝钤,
来源：高等数学研究 年份：2015
由我国著名数学家吴文俊、张景中两位院士分别创建的两种几何定理机器证明，使我国在这一领域处于世界领先地位．正如王梓坤院士讲的，“我们可以自豪地说，几何定理机器证明研究的重......
[期刊论文] 作者：陆汝钤,
来源：计算机研究与发展 年份：1991
本文介绍了《天马》环境的主要功能,并从多知识表示和多推理机结构、配套的知识获取工具、现代接口工程技术、实用化的集成机制等四个方面阐述了它的主要特色。...
[期刊论文] 作者：陆汝钤,
来源：中国科技术语 年份：2014
中图分类号：N04;TP39 文献标识码：A 文章编号：1673-8578（2014）06-0021-01 cyber不是一个独立的词，而是作为一个词根出现在不同的名词中，其中最常见的是 cyberspace、cyber security、cyberphysical system等。这些名词在不同的应用领域中常被理解为不同的含义。以c......
[期刊论文] 作者：陆汝钤,
来源：重庆邮电大学学报：自然科学版 年份：2008
介绍了在少儿图灵测试方面做的一项研究。该测试用一个基于常识知识库的对话系统实现。它能用比较自然的方式和少儿对话。该系统与许多其他对话程序的区别在于它是基于常识的...
[期刊论文] 作者：陆汝钤,
来源：计算机研究与发展 年份：2019
每年金秋总有两个节日紧随一起:中秋节和国庆节(按时间先后).今年可不寻常,徐主编告诉我《计算机研究与发展》(以下简称《研发》)创刊60周年了。这是我国的第一个计算机刊物...
[会议论文] 作者：陆汝钤,
来源：21世纪信息技术发展战略研讨会 年份：1999
文章根据第一位作者“知识科学及其研究前沿”一文中的第五及第六两节改写而成。该文共有八节：１．知识模型研究。２．常识性知识研究。３．非规范知识研究。４．知识通信的数学理论。５．知识获取......
[期刊论文] 作者：陆汝钤,,
来源：中国科技奖励 年份：2000
一、前言rn从古希腊人开始,对于知识的研究与探索一直是人类追求的目标.几千年来的情况都是这样的:哲学家研究有关知识的一般特性与规律,而自然科学家孜孜不倦地猎取具体的知...
[会议论文] 作者：陆汝钤,
来源：第四届中国Agent理论与应用学术会议 年份：2012
本报告将回顾我们提出并已经原型实现的全过程计算机辅助动画自动生成技术。即从用受限自然语言书写的故事开始，直至最终生成动画，每一步都是在计算机支持下自动完成的。这......
[期刊论文] 作者：陆汝钤,
来源：科海故事博览·上旬刊 年份：2019
已经84岁的陆汝钤，还保持着6点起床的习惯。作为中国科学院数学与系统科学研究院的一名研究员，陆汝钤至今仍在带学生，亲力亲为地给学生定选题、找突破口，梳理研究思路。数十年来，陆汝钤在人工智能、知识工程和基于知识的软件工程方面做出了突出贡献。在刚刚过去的201......
[期刊论文] 作者：陆汝钤,,
来源：计算机工程与应用 年份：1987
本文扼要综述了七十年代和八十年代人工智能研究的概况。总的观点是:由于在人工智能的早期研究阶段人们抱有过分乐观的看法,以致于当人工智能研究的实际进展落后于人们的期待...
[期刊论文] 作者：陆汝钤,,
来源：重庆邮电大学学报(自然科学版) 年份：2008
介绍了在少儿图灵测试方面做的一项研究。该测试用一个基于常识知识库的对话系统实现。它能用比较自然的方式和少儿对话。该系统与许多其他对话程序的区别在于它是基于常识的...
[期刊论文] 作者：陆汝钤,
来源：发明与创新 年份：2004
自古以来,对于知识的研究与探索一直是人类追求的目标.几千年来,哲学家研究有关知识的一般特性与规律,而自然科学家孜孜不倦地猎取具体的知识.20世纪中叶以后,由于信息处理技...
[期刊论文] 作者：陆汝钤,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1991
给定一个EN系统的一次运行,与它对应的P/R网不是唯一的。 本文引进了P/R网同构的概念,并证明了EN系统的同一个运行所对应的P/R网在同构意义下是唯一的。本文还讨论了P/R网表示的反问题,引进了P/R网良构的概念,证明了良构性是对任一P/R网存在一个相应的EN系统的......
[期刊论文] 作者：陆汝钤,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1986
在代数语义学中,为了描述不一定终止的程序,把∑代数中的运算推广为载体集上的偏函数,并证明了:在一定条件下,共弱初始模型和弱终结模型是存在的。但是,已有的方法仅能适用于程序的静态结构与动态结构一致的情况。本文提出一种公理化方法,可以妥善地描述包括got......
[期刊论文] 作者：陆汝钤,
来源：中国科学 年份：1981
本文给出了关于Horn集的新的消解方法与完备性定理,证明了正单项消解和有序消解的联用策略对Horn集是完备的。...
[期刊论文] 作者：陆汝钤,
来源：中国科学 年份：1981
本文是在文献[1]的基础上提出一种直接判误法,并给出了相应的算法。然后又提出强有序输入消解原理,证明这个新原理对Horn集也是完备的。同时揭示了它与文献[1]中讨论的正单项有序消解策略的内在关系。最后给出了相应的算法和例子。......
[期刊论文] 作者：陆汝钤,张文妍,陆汝钤,
来源：中国科学E辑:技术科学 年份：2002
由Lindenmayer创立的L系统既是一个描述生物生长的数学模型,又是一种并发的形式语言.它的研究历来为人所重视.但是,L系统及其种种变形刻画的都是同步的并发系统.实际上,在自...
[期刊论文] 作者：陈刚,陆汝钤,
来源：计算机研究与发展 年份：2003
在多Agent系统 (MAS)的研究中 ,如何表示Agent之间的相互关系 ,以及有效地组织Agent之间的协作通信机制 ,提高系统的可靠程度、降低整个系统的通信代价和减少资源开销 ,一直...
[期刊论文] 作者：陆汝钤, 金芝,,
来源：中国科学(E辑:信息科学) 年份：2008
首先回顾了从90年代初开始的10年PROMIS技术研究.PROMIS的核心是基于领域知识建模的应用系统自动开发,它强调要把领域知识的开发与应用和系统架构本身的开发区分开来并分别进...
相关搜索：
