PROLOG抽象分析及在并行性分析中的应用

1

作者 宋立彤 田宏宇 金成植 《吉林大学自然科学学报》 CAS CSCD 1995年第2期44-50,共7页

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，... 深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。 展开更多

关键词 抽象分析 逻辑程序 并扩性分析 编译系统

在线阅读 下载PDF 职称材料

关锋、林聿时不同意刘节等在孔子研究中的超时代超阶级的抽象分析方法

2

作者 礪石 《学术研究》 1963年第2期15-15,共1页

《文史哲》1963年第1期发表了呂振羽和关鋒、林聿时在山东孔子学术討論会上的发言。关鋒、林聿时的《关于孔子思想討論中的阶級分析的几个問題》一文,着重談到了当前在研究孔子思想中值得注意的一些实貭上离开了馬克思主义的阶級分析和... 《文史哲》1963年第1期发表了呂振羽和关鋒、林聿时在山东孔子学术討論会上的发言。关鋒、林聿时的《关于孔子思想討論中的阶級分析的几个問題》一文,着重談到了当前在研究孔子思想中值得注意的一些实貭上离开了馬克思主义的阶級分析和历史主义的傾向。关鋒、林聿时认为,刘节先生的《孔子的“唯仁謝”》离开了馬克思列宁主义的阶級分析方法。他們說, 展开更多

关键词 分析方法 克思主义 超阶级 孔子研究 孔子思想 列宁主义 历史主义 抽象分析 超时 阶级性

在线阅读 下载PDF 职称材料

算礼:探索计算系统的可分析抽象 被引量：1

3

作者 徐志伟 王一帆 +1 位作者 赵永威 李春典 《计算机研究与发展》 EI CSCD 北大核心 2020年第5期897-905,共9页

计算机系统结构研究正在进入多样性时代.同时,以原型系统构建和基准程序测试为主要特征的计算系统研究方法,使得计算系统的研究成本依然居高不下,难以应对多样性挑战.这个矛盾呼唤新的可分析计算系统学术抽象,其主要特征是研究某个新系... 计算机系统结构研究正在进入多样性时代.同时,以原型系统构建和基准程序测试为主要特征的计算系统研究方法,使得计算系统的研究成本依然居高不下,难以应对多样性挑战.这个矛盾呼唤新的可分析计算系统学术抽象,其主要特征是研究某个新系统时,在原型系统实现和基准程序测试之前,就能够分析出该系统的主要性质,进而筛掉不合适的候选系统,大幅度降低研究成本.这正是作为计算机应用抽象的算法概念所具有的特征:在算法实现和基准测试之前就基本可以分析出该算法的时间复杂度和空间复杂度等主要性质.首先,归纳了算法抽象的7条优点,指出最值得计算系统研究学习的是可分析抽象.其次,回顾了系统抽象的相关工作和历史经验,并提出了一个初步候选,称为算礼(computation protocol).最后,讨论了算礼的通用定义、黑箱表示和白箱表示,并用初步的实例指出,算礼思想有助于在计算系统领域提出系统猜想、分析新的并行计算模型、拓展现有架构、启发新的系统评价方法. 展开更多

关键词 算礼 可分析抽象 计算系统研究 原型系统实现 基准程序测试

在线阅读 下载PDF 职称材料

抽象系统分析法是建立政治经济学体系的一般方法——学习《资本论》方法、结构的体会

4

作者 柳秉文 《中共福建省委党校学报》 1988年第3期6-10,25,共6页

早在当代系统论还未诞生之前,马克思就已经在《资本论》中科学而精辟地使用系统分析的方法解剖资本主义制度,在一个完整的体系中系统地分析和再现了资本主义经济关系。可以说,生产关系的抽象系统分析法对于任何一种经济形态的解剖和再... 早在当代系统论还未诞生之前,马克思就已经在《资本论》中科学而精辟地使用系统分析的方法解剖资本主义制度,在一个完整的体系中系统地分析和再现了资本主义经济关系。可以说,生产关系的抽象系统分析法对于任何一种经济形态的解剖和再现都是适用的。它不仅是分析生产关系的普遍方法,而且还是生产关系分析中最基础的方法。 展开更多

关键词 系统分析法 货币关系 资本的生产过程 商品货币 社会总资本 抽象分析法 卷中 帝国主义论 生产价格 事物内部

在线阅读 下载PDF 职称材料

抽象度分析法在分离性公理系统中的应用

5

作者 庹克平 《天津师大学报（自然科学版）》 1989年第1期1-4,共4页

本文试图用抽象度分析法来分析并描述形成分离性公理系统T_i(i=0,1,2,2 1/2,3,3 1/2,4,5,6)空间的抽象思维活动过程及其有关概念的深刻性、基本性和重要程度。

关键词 抽象度分析法 分离公理 一般拓扑

在线阅读 下载PDF 职称材料

抽象性城市雕塑的内涵辨析 被引量：8

6

作者 李晓蕾 王祝根 《南京艺术学院学报（美术与设计）》 CSSCI 北大核心 2019年第1期198-203,共6页

作为城市文化的构成部分,雕塑代表了城市文化水准和文化内涵。优秀的城市雕塑以永久性的可视形象溶于文化氛围之中,成为城市的形象与标志。今天,抽象的表现形式已成为现代城市雕塑最主要的设计手法之一,本文在此基础上对城市雕塑中的抽... 作为城市文化的构成部分,雕塑代表了城市文化水准和文化内涵。优秀的城市雕塑以永久性的可视形象溶于文化氛围之中,成为城市的形象与标志。今天,抽象的表现形式已成为现代城市雕塑最主要的设计手法之一,本文在此基础上对城市雕塑中的抽象性涵义进行分析,并探索合理的抽象分析方法以正确解读城市雕塑的内涵与意义。 展开更多

关键词 城市雕塑 抽象分析 社会意识 具象

在线阅读 下载PDF 职称材料

社会科学研究中的课题设计、资料分析和模型解释

7

作者 杨耕 《北京社会科学》 CSSCI 1993年第4期104-111,共8页

社会科学研究并不是一个神秘的王国,在它之中,同样存在着可供认识,可供操作的基本方法。从总体上看,课题设计——资料分析——模型解释是社会科学研究的三个基本环节,它们构成了一个有序的认识操作过程。本文拟就社会科学研究中的课题设... 社会科学研究并不是一个神秘的王国,在它之中,同样存在着可供认识,可供操作的基本方法。从总体上看,课题设计——资料分析——模型解释是社会科学研究的三个基本环节,它们构成了一个有序的认识操作过程。本文拟就社会科学研究中的课题设计,资料分析和模型解释这三个基本环节及其构成的“思维流”作一考察和分析,以深化我们对社会科学方法的研究。 展开更多

关键词 社会科学研究 课题设计 资料分析 模型解释 社会科学方法 抽象分析法 社会现象 实证分析 基本环节 概念层次

在线阅读 下载PDF 职称材料

对策研究中经济学分析方法和重点的改进

8

《湖北社会科学》 CSSCI 1990年第6期50-50,共1页

从纯经济学抽象分析和逻辑关系推出的改革与发展的方案对策,往往没有恰当估计其作用对象的反应方式,出现在实践过程中效应变形的问题。因此,在对策研究时,应加强对具体题目的具体分析。这里主要包括以下几点:1.具体研究主要涉及对象的... 从纯经济学抽象分析和逻辑关系推出的改革与发展的方案对策,往往没有恰当估计其作用对象的反应方式,出现在实践过程中效应变形的问题。因此,在对策研究时,应加强对具体题目的具体分析。这里主要包括以下几点:1.具体研究主要涉及对象的可能反应方式。如果不能把握住这些有独立利益和行动能力的社会阶层的基本行为方式。 展开更多

关键词 对策研究 具体分析 反应方式 实践过程 抽象分析 逻辑关系 纯经济学 恰当估计 社会阶层 行动能力

在线阅读 下载PDF 职称材料

实证分析与经济运行研究

9

作者 何大安 《浙江财经学院学报》 CSSCI 1991年第1期16-21,76,共7页

经济活动充满了矛盾和冲突,这些矛盾和冲突既体现于经济活动内部,又反映于经济活动外部;与此相适应,理论的研究对象则应该既包括经济活动的内部关系,又应该涉及经济活动的外部联系。前者即所谓生产关系的研究,后者则所谓经济运行的分析... 经济活动充满了矛盾和冲突,这些矛盾和冲突既体现于经济活动内部,又反映于经济活动外部;与此相适应,理论的研究对象则应该既包括经济活动的内部关系,又应该涉及经济活动的外部联系。前者即所谓生产关系的研究,后者则所谓经济运行的分析。就两者同构经济理论大厦而论,它们相辅相成,关系并重,失一则偏,偏一则颇。经济学者的重要任务之一,就是运用实证方法来分析和解释特定背景下的经济如何运行。一、实证分析之规定性实证分析是与抽象分析既相互联系又相互区别的一种研究方法。其联系性主要表现为,在实证分析中仍然蕴含着抽象的因素,即在实证分析中要运用抽象假设的原则。 展开更多

关键词 实证分析方法 经济运行机制 经济活动 经济理论 主要表现 规定性 生产关系 规范经济学 抽象分析 计量经济模型

在线阅读 下载PDF 职称材料

儒家与基督教思维方式之比较 被引量：2

10

作者 朱清华 《南昌大学学报（人文社会科学版）》 北大核心 2017年第5期46-51,共6页

由于语言文字、地理环境和历史条件等因素的影响,塑造了儒家与基督教思维模式的风格差异。儒家表现的是独具特色的具象会意和直觉体悟的思维特点,基督教彰显的是抽象思辨和理性分析的思维方式。儒家的具象直觉和基督教的抽象分析在思维... 由于语言文字、地理环境和历史条件等因素的影响,塑造了儒家与基督教思维模式的风格差异。儒家表现的是独具特色的具象会意和直觉体悟的思维特点,基督教彰显的是抽象思辨和理性分析的思维方式。儒家的具象直觉和基督教的抽象分析在思维基点上体现为主体自身和客观逻辑精神之别,思维原则上呈现为整体与个体之异。但是,二者在一定程度上亦存有相互交织的共性,只是它们的侧重点有所不同。 展开更多

关键词 儒家 基督教 思维方式 具象直觉 抽象分析

在线阅读 下载PDF 职称材料

基于角色的“注意”类心理常识的获取及表示 被引量：1

11

作者 张冬蕾 曹存根 《计算机科学》 CSCD 北大核心 2005年第6期103-108,128,共7页

为了使机算机实现真正的拟人化,使机器具有人类的一些基本的心理常识是一个至关重要的问题。近年来,对于心理常识的研究已成为人工智能领域研究的热点,但已有的工作主要集中在小范围内,对于一些典型的心理状态或情绪的笼统的抽象分析,... 为了使机算机实现真正的拟人化,使机器具有人类的一些基本的心理常识是一个至关重要的问题。近年来,对于心理常识的研究已成为人工智能领域研究的热点,但已有的工作主要集中在小范围内,对于一些典型的心理状态或情绪的笼统的抽象分析,以及情感的计算方面,并没有对于引起特定心理状态产生的前提事件和原因做出系统的研究和考察。为了使计算机真正“理解”人类的心理,需要建立一个大规模的关于真实世界中人类的心理现象的常识性知识库。本文借鉴了心理学研究的若干方法,通过对一种特殊的心理常识——“注意”类常识的详尽探讨,从Internet上的海量文本资源中将真实世界中“注意”产生情境提取出来,经过加工整理形成一条条关于“注意”产生场景的命识,并在此基础上形成了一个基于角色的描述“注意”类心理状态成因的表示框架,同时提供了一种对常识库进行一致性检查的方法。 展开更多

关键词 基于角色 常识 Internet 心理状态 心理学研究 一致性检查 人工智能 抽象分析 心理现象 加工整理 拟人化 人类 计算机 知识库 世界 真实 事件

在线阅读 下载PDF 职称材料

对商誉本质问题的探讨 被引量：4

12

作者 常华兵 《云南财贸学院学报》 2003年第3期70-73,共4页

以现有会计文献中对商誉本质问题的争论为背景 ,运用经济学的抽象分析研究方法 ,从企业自身和企业并购两个角度对商誉本质问题进行了深入分析 ,指出商誉在会计学上的本质与在经济学上的本质应保持逻辑一致 ,即商誉的会计本质应定位于企... 以现有会计文献中对商誉本质问题的争论为背景 ,运用经济学的抽象分析研究方法 ,从企业自身和企业并购两个角度对商誉本质问题进行了深入分析 ,指出商誉在会计学上的本质与在经济学上的本质应保持逻辑一致 ,即商誉的会计本质应定位于企业中人力资源与物质生产要素之间及各自内部相互间的协同和配置体系。 展开更多

关键词 商誉本质 会计本质 企业并购 外购商誉 抽象分析法 经济本质

在线阅读 下载PDF 职称材料

函数式语言的部分求值技术 被引量：3

13

作者 宋立彤 金成植 《软件学报》 EI CSCD 北大核心 1996年第5期306-313,共8页

本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．

关键词 部分求值 抽象分析 函数式语言 程序语言

在线阅读 下载PDF 职称材料

论马克思对生产力范畴的两种使用 被引量：1

14

作者 蒋建华 《江淮论坛》 CSSCI 1991年第4期22-26,共5页

生产力是唯物史观的一个基本范畴,它的科学制定,为马克思从被繁芜复杂的意识形态、动机和偶然性层层包裹的历史表层走向历史深处奠定了坚定的理论基础。但马克思对生产力范畴的科学制定及其使用是有一个过程的,直到《资本论》及其手槁... 生产力是唯物史观的一个基本范畴,它的科学制定,为马克思从被繁芜复杂的意识形态、动机和偶然性层层包裹的历史表层走向历史深处奠定了坚定的理论基础。但马克思对生产力范畴的科学制定及其使用是有一个过程的,直到《资本论》及其手槁才在总体定义的基础上,从抽象分析和具体综合两个视角。 展开更多

关键词 马克思 生产力范畴 生产力概念 唯物史观 《资本论》 抽象分析 理论基础 基本范畴 偶然性 意识形态

在线阅读 下载PDF 职称材料

正迁移与数学教学 被引量：9

15

作者 张玉峰 冯滨鲁 《数学教育学报》 1997年第3期49-52,共4页

论述了数学教学改革是促进学生学习正迁移的必由之路．

关键词 正迁移 数学教学 教学改革 抽象度分析法

在线阅读 下载PDF 职称材料

高阶函数式语言的部分求值器

16

作者 陆卫东 金成植 《软件学报》 EI CSCD 北大核心 1996年第10期634-640,共7页

本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析。

关键词 部分求值 抽象分析 高阶函数式语言 部分求值器

在线阅读 下载PDF 职称材料

有轨电车ATS系统人机交互界面设计 被引量：4

17

作者 康洪军 黄振晖 +2 位作者 张玉琢 储依帆 曹源 《中国铁路》 2015年第1期79-83,共5页

行车调度系统是指导有轨电车有序、正常运行的核心系统,其中ATS系统人机交互搭建了人与机器交流对话的平台。以抽象层级分析法为设计原则,参考地铁和轻轨的ATS系统人机交互界面,以正在计划建造的武夷新区旅游观光轨道交通为例,根据运营... 行车调度系统是指导有轨电车有序、正常运行的核心系统,其中ATS系统人机交互搭建了人与机器交流对话的平台。以抽象层级分析法为设计原则,参考地铁和轻轨的ATS系统人机交互界面,以正在计划建造的武夷新区旅游观光轨道交通为例,根据运营需求,设计一套适合于国内工程的人机交互界面。 展开更多

关键词 有轨电车 ATS系统 人机交互界面 抽象层级分析法

在线阅读 下载PDF 职称材料

亚当·斯密价值理论的方法论特点和理论特色研究 被引量：4

18

作者 余传贵 《财经理论与实践》 CSSCI 北大核心 2003年第5期7-13,共7页

斯密的价值理论具有五个重要的方法论特点和理论特色 :价值理论体系上的抽象—演绎分析法、抽象分析法、意义重大的稀缺价值论、独具特色的自然秩序论和承前启后的价值理论 ;研究斯密价值理论的方法论特点和理论特色 ,对于深化社会主义... 斯密的价值理论具有五个重要的方法论特点和理论特色 :价值理论体系上的抽象—演绎分析法、抽象分析法、意义重大的稀缺价值论、独具特色的自然秩序论和承前启后的价值理论 ;研究斯密价值理论的方法论特点和理论特色 ,对于深化社会主义社会劳动和劳动价值论的研究 ,具有极为重要的启发意义。 展开更多

关键词 亚当·斯密 价值理论 稀缺价值论 自然秩序 抽象-演绎分析

在线阅读 下载PDF 职称材料

“机遇”浅释

19

作者 陈国裕 《社会》 北大核心 1998年第7期16-17,共2页

关键词 客观需要 存在的必然性 水泵 偶然性 抽象分析 客观方面 自来水 动态过程 企业设计能力 俄罗斯文学

在线阅读 下载PDF 职称材料

利用计算机教学“等可能性事件的概率”

20

作者 邹建华 《中国电化教育》 北大核心 1994年第9期24-25,共2页

关键词 计算机教学 抽象分析 教学过程 教师要求 怀子 显示过程 计算机屏幕 模拟实验 教学内容 随机函数

在线阅读 下载PDF 职称材料