期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
Institution中自由合并理论的初始与终结语义 被引量:6
1
作者 刘富春 《软件学报》 EI CSCD 北大核心 1999年第2期197-200,共4页
在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下。
关键词 程序规范说明 INSTITUTION 自由合并理论
在线阅读 下载PDF
论院校协作的历史沿革、基本原理和主要模式 被引量:9
2
作者 黄甫全 方佳 《现代大学教育》 CSSCI 北大核心 2010年第6期1-7,共7页
院校协作,是大学教育院系与中小学幼儿园以合作方式开展各种教育及其研究活动的一种理论与实践,在其历史发展过程中依次经历了孕育、成型及繁荣三个阶段,建构了"组织说""机会说"与"交往哲学说"三大原理,... 院校协作,是大学教育院系与中小学幼儿园以合作方式开展各种教育及其研究活动的一种理论与实践,在其历史发展过程中依次经历了孕育、成型及繁荣三个阶段,建构了"组织说""机会说"与"交往哲学说"三大原理,形成了"实验学校"、"专业发展学校"以及"双师制"三种模式。 展开更多
关键词 院校协作 历史沿革 基本原理 主要模式 COOPERATION INSTITUTION HISTORICAL Evolution Major 专业发展学校 历史发展过程 实验学校 三种模式 三大原理 教育院系 合作方式 中小学 幼儿园 双师制 组织 孕育
在线阅读 下载PDF
正则序类方程逻辑的Institution 被引量:1
3
作者 刘富春 《江西师范大学学报(自然科学版)》 CAS 1997年第4期318-322,共5页
该文较为巧妙地证明了SatisfactionCondition,建立了一个正则序类方程逻辑的Institution.
关键词 抽象模型论 程序设计 正则序类 INSTITUTION
在线阅读 下载PDF
作为塑造社会力量的博物馆展览——美国若干博物馆展览的案例观察 被引量:2
4
作者 刘守柔 《中国博物馆》 2012年第4期93-97,共5页
博物馆通过主题展览来体现对社会的关注、对时代的回应。观众在参观过程中,对展览内容产生兴趣,受到潜移默化的影响,将从展览获得的感悟和经验带入社会生活。通过近两年美国博物馆几个展览案例的论述,可以看到博物馆如何实现这样的目标。
关键词 博物馆展览 社会力量 美国博物馆 史密森博物学院(Smithsonian Institution)
在线阅读 下载PDF
基于路径依赖理论的党内民主选举制度创新和完善探析 被引量:1
5
作者 伊娜 《领导科学》 北大核心 2013年第05Z期29-32,共4页
关于选举制度与选举程序,诸多学者做了大量深入的研究,但不能忽视其背后更深层次的思想文化问题。在此,笔者借用道格拉斯·C.诺斯提出的制度变迁理论,深入探析党内民主选举这一政治制度的变迁。一、路径依赖与党内选举制度变迁(一)... 关于选举制度与选举程序,诸多学者做了大量深入的研究,但不能忽视其背后更深层次的思想文化问题。在此,笔者借用道格拉斯·C.诺斯提出的制度变迁理论,深入探析党内民主选举这一政治制度的变迁。一、路径依赖与党内选举制度变迁(一)制度变迁与路径依赖理论概述20世纪70年代前后,道格拉斯·C.诺斯提出了制度变迁理论,明确指出"对经济增长起决定性因素的是制度性因素而非技术因素"。制度(Institution),即经济学意义上的制度,"是一系列被制定出来的规则、服从程序和道德、伦理的行为规范"。由此定义,诺斯在后来的研究中,进一步把制度区分为正式制度(正式规则)与非正式制度(非正式规则)。 展开更多
关键词 民主选举制度 党内选举制度 路径依赖理论 制度变迁理论 选举程序 诺斯 党内民主 非技术因素 Institution 政治生活
在线阅读 下载PDF
第十一届亚洲流体力学会议(11ACFM’2006)简介
6
作者 白鹏 崔尔杰 李家春 《力学进展》 EI CSCD 北大核心 2006年第3期479-480,478,共3页
1会议概况 由亚洲流体力学委员会(Asian Fluid Mechanics Committee)主办,马来西亚工程师协会(The Institution of Engineers,Malaysia)承办的“第十一届亚洲流体力学会议’2006”(The Eleventh Asian Congress of Fluid Mechan... 1会议概况 由亚洲流体力学委员会(Asian Fluid Mechanics Committee)主办,马来西亚工程师协会(The Institution of Engineers,Malaysia)承办的“第十一届亚洲流体力学会议’2006”(The Eleventh Asian Congress of Fluid Mechanics,11ACFM’2006)于2006年5月22-25日在位于马来西亚首都吉隆坡市中心的Berjaya时代广场酒店会议中心(Berjaya Times Square Hotel & Convention Center)召开.会议的组织委员会由亚洲流体力学委员会和当地组委会组成.其中亚洲流体力学委员会主席为M.Kiya(Japan)教授,副主席为崔尔杰教授和P.R.Viswanath (India)博士.当地组委会主席由C.S.Ow(Malaysia)教授担任,副主席由C.P.Tso(Malaysia)教授担任. 展开更多
关键词 流体力学 会议概况 亚洲 INSTITUTION 简介 马来西亚 TIMES 委员会 副主席 会议中心
在线阅读 下载PDF
Institution中自由理论态射的合成 被引量:6
7
作者 应明生 《软件学报》 EI CSCD 北大核心 1997年第8期636-640,共5页
本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的.
关键词 代数语义学 范畴论 INSTITUTION 程序设计
在线阅读 下载PDF
Institution理论中一个提升函子的余连续性和连续性
8
作者 刘富春 《江西师范大学学报(自然科学版)》 CAS 1997年第3期233-238,共6页
该文构作了两个范畴Insc和Thc,将J.A.Goguen等文中的一个重要定理(即该文命题2)提升为一个函子F:Insc→Thcop,并且得到了该函子的余连续性和连续性.这为计算机模块化程序的安全调用以及系统工程中子... 该文构作了两个范畴Insc和Thc,将J.A.Goguen等文中的一个重要定理(即该文命题2)提升为一个函子F:Insc→Thcop,并且得到了该函子的余连续性和连续性.这为计算机模块化程序的安全调用以及系统工程中子系统理论的建立提供了一定的理论依据.另外也将命题2推广到liberal理论范畴Thl&上. 展开更多
关键词 余连续 连续 函子 范畴 INSTITUTION
在线阅读 下载PDF
关于Institution范畴式定义的注记
9
作者 刘富春 《江西师范大学学报(自然科学版)》 CAS 1997年第2期121-126,共6页
该文构造了范畴Trel和(1Set↓/U↑)OP之间的同构。
关键词 抽象模型论 范畴式 范畴同构 INSTITUTION
在线阅读 下载PDF
需求指引改变——炼油行业关注原油制化学品 被引量:1
10
作者 张伟清 《石油炼制与化工》 CAS CSCD 北大核心 2018年第12期75-75,共1页
随着世界人口的增加和生活水平的不断提高,对能源和化学品的需求空前高涨。预计未来10年,全球化学品需求增幅将比全球GDP增幅高近40%。中产阶级人口增加推动了全球从家用电器、建材到汽车等等领域对化学品需求的激增。根据布鲁金斯... 随着世界人口的增加和生活水平的不断提高,对能源和化学品的需求空前高涨。预计未来10年,全球化学品需求增幅将比全球GDP增幅高近40%。中产阶级人口增加推动了全球从家用电器、建材到汽车等等领域对化学品需求的激增。根据布鲁金斯学会(Brookings Institution)的数据,从2015年到2030年,收入达到中产阶级的新增人数将超过25亿,主要是分布在亚洲和其他发展中国家和地区。 展开更多
关键词 化学品 炼油行业 INSTITUTION 油制 世界人口 发展中国家 家用电器 生活水
在线阅读 下载PDF
Institution框架下的结构化标记共变-逆变模拟
11
作者 黄振华 《计算机应用与软件》 CSCD 2016年第2期197-202,共6页
结构化标记共变-逆变模拟是共变-逆变模拟的一种扩充,在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间存在诸多相似之处,为了在更抽象层次上研究两者的关系,引入Ins... 结构化标记共变-逆变模拟是共变-逆变模拟的一种扩充,在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间存在诸多相似之处,为了在更抽象层次上研究两者的关系,引入Institution框架。基于该框架,讨论结构化标记模态转换系统间的模态精化与结构化标记共变-逆变模拟之间的关系,并证明前者到后者存在Institution态射。结果表明,相比结构化标记模态转换系统中模态精化关系,结构化标记共变-逆变模拟具有更强的表达能力。 展开更多
关键词 INSTITUTION 结构化标记 模态转换系统 共变-逆变模拟
在线阅读 下载PDF
List of Participants
12
《中国科学技术大学学报》 CAS CSCD 北大核心 2016年第7期627-628,共2页
关键词 Hefei LANZHOU WUHAN INSTITUTION PEKING Nanjing Shandong Hebei Jinan SUZHOU
在线阅读 下载PDF
List of Participants
13
《中国科学技术大学学报》 CAS CSCD 北大核心 2016年第5期451-452,共2页
关键词 Hefei RUSSIAN LANZHOU WUHAN Nanjing Shandong BARCELONA Hebei Jinan INSTITUTION
在线阅读 下载PDF
1^(st) bulletin for the 7th international conference on unsaturated soils(call for abstracts)
14
《岩土工程学报》 EI CAS CSCD 北大核心 2015年第10期1855-1855,共1页
The 7th international conference on unsaturated soils(3rd–5th August 2018)is organised by the Hong Kong University of Science and Technology and supported by:TC106 Unsaturated Soils of ISSMGE;Hong Kong Geotechnica... The 7th international conference on unsaturated soils(3rd–5th August 2018)is organised by the Hong Kong University of Science and Technology and supported by:TC106 Unsaturated Soils of ISSMGE;Hong Kong Geotechnical Society;Geotechnical Division of Hong Kong Institution of Engineers; 展开更多
关键词 UNSATURATED ABSTRACTS INSTITUTION BULLETIN SUBMISSION acceptance Engineers pleased invite TEMPLATE
在线阅读 下载PDF
11^(th) ICAM ORGANIZING SPONSORS
15
《矿物学报》 CAS CSCD 北大核心 2013年第S1期3-5,共3页
ICAM 2013 has been organized by the staff members of Southwest University of Science and Technology (SWUST).They have gratefully accepted the assistance and professional advice from their colleagues both locally and a... ICAM 2013 has been organized by the staff members of Southwest University of Science and Technology (SWUST).They have gratefully accepted the assistance and professional advice from their colleagues both locally and abroad,and employees of below instances have been members of the Organizing and Scientific Committees for ICAM2013.Southwest University of Science 展开更多
关键词 professional ADVICE STAFF ORGANIZED Southwest assistance founded undergraduate institution schools
在线阅读 下载PDF
第八届塑性加工国际会议(8^(th)ICTP)在意大利召开
16
作者 孙友松 《塑性工程学报》 CAS CSCD 北大核心 2005年第6期55-55,共1页
关键词 国际会议 塑性加工 意大利 第八届 INTERNATIONAL INSTITUTION CONFERENCE Technology ALTAIR 工程学会
在线阅读 下载PDF
电子工业(产业)环境安全和卫生研讨会
17
作者 肖熹 《中国安全科学学报》 CAS CSCD 1991年第2期56-56,共1页
由新加坡国家安全协会(NSCS)、美国半导体安全协会(SSA)、新加坡劳动部和新加坡安全官员学会(SISO)联合组织,于1991年8月7日至8日在新加坡Seaneo地方语言中心(RELC)召开。中国劳动保护科学技术学会接到邀请函并迅速通知北京市电子工业... 由新加坡国家安全协会(NSCS)、美国半导体安全协会(SSA)、新加坡劳动部和新加坡安全官员学会(SISO)联合组织,于1991年8月7日至8日在新加坡Seaneo地方语言中心(RELC)召开。中国劳动保护科学技术学会接到邀请函并迅速通知北京市电子工业及各省市电子工业有关企业事单位,望争取参加,同时建议机电部质量安全司组团前往。据悉,电子工业的安全卫生专家、学者对此会有浓厚兴趣。 展开更多
关键词 日至 SISO 地方语言 学术交流 INSTITUTION 技术管理人员 SINGAPORE
在线阅读 下载PDF
Coordinating rural-urban education and institution innovation
18
作者 WANG Xiaodong 《Journal of Northeast Agricultural University(English Edition)》 CAS 2007年第4期374-379,共6页
In order to implement the spirit of the Sixteenth National People's Congress to accelerate development of rural education, deepen reform of rural education, guarantee a well-off society, and harmonize rural and urban... In order to implement the spirit of the Sixteenth National People's Congress to accelerate development of rural education, deepen reform of rural education, guarantee a well-off society, and harmonize rural and urban development, coordinating ruralurban education is the key to China's development. At present, the rural-urban coordinating education is influenced by many factors, including rural-urban income difference, rural-urban educational resources difference, rural-urban background difference, and rural- urban institutional difference. In order to realize the coordinating development of rural-urban education, we need innovation in "Hukou" institution, land institution, financial institution and rural education institution. Institution innovation would be the guarantee to the coordinating rural-urban education. 展开更多
关键词 coordinating rural-urban education institution innovation
在线阅读 下载PDF
On the Restricting Factors & System Arrangements of Chinese Land Tenure Marketization
19
作者 YU Peng-yi,ZHANG Wei-dong(Business School of Huazhong University of Science and Technology Wuhan,Hubei,430074,PRC) 《Journal of Northeast Agricultural University(English Edition)》 CAS 2003年第2期166-172,共7页
As a general rule of Economics of Development,economic growth and development require rational institution guarantee.Land Tenure.As a main institution factor in agricultural development,closely relates to the reform o... As a general rule of Economics of Development,economic growth and development require rational institution guarantee.Land Tenure.As a main institution factor in agricultural development,closely relates to the reform of Chinese agriculture.Based on the relevant theories of Economics of Institution and Economics of Development,and combined with the marketization process of Chinese Land Tenure of Property Rights,the article studied the effects of institutional factors and put forward some choices in the development of agriculture,which is of both significant and practical importance. 展开更多
关键词 land tenure of property rights institution choice rural reform
在线阅读 下载PDF
经学报编辑部联系我院已加入“CUJA系统院校系所英文译名规范文档”
20
作者 建华 《天津工业大学学报》 CAS 北大核心 1991年第4期65-65,共1页
为进一步提高CUJA文献库的数据质量,保证论文作者单位英文名称数据的规范化、准确性和一致性。CUJA系统建立了“CUJA系统院校系所英文译名规范文档”。本规范文档是根据中国教育国际交流协会编辑的“Chinese u-niversity and College—A... 为进一步提高CUJA文献库的数据质量,保证论文作者单位英文名称数据的规范化、准确性和一致性。CUJA系统建立了“CUJA系统院校系所英文译名规范文档”。本规范文档是根据中国教育国际交流协会编辑的“Chinese u-niversity and College—A Guide to Institution of Higher Education in China”(高等教育出版社、1989年出版)一书提供的数据建立的。 展开更多
关键词 英文译名 CUJA 学报编辑 文献库 数据质量 INSTITUTION 高等教育出版社 教育国际交流 应用研究所 软科学研究所
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部