期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
云制造中的制造能力服务形式化描述方法 被引量:10
1
作者 肖莹莹 李伯虎 +1 位作者 柴旭东 公静 《系统仿真学报》 CAS CSCD 北大核心 2015年第9期2096-2107,共12页
针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内涵,给出了其定义和分类框架;定义了制造能力服务的元模型及详细描述属性,使用基于对象-值-属性(entity-val... 针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内涵,给出了其定义和分类框架;定义了制造能力服务的元模型及详细描述属性,使用基于对象-值-属性(entity-value-attribute,EVA)数据模型的持久化方法实现异构制造能力服务的形式化。上述制造能力描述及形式化方法在智慧云制造系统(Tian Zhi Net)中的应用效果初步验证了成果的可行性。 展开更多
关键词 云制造 制造能力 形式化描述方法 元模型 对象-值-属性模型
下载PDF
描述程序执行规律的形式化方法
2
作者 王祥 《中国大学教学》 1988年第3期29-31,共3页
本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给出一些有关的基本定义。定义1.1 一级逻辑公式G的解释I由一个非空定义城D和以下赋值所组成: (1)对G中的每... 本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给出一些有关的基本定义。定义1.1 一级逻辑公式G的解释I由一个非空定义城D和以下赋值所组成: (1)对G中的每一个常量符号赋给定义域D中的一个元素; (2) 展开更多
关键词 形式化方法 程序执行 逻辑公式 义城 空定 公式描述 函数符号 量符号 形式化描述方法 谓词符号
下载PDF
可视化语言文法形式化描述综述 被引量:7
3
作者 许红霞 张莉 《计算机科学》 CSCD 北大核心 2005年第4期201-204,共4页
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探... 可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。 展开更多
关键词 可视化语言 文法 形式化描述方法 综述 计算机科学 人机交互 研究领域 形式模型 研究内容
下载PDF
基于Petri网的铁路信号联锁逻辑形式化描述的研究
4
作者 韩晓燕 颜荣正 《煤矿现代化》 2005年第5期40-41,共2页
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备的HCPN模型为前提,介绍了铁路联锁逻辑层的形式化描述方法。
关键词 层次化有色Petri网 UML建模 联锁逻辑 有色PETRI网 形式化描述方法 信号联锁 逻辑 铁路 建模技术 建模方法 车站设备 层次化
下载PDF
邻居发现协议的形式化测试 被引量:6
5
作者 田军 张玉军 +3 位作者 于东 付晓宇 郑红霞 李忠诚 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1409-1417,共9页
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不... Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 . 展开更多
关键词 领导发现协议 一致性测试 形式化描述方法 网络协议 IPV6协议 IPV4协议 通信协议
下载PDF
一种验证数控系统软件安全可靠性的建模方法
6
作者 曹宇男 陈友东 +1 位作者 魏洪兴 王田苗 《系统仿真学报》 CAS CSCD 北大核心 2009年第15期4572-4578,4582,共8页
作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/AT... 作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。 展开更多
关键词 CNC 形式化描述与验证方法 TTM/ATRTTL 可靠性 安全性
下载PDF
一种验证数控系统软件安全可靠性的建模方法
7
作者 曹宇男 张辉 +1 位作者 叶佩青 王田苗 《系统仿真学报》 CAS CSCD 北大核心 2011年第3期425-432,共8页
作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/... 作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。 展开更多
关键词 CNC 形式化描述与验证方法 TTM/ATRTTL 可靠性 安全性
下载PDF
中国成功研发汉字字形描述和错字处理软件
8
《大众科技》 2009年第6期2-2,共1页
基于汉字字形形式化描述方法的汉字输入暨识别系统和留学生错字数据库已研发成功。这个系统成功解决了汉字教学存在的突出问题,对于留学生汉字教学、服务汉语国际教育具有重大意义。
关键词 汉字输入 字处理软件 字形描述 研发 形式化描述方法 中国 识别系统 汉字字形
下载PDF
装备指挥训练模拟需求概念模型研究 被引量:1
9
作者 郑怀洲 刘兵 《系统仿真学报》 CAS CSCD 北大核心 2009年第S1期28-31,共4页
需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"... 需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"的思想,将需求概念模型开发过程分为:项目启动、网罗需求、编写需求、评审需求、使用需求五个阶段;研究了需求概念模型的形式化描述方法,重点对用户需求、功能性需求、非功能性需求和反向需求进行形式化描述。 展开更多
关键词 装备指挥训练 需求概念模型 形式化描述方法 UML
下载PDF
装备指挥训练任务空间概念模型研究
10
作者 刘兵 郑怀洲 赵宏宇 《系统仿真学报》 CAS CSCD 北大核心 2009年第S2期18-22,共5页
按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实... 按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实体、实体属性描述、确定实体关系、确定实体行为与交互;研究了任务空间概念模型的形式化描述方法,综合运用IDEF0、UML等方法分别完成了不同层次任务空间概念模型的形式化描述。 展开更多
关键词 装备指挥训练 任务空间概念模型 形式化描述方法 IDEF0 UML
下载PDF
开放式体系结构数控系统实时性的建模与分析 被引量:5
11
作者 曹宇男 张辉 +1 位作者 叶佩青 王田苗 《机械工程学报》 EI CAS CSCD 北大核心 2011年第1期108-116,共9页
给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)... 给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)。TTM/ATRTTL提供一整套方法用于对OAC系统的硬实时性和反馈特性进行建模并使用该形式化方法在系统层对OAC系统进行建模。分别给出开环OAC,系统级逻辑控制器以及任务间通信和同步机制的TTM模型,并最终给出具有调度机制的闭环OAC系统TTM模型。该模型为系统验证体系结构的基础。最后,给出系统验证体系结构并用模型验证工具STeP和CAD工具SF2STeP实现之。在系统验证过程中,首先解决STeP中遇到的若干模型验证问题,这些问题包括重写规则,验证规则,状态爆炸问题,以及时间约束限制问题。通过模型验证试验解决OAC系统运行过程中出现的死锁以及系统各模块执行时间约束检验问题。试验结果表明该方法可以有效地对OAC系统进行建模并对系统的实时特性进行验证。 展开更多
关键词 开放式体系结构数控系统 形式化描述与验证方法 时间转化模型/全时轴实时时态逻辑 实时性 建模
下载PDF
Trust-Compensation-Based Access Control Model for Web Services 被引量:1
12
作者 Yan Danfeng Sun Jing +1 位作者 Zhang Liying Yang Fangchun 《China Communications》 SCIE CSCD 2012年第12期8-21,共14页
For most current Web Service access control methods,Web Service providers create a series of access control rules based on specified attributes.Only by meeting all the rules can a subject obtain the access to necessar... For most current Web Service access control methods,Web Service providers create a series of access control rules based on specified attributes.Only by meeting all the rules can a subject obtain the access to necessary operations and resources.However,because of the dynamic and open traits of Web Services,it is difficult for Web Service providers to work out an access control policy with moderate intensity and to realize a satisfactory balance between protecting the security of resources and maintaining the service reachable rate.To provide a solution to the above problem,this paper proposed a trust compensation access control method based on the Attribute-Based Access Control model.Our main contributions include a formal description of the access control method,a method to calculate the attribute trust degree based on time decay,and the trust compensation value of the attribute trust degree,as well as a new Service Oriented Architecture(SOA) architecture and its procedures based on a detailed trust compensation access control method. 展开更多
关键词 访问控制模型 Web服务 基础 信托 面向服务的架构 网络服务供应商 形式化描述方法 报酬
下载PDF
3GPP中的协议一致性测试研究
13
作者 付晓宇 郝丹丹 《无线通信技术》 2003年第2期17-22,共6页
随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不... 随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 3G协议实现之间能够互操作 ,一致性测试是非常必要的。文中根据笔者在 3GPP中T1信令组工作背景为基础 ,并以MAC部分测试结构和方式为例 ,给出了形式化的TTCN格式。全面的论述了 展开更多
关键词 3G 3GPP 协议一致性测试 TTCN格式 形式化描述方法 第三代合作伙伴计划
下载PDF
系统开发及开发工具
14
《电子科技文摘》 2002年第9期110-111,共2页
0218659圆钢控冷系统计算机软件的设计与实现[刊]/杜天苍//计算机测量与控制.—2002,10(4).—249~251(L)文章介绍了圆钢轧后控冷工艺微机系统控制软件的设计方法。主要内容包括:冷却工艺原理简述、工艺过程控制分段、控制要点和对控制... 0218659圆钢控冷系统计算机软件的设计与实现[刊]/杜天苍//计算机测量与控制.—2002,10(4).—249~251(L)文章介绍了圆钢轧后控冷工艺微机系统控制软件的设计方法。主要内容包括:冷却工艺原理简述、工艺过程控制分段、控制要点和对控制软件的要求、软件构成和功能以及软件调试和运行情况等。给出了各个功能模块之间的数据流图、控制软件构成图和主程序模块流程框图。 展开更多
关键词 系统控制软件 计算机软件 数据流图 软件调试 功能模块 流程框图 控冷 软件构成 面向对象 形式化描述方法
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部