首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 108 毫秒
1.
提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Herbrand解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。  相似文献   

2.
就科技写作语言而言,不仅要使用自然语言符号系统,而且要使用人工语言符号系统.即是说,科技文献中使用的语言和其他语体的语言不同之处就在于同时使用两种语言符号系统这种双重语言符号的使用,是科技文献的基本材料,它在科技写作中具有十分重要的作用.科技语言是否纯洁健康,直接关系到能不能准确、及时地交流科技成果,交换科技情报,促进科学技术的迅速发展.因此,探讨科技语言的正确使用,就具有重要的意义.  相似文献   

3.
本文将概要地介绍一下MPL符号装配语言中的宏指令产生器的特点和结构。宏指令产生器是这样的一种软设备,通过这种软设备,程序员可从已有的指令随意地定义任何新指令。宏指命产生器使得程序语言在很大程度上是可扩充的。MPL符号语言所配备的宏指令产生器是一个符号宏指令处理器,它完全从字符串的角度处理宏指令定义和宏指令引用。  相似文献   

4.
逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。  相似文献   

5.
汉语原型句蜕的英译形式多种多样,其中变换成英语的多元逻辑组合是涉及比较复杂变换细节的一种,因而成为颇具特色的语义块构成变换子类.文章从概念阐释入手,详尽分析了这种变换的语言现象、变换的必要性以及实施变换的技术准备.  相似文献   

6.
语言是民族习惯的产物,具有较大的随意性,尤其是自然语言;逻辑则是全人类同一的,有较强的规范性。用具有随意性的语言表述具有较强规范性的逻辑,就容易造成二者的不协调。当元语言和对象语言是同种语言时,这种不协调就会造成矛盾。本文分别从逻辑结构与语言结构上对这些“矛盾”的例子加以分析,通过一些实例的解析,得出结论:有些从语言形式表面看起来“矛盾”的语词、语句,实际上并不矛盾。它们只是人们对结构的机械划分或孤立理解语词、语句的语义造成的。逻辑与语言分属不同的研究领域,然而它们紧密相关。对语言的考察离不开逻辑法则,对逻辑的考察也不应撇开语言的历史与现实性。“矛盾”的认定也必须联系多方面的因素。  相似文献   

7.
态势估计是数据融合体系中的一个重要层次,针对态势估计过程中的语义挑战,引入描述逻辑的概念作为语义推理的逻辑基础.通过描述逻辑良好的语义定义以及提供可判定的推理服务,来给符号分配意义并限制符号可能的解释,消除其中的语义障碍.介绍了描述逻辑的概念、体系和推理, 通过实例说明了这种应用的可能性,并给出功能模型.  相似文献   

8.
普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。  相似文献   

9.
本文叙述了一种用于决策支持辅助系统的模糊逻辑方法以及以运动物体速度相当慢的海军领域内人的专门知识的优点。我们研究跟踪过程中的机动辅助功能。传统的方法是使用简化假设建立数学模型。但是,跟踪过程不能严格确定,在性质上它是一个近似推理过程。在本文中我们提出一种由基于模糊逻辑知识系统提供的一种新方法。该方法的要点是描述操作人员的行为特征,以便将其结合到模糊逻辑决策辅助系统中。 已经实现了模糊逻辑开发环境。通过仿真获得了很满意的结果,证明这种模糊逻辑方法是合理的。  相似文献   

10.
在中国现代历史的进程中,延安精神无疑是一个重要的文化和精神符号。它源于特定的历史时期,承载着中共党员和广大群众对于理想和信仰的坚定追求,展示了高度的集体责任和牺牲精神。延安精神是中华民族精神的一种集中凝练,其核心价值观念如“仁爱和合”和“生生不息”等,与中华优秀传统文化有着千丝万缕的联系。因此,深入挖掘延安精神与中华优秀传统文化的内在逻辑,并探讨这种逻辑联系在当下社会和文化背景下的现实意义,更有助于我们更深刻地把握中华优秀传统文化的内涵和价值。  相似文献   

11.
以对74290IP核加载边界扫描结构为例,采用硬件描述语言Verilog对边界扫描结构进行了模块化设计,并进行了边界扫描测试仿真。结果表明:加载边界扫描结构后的核心逻辑能够实现功能内测试和外部互联测试。该设计方法简单可行,具有一定的通用性,为智能BIT设计、装备健康管理设计中的底层数据采集提供了技术支撑。  相似文献   

12.
VOA广播英语新闻的结构和语言特点   总被引:3,自引:0,他引:3  
英语新闻忠实记录了现代英语的发展演变.文章简单介绍了VOA广播英语新闻的基本情况,主要分析了VOA广播新闻在结构和语言方面的特点,旨在帮助学生更好地理解新闻英语,并通过广播英语新闻,促进英语学习.  相似文献   

13.
实务中有不少涉外经济合同纠纷是因各方对合同文字的理解不一而引起的,究其原因,主要是起草者对合同语言的特殊性缺乏应有的了解,结果导致合同语言的模糊性和不确定性。本文从词法、句法及篇章等三个层面对英文经贸合同语言的特殊性及其变化规律进行探讨,以期能有助于对此类合同的理解和起草。  相似文献   

14.
听力课在外语教学中占有主要地位。一直以来,外语教学遵循的"听说读写译"规律,更是将听力放在首位,这足以说明听力对外语学习者的重要性。现代语言教育理论高度重视听在语言学习和语言使用中的作用,听力教学受忽视和缺乏科学性的状况正在改变。结合多年教学实践,对如何提高听力教学效果,使学生在短期内提高听力能力做了初步的探讨。  相似文献   

15.
汉语作为一种古老的语言,越来越受到各国人民的普遍关注,外国人学习汉语的热情空前高涨。随着我国综合国力的不断增强,国际地位的不断提高,与世界各国在政治、经济、科技文化等方面的广泛交流与合作,迫切要求汉语冲出国门,走向世界。但汉语作为表意文字,难写、难认、难记、难学。给现代信息文化的传播与交流,尤其是计算机输入与应用带来难以想像的困难。另一方面,大陆使用的简化字与港、澳、台使用的繁体字在国际上的并用,也给汉字的使用造成混乱,因此,汉语要走向世界,必须规范、统一、简化。  相似文献   

16.
针对具有自然语言评价信息的群决策问题,给出了一种基于语言评价信息与梯形模糊数的群体意见共识方法.该方法先通过无量纲化处理、语言评价信息转换为梯形模糊数、对梯形模糊数进行集结等步骤,形成群体对方案的综合评价值(梯形模糊数);然后对群体意见进行共识分析和评价;最后对共识结果进行方案排序.通过对实例进行分析,表明该方法能得到切合实际的决策效果.  相似文献   

17.
“创新教育”是社会发展对教育提出的必然要求,创新教育的核心是创造性思维的培养。文章通过对创造性思维的涵义理解,结合分析创造性思维的特点和语文学科自身构成的元素,分别从语言教学、文艺教学和文章教学等三个方面论述了语文教学培养创造性思维的必然性。  相似文献   

18.
隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式,但却具有否定内容的语言现象。本文从语言语境、常规关系语境及社交语境角度对隐含否定的非规约性间接言语行为进行分析,并用具体实例说明语境信息对理解和表达隐含否定的非规约性间接言语行为的有效作用。  相似文献   

19.
当今社会,技术日新月异,彻底改变着经济、社会、政治和文化生活,也极大地影响着教育。那么,如何充分利用新技术为教学服务,已经成为当今教育工作者研究的一个重要课题。长期以来,技术只是作为一种辅助工具使用于教学中,对它的研究没有上升到教学法的角度。因此,它在外语教学中的巨大作用远远没有被开发和有效利用。本文旨在探讨如何有效利用信息交流技术(ICT),极大地丰富教学和学习过程,使它更好地为教学对象服务,提高外语学习效果。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号