自动机论文

导读:本文包含了船舶交通仿真论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:船舶,交通,琼州海峡,通流,交通量,模型,自动机。船舶交通仿真论文文献综述宋向群,...

导读:本文包含了交通流模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:通流,模型,自动机,序列,神经网络,交通,时间。交通流模型论文文献综述刘学刚,张腾飞...

导读:本文包含了交通流特性论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:通流,特性,交通,车速,自动机,车辆,时空。交通流特性论文文献综述刘雪莲,焦新龙,胡...

导读:本文包含了文本对齐论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:文本,语料库,模型,自动机,特征,语音识别,余弦。文本对齐论文文献综述王苗[1]（20...

导读:本文包含了公平交换论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:公平,领导,理性,协议,数据交换,自动机,成员。公平交换论文文献综述肖劲草[1]（20...

导读:本文包含了静态再结晶论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:结晶,静态,镁合金,自动机,硅钢,合金,耐热。静态再结晶论文文献综述于永梅,李文强,...

导读:本文包含了枝晶生长论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:生长,负极,合金,金属,铝合金,高温,自动机。枝晶生长论文文献综述张伶玲,石昊,徐衡,...

导读:本文包含了可扩展性论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:扩展性,网络,算法,在线,耦合度,自动机,对象。可扩展性论文文献综述肖贞杰,彭斐,徐栋...

导读:本文包含了阿片类论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:阿片,类药物,神经网络,巴林,自动机,呼吸,恶性肿瘤。阿片类论文文献综述李军,赵佳,赵宸...

许丹[1]2007年在《基于时间自动机的实时系统形式化建模与验证》文中指出实时系统是一种带有时间约束的计算机系统,这些系统的许多动作的完成是与时间相关的,即要满足一定的时间限制。为了确保实时系统的正确性和可靠性,需要对其进行严格的分析和验证。实时系统的验证不仅要求逻辑上是正确的,而且要求时间上也是正...