形式化建模

作品数：207被引量：507H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：关永段振华田聪胡晓辉黄文超更多>>
相关机构：华东师范大学北京交通大学兰州交通大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于逻辑模型的多偏好旅游路线规划研究
《现代电子技术》2025年第7期169-176,共8页王文成 王曦雅 牛秦州 董明刚 
国家自然科学基金项目(62366012)。
针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好...
关键词：路线规划 用户多偏好 形式化建模 回答集程序 个性化偏好 逻辑模型 
基于Event-B的区块链Raft共识形式化建模方法
《山西电子技术》2025年第2期97-99,共3页陈中绪 任睿 崔慧敏 
山西省重点研发计划“区域性股权市场金融服务创新关键技术研发及应用示范”(202102020101016)。
Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,...
关键词：Raft共识算法 Event-B方法 形式化建模 
机载软件层次化需求的形式化建模与分析
《南京航空航天大学学报(自然科学版)》2025年第1期195-204,共10页王康星 胡军 王立松 丁鼎 董亚炯 戴嘉磊 
国家自然科学基金(U2241216)。
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica...
关键词：计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统 
应用模型论及回答集程序的民族服饰图案配色重构方法
《计算机应用》2024年第S2期332-337,共6页黄悦欣 宋燕芳 牛秦洲 
四川省哲学社会科学重点研究基地项目(MD21E007)。
色彩是民族服饰的重要元素,不同的色彩搭配可以体现不同的意象和民族特色。为了规范化表达色彩重构方法中的配色需求,提出一种基于模型论的形式化配色重构方法。以嘉绒藏族服饰为例,首先,将服饰纹样信息抽象化为无向图;其次,通过结构建...
关键词：模型论 回答集程序 形式化建模 色彩重构 
舰载机弹药保障作业调度的形式化建模与验证
《软件学报》2024年第9期4100-4122,共23页金钊 金璐 张博闻 吴庆顺 冯朔 李冠峰 徐明亮 
国家自然科学基金(62325602,62302459,62036010,61972362,62372416)。
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证...
关键词：舰载机弹药保障作业 形式化验证 分离逻辑 操作语义 COQ 
基于可视化分析模型的汽车电控系统开发方法与应用
《汽车实用技术》2024年第12期49-56,共8页韩虎 任宪丰 闫立冰 滑文山 
在汽车电控系统设计领域,为了解决传统V模式以文本方式进行系统性开发带来的设计与本源需求不一致、方案变更与风险评估可视化分析差、产品变型模块化复用难等一系列问题,提出了一种基于模型的系统工程图形化表达开发方法。该方法以V流...
关键词：汽车电控系统 可视化分析模型 系统工程 图形化表达 形式化建模 
基于单工架构的信息物理系统运行时安全性保障方法
《深圳大学学报（理工版）》2024年第3期253-263,共11页王强 陈强 曹伟朋 何文锋 
国家自然科学基金资助项目(62106150)。
运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制...
关键词：人工智能 形式化方法 运行时安全性保障 运行时验证 形式化建模与验证 信息物理系统 系统建模与验证 嵌入式系统 
一种比特币支付协议的形式化建模验证方法
《信息安全研究》2024年第4期311-317,共7页王炯涵 黄文超 汪万森 熊焰 
国家重点研发计划项目(2021QY2104);中央高校基本科研业务费专项资金项目(WK2150110024);国家自然科学基金项目(61972369,62102385,62372422);安徽省自然科学基金项目(2108085QF262)。
作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比...
关键词：比特币 形式化验证 网络协议安全 支付过程 符号模型 
基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证
《铁道通信信号》2024年第3期61-68,共8页王玮琦 任晨宇 陈黎洁 侯卓璞 
中国铁道科学研究院集团有限公司科研课题(2021YJ149)。
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立...
关键词：全自动无人驾驶 自动化等级 列车停站场景 PETRI网 形式化建模 形式化验证 
基于Petri网的铁路综合交通枢纽换乘建模与仿真
《铁路通信信号工程技术》2024年第2期1-6,共6页王陆睎 朱明 
通过对车站内多制式轨道交通综合调度,可以提升乘客旅途出行的舒适换乘体验。针对多制式轨道交通综合调度问题,以Petri网为工具,仿真建立车站枢纽中各种轨道交通方式及相互间换乘通道的基本模型,利用相互间逻辑关系将其整合为一个整体模...
关键词：综合交通枢纽 综合调度 乘客换乘 形式化建模 
全选清除导出
共21页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部