【摘 要】
：
形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这
【机 构】
：
浙江大学CAD&,CG国家重点实验室,华中科技大学机械工程学院,丽水学院工学院,浙江经济职业技术学院汽车技术学院
【基金项目】
：
国家重点研发计划项目(2018YFB1700901);国家自然科学基金(61672247,61772247,61873236);浙江省自然科学基金(LY18F030001)
论文部分内容阅读
形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动
其他文献
提出了一种基于目标特性的雷达探测能力评估模型。该模型在给定的虚警概率和Swerling模型等条件下,建立起了发现概率与最大探测距离的数学关系。而考虑到雷达系统损耗和传播
【正】为了促进课程改革的内涵发展,使课堂教学提质增效,我校确定本年度为"生命化高效课堂教学年",围绕"智慧创新教学模式,灵动探索优质高效"这一目标,开展了一系列卓有成效
乙型肝炎病毒（hepatitis Bvirus，HBV）的垂直传播分为母婴垂直传播（mother to infant vettical transmission，MIVT）和父婴垂直传播（fatherto infant vertical transmission，FIVT）。目前
为了提高异步电机的起动性能，解决电机起动时出现较大尖峰电流、转矩响应较慢等问题，分析了上述问题出现的主要原因，进而提出一种基于空间矢量及定子电阻压降补偿的异步电机交流
基于多体动力学理论建立了整车的动力学仿真模型，通过事件建模器建立了蛇行路面事件文件和双纽线路面事件文件，分别用作蛇行虚拟试验和转向轻便性虚拟试验的驱动文件．依据我国现
【正】 电力工业要发展,关键在于政府的产业政策。产业政策是以调节产业部门的均衡与发展为中心,以促进经济进步为目标的经济政策。它的内容主要是通过政府的经济计划、经济
为了探清锡林河流域历年干湿变化情况,利用锡林河流域1981-2016年共36年的降水与气温的逐月数据,在全年尺度和季节尺度上分析了36年来的降水与气温的时间变化,并计算了各月不
专业人才培养要与时俱进,紧密结合社会发展与岗位需求。本研究分析了目前作者所在院校数字图文信息技术专业人才培养现状。提出开展基于技能大师工作室的高技能人才培养模式
重点分析了在爆炸性危险环境中,防爆灯具在选型、安装及维护过程中应该注意的问题,帮助各石油、化工等含有爆炸性危险环境的企业防止事故的发生减少伤亡,降低财产损失。
研究了根据小型电渗析器的试验运行数据，设计生产大型电渗析器的淡水产量，脱盐率以及所需的膜对数和段数计算方法，并介绍了工程设计使用实例。