具体 操作为，在设计窗口中单击“系统定时”快捷功能按钮 ，此时将 出现系统定时设置（System Time Specification）对话框，应根据仿 真实际来设定对话框中参数即下面罗列参数中各项有关时间的参数。
基于20个网页-相关网页
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证，主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
In this paper the performance of meteor burst communications system is analysed. It is proposed that the mean waiting time should be used as a specification in representing the performance.
本文分析了流星迸发通信系统的性能，提出用平均等待时间作为衡量流星通信的性能指标。
应用推荐