[00281596]面向线性混成系统的等价迁移系统构造方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201310145470.2

交易方式： 完全转让许可转让技术入股

联系人：南京大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V⁰,α,β,γ)，其中：X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度，Σ为事件名的有限集合，V是位置节点的有限集合，转换系统中引入时间变量t来代表一个任意时间长度的时间段，同时在每个节点v上添加指向自己的状态迁移τ形成自循环来模拟位置节点v内部的连续变化。根据节点变化率和t计算可得节点当前状态与迁移后的新状态间取值关系。本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型，使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>