期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
从like-LAMBDA抽象语言到like-PASCAL过程式语言的转换技术
1
作者 金成植 柴玉梅 《计算机学报》 EI CSCD 北大核心 1992年第11期856-864,共9页
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
关键词 抽象语言 过程式语言 转换技术
在线阅读 下载PDF
论具象语言和抽象语言在现代雕塑中的表现 被引量:2
2
作者 曲鸣 《学术论坛》 CSSCI 北大核心 2011年第10期83-85,共3页
雕塑具有自己的多种语言,其中语言就是一种分类,每一件雕塑作品都包含有这两种语言,只是分量不同。当人们划分具象雕塑和抽象雕塑时,就依据具象语言与抽象语言所占的比重来划分具象雕塑和抽象雕塑。抽象艺术、具象艺术与艺术作品中的抽... 雕塑具有自己的多种语言,其中语言就是一种分类,每一件雕塑作品都包含有这两种语言,只是分量不同。当人们划分具象雕塑和抽象雕塑时,就依据具象语言与抽象语言所占的比重来划分具象雕塑和抽象雕塑。抽象艺术、具象艺术与艺术作品中的抽象语言、具象语言是两类不同的概念。在不同的历史背景下,不同的地域,具象雕塑和抽象雕塑有不同的抽象雕塑,因为不同的社会文化背景之下,可能偏重具象语言,也可能偏重抽象语言。具象是第一位的,抽象是第二位的,先有具象的认识,再有抽象的认识,具象是基础,抽象是升华。从哲学的角度来说,事物的抽象和具象是不可割裂的统一体,抽象融合具象,抽象和具象相互包容、相互交织。 展开更多
关键词 雕塑 具象语言 抽象语言 划分 发展
在线阅读 下载PDF
“语言抽象层次”理论对于大学课堂讲授的启示
3
作者 桑塔 杨晓霭 《中国大学教学》 CSSCI 北大核心 2024年第3期92-96,共5页
语言不完全等同于现实,忽略这一事实会造成许多混乱。“语言抽象层次”理论旨在发现这个问题并试图解决这一混乱。具体反映在使用语言过程中,要把握好恰当的语言抽象层次,尤其在高校课堂上,教师的语言抽象层次对于知识的口头传授至关重... 语言不完全等同于现实,忽略这一事实会造成许多混乱。“语言抽象层次”理论旨在发现这个问题并试图解决这一混乱。具体反映在使用语言过程中,要把握好恰当的语言抽象层次,尤其在高校课堂上,教师的语言抽象层次对于知识的口头传授至关重要。在抽象层次上自由跳跃,这样才能在语言层面保证知识传授过程的最大效能。“语言抽象层次”理论对高校教师的知识储备、课前备课、讲授过程及语言风格都有重要的启示。 展开更多
关键词 教学 语言抽象层次 讲授法
在线阅读 下载PDF
语言的抽象、封装与变换型开发方法 被引量:4
4
作者 张乃孝 郑红军 裘宗燕 《软件学报》 EI CSCD 北大核心 1998年第7期496-500,共5页
该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过... 该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程. 展开更多
关键词 变换型方法 语言抽象 语言封装 软件开发方法
在线阅读 下载PDF
程序设计语言的抽象与语言族模型 被引量:2
5
作者 张乃孝 郑红军 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1997年第5期650-657,共8页
程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的3种关系:继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型。
关键词 程序设计语言 语言抽象 语言族模型
在线阅读 下载PDF
Apla与程序设计语言泛型特性比较研究 被引量:8
6
作者 左正康 刘志豪 +5 位作者 黄箐 游珍 王昌晶 石海鹤 胡启敏 陶小明 《江西师范大学学报(自然科学版)》 CAS 北大核心 2019年第5期454-461,共8页
面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持... 面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持静态语法约束,但受语言其他方面的限制,抽象层次较低,定义的泛型概念难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离.该文综合比较了Java、C#、C++、Concept 4种支持泛型程序设计的语言,基于抽象程序设计语言Apla提出了离完整实现GP更近一步的泛型机制,通过同典型泛型实例对各种程序设计语言泛型特性进行分析,验证抽象泛型程序设计语言Apla中该泛型机制的优越性. 展开更多
关键词 泛型程序设计 动态语义约束 抽象程序设计语言
在线阅读 下载PDF
Apla语言中并发分布式机制的研究 被引量:4
7
作者 游珍 薛锦云 应时 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页
从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的... 从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。 展开更多
关键词 并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制
在线阅读 下载PDF
基于抽象状态机的网格系统设计和分析 被引量:4
8
作者 刘晖 李明禄 《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2096-2100,共5页
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述... 基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 . 展开更多
关键词 抽象状态机 抽象状态机语言 网格 软件测试 可执行规范 有限状态机
在线阅读 下载PDF
中外英语学术书评语篇言据性与 身份构建对比研究——基于语言学与应用语言学领域书评的个案研究 被引量:5
9
作者 鞠玉梅 《山东外语教学》 北大核心 2023年第2期17-29,共13页
本研究从国际语言学与应用语言学类英文期刊收集中国作者和英语本族语作者发表的学术书评,对比分析其言据性特征和由此构建的身份特征。研究发现,两组作者书评语篇的言据性特征在总体上共性大于差异性,但在诸多具体细节上差异性大于共性... 本研究从国际语言学与应用语言学类英文期刊收集中国作者和英语本族语作者发表的学术书评,对比分析其言据性特征和由此构建的身份特征。研究发现,两组作者书评语篇的言据性特征在总体上共性大于差异性,但在诸多具体细节上差异性大于共性;两组作者通过言据性所构建的作者身份呈现不同特征,两者虽都构建了著作介绍者和评价者身份,但中国作者更偏向著作介绍者身份,英语本族语作者则两种身份并重。研究认为,民族大文化和学科小文化是影响中外作者言据话语实践及其所构建身份的可能原因。研究结果部分印证了修辞偏好与文化以及话语实践与身份存在关联性等观点。 展开更多
关键词 语用意识 交际目标 语用学研究 言语行为 事务性 语法 抽象语言 语用学角度
在线阅读 下载PDF
基于UML扩展机制的MDA协议建模语言研究 被引量:3
10
作者 宋瑾钰 蒋国明 高会聪 《计算机工程与设计》 CSCD 北大核心 2009年第5期1113-1114,1291,共3页
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使... 由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。 展开更多
关键词 形式化语义 协议工程 UML扩展机制 模型驱动构架 交互抽象状态机描述语言
在线阅读 下载PDF
Chord协议的抽象状态机模型
11
作者 米海波 王怀民 尹刚 《计算机工程与科学》 CSCD 北大核心 2010年第4期83-85,92,共4页
P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并... P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。 展开更多
关键词 抽象状态机 CHORD协议 抽象状态机语言 有限状态机
在线阅读 下载PDF
语言背后的心理——群体间的语言偏见 被引量:2
12
作者 蒋燕玲 杨红升 《心理科学进展》 CSSCI CSCD 北大核心 2015年第12期2142-2152,共11页
不同群体间普遍存在着语言偏见,表现为人们倾向于使用抽象度较高的词语对内群体成员的积极行为和外群体成员的消极行为进行描述,而对内群体成员的消极行为、外群体成员的积极行为则使用抽象度较低的词语进行描述。社会认同需要和认知预... 不同群体间普遍存在着语言偏见,表现为人们倾向于使用抽象度较高的词语对内群体成员的积极行为和外群体成员的消极行为进行描述,而对内群体成员的消极行为、外群体成员的积极行为则使用抽象度较低的词语进行描述。社会认同需要和认知预期倾向是它产生的两大心理机制,其影响因素包括社交情境、群体和个体等方面,同时它会对群体刻板印象及语言主体间的社会关系产生重要的影响。后续研究需要进一步探讨语言偏见的其他表现形式、研究方法及本土化研究等问题。 展开更多
关键词 内外群体 语言偏见 语言抽象 刻板印象
在线阅读 下载PDF
群体间的语言偏见 被引量:1
13
作者 赵欣 《理论月刊》 CSSCI 北大核心 2012年第3期84-87,共4页
社会心理学家认为,语言可以微妙地反映人们的思维结构,在内群体对待外群体的时候最为明显。当描述一个内群体成员的积极行为或外群体成员的消极行为时,人们往往使用更为抽象的语言;而当提起内群体成员的消极行为或外群体成员的积极行为... 社会心理学家认为,语言可以微妙地反映人们的思维结构,在内群体对待外群体的时候最为明显。当描述一个内群体成员的积极行为或外群体成员的消极行为时,人们往往使用更为抽象的语言;而当提起内群体成员的消极行为或外群体成员的积极行为时,人们则使用更加具体的语言,这便是群体间语言偏见。群体间语言偏见是一项应用性很强的研究议题。这项研究在20世纪80年代末发展起来,本文依次观照Anne Maass、Wiliam von Hippel、Denise Sekaquaptewa、Patrick Vargas,Guen R.Semin、Lorena Gil de Montes、Jose F.Valencia以及Karen M.Douglas和Robbie M.Sutton该领域最具代表性的学者的研究,先后缕述群体间语言偏见的提出,群体间语言偏见的内隐特征、传播目的与群体间语言偏见的关系以及与话者的语言抽象性及其推本溯源,目的是探讨缘自群体类别不同的语言偏见。 展开更多
关键词 群体间语言偏见 语言抽象 内群体 外群体 积极行为 消极行为
在线阅读 下载PDF
论结构化方法与形式化方法的结合 被引量:2
14
作者 李景洲 董继润 李保栋 《计算机科学》 CSCD 北大核心 1995年第1期47-50,共4页
The advantages and drawbacks of both structured method and formal method togetherwith techniques of integrating the two methods are described and analysed in this paper.Two typi-cal classes of techniques for the integ... The advantages and drawbacks of both structured method and formal method togetherwith techniques of integrating the two methods are described and analysed in this paper.Two typi-cal classes of techniques for the integration are presented as examples,they are the transformationbased and formal framework based techniques.Several problems about the integrated method aredisscused at last. 展开更多
关键词 软件开发 结构化 形式化 抽象描述语言
在线阅读 下载PDF
右脑形象思维与思维本质的再探索 被引量:2
15
作者 钱国屏 《课程.教材.教法》 CSSCI 北大核心 1999年第5期57-61,共5页
自然界的重大发现是推动科学前进的巨大动力。60年代美国科学家斯佩里(R.W.Spery)发现,大脑的半球功能不对称的许多事实,即右半球在音乐、形象等功能上存在优势,左半球在语言、书写、计算等功能上具有优势。这就是时下... 自然界的重大发现是推动科学前进的巨大动力。60年代美国科学家斯佩里(R.W.Spery)发现,大脑的半球功能不对称的许多事实,即右半球在音乐、形象等功能上存在优势,左半球在语言、书写、计算等功能上具有优势。这就是时下流行的右脑专司形象思维,左脑专司语... 展开更多
关键词 右脑形象思维 思维本质 辩证逻辑 胼胝体 具体和抽象 儿童语言 辩证法 斯佩里 形式逻辑 语言抽象
在线阅读 下载PDF
基于数据集约束的并行数据流建模与描述研究
16
作者 高伟 何丰 《计算机工程与设计》 CSCD 北大核心 2010年第6期1180-1183,共4页
为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法。研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri... 为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法。研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则。最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码。该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性。 展开更多
关键词 网格 面向对象PETRI网 数据集 数据流 抽象工作流语言
在线阅读 下载PDF
基于ASM的混合式情境感知共享机制研究
17
作者 蒋晶晶 叶剑 朱珍民 《计算机工程与科学》 CSCD 北大核心 2012年第6期50-58,共9页
移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性... 移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。 展开更多
关键词 情境感知 P2P 抽象状态机 可执行规范 有限状态机 抽象状态机语言
在线阅读 下载PDF
右脑形象思维与思维本质的探索 被引量:1
18
作者 钱国屏 《现代哲学》 1999年第1期41-44,共4页
关键词 右脑形象思维 思维本质 具体和抽象 形式逻辑 归纳推论 辩证逻辑 语言抽象 斯佩里 辩证法 大脑两半球
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部