在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RA...在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。展开更多
In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-...In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-view (FOV) constraints based on biased proportional navigation guidance (PNG) is developed in this paper. The remaining flight time (time-to-go) estimation method is derived considering aerodynamic force and gravity. The number of differential equations is reduced and the integration step is increased by changing the integral variable, which makes it possible to obtain time-to-go through integration. An impact time controller with FOV constraints is proposed by analyzing the influence of the biased term on time-to-go and FOV constraint. Then, numerical simulations are performed to verify the correctness and superiority of the method.展开更多
Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind o...Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind of cyclic reconfigurable flow shops are proposed for the new manufacturing paradigm-reconfigurable manufacturing system. The cyclic reconfigurable flow shop is modeled as a timed event graph. The optimal configuration is defined as the one under which the cyclic reconfigurable flow shop functions with the minimum cycle time and the minimum number of pallets. The optimal configuration, the minimum cycle time and the minimum number of pallets can be obtained in two steps.展开更多
针对部分场景下标签较少、样本不均衡的时序数据,为了更好的捕捉序列之间的逐步依赖关系,本文一方面使用具有因果关系属性的时域卷积网络构建生成对抗网络,另一方面使用长短期记忆网络构建嵌入网络和复现网络,以实现模型同时处理短期依...针对部分场景下标签较少、样本不均衡的时序数据,为了更好的捕捉序列之间的逐步依赖关系,本文一方面使用具有因果关系属性的时域卷积网络构建生成对抗网络,另一方面使用长短期记忆网络构建嵌入网络和复现网络,以实现模型同时处理短期依存项和长期依存项,从而提出一种基于时域卷积网络和长短期记忆网络的时间序列生成对抗网络(A Time-series Generative Adversarial Network based on Temporal convolutional network and Long-short term memory network, TL-TimeGAN)。采用覆盖性、有用性和相似度检验的综合分析方法作为合成数据质量的评价指标,进一步全面地评价合成数据的覆盖性、预测程度和相似性。最终,基于以太坊欺诈检测数据集,使用Tabnet网络对扩增数据进行异常检测并获得局部特征重要性以及全局特征重要性,以增强扩增数据应用于实际工作的实践指导价值。展开更多
The robust guaranteed cost filtering problem for a dass of linear uncertain stochastic systems with time delays is investigated. The system under study involves time delays, jumping parameters and Brownian motions. Th...The robust guaranteed cost filtering problem for a dass of linear uncertain stochastic systems with time delays is investigated. The system under study involves time delays, jumping parameters and Brownian motions. The transition of the jumping parameters in systems is governed by a finite-state Markov process. The objective is to design linear memoryless filters such that for all uncertainties, the resulting augmented system is robust stochastically stable independent of delays and satisfies the proposed guaranteed cost performance. Based on stability theory in stochastic differential equations, a sufficient condition on the existence of robust guaranteed cost filters is derived. Robust guaranteed cost filters are designed in terms of linear matrix inequalities. A convex optimization problem with LMI constraints is formulated to design the suboptimal guaranteed cost filters.展开更多
文摘在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。
基金supported by the National Natural Science Foundation of China(U21B2028).
文摘In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-view (FOV) constraints based on biased proportional navigation guidance (PNG) is developed in this paper. The remaining flight time (time-to-go) estimation method is derived considering aerodynamic force and gravity. The number of differential equations is reduced and the integration step is increased by changing the integral variable, which makes it possible to obtain time-to-go through integration. An impact time controller with FOV constraints is proposed by analyzing the influence of the biased term on time-to-go and FOV constraint. Then, numerical simulations are performed to verify the correctness and superiority of the method.
基金Supported by National Key Fundamental Research and Development Project of P. R. China (2002CB312200)
文摘Based on the idea that modules are independent of machines, different combinations of modules and machines result in different configurations and the system performances differ under different configurations, a kind of cyclic reconfigurable flow shops are proposed for the new manufacturing paradigm-reconfigurable manufacturing system. The cyclic reconfigurable flow shop is modeled as a timed event graph. The optimal configuration is defined as the one under which the cyclic reconfigurable flow shop functions with the minimum cycle time and the minimum number of pallets. The optimal configuration, the minimum cycle time and the minimum number of pallets can be obtained in two steps.
文摘针对部分场景下标签较少、样本不均衡的时序数据,为了更好的捕捉序列之间的逐步依赖关系,本文一方面使用具有因果关系属性的时域卷积网络构建生成对抗网络,另一方面使用长短期记忆网络构建嵌入网络和复现网络,以实现模型同时处理短期依存项和长期依存项,从而提出一种基于时域卷积网络和长短期记忆网络的时间序列生成对抗网络(A Time-series Generative Adversarial Network based on Temporal convolutional network and Long-short term memory network, TL-TimeGAN)。采用覆盖性、有用性和相似度检验的综合分析方法作为合成数据质量的评价指标,进一步全面地评价合成数据的覆盖性、预测程度和相似性。最终,基于以太坊欺诈检测数据集,使用Tabnet网络对扩增数据进行异常检测并获得局部特征重要性以及全局特征重要性,以增强扩增数据应用于实际工作的实践指导价值。
文摘The robust guaranteed cost filtering problem for a dass of linear uncertain stochastic systems with time delays is investigated. The system under study involves time delays, jumping parameters and Brownian motions. The transition of the jumping parameters in systems is governed by a finite-state Markov process. The objective is to design linear memoryless filters such that for all uncertainties, the resulting augmented system is robust stochastically stable independent of delays and satisfies the proposed guaranteed cost performance. Based on stability theory in stochastic differential equations, a sufficient condition on the existence of robust guaranteed cost filters is derived. Robust guaranteed cost filters are designed in terms of linear matrix inequalities. A convex optimization problem with LMI constraints is formulated to design the suboptimal guaranteed cost filters.
