基于不动点逻辑的混成系统性能评价方法
实质审查的生效
摘要
本发明公开了基于不动点逻辑的混成系统性能评价方法。在定义映射值域为实数区间的状态函数以及带有状态函数的KripkeAF结构的基础上，本发明通过将CTML和μ演算结合提出一种新的混成系统性能评价语言μML。KripkeAF作为μML的语义解释结构，一般的迁移系统Kripke结构作为系统模型。本发明将μ演算的输出值从布尔值推广至实数区间，以对混成系统实值相关的性质进行性能评价。通过扩展经典的计算不动点的改进算法，提出一种基于μML公式的性能评价算法，并在一定程度上提高了计算不动点的效率。
基本信息
专利标题 ：
基于不动点逻辑的混成系统性能评价方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114416558A
申请号 ：
CN202210057098.9
公开（公告）日 ：
2022-04-29
申请日 ：
2022-01-18
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
李晴曹子宁黄涛
申请人 ：
南京航空航天大学
申请人地址 ：
江苏省南京市江宁区将军大道29号
代理机构 ：
代理人 ：
优先权 ：
CN202210057098.9
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-20 ：
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20220118
申请日 : 20220118
2022-04-29 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
