模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

大熊猫胚泡延缓着床的物理推论

对大熊猫的妊娠期为83－181天这种奇特的生理现象，生物学家们普遍认为是大熊猫胚泡延缓着床而产生的，是什么原因引起大熊猫泡延缓着床呢？至今，还涮有一个令人信服的理论来解释它，本文试从物理学能量的角度，提出大熊猫产生胚泡延缓着床的诸多因素之一的精子在输卵管内获能的不同情况的物理理论。     

"雷霆-瑟布鲁斯"作战(上)

一块心病 大雾笼罩着冬天的法国布列塔尼半岛,布勒斯特军港蒙着银霜。几百门德军的高射炮对空警戒着,100多架德国战斗机昼夜在港口巡航。发烟船布下厚重的灰色烟幕,罩住停泊在港内的3艘大型德舰:战列巡洋舰“沙恩霍斯特”号、“格奈森瑙”号(以下简称“沙”舰和“格”舰)、重巡洋舰“欧根亲王”号(以下简称     

赫胥黎与威尔伯福斯之争

本文通过将赫胥黎与威尔伯福斯之争置于当时英国科学职业化初期的历史背景下进行综合考察 ,认为广为流传的赫胥黎“英雄故事”很可能是一种社会建构的产物 ,那场争论的性质也主要不是科学与宗教之间的冲突 ,而是不同科学“范式”之间的竞争 ,是科学职业化背景下不同社会团体之间利益冲突的体现。     

瓜岛血战记（中）

9月12日夜,日军川口旅团约5000人向亨德森机场发动了一场精心谋划的进攻.海上的"东京特快"和飞机昼夜轰击配合作战.日军轮番进攻,美军浴血厮杀,双方伤亡非常惨重,最后,日军的攻势还是被挫败了.在拉包尔坐镇的百武晴吉、在特鲁克的山本以及东京大本营对这样一个小小机场竟如此顽固深为震怒,决定派精锐的仙台师团和名古屋师团增援瓜岛的川口,大批飞机抽调到拉包尔和布干维尔岛,山本的联合舰队主力也将再次配合作战,皇军为一个无名瓜岛下了巨大的赌注,更多的部队和装备被投进了"绞肉机".     

日本的政体和在野党

日本的政体是议会内阁制。第二次世界大战前日本是天皇集权制,二战后变为议会制君主国。据1947年5月3日施行的《日本国宪法》,行政权属于内阁,国会是国家的最高权力机关,也是国家唯一的立法机关,天皇只是国家和国民整体的象征,并且天皇的“地位以主权所在的全体日本国民的意志为依据”,天皇只能行使宪法所规定的有关国事行为,“并无关于国政的权能”。日本实行政党政治,除自民党外,还有所谓三大在野党,即:社会党,1945年11月成立,现任中央执行委员长山花贞夫;公明党,1964年11月成立,现任中央执行委员长石田幸四郎;民社党,1960年1月成立,现任中央执行委员长大内启伍。此外,社会民主联合(简称“社民联”)也     

第五届全国科学方法论学术讨论会综述

2006年12月8日至10日,由中国自然辩证法研究会方法论委员会、武汉商贸学院和武汉东湖高新技术工业园联合举办的第五届全国科学方法论学术讨论会在武汉举行。来自全国各地的47名专家学者参加了讨论。其中,有近20名学者在会议上做了主题发言。     

二元多项式环中理想生成元个数的估计

对于两个变量的多项式环中的理想,我们给出了其有限生成基个数的一个最小上界的估计.并由例子说明此估计是最佳的.     

交流变频变速系统机械特性的测试与分析

本文就交流变频变换系统的转速。转矩特性和转速跟踪特性进行了较为系统的测试与分析。研究了结果表明，交流变频调速系统在低转速区段确定存在转矩出力不大的问题，须采取相应的提升措施，交流变频变速系统的转速跟踪特性可以变速切削加工的要求。