维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

光学发展与社会进步

 人从降生开始，光就伴随其一生。宇宙的发展也跟光的发展紧密联系在一起。光学的发展过程是人类认识客观世界进程中的一个重要组成部分，是不断揭露矛盾和解决矛盾，逐渐从不确切认知走向确切认知的过程。光学确实是无处不在的，太阳能的利用，蓝光的发光，激光的焊接和切割，电影的放映，光纤通信，光合作用，X光的应用和显微镜的应用等等。光学仪器已在人们日常生活中起着无可替代的作用。列举一个最熟悉的例子，我们每天都在使用的手机就使用了三十多项光学的技术：光学玻璃、激光切割光滑的玻璃表面、激光打标、OLED和液晶显示、挡光版、背光照明、实现彩色的偏振片和滤光片、增加清晰度的增透膜、照相的镜头、成像的CCD、芯片的制造、光刻技术的应用、通过光纤进行信息的传输、蓝牙无线红外通信、光纤传感和投影等。今天，我们将从光的过去、现在和未来几个方面来探讨光对我们的生活所起到的至关重要的影响。     

斥力使原子结合

为使两个物体结合在一起，通常需要两者互相吸引，奥地利Innsbruck大学的Denschlag等人的研究表明这并不总是必须的，物体间即使存在着斥力仍可结合在一起。这是违反直觉的，因为自由空间中不存在相互排斥的结合在一起的一对物体：如果将相互排斥的物体放在一起，它们将彼此分离而去。     

艾泽尔斯贝格（Eiselsberg，Anton，Freiherr von baron of,1860-1939）奥地利医学家（Hakeem，Austria）

艾泽尔斯贝格对甲状腺及中枢神经系统外科进行了重要的研究工作。曾在维也纳师从比尔罗特并成为其助手，1884年在维也纳获医学博士学位。1890年描述了甲状腺手术后经常出现的“破伤风感染”。两年后用切除甲状旁腺的方法实验性地引起肌强直症状。后又研究甲状腺肿瘤，对脑下垂体外科亦作出贡献。在维也纳任教授时有奥地利神经外科泰斗之称。是现代胃肠外科的创始人之一。首先在欧洲切除脊柱肿瘤，创立了脑外科，又研究过链球菌感染。     

不同的表达，相同的信息

Katrin舍费尔和恽瑛也许永远不会相迂。但如果这位在奥地利维也纳大学的48岁的生物人类学家，和在中国、南京、东南大学的82岁的物理教育家，偶然一次全球本科教育的STEM（科学；技术，工程和数学）会议上相遇，他们会认识彼此且志同道合。[第一段]     

盖尔曼（Gell-Mann,Murray，1929-）美国物理学家（Physicist，America）

盖尔曼是奥地利移民的儿子，15岁进入大学，后获博士学位。1952年入芝加哥大学，在费米指导下工作。不到27岁成为正教授。他投身于亚原子世界。在发现中子之后，出现了是什么力量把质子和中子束缚在一起的问题。汤川秀澍用介子理论解决了这个问题，可是被发现的介子又太多了。鲍威尔P22的π介子可以解释汤川秀树的预言，那么安德森M·的μ介子仍然是个谜。     

古尔斯特兰德（Gullstrand，Allvar，1862-1930）瑞典医学家（Hakeem，Sweden）

古尔斯特兰德出身于医生家庭。他在乌普萨拉、维也纳和斯德哥尔摩学医，1888年获得行医执照。古尔斯特兰德是位眼科医师，他详尽地研究了眼的生理学，取得的成就远胜于赫姆霍兹。例如，他对散光的研究使矫正视力更为有效。他为因白内障而取出晶状体的人设计了镜片以改善病人的视力。他还设计了为眼内异物定位的装置。由于他在眼科方面的成绩，古尔斯特兰德获得了1911年诺贝尔生理学和医学奖。     

赫斯（Hess，Victor Francis，1883-1964）奥地利-美国物理学家（Physicist，Austria-America）

赫斯是森林护林员的儿子，1906年在格拉茨大学获得博士学位。从1911年起，有一些科学家开始把气球放到6英里（约9．7km）的高空，去探测高空中的背景辐射。赫斯也进行了这项工作。赫斯惊奇地发现，在高达6英里的高空中，背景辐射的强度是地面辐射强度的8倍。虽然别人也观测到过这种现象，但赫斯是第一个正视了这种结果。米立肯把这种辐射取名为“宇宙射线”。宇宙射线是非常重要的。     

瓦格纳-姚雷格（Wagncy von Jauregg，Julius，1857-1940）,奥地利医学家（Hakeem，Austria）

瓦格纳-姚雷格为公务员之子，于维也纳大学学医，求学时结识了弗洛伊德，并和他建立了终生友谊。瓦格纳-姚雷格从事精神病学是有些偶然的，他于1887年接替克拉夫特一埃宾成为格拉茨大学精神病学教授。他得到最为人熟悉的荣誉，是他发现了晚期梅毒患者有时在发生伴有高热的疾病时会有所好转。高热似乎破坏了引起梅毒的病菌。     

一名实验物理教师的遗传学传奇

今天捷克的布尔诺(Brno)就是昔日奥地利的布隆(Brunn),1965年8月7日捷克科学院特意在这里的大教堂内组织了一场特殊的大弥撒,隆重纪念修道士格雷戈尔·孟德尔的论文<植物杂交的试验>发表l00周年.