计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2006年
5期
121-125
,共5页
模型检测工具%实时系统%数据结构%有限精度%时间自动机
模型檢測工具%實時繫統%數據結構%有限精度%時間自動機
모형검측공구%실시계통%수거결구%유한정도%시간자동궤
基于有限精度时间自动机模型,实现了一种新的数据结构--SDS ,用SDS 符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果.
基于有限精度時間自動機模型,實現瞭一種新的數據結構--SDS ,用SDS 符號化錶示狀態空間的實時繫統模型檢測工具,併進行瞭初步的實驗分析,取得瞭良好的效果.
기우유한정도시간자동궤모형,실현료일충신적수거결구--SDS ,용SDS 부호화표시상태공간적실시계통모형검측공구,병진행료초보적실험분석,취득료량호적효과.
