找成果 找技术供应商 找活动
您所在的位置:首页 > 科技成果> 技术成果> 基于HybridUML向微分代数程序转换的CPS建模与验证方法

基于HybridUML向微分代数程序转换的CPS建模与验证方法

  • 专利类型:非专利类型
  • 来 源:个人
  • 所 在 地:江苏泰州
  • 行 业:电子信息-
  • 价格:           
  • 技术成熟度:可以量产
  • 最近更新:1295-99-97 92:27:19
  • 应用领域:,,,,

项目简介

  本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法,实现了由HybridUML模型向DAP的转换,并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic,DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模,将其转换成DAL的操作模型DAP,并且基于DAL对CPS属性进行验证。

交易安全保障
1、确保每个项目方信息真实有效;
2、提供全程贴身服务,专业客服人员全程跟进对接环节;
3、提供专业的技术交易咨询服务,协助完成在线签约交易;
4、提供资金担保服务,确保买方资金安全;
5、提供交易订单存证数据,协助处理技术交易纠纷。

标签