【摘 要】
：
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提
【机 构】
：
南京大学计算机软件新技术国家重点实验室(南京)
论文部分内容阅读
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提供了一种直观可视的方法来描述设计需求.但是,如同其它的规范和设计过程,MSC也很容易出错,所以对它们进行分析是很有必要的.本文分析了带时间约束的MSS,并给出了一个检验MSS时间一致性的工具的设计和实现过程.
其他文献
帧中继和ATM的互通有两种形式,网络互通和业务互通,本文介绍了这两种形式,并展望了帧中继与ATM的结合
本文分析了面临“入世”挑战的中国电信业政府管制所亟需解决的问题,在此基础上给予了一些可行的政策建议.
今天的语音识别正处于由实验室技术走向实用化、产品化的关键时期.然而,现有的绝大数语音识别系统在噪声环境中的性能都不可避免地急剧下降.环境噪声已经成为语音识别技术商
VoIP的通话质量是影响其发展和推广的主要因素,是人们最为关注的问题,如何测试通话质量是VoIP中的一项关键技术.本文在分析影响VoIP通话质量因素的基础上,介绍了VoIPA网络中
本文发析了16QAM在高斯信道和瑞利信道中的传输性能,分别给出其误码率和信噪比特性.并在给定误码率为10(即数据传输要求)的情况下,分析16QAM的传输速率和频带利用率,讨论16QA
本文给出基因组Translocation排序问题的一个改进多项式算法.原算法所用存储空间为0(n),时间复杂度为0(n).本文改进算法仍采用0(n)存储空间,时间复杂度为0
本文基于分布式并行系统,运用整体预处理区域分解方法,结合有效的负载平衡策略,对一类黑油模型油藏模拟问题并行求解.实验结果表明,模拟速度有较大提高,并取得较高加速比.
提出了将感觉信息处理建立在属性操作研究上的基本观点.给出了属性量-质转化规律的定性映射模型(QM),和QM与人工神经元的TLU(Threshold Logic Unit)模型的等价性定量.根据感
知识共享是多智能体研究领域中的一个重要课题.知识共享使得智能体能够分析、判断、综合被告知信息从而形成智能体自己的知识.本文建立了多本文的建立一个多智能体系统中知识