形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时空事件驱动的信息物理系统架构
《计算机工程》2018年第10期64-68,共5页冯玉伯 丁承君 赵兴华 高雪 李宗奎 田军强 
天津市科技支撑计划项目(15ZXHLGX00210;14ZCDZGX00811;13ZCZDGX01200);天津市产学研合作项目(14ZCZDSF00025);天津市国家高技术研究发展计划成果转化项目(13RCHZGX01116;14RCHZGX00862)
信息物理系统能够实现信息进程与物理进程的协调与协作,可用于完成大型工程系统的实时感知、动态控制和信息服务。为此,提出一种信息物理系统的架构实现方式,研究系统的组成、架构及运行机制,对运行的核心机制即时空事件模型使用形式化...
关键词：信息物理系统 时空事件 系统架构 运行机制 形式化描述 
一种可推演的外设细粒度管控模型
《计算机工程》2018年第10期80-84,共5页金俊平 杜军龙 周剑涛 
国家高技术研究发展计划"大规模空间数据融合分析关键技术与应用服务"(2014AA123001)
针对通用Linux平台现有外设管控方法存在管控要素分析片面、管控粒度粗与管控方式不够灵活等问题,提出一种可推演的外设细粒度管控模型DCM。DCM由需求目标、受控实体、管控客体与管控策略组成,管控客体可分层嵌套复合客体,管控策略以可...
关键词：外设管控 推演 细粒度 管控模型 形式化描述 
电信服务系统特征交互的Z规格及验证被引量：1
《计算机工程》2016年第8期19-23,共5页彭展 梁根 周炳 
广东石油化工学院青年自然科学基金资助项目(513023)
为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的...
关键词：特征交互 Z规格 电信系统 形式化描述 形式化验证 
基于Petri网的设计模式形式化描述被引量：4
《计算机工程》2016年第7期33-36,48,共5页王雷 姜久雷 王晓峰 
国家自然科学基金资助项目(61462001);宁夏高等学校科学研究基金资助项目(NGY2015151);北方民族大学研究生创新基金资助项目(YCX1561)
从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法。定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述...
关键词：设计模式 自动识别 形式化描述 转换规则 PETRI网 观察者模式 
主引导记录型Rootkit建模及其静态检测方法被引量：1
《计算机工程》2015年第7期184-189,共6页金戈 薛质 齐开悦 
国家自然科学基金资助项目"云计算环境下软件可靠性和安全性理论;技术与实证研究"(61332010)
主引导记录(MBR)型Rootkit是一种新型Rootkit,其隐蔽性强难以检测。针对该问题,分析MBR型Rootkit的关键技术及总体工作流程,扩展木马协同隐藏模型,给出多级协同隐藏的概念并将其应用于M BR型Rootkit隐藏机制的形式化描述中。针对M BR型R...
关键词：主引导记录 形式化描述 协同隐藏 静态特征 静态检测 模式匹配 
基于磁盘隐藏PE文件搜索的Bootkit检测方法被引量：1
《计算机工程》2015年第6期116-120,共5页金戈 薛质 齐开悦 
国家自然科学基金资助项目"云计算环境下软件可靠性和安全性理论;技术与实证研究"(61332010)
Bootkit通过将加载时间点提前到引导阶段,能够对其操作系统下的恶意行为进行隐藏以绕过多数安全软件。为此,对Bootkit的动态行为隐藏机制进行形式化建模,扩展协同隐藏机制以揭示Bootkit高隐蔽性,并且利用大部分Bootkit在磁盘上隐藏恶意P...
关键词：恶意行为 协同隐藏 形式化描述 PE文件 静态检测 
基于概率推理的不确定性任务分配评价方法被引量：2
《计算机工程》2015年第2期31-35,共5页贺毅辉 潘明聪 徐伟 彭辉 
江苏省自然科学基金资助项目(BK2011120)
作战任务的分解与分配是指挥决策中的重要过程,随着战场环境复杂度的增加,确定环境下的任务分配方法已不能适应作战需求。针对不确定性任务分配问题,分析作战任务分解、分配和执行过程中的多种不确定性因素,给出相应的形式化描述。在此...
关键词：不确定性 形式化描述 任务分配 概率推理 适应度 
BLP改进模型的形式化描述及自动化验证被引量：3
《计算机工程》2013年第12期130-135,共6页徐亮 谭煌 
国家自然科学基金资助项目(60903168);湖南省科技计划基金资助项目(2012FJ6012);湖南省重点学科建设基金资助项目(湘教发[2011]76号);湖南省教育厅科学研究基金资助项目(13C527);长沙市科技计划基金资助项目(K1109020-11)
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满...
关键词：BLP模型 安全策略 形式化方法 自动化验证 定理证明 安全操作系统 
基于Agent的DDoS协同防御实体行为建模被引量：3
《计算机工程》2013年第6期158-161,共4页揣迎才 张明清 唐俊 孔红山 方芳 
现有分布式拒绝服务(DDoS)协同防御实体行为建模逼真度较低,且形式化描述不规范。针对上述问题,提出一种基于Agent的DDoS协同防御实体行为建模方法。采用基于Agent的建模思想及输入-输出映射原理,建立包含自主行为和交互行为的实体行为...
关键词：分布式拒绝服务 协同防御 行为建模 自主行为 交互行为 输入-输出映射 形式化描述 
基于Z规格说明的可复用测试用例形式化描述被引量：1
《计算机工程》2012年第16期44-48,共5页张娟 童维勤 蔡立志 
国家火炬计划基金资助项目(2009GH510068);上海市科委科研计划基金资助项目(10DZ2291800)
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概...
关键词：测试用例库 测试用例套 测试项 形式化描述 Z规格说明 软件测试 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部