时钟有限自动机模型及其演化算法

• 作者: 凌云翔 史湘宁 范林军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 计算机应用 分布式系统 时钟一致性演化 因素量化分析 有限自动机 形式化方法
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 图形与图像
• 页码范围: 378-384
• 页数: 7页
• 分类号: TP301
• 字数: 5658字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.02.024

摘要

传统分布仿真系统时钟不一致影响因素分析方法,已不能满足当前面向服务分布仿真的时钟状态分析需要.从系统全局时钟演化出发,阐述了时钟状态演化内涵与过程;在此基础上,基于有限自动机理论,提出了用于时钟不一致影响因素量化分析的动态演化模型及其算法:时钟有限自动机CFSA和时钟一致性演化算法CCEA.仿真实验表明:相比传统的分析方法,使用CFSA模型及其CCEA演化算法刻画系统时钟一致性状态变迁过程,探寻各种不一致因素的影响机理,量化分析各因素的影响程度等具有可行性、有效性和新颖性,可为面向服务分布仿真中时钟同步算法设计提供指导性建议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	凌云翔	武警警官学院管理科学与工程系	29	342	10.0	17.0
3	范林军	武警警官学院管理科学与工程系	9	16	3.0	4.0
6	史湘宁	湖南商学院计算机与信息工程学院	10	28	3.0	5.0