搜索到2503 篇“ 形式化方法 “的相关文章
一种基于形式化 方法 的云上调度器冲突检测方法 、系统及应用 形式化 方法 的云上调度器冲突检测方法 ，所述方法 包括如下步骤：步骤一、输入和/或导入亲和性和/或反亲和性规则，转化 为统一的中间表示形式 的约束，屏蔽不同调度器间对于亲和性和/或反亲和性表达的语法和语义差异；...基于形式化 方法 的程序代码合并分析 2025年 形式化 模型——统一结构作为包图的形式 语义,对程序代码包合并提出了一种新的分析方法 。该方法 给出了三种包合并的策略,深入研究了将不同版本的代码转换成的包图在合并过程中可能出现的冲突和不一致性问题,并提供了具体的解决方案。实验表明这个方法 能确保合并后的代码正确性,从而提高软件开发的质量和生产效率。关键词：UML 形式化 基于形式化 方法 的区块链系统漏洞检测模型 2024年 方法 ,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,提出基于形式化 方法 的区块链系统漏洞检测模型VDMBS(vulnerability detection model for blockchain systems),所提模型综合系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供基于业务流程执行语言BPEL(business process execution language)的漏洞模型构建方法 .最后,用NuSMV在基于区块链的电子投票选举系统上验证所提出的漏洞检测模型的有效性,实验结果表明,与现有的5种形式化 测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.关键词：形式化验证 BPEL流程 形式化 方法 与应用专题前言2024年 形式化 方法 是利用数学理论与方法 论证检验软件系统可靠性与安全性的方法 ,包括模型检验、定理证明等多种技术手段.近年来,利用形式化 方法 解决软件可靠性与安全性问题已经获得了越来越广泛的应用.关键词：形式化方法 软件系统 定理证明 体系结构 基于代数和形式化 方法 的离散事件系统安全问题研究 化 提升以及产业间深度交叉融合的关键技术,但因为网络环境的复杂性,信息安全与隐私保护成为实现CPSs功能安全的重要保障,也是相关技术研究中的重点和难点。以离散事件系统(DE...关键词：离散事件系统 有限自动机 形式化方法 能观性 通用全周期信息化 自动运维工具的形式化 方法 的设计与实现 方法 逐渐暴露出运维活动分散、效率低、错误率高、系统稳定性不足等问题,无法满足现代企业信息系统管理的需求。本文对这些问题进行了深入分析,提出了一套全周期信息化 自动运维工...关键词：形式化 Z语言 基于形式化 方法 的同步数据流语言可信编译方法 形式化 方法 的同步数据流语言可信编译方法 ，涉及同步数据流语言的可信编译领域，所述方法 能够对输入的Lustre程序进行词法分析，语法分析和语义分析，进而使用下推自动机模型生成目标C代码；在实现编译器的基本功...基于形式化 方法 的无人集群动态分配决策方法 及系统 形式化 方法 的无人集群动态分配决策方法 及系统，包括偏序融合模块，任务推理模块，任务分配和在线同步模块；设计偏序集乘积算法，通过增量式的计算在线提出的动态线性时序逻辑LTL任务公式的偏序集和现有的偏序集的...一种基于形式化 方法 的区块链智能合约验证方法 和系统 形式化 方法 的区块链智能合约验证方法 和系统，涉及区块链技术领域，所述方法 包括：对智能合约进行类型建模，获得所述智能合约的类型模型；基于预设的类型规则对类型模型的类型项进行静态关系定义；基于类型检查算法完...一种基于形式化 方法 的可信机器学习模型解释方法 及装置 形式化 方法 的可信机器学习模型解释方法 及装置，涉及人工智能技术领域，该方法 包括获取目标机器学习模型及其输入特征值；采用形式化 方法 编译输入特征值，得到连续变量；对连续变量进行离散化 ，得到离散化 后的输入特征...
相关作者
薛锦云 作品数：139 被引量：567 H指数：13 供职机构：江西师范大学 研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR 肖美华 作品数：93 被引量：247 H指数：8 供职机构：华东交通大学 研究主题：形式化方法 SPIN 安全协议 形式化 形式化分析 张广泉 作品数：234 被引量：713 H指数：14 供职机构：苏州大学计算机科学与技术学院 研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法 黄志球 作品数：430 被引量：1,080 H指数：15 供职机构：南京航空航天大学 研究主题：抽象语法树 WEB服务 隐私 代码 本体 张立臣 作品数：367 被引量：719 H指数：12 供职机构：陕西师范大学 研究主题：实时系统 机会网络 信息物理融合系统 路由方法 网络
