简介：TheproblemofshiphullplateprocessingsurfacefairingwithconstraintsbasedonB-splineissolvedinthispaper.ThealgorithmforB-splinecurvefairingwithconstraintsisoneofthemostcommonmethodsinplanecurvefairing.Thealgorithmcanbeappliedtoglobalandlocalcurvefairing.Itcanconstraintheperturbationrangeofthecontrolpointsandtheshapevariationofthecurve,andgetabetterfairingresultinplanecurves.Inthispaper,anewfairingalgorithmwithconstraintsforcurvesandsurfacesinspaceispresented.Thenthismethodisappliedtotheexperimentsofshiphullplateprocessingsurface.Finallynumericalresultsareobtainedtoshowtheefficiencyofthismethod.

简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。

简介：SomeconstructcharacteristicsandcomposingmaterialofthenewGyro'srotorareintroduced.Somefactorsresultingindeformationoftherotorsurfaceareanalyzed.Underdifferentloadssuchastheforceofdeflectingcenter,thechangeoftemperature,theforceofpressureandcouplefactors,thedeformationofrotorisanalyzedwiththewaveletfiniteelementsimulationsoftware.Thevectordistributingmapofrotorreformationisgiven.Thedeformationresultingfromthepressureforceofphotonisstudied.Finally,theinfluenceonGyro'sperformancebecauseofanomaloussurfaceofrotorduetodeformationofrotorisresearchedandtheresultisusefultoforecasttheperformanceofthedriftofgyroscope.Thedisturbingmomentresultingfromthedeformationofrotorcanbecompensatedusingthemathematicmethod,andprovidesanimportantreferenceforbothdesignandoptimizationoftherotor.

简介：当一个模板代理人和丁基tetra泰坦作为一位先锋吃了，有孔的TiO_2材料的一种类型用cetyltrimethylammonium溴化物被准备。通过学习thephotocatalytic玫瑰精B相片的运动活动有一个UV-1601PCultraviolet-visible分光光度计的催化降级反应，催化降级玫瑰精B处理的相片被发现不完全对应于一阶的运动过程。根据反应现象，催化降级与有孔的TiO_2玫瑰精B处理的相片包含了二不可逆的反应。运动模型用试验性的数据被测试。

简介：MANB&W6S50MC-CMK7型主机在试航中耐久试验时发现主机排气系统背压有超标现象,通过对排气系统组成分析及有关废气参数和排气系统中的各管段的摩擦系数等计算,进一步分析了工况调整不理想状态下背压超标的原因,提出了改进废气流通的方案.