PERTS——一个实时系统的原型建造环境的设计与实现

本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。     

弯道环流与沿河路基冲刷试验研究

对河弯水流形态和弯道环流的形成，发展规律以及弯道中泥沙运动特性进行了分析和试验观测，建立了沿河弯凹岸路基的最大冲刷深度计算公式，为沿河路基护坡和挡土墙的基础埋置深度进供了可靠依据。     

量子信息论与量子计算中的一类数学问题

利用组合计数理论、数列和级数知识，采用构造证明的方法研究了量子计数问题，解决了量子理论中的一些计数问题，证明了几个量子计算中的等式。这些结果即将在其他学科中得到广泛的应用。     

狗左右心室和肺循环功能的同步测定与评价

本文介绍了狗左、右心室和肺循环功能的同步测定方法,并同时观察了左、右心室收缩、舒张性能、泵功能和肺循环功能的多项指标。在实验条件下,动物的生理状况在3小时内基本稳定。     

护岸设计原则和类型综述

从美观和造型上,以构建优美的河川景观为出发点,综述了护岸的设计原则。为了加快推广应用护岸工程技术的步伐,本文就护岸类型方面进行了综述,主要评析了各种护岸工程的特点和优缺点以及适用范围等。     

日本智能交通系统的发展

本文主要介绍日本ITS（智能交通系统）研究开发的近况及发展趋势。     

客运专线一跨式运架设备技术和施工工艺研究

本文根据客运专线箱梁运输和架设的施工特点，结合可能存在的不同工况，着重叙述了一跨式运架设备的技术性能和施工工艺，以及它在适用性、安全性、稳定性、经济性等方面取得的突出进展，为客运专线的施工建设提供技术储备。     

上海中心城区道路与铁路道口立交规划方案研究

从铁路道口对安全及其城市交通拥挤的影响等角度，对照国内外城市道路与铁路立交设置方面的基本经验，对上海中心城区道路与铁路立交的设置标准进行了探讨。并结合上海市中心城区铁路平交道口列车通过数量和道路交通量的现场调查结果，研究提出了上海市中心城区道路与铁路立交布局规划框架方案与实话优先等级的建议。     

公路改善工程桥涵改造方案的技术分析

本文通过对公路改善工程中桥涵改造方案的技术经济分析，提出了处于不同使用状况下桥涵改造的几种方案，并提出了相应的适用范围，计算理论和主要施工注意事项等。     

讲座(六) 国际货运服务经营者责任限制问题

1探讨我国国际货运服务经营者责任限制问题的必要性国际货运服务经营者的责任限制问题比较复杂,在不同情况下,可能有责任限制,也可能无责任限制;在有责任限制的情况下,其依据可能是国内法律,也可能是国际公约。讨论此问题时需要考虑三个因素:第一,国际货运服务经营者是以代理人身份还是当事人身份提供服务;第二,无论是作为代理人还是当事人,还需要考虑具体的业务性质以及所依据的公约、法律、法规;第三,国际货运服务合同是如何约定的,包括被并入合同的标准交易条件的规定。比如国际货运服务经营者作为当事人提供国际海上运输、国际航空运输…