关于Fuzzy测度与Fuzzy积分的若干定理

研究了Fuzzy集合上的Fuzzy测度与积分理论,给出了两种条件下Fuzzy测度分解定理、Funy积分若干极限定理和Fuzzy积分表现定理。     

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

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

集装箱生成量可拓聚类预测

分析了集装箱生成量可拓聚类预测的建模机制，构建出可拓聚类预测的物元模型，并用该模型对集装箱生成量进行了区间预测。     

几种常见形式的等效阶梯截面

针对许多平面杆系桥梁分析软件仅提供梯形分块法的截面尺寸输入方式和截面几何特性已知或者有解析表达式的带有曲边的截面不便直接使用梯形分块法的问题，利用桥梁结构平面计算中截面等效的概念．提出了等效算法，构造了节线数不多于6的等效阶梯截面，推导了等效阶梯截面几何要素的一般计算公式．给出了圆形、圆环等几种常用截面形式的不多于6条节线等效阶梯截面尺寸计算的具体而又简捷的公式。     

船舶管系计算机辅助设计

介绍了船舶管系CAD的总体思路及方法，并以燃油管系为例，说明该软件的实现方法和关键技术解决途径。     

船舶装运危险货物的安全管理

本文通过对危险货物以及船舶安全管理的论述,指出船舶安全管理应该加强的几个方面,同时针对危险货物,尤其是固体散装危险货物,分别讨论其在安全管理方面应具体采取的措施.     

一宗货物赔偿案例评析

达成共识的事实及观点陈述 2004年10月31日，一家土耳其公司Ekinciler Dis TicaretAS的2626捆，重达5244．42868吨的热卷曲可变型加固铁条在土耳其Iskenderun港被装载于Ebn AlWaleed轮上，欲运抵加拿大Sorel港，并在那里交付、卸载货物。