【技术实现步骤摘要】
本专利技术是一种形式化验证方法，是对复杂系统的分数阶模型提出分数阶验证方法，属于信息安全和数学领域。
技术介绍
以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。随着信息系统设计的复杂度呈指数上升趋势，对设计的验证方法面临严峻的挑战。传统验证方法利用大量的测试例来分析系统行为推理性质，其先天缺陷是非完备性。对于复杂系统，穷尽的测试是不可能的，这些方法也只能证明有错而不能证明无错。形式化验证采用基于数学推理与演绎的方法来论证系统的正确性，具有传统模拟、仿真技术无法比拟的完备性、精准性的优势。从20世纪60年代应对“软件危机”开始到 现在，形式化验证技术已经应用在很多领域中，如软硬件系统设计、系统安全性分析、网络安全、电子商务、硬件可靠性研究、生物、医学、系统建模和精确分析等方面。形式化验证主要有三种方法等价性检验，模型检验和定理证明。等价性验证最为成熟，已经成为一种事实工业标准，几乎所有的电子设计自动化供应商都提供这种工具，主要用于验证一个设计在不同层次或变换前后其功能是否一致。模型检...
【技术保护点】
一种基于Grünwald？Letnikov定义的高阶逻辑分数阶验证方法，其特征在于：选择高阶逻辑定理证明器作为基本工具，基于Grünwald？Letnikov分数阶微积分定义和性质，通过人机交互方式验证分数阶模型具有的属性特征，确保分数阶模型的精确性。
【技术特征摘要】
1.一种基于Griinwald-Letnikov定义的高阶逻辑分数阶验证方法,其特征在于选择高 阶逻辑定理证明器作为基本工具，基于Griinwald-Letnikov分数阶微积分定义和性质，通过人机交互方式验证分数阶模型具有的属性特征，确保分数阶模型的精确性。2.根据权利要求I所述的高阶逻辑分数阶验证方法，其特征在于分数阶Griinwald-Letnikov定义,在高阶逻辑定理证明器中的形式化，α为实数。3.根据权利要求I所述的高阶逻辑分数阶验证方法，其特征在于分数阶Grunwald-Letn...
【专利技术属性】
技术研发人员：赵春娜，师丽坤，骆力明，王华，金声震，关永，施智平，李晓娟，刘旭敏，谭小慧，
申请(专利权)人：赵春娜，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。