共查询到20条相似文献,搜索用时 62 毫秒
1.
“喀斯特”(Karst)原是南斯拉夫西北部伊斯特拉半岛上的石灰岩高原的地名,意思是岩石裸露的地方,那里有发育典型的岩溶地貌。“喀斯特”一词即为岩溶地貌的代称。中国是世界上对喀斯特地貌现象记述和研究最早的国家,早在晋代即有记载,尤以明代徐宏祖所著的《徐霞客游记》记述最为详尽。 相似文献
2.
许娟 《中国民航飞行学院学报》2010,21(2):73-75,78
后现代主义小说继承了文学传统中的追寻模式,同时又对此模式进行了创新。从美国后现代主义代表作家托马斯·品钦的六部经典小说中可以看出,与传统作品中对终极意义的追寻不同,品钦小说人物面对的是一个失去了确定意义的世界,因此承载着对人生的存在主义思考。“意义”不再是品钦小说中人物追寻的终极目标,面对一个失去终极意义的世界,追寻的过程更加重要. 相似文献
3.
梁彦彬 《南京航空航天大学学报》2000,32(6):614-619
对经典知识表示系统(多系统)进行了扩充,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统F-K,该公理系统除包含“F”外也包含经典模态词“K”。同时,基于滤子对经典Kripke框架及模型进行了扩充,从而给出了“F”的语义,并证明了该语义下F-K的完备性与可靠性。 相似文献
5.
王承君 《中国民航飞行学院学报》2005,16(2):46-49
英语的“flight”和汉语的“飞行”为对等的基本意义上的名词,均属一词多义。本文从句法、语义、社会价值等角度解析英语的“flight”。结果发现:英语的“flight”不仅在其基本意义的基础上派生出多种词义,而且“flight”还具有重要的社会价值意义,代表着一个国家在世界航空飞行技术方面的地位。 相似文献
6.
7.
8.
不知道为什么,一走进雪乡,首先冒出脑海的就是“童话世界”这个词,再也没法用第二个词代替了。皑皑的积雪,千里冰封、万里雪飘的景致在冬季的北方大地一定很常见吧?可是,似乎唯有这藏身林海深处的雪乡,特别让人在看到它的那一刻感觉自己是走进了一个洁白无瑕、只有在《白雪公主》那样的童话里才有的白雪世界、雪的故乡。 相似文献
9.
10.
重庆、四川自古有着舟楫之利,川江水路运输行业有着久远的历史。然而川江上,航道曲折,山势险峻,水急滩多,全程水位落差较大,特别是险要的三峡出川。在千百年的木船航运时代,江上木船的动力却来自船工的身体。每当逆江而上或者船过险滩的时候,船工们拉着纤艰难地前进着,同时,从他们的嗓子里会进发出一种充满力量的声音,这就是川江号子。川江号子是川江船工们为统一动作和节奏,由号工领唱,众船工帮腔,合唱的一种一领众和式的民间歌唱形式。川江号子,有即景唱景,有狂野情歌,有戏谑的玩笑……代代船工口传心授。如今,川江号子已形成了数十种类别和数以千计曲目的川江水系音乐文化.滚滚川江上,仅凭川江号子的起伏,人们就能描摹出一条跌宕起伏的“江”。“一条大江走下来,平水、上滩、抢滩、下滩、一套复杂的号子就全部演绎完成了。”平静的江面,船工会唱起旋律舒畅、悠扬动听的“平水号子”;而在凶滩恶水,会唱起气促紧张、惊心动魄、高亢尖利、气势夺人的“上滩号子、拼命号子”;交替重叠,领唱和声,呼哨长啸与短促合应,相互交织,构成复杂的多声部合唱织体,音乐丰 相似文献
11.
12.
13.
14.
中介谓词演算系统ME与ME之间的化归算法及其应用 总被引:1,自引:0,他引:1
在经典二值逻辑中,带等词的谓词演算系统F1与F1*的函词系统等价,在互推关系下这两个系统也等价,然而在中介逻辑中,带等词的中介谓词演算系统ME与ME*函词系统不等价,本文定理1指出,在互推关系下,任何ME*中的公式均可化为ME中的标准前束范式,因此在互推意义下两系统等价,在中介逻辑中,ME是一个较为特殊的子系统,它具有许多与二值逻辑相类似的性质,本文的结果为将这些性质进一步推广到ME*上提供了基础 相似文献
15.
16.
17.
国航西南分公司成都飞行部、客舱服务部、地服部及运行质量管理部、国货航西南营销中心等单位协力配合,精心筹划实施3月17日CA4192航班运送参加第十届全国人大五次会议的四川省代表团专机返蓉运输保障任务。该公司客舱部全国文明号“蓝色旅途”乘务组以“喜迎奥运”为主题开展热情细致的空中服务,为代表团留下了一次难忘的旅途回忆。 相似文献
18.
19.