In this paper, we deal with the problem of selecting the location of coal concentratedstation. Where should we found the station, in a certain range, to mininize the total transporting cost ? The corresponding mathema...In this paper, we deal with the problem of selecting the location of coal concentratedstation. Where should we found the station, in a certain range, to mininize the total transporting cost ? The corresponding mathematical model will be founded. Furthermore, we prove that S reaches its minimum at its certain vertex. An algorithm used to find the optimum solution will be given.展开更多
铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique ...铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。展开更多
文摘In this paper, we deal with the problem of selecting the location of coal concentratedstation. Where should we found the station, in a certain range, to mininize the total transporting cost ? The corresponding mathematical model will be founded. Furthermore, we prove that S reaches its minimum at its certain vertex. An algorithm used to find the optimum solution will be given.
文摘铁路信号安全协议(RSSP-I)是实现高速铁路安全运行的保障,协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。
