搜索筛选:
搜索耗时0.0873秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[期刊论文] 作者：蔡持峰,毋国庆,等,
来源：计算机科学 年份：2001
1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并...
[期刊论文] 作者：蔡持峰,陈伟清,等,
来源：小型微型计算机系统 年份：2000
本文介绍了一种层次式有穷状态机（HFSM）的代数表示，并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。...
[期刊论文] 作者：蔡持峰,陈伟清,毋国庆,,
来源：小型微型计算机系统 年份：2004
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法.这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态....
[会议论文] 作者：胡春丽,蔡持峰,何峰,
来源：1999年全国理论计算机科学学术年会 年份：1999
该文提出了一个面向嵌入式实时系统的新需求模型。该模型在有穷状态的基础上使用属性和规则来描述实时系统的需求和动态行为。根据嵌入式实时系统的特点，该文也讨论了有关状态......
[期刊论文] 作者：蔡持峰,毋国庆,李剑,何峰,,
来源：计算机科学 年份：2001
1 引言rn 实时系统是指有时间限制的系统，与其它类型的软件系统相比具有许多独特的特性：(1)复杂的外部环境，通常是无智能的；(2)与环境交互的系统；(3)完成多个同时输入的并发处理；(4......
[期刊论文] 作者：胡春丽,毋国庆,何峰,蔡持峰,李剑,
来源：小型微型计算机系统 年份：2001
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示.最后,本文也阐述...
[期刊论文] 作者：毋国庆, 朱立松, 王敏, 蔡持峰, 陈伟清,,
来源：软件学报 年份：2002
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该...
相关搜索：
