简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
简介：利用抛物线坐标系的定义以及平面上的抛物线方程和抛物线参数方程，对有限长抛物线电流通过磁矢势的计算、磁矢势的旋度计算，来得出该有限长抛物线电流在对称轴上的磁感应强度的理论值，再运用软件MATLAB画出该对称轴上不同位置磁场的具体值的变化图像来直观认识，从而全面了解有限长抛物线电流在对称轴上的磁场分布特点.
基于B方法的UML类图形式化研究
有限长抛物线电流对称轴上磁场分布的研究
