形式化

作品数：5172被引量：11555H指数：35
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：关永施智平薛锦云张广泉段振华更多>>
相关机构：华东师范大学国防科学技术大学西安电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
应用模型论及回答集程序的民族服饰图案配色重构方法
《计算机应用》2024年第S2期332-337,共6页黄悦欣 宋燕芳 牛秦洲 
四川省哲学社会科学重点研究基地项目(MD21E007)。
色彩是民族服饰的重要元素,不同的色彩搭配可以体现不同的意象和民族特色。为了规范化表达色彩重构方法中的配色需求,提出一种基于模型论的形式化配色重构方法。以嘉绒藏族服饰为例,首先,将服饰纹样信息抽象化为无向图;其次,通过结构建...
关键词：模型论 回答集程序 形式化建模 色彩重构 
eXtended Triple Diffie-Hellman协议的安全性分析被引量：3
《计算机应用》2022年第S01期160-165,共6页刘佳路 刘璟 杨佳宁 宋恒贤 雷欣雨 陈慧 
国家自然科学基金资助项目(61363084)。
针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各...
关键词：X3DH协议 形式化分析工具 OFMC Signal协议 
基于线性误差断言的推理方法被引量：1
《计算机应用》2021年第8期2199-2204,共6页武鹏 吴尽昭 
国家自然科学基金资助项目(61772006)。
误差在系统中是普遍存在的。在安全关键系统中,对误差的定量分析是必要的,而以往的推理验证方法较少考虑误差。误差通常用区间数来刻画,从而推广了线性断言,并给出了线性误差断言的概念。此外,结合凸集的性质,提出了求解线性误差断言顶...
关键词：形式化方法 定理证明 推理方法 蕴含关系 误差理论 
物联网应用中访问控制智能合约的形式化验证被引量：4
《计算机应用》2021年第4期930-938,共9页包玉龙 朱雪阳 张文辉 孙鹏飞 赵颖琪 
国家自然科学基金资助项目(62072443)。
蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难...
关键词：物联网 访问控制 智能合约 形式化验证 模型检测 
非阻塞算法的形式化建模与分析被引量：1
《计算机应用》2020年第S02期106-111,共6页杨兰兰 郭建 
国家自然科学基金重点项目(61532019)。
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Mich...
关键词：非阻塞算法 形式化建模 风险指针 ABA问题 CIVL验证框架 
基于系统理论过程分析的软件安全性需求分析与验证方法被引量：2
《计算机应用》2020年第11期3261-3266,共6页秦楠 马亮 黄锐 
国家自然科学基金资助项目(51377169)。
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描...
关键词：系统理论过程分析 软件安全需求 形式化方法 模型检验 武器发射控制系统 
基于MAVLink协议的无人机系统安全通信方案被引量：18
《计算机应用》2020年第8期2286-2292,共7页张凌浩 王胜 周辉 陈一凡 桂盛霖 
国网四川省电力公司科技资助项目(521997170017)。
MAVLink是一种应用于无人机(UAV)与地面站(GCS)之间的轻量级通信协议,它定义了一组包括UAV状态和GCS控制命令的UAV与GCS交互的双向消息。针对MAVLink协议缺乏足够的安全机制,存在可能导致严重威胁和隐患的安全漏洞的问题,提出了一种基于...
关键词：无人机 安全功能 安全通信 自校验 形式化验证 
基于离散控制器合成的异构多核系统资源管理方法被引量：6
《计算机应用》2020年第6期1698-1706,共9页安鑫 夏近伟 杨海娇 欧阳一鸣 任福继 
国家自然科学基金青年基金资助项目(61502140);国家自然科学基金联合基金资助项目(U1613217);中央高校基本科研业务费专项资金资助项目(JZ2020YYPY0092)。
近年来,随着半导体技术的发展以及应用多样化的需求,异构多核处理器已被广泛应用于高性能嵌入式系统中。这类系统面临的一个主要挑战就是如何在运行时对系统的可用资源(包括处理核等)进行管理分配从而满足系统及其所运行应用在性能和功...
关键词：异构多核处理器 资源管理 形式化方法 离散控制器合成 模型检测 
基于系统理论过程分析的安全关键软件安全性验证方法被引量：5
《计算机应用》2019年第11期3298-3303,共6页王鹏 吴康 阎芳 汪克念 张啸晨 
民用飞机专项科研项目(MJ-2015-J-091)~~
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的...
关键词：系统理论过程分析方法 软件安全 形式化 模型检验 起落架控制软件 
基于一种形式化方法的3D虚拟祭祀场景建模语言与环境
《计算机应用》2018年第9期2666-2672,2711,共8页徐晓丹 李秉杰 李伯森 吕舜 
财政部重大专项(1181501100001)~~
针对现有三维(3D)场景建模方法普遍存在着业务耦合度高,复杂场景对象属性和特征描述能力不强、不丰富,不能很好地解决3D虚拟祭祀场景建模的问题,提出了基于一种形式化方法的场景建模语言与建模环境。首先,通过引入场景对象、场景对象模...
关键词：3D建模 虚拟祭祀 祭祀场景 建模环境 形式化 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部