-
题名云制造中的制造能力服务形式化描述方法
被引量：12
- 1
-
-
作者
肖莹莹
李伯虎
柴旭东
公静
-
机构
北京航空航天大学自动化与电气工程学院
北京仿真中心
中国电子技术标准化研究院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2015年第9期2096-2107,共12页
-
基金
国家863计划资助项目(2011AA040502)
-
文摘
针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内涵,给出了其定义和分类框架;定义了制造能力服务的元模型及详细描述属性,使用基于对象-值-属性(entity-value-attribute,EVA)数据模型的持久化方法实现异构制造能力服务的形式化。上述制造能力描述及形式化方法在智慧云制造系统(Tian Zhi Net)中的应用效果初步验证了成果的可行性。
-
关键词
云制造
制造能力
形式化描述方法
元模型
对象-值-属性模型
-
Keywords
cloud manufacturing
manufacturing capability
formalization description method
meta-model
entity-value-attribute(EVA) model
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名描述程序执行规律的形式化方法
- 2
-
-
作者
王祥
-
机构
南开大学
-
出处
《中国大学教学》
1988年第3期29-31,共3页
-
文摘
本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给出一些有关的基本定义。定义1.1 一级逻辑公式G的解释I由一个非空定义城D和以下赋值所组成: (1)对G中的每一个常量符号赋给定义域D中的一个元素; (2)
-
关键词
形式化方法
程序执行
逻辑公式
义城
空定
公式描述
函数符号
量符号
形式化描述方法
谓词符号
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名可视化语言文法形式化描述综述
被引量：7
- 3
-
-
作者
许红霞
张莉
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机科学》
CSCD
北大核心
2005年第4期201-204,共4页
-
基金
航空科学基金(00F51058)
北京市科技新星计划(H013610270112)
-
文摘
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。
-
关键词
可视化语言
文法
形式化描述方法
综述
计算机科学
人机交互
研究领域
形式模型
研究内容
-
Keywords
Visual languages
Formal specification
Graph grammar
Attributed multiset grammar
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名邻居发现协议的形式化测试
被引量：6
- 4
-
-
作者
田军
张玉军
于东
付晓宇
郑红霞
李忠诚
-
机构
中国科学院计算技术研究所信息网络研究室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第12期1409-1417,共9页
-
基金
Nokia中国研发中心基金资助
-
文摘
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .
-
关键词
领导发现协议
一致性测试
形式化描述方法
网络协议
IPV6协议
IPV4协议
通信协议
-
Keywords
IPv6, neighbor discovery protocol, conformance test, formal specification method
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名一种验证数控系统软件安全可靠性的建模方法
- 5
-
-
作者
曹宇男
陈友东
魏洪兴
王田苗
-
机构
北京航空航天大学机器人所
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第15期4572-4578,4582,共8页
-
基金
国家自然科学基金(60404019)
-
文摘
作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。
-
关键词
CNC
形式化描述与验证方法
TTM/ATRTTL
可靠性
安全性
-
Keywords
CNC
formal specification and verification
TTM/ATRTTL
reliability
safety
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名一种验证数控系统软件安全可靠性的建模方法
- 6
-
-
作者
曹宇男
张辉
叶佩青
王田苗
-
机构
清华大学精密仪器与机械学系
北京航空航天大学机器人所
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2011年第3期425-432,共8页
-
基金
国家自然科学基金（60404019）
国家数控重大专项“光纤总线开放式全数字高档数控装置”（2009ZX04009-012）
-
文摘
作为一个典型的离散计算机控制系统,CNC（数字控制）系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL（时间转化模型/全时轴实时时态逻辑）来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC（开放式体系结构CNC）系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。
-
关键词
CNC
形式化描述与验证方法
TTM/ATRTTL
可靠性
安全性
-
Keywords
CNC
formal specification and verification
TTM/ATRTTL
reliability
safety
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名装备指挥训练模拟需求概念模型研究
被引量：1
- 7
-
-
作者
郑怀洲
刘兵
-
机构
装备指挥技术学院科研部
装备指挥技术学院装备作战保障实验室
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第S1期28-31,共4页
-
文摘
需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"的思想,将需求概念模型开发过程分为:项目启动、网罗需求、编写需求、评审需求、使用需求五个阶段;研究了需求概念模型的形式化描述方法,重点对用户需求、功能性需求、非功能性需求和反向需求进行形式化描述。
-
关键词
装备指挥训练
需求概念模型
形式化描述方法
UML
-
Keywords
equipment command training
CMRA
formalized description method
UML
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名装备指挥训练任务空间概念模型研究
- 8
-
-
作者
刘兵
郑怀洲
赵宏宇
-
机构
装备指挥技术学院装备作战保障实验室
装备指挥技术学院科研部
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第S2期18-22,共5页
-
文摘
按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实体、实体属性描述、确定实体关系、确定实体行为与交互;研究了任务空间概念模型的形式化描述方法,综合运用IDEF0、UML等方法分别完成了不同层次任务空间概念模型的形式化描述。
-
关键词
装备指挥训练
任务空间概念模型
形式化描述方法
IDEF0
UML
-
Keywords
equipment command training
CMMS
formalized description method
IDEF0
UML
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
