介绍了一种利用VDMS(Velocity Distribution Measuring System)系统配合自编程软件对通航船模进行船模操纵性率定的试验方法。探讨了利用VDMS系统如何有效降低操纵性率定试验的限制条件。通过实际案例验证,该方法可以对船模操纵性做出...介绍了一种利用VDMS(Velocity Distribution Measuring System)系统配合自编程软件对通航船模进行船模操纵性率定的试验方法。探讨了利用VDMS系统如何有效降低操纵性率定试验的限制条件。通过实际案例验证,该方法可以对船模操纵性做出可靠的评价。展开更多
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-...同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.展开更多
基金国家自然科学基金项目(51108066)Financial support of Structural Funds in the Operational Programme-Innovative Economy(IE OP)financed from the European Regional Development Fund-Projects NoPOIG.0101.02-00-013/08-00(MONIT)+1 种基金大连民族学院科研基金项目(20116207)住房和域乡建设部项目(K2201243)
文摘同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.
基金国家自然科学基金项目资助(50579008)Support of the Foundation for Polish Science through TEAM Programme‘Smart&Safe’co-financed by the EUEuropean Regional Development Fund