简介:
简介:统一建模语言(UML)是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
简介:细颗粒泥沙在盐水中的絮凝沉降是河流泥沙向海输送过程中在河口区发生的重要现象之一。文章根据室内环形水槽实验对南汇边滩泥沙由盐度和含沙量这两种因素在不同的流速条件下的沉降特性进行了研究。该实验结果对该区域实施围垦工程有实际意义。
海上乳动仓库的钥匙
基于B方法的UML类图形式化研究
南汇边滩细颗粒泥沙动水沉降的实验研究
大涌潮动拍港口:一月份我国港口吞吐量述评