漢德百科全書 | 汉德百科全书
教育和研究
企业
Beijing Electron Positron Collider,BEPC
北京正负电子对撞机(BEPC)是我国第一台高能加速器，1988年建成，在粲物理领域取得许多重要成果。为了发展我国在该研究领域的国际领先优势，提出并实施了北京正负电子对撞机重大改造工程(BEPCⅡ)。其主要建设内容是在现有的隧道内新建双环对撞机。这是国际上在世纪之交出现的最先进的对撞机。BEPC隧道周长和对撞区长度分别不到国际上成功的正负电子双环对撞机的1/8和1/3，且截面小，对加速器和探测器的设计和建造都提出严峻挑战。BEPCⅡ最高设计亮度为1×1033cm-2s-1，是BEPC的100倍。建设内容还包括新建北京谱仪BESⅢ以及改造注入器等。 BEPCⅡ于2004年初动工，2008年按指标、按计划、按预算、高质量地建成，2009年通过国家验收。它发展了数十项关键技术，授权发明专利14项，出版专著两本，在加速器和探测器等领域实现重大创新和跨越发展，有力地推动了国内相关高技术和企业的发展。
Theorie der Programmiersprachen/Programming language theory
Die Programmiersprachentheorie (PLT) ist ein Teilgebiet der Informatik, das sich mit dem Entwurf, der Implementierung, der Analyse, der Charakterisierung und der Klassifizierung von formalen Sprachen, den sogenannten Programmiersprachen, befasst. Die Programmiersprachentheorie ist eng mit anderen Bereichen wie Mathematik, Softwaretechnik und Linguistik verbunden. Es gibt eine Reihe von akademischen Konferenzen und Fachzeitschriften in diesem Bereich.
信息时代
