形式化方法

作品数：863被引量：2365H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向适航标准的机载软件测试验证工具综述被引量：1
《计算机工程与应用》2021年第11期1-10,共10页刘友林 郑巍 谭莉娟 樊鑫 杨丰玉 
国家自然科学基金(61867004);江西省教育厅自然科学基金(GJJ180523)。
机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按...
关键词：机载软件测试验证工具 适航标准 DO-178C 基于模型 形式化方法 
车站联锁进路控制逻辑的形式化方法被引量：8
《计算机工程与应用》2016年第17期229-234,270,共7页胡晓辉 韩佳芮 
国家自然科学基金(No.61163009);甘肃省硕导项目(No.1104-05)
基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统,车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化方法 Event-B为基础,引入角色Agent对联锁系统进行规范定义,通过智能体与Event-B的建模和验证...
关键词：联锁 进路控制 Event-B方法 多智能体系统(MAS) 
一种有效的模糊关联规则挖掘的形式化方法
《计算机工程与应用》2015年第18期114-119,174,共7页唐伟 
江苏省自然科学基金(No.BK2011692);江苏省高校优势学科建设工程资助项目
模糊关联规则用于处理数据库中的不精确信息,并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则,通过约束级别管理模糊规则,并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法,在不同的约束级...
关键词：模糊关联规则 形式化方法 约束级别(RL) 一般一元假设自动机(GUHA)模型 支持度 置信度 确定性因子 
移动环境中多级网络安全切换策略设计
《计算机工程与应用》2011年第36期127-130,共4页邢洪智 罗颖 罗长远 霍士伟 
现代通信国家重点实验室基金项目(No.9140C1107020905)
将异构移动网络抽象成多级网络模型,将多级安全引入切换过程,设计了基于MLS(Multilevel Security)的安全切换策略。该策略针对用户连续切换产生的信息泄露问题,规定保证安全等级不降低的约束条件,保证切换过程中用户与网络的安全,并且...
关键词：移动环境 多级安全 连续切换 形式化方法 
一种状态图到B规格说明的自动转换方法研究实现被引量：1
《计算机工程与应用》2011年第35期77-80,142,共5页曾一 孙政 周吉 胡小威 
状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提...
关键词：形式化方法 元模型 UML状态图 B方法 模型转换 
基于SWRL的软件需求一致性验证方法
《计算机工程与应用》2010年第21期72-75,共4页胡海波 张雷 
国家自然科学基金No.60803027;国家高技术研究发展计划(863)No.2007AA01Z445;重庆市自然科学基金No.2008BB2312~~
需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言...
关键词：需求分解 领域本体 采用语义万维网规则语言(SWRL) 形式化方法 需求验证 
嵌入式系统建模理论与方法被引量：3
《计算机工程与应用》2009年第13期8-12,33,共6页陈付龙 樊晓桠 
国家自然科学基金No.60773223;No.60736012;安徽省高校青年教师科研资助计划(No.2008jq1057)~~
嵌入式系统建模是目前一个新的研究热点。利用建模的结果可大大减少系统的设计时间,提高系统的设计质量。介绍了嵌入式系统建模的最新理论和方法,对这些方法进行了分类和比较,探讨了嵌入式系统建模的理论和方法发展趋势。
关键词：嵌入式系统 建模 基于模型的开发 形式化方法 
基于监控理论的EFSM设计方法被引量：1
《计算机工程与应用》2009年第6期20-24,81,共6页王向云 赵雷 蔡开元 
国家自然科学基金;天津市高等学校科技发展基金计划项目;天津师范大学引进人才基金计划项目~~
随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件...
关键词：形式化方法 软件控制论 离散事件系统 扩展有限状态机(EFSM) 有限状态机(FSM) 
形式化方法Designware、B的比较被引量：4
《计算机工程与应用》2007年第31期96-99,共4页胡启敏 薛锦云 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2003CCA02800);江西师范大学青年成长基金
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。
关键词：形式化方法 Designware B方法 规约 求精 
密码协议形式化分析的计算合理性被引量：1
《计算机工程与应用》2007年第21期8-11,共4页王全来 王亚弟 韩继红 
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.TG1999035801)。
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法...
关键词：形式化方法 计算方法 合理性定理 密码协议分析 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部