您所在的位置： 首页 > 专利技术 > 正文
专利基本信息
专利名称 面向线性混成系统的等价迁移系统构造方法
专利状态 - 专利号（申请号） CN103235514B
专利申请日期 2013-04-24 专利类型 发明专利
申请公布号 2013101454702 申请公布日 2013-04-24
授权公告号 - 授权公告日 -
发明人 卜磊;蒋慧;刘春能;李宣东
专利权人 南京大学
专利摘要 本发明提供一种面向线性混成系统的等价迁移系统构造方法,包括输入侧和输出侧,输入侧为线性混成系统模型,输出侧为迁移系统模型,其中:以线性混成自动机作为线性混成系统模型表示为H=(X,Σ,V,E,V0,α,β,γ),其中:X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度,Σ为事件名的有限集合,V是位置节点的有限集合,转换系统中引入时间变量t来代表一个任意时间长度的时间段,同时在每个节点v上添加指向自己的状态迁移τ形成自循环来模拟位置节点v内部的连续变化。根据节点变化率和t计算可得节点当前状态与迁移后的新状态间取值关系。本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型,使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。
专利价值评估分析
专利价值评估分析 样例
相关推荐
技术专利 技术专家 技术成果
一种具有仿生鱼尾鳍形微织构的螺旋铣孔曲面锥形刀具
专利号：ZL 202410354035.9
发明专利
一种洗鞋机
专利号：202520654594.1
实用新型专利
一种制备硬炭微球的方法
专利号：ZL202111152692.8
发明专利
一种多功能儿童活动限制设备
专利号：ZL 2019 2 0476115.6
实用新型专利
外观设计专利证书(饮水车）
专利号：ZL 2025 3 0490335.5
外观专利
一种NTC温度检测电路
专利号：202222126515.9
实用新型专利
富产胞外多糖的嗜热链球菌的快速筛选方法及实现所述方法的联合基因核酸序列
本发明提供含有嗜热链球菌的功能基因epsA、epsC和epsD的联合基因核酸序列在筛选富产胞外多糖的...
行业：其他农副食品加工
环境清洁型沙地柏熏香及其制作工艺
本发明涉及一种环境清洁型沙地柏熏香及其制作工艺,其制备原料包括以沙地柏精油为香料添加剂的木粉、轻质碳...
行业：生物药品制品制造
一株具有广谱抑菌特性的植物乳杆菌AB-2及其应用
本发明公开了一种具有广谱抑菌特性的植物乳杆菌,该菌被命名为Lactobacillus?plantar...
行业：屠宰及肉类加工
一种选择性计数酸奶中保加利亚杆菌的方法
本发明涉及一种选择性计数酸奶中保加利亚杆菌的方法,该方法包括选择适于保加利亚乳杆菌生长的选择性计数培...
行业：饮料制造
一株德氏乳杆菌保加利亚亚种MGA17#6 及其用途
本发明涉及一株德氏乳杆菌保加利亚亚种(Lactobacillus#delbrueckii#subsp...
行业：其他食品制造
一株嗜热链球菌菌株及其用途
本发明涉及一种嗜热链球菌(Streptococcus#thermophilus)IMAU80841及...
行业：研究和试验发展
Baidu
map