Toulouse
法国大革命人名对照表
《法国大革命》人名、地名对照表序路易马德楞——Louis Madelin——路易·马德林索勒尔——Sorel——索雷尔凡德尔——Vandal——汪达尔哥柏尔——Gobert——戈伯特布特理——Bodley——博德利正文芮克——Necker——内克尔达戎松——d’ Argenson——达尔冈松克罗维斯——Clovis——克洛维斯(法国国王)P5揆拍特——Capetian——卡佩维尔塞——Versailles——凡尔赛文新尼斯——Vincennes——万塞讷P7拉洛瑟尔——La Rochelle——拉罗谢尔(地名)旧佛朗——livre(币名称)——里弗赫佛朗——里弗尔拉哥斯——M de la Gorce——科柏特——Corbert——Colbert——科尔贝尔(法国经济学家、大臣)堵哥——Turgot——蒂尔戈卡伦伯爵——Comte de Calonne——卡隆伯爵福耳特耳——Voltaire——伏尔泰达兰贝耳——d Alembert——达朗贝度克罗——Duclos——杜克洛解释自然——Interpretation of Nature——《对自然的阐释》弥拉波——Mirabeau——米拉波西耶士——Sieyes——西耶斯西雅士——Sieyes——西耶斯布里索——Brissot——布里索庇理沙——Brissot——布里索拉法夷脱——Lafayette——拉法耶特拉非厄脱——Lafayette——拉法耶特穆内——Munier——穆尼埃罗伯斯庇尔——Robespierre——罗伯斯庇尔汾约——Vergniaud——维尼奥丹敦——Danton——丹东唐屯——Danton——丹东对穆郎——Desmoulins——德穆兰对穆即——Desmoulins——德穆兰巴那甫——Barnave——巴尔纳弗夫力逢——Phlipon——菲力普玛诺——Manon——玛侬P31曼嫩——Manon——玛侬柯奈耶——Corneille——高乃依(法国大诗人)柯奈耶——Carneille——高乃依波卢塔——Plutarch——普鲁塔克(著古罗马古希腊伟人传)波卢塔克——Plutarch——普鲁塔克何尔巴哈——Holbach——霍尔巴赫爱尔法修——Helvetius——爱尔维修格里瓜——Gregoire——格列瓦康多塞——Condorcet——孔多塞李奥倪大——Leonidas——列奥尼达革拉古——Gracchus——格拉古布鲁特斯——Brutus——布鲁图斯佛兰克林——Franklin——富兰克林部耶——Bouille——布伊莱P17外塞——VaissiereP18力安库耳——Liancourt——利昂古尔拉洛士佛科——Larochefoucauld——拉罗什富科维留——Virieu——维里厄喀斯特蓝——Caslellane拉理托隆达——Lally-Tollendal——拉利-托伦达尔克勒芒吞尼勒——Clermont Tonnerre——克莱蒙特·内尔克勒芒吞涅耳——Clermont-Tonnerre——克莱蒙特·内尔P155克勒芒——Clermont——克莱蒙特P60 克勒芒通内尔——Clermont-Tonnerre——克莱蒙特·内尔P19洛翁——Rohan——罗翰罗美泥德布里恩——Lomeniede Brienne——Lomeniede·布里埃纳查棱脱——Jarente——雅朗特查棱提——Jarente——雅朗特塔力蓝——Talleyrand——塔列朗搭力蓝——Talleyrand——塔列朗穆内——Mounier——穆尼埃卡累——Carrier——卡里尔勒佛耳利尔——M Meynier dela Revelliere——梅尼埃·dela Revelliere马拉——Marat——马拉乌第诺——Oudinot——乌迪诺马塞那——Massena——马塞纳繆拉——Murat——缪拉南锡——Nancy(地名)——南锡科罗得霸——Collot——科罗马勒特度攀——Mallet du Pan——马利特·杜潘摩尔退——Mortier——莫蒂摩耳提——Mortier——莫蒂柏舍尔——Bessieres奥士——Hoche——霍赫马索——Marceau——马索内——Ney——奈伊苏尔特——Soult——苏尔特兰——Lannes——兰尼斯朱伯尔——Joubert——朱伯尔朱伯特——Joubert——朱伯尔拿破仑——Bonaparte——波拿巴(姓氏)波旁——Bourbon——波旁王朝斯坦尼斯罗——Stanislaus——斯坦尼斯洛斯莫理斯——Morris——莫里斯痕立第四——Henri IV——亨利四世波旁朝——波旁王朝马尔最弗——Malesherbes——马尔泽尔布马尔最布——Malesherbes——马尔泽尔布里发洛尔——Rivarol——里瓦罗尔立瓦洛——Rivarol——里瓦罗尔翁团特——Marie-Antoinette——玛丽·安托内特马利安推涅特——Merfe-Antoinette——玛丽·安托瓦内特安推涅特——Antoinette——安托瓦内特布罗温斯伯爵——Comte de Provence——普罗旺斯伯爵布罗温伯爵——Comte de Provence——普罗旺斯伯爵达多亚伯爵——Comte d’ Artois——阿图瓦伯爵达托斯伯爵——Comte d'Artois——阿图瓦伯爵达多亚泊爵——Comte d Artois——阿图瓦伯爵勃兰登堡——Brandenburg——勃兰登堡得斯塔厄尔——Mme. de Stael——斯塔埃尔夫人P49 第斯塔厄尔夫人——Mme. de Stael——斯塔埃尔夫人P37 斯塔厄尔夫人——Madame de Stael——斯塔埃尔夫人马劳托——Malouet——马卢厄特马罗厄特——Malouet——马卢厄特马拉爱脱——Malouet——马卢厄特马卢厄脱——Malouet——马卢厄特马拉伊特——Malouet——马卢厄特勒索脱——Lesort诉苦书——陈情书西——See布勒塔尼——Brittany——布列塔尼(地名)布雷塔尼——Brittany(地名)——布列塔尼隆举伊内——Lanjuinais——朗瑞奈得斐蒙——Defermon——德腓门勒沙普利尔——Le Chapelier——勒沙普利耶沙普力耳——Le Chapelier——勒沙普利耶里曼——Le Mans——勒芒亚仁——Agen——亚仁波亚叠——Poitiers——普瓦提埃刺宝特——Rabaut——拉波特圣翁团——Saint-Antoine——圣安东尼P45机刺德——Gerard——杰拉德P46 柏立——Berry——贝里翁季盎——Enghien——昂吉安翁谷雷谟——Angouleme——安古拉姆沙脱尔——Chartres——沙特尔拉非耳——La FareP49 杜蒙——Dumont——杜蒙P50巴宜——Bailly——巴伊P51摩里——Maury——莫里查勒特——Jallet——加列特P52 波亚图——Poitou——普瓦图(地)拉栖斯乌——Lecesve——勒色夫巴刺得——Ballard——巴拉德卡扎雷斯——Cazales——卡扎莱斯揆吕斯——Caylus——凯吕斯P59布洛利——Broglie——德布罗意布洛格力——Broglie——德布罗意布勒忒厄——Breteuil——布勒特伊布勒推耳——Breteuil——布勒特伊傅隆——Foulon——弗隆伟恩——Vienne——维埃纳御苑——Palais-Royal——王宫P61罗斯塔罗——Loustalot——路斯塔洛P62峰多谟——Vendom(大街名)——旺多姆拉谟柏司克——Prince de Lambesc——兰贝斯王子拉模柏斯克——Lambesc——兰贝斯P63 推勒里——Tuileries——杜伊勒里宫贝矰发——Bezenval(地) ——伯桑瓦尔P64 拉福耳斯——La Force——拉弗尔斯拉副司——La Force——拉弗尔斯夫勒塞勒斯——Flesselles——弗莱赛尔(巴黎商会会长)P65对罗内——de Launey——德·洛纳图理奥——Thuriot ——杜里奥屠立奥——Thuriot——杜里奥P68度揆纳——Duquesnoy——杜格诺瓦P69拉理托楞达——Lally-Tollondal——拉利. 托伦达尔拉理托隆达——Lally-Tolendal——拉利. 托伦达尔P71坦尼——Taine——泰恩(法国历史学家)P73 柏提耳——Bertier——伯迪维利——Viry(地名)——维里曼德立——Mandrin伊塔匹斯——Etampes——依坦普斯伊塔弥卑斯——Etampes——依坦普斯P75 味真兹——Vergennes——弗尔琴尼斯圣登尼斯——Saint Denis——圣但尼特类业斯——Troyes——特鲁瓦喀延——Caen——卡昂雅科俾——雅各宾P78诺亚勒斯——Vicomte de Noailles——诺阿耶P79亚居伊永——d’Aiguillon——艾吉永沙脱勒脱——Chatet——Du Chatelet——夏特莱南锡——Nancy(地名)——南锡爱伊克斯——Aix——艾克斯P80布雷康——Blacons郎基多克——Languedoc——朗格多克(地名)亚多亚——Artois(地名)——阿图瓦勃艮第——Burgundy(地名)——勃艮第洛林——Lorraine——洛林(地名)拉理——Lally——拉勒P82坎柏——Campe——坎培(德国教育家)P84 罗斯退罗——Loustalot——路斯塔洛P86 法兰德斯——Flanders(地名)——弗兰德斯吕晋永——Lusiguan——吕西尼昂P87德瓦格内——de Marcourt——琉克里细亚——Lucretia——揆布立——Madeleine Chabry马拉德——Miallard——梅拉德达尔良——Orleans——奥尔良多尔良公爵——Philippe d Orleans——奥尔良公爵多尔良——Orleans——奥尔良柏色内——Berchany Reginment——科贝尔——Corbeil(仓库名)——科尔贝特喇农——Trianon (地名)——特里亚农卢昂——Rouen(地名)——鲁昂色佛尔——Sevres(桥名)——赛夫勒克林威尔——Cromwell——克伦威尔P94拉布兰——Labrun——拉布兰特里哈德——Treilbard——特勒伊雅P95林德脱——Lindet——林德特林得特——Thomas Lindet——林德特拉洛士佛科弄库耳——拉罗什·利扬库尔岩P97 洛德劳——Roederer——罗德雷洛德洛——Roederer——罗德雷P146 洛得勒——Roederer——罗德雷部左特——Buzot——比佐布左——Buzot——比佐部左——Buzot——比佐丕梯恩——Petion——佩蒂翁度朴——DuPort——杜波尔杜波特——Du Port——杜波尔雷马司——Lameth——雷麦司雷麦司——Lameth——雷麦司拉麦兹——Lameth——雷麦司笛裴梦——Defermon——德腓门服尔尼——Volney——伏尔奈利未斯——Levis——里维斯P112 霸基林——Boisgelin——伯日兰P117 法甫刺斯——Favras——法弗拉斯土鲁斯——Toulouse——图卢兹P118 刻勒曼——Kellermann——凯勒曼克勒曼——Kellermann——凯勒曼P119 赫斯丁——(地名) ——达武——Davout——达武P120瓦棱萨——Valence——瓦朗斯朋地委——Pontivy——蓬蒂维图棱——Touraine——都兰P123斯腾内——Stenay(地)——斯特内卢内维里——Luneville(地)——吕内维尔马济尼——Malsiegne(地) ——马尔塞涅麦次——Metz(地)——梅斯P126 喀德邻第二——Catherine II——凯萨琳二世喀德邻——Catherine II——凯萨琳二世马利亚德利撒——Maria-Theresa——玛丽亚·特蕾西亚P127梅特涅——Metternich——梅特涅马利斯图亚特——Mary-Stuart——玛丽·斯图亚特依利萨伯——Elizabeth——伊丽莎白P130约瑟第二——Joseph II——约瑟夫二世利欧破尔得——Leopold——利奥波德多斯加纳——Tuscany——托斯卡纳马基雅弗利——Machiavelli——马基雅弗利比国——比利时P131赖痕巴哈——Reichenbach——赖兴巴赫亚尔萨斯——Alsace——阿尔萨斯亚威农——Avignon——阿维尼翁亚威辰——Avignon——阿维尼翁P133 威泥沁——Venaissin(diming)P135 卡睦——Camus——加缪庇护第六——Pius——庇护六世P137马铁奴——Martineau——马丁纽P138 霸基林——Boisselin——布瓦塞林亚尔丁——Ardennes——阿登马也内——Mayenne——马耶讷萨焚——Savine——萨文康狄——Conde——孔代P146 爱斯拉沙伯——Aix-la-Chapelle——艾克斯沙伯巴累——Barere——巴雷尔孟都亚——Mantua——曼图亚匹尔尼次——Pilnitz——比尔尼茨P148 克拉略——Keralio——Kelalio 克拉略罗伯——Robert——罗伯特科第力尔——Cordeliners——哥德利埃微尔启尔——Duc de Villequier——维利奎尔圣克劳德——St. Cloud(地)——圣克罗圣库路宫——Saint-Cloud(地)——圣克罗P151斯忒尔——Stael——斯塔埃尔P154 阿尔艮——Argonne——阿尔贡蒙美第——Montmedy——蒙梅迪科夫——Baronnede Korff——科尔夫圣门涅豪得——Sainte-menehould——圣梅内乌尔德达马斯德鲁伊特——Drouet——德鲁埃发棱——VARENNES——瓦雷纳索奇——Sauce——索西波哈内——Beauharnais——博阿尔内约瑟芬——Joephine——约瑟芬尤金——Eugene——尤金洛缪夫——Romeuf——罗默弗贝云——Bayon——巴戎(人名)沙龙——Chalons——沙隆叔易雷——Chouilly地名——P158伊利萨伯——Elizabeth——伊丽莎白埃培尔奈——Epernay——埃佩尔奈沙托退里——Chateau-Thierry——蒂埃里拉菟尔摩部耳——La Tour-Moubourg——拉托曼伯格拉揆甫——La CaveP160 萨尔谟——Salm——萨尔姆曼皮列——Montpellier(地名)——蒙特利埃康盘——Combon——康朋拉克洛——Laclo——拉克洛息拉——Sylla( 见罗马史)——苏拉第二本P1举梁——Jullien——朱利安P11举良——Jullien——朱利安巴巴鲁——Barbaroux——巴尔巴鲁P4 科不林士——Coblentz——科布伦茨P6科不林士之布告书——Coblentz Manifesto——《科布伦茨宣言》P18科不林士宣告书——Coblentz Manifesto——《科布伦茨宣言》考尼次——Kaunitz——柯尼次坡林雅克——Polignae——普利内P7 拉马克伯爵——Comte de la Marck——拉马克公爵彻洛特——Chaillot(地名)——夏乐宫佛热勒特——FougeretP8隆巴尔——Lamballe——朗巴勒罗哲尔——Roger——罗杰刺巴特——Rabaut——拉博利华——里弗尔P12 科唐——Cauthon杜马——Dumas——仲马枣库耳——Jancourt——若古则拆勒斯——Sechelles ——塞舍勒斯波尔多——Boudeaus(地名) ——波尔多P13拉马了——Lamartine——拉马丁米细勒——Michelet——米什莱俾尔——Bire——格棱根涅甫——Grngeneuve加对——Gaudet——Guadet——葛瓦代(吉伦特派议员)戎索内——Gensonne——让索内(国民公会议员)马卡斯奥理略——Marrous Autelius——马可奥勒留P14 易斯那——Isnard——伊斯纳尔杜科——Ducos——杜克P15察波特——Chabot——卡伯特巴稷尔——Bazire——巴齐尔麦林——Merlin——梅林P16拉撒噶尔诺——Lazare Carnor——拉夏尔弗社——Fauchet——法伽帕斯托勒——Pastoret——巴斯托雷比哥特——Bigot——比戈路易腓力比——Louis –Philippe——路易·菲利普塞拆勒斯——Sechelles——塞舍勒匹尔尼次的宣言书——《比尔尼茨宣言》P21 丁维尔——Fouquier-tinville——富基耶·坦维尔P23 那旁——NARBONNE——纳尔邦纳波匹力乌斯圈——The Circle of Popilius——波皮利乌斯圈阿拉斯——Arras——阿拉斯P25显理第四——Henri IV——亨利四世P26 法兰西斯第二——Francis II——弗朗西斯二世不伦瑞克——Brunswick——布伦瑞克P27勒萨——Lessart——德莱萨尔(法外交大臣)格拉甫——Chevaier de GraveP29 度穆累——Dumouriez——杜穆里埃P30 拉科齐——Lacoste——拉科斯特科拉微勒斯——Clavieres——克拉维埃(瑞士金融学家)杜蓝吞——Duraton——杜拉东赛尔凡——Colonel StervanP32 巴刺斯——Barras——巴拉斯P34 丹刻克——Dunkirk——敦刻尔克(法国北部城市)非力拍维勒——Philippeville——菲利普维尔洛宋波——Rochambeau——罗尚博尉森堡——Wissembourg——威桑堡(地名)来因河——莱茵河卢克涅尔——Luckner——卢克纳狄伦——Dillon——狄龙俾龙——Biron——比隆P38力伦——Lillon都尔内——Tournai——图尔奈奥国——奥地利比国——比利时普国——普鲁士揆甫伦——Quievrain——魁夫兰蒙斯——Mons——蒙斯P39 沙多维奥——Chateauvieux(地名) ——夏托维厄高山党——山岳党P40 森河——Seine——塞纳河P42 松退尔——StanterreP59松退耳——Stanterre勒戎德尔——Legendre——勒让德(法国数学家)沙波特——Chabot——沙博佛尔内——Fournier——佛尼尔佛内尔——Fournier——佛尼尔佛耳内——Fournier——佛尼尔P46 库通——Couthon——库东布勒斯特——Brest——布雷斯特(地)P47 麦纽尔——Manuel——马尼埃尔P149曼纽尔——Ma Nuel——马尼埃尔P48宋波——Chabot——沙博拉摩勒特——Lamourette哥萨——Gorsas——戈尔萨舍瑟尔亚洛(即厄罗尔德)(地名)?P52 鲁热德利尔——Rouget de Lisle——鲁热·德利勒砂兰通——Charenton——沙朗东P53 瓦尔美——Valmy——瓦尔米P54 摩康塞尔——Manconseil(地名)P55 曼达——Galliot de MandatP56 鲁意尔——Rueil——吕埃库尔柏筏——Courbevoie——库伯瓦国民军——国民自卫军路易腓立——路易·菲利普奥忒厄——Auteuil——奥特伊P61 勺麦特——Chaumette——萧梅特P62 蒙日——Monge——蒙日勒布朗——Lebrun——勒布伦行政团——The Executive Council——执行委员会P63 香宾——Champagne——香槟酒拉柏雷——Rabelais——拉伯雷路瓦耶科拉尔——Royer-Collard——罗耶·科拉德P64 卡麦力大寺庙——Carmelile Convent——Carmelile修道院列当基——Redange(地名)谢多勃良——Chateaubriand——夏多布里昂萨克思特申——Saxe-Teschen——萨克森·特斯臣卢克纳虚——LiicknerP68宅马普——Jemmapes(diming)——热玛卑斯微克忒——Victor(diming)——维克托马尔蒙——Marmont——马尔蒙P68如尔洞——Jourdan——卓丹如耳洞——Jourdan——卓丹摩罗——Moreau——莫罗勒非甫山——Lefebvre——勒弗布弗勒勒非甫耳——Lefebvre——勒弗布弗勒伯纳佗特——Bernadotte——贝纳多特奥日洛——Augereau——奥什罗皮士格律——Pichegru——皮舍格吕皮士格律将军——General Pichegru——皮舍格吕将军蒙舍—— Moncey谷维——Gouvion——古万布恩——Brune——布伦拉萨尔——Lasalle——拉萨尔P69 龙威——Longwy——隆维摩尔德——Maulde——莫尔德布拉库尔——Praucourt维丹——Verdun——凡尔登师丹——Sedan——色当P73拉怕松内尔——La Poissonniere(地名)杜给遵——Dugazon拉美德——Maillard——梅拉德路易勃朗——Louis Blanc——路易·勃朗亚培——Abbaye——阿巴耶P74 列斯卡麦——Les Carmes——莱斯Carmes昆谢耳日里——Conciergerie——新西埃日监狱圣怕尔拿——St. Bernard——圣伯纳德圣非尔民——Saint Firmin——圣费明沙特雷——Chatelet——夏特莱俾约发棱——Billaud-Varenne——比约·瓦雷讷P67 法勃尔对格隆廷——Fabre d Eglantine 法布尔·德格朗丁(法国作家)第沙脱尔公爵——Due de Chartres——德沙特尔公爵法兰德斯——Flanders——弗兰德斯俾约——Billaud——比约P86他连——Tallien——塔利安帕尼斯——Panis——潘尼斯弗社——Fouche——富歇P88 高山派——山岳派得格兰泰因——Fabre d Eglantine法布尔·德格朗丁(法国作家)P89舍瑟尔亚洛——Herault de Sechelles——埃罗·朗格舍瑟尔亚络——Herault de Sechelles——埃罗·朗格圣鞠斯特——St. Just——圣茹斯特P90噶尔诺——Carnot——卡诺达威德——David——戴维达微德——David——戴维达威得——David——戴维达微得——David——戴维雷佩勒斯——Lepelletier克罗次——Clootz——克路兹康木拜栖尔——Cambacerer霸栖洞格拉——Boissy d’ Anglas——安格拉斯奥拉德——Aulard——奥拉尔奥拉得——Aulard——奥拉尔P93 阿贝尔——Hubert——于贝尔P94 卢未——Louvet——卢韦P95 加刺——Carat——克拉P96 西利西亚——Silesia——西里西亚马因斯——Mayence——美因茨 (地)波棱图——Porrentruy——(地)波朗特伊萨伏衣——Savoy (地)——萨伏伊屈斯廷——Custine (地)——古斯丁斯拜尔——Spires(地)——斯拜尔窝牧——Worms(地)——沃尔姆斯宋贝里——Chambery(地)——尚贝里安瑟伦——Anselme——安塞姆巴塞尔——Basel(地)——巴塞尔P97 满克——Monck——蒙克恺彻——Caesar——凯撒里尔——Lille(地)——里尔朱里——Julie Talma——朱莉宅马普——Temmapes(地)列日——Liege(地名)——列日米兰大——Miranda——米兰达安特卫普——Antwerp(地名)——安特卫普庇里尼斯——Pyrenees——比利牛斯阿尔俾斯——Alps——阿尔卑斯俾勒——Bire——俾尔?P102冈巴塞——Cambaceres——康巴塞雷斯坎贝塞勒——Cambaceres——康巴塞雷斯P188 康木拜栖里——Cambaceres——康巴塞雷斯P103 塔格——Target——塔吉特德伦拆——Tonchet——图谢特特塞司——DesezeP104 萨勒——Sale——塞尔累微勒尔——La RevelliereP105 罗亚尔——Loire-Inferieure(地)——卢瓦尔P107 参孙——Samson奥大利——奥地利P110朱辣——Jura——侏罗佛兰德斯——Flanders(地)——弗兰德斯马得里——马德里吐林——都灵马斯特立喜——Maestricht(地)——马斯特里赫特比国都城——布鲁塞尔P111 加拉——Garat——加拉勒布朗——Lebrun_已有克拉微勒斯——ClavieresP112迦第——Guadet——居阿代德猎克洛亚——Delacroix——德拉克洛瓦尼尔温登——Neerwinden——内尔温登P113公安会——Committee of Public Safety——公安委员会拉芬底——La Vendee(地名)——旺代蒙士——La Manche(地名)——拉芒什诺曼底——Normandy——诺曼底诺曼庇——Normandy——诺曼底宗教官制——《教士公民组织法》P114 卡特利诺——Cathelineau拉洛士扎克郎——Laroehejaquelein安如——Anjou——安茹蓬宋——Bonchamps——邦尚沙勒特——Charette——沙雷特马累——Marais(地)——玛莱易北——Elbee——易北河P115 都内尔——Tournay(地)——托尔内P118帕奇——Pache——帕什P119 布郎热——Boulanger——布朗热国民之友——The Friend of the People——人民之友部耳日——Bourges——布尔日阿贝耳——Hebert——阿贝尔舍瑟尔亚洛——Herault de Sechelles——利器——武器P120大主教府——Archiepiscopal Palace——大主教宫罕里奥——Hanriot——安利奥罕立奥——Hanriot——安利奥罕理奥——Hanriot——安利奥加对——Guadet——居阿代P127 罗尼——Rhone——罗讷河亚甫勒——Evreux——埃夫勒P128 科对——Corda——科黛迈诺斯律——Laws of Minos——米诺斯律P129依利萨伯——Isabeau——伊莎贝拉夫里龙——Freron ——弗雷龙P131 马因斯——Mainz——美因茨(地)筏仑西恩——Valencienns——瓦朗谢讷(地)佩蒙——Piedmontese——皮埃蒙特拍品永——Perpigna——佩皮尼昂(地)贝云——Bayonne——巴约讷(地)味斯忒曼——Westermann——韦斯特曼P132 克拉科——Cracow (地)——克拉科夫斯特拉斯堡——Strasburg(地)——斯特拉斯堡康狄——Conde(地) ——P133 麦舍——Mercy——梅西P13普累尔(甲)—— Prieur(of the Marne)——普里厄(马恩) 普累尔(乙)——Prieur (of the Cote-d Or)——普里厄(科特迪瓦)圣安德烈——Saint Andre——圣安德烈P138 谬司——Meuse——默兹勃艮第——Burgundian(地)——勃艮第P138 柏托勒——Bertholet——贝尔托莱产塞尔将军——General Chancel——塞尔将军P141 乌沙——Houchard——乌沙尔浑德斯库特——Hondschoote——(地)可堡——Coburg——科堡摩伯基——Maubeuge——莫伯日鸟沙——Houchard——乌沙尔凯撒斯劳腾——Kaiserslautern——凯泽斯劳滕兰道——Landau——兰道P142屈斯廷——Custine——古斯丁P143奥拉得——M. Aulard——奥拉尔P144阿马尔——Amar——艾玛尔佛揆坦微尔——Fouquier-Tinville——富基埃Tinville 杀头台——断头台P146瓦拉斯——ValszeP147腓烈——菲利普克尔森——Kersaint卢克纳——Luckner——卢克纳第夫雷尔——de Flers——德弗莱尔杜拔理夫人——Madame du Barry——杜巴里夫人度巴列——Du Barry——杜巴里P150卞雅明空斯通——Benjamin Constant——邦雅曼·贡斯当南特——Nantes——南特P151 季干德——Gigandet(地)——吉甘戴摩甫——Mouves列歧尼奥——Lequinio勒歧尼奥——LequinioP153 哲服格——Javogue勒蓬——Le Bon——乐蓬P157 杜培累——Duplay——迪普来P158 摩罕默德——Mohammed——穆罕默德P159 勒巴——Le Bas——荷兰??夫里龙——Freron s——弗雷龙P163亚贝威勒——Abbeville(diming)——阿布维尔内维尔——Nevers(地名)——讷韦尔亚列尔——Allier(地名)——阿列P164 哥布尔——Gobel——戈布尔蒙摩洛——MonmoroP165 哲伏居——JavogueP167 亚尔萨腾——Alsatain——阿尔萨斯皮德梦特——Piedmontese——皮埃蒙特P169 科罗德霸——Collot——科罗克罗次——Clootz——克路兹龙辛——Ronsin——陇森芬暹特——Vincent——文森特P170 苏格刺底——苏格拉底P171 腓力匹克——Philippeaux瓦第尔——Vadier——瓦迪埃安马尔——Amar——艾玛尔服兰德——Voulland——沃兰P172康盘——Cambon——康朋P174 瓦萨——Warsaw——华沙夫勒律斯——Fleurus——弗勒吕斯吐林——Turin——都灵P176 普罗文斯——Provins——普罗云斯P177 拉瓦节——Lavoisier(大化学家)——拉瓦锡P178罗伯——Robert——罗伯特夏罗德科对——Charlotte Corday——夏绿蒂·科黛马德楞——Madeleine(教堂名)——玛德莱娜教堂P179 勒斯科——Lescot——勒斯高马利约瑟社内——Marie-Joseph Chenier——马利·约瑟·谢尼埃戈瑟克——Gossec——戈赛克美羽尔——Mehul——梅于尔马利约瑟——Marie-Joseph——马利·约瑟P182 部尔洞——Bourdon——布尔登P183 普里尔——Prieur——普里厄P184 布轮——Brune——布伦厄利奥诺尔——Eleonore——埃莱奥诺雷库累——Curee夫勒力奥——Fleuriot——弗洛特黑门——Herman——赫尔曼佩颜——Payan——培安杜马——Dumas——仲马瓦狄尔——Vadier瓦得尔——Vadier瓦第尔——Vadier罘兰——Vouland——沃兰P187 提奥——Catherine Theot——凯瑟琳Theot勒戎得尔——Legendre——勒让德杜兰——Durand——杜兰社内——Andre Chenier——安德烈·谢尼埃巴拉——Bara——巴拉维阿拉——Viala——维亚拉圣举斯突——Saint Just——圣茹斯特P193 雷佩勒退——Lepelletier——莱派特P194 格林威尔——Cromwell——克伦威尔布郎热——Boulanger——布朗热度发尔——Charles Duval——杜瓦尔P195 雕篮德——Durand——杜兰德雕篇德——Durand——杜兰德勒巴——Le Bas——荷兰?P196 夫勒奥——Fleuriot——弗洛特柯芬哈——Coffinhal勒戎德尔——Legendre——勒让德P198 美达——Meda——梅达第三卷P4 国人复活——Rtveil du Peuple国人觉醒P5卡巴洛——Cabarrus——卡瓦鲁斯P6 赫洛狄亚斯——Herodias——希罗底(圣经中女人物赫洛德——Herod——赫洛德安托奈——Antonies——安东尼法尔维亚——Fulvias——富尔维娅P8 马勒特杜磐——Mallet de Pan——马利特•德潘勒微利雷婓克——La Revelliere-LepeauxP11 斐勒洛——Guglielmo Ferrero_古格列尔莫•费列罗翁古夫人——Mme. Angot——安戈P12 大庙——Les Carmes——圣萨尔匹斯——Cemetery of Saint-Sulpice——圣叙尔皮斯维刻尔——VilkersP14 巴倍夫——Babeuf——巴贝夫P16 空斯通——Constant——贡斯当味罗那——Verona(地名)——维罗纳P17 汪达尔——Vandal ——汪达尔宋波——Chabot——沙博宋提宜——Chantilly ——尚蒂伊(beibuchengshi)巴济尔——Bazire——巴齐尔龙部耶——Rambouillet——朗布依埃(地名)昌忒劳——Ferrieres——费里埃克洛斯内——Ferrieres——费里埃菲利厄勒——Ferrieres——费里埃P18发利主安——Mont Valerien——瓦莱里安瓦得尔——地名Vadier多特兰公爵——Due d Otrante——奥特兰托公爵P20 凯撤斯劳腾——Kaiserslautern——凯泽斯劳滕科伦——Cologne——科隆统微尔——Thionville——泰昂维克雷贝尔——Kleber——克莱伯P21 鲁柏尔——ReubellP24 加斯顿——Gaston——加斯顿P26 克垒则——Creuz e"-Latouche——克鲁兹苏布蓝内——Soubrany洛米——Romme——罗姆谷戎——Goujon——古戎波博特——BourbotteP27 度揆讷——Duquesnoy勒微利——La Revelliere——雷维耶杜步亚将军——General Dubois——杜布瓦将军启尔门将军——General Kilmaine蒙綽息将军——General MontchoisiP28 佩突斯——Petus空斯通——Constant——贡斯当P29国人复活曲——Reveil I塔刺斯空——Tarascon(地名)——特拉斯康圣真——Saint Jean——圣让区P30 歧布龙——Quiberon(地名)——基伯龙P31多努——Daunou——多努勒微利——La Revelliere——雷维耶雕篮得——Durand de Maillane——杜兰德提波多——Thibaudeau——蒂博P32 加利阿尼——Galiani——加里亚尼波当——Baudin——博丹波狄——Baudin——博丹P33民耶——MigentP36 逢忒科兰——Pontcoulant指挥府——督政府P38 雷佩勒退——Lepeletier (地名)——勒佩尔捷宗社党——保皇党P39 麦努——General Menou——梅努将军味得尔将军——General Verdiere达泥空将军——General DanicanP39 杜高米埃——Dugommier——杜格米埃圣洛客——Saint-Roch——圣洛克P41 柏鲁耶将军——General Berruyer拉封——Lafond——拉丰坡蕾忒——Paulette Bonaparte——波莱特•波拿巴P45 指挥——督政指挥府——督政府P48 杜马将军——Mathieu Dumas——仲马将军脱伦系——Tronson-Ducoudray——特朗森杜滂(内木尔)Dupont of Nemours——杜邦(内穆尔)路瓦耶坷拉尔——Royer-Collard——鲁瓦耶•科拉尔巴贝马霸——Barpe-Marbois——芭布Marbois波利他——Portalis——波塔利斯波他利——Portalis——波塔利斯西缅——Simon——西蒙帕斯托勒特——Pastoret——巴斯托雷鲁普尔——Reubell鲁柏尔——Reubell利托臬尔——LetourneurP49 乌拉——Ouvrard——奥沃拉德德利稷亚——Therezia——特蕾西娅P50 大马色——Damascis——大马士革阿尔舍细亚——Alsatia——阿尔萨斯P52判提温——Pantheon——先贤祠雷佩勒退——Felix Lepelletier——费利克斯Lepelletier戴攸岛——He d YeuP53 多赉哈德——TreihardP54 满克——Monck_——蒙克P56 涅沙托——Neufchateau——纳夫夏托P57 坎坡福米奥——Campo—Formio——坎坡福米奥离伏里——Rivoli——里沃利P59 麦林(杜亚)——Merlin of Douai——梅林(杜埃)杜磐(内木尔)——Dupont of Nemours——杜邦(内穆尔)P61 逢斯——Pons——庞斯科春——Cochon——猪肉??P62 格利则尔将军——Adjutant-General Grisel—??副将军巴塔维亚共和国——Batavian Republic——巴达维亚共和国夫拉醒——Flushing——弗拉辛P63 美因——Main——美因河佩蒙——Piedmont——皮埃蒙特波——PoP64 亥谟——Mannhiem——曼海姆多瑙——Danube——多瑙河海得尔堡——Heidelberg——海德尔堡P65 哈波内子爵——Vicomtesse de Beauharnais——博阿尔内子爵科西坎岛——Corsicans——科西嘉岛P67蒙特诺突——Montenotie(地名)拉阿普——Laharpe——拉阿尔普得哥——Dego(地名)——代戈密雷栖摩——Millesimo(地名)P68 伦巴底——Lombardy——伦巴第匹阿森扎——Piacenza——皮亚琴察标力——Beaulieu——伯利欧亚达——adda——阿达罗地桥——Bridge of Lodi——洛迪桥罗地——Lodi——洛迪P69 罗勒托的圣库——Casa Santa of Loretto——拉瑞多圣库P70 格勒涅尔——Crenelle(地名)——格勒纳勒文多美——Vendome——旺多姆P71 巴费亚——Pavia——帕维亚提罗尔——Tyrol——提洛尔威尼西亚——Venetia——威尼西亚孟都亚——Mantua——曼图亚P72查理大公——Archduke Charles——查尔斯大公服谟则——Wurmser——维尔姆塞阿的治——Upper Adige(地名)——阿迪杰P73 奥尔焚齐——Alvinczi阿柯拉——Arcola——阿尔科拉拉萨尔——Lasalle——拉萨尔P74 保罗——Czar Paul——保罗Vatican——梵蒂冈P75 葛拉克——Clarke——克拉克多脑河——多瑙河大黑林——Black ForestP78 尉罗特将军——General Willot——维洛特将军约旦——Camille Jordan——乔丹提波多——Thibaudeau——蒂博P79 巴退尔米——de Barthe1emy——巴托洛缪侯爵科托尼——Letourneur——勒图尔纳(督政官之一)穆利勒——Gilbert Desmolieres——吉尔伯特P82克立支——Clichy——克里希布勒斯特——Brest_布雷斯特P84科贝尔——Corbeil_科尔贝P85 指挥长——President of the Directory克列支——Clichy——克里希P86马尔蒙——Marmont——马尔蒙丹特累格伯爵——Comte d AntraiguesP87 科德里雷——M. CaudrillierP88 陆许福——Rochefort——罗什福尔P90 奥德温——Odeon——奥迪恩大庙——Temple帕彻——Pache——帕什维德勒将军——General Verdi——威尔第将军马霸——Marbois——P92 部雷——Boulay de la Meurthe——布雷·拉默尔特维勒尔——Viller——维勒P93 马皮特将军——General Marbot——马尔波将军(法军将领)西缅——Simeon——西米恩马替乌——Mathieu——马蒂厄P94 基阿那——Guiana——地名——圭亚那度忒特勒——General DutertreP97 雷奥本——Leoben——莱奥本索非——Sophie——索菲P98德利稷亚——Therezia累卡美——Juliette Recamier——朱丽叶·瑞卡梅P99 封特讷侯爵夫人——Mme.Marquise de Fontenay ——德•封特纳侯爵夫人国民他连夫人——Mme.Citizeness Tallien——国民塔利安夫人王爵的王妃——Princesse de Chimay——希迈王爵夫人P101 索多谟——Sodom——所多玛哥摩拉——Gomorrah——蛾摩拉P103 佛社(约瑟)——Joseph Fouche——约瑟夫·富歇斯塔厄尔(泽门)——Germaine de Stael——杰曼·斯塔埃尔P105 斯塔厄尔(泽门)——Germaine de Stael——杰曼·斯塔埃尔佛郎沙——Francois——弗朗索瓦佛朗沙——Francois——弗朗索瓦累内——RenierP107马波特将军——General Marbot——马尔波(法军将领)P108 科本士——Cobenzl——科布朗兹发尔忒林——Valteline——瓦尔泰利纳摩德拿公爵——Duke of Modena——摩德纳公爵P109 拉斯塔忒——Rastadt——拉施塔特蒙贝洛——Mombello——蒙贝罗(意大利)P111 图拿街——Rue de Tournon——图尔农街皮尔给朗——Pierre Guerin——皮埃尔•盖兰P112兰格伦日——Lagrange ——拉格朗日拉普拉斯——Laplace——拉普拉斯P147 拉普累——Laplace——拉普拉斯多努——Daunou——多努逢美尔——Rabaut-Pomier——拉博.新新纳图——Cincinnatus——辛辛纳图斯P113 摩尔太——Malta——马耳他科佛——Corfu——科孚安科呐——Ancona——安科纳柏替亚——Berthier——贝尔蒂埃发多斯——Vaudois patriots(Vandois Palriots)——沃州百伦专制——tyrants of Berne——伯尔尼专制P114 睦尔豪共和邦——Republic of Mulhausen撒地尼亚国王——King of Sardinia——撒丁国王索廷——Sotin柏提亚——Berthier——贝尔蒂埃布律亚——Brueys——布律伊微伦牛——Villeneuve——维伦纽夫乱党——anarchist——无政府主义者P116 特理哈得——Treilhard ——特雷拉,督政官特理哈德——Treilhard——特雷拉,督政官沙腾内夫人——Mme.de Chastenay——沙特奈夫人P117 菲翁将军——General Fion——斐诺将军亚尔德世——Ardeche(地)——阿尔代什琉森波那柏脱——Lucien Bonaparte——吕西安·波拿巴波那柏脱琉森——Lucien Bonaparte——吕西安·波拿巴P154 琉森——Lucien Bonaparte——吕西安·波拿巴P120 峰对美耳——Vendemiaire——葡月P121 保罗第一——Paul I——保罗一世塞尔兹——Selz——塞尔兹威廉第二——Frederick William II——弗雷德里克·威廉二世威廉第三——Frederick William III——弗雷德里克·威廉三世纳尔逊——Nelson——纳尔逊亚布吉尔——Aboukir(地)——阿布基尔P122 叙里亚——Syria——叙利亚大马色——Damascus(地)——大马士革土耳其都城——Constantinople——君士坦丁堡产匹温内——Championnet——尚比奥内(法军将领)社累尔——Scherer——舍雷尔马克多那尔——Macdonald——麦克唐纳斯特拉斯堡——Strasburg——斯特拉斯堡苏瓦罗夫——Suwaroff给里孙——Grisons——格里桑斯P123 亚达河——Adda——阿达河巴威——Babaria(国名)——巴伐利亚P126 哥亥尔——Gohier——戈叶(法国司法大臣)P144 哥希尔——Gohier——戈叶(法国司法大臣)P127穆郎——Moulin——穆勒柏桑爽——Besancon(地)——贝桑松P129 路易腓烈——Louis-Philippe——路易.菲利普P130 路易腓烈第一——Louis-Philippe I——路易.菲利普一世来印哈德——Reinhardt——莱因哈特P132 交质例——Law of Hostages——P135 拉麦退——La Meurthe——拉默尔特。
Toulouse Lautrec 劳特雷克3
• Yvette Guilbert (1867– 1944) debuted on stage in 1887 as an actress in a traditional theater in Paris, but she soon moved to Montmartre„s more avantgarde(前卫的,先锋的) performance venues. • With her unconventional singing voice, and an unfashionably tall and thin figure, Guilbert was an unlikely star of Montmartre's cafésconcerts.
Suzanne Valadon The Blue Room. 1923.
Lautrec &Women
Carmen Gaudin
• It appears that Lautrec was fascinated by Carmen Gaudin‟s beauty. But the beauty that enraptured the painter was not a classical one, with regular, somber(忧郁的) traits revealing feminine grace. Instead, it was her raw look , her “air of spoiled meat”, her shrewish(脾气坏且爱争吵的 ) hue of a tainted, untamed spirit that made her glow in the eyes of Lautrec, implying his irresistible attraction towards the profane(世俗的) aspects of life and the marginal(边缘的) members of society, as well as the character of a man not ashamed to display his unconventional tastes.
称为“蒙马特尔之魂”的法国艺术家亨利·德·图卢兹·罗特列克
称为“蒙马特尔之魂”的法国艺术家亨利·德·图卢兹·罗特列克亨利·德·图卢兹·罗特列克(Henri de Toulouse-Lautrec, 1864-1901,法国艺术家,出生于:法国/阿尔比),他是近亲结婚的产物,天生就带有残疾.14岁因意外,腿部不再发育,基因的缺陷和意外,让他长成一个1米5高的侏儒。
父亲自此对他失望,因为他再也不可能骑马,除此之外,他的腿部十分畸形,走路都成困难。
也因为此,他激发了绘画的兴趣。
他没有能力自由地奔跑、纵马奔腾但是画作可以代他体会这个时候他格外爱画马匹和航海的题材随着他的长大,身体的伤残让他自卑他开始在妓女上寻求片刻的温柔但是他始终未得到真正的爱那名他爱上的模特儿——玛莉-克雷曼汀·瓦拉东狠狠地欺骗了他,她只是图他的金钱她用自杀威胁他,这个时候他痛不欲生最后还是忍痛将这段情缘斩断失恋以后,他分外痛苦为了逃避感情上的失败,他迅速与卡门·戈婷交往却被传染上梅毒可能他就是不适合恋爱吧,恋人都薄待他至此,他不再信任除了母亲之外的任何女人后来,他在艺术上成就越来越大这个时候,他开始画以妓女为主题的画作最初只是描摹他的妓女朋友后面,机缘巧合下,他搬进了娼楼公寓以朋友的身份和妓女们生活在一起,观察她们记录一夜春宵后,她们的日常生活可是这一切和他的身份并不相符他是一名贵族可是他竟然公开称赞娼楼,还公然出入这简直是一件离谱至极的事情但是这也掩盖不了他作品的卓越他的画展大获成功,许多人都非常欣赏他的画但是好景不长为了创作,他彻夜失眠,开始染上酒瘾后面甚至开始精神失常他母亲把他强制送进精神病院医治最初,他百般抗拒,写信向他父亲求助,未果后来他神智逐渐清醒,开始尝试自救75天内,他完成了50多幅作品画笔是他最后的武器,他终于证明了自己通过这些有质量的画作成功出了精神病院但是病痛并未放过他37岁那年,他因疾病而去世了斯人已逝,作品犹存他留下的作品影响了几代画家被称为“蒙马特尔之魂”毕加索、马蒂斯都从他的作品中获益良多毕加索曾经感慨:来到巴黎之后,才体会到罗特列克是多么的伟大。
欧洲主要国家城市翻译
一、法国France1.南特Nantes2.巴黎Paris3.里昂Lyons4.第戎Dijon5.波尔多Bordeaux6.图卢兹Toulouse7.尼姆Nimes8.马赛Marseilles9.尼斯Nice10.南锡Nancy二、意大利Italy1.威尼斯Venice2.罗马Rome3.梵蒂冈Vatican4.比萨Pisa5.佛罗伦萨Florance6.那波里Napoli7.巴里Bari8.圣马力诺San Marino9.奥维托Orvieto10.蒙特卡蒂尼Montecatini11.博罗尼亚Bologna12.米兰Milan13.撒丁岛Sardinia14.西西里岛Sicily三、德国Germany1.法兰克福Frankfurt2.柏林Berlin3.科隆Cologne4.汉堡Hamburg5.汉诺威Hanover6.德累斯顿Dresden7.纽伦堡Nuremberg8.慕尼黑Munich9.海德堡Heidelberg10.斯图加特Stuttgart四、瑞士Switzerland1、苏黎世Zurich2、日内瓦Geneva3、伯尔尼Berne4、琉森Lucerne五、荷兰Holland/Netherland1.阿姆斯特丹Amsterdam2.鹿特丹Rotterdam3.海牙Hague4.阿纳姆Arnhem六、比利时Belgium1.布鲁塞尔Brussels七、卢森堡Luxembourg八、奥地利Austria1.维也纳Vienna2.因斯布鲁克Innsbruck3.萨尔斯堡Salzburg4.格拉茨Graz八、匈牙利Hungary1.布达佩斯Budapest九、斯洛文尼亚Slovenia1.卢布尔雅那Ljubljana航空公司CA CZ HY EK EYKL AF HU MU机场三字代码北京成都上海广州巴黎罗马佛罗伦萨威尼斯米兰阿姆斯特丹法兰克福柏林慕尼黑斯图加特汉堡纽伦堡布鲁塞尔维也纳卢森堡苏黎世日内瓦伦敦。
图卢兹第二大学(UniversitéToulouse-LeMirail:ToulouseI
图卢兹是南部⽐利⽜斯⼤区的⾸府,⼈⼝ 70 万,是法国的第四⼤城市,以悠久的历史,丰富的⽂化,优越的地理位置和位居世界科技前列的航空航天技术⽽闻名于世。
该城市保持其拉丁民族的特征,具有开放的风⽓。
两千年前,图卢兹建于加龙河畔,位于加龙河⾕地,濒临地中海和⼤西洋。
⾃古以来,此地的建筑⼤都⽤当地烧制的红⾊砖⽡筑成,因⽽有红玫瑰⾊之城(Ville rose)的称誉。
在中世纪,⽆数的诗集为图卢兹带来了⽂化⾼雅之城的盛名,⽽今天,⼆⼗世纪末,这⼀传统依然没有改变。
图卢兹⼤学始建于 13 世纪,是欧洲最古⽼的⼤学之⼀,在中世纪由于许多学者来此讲学,使之名声显赫。
到了 20 世纪60 年代末期,随着教育制度的改⾰和⾼等教育的普及,图卢兹⼤学被分为 3 个⼤学。
图卢兹第⼆⼤学继承了原来⼤学的⼈⽂科学专业,并发扬光⼤,使学校在法国的⽂学、语⾔学、⼈⽂与社会科学等领域有着极⾼的地位。
该校还设置了许多⾮常适合就业的职业教育⽂凭,彻底改变了这些专业不为就业市场接受的状态。
学校现在有学⽣ 27000 ⼈, 5 个教学单位和 11 个职业教育学院。
图卢兹第⼆⼤学还有⼀个⾮常的法语培训学院,每年接收 2500 多名外国学⽣。
专业设置: 第⼀与第⼆阶段专业 艺术:造型艺术 D/L 、戏剧艺术 - 戏剧研究 L/M 、实⽤艺术 L/M 、⾳乐教育与⾳乐学 D 、学校中的⾳乐教育 D 、爵⼠乐和现代⾳乐 D 、⾳乐 L/M 、合唱与戏剧 LP 、艺术与⽂化 - 使⽤艺术 IUP 语⾔⽂学:古典⽂学 D/L/M 、现代⽂学 D/L/M 、德语 D/L/M 、英语 D/L/M 、阿拉伯语 D/L/M 、西班⽛语 D/L/M 、意⼤利语 D/L/M 、⽇语 D/L/M 、葡萄⽛语 D/L/M 、俄语 D/L/M 、语⾔学 D/L/M 、对外法语 L/M 、语⾔的⾃动处理 L 、语⾔⼯业 M 社会科学:地理 D/L/M 、历史 D/L/M 、历史 - ⽂献与图像 D 、艺术史与考古 D 、考古 L/M 、艺术史 L/M 、⼈种学 L/M 、哲学 D/L/M 、⼼理学 D/L/M 、教育学 L/M 、社会学 D/L/M 、社会学 - 社会发展 L 、社会学 - 经济 L 、社会经济 M 、社会与⽂献中介 DEUST 、社会⼯作 DUT 、销售技术 DUT 、新通信技术在旅游中的应⽤ LP 、⼟地的发展与规划 IUP 、⽂献⼯程IUP 、企业管理 IUP 、信息与传播 - 视听研究 IUP 、运输 / 酒店 / 旅游 / 娱乐 IUP 科学技术:数学在社会科学中的应⽤ D/L 、⼯业⼯程与设备维护 DUT 、电信⼯程与络 DUT 、计算机 DUT 、机械与⽣产⼯程 DUT 、⽆线通信系统⼯程 LP 、计算机 - 物体⼯程程序分析 LP 、航空维护 LP 、数学与计算机⼯程 - 企业中的计算机新技术 IUP 第三阶段专业 DEA:教育 / 培训 / 融⼊、劳动经济学、神经科学 / ⾏为 / 认识、社会变化与个⼈化⼼理学、⼼理病理学、语⾔学、英语研究、视听研究 - 美学 / 历史 / 传播、西班⽛研究、拉美研究、⽇尔曼研究、⽐较⽂学、哲学 / 著作 / 知识、社会与欧洲史⼈类学、风景环境、空间 / 乡村社会与经济配送、⾳乐与艺术史、历史与⽂明、古代科学、社会学、城市 - ⼟地、神经⼼理学 DESS:实⽤艺术 - 环境项⽬中的⾊彩、实⽤艺术 - ⽂献与图像、多媒体制作、国际贸易、旅游⼯业 - 旅游组织管理、旅游⼯业 - 研究、翻译技术与专业翻译、边境⼭区的发展与规划、⽼⼈⼼理学、环境的社会管理 - ⼟地资源、住房与规划政策、新社会经济、社会政策与社会调查 - 男⼈ / ⼥⼈、青少年⼼理学、健康⼼理学、劳动⼼理学与社会⼼理学、跨⽂化⼼理学、临床⼼理学、认识科学与⼈机界⾯ - ⼼理学 / 语⾔学 / 计算机、环境控制与⼟地规划中的地理坐标信息科学、⾷品中的社会科学、地区管理中的社会科学、⼟地发展中的信息与传播技术、计算机 / 统计 / 数学在⽣产管理中的应⽤ 语⾔学习中⼼: 图卢兹第⼆⼤学法语学习学院欢迎来⾃世界各国的学⽣和实习⽣。
法国主要城市介绍
法国主要城市介绍法国首都巴黎法国巴黎,位于法国北部巴黎盆地中央。
市区面积105平方公里,人口210多万。
巴黎大区包括市区及周围的七个省,面积达1.2万平方公里,总人口近1,000余万。
巴黎市共划分为20个区,以卢浮宫及西岱岛的一部分为中心,呈螺旋状、按顺时针方向,向外扩展。
各区居民人数不一,现在最多的是15区,22万人口,最少的是2区,仅2万多人口。
巴黎的历史有2,000多年,最早是从西岱岛发祥。
只有在公元十七世纪和十八世纪,法国的统治者曾经迁都凡尔赛,但当时的巴黎仍是法国宗教、文化、艺术中心。
巴黎大区占全国土地面积的十分之一,人口占全国人口近五分之一,拥有的财富占全国的一半。
巴黎是法国的政治中心从第一到第五共和国: 1789年7月14日,巴黎人民愤起捣毁了封建王朝囚禁革命者的监狱——巴士底狱,由此爆发资产阶级大革命,发表了人权宣言,废除了封建制度。
1792年建立了法国历史上第一个资产阶级共和国。
1799年,拿破仑发动雾月政变,1804年称帝,为拿破仑一世,并颁布了“拿破仑法典”。
1815年,拿破仑在滑铁卢战败,帝国垮台,路易十八建立复辟王朝。
1830年,“七月革命”推翻了复辟王朝,路易•菲力普建立了七月王朝。
1848年,“二月革命”建立了第二共和国。
1851年,拿破仑的侄子路易•波拿巴发动政变,次年称帝,到1870年9月革命后,成立第三共和国。
1940年,德军占领巴黎,第三共和国覆灭。
第二次世界大战结束后,在1946年第四共和国成立。
1958年,戴高乐将军授权组阁并制定新宪法,第五共和国成立。
巴黎是法国的经济和商业中心法国经济实力强大。
巴黎集中了法国多数的大型集团公司和金融机构。
在世界排名前100家大企业中,就有法国企业TOTALFINAELF石油公司、CARREFOUR超市集团、VIVENDI UNIVERSAL公司、PSA PEUGEOT CITROEN汽车公司、RENAULT汽车公司、SUEZ公司、EDF公司、FRANCE TELECOM公司和ALCATEL等公司的总部设在巴黎。
关于介绍法国的英语短文
关于介绍法国的英语短文法国在实现现代化之前和中国一样是个小农经济占主导地位的国家,但法国成功实现了工农业和城市化的同步发展。
下面是店铺带来的关于介绍法国的英语短文,欢迎阅读!关于介绍法国的英语短文篇一Landing in France, a sacred feeling suddenly arises which attracts you to know more about this country.踏上法国的领土,一种神圣的感觉会油然而生。
这种感觉会吸引你去更多地了解这个国度。
France, approximately hexagonal in shape, has a boundary on the east with Germany, Switzerland and Italy, and is bounded on the southeast by Monaco and the Mediterranean Sea; on the south are Spain and Andorra, with the Bay of Biscay on the west and the English Channel on the north as natural borders.法国从地图上看近似6边形。
它东边与德国、瑞士和意大利接壤,东南与摩纳哥和地中海为邻,南边是西班牙和安道尔,比斯开湾和英吉利海峡则分别在西面和北面形成了天然的屏障。
A series of massive mountain ranges includes the Alps, which separate France and Italy, and the Jura Mountains that delineate the Franco-Swiss border.The Pyrenees Mountains, extending along them Franco-Spanish frontier from the Mediterranean to the Bay of Biscay, forms the other mountain boundary of France.法国拥有连绵起伏的山脉,其中包括阿尔卑斯山脉,它横亘于法国和意大利之间,形成了一道天然国界;而侏罗山脉则成为法国和瑞士国界。
ACTI-DIAG诊断系统介绍
ACTI-DIAG远程诊断系统介绍法国欧科佳(ACTIA)公司1.企业资质以及市场经验介绍ACTIA公司成立于1986年,总部设在法国南部城市图鲁兹(Toulouse),历经二十余年的发展壮大,集团公司已发展成为拥有20个子公司,年营业额突破2亿欧元,专业从事商用车车载电子设备、汽车故障检测诊断设备及汽车维修保养设备的研发和生产的高科技跨国集团公司。
ACTIA集团公司的子公司遍布于亚洲,欧洲,北美洲,南美洲和非洲。
公司从成立至今一直致力于汽车电子产品的生产与研发,现已成为全球汽车电子产品领域中重要而不可或缺的一员,是全球领先的为汽车制造商售后服务故障诊断方面提供解决方案的专业供应商之一,与全球主要的OEM汽车制造商建立了良好的合作伙伴关系。
ACTIA 集团从成立至今一直把致力于提供高水准OEM诊断解决方案、专业的诊断软件平台和广泛优质的服务作为企业立足之本。
作为诊断软件专业供应商,ACTIA集团向汽车制造商提供从汽车设计到保养和维修的整套完整解决方案,同时为全球主要的汽车厂商提供诊断数据的开发验证服务。
与此同时,ACTIA集团的战略是继续发展其所有的软件开发和专业技术以形成整套独有的系统化诊断软件系列——ACTI-DIAG。
1.1. ACTIA集团介绍一个在全球拥有20个地区子公司的跨国集团年销售额超过2亿欧元(MORE THAN 200 M FORECAST FOR 2007)在超过2000名的雇员中,有超过700名在从事着专业故障诊断和解决方案的研究全球八大汽车制造商(宝马,菲亚特,通用,奔驰,三菱汽车,标致雪铁龙,雷诺,雷诺重汽)的供应商ACTIA提供全球范围内的硬件、软件和服务解决方案1.1.1. ACTIA集团子公司在全球的分布ACTIA集团20个子公司遍布全球五大洲,分布于15个国家和地区,全球子公司与母公司共享同一个技术平台,各个子公司共享每个子公司的研发成果,技术保持同步。
这使得建立各地的ACTIA 子公司能够根据不同地区的不同需要将核心技术进行灵活转化,从而向客户提供更加符合当地化需求的专业服务。
法国的大学
1、公立大学(含部分高等专业学校、以及具大学地位的三所综合理工学院)1) Universitéde Provence:Aix-Marseille 1艾克斯-马赛一大2) Universitéde la Méditerranée:Aix-Marseille2艾克斯-马赛二大3) Université de Droit, d’économie et des Sciences d’Aix-Marseille:Aix-Marseille 3艾克斯-马赛三大4) Universitéde Picardie Jules-Verne:Amiens亚眠大学5) Université d’Angers昂热大学6) Université d’Avignon et des Pays de Vaucluse阿维尼翁大学7) Universitéde Technologie de Belfort-Montbéliard贝尔福-蒙贝利亚技术大学8) Universitéde Franche-Comté:Besançon弗朗什-孔泰大学(贝桑松大学)9) UniversitéBordeaux 1波尔多一大10) UniversitéVictor Segalen:Bordeaux 2波尔多二大11) UniversitéMichel de Montaigne:Bordeaux 3波尔多三大12) UniversitéMontesquieu:Bordeaux 4波尔多四大13) Universitéde Bretagne Occidentale:Brest西布列塔尼大学14) Universitéde Caen Basse:Normandie卡昂大学15) Universitéde Savoie-Chambéry-Annecy:Chambéry 萨瓦大学(尚贝里)16) Université d’Auvergne:Clermont-Ferrand 1克莱蒙费朗一大17) UniversitéBlaise Pascal:Clermont-Ferrand 2克莱蒙费朗二大18) Universitéde Technologie de Compiègne贡比涅技术大学19) Universitéde Bourgogne:Dijon勃艮第大学(第戎)20) UniversitéJoseph Fourier:Grenoble 1格勒诺布尔一大21) UniversitéPierre Mendès France:Grenoble 2格勒诺布尔二大22) UniversitéStendhal:Grenoble 3格勒诺布尔三大23) Institut National Polytechnique de Grenoble格勒诺布尔国立综合理工学院24) Universitéde la Rochelle拉罗谢尔大学25) Universitédu Havre勒阿弗尔大学26) Universitédu Maine曼恩大学27) Universitédes Sciences et Technologies de Lille—Lille 1 里尔一大28) Universitédu Droit et de la Santé:Lille 2里尔二大29) UniversitéCharles de Gaulle:Lille 3里尔三大30) Université d’Artois:Arras阿尔图瓦大学(阿拉斯)31) Universitédu Littoral:Dunkerque滨海大学(又译:利托拉尔大学)(敦克尔克)32) Universitéde Limoges利摩日大学33) Universitéde Valencienne et du Hainaut-Cambrésis瓦朗谢纳大学34) Universitéde Bretagne-Sud:南布列塔尼大学35) UniversitéClaude Bernard:Lyon 1里昂一大36) UniversitéLumière:Lyon 2里昂二大37) UniversitéJean Moulin:Lyon 3里昂三大38) Universitéde Metz梅斯大学39) UniversitéMontpellier 1蒙波利埃一大40) UniversitéMontpellier 2:Sciences et Techniques du Languedoc 蒙波利埃二大41) UniversitéPaul Valéry:Montpellier 3蒙波利埃三大42) Univeristéde Haute-Alsace:Mulhouse上阿尔萨斯大学(米鲁兹)43) UniversitéHenri Poincaré:Nancy 1南锡一大44) UniversitéNancy 2南锡二大45) Institut National Polytechnique de Lorraine:Nancy 洛林国立高等理工学院(南锡)46) Universitéde Nantes南特大学47) Universitéde Nice Sophia-Antipolis尼斯大学48) Université d’Orléans奥尔良大学49) UniversitéFrançois Rabelais:Tours图尔大学50) UniversitéPanthéon-Sorbonne:Paris 1巴黎一大51) UniversitéPanthéon-Assas:Paris 2巴黎二大52) Universitéde la Sorbonne Nouvelle:Paris 3 巴黎三大53) UniversitéParis-Sorbonne:Paris 4巴黎四大54) UniversitéRenéDescartes:Paris 5巴黎五大55) UniversitéPierre et Marie Curie:Paris 6巴黎六大56) UniversitéDenis Diderot:Paris 7巴黎七大57) UniversitéVincennes-Saint-Denis:Paris 8巴黎八大58) UniversitéParis Dauphine:Paris 9巴黎九大59) Universitéde Nanterre:Paris 10巴黎十大60) Universitéde Paris-Sud:Paris 11巴黎十一大61) UniversitéParis-Val de Marne:Paris 12巴黎十二大62) UniversitéParis-Nord:Paris 13巴黎十三大63) Université d’E vry-Val d’Essonne埃夫里大学(巴黎)64) Universitéde Cergy-Pontoise塞吉-蓬图瓦兹大学65) Universitéde Marne-La-Vallée马恩-拉瓦雷大学66) Universitéde Versailles Saint-Quentin-En-Yvelines 凡尔赛大学67) Université de Pau et des Pays de l’Adour波城大学68) Universitéde Perpignan佩皮尼昂大学69) Universitéde Poitiers普瓦提埃大学70) Universitéde Reims Champagne-Ardenne兰斯大学71) Universitéde Rennes 1雷恩一大72) Universitéde Haute-Bretagne:Renne 2雷恩二大73) Universitéde Rouen鲁昂大学74) Universitéde Saint-Etienne圣太田大学75) UniversitéLouis Pasteur:Strasbourg 1斯特拉斯堡一大76) UniversitéMarc Bloch:Strasbourg 2斯特拉斯堡二大77) UniversitéRobert Schuman:Strasbourg 3斯特拉斯堡三大78) Universitéde Toulon et du Var土伦大学79) UniversitéToulouse 1 Sciences Sociales图卢兹一大80) Universitéde Toulouse-Le Mirail:Toulouse 2 图卢兹二大81) UniversitéPaul Sabatier:Toulouse 3图卢兹三大82) Institut National Polytechnique de Toulouse图卢兹国立综合理工学院83) Universitéde Technologie de Troyes特鲁瓦技术大学84) Universitéde Corse Pascal Paoli科西嘉大学85) Universitéde la Polynésie Française法国波利尼西亚大学(海外)86) Universitédes Antilles et de la Guyane安第列斯-圭亚那大学(海外)87) Universitéde la Réunion留尼汪大学(海外)88) Universitéde la Nouvelle-Calédonie新喀里多尼亚大学(海外)2、法国公立大学校名单(洛林等三所国立综合理工学院已经在名单第一部分中列出,下面的名单将更详细地列出它们属下的各大学校)学院及研究院(ECOLES ET INSTITUTS)1) EHESS: Ecole Des Hautes Etudes En Sciences Sociales Paris巴黎高等社会科学研究学校2) ENA: Ecole nationale d'administration国家行政学院3) ENC:Ecole Nationale Des Chartes国立文献学校4) ENM: école Nationale de la Magistrature国立法官学校5) ENS: Cachan Ecole Normale Superieure De Cachan卡尚高等师范学校6) ENS: Ecole Normale Superieure,Paris巴黎高等师范学校7) ENS: Lettres et sciences humaines Ecole Normale Supérieure Lettres et Sciences Humaines高等人文科学师范学校8) ENS Lyon: Ecole Normale Superieure,Lyon里昂高等师范学校9) EN SSIB: Ecole nationale supérieure des sciences de l’information et d es bibliothèques国立高级图书情报学学校10) EPHE: ECOLE PRATIQUE DES HAUTES ETUDES,PARIS巴黎高等研究实践学院11) IEP PARIS: Fondation Nationale Des Sciences Politiques- Institut D’E tudes Politiques De Paris巴黎政治学院12) IEP RENNES: Institut D’Etudes Politiques De Rennes雷恩政治学院13) IEP TOULOUSE: Institut D’Etudes Politiques(Iep)De Toulouse图卢兹政治学院14) INALCO: Institut National Des Langues Et Civilisation Orientales巴黎东方语言文化学院15) INHA: Institut National D’Histoire De L’Art国立艺术史学院16) IPGP: Institut De Physique Du Globe De Paris巴黎地球物理学院17) ENSBA: Ecole nationale supérieure des beaux-arts国立高等美术学校工程师学院(ECOLES D’INGENIEUR)1) Institut d’ingénièrie informatique de Limoges计算机工程学院(里摩日)2) AGROCAMPUS RENNES: Institut national d'enseignement supérieur et de la recherche agronomique et agro-alimentaire de Rennes雷恩国立农学及食品研究高等教育学院3) CNAM: Conservatoire national des arts et métiers法国国立工艺学院4) Ecole Superieure De Chimie, Physique Et D’Electronique De Lyon里昂高等化学、物理及电子学校5) Institut des sciences de l'ingénieur de l'UniversitéBlaise Pascal Clerm ont-Ferrand II克莱蒙费朗工程师学校(隶属于克莱蒙费朗二大)6) EAN: Ecole d'architecture de Nancy南锡建筑学校7) EC Lille: Ecole Centrale De Lille里尔中央理工学校8) ECL: Ecole Centrale De Lyon里昂中央理工学校9) ECN: Ecole Centrale De Nantes南特中央理工学校10) ECP: Ecole Centrale De Paris巴黎中央理工学校11) EFREI: Ecole Française d'Electronique et d'Informatique法国电子与计算机信息学校12) EGIM: Ecole Generaliste D’Ingenieurs De Marseille马赛工程师学校13) EISTI: Ecole internationale des sciences du traitement de l'informatio n国际信息处理科学学校14) EITARC: Ecole d’ingénieurs des techniques agricoles des régions ch audes热带地区农业技术工程师学校15) EIVL: Ecole D’Ingenieurs Du Val De Loire卢瓦尔工程师学校(隶属于图尔大学)16) EIVP:Ecole des ingénieurs de la Ville de Paris巴黎市工程师学校17) EIVP: Ecole supérieure de Génie Urbain de Paris巴黎高等城市工程学校18) EM NANTES: Ecole nationale supérieure des techniques industrielles et des mines de Nantes南特国立高等工业技术与矿业学校19) EMA: Ecole Des Mines D’Ales阿莱斯矿业学校20) EMD: Ecole Des Mines De Douai杜埃矿业学校21) EN: Ecole navale船舶学校(布雷斯特)22) ENAC: Ecole nationale de l’aviation civile国立民用航空学校23) ENESAD: Etablissement National d’Enseignement Supérieur Agronomi que de Dijon第戎国家高等农艺学校24) ENGEES: Ecole nationale du génie de l’eau et de l’environnement de strasbourg斯特拉斯堡国立水与环境工程学校25) ENGREF: Ecole nationale du génie rural des eaux et des forêts国立水林农村工程学校(南锡)26) ENI Brest: Ecole Nationale d'Ingénieurs de Brest布雷斯特国立工程师学校27) ENI Metz: Ecole nationale d'ingénieurs de Metz梅斯国立工程师学校28) ENI Saint Etienne: Ecole Nationale d'Ingénieurs de Saint-Etienne圣太田国立工程师学校29) ENI Tarbes: Ecole nationale d'ingénieurs de Tarbes塔布国立工程师学校30) ENITA Clermont-Ferrand: Ecole nationale d'ingénieurs des travaux ag ricoles de Clermont-Ferrand克莱蒙费朗国立农业工程工程师学校31) ENITA: Ecole nationale d’ingénieurs des travaux agricoles de Bordea ux波尔多国立农业工程工程师学校32) ENM: Ecole nationale de la météorologie国立气象学校(图卢兹)33) ENPC: Ecole nationale des ponts et chaussées国立路桥学校34) ENSA Montpellier: Ecole nationale supérieure agronomique de Montp ellier蒙波利埃国立高等农艺学校35) ENITIAA: Ecole nationale d'ingénieurs des techniques des industries agricoles et alimentaires国立农业与食品工业技术工程师学校36) ENSAE: Ecole nationale de la statistique et de l'administration écono mique国立统计与经济管理学校37) ENSAI: Ecole nationale de la statistique et de l'analyse de l'informati on国立信息统计与分析学校38) ENSAIT: Ecole Nationale Supérieure des Arts et Industries Textiles (Roubaix)国立高等纺织工艺学校39) ENSAM: Ecole Nationale Supérieure d'Arts et Métiers国立高等工艺学校40) ENSC Clermont-Ferrand: Ecole nationale supérieure de chimie de Cl ermont-Ferrand克莱蒙费朗国立高等化工学校41) ENSC Lille: Ecole nationale supérieure de chimie de Lille里尔国立高等化工学校42) ENSC Montpellier: Ecole nationale supérieure de chimie de Montpelli er蒙波利埃国立高等化工学校43) ENSC Mulhouse: Ecole nationale supérieure de chimie de Mulhouse 米鲁兹国立高等化工学校44) ENSC Paris: Ecole nationale supérieure de chimie de Paris巴黎国立高等化工学校45) ENSC Rennes: Ecole nationale supérieure de chimie de Rennes雷恩国立高等化工学校46) ENSCI: Ecole nationale supérieure de céramique industrielle国立高等工业陶瓷学校47) ENSCI Paris: Ecole nationale supérieure de création industrielle国立高等工业创新学校48) ENSCP Bordeaux: Ecole Nationale Supérieure de Chimie et de Phys ique de Bordeaux波尔多国立高等化学与物理学校49) ENSEA: Ecole Nationale Supérieure de l'Electronique et de ses Appli cations(Cergy-Pontoise)国立高等电子及电子应用学校50) ENSEIRB: Ecole nationale supérieure d’électronique informatique et r adiocommunications de Bordeaux波尔多国立高等电子、信息与无线电通讯学校51) ENSG: Ecole Nationale Supérieure de Géologie(NANCY)国立地质学校52) ENSG-GEO: Ecole nationale des sciences géographiques (MARNE-L A-VALLEE)国立地理科学学校53) ENSI BOURGES: Ecole nationale supérieure d’ingénieurs de Bourges布尔日国立高等工程师学校54) ENSIA: Ecole nationale supérieure des industries agricoles et aliment aires(Massy)国立高等农业与食品工业学校55) ENSIAME: Ecole Nationale Superieure D’Ingenieurs En Informatique, Automatique Mecanique,Energetique Electronique(Valenciennes)国立高等计算机、电子能源及机械自动化工程师学院56) ENSICA:Ecole nationale supérieure d'ingénieurs de constructions a éronautiques国立高等航空制造工程师学校(图卢兹)57) ENSICAEN:Ecole nationale supérieure d’ingénieurs de Caen冈城国立高等工程师学校58) ENSIETA:Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d’Armement(布雷斯特)国立军事工程学校59) ENSIGTI:Ecole Nationale Superieure D’Ingenieurs En Genie Des T echnologies Industrielles国立高等工业技术工程工程师学校(波城大学)60) ENSIL:Ecole Nationale Superieure D'ingenieurs De Limoges利摩日国立高等工程师学校61) ENSIM:Ecole Nationale Superieure D'ingenieurs Du Mans国立勒芒高等工程师学校62) ENSIMAG:Ecole Nationale Superieure d'Informatique et de Mathem atiques Appliquees de Grenoble格勒诺布尔国立高等计算机与实用数学学校63) ENSM Nancy:Ecole Nationale Supérieure des Mines de Nancy南锡国立高等矿业学校64) ENSM Paris:Ecole des Mines de Paris国立巴黎高等矿业学校65) ENSM Saint-Etienne:Ecole Des Mines De Saint-Etienne圣太田矿业学校66) ENSMA:Ecole nationale supérieure de mécanique et d’aérotechniqu e(普瓦提埃)国立高等机械与航空技术学校67) ENSMM:Ecole nationale supérieure de mécanique et des microtech niques国立高等机械与微技术学校68) ENSNP:Ecole nationale supérieure de la nature et du paysasge 国立高等自然与景观学校69) ENSP:Ecole nationale de la santépublique国立公共卫生学校(雷恩)70) ENSPM:Ecole nationale supérieure du pétrole et des moteurs (吕埃)国立高等石油与发动机学校71) ENSSAT:Ecole Nationale Superieure Des Sciences Appliquees Et De Technologie(Lannion)国立高等技术与应用科学学校72) ENST BRETAGNE:Ecole nationale supérieure des télécommunicati ons de Bretagne布列塔尼国立高等电信学校73) ENSTA:Ecole nationale supérieure de techniques avancées国立高等先进技术学校74) NTM Lyon:Ecole nationale des travaux maritimes国立海洋工程学校75) ENTPE:Ecole Nationale des Travaux Publics de l’Etat国立国家公共工程学校76) ENV Alfort:Ecole nationale vétérinaire d’Alfort阿尔夫尔国立兽医学校77) ENV LYON:Ecole nationale vétérinaire de Lyon里昂国立兽医学校78) ENV Nantes:Ecole nationale vétérinarie de Nantes南特国立兽医学校79) ENV Toulouse:Ecole nationale vétérinaire de Toulouse图卢兹国立兽医学校80) EP:Ecole Polytechnique综合理工学校81) EPF:Ecole Polytechnique Feminine女子理工学校82) ESA:Ecole Superieure D’Agriculture D’Angers昂热高等农业学校83) ESAG:Ecole supérieure et d'application du génie高等工程应用学校(昂热)84) ESAP:Ecole Superieure D’Agriculture De Purpan普尔潘高等农业学校85) ESAT:Ecole supérieure d’agronomie tropicale高等热带农艺学校86) ESAT:Ecole supérieure et d’application des transmissions 高等军事通讯技术学校87) ESB:Ecole supérieur du bois木材工程学校88) ESGT:Ecole supérieur des géomètres et topographes国立勒芒高等测绘工程学院89) ESIEA:Ecole Superieure D’Informatique-Electronique-Automatique高等计算机、电子及自动化学校90) ESIEE:Ecole Superieure D’Ingenieurs En Electronique Et Electrotec hnique高等电子与电工技术工程师学校91)ESIGELEC:E cole Superieur d’ Ingenieurs Generaliste de Rouen ( 原:ESIGELEC:Ecole Superieure D’Ingenieurs En Genie Electrique, Mont-Sa int-Aignan )法国鲁昂工程师学院(原:蒙圣埃尼昂高等电子工程工程师学院)92) ESIP:Ecole Superieure D’Ingenieurs De Poitiers普瓦提埃高等工程师学校93) ESIP:Ecole Superieure De Mecanique De Marseille94) ESM:Ecole supérieure de métrologie高等计量学校95) ESM Saint-Cyr:Ecole spéciale militaire de Saint-Cyr圣西尔军事学校96) ESME:Ecole Speciale De Mecanique Et D’Electricite, Paris巴黎电力与机械专业学校97) ESMISAB:Brest Ecole Superieure De Microbiologie Et Securite Ali mentaire De Brest布雷斯特食品工程与微生物学高等学院98) ESPCI:Ecole supérieure de physique et de chimie industrielle de la Ville de Paris巴黎市工业物理化学学校99) ESP OYONNAX:Ecole supérieure de plasturgie d’Oyonnax奥约纳高等塑料加工学校100) ESSA de Lyon-Bron:Ecole du Service de santédes armées de L yon-Bron里昂-布龙军队卫生事业学校101) ESSA:Ecole du Service de santédes armées de Bordeaux波尔多军队卫生事业学校102) ESTACA:Ecole Superieure Des Techniques Aeronautiques Et De Construction Automobile高等航空技术与汽车制造学校103) ESTBB:Ecole Superieure De Technologie Des Biomolecules De B ordeaux波尔多高等生物分子技术学校(隶属于波尔多二大)104) ESTP:Ecole spéciale des travaux publics du batiment et de l'indu strie巴黎市政工程建筑工业专科学校105) HEI:Ecole des Hautes Etudes d'Ingénieur高等工业学校106) ICAM:Institut c atholique d’arts et métiers天主教工艺学院(图卢兹)107) IFFI:Institut Française du Froid Industriel et du Génie climatique 法国工业制冷与气象工程学院108) IFMA:Institut Française de Mécanique Avancée法国先进机械学院109) IIE:Institut d’informatique d’entreprise企业信息学院110) INA P-G:Institut national agronomique Paris-Grignon巴黎-格里尼翁国立农业学院111) INH:Institut national d'horticulture国立园艺学院- ENIHP (Ecole Nationale d'Ingénieurs de l'Horticulture et du Paysage) 国立园艺与景观工程师学校- ENSHAP (Ecole Nationale Supérieure d'Horticulture et d'Aménagement du Paysage)国立园艺与风景规划学校112) INP Grenoble Institut National Polytechnique de Grenoble格勒诺布尔国立理工学院-école Française de papeterie et des industries graphique法国造纸与印刷工业学校-Ecole nationale supérieure d’électrochimie et d’électrométallurgie de Gre noble格勒诺布尔国立高等电化学与电冶金学学校-Ecole nationale supérieure d’électronique et de radioélectricité de Greno ble格勒诺布尔国立高等电子与无线电技术学校-Ecole nationale supérieure de génie industriel de Grenoble格勒诺布尔国立高等工业工程学校-Ecole nationale supérieure d’hydraulique et de méc anique de Grenoble 格勒诺布尔国立高等水力与机械学校-Ecole nationale supérieure d’ingénieurs électriciens de Grenoble格勒诺布尔国立高等电工工程师学校-Ecole nationale supérieure d’informatique et de mathématiques appliquée s de Grenoble格勒诺布尔国立高等信息与应用数学学校-Ecole nationale supérieure de physique de Grenoble格勒诺布尔国立高等物理学校-Ecole supérieure d’ingénieurs en systèmes industriels avancés Rhone-Al pes罗纳-阿尔卑斯高等先进工业系统工程师学校-Télécom INP Grenoble格勒诺布尔电信学校113) INP Lorraine:Institut national polytechnique de Lorraine洛林国立综合理工学院-Ecole européenne d’ingénieurs en génie des matériaux欧洲材料工程工程师学校-Ecole nationale supérieure des mines de Nancy南锡国立高等矿业学校-Ecole nationale supérieure d’agronomie et des industries alimentaires国立高等农艺与食品工业学校-Ecole nationale supérieure d’électricité et de mécanique de Nancy南锡国立高等电工与机械学校-Ecole nationale supérieure de géologie国立高等地质学校-Ecole nationale supérieure en génie des systèmes industriels国立高等工业系统工程学校-Ecole nationale supérieure des industries chimiques国立高等化工学校114) INP Toulouse:Institut National Polytechnique de Toulouse图卢兹国立综合理工学院-Ecole nationale supérieure agronomique de Toulouse图卢兹国立高等农艺学校-Ecole nationale supérieure des ingénieurs en arts chimiques et technolo giques国立高等化学工艺与技术工程师学校-Ecole nationale supérieure d’électrotechnique, d’électronique, d’informatiq ue, d’hydaulique et des télécommunications国立高等电工技术、电子、信息、水力与电信学校115) INSA DE LYON:Institut National des Sciences Appliquées de Lyo n里昂国立应用科学学院116) INSA DE RENNES:Institut National des Sciences Appliquées de Rennes雷恩国立应用科学学院117) INSA DE ROUEN:Institut national des sciences appliquées de Ro uen鲁昂国立应用科学学院118) INSA DE TOULOUSE:Institut National des Sciences Appliquées d e Toulouse图卢兹国立应用科学学院119) INSA Strasbourg:Institut National des Sciences Appliquées de Str asbourg(ex Ecole nationale supérieure des arts et industries de Strasbo urg)斯特拉斯堡国立应用科学学院(前斯特拉斯堡国立高等工艺学校)120) INSTN:Institut national des sciences et techniques Nucléaires国立核科技学院121) ISA:Institut Superieur D’Agriculture De Lille里尔高等农业学院122) ISAB:Institut Superieur D’Agri culture De Beauvais博韦高等农业学院123) ISARA:Institut Superieur D’Agriculture Rhone-Alpes罗纳-阿尔卑斯高等农业学院124) ISIMA:Institut Superieur D’Informatique De Modelisation Et De Leu rs Applications模型化信息技术及其应用高等学院(克莱蒙费朗)125) ISMANS:Institut supérieur des matériaux du Mans勒芒材料工程学院126) ISMCM:Institut supérieur des matériaux et de la construction méc anique高等材料、机械制造学院127) ISPA:Institut supérieur des productions animales高等畜产品学院128) ISTIL:Institut Des Sciences Et Techniques De L’Ingenieur De Lyo n里昂工程师科学技术学院139) SUPAERO:Ecole Nationale SupErieure De L'aEronautique Et De L'espace国家高等航空与航天学校130) SupOptique:Ecole Supérieure D'optique高等光学学校131) TELECOM INT:Institut national des télécommunications国立电信学院132) TELECOM Paris-ENST:école Nationale Supérieure des Télécommu nications国立高等电信学校133) UTBM:Universite De Technologie De Belfort-Montbeliard贝尔福-蒙博里亚技术大学134) UTC:Universite De Technologie De Compiegne贡比涅技术大学135) UTT:Universite De Technologie De Troyes特鲁瓦技术大学136) Ecole des Mines d'Albi阿尔比矿业学校商校名单1.ACI Negocia:Académie commerciale internationale国际商业学院2.ADVANCIA:Ecole commerciale de la chambre de commerce et d’indu strie de Paris 巴黎工商会商业学校3.AUDENCIA NANTES-ESCNA: Ecole de management de Nantes南特经济管理学校4.CERAM:CERAM Sophia-Antipolis 索非亚-昂蒂波利斯实用经济管理教研中心5.CPA Grand sud ouest:Centre de perfectionnement aux affaires Grand Sud Ouest 西南商业进修中心6.CPA Jouy-en-Josas:Centre de perfectionnement aux affaires Jouy-en-Josas 茹依桑若萨商业进修中心7.CPA Lille :Centre de perfectionnement aux affaires du Nord 北方商业进修中心8.CPA Lyon:Centre de perfectionnement aux affaires de Lyon 里昂商业进修中心9.CPA Nice:Centre de perfectionnement aux affaires Méditerranée 地中海商业进修中心10.CPA Paris:Centre de perfectionnement aux affaires Paris 巴黎商业进修中心11.EAC Nantes-Saint-Nazaire:Ecole atlantique de commerce et de gesti on 大西洋商业管理学校12.EBPEMA Bordeaux:Ecole multinationale des affaires 国际商业学校13.EBS Paris:Ecole européenne de gestion(EUROPEAN BUSINESS SC HOOL)欧洲管理学校14.ECE Bordeaux-Lyon:Ecole de commerce européenne de Bordeaux-L yon 波尔多-里昂欧洲商业学校15.EDC:Ecole des dirigeants et créateurs d’entreprise 企业创建者与领导者学校16.EDHEC: Ecole de hautes études commerciales du nord 艾代克高等商业学校(又译:北方高等商业学校)17.EGC Avignon: Ecole de gestion et de commerce d’Avignon18.EGC Basse-Normandie:Ecole de gestion et de commerce de Basse-Normandie 下诺曼底商业管理学校19.EGC Bastia:Ecole de gestion et de commerce de Bastia 巴斯蒂亚商业管理学校20.EGC Bayonne:Ecole de gestion et de commerce de Bayonne 巴约纳商业管理学校21.EGC Brive:Ecole de gestion et de commerce de Brive 布里孚商业管理学校22.EGC du Maine:Ecole de gestion et de commerce du Maine 曼恩商业管理学校23.EGC Franche-Comté: Ecole de gestion et de commerce de Franche-C omté弗朗什-孔泰商业管理学校24.EGC Lille:Ecole de gestion et de commerce de Lille-Métropole 里尔都市商业管理学校25.EGC Martinique:Ecole de gestion et de commerce de Martinique 马提尼克商业管理学校26.EGC Orléans:Ecole de gestion et de commerce d’Orléans 奥尔良商业管理学校27.EGC Vendée:Ecole de gestion et de commerce de Vendée 旺代商业管理学校28.EGC Angoulême:Ecole de gestion et de commerce d’Angoulême 昂古莱姆商业管理学校29.EGC La Réunion:Ecole de gestion et de commerce de la Réunion 留尼汪商业管理学校30.EGC Montauban:Ecole de gestion et de commerce de Montauban 蒙托邦商业管理学校31.EGC Rodez:Ecole de gestion et de commerce de Rodez 罗德兹商业管理学校32.EGCB St Malo:Ecole de gestion et de commerce de Bretagne 布列塔尼商业管理学校33.EGCI Toulouse:Ecole de gestion, commerce et informatique de Toul ouse 图鲁兹商业管理与信息学学校34.EM LYON: Ecole de Management de Lyon 里昂经济管理学校35.EPSCI:Ecole des praticiens du commerce international国际商业人学校36.ESC AMIENS PICARDIE: Ecole supérieure de commerce Amiens Pica rdie 亚眠-皮卡底高等商学校37.ESC Bordeaux: Bordeaux Ecole de Management 波尔多经济管理学校38.ESC BRETAGNE BREST: Ecole supérieure de commerce de Bretagne 布列塔尼-布雷斯特高等商业学校39.ESC CHAMBERY: Ecole supérieure de commerce de Chambéry 尚贝里高等商业学校40.ESC CLERMONT: Ecole supérieure de commerce de Clermont-Ferrand 克莱蒙费朗高等商业学校41.ESC Compiègne: Ecole supérieure de commerce de Compiègne 贡比涅高等商业学校42.ESC DIJON: Ecole supérieure de commerce de Dijon-Bourgogne第戎-勃艮第高等商业学校43.ESC GRENOBLE: Groupe Ecole supérieure de commerce de Grenobl e格勒诺布尔高等商业学校44.ESC LA ROCHELLE: Ecole supérieure de commerce de La Rochelle 拉罗谢尔高等商业学校45.ESC LILLE: Ecole supérieure de commerce de Lille里尔高等商业学校46.ESC MARSEILLE-PROVENCE: Euromed Marseille Ecole de managem ent马赛经济管理学校47.ESC Montpellier: Ecole supérieure de commerce de Montpellier蒙波利埃高等商业学校48.ESC PAU: Ecole supérieure de commerce de Pau 波城高等商业学校49.ESC REIMS: Ecole supérieure de commerce de Reims 兰斯高等商业学校50.ESC Rennes: Ecole supérieure de commerce de Rennes 雷恩高等商业学校51.ESC Rouen: Ecole supérieure de commerce de Rouen 鲁昂高等商业学校52.ESC Toulouse: Ecole supérieure de commerce de Toulouse 图卢兹高等商业学校53.ESC Tours/Poitiers (ESCEM): Groupe école supérieure de Commer ce et de Management de Tours-Poitiers 图尔-普瓦提埃高等商业与经济管理学校集团54.ESC Troyes: Ecole supérieure de commerce de Troyes特鲁瓦高等商业学校55.ESCE: Ecole supérieure du commerce extérieur 高等外贸学校56.ESCP-EAP: Ecole supérieure de commerce de Paris-Ecole des Affaire de Paris巴黎高等商业学校57.ESDES Lyon:Ecole supérieure pour le développement économique e t social de Lyon 里昂社会经济发展高级学校58.ESEG: Institut d’économie scientifique et de gestion 科学经济与管理学院(里尔)59.ESG Paris:Ecole supérieure de gestion 高等管理学校60.ESIAME:Ecole supérieure pour l’innovation et l’action vers les métier s de l’entreprise 企业职业创新行动高等学校61.ESPEME Lille-Nice:Ecole supérieure de management de l’entreprise 高等企业管理学校62.ESSCA: Ecole supérieure des sciences commerciales d’Angers 昂热高等商业科学学校63.ESSEC: Ecole supérieure des sciences économiques et commerciales 高等经济与商业科学学校64.ESTA Belfort:Ecole supérieure des technologies des affaires de Belf ort65.GROUPE ESC NORMANDIE(LE HAVRE-CAEN)诺曼底高等商校集团(CESEC 、ESC Le Havre 等校)66.GROUPE ESC SAINT-ETIENNE: Ecole supérieure de commerce de S aint-Etienne圣太田高等商业学校67.HEC: Ecole des hautes études commerciales 高等商业学校68.ICD:Institut international de commerce et de distribution de Paris 巴黎国际商业销售学院69.ICI Negocia:Institut de commerce international 国际商业学院70.ICN:Ecole ICN ICN学校71.ICN-Ecole de Management: 南锡经济管理学校72.IDRAC Lyon:Institut de recherche et d’action com merciale 商业研究与商业行为学院73.IECG:Institut européen de commerce et de gestion de la Rochelle 拉罗舎尔欧洲商业管理学院74.IECS STRASBOUG: Institut européen d’études commerciales supérieur es 斯特拉斯堡欧洲高等商业院75.IESEG Lille:Institut d’économie scientifique et de gestion 科学经济与管理学院76.IFI Rouen:Institut de formation internationale 国际培训学院77.INSEEC: Institut des hautes études économiques et commerciales 高等经济与商业研究学院78.INT Management:Institut national des télécommunications manageme nt国立电信学院管理学校79.IPAG Paris/Nice:Institut de prép aration à l’administration et à la gest ion 行政与管理预备学院80.ISAM:Institut supérieur d’administration et de management81.ISC Paris:Institut supérieur du commerce 高等商业学院82.ISCID:Institut supérieur de commerce international de Dunkerque 敦刻尔克高等国际商业学校83.ISG Paris: Institut supérieur de gestion 高等管理学院84.ISPP Rouen:Institut supérieur de préparations professionnelles de R ouen 鲁昂高等职业预备学院85.ISTEC Paris:Institut supérieur des sciences, techniques et économie commerciales 高等科学技术与经济商业学院86.ISTM CitéDescartes:Institut supérieur de technologie et managemen t 高等技术与管理学院87.Programme MBA (ISA):Institut supérieur des Affaires 高等商业学院私立新闻、设计等其他专业学校1.ESJ:Ecole supérieure de journalisme de Lille里尔高等新闻学校2.DESIGN Nantes:Ecole de design de Nantes-Atlantique南特-大西洋设计学校3.CFJ:Centre de formation des journalistes新闻记者培训中心4.ETSUP:Ecole supérieure de travail social高等社会劳动事务学校5.ESA:Ecole spéciale d’architecture建筑专业学校6.Institut supérieur d’interprétation et de traduction高等翻译学院7.ESRA:Ecole supérieure de réalisation audiovisuelle高等视听制作学校8.IPJ:Institut pratique de journalisme新闻实践学院9.IGAL:Institut géologique Albert de Lapparent阿尔贝·德·拉帕朗地质学院。
中世纪2城市名
Tunis 突尼斯
Tripoli 的黎波里
Arguin 阿尔金
Timbuktu 延巴克图
Nicaea 尼西亚
Smyrna 士麦那
Caesarea 凯撒利亚
Iconium 伊康
Adana 阿达纳
Trebizond 特拉比松
thunder://QUFlZDJrOi8vfGZpbGV8b21lMDU4LmF2aXwxMDMzMjQ2MjEyfDc1RDAyMzRDNEMyMDY2RDU0MDc3NzY3OTA5RDZGMUNCfC9aWg==
thunder://QUFlZDJrOi8vfGZpbGV8b21lMDU1LmF2aXwxMDgyMTc5Nzg0fEQyNzU2NTVFRUU4RkU1Q0ZBMTMzRjM5MTQ4NERERTRBfC9aWg==
thunder://QUFlZDJrOi8vfGZpbGV8dGVrMDI0LmF2aXwxNDQ4NDA2MzUyfEQ1OTdFMTQ2MTY2MDBBOEY5N0JFQTZEMzBDNjM0MTQxfC9aWg==
thunder://QUFlZDJrOi8vfGZpbGV8bGNkdjQwMzgxLmF2aXwxMDg3MjgzNjY4fDk0REMyNjI2OTBFNzYyMUJCOEU0MzVCNkI4RjgyNUEyfC9aWg==
Valencia 瓦伦西亚
Granada 格兰纳达
Caen 卡昂
Bruges 布鲁日
Antwerp 安特卫普
Rennes 雷恩
Angers 昂热
Paris 巴黎
Rheims 兰斯
Bordeaux 波尔多
数学家庞加莱
儒勒·昂利·庞加莱儒勒·昂利·庞加莱(法语:Jules Henri Poincaré,又译作彭加勒、昂利·彭加勒[1],1854年4月29日—1912年7月17日,通常称为昂利·庞加莱,法国最伟大的数学家之一,理论科学家和科学哲学家。
庞加莱被公认是19世纪后和20世纪初的领袖数学家,是继高斯之后对于数学及其应用具有全面知识的最后一个人。
他对数学,数学物理,和天体力学做出了很多创造性的基础性的贡献。
他提出的庞加莱猜想是数学中最著名的问题之一。
在他对三体问题的研究中,庞加莱成了第一个发现混沌确定系统的人并为现代的混沌理论打下了基础。
庞加莱比爱因斯坦的工作更早一步,并起草了一个狭义相对论的简略版。
庞加莱群以他命名。
生平庞加莱生于1854年4月29日在法国南锡的Cité Ducale附近的一个有影响力的家庭(Belliver,1956年)。
其父里昂·庞加莱(1828-1892)是南锡大学的医学教授(Sagaret,1911)。
他的妹妹Aline嫁给了精神哲学家埃米尔·布特鲁。
庞加莱家庭的另一个著名成员是他的堂兄雷蒙·普安卡雷,他在1913年至1920年出任法国总统,与他一样是法兰西学院院士。
教育童年时期,他曾有一段时间受支气管炎折磨,于是接受了他有天赋的母亲Eugénie Launois (1830-1897)的特别教导。
他擅长书面作文。
1862年,庞加莱进入南锡中学。
他在南锡中学待了11年,每门功课都是优秀生。
他的数学老师将他描述为"数学怪兽",他在法国学校的顶级中学生中举行的竞赛开放式竞赛中赢得了几次一等奖。
(他最差的功课是音乐和体育,那些功课上他被称为“最多中等”(O'Connor等人,2002年)。
但是,视力不佳和经常心不在焉可以解释这些困难(Carl,1968年)。
法语菜名
法國菜單名詞–主菜及總稱到法國餐廳點菜不是件簡單的事,加上法國料理相較其他歐美國家來說複雜許多,所以如果不預先作點小功課,常常坐下來看到菜單就傻眼。
即使服務生能說英文願意耐心解釋,但等他們說完一大串,你會發現腦袋還是一片空白,因為有很多法國專有的菜名和材料,他們用英文怎麼也說不清楚。
好吧,好不容易點完菜,卻往往在菜上來後第二度傻眼,然後你必須勉強吞下其實完全不是你想像的菜餚,最後還得心疼的付出不低的價錢,可是卻一點也沒有想像中吃了法國美食的滿足感。
基於自己也曾有這樣的痛苦經驗,我把幾道比較特別且常見的主菜名字還有各種食材的名稱列表,讓你們起碼有點基本概念,點菜時也不至於手足無措。
不過法國菜跟中國菜一樣複雜精緻程度相當高,所以我列出的只是最常見的名詞,無法涵蓋所有菜名和材料,但我想已經足夠應付最基本的狀況了!祝你們用餐愉快!(因為篇幅太長,我們把名詞解釋拆成三部分,這篇是「主菜和總稱」,另外還有「法國菜單名詞解釋-肉類、魚和海鮮」和「法國菜單名詞解釋-蔬菜和香Plat 主菜Blanquette de veau 白醬燉小牛肉把小牛肉加上洋蔥、芹菜、紅蘿蔔再加上奶油、鮮奶油、蛋黃和麵粉一起煨煮到熟爛,湯汁濃稠。
Bœuf bourguignon 勃根地紅酒燉牛肉法國勃根地(Bourgogne)名菜,是用勃根地紅酒加上蒜頭、洋蔥、紅蘿蔔、蘑菇、培根肉和香料束一起熬煮的牛肉。
Bœuf en daube 紅酒燉牛肉「daube」在法文是燜肉、煨肉的意思。
這是一道用牛加紅酒慢慢燉煮的牛肉,還加上洋蔥和番茄一起入味,是法國南部的菜式。
Bouillabaisse 馬賽魚湯來自法國南部普羅旺斯省馬賽漁港的名菜,是用多種不同的魚和蔬菜加上蒜頭、橘子皮、羅勒、月桂葉、茴香和蕃紅花等香料一起熬煮的。
Cassoulet 豆燜肉法國西南方的特色菜,尤其是卡斯泰爾諾達(Castelnaudary)、土魯斯(Toulouse)、和有名的中古世紀老城卡卡頌(Carcassonne)幾個城市,但在巴黎的餐廳普遍都看得到這道菜。
Toulouse Lautrec 劳特雷克1
His family
His father Count Alphonse de ToulouseLautrec (阿方斯德图卢兹 -劳特雷克) was an avid sportsman and hunter, in persuit of flamboyant outfits.
Count Alphonse de Toulouse-Lautrec, the Artist's Father, on Horseback in Circassian Costume. 《正在鹰猎的罗特 列克伯爵 》 Musée Toulouse-Lautrec, Albi,
Le Jeune Routy / The Young Routy. c.
1883. Oil on canvas. 61 x 49 cm. Musée Toulouse-Lautrec, Albi, France.
Lautrec & Other artists
Many immortal painters lived and worked in Paris during the late 19th century. They included Degas (1834-1917), Cézanne, Gauguin, Van Gogh, Seurat, Renoir, and Toulouse-Lautrec.
Portrait. 1880. Musée ToulouseLautrec, Albi, France. (罗特列克 16岁时的自画像)
Early pursuit ofArt
By 1880, he had produced as many as two and a half thousand works, in a variety of techniques. Encouraged by his uncle Charles and by Princeteau, he eventually managed to convince his mother to allow him to return to Paris to study art.
图卢兹ppt
图卢兹太空城
Cité de l‘Espace
太空城位于(se trouver) 图卢兹东部的平原公园, 是法国著名的航空博物馆 与天文主题公园。
太空城作为航空博物馆于 1977 年开 业。现在已经是法国南部一个主要 以教育、娱乐为主的天文主题公园, 是一个集探索、试验和了解宇宙的 好去处,这里有七个不同主题的展 览,游客( touriste )可从多方面对 宇宙有更为广阔的了解。著名的米 尔太空站展示的是一些太空站的情 况,可以从中了解到住在这里的宇 航员 (l’astronaute)们的生活和工作情 况,而园内 53 米高的阿丽亚娜五号 全尺寸火箭模型高高地伫立着,也 是太空城的一大标志。
Rue Ozenne
第二天行程
Le marché Victor Hugo
Musée des Augustins
Pont Neuf
这是图卢兹一条非常有特色的街道,它是在20世纪初才 被联通的,街上有好多 16-20 世纪的建筑艺术优品,一 条街的房屋太养眼。在街尽头处还有一个建于16世纪的 五边形的塔楼,也是典型的图卢兹红房子特色,完全集 中体现了图卢兹的房屋建筑( construction)特色。 “黎明时它是玫瑰色的,正 午时它是淡紫色的,黄昏时 它是红色的” 永不落日的玫瑰色之城 (les couchers de soleil)
图卢兹市政厅 Capitole de Toulouse [kapitɔl] [tulu:z]
市政厅始建于1190年,为这个财富和影响力日益增强的省提 供一个政府所在地。"Capitole"得名于罗马卡比托利欧山。在 20世纪,市政厅前面积达2公顷的卡比托利欧广场(Place du Capitole)经过重新设计。市政厅内部一些地方可以追溯到16 世纪,但目前的立面,有135米长,用粉红色砖建造,新古典 主义建筑风格,是建于1750年,由Guillaume Cammas([gijom]) 设计。八根柱子代表原来的八个区。原来的中世纪建筑中, 只有亨利四世庭院和门幸存了下来。正是在这个庭院,蒙莫 朗西公爵因反对枢机主教黎塞留而身首异处。 地址: Place du Capitole 31000 TOULOUSE 到达方式: 地铁Capitole站 开放时间: 周一至周六8:30-19:00,周日10:00-19:00, 12月25日,1月1日关闭。 门票: 免费
巴黎六大火车站
巴黎六大火车站巴黎有六大火车站,从每个火车站发出去往法国各地和欧洲各处的火车都不尽相同。
每次乘坐火车前,千万记得要对照您的火车票选择去到相应的火车站。
如果巴黎只是您的中转站的话,一般情况下您是需要换火车站乘车的,相对应的火车站都会被标注在您的火车票上。
如下图所示:下面依次给您介绍巴黎的七大火车站,包括出发火车的主要方向和到达火车站的方式。
1. Gare du Nord 巴黎火车北站国际:伦敦,比利时,荷兰,德国(科隆,波恩);国内主要通往法国北部庇卡底地区(Picardie),如加莱(Calais),里尔(Lille)。
另外还通往英国,荷兰,比利时及北欧各国。
开放时间:周一至周日以及法定节假日:04:30--01:00更多信息:/到达方式:1)公共汽车BUS(RATP:Régie Autonome des Transports Parisiens)26、48、65、43、46、42、39、38、350、302、54路公交车。
2)地铁Métro地铁2号线、4号线、5号线至Gare du Nord3)RER:B线、D线、E线2.Gare de Lyon 巴黎里昂火车站国际:意大利,瑞士;国内主要通往法国南部,地中海一带,如马赛(Marseille),尼斯(Nice),里昂(Lyon)。
另外还通往瑞士,意大利,希腊。
到达方式:1)公共汽车BUS(RATP:Régie Autonome des Transports Parisiens)20、24、63、65、87路公交车(Rue de Bercy附近)。
20、29、57、61、65、87、91(Boulevard de Montparnasse 附近)。
2)地铁Métro14号线、1号线3)RER:D线、A线3.Gare de l'Est 巴黎火车东站国际:德国,卢森堡;国内主要通往法国东部,如梅兹(Metz),南希(Nancy)。
迪士尼英语Unit 2 FAMILY
Unit 2 FAMILYI Names:Simba辛巴Marie 玛丽亚Berlioz 柏里欧Toulouse 杜洛斯Pluto 布鲁托II Words:Family家庭,mother母亲,father父亲,baby宝宝.red红色, blue蓝色, green绿色。
rabbit 兔子 bird 鸟 cat 猫 sister 姐妹 brother兄弟happy 高兴 sad 伤心 dog 狗III Text:(A)Good morning, Simba!早上好,辛巴!Dad, Dad, wake up!爸爸,爸爸,快醒来!A family!一个家庭!She's the mother.她是母亲。
He's the father.他是父亲。
He's Simba.他是辛巴。
Who's Simba? He's Simba.谁是辛巴?他是辛巴。
Who's the father? He's the father.谁是父亲?他是父亲。
Who's the mother? She's the mother.谁是母亲?他是母亲。
Mom, Mom! Simba has a mother.妈妈,妈妈!辛巴有个妈妈。
Dad! Dad! Simba has a father.爸爸,爸爸!辛巴有个爸爸。
Simba has a family.辛巴有个家。
A family. A mother. A father. A baby.一个家庭。
一个母亲。
一个父亲。
一个宝宝。
Simba has a mother.辛巴有个母亲。
Simba has a father.辛巴有个父亲。
Simba has a family.辛巴有个家。
One cat, two cats, three cats.一只猫两只猫,三只猫。
She's Marie. Good morning, Marie!她是玛丽亚。
宠物的悲剧:繁殖、饲养短腿猫曼基康就是一种罪恶
宠物的悲剧:繁殖、饲养短腿猫曼基康就是一种罪恶展开全文说到曼基康,很可能没有几个人知道是什么东西,说到“蛋仔”可能也没有太多人了解,但是如果看到下面这张图片,那么估计都能够把它认出来。
网红猫“蛋仔”这个应该全世界最火的网红猫——“蛋仔”eggen。
许多人都见过它的图片,鸳鸯眼、粉嫩的皮肤,萌萌哒的脸庞,最特别是它那非常短的腿。
蛋仔是一只曼基康猫。
其实说曼基康并不准确,因为这是一个没有任何权威机构认可的翻译。
Munchkin,它有许多的译名,蒙奇金、麦肯奇、麦肯齐、芒奇金、麦奇肯等等,当然,曼基康也可以位列其中。
谷歌标准翻译是蒙奇金,而国内的话,已经被商家炒作得开始以“曼基康”来命名了。
尽管如此,但它仍然是没有得到公认的个猫品种——有许多的猫协会都拒绝承认这是一个品种,原因在下文中会有详细解说。
而之所以商家会以“曼基康”来命名,大概率是为了掩饰这一种猫的不健康:身体上的不健康和伦理上的不健康。
•曼基康又可以叫做短腿猫、矮脚猫、柯基猫、腊肠猫。
顾名思义,就可以知道它是一种短腿的猫了,像柯基犬、腊肠犬一样的短腿的猫。
•最早的曼基康猫是属于天然的基因突变。
如果没有人类的干预——定向繁殖的话,由于短腿,行动不利的原因,它们很难生存下去,因此会自然淘汰。
•在历史上,曾经有过几次书面记载的短腿猫的历史,它们的结果最终都是走向了消亡。
在1944年的英国兽医记录中,曾经描述过四代遗传的短脚猫。
但是第二次世界大战期间,便再也找不到这些短脚猫咪的踪影了,不过在1953年,短脚猫再次在苏联的斯大林格勒出现过,但最后也不知道其行踪。
20世纪80年代中期,桑德拉·霍亨德(Sandra Hochenedel)在她的路易斯安那州房屋附近发现了一只怀孕的短腿猫,取名为黑莓(Blackberry)。
而黑莓生下了一胎,其中一半是短腿的猫,而另一半是正常腿型的猫咪。
霍亨德将其中的一只雄性的、短腿的幼猫图卢兹(Toulouse)送给了他的朋友凯伊·弗朗西斯(Kay LaFrance),而凯伊对这种短腿猫的推广起到了推动作用。
海德鲁系统简介
Technal铝制建筑系统在法国图卢兹市(Toulouse)创建,如今已经成为法国,欧洲以及全球建筑市场上铝制建筑系统的领导品牌。
Technal系统产品种类丰富:窗、门、幕墙、商店门面、护拦、阳光屋、室内隔断。
Technal系统坚持理解客户,业内专家和合作伙伴的需求,通过创新、高效经济的铝制建筑系统解决方案满足全球客户从项目承包商到最终用户在内的需求。
Technal系统的业务遍及全球,40多年来,Technal致力于创造美观,舒适、人性化的办公和家居环境,让用户享受到充满阳光舒适生活---是Technal产品多年来取得成功的关键。
严格的质量把关使得Technal系统所有的产品均通过了ISO9001国际质量认证。
经过严格的技术性能检测,如气密性,防风、隔热、保温、隔音、附件的可靠性、组装件及表面颜色稳定性等,Technal产品均达到最严格的性能标准。
高雅的外观、丰富鲜明的表面颜色、人性化的附件设计、体现法国风情的设计特点使Technal系统与众不同:卓越的性能与巧妙的设计相结合,为用户创造更加舒适和安全。
和可靠的生活环境。
Technal团队在整个项目期间为客户提供支持:技术评估和报价、定制设计的修改、测试及合作生产厂家的培训、提供领先的革新方案等。
Technal研发部门致力于为各类建筑-- 古建筑和现代建筑开发新的建筑系统解决方案:温控系统、新型幕墙表面及保护环境与健康的方案等。
Technal铝制建筑系统在法国图卢兹市(Toulouse)创建,如今已经成为法国,欧洲以及全球建筑市场上铝制建筑系统的领导品牌。
Technal系统产品种类丰富:窗、门、幕墙、商店门面、护拦、阳光屋、室内隔断。
Technal系统坚持理解客户,业内专家和合作伙伴的需求,通过创新、高效经济的铝制建筑系统解决方案满足全球客户从项目承包商到最终用户在内的需求。
Technal系统的业务遍及全球,40多年来,Technal致力于创造美观,舒适、人性化的办公和家居环境,让用户享受到充满阳光舒适生活---是Technal产品多年来取得成功的关键。
图鲁斯·劳特雷克与他的海报设计
亨利·德·土鲁斯-劳特累克(Henri de Toulouse-Lautrec)是19世纪末期最有影响力的艺术家之一,明快的色彩计划与类似场景般的描绘与德加有许多相似之处,在形体的勾勒处理上又有着非常鲜明的个性风格,其创作对其后的野兽派、立体派等都有极大的启发作用。
但世所公认他与同时代其他绘画大师最大的区别却是他对于商业性海报设计的热衷与推广,其中许多作品的影响力远远超过他的许多油画艺术品。
本文即是以劳特累克的海报设计创作为核心,阐述并分析其产生、发展、特性及影响力。
1898年7月14日,巴黎国际博览会胜利召开,闻名于世的埃菲尔铁塔也在诸多质疑声中正式竣工,繁荣而辉煌的工业化时代大步来临。
在这个经济飞跃发展的大背景下,巴黎的娱乐文化业也进入了一个全新的时代。
巴黎的蒙马特尔地区很早就是作家、艺术家、学生等最爱光顾的地方,在这里他们可以摆脱市中心很多旧俗的约束,更为自由,所以很快这里就成为音乐厅和娱乐场所林立之地,面对激烈的竞争对外宣传以提高商家声望就变得日益重要。
另一方面,19世纪末期法国政府解除了对于部分商业海报的禁令,这就为当时各种商业性设计提供了繁荣发展的沃土。
谢烈特与穆卡就是那个时代巴黎最有影响力的商业海报设计◇ 李智瑛 Li Zhiying土鲁斯-劳特累克与他的海报设计Henri de Toulouse-Lautrec and His Poster Design在进行庭院铺装景观新建和改造的过程中,对于那些源自于当地的庭院铺装景观元素应采取尊重的态度。
从当地的建筑格局、古老民居、充满历史记忆的街道中吸收和提取重要细节,作为我们景观设计的基本元素,然后转换运用到修葺庭院铺装景观的设计中。
使新庭院景观构建中的旧庭院铺装景观所具有的独特社会经济价值、文化生态价值、情感艺术价值得以再现。
旧的庭院铺装包含了许多传统的、当地自然的人文文化格局和技术,它们的存在会给庭院的设计带来强烈的地域文化特征,从而为庭院景观带来可识别性。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
A Conservative Extension of SynchronousData-flow with State MachinesMarc PouzetLRIMarc.Pouzet@lri.frJourn´e es FAC15–16mars2007ToulouseJoint work with Jean-Louis Cola¸c o,Gr´e goire Hamon and Bruno PaganoA Bit of HistoryArround1984,several groups introduced domain-specific languages toprogram/design control embedded systems.•Lustre(Caspi&Halbwachs,Grenoble):data-flow(block diagram)formalisms with functional(deterministic)semantics;•Signal(Benveniste&Le Guernic,Rennes):data-flow formalisms withrelational(non-deterministic)semantics to model also under-specified systems;•Esterel(Berry&Gonthier,Sophia):hierarchical automata and processalgebra(and SCCSflavor)All these languages were recognised to belong to the same family,sharing the same synchronous model of time.The Synchronous Model of Time•a global logical time scale shared by all the processes;•every event can be tagged according to this global time scale;•parallel processes all agree on the presence/absence of events during those instants;•parallel process do not fight for resources (as opposed to time-sharing concurrency):P ||Q means that P and Q (virtually)run in parallel;•this reconcile parallelism and determinismi7oio1o2o3o4o5o6o7i1i2i3i4i5i6maximal reaction time max n ∈IN (t n −t n −1)≤boundExtension Needs for Synchronous ToolsArround1995,with Paul Caspi,we identified several“language”needs in synchronous tools•modularity(libraries),abstraction mechanisms•how to mix dataflow(e.g.,Lustre)and control-flow(e.g.,Esterel)in a unified way?•language-based approach(vs verification)in order to statically guaranty some properties at compile time:type and clock inference(mandatory in a graphical tool),absence of deadlocks,etc.•links with classical techniques from type theory(e.g.,mathematical proof of programs,certification of a compiler)The origins of Lucid SynchroneWhat are the relationships between:•Kahn Process Networks•Synchronous Data-flow Programming(e.g.,Lustre)•(Lazy)Functional Programming(e.g.,Haskell)•Types and Clocks•State machines and stream functionsWhat can we learn from the relationships between synchronous and functional programming?Lucid SynchroneBuild a laboratory language to investigate those questions •study extensions for SCADE/Lustre•experiment things and write programs!•Version1(1995),Version2(2001),V3(2006)Milestones•Synchronous Kahn Networks[ICFP’96]•Clocks as types[ICFP’96]•Compilation(co-induction vs co-iteration)[CMCS’98]•Clock calculus`a la ML[Emsoft’03]•Causality analysis[ESOP’01]•Initialization analysis[SLAP’03,STTT’04]•Higher-order and typing[Emsoft’04]•Mixing data-flow and state machines[EMSOFT’05,EMSOFT’06]]•N-Synchronous Kahn Networks[EMSOFT’05,POPL’06]Some examples(V3)•int denotes the type of integer streams,•1denotes the(infinite)constant stream of1,•usual primitives apply point-wisec t f t...x x0x1x2...y y0y1y2...if c then x else y x0y1x2...Combinatorial functionsExample:1-bit adderlet xor x y=(x¬(y))or(not x&y)let full_add(a,b,c)=(s,co)wheres=(a xor b)xor cand co=(a&b)or(b&c)or(a&c)The compiler automatically infer the type and clock signature.val full_add:bool*bool*bool->bool*boolval full_add::’a*’a*’a->’a*’aFull Adder (hierarchical)Compose two “half adder”let half_add(a,b)=(s,co)wheres =a xor b and co =a &b bscoa Instantiate it twicelet full_add(a,b,c)=(s,co)where(s1,c1)=half_add(a,b)and (s,c2)=half_add(c,s1)and co =c1or c2c1a bs1c ss2coTemporal operators Operators fby,->,pre•fby:unit initialized delay•->:stream initialization operator•pre:non initialized delay(register)x x0x1x2...y y0y1y2...x fby y x0y0y1...pre x nil x0x1...x->y x0y1y2...Sequential functions•Functions may depend on the past(the system has a state)•Example:edge front detectorlet node edge x=x->not(pre x)&xval edge:bool=>boolval edge::’a->’ax t f t t t f...edge x t f t f f f...In the V3,we distinguish combinatorial functions(->)from sequential ones(=>)Polymorphism(code reuse)let node delay x=x->pre xval delay:’a=>’aval delay::’a->’alet node edge x=false->x<>pre xval edge:’a=>’aval edge::’a->’aIn Lustre,polymorphism is limited to a set of predefined operators(e.g, if/then/else,when)and do not pass abstraction barriers.Other features:higher-order,data-types,etc.Question:How to mix data-flow and control-flow in an arbitrary way?Designing Mixed SystemsData dominated Systems:continuous and sampled systems,block-diagram formalisms→Simulation tools:Simulink,etc.→Programming languages:SCADE/Lustre,Signal,etc.Control dominated systems:transition systems,event-driven systems,Finite State Machine formalisms→StateFlow,StateCharts→SyncCharts,Argos,Esterel,etc.What about mixed systems?•most system are a mix of the two kinds:systems have“modes”•each mode is a big control law,naturally described as data-flow equations •a control part switching these modes and naturally described by a FSMExtending SCADE/Lustre with State MachinesSCADE/Lustre:•data-flow style with synchronous semantics•certified code generatorMotivations•activation conditions between several“modes”•arbitrary nesting of automata and equations•well integrated,inside the same language(tool)•in a uniform formalism(code certification,code quality,readability)•be conservative:accept all Scade/Lustre and keep the semantics of the kernel •which can be formely certified(to meet avionic constraints)•efficient code,keep(if possible)the existing certified code generatorFirst approach:linking mechanisms•two(or more)specific languages:one for data-flow and one for control-flow •“linking”mechanism.A sequential system is more or less represented as a pair:–a transition function f:S×I→O×S–an initial memory M0:S•agree on a common representation and add some glue code•this is provided in most academic and industrial tools•PtolemyII,Simulink+StateFlow,Lustre+Esterel Studio SSM,etc.An example:the Cruise Control(SCADE V5.1)Observations•automata can only appear at the leaves of the data-flow model:we need afiner integration•forces the programmer to make decisions at the very beginning of the design (what is the good methodology?)•the control structure is not explicit and hidden in boolean values:nothing indicate that modes are exclusive•code certification?•efficiency/simplicity of the code?•how to exploit this information for program analysis and verification tools?Can we provide afiner integration of both styles inside a uniquelanguage?Extending Synchronous Data-flow with Automata[EMSOFT05]Basis•Mode-Automata by Maraninchi&R´e mond[ESOP98,SCP03]•SignalGTI(Rutten[EuroMicro95]and Lucid Synchrone V2(Hamon&Pouzet [PPDP00])Proposal•extend a basic clocked calculus with automata constructions•base it on a translation semantics into well clocked programs;gives both the semantics and the compilation methodTwo implementations•Lucid Synchrone language and compiler•ReLuC compiler of SCADE at Esterel-Technologies;the basis of SCADE V6 (released in summer2007)Semantic principles•only one set of equations is executed during a reaction•two kinds of transitions:Weak delayed(“until”)or Strong(“unless”)•both can be“by history”(H*in UML)or not(if not,both the SSM and the data-flow in the target state are reseted•at most one strong transition followed by a weak transition can befired during a reaction•at every instant:–what is the current active state?–execute the corresponding set of equations–what is the next state?•forbids arbitrary long state traversal,simplifies program analysis,better generated codeTranslation semantics into well-clocked programs•use clocks to give a precise semantics:we know how to compile clockeddata-flow programs efficiently•give a translation semantics into the basic clocked data-flow language;•clocks are fundamental here:classical one-hot(clock-less)coding(as done for circuits)does not allow to generate good sequential code afterwards•type and clock preserving source-to-source transformation–T:ClockedBasicCalculus+Automata→ClockedBasicCalculus–H e:ty iffH T(e):ty–H e:cl iffH T(e):clA clocked data-flow basic calculus Expressions:e::=C|x|e fby e|(e,e)|x(e)|x(e)every e|e when C(e)|merge e(C→e)...(C→e) Equations:D::=D and D|x=eEnumerated types:td::=type t|type t=C1+...+C n|td;td Basics:•synchronous data-flow semantics,type system,clock calculus,etc.•efficient compilation into sequential imperative codeN-ary Mergemerge combines two complementaryflows(flows on complementary clocks)to produce a faster one:introduced in Lucid Synchrone V1(1996),input language of ReLuCExample:merge c(a when c)(b whenot c)Generalization:•can be generalized to n inputs with a specific extension of clocks withenumerated types•the sampling e when c is now written e when True(c)•the semantics extends naturally and we know how to compile it efficiently •thus,a good basic for compilationReseting a behavior•in Scade/Lustre,the“reset”behavior of an operator must be explicitly designed with a specific reset inputlet node count()=s whererec s=0->pre s+1let node resetable_counter r=s whererec s=if r then0else0->pre s+1•painful to apply on large model•propose a primitive that applies on node instance and allow to reset any node (no specific design condition)Modularity and resetSpecific notation in the basic calculus:x(e)every c•all the node instances used in the definition of node x are reseted when the boolean c is true•the reset is“asynchronous”:no clock constraint between the condition c and the clock of the node instanceis-it a primitive construct?yes and no•modular translation of the basic language with reset into the basic language without reset[PPDP00]•essentially a translation of the initialization operator->•e1->e2becomes if true->c then e1else e2•very demanding to the code generator whereas it is trivial to compile!•useful translation for verification tools,basic for compilation•thus,a good basic for compilationAutomata extension•Scade/Lustre implicit parallelism of data-flow diagrams•automata can be composed in parallel with these diagrams•hierarchy:a state can contain a parallel composition of automata and data-flow •each hierarchy level introduces a new lexical scope for variablesAn example:the Franc/Euro converterin concrete(Lucid Synchrone)syntax:let node converter v c=(euro,fr)whereautomatonFranc->do fr=v and eur=v/6.55957until c then Euro|Euro->do fr=v*6.55957and eu=vuntil c then FrancendRemark:fr and eur are sharedflow but with only one definition at a timeStrong vs Weak pre-emptionTwo types of transitions can be consideredlet node converter v c=(euro,fr)whereautomatonFranc->do fr=v and eur=v/6.55957unless c then Euro|Euro->do fr=v*6.55957and eu=vunless c then Francend•until means that the escape condition is executed after the body has been executed•unless means that the escape condition is executed before and determines the active state of the reactionEquations and Expressions in States•every state defines the current value of a sharedflow•aflow must be defined only once per cycle•the Lustre“pre”is local to its upper state(pre e gives the previous value of e, the last time e was alive)•the substitution principle of Lustre is still true at a given hierarchy⇒data-flow diagrams make sense!•the notation last x gives access to the latest value of x in its scope(Mode Automata in the Maraninchi&R´e mond sense)•an absent definition for a sharedflow x is implicitly complemented(i.e.,x=last x)Mode Automata,a simple examplex = 0 1 2 3 4 5 4 3 2 1 0 −1 −2 −3 −4 −5 −4 −3 −2 −1 0 ...let node two_modes()=x whererec automatonUp->do x=0->last x+1until x=5continue Down|Down->do x=last x-1until x=-5continue UpendRemark:replacing until by unless would lead to a causality error!The Cruise Control with Scade6The extended languagee::=···|last xD::=D and D|x=e|match e with C→D...C→D|reset D every e|automaton S→u s...S→u s u::=let D in u|do D ws::=unless e then S s|unless e continue S s| w::=until e then S w|until e continue S w|Translation semantics•several steps in the compiler,each of them eliminating one new construction •must be preserve type(in the general sense)Several steps•compilation of the automaton construction into the control structures(match/with)•compilation of the reset construction between equations into the basic reset •elimination of shared memory last xTranslationT(reset D every e)=let x=T(e)in CReset x T(D)where x∈fv(D)∪fv(e)T(match e with C1→D1...C n→D n)=CMatch(T(e))(C1→(T(D1),Def(D1)))...(C n→(T(D n),Def(D n))) T(automaton S1→u1s1...S n→u n s n)=CAutomaton(S1→(T S1(u1),T S1(s1)))...(S n→(T Sn (u n),T Sn(s n)))Static analysis•they should mimic what the translation does•well typed source programs must be translated into well typed basic programs Typing:easy•check unicity of definition(SSA form)•can we write last x for any variable?•No(in Lucid Synchrone):only shared variables can be accessed through a last •otherwise,possible confusion with the regular preClock calculus:easy under the following conditions•free variables inside a state are all on the same clock•the same for shared variables•corresponds exactly to the translation semantics into mergeInitialization analysisMore subtle:must take into account the semantics of automatalet node two x=o whereautomatonS1->do o=0->last o+1until x continue S2|S2->do o=last o-1until x continue S1endo is clearly well defined.This information is hidden in the translated program.let node two x=o whereo=merge s(S1->0->(pre o)when S1(s)+1)(S2->(pre o)when S2(s)-1)andns=merge s(S1->if x when S1(s)then S2else S1)(S2->if x when S2(s)then S1else S2)andclock s=S1->pre nsThis program is not well initialized:let node two x=o whereautomatonS1->do o=0->last o+1unless x continue S2|S2->do o=last o-1until x continue S1end•we can make a local reasoning•because at most two transitions arefired during a reaction(strong to weak)•compute shared variables which are necessarily defined during the initialreaction•intersection of variables defined in the initial state and variables defined in the successors by a strong transition•implemented in Lucid Synchrone(soon in ReLuC)New questions and extensionsA more direct semantics•the translation semantics is good for compilation but...•can we define a more“direct”semantics which expresses how the program reacts?•we introduce a logical reaction semanticsFurther extensions•can we go further in closing the gap between synchronous data-flow andimperative formalisms?•Parameterized State Machines:this provides a way to pass localinformation between two states without interfering with the rest of the code•Valued Signals:these are events tagged with values as found in Esterel and provide an alternative to regularflows when programming control-dominated systemsParameterized State Machines•it is often necessary to communicate values between two states upon taking a transition•e.g.,a setup state communicate initialization values to a run statecond/x<−...•can we provide a safe mechanism to communicate values between two states?•without interfering with the rest of the automaton,i.e.,•without relying on global shared variables(and imperative modifications)in states nor transitions?Parameterized states:•states can be Parameterized by initial values which can be used in turn in the target automaton•preserves all the properties of the basic automataA typical exampleseveral modes of normal execution and a failure mode which needs some contextual informationlet node controller in1in2=out whereautomaton|State1->do out=f(in1,in2)until(out>10)then State2until(in2=0)then Fail_safe(1,0)|State2->let rec x=0->(pre x)+1indo out=g(in1,x)until(out>1000)then Fail_safe(2,x)|Fail_safe(error_code,resume_after)->let recresume=resume_after->(pre resume)-1indo out=if(error_code=1)then0else1000until(resume<=0)then State2endParameterized states vs global modifications on transitionsIs all that useful?•expressiveness?every parameterized state machine can be programmed with regular state machines using global sharedflows•efficiency?depends on the program and code-generator(though parameters only need local memory and are not all alive at the same time)But this is bad!•who is still using global shared variables to pass parameters to a function in a general-purpose language?•passing this information through shared memory would mean having global shared variables to hold it•they would receive meaningless values during normal execution and be set on the transition itself•this breaks locality,modularity principles and is error-prone•making sure that all such variables are set correctly before being use is not trivialParameterized states•we want the language to provides a safer way to pass local information•complementary to global shared variables and do not replace them•keep the communication between two states local without interfering with the rest of the automaton•do not raise initialization problems•reminiscent to continuation passing style(in functional programming)•yet,we provide the same compilation techniques(and properties)as in the case of unparameterized state machines(initialization analysis,causality,type and clocks)Example(encoding Mealy machines)•reduces the need to have equations on transitions•adding equations on transitions is feasible but make the model awfully complicatedautomaton...|S(v)->do o=v unless c1then T1(o1)...unless cn then Tn(on)...endValued Signals and Signal Pattern Matching•in a control structure(e.g.,automaton),every sharedflow must have a value at every instant•if an equation for x is missing,it keeps implicitly its last value(i.e.,x=last x is added)•how to talk about absent value?If x is not produced,we want it to be absent•in imperative formalisms(e.g.,Esterel),an event is present if it is explicitly emitted and considered absent otherwise•can we provide a simple way to achieve the same in the context of data-flow programming?An examplelet node vend drink cost v=(o1,o2)wherematch v>=cost withtrue->do emit o1=drinkand o2=v-costdone|false->do o2=v doneend•o2is a regularflow which has a value in every branch•o1is only emitted when(v>=cost)and is supposed to be absent otherwiseAccessing the value of a valued signal•the value of a signal is the one which is emitted during the reaction•what is the value in case where no value is emitted?•Esterel:keeps the last computed value(i.e.,implicitly complement the value with a register)emit S(?A+1)this is unsafe and raises initialization problems:what is the value if it has never been emitted?•need extra methodology development rules to guard every access by a test for presencepresent A then...emit S(?A+1)...provide a programming construct which forbid the access to a signal which is not emittedSignal pattern matching•a pattern-matching construct testing the presence of valued signals and accessing their content•a block structure and only present value can be accessedlet node sum x y=o wherepresent|x(v)&y(w)->do emit o=v+w done|x(v1)->do emit o=v1done|y(v2)->do emit o=v2done|_->do doneendSignals as existential clock typeslet node sum x y=o wherepresent|x(v)&y(w)->do emit o=v+w done|x(v1)->do emit o=v1done|y(v2)->do emit o=v2done|_->do doneend•o is partially defined and should have clock ck on(?x∧?y)∨?x∨?y if x and y are themselves on clock ck•giving it the existential typeΣ(c:ck).ck on c,that is,“exists c on clock ck such that the result is on clock ck on c is a correct abstractionClock type of a signal:a dependent pair ck sig=Σ(c:ck).ck on c made of:•a boolean sequence c which is itself on clock type ck•a sequence sampled on c,that is,with clock type ck on cTheflow is boxed with its presence information•this is a restriction compared to what can provide a synchronous data-flow language equipped with a powerful clock calculus•but this is the way Esterel valued signal are implemented•reminiscent to the constraints in Lustre to return the clock of a sampled streamClock verification(and inference)only need modest techniques•box/unbox mechanisms of a Milner type system+extension by Laufer& Odersky for abstract data-typesH e:ck on cH emit x=e:[x:ck sig]Translation Semantics•parameterized state machines and signals can be combined in an arbitrary way •a translation semantics of the extension into a basic languageExamplelet node sum(a,b,r)=o whereautomaton|Await->do unless a(x)&b(y)then Emit(x+y)|Emit(v)->do emit o=v unless r then Await。