行走银幕间

看了电影《罗马假日》，谁不想去罗马做一次浪漫的旅行々看过《新娘百分百》之后，谁又不想到诺丁山体验一番？电影中的景色总是那么地令人难忘，让我们随着主人公的脚步，来一次银幕之旅。     

古代希腊罗马哲学和东西方文明的融汇

西欧古典文明和当时的东方(近东与北非)文明有重要差异,希腊罗马文明的特征为希腊罗马哲学发挥文化创造力提供了较大的自由空间;各种东方文明和西欧古典文明的和谐交往,对希腊古典哲学、希腊化与罗马哲学的形成与发展,都有很重要的影响。吸取东方文明的成果,是希腊罗马哲学产生与演进的重要因素。世界不同文明的冲突总是暂时的,而不同文明的和平交往与和谐融汇才是人类进步的主流,是文化发展的重要动力。     

论布匿战争爆发的原因

罗马共和国基本统一意大利半岛后 ,力图称霸地中海世界 ,因此 ,罗马和地中海世界另一强大霸国迦太基的冲突已不可避免 ,公元前 2 6 4年布匿战争爆发。这场战争对当时的地中海世界格局及未来欧洲历史的走向都产生了重大及深远的影响。本文分别从罗马和迦太基两方面论述这场战争爆发的原因 ,从而加深对布匿战争的认识和理解。     

远动规约的软件实现

远动是变电站综合自动化系统的重要组成部分，用于实现调度中心（如县调自动化系统）对远方变电所四遥（遥测、遥信、遥控与遥调）和信息交换，对电网调度自动化、尤其是配电网自动化的实施具有重要的意义。远动规约是进行远动通讯时，收发双方数据传达的格式。传统的规约实现方法是采用硬件实现（即布线逻辑），成本较高，适应性差，不利于扩展。中介绍了一种上位机软件实现远动规约的方法，取代了常规的RTU装置及相关昂贵的电量变送器，将本地监控与远动相结合，大大降低了成本，提高了系统的灵活性，可扩展性。     

内含定理证明器的程序开发系统

提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明,是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期．     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

医学——从神殿步入科学（续）

罗马的名医们 当时的罗马在医学方面没有建立固有的体系,罗马人中虽然也有一些发展了传统医术的名医,但却远不及具有希波克拉底传统的希腊医学,不过是希腊医学的殖民地。古代罗马人的医学是魔法医学和宗教医学的混合体。发烧时向神祈祷;孕妇要向神上供;辟邪消灾的护身符也很流行。罗马人民族意识很强,排斥外国医师。一些作为奴隶或俘虏的希腊人医生在罗马的地位十分卑微。     

浅谈希腊罗马神话对英美大众文化的影响

本文从英美新闻报道、商标广告、文体活动等几个方面阐述了希腊罗马神话对英美大众文化的影响,说明了英美文化中处处存在着希腊罗马神话的痕迹。文章认为,在国际交流日益频繁的今天,了解希腊罗马神话及其携带的文化因素,对于跨文化交际有一定的现实意义。     

罗马-教会法民事诉讼程序的特征及其历史地位

罗马-教会法民事诉讼程序在诉讼程序法中被称为“欧陆诉讼程序之母”,具有重要的历史地位。它缔造了现代民事诉讼程序的雏形,是诉讼程序理性化的开端。罗马-教会法民事诉讼程序以书面程序为原则、采行间接审理模式、严格的形式证据制度、诉讼程序断续迟延、发明了简易程序,形成正式-简易二元程序结构。它是英国衡平法诉讼程序及海事诉讼程序的渊源,还促进欧陆诉讼程序的统一和诉讼法学的形成。     

论业主共有权的保护

建筑物区分所有权是一种较为特殊的不动产所有权形态,是对一栋楼房中专有部分的专有权、对共用部分的共有权以及因共有关系而产生的管理权的集合。由于我国现行法律上的不完善,还没有切实地规定对侵犯建筑物区分所有权特别是侵犯共有权的法律救济途径,因此,业主的共有权不可避免地得不到保障。本文以区分所有物业小区中共有权的侵害为视角,以期获得有效对策更全面地保护共有权。