切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
C/ATLAS单动作测试语句实现的操作语义描述
C/ATLAS单动作测试语句实现的操作语义描述
来源 :吉林大学学报(理学版) | 被引量 : 0次 | 上传用户:ouwenliao
【摘 要】
:
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动
【作 者】
:
郭德贵
刘磊
张晶
【机 构】
:
吉林大学计算机科学与技术学院
【出 处】
:
吉林大学学报(理学版)
【发表日期】
:
2008年1期
【关键词】
:
ATLAS
C/ATLAS
操作语义
单动作语句
ATLAS
C/ATLAS
operational semantics
single-action
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动作语句的功能及其制约关系.由于该操作语义基于抽象机,所以在此基础上可以很容易得到单动作信号语句的实现程序.
其他文献
强非游荡集与分布混沌
通过在紧致系统中引入强非游荡集的概念,给出了系统为分布混沌的一个必要条件,并构造了没有分布混沌对的Li-Yorke混沌子移位.结果表明,对于子移位分布混沌与Li-Yorke混沌不等
期刊
强非游荡集
LI-YORKE混沌
分布混沌
子移位
strongly non-wandering set
Li-Yorke chaos
distributi
全球能量固化油墨需求持续增长
由Rad Tech(紫外线与电子束技术协会)主办的第二次紫91、线(UV)与电子束(EB)西部会议在美国洛杉矶举行。约有450名UV和EB固化行业的专家以及近60位厂商出席会议。46项有关紫外线一
期刊
固化油墨
全球能量
持续增长
电子束固化技术
技术协会
EB固化
纸品加工
喷墨打印
印刷数字化工作流程描述格式JDF
印刷数字化工作流程解决了传统印刷生产流程的信息孤岛和管理问题.如何以科学、系统、简单易用的数据格式来描述数字化工作流程中的信息,JDF是技术关键。JDF是由CIP4国际标准组
期刊
数字化工作流程
印刷生产流程
JDF
可扩展标志语言
国际标准组织
信息孤岛
管理问题
数据格式
用二次曲面实现代数曲面的光滑拼接
利用构造性代数几何的理论与方法,使用两个球面和一个单叶双曲面构造出一种结构,使之可以用来光滑拼接任意两个轴线相交的二次曲面,并以两个轴线相交的圆柱面为例说明了该结构的
期刊
光滑拼接
几何连续
二次曲面
blending
geometric continuity
quadric surface kind of quadric l
数码印刷的应用和实践
公司简介:石油彩色图文中心(石油工业出版社印刷厂)隶属石油工业出版社,从事专业图书设计、印制及商业印刷,固定资产4000余万元,职工110人。中心具有较大规模的设计、排版、印刷、
期刊
数码印刷机
石油工业
图书设计
应用
印刷业务
石油天然气
一站式服务
出版社
高考化学能力月月赛(7)获奖名单
期刊
药源性红斑狼疮及其防治
药源性红斑狼疮(DILE)或称药源性狼疮(DIL)是指由于服用某些药物后出现类似于自发性系统性红斑狼疮(SLE)表现的一种综合征。目前国外有关药源性红斑狼疮的报道不断增加,而国内相关报
期刊
自发性系统性红斑狼疮
药源性
防治
综合征
实验基本操作应用性问答
1.若要保存FeCl2溶液,应采取什么措施,为什么?
期刊
实验基本操作
应用性
高中
化学
分液漏斗
一个新的Hilbert型积分不等式
通过估算权函数及引入Beta函数,建立一个含参数的具有最佳常数因子的新的Hilbert型积分不等式,同时建立两种最佳推广式及其相应的等价形式.
期刊
Hilbea型不等式
权函数
BETA函数
Hoeder不等式
Hilbert-type inequality
weight function
Beta f
常见甲状腺疾病的规范治疗策略-甲状腺结节的诊断和治疗现状
1甲状腺结节的发病情况甲状腺结节是甲状腺疾病的常见临床表现。随着内分泌医生和影像学医生对甲状腺疾病的认识不断提高和检查手段的日益敏感和精确,临床发现患有甲状腺结节
期刊
甲状腺结节
甲状腺疾病
规范治疗
诊断
碘缺乏地区
发病情况
临床表现
检查手段
与本文相关的学术论文