形式化描述方法

作品数：46被引量：124H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：侯金奎张广泉倪友聪张琳琳杜欣更多>>
相关机构：潍坊学院北京航空航天大学解放军理工大学中国航天北京仿真中心更多>>
相关期刊：《铁道学报》《指挥控制与仿真》《计算机应用与软件》《军事通信技术》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划重庆市自然科学基金重庆市教育委员会科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种个人目标达成度模型的形式化描述方法
《电脑与信息技术》2022年第3期37-40,共4页陈功锁 
目标能够将人的需求转化为动机并朝着特定方向努力,具有较强的激励作用,对个人的发展极为关键。然而多数人制定的目标在实施后却发现目标达成度较低。针对该问题,提出一种个人目标达成度模型的形式化描述方法,首先定义了模型需要的符号...
关键词：目标达成度模型 形式化描述 模型运行实例 
一种基于进程代数的Android组件行为形式化描述方法
《小型微型计算机系统》2021年第7期1561-1568,共8页梁东魁 申利民 马川 冯佳音 陈真 
国家自然科学基金项目(61772450)资助;河北省自然科学基金项目(F2019203287)资助;河北省自然科学基金项目(F2017203307)资助;河北省高等学校科学技术研究项目(QN2020183)资助;河北省博士后科研项目(B2018003009)资助。
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并...
关键词：恶意应用 组件行为 进程代数 Π演算 形式化描述 模拟机制 
基于MSDL的应急通信网保障形式化描述方法研究
《无线互联科技》2021年第9期9-11,34,共4页陈浩然 朱巍 
应急通信网保障形式化描述对于应急通信网保障方案制定和应急通信网保障力量的组织运用评估验证具有重要意义。文章分析了应急通信网保障形式化描述策略,提出了一种基于MSDL的形式化描述方法,为应急通信网保障的形式化描述提供了一定的...
关键词：MSDL 应急通信网 形式化描述 
面向方面软件体系结构编织的形式化描述方法被引量：1
《计算机应用研究》2016年第8期2381-2385,2416,共6页侯金奎 杨春花 
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)
面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作为行为描述和结构描述的...
关键词：软件体系结构 面向方面的模型描述 形式化描述 结构编织 PETRI网 
制造业务过程动态变更及其形式化描述方法
《制造业自动化》2016年第7期112-117,共6页高新勤 刘永 杨明顺 郭伟超 
国家自然科学基金项目(51575443);陕西省教育厅重点实验室科学研究计划项目(16JS075);西安理工大学青年科技创新团队建设项目(102-211408)
对制造业务过程的动态变更进行形式化描述是提高制造企业业务过程管理水平的前提与基础。基于多色集合和多色图理论,提出制造业务过程动态变更的形式化描述方法。结合顺序、并行、选择和迭代等四种基本模型结构,将制造业务过程的动态变...
关键词：多色集合 多色图 制造业务过程 动态变更 形式化描述 
基于面向对象思想的作战单位形式化描述方法被引量：1
《现代防御技术》2015年第6期223-229,共7页武利娟 陈琳 刘西 高一波 
为了使各军事仿真系统一致地理解作战单位的含义和能力,对作战单位的形式化描述方法进行了深入的研究,提出了一种基于面向对象思想的作战单位形式化描述方法。首先,分析作战单位的属性和构成,对其属性进行抽象和封装,得到作战单位类的...
关键词：作战单位 描述规范 聚合方法 面向对象 
一种编队作战计划形式化描述方法研究被引量：4
《舰船电子工程》2015年第12期34-40,共7页曾鹏 
在分析作战计划形式化描述方法研究现状的基础上,针对如何为任务规划、资源规划和效能评估提供有效支撑的问题,构建了作战任务、作战资源和作战效能等核心概念模型,重点分析了形式化描述为任务规划、资源规划和效能评估提供的支撑作用,...
关键词：作战计划 作战任务 作战资源 作战效能 形式化描述 
云制造中的制造能力服务形式化描述方法被引量：10
《系统仿真学报》2015年第9期2096-2107,共12页肖莹莹 李伯虎 柴旭东 公静 
国家863计划资助项目(2011AA040502)
针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内涵,给出了其定义和分类框架;定义了制造能力服务的元模型及详细描述属性,使用基于对象-值-属性(entity-val...
关键词：云制造 制造能力 形式化描述方法 元模型 对象-值-属性模型 
支持模型驱动开发的软构件形式化描述方法被引量：2
《计算机应用》2015年第9期2692-2700,共9页侯金奎 王成端 
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探...
关键词：模型驱动的软件开发 模型转换 特性描述 语义验证 
形式化描述方法在地理信息系统中应用综述
《测绘工程》2014年第12期17-20,共4页邵小东 郭继发 
国家自然科学基金资助项目(41101352)
总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,...
关键词：形式化方法 形式化模型 地理信息系统 应用综述 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部