期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
Eiffel语言的语义 被引量:1
1
作者 李师贤 阮文江 《软件学报》 EI CSCD 北大核心 1995年第1期17-25,共9页
本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处... 本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制. 展开更多
关键词 eiffel语言 形式语义 面向对象语言
下载PDF
禁用两个子图的图的成对控制数
2
作者 杨树承 胡夫涛 张昶旭 《合肥学院学报(综合版)》 2024年第2期10-14,共5页
禁用子图条件下图参数的界是图论研究的重要内容。主要应用组合结构分析方法研究禁用两个子图的成对控制数。设D是V的非空子集,如果不在D的点一定与D中的某个点相邻,则称D为G的控制集。如果不含孤立点图G的控制集的导出子图包含完美匹配... 禁用子图条件下图参数的界是图论研究的重要内容。主要应用组合结构分析方法研究禁用两个子图的成对控制数。设D是V的非空子集,如果不在D的点一定与D中的某个点相邻,则称D为G的控制集。如果不含孤立点图G的控制集的导出子图包含完美匹配,则D称为G的成对控制集。最小成对控制集包含顶点的数目称为成对控制数。文章主要给出了当G是n阶连通的无爪和无埃菲尔图时成对控制数紧的上界。本文结果丰富了图的成对控制数的研究。 展开更多
关键词 成对控制数 全控制数 爪图 埃菲尔图 禁用子图
下载PDF
Eiffel语言3.0版本的语义
3
作者 阮文江 李师贤 《中山大学学报论丛》 1996年第6期3-61,6,共23页
采用VDM的指称语义元语言METAⅣ描述Eiffel语言3.0版本的语义.包括四个部分:①对原有的Eifel语法进行抽象,从而给出它的抽象文法.该抽象文法在保持原有语法风格的基础上,对原语法进行了一些适当修改.②描述... 采用VDM的指称语义元语言METAⅣ描述Eiffel语言3.0版本的语义.包括四个部分:①对原有的Eifel语法进行抽象,从而给出它的抽象文法.该抽象文法在保持原有语法风格的基础上,对原语法进行了一些适当修改.②描述Eifel语言的语景条件.它首先引入一些主要辅助域和主要辅助函数,然后给出各个语言成分的良构判定式.③定义对象模型、存贮空间和动态环境等语义域.④描述基于特征的各个语言成分的语义方程. 展开更多
关键词 eiffel语言 OOPL META 指称语义
下载PDF
Eiffel与Java继承机制的比较
4
作者 戎戟 《科技广场》 2007年第7期240-241,共2页
Eiffel全面支持类的多重继承。多重继承更能真实地描述现实世界中的抽象层次,但其语法规定和语义实现较为复杂。Java仅支持类的单一继承,但可通过接口实现多重继承的部分功能。接口易于操作,但存在不一致性问题。
关键词 继承 多重继承 接口 eiffel
下载PDF
关于Eiffel中复合继承的分析
5
作者 戎戟 《科技情报开发与经济》 2006年第21期248-250,共3页
分析了Eiffel中复合继承的两种方式——多重继承和重复继承,并对多重继承和重复继承中的重命名、未定义、选择等面向对象技术作了总结。
关键词 eiffel 复合继承 多重继承 面向对象
下载PDF
Ejecta from periodic grooved Sn surface under unsupported shocks 被引量:3
6
作者 刘文斌 马东军 +1 位作者 何安民 王裴 《Chinese Physics B》 SCIE EI CAS CSCD 2018年第1期444-449,共6页
Dynamic failure and ejection characteristics of a periodic grooved Sn surface under unsupported shock loading are studied using a smoothed particle hydrodynamics method. An "Eiffel Tower" spatial structure is observ... Dynamic failure and ejection characteristics of a periodic grooved Sn surface under unsupported shock loading are studied using a smoothed particle hydrodynamics method. An "Eiffel Tower" spatial structure is observed, which is com- posed of high-speed jet tip, high-density jet slug, longitudinal tensile sparse zone, and complex broken zone between grooves. It is very different from the spike-bubble structure under supported shocks, and has been validated by detonation loading experiments. In comparison with that under supported shocks at the same peak pressure, the high-speed ejecta decreases obviously, whereas the truncated location of ejecta moves towards the interior of the sample and the total mass of ejecta increases due to the vast existence of low-speed broken materials. The shock wave profile determines mainly the total ejection amount, while the variation of V-groove angle will significantly alter the distribution of middle- and high-speed ejecta, and the maximum ejecta velocity has a linear corretation with the groove angle. 展开更多
关键词 EJECTA grooved Sn surface "eiffel Tower" structure unsupported shock
原文传递
大跨越杆塔埃菲尔效应分析 被引量:2
7
作者 王文明 孙宗德 +3 位作者 王子龙 徐震 雷强 田利 《钢结构》 北大核心 2017年第9期68-71,共4页
风荷载在空间中包含3个分量,在不同的高度处,风速存在不确定性。分别采用内力比法、折减系数法和剪力比方法对某大跨越杆塔进行埃菲尔效应分析,研究风荷载的不均性对杆塔斜材内力的影响。研究结果表明:大跨越杆塔下部塔身斜材存在埃菲... 风荷载在空间中包含3个分量,在不同的高度处,风速存在不确定性。分别采用内力比法、折减系数法和剪力比方法对某大跨越杆塔进行埃菲尔效应分析,研究风荷载的不均性对杆塔斜材内力的影响。研究结果表明:大跨越杆塔下部塔身斜材存在埃菲尔效应,采用剪力比法时,埃菲尔效应更为明显。进行大跨越杆塔设计时,建议采用剪力比法进行设计。 展开更多
关键词 大跨越杆塔 埃菲尔效应 斜材 剪力比法
下载PDF
从埃菲尔铁塔看结构艺术的表现 被引量:7
8
作者 盛勇 陈艾荣 《结构工程师》 2005年第1期1-5,共5页
从埃菲尔铁塔外观形式的角度对埃菲尔铁塔的设计进行了详细的介绍,并进一步从力学和结构的角度分析了铁塔的设计思想。在此基础上,将结构艺术的思想引入桥梁、塔架等大型结构工程,认为形式的设计是为了控制应力而非创造空间,另外,仅仅... 从埃菲尔铁塔外观形式的角度对埃菲尔铁塔的设计进行了详细的介绍,并进一步从力学和结构的角度分析了铁塔的设计思想。在此基础上,将结构艺术的思想引入桥梁、塔架等大型结构工程,认为形式的设计是为了控制应力而非创造空间,另外,仅仅显示出结构与表现结构并不是一回事,结构的表现应当清楚地展现荷载的传递与构件的连接。优秀的设计应该将力学与美学结合起来,在结构艺术的层次上力求创新。 展开更多
关键词 埃菲尔铁塔 结构艺术 单元造型法 力学结构 外观造型
下载PDF
钢塔“埃菲尔效应”的研究 被引量:4
9
作者 南俊 马人乐 《建筑技术开发》 2001年第2期17-19,共3页
本文对钢塔的“埃菲尔效应”进行了研究。通过风荷载的模拟和结构的时程分析 ,对大量的钢塔模型进行了计算 ,得出各种情况下钢塔斜杆内力静力计算和时程分析之间的差别。进行比较和分析 ,得出其变化规律 ,并提出了避免“埃菲尔效应”的... 本文对钢塔的“埃菲尔效应”进行了研究。通过风荷载的模拟和结构的时程分析 ,对大量的钢塔模型进行了计算 ,得出各种情况下钢塔斜杆内力静力计算和时程分析之间的差别。进行比较和分析 ,得出其变化规律 ,并提出了避免“埃菲尔效应”的措施。 展开更多
关键词 “埃菲尔效应” 脉动风 时程分析 钢塔 风荷载
下载PDF
庆典、记忆与共和——1889年法国大革命一百周年纪念活动及其历史作用探析 被引量:1
10
作者 顾杭 《绵阳师范学院学报》 2009年第7期80-84,共5页
1889年适值法国大革命爆发一百周年,第三共和国政府精心组织了一系列庆典活动,并建造了埃菲尔铁塔、举办了巴黎世界博览会。在这些活动中,共和政府有意识地挖掘和强调与共和起源相连的革命历史记忆,以此来实现广泛传播共和意识形态、巩... 1889年适值法国大革命爆发一百周年,第三共和国政府精心组织了一系列庆典活动,并建造了埃菲尔铁塔、举办了巴黎世界博览会。在这些活动中,共和政府有意识地挖掘和强调与共和起源相连的革命历史记忆,以此来实现广泛传播共和意识形态、巩固共和制度的目的。本文尝试对1889年法国大革命一百周年纪念活动的概况作一勾勒,并进而探究其历史作用。 展开更多
关键词 法兰西第三共和国 大革命一百周年 埃菲尔铁塔 世界博览会
下载PDF
“埃菲尔铁塔夜间拍摄侵权”之辩 被引量:1
11
作者 柯林霞 《电子知识产权》 2016年第4期52-57,共6页
自2014年底媒体爆出"埃菲尔铁塔夜间拍摄侵权"的消息以来,理论界和实务界少有提出质疑。但在法国法语境下无论是否适用添附规则,又或者根据著作权侵权判定规则,都不必然能得出"埃菲尔铁塔夜间拍摄侵权"的结论,"... 自2014年底媒体爆出"埃菲尔铁塔夜间拍摄侵权"的消息以来,理论界和实务界少有提出质疑。但在法国法语境下无论是否适用添附规则,又或者根据著作权侵权判定规则,都不必然能得出"埃菲尔铁塔夜间拍摄侵权"的结论,"埃菲尔铁塔夜间拍摄侵权"只在极少数的场合才能成立。 展开更多
关键词 埃菲尔铁塔 侵权 添附
下载PDF
SCOOP并发机制应用研究
12
作者 戎戟 《微计算机应用》 2009年第11期70-75,共6页
SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建。SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背。SCOOP意图通过一个全局调度程序来保证合理性。JSCOOP作为一种高层并发... SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建。SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背。SCOOP意图通过一个全局调度程序来保证合理性。JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现。JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持。本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状。 展开更多
关键词 SCOOP模型 JSCOOP模型 eiffel 并发程序设计
下载PDF
世界最高大跨越铁塔设计
13
作者 杨元春 《电力设备》 2006年第1期39-43,共5页
介绍了500kV江阴大跨越工程中标高为346.5m的跨越塔的设计情况。跨越塔采用格构式组合型钢结构,主要受力构件用焊接十字柱和角钢组合而成,采用屈服应力430~450MPa的高强度钢材,十字柱最大板厚为65mm。设计中进行了结构模拟试验、厚板... 介绍了500kV江阴大跨越工程中标高为346.5m的跨越塔的设计情况。跨越塔采用格构式组合型钢结构,主要受力构件用焊接十字柱和角钢组合而成,采用屈服应力430~450MPa的高强度钢材,十字柱最大板厚为65mm。设计中进行了结构模拟试验、厚板焊接试验、部件强度试验和螺栓剪切试验等,克服了层状撕裂等设计难点;考虑了曲线型塔的埃菲尔效应。基础采用特殊设计的高强度预应力(PHC)桩,进行了拉弯、纯弯等机械强度试验和静力加载试验,验证了其可行性,并取得较好的经济效益。 展开更多
关键词 大跨越 铁塔 层状撕裂 高强度预应力桩 埃菲尔效应 屈服强度
下载PDF
±800 kV直流特高压T型塔埃菲尔效应特性研究
14
作者 潘峰 金益迥 +2 位作者 梅宇佳 潘羽 黄静文 《广东电力》 2021年第5期122-130,共9页
由于风荷载的随机性,塔身斜材内力对脉动风荷载的随机特性非常敏感,而国内对于±800 kV直流输电塔斜材埃菲尔效应的研究相对较少。为此,首先分析埃菲尔效应的原理,以及国内外相关规范关于埃菲尔效应的计算方法,并依据我国新版杆塔... 由于风荷载的随机性,塔身斜材内力对脉动风荷载的随机特性非常敏感,而国内对于±800 kV直流输电塔斜材埃菲尔效应的研究相对较少。为此,首先分析埃菲尔效应的原理,以及国内外相关规范关于埃菲尔效应的计算方法,并依据我国新版杆塔结构设计技术规定对杆塔斜材的埃菲尔效应给出的折减系数法取值,建议±800 kV直流特高压T型塔按不小于主材内力的4%对斜材内力进行校核,保证斜材设计安全。 展开更多
关键词 直流输电线路 T型塔 埃菲尔效应 折减系数法 斜材内力分布
下载PDF
Denotational Semantics of a Simple Model of Eiffel
15
作者 瞿裕忠 王志坚 徐家福 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第3期214-226,共13页
A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the fram... A simple abstract model of Eiffel is introduced, and its denotational seman-tics is defined using VDM style. A static analysis approach is presented to treatmultiple inheritance and renaming mechanism. Within the framework of deno-tational semantics iatroduced in this paper, the key features of Eiffel, such asidentification, classification, multiple inheritance, polymorphism and dynamicbinding, can be adequately characterized. 展开更多
关键词 eiffel language multiple inheritance RENAMING static analysis semantic domains semantic functions
原文传递
输电塔的埃菲尔效应计算 被引量:5
16
作者 王子龙 曹丹京 《电力建设》 2011年第2期43-46,共4页
计算输电塔受力时,若不考虑埃菲尔效应,可能导致计算值与实际受力不符。根据GB50135—2006《高耸结构设计规范》中关于埃菲尔效应的计算公式和输电塔塔身的几何关系进行了推导,得出了可直接利用输电塔计算软件TTA结果文件的埃菲尔效应... 计算输电塔受力时,若不考虑埃菲尔效应,可能导致计算值与实际受力不符。根据GB50135—2006《高耸结构设计规范》中关于埃菲尔效应的计算公式和输电塔塔身的几何关系进行了推导,得出了可直接利用输电塔计算软件TTA结果文件的埃菲尔效应计算公式,并编写了输电塔埃菲尔效应的计算程序,可直接计算斜材内力和为选材提供参考。 展开更多
关键词 输电塔 埃菲尔效应 斜材 主材 剪力 弯矩
原文传递
特高压输电线路铁塔埃菲尔效应分析 被引量:1
17
作者 韩军科 张春蕾 《空间结构》 CSCD 北大核心 2015年第1期68-77,共10页
对输电铁塔埃菲尔效应原理进行了分析,提出了输电铁塔尤其是多回路输电铁塔考虑埃菲尔效应的必要性.对国内外塔桅结构埃菲尔效应计算方法进行了对比分析,提出了各种计算方法对输电铁塔的适用性及优缺点,在此基础上建议了输电铁塔埃菲尔... 对输电铁塔埃菲尔效应原理进行了分析,提出了输电铁塔尤其是多回路输电铁塔考虑埃菲尔效应的必要性.对国内外塔桅结构埃菲尔效应计算方法进行了对比分析,提出了各种计算方法对输电铁塔的适用性及优缺点,在此基础上建议了输电铁塔埃菲尔效应分析方法.以超特高压交直流同塔多回输电线路5种塔型为例,对其埃菲尔效应进行了计算,分析了考虑埃菲尔效应后每种塔型杆件的受力状态、塔身主材交角对埃菲尔效应的影响、斜材最小承载力要求等.分析表明:采用折减系数法考虑铁塔埃菲尔效应,简单合理,便于工程应用;不仅铁塔斜材受埃菲尔效应影响,横隔材也受埃菲尔效应影响,而且影响程度较大;采用斜材设计内力不小于主材内力3%的斜材最小承载力要求来满足铁塔埃菲尔效应,对特高压输电铁塔尤其超特高压交流同塔多回路输电铁塔而言,可能偏于于不安全. 展开更多
关键词 输电铁塔 埃菲尔效应 超/特高压同塔多回输电铁塔 折减系数法 斜材最小承载力
原文传递
从埃菲尔铁塔现象看建筑与科学、艺术之间的关系 被引量:1
18
作者 高钰琛 韩青 +1 位作者 李鑫 高大山 《建筑学报》 北大核心 2010年第S2期176-179,共4页
以埃菲尔铁塔造成的美学颠覆现象为引,探讨了建筑与科学、艺术三者之间的关系问题。科学与艺术是推动建筑发展的两个磁极,技术与哲学则从两个不同维度对前两者进行了搭接,并具体作用于建筑这一载体上,最终实现了一种此消彼长、共生共荣... 以埃菲尔铁塔造成的美学颠覆现象为引,探讨了建筑与科学、艺术三者之间的关系问题。科学与艺术是推动建筑发展的两个磁极,技术与哲学则从两个不同维度对前两者进行了搭接,并具体作用于建筑这一载体上,最终实现了一种此消彼长、共生共荣的螺旋上升式的演进态势。埃菲尔铁塔是一个处于"临界状态"的特殊的建筑载体,通过对其多角度深入解读,充分印证了上述的分析结论。 展开更多
关键词 埃菲尔铁塔现象 建筑 科学 艺术 技术 哲学 自然逻辑 人文逻辑
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部