“形式化”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果2680650个，建议您升级VIP下载更多相关专利

[发明专利]区块链智能合约形式化验证代码转换器及转换方法-CN201810266318.2有效
发明人：杨霞 -专利权人：成都链安科技有限公司
申请日： 2018-03-28 - 公布日： 2021-03-30 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了区块链智能合约形式化验证代码转换器及方法，将多种语言开发的智能合约程序代码自动化转换为形式化验证辅助证明器可识别运行的中间层语言M+代码，然后通过形式化验证辅助证明器对工具生成的中间语言M+语言代码进行自动化安全验证，高自动化的将智能合约源代码一键转换为形式化验证中间语言M+代码，自动提取形式化代码中的数据类型、运算符、特殊结构、条件和循环语句、函数继承关系、函数限定符等内容，并映射到执行空间执行，从而极大程度的提高区块链智能合约形式化安全验证效率，减少了人工参与度，提高了自动化程度，同时也确保了代码形式化过程的准确性
区块智能合约形式化验证代码转换器转换方法

[发明专利]机器翻译方法和系统-CN201080059831.6无效
发明人：程光远 -专利权人：程光远
申请日： 2010-12-28 - 公布日： 2012-10-03 - 主分类号： G06F17/28 文献下载
摘要：本发明揭示一种机器翻译方法和系统：以交互或自动方式对源语言进行形式化处理，然后以自动方式把形式化源语言转换成形式化或非形式化目标语言。使用者把非形式化的母语完全正确而且没有任何词汇歧义地翻译成自己完全不懂的非形式化的外语，所以，本发明完全消除了人和人之间的语言障碍；使用者和计算机用使用者的非形式化的母语完全正确而且没有任何词汇歧义地交流信息源语言形式化处理模块和目标语言转换模块相互独立，所以本发明具有易扩充性。对源语言进行形式化处理是把源语言翻译成各种目标语言的共同基础，所以本发明适合“一对多”机器翻译。
机器翻译方法系统

[发明专利]一种形式化建模的优化方法-CN201410208513.1在审
发明人：刘海亮;屈华敏;杨东红;阎振鑫 -专利权人：中国航空工业第六一八研究所
申请日： 2014-05-16 - 公布日： 2015-11-25 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种形式化建模的优化方法。在对时间要求苛刻的飞行控制关键实时系统中，单一使用形式化建模设计方法，会导致建模过程中生成部分中间冗余代码带来的时间开销，不能满足强实时任务系统的要求。本发明采取的方案为，通过引入形式化建模工具与通用库的桥接技术方法，前期通过形式化建模方法完成系统的架构设计，并对系统内的各模块时间开销等性能进行计算分析，对于时间开销较大或性能不优的模块，利用自适应适配层桥接现有通用库，实现形式化建模方法与通用库的协同工作，对形式化建模进行了性能优化。
一种形式化建模优化方法

[发明专利]面向分布式数据库的形式化建模和验证方法及系统-CN202310190235.0在审
发明人：陈磊;赵衎衎 -专利权人：浪潮软件集团有限公司
申请日： 2023-02-27 - 公布日： 2023-06-13 - 主分类号： G06F16/27 文献下载
摘要：本发明公开了面向分布式数据库的形式化建模和验证方法及系统，属于数据库建模验证技术领域，要解决的技术问题为如何对分布式数据库的庞大状态空间及复杂场景进行高效且充分的遍历，进而保障其可靠性。包括：将分布式数据库划分为多个交互模块，并定义多个交互模块之间的交互方式；通过TLA+形式化语言对所述交互模块进行形式化建模；将多个交互模块之间的交互方式单独建模为形式化接口，并定义所述形式化接口所使用的临时变量以及临时行为；基于TLC模型检查器依次对各交互模块及形式化接口进行独立验证。
面向分布式数据库形式化建模验证方法系统

[发明专利]可信的应用集成-CN202010986291.1在审
发明人： D.里特 -专利权人： SAP欧洲公司
申请日： 2020-09-18 - 公布日： 2021-11-09 - 主分类号： G06F8/70 文献下载
摘要：形式化平台可以促进集成开发者对模式需求的定义。形式化平台还可以将单例模式组合形式化，并将单例模式组合为基于模板的形式化的组合。正确性平台然后可以检查形式化的组合的结构正确性，并执行到模式特性的语义变换或绑定和相关联的交互。正确性平台还可以检查组合语义并生成形式模型。实现平台可以转化由正确性平台生成的形式模型，并配置转化后的形式模型的实现参数。实现平台然后可以根据所配置的实现参数来执行转化后的形式模型。
可信应用集成

[发明专利]通信协议可信性验证方法-CN202010011586.7有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-06-03 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种通信协议可信性验证方法，包括：通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；根据所述验证数据集通过上述方法，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证方法

[发明专利]基于特征模型和特征形式化规格说明的产品派生方法-CN202210689401.7在审
发明人：王维维;王皙;刘宏博 -专利权人：上海大学
申请日： 2022-06-17 - 公布日： 2022-09-20 - 主分类号： G06F8/36 文献下载
摘要：本发明公开了一种基于特征模型和特征形式化规格说明的产品派生方法，首先根据用户需求从特征模型中选择派生特定产品的特征，确定特征融合顺序。然后融合特征形式化规格说明的声明部分，同时利用功能场景表示每个特征的行为，生成功能场景路径。最后按照特征融合顺序，以特征两两融合的方式，对特征的功能场景路径进行匹配，将每对特征形式化规格说明进行融合，直到得出完整产品的形式化规格说明。通过结合结构化面向对象的形式化语言(Structured Object‑Oriented Formal Language,SOFL)描述每个特征的具体行为，以及结合特征模型生成特征融合序列，以特征对形式进行特征形式化规格说明的行为保持融合
基于特征模型形式化规格说明产品派生方法

[发明专利]一种安全协议的代码生成方法、计算机及存储介质-CN202011376362.2在审
发明人：李勰;何锦龙;刘知昊;李勇坚;吴志林 -专利权人：广州市智能软件产业研究院
申请日： 2020-11-30 - 公布日： 2021-03-16 - 主分类号： G06F8/41 文献下载
摘要：本发明涉及一种安全协议的代码生成方法，其特征在于，包括如下步骤：获取扩展形式语义模型框架的数据；基于扩展形式化语义模型框架，所述数据向形式化模型验证器集成并转换；基于形式化语义模型框架，向代码自动生成模型集成和转换；该代码生成方法、计算机及存储介质能够解决形式化验证和代码生成无法统一的问题。
一种安全协议代码生成方法计算机存储介质

[发明专利]机器人分数阶PID控制器稳定性的形式化验证方法-CN201610485045.1有效
发明人：赵春娜 -专利权人：云南大学
申请日： 2016-06-28 - 公布日： 2020-01-03 - 主分类号： G06F17/14 文献下载
摘要：本发明提出用高阶逻辑定理证明的形式化方法来验证机器人分数阶PID控制系统的稳定性。针对机器人分数阶PID控制器，首先建立分数阶拉普拉斯变换的高阶逻辑形式化模型和分数阶PID控制器的高阶逻辑形式化模型，在此基础上建立分数阶闭环控制系统的高阶逻辑形式化模型，利用该形式化模型和定理验证分数阶本发明采用高阶逻辑定理证明器的形式化验证为机器人分数阶PID控制系统的高可靠性提供了保障，为人机交互机器人的安全性提供坚实的基础。
机器人分数 pid 控制器稳定性形式化验证

[发明专利]一种基于形式化描述的移动终端安全性检测方法及装置-CN201610269196.3有效
发明人：钟焰涛;傅文治;蒋罗 -专利权人：宇龙计算机通信科技（深圳）有限公司
申请日： 2016-04-27 - 公布日： 2018-11-06 - 主分类号： G06F21/54 文献下载
摘要：本发明实施例公开了一种基于形式化描述的移动终端安全性检测方法及装置，包括：基于形式化描述方法对移动终端的应用功能进行形式化描述，建立终端行为模型；基于形式化描述方法对所述移动终端的应用功能对应的安全缺陷进行形式化描述
一种基于形式化描述移动终端安全性检测方法装置

[发明专利]一种针对嵌入式实时操作系统形式化验证方法-CN201611046321.0有效
发明人：杨孟飞;杨桦;徐建;乔磊;谭彦亮;邢晓琪;周育逵;顾斌;彭飞 -专利权人：北京控制工程研究所
申请日： 2016-11-22 - 公布日： 2019-04-09 - 主分类号： G06F11/36 文献下载
摘要：一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。
嵌入式实时操作系统形式化验证操作系统验证传统测试反复迭代方法分析期望性质数学定义语义分阶段建模语法数学期望语言保证

[发明专利]一种设计层形式化验证方法及系统-CN202310024402.4有效
发明人：杨林;张龙;杨峰;马琳茹;匡洪宇 -专利权人：军事科学院系统工程研究院网络信息研究所
申请日： 2023-01-09 - 公布日： 2023-05-05 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
一种设计形式化验证方法系统

[发明专利]基于加权模糊Petri网的自主无人机形式化推理方法-CN201610374676.6有效
发明人：谭雁英;周军;童明;祝小平;杨俊鹏;赵斌 -专利权人：西北工业大学
申请日： 2016-05-31 - 公布日： 2020-04-03 - 主分类号： G06F30/22 文献下载
摘要：本发明公开了一种基于加权模糊Petri网的自主无人机形式化推理方法，用于解决现有基于模糊Petri网的形式化推理方法实用性差的技术问题。技术方案是引入加权模糊Petri网形式化推理算法，并在推理算法中采用矩阵对应行列元素相乘取最大值算子代替背景技术的矩阵对应行列元素相乘求和算子，以适应自主无人机形式化推理策略规则集中存在的多条规则的输出命题是相同的情形由于采用了基于模糊Petri网的智能决策形式化推理方法，使得自主无人机比如执行双机或多机搜索/攻击任务时，能够有效的适应形式化推理过程策略规则集中同时存在着不同输入命题对规则结论的贡献和影响不同以及多条规则的输出命题是相同的情形
基于加权模糊 petri 自主无人机形式化推理方法

[发明专利]一种卫星通信网络组网规划方法-CN201810092414.X有效
发明人：赵洪华;谢钧;袁伟伟;金凤林;仇小锋;岳淑贞 -专利权人：中国人民解放军陆军工程大学
申请日： 2018-01-31 - 公布日： 2020-06-19 - 主分类号： H04B7/185 文献下载
摘要：本发明公开一种卫星通信网络组网规划方法，包括如下步骤：(10)卫星资源形式化建模：对所有卫星资源进行形式化建模，作为卫星通信网络规划的卫星资源基础数据；(20)组网需求形式化建模：确定卫星通信网组网对象，对卫星通信网组网需求进行形式化建模，作为卫星通信网络规划中的通信网基础数据；(30)组网规划：解析卫星通信网组网需求，根据卫星通信网组网需求分配卫星资源，生成卫星通信网络组网规划数据。本发明的卫星通信网络组网规划方法，通过卫星资源形式化和组网需求形式化建模，提高卫星通信网组网规划的通用性和规划效率，降低卫星网组网规划的复杂度。
一种卫星通信网络组网规划方法

[发明专利]基于内存回收方案的非阻塞算法的形式化验证方法-CN202110025416.9有效
发明人：郭建;杨兰兰 -专利权人：华东师范大学
申请日： 2021-01-08 - 公布日： 2022-07-08 - 主分类号： G06F30/3308 文献下载
摘要：本发明公开了一种基于内存回收方案的非阻塞算法的形式化验证方法。针对非阻塞算法的实现中所涉及到的内存回收问题，分析了两类解决方案——基于指针的风险指针方案和基于时间点的RCU同步机制，使用CIVL验证框架提供的形式化建模语言CIVL‑C对应用了内存回收方案的非阻塞算法建立其形式化模型，同时分析非阻塞算法中可能出现的安全性问题，结合程序的功能，使用同一形式化验证语言进行描述，并将形式化模型和性质二者整合在同一个.cvh文件中，使用CIVL验证工具进行形式化验证。根据验证工具给出的结果分析模型的正确性和安全性等，即形式化模型是否满足性质。如果验证结果正确则完成验证，否则根据验证工具给出的反例路径修改算法直至验证完成。
基于内存回收方案阻塞算法形式化验证方法