Discrete-time movement model of a group of trains on a rail line with stochastic disturbance

This paper presents a discrete-time model to describe the movements of a group of trains, in which some operational strategies, including traction operation, braking operation and impact of stochastic disturbance, are defined. To show the dynamic characteristics of train traffic flow with stochastic disturbance, some numerical experiments on a railway line are simulated. The computational results show that the discrete-time movement model can well describe the movements of trains on a rail line with the moving-block signalling system. Comparing with the results of no disturbance, it finds that the traffic capacity of the rail line will decrease with the influence of stochastic disturbance. Additionally, the delays incurred by stochastic disturbance can be propagated to the subsequent trains, and then prolong their traversing time on the rail line. It can provide auxiliary information for rescheduling trains When the stochastic disturbance occurs on the railway.

Robustness Analysis of Discrete-time Indirect Model Reference Adaptive Control with Normalized Adaptive Laws

For a class of discrete-time systems with unmodeled dynamics and bounded disturbance, the design and analysis of robust indirect model reference adaptive control （MRAC） with normalized adaptive law are investigated. The main work includes three parts. Firstly, it is shown that the constructed parameter estimation algorithm not only possesses the same properties as those of traditional estimation algorithms, but also avoids the possibility of division by zero. Secondly, by establishing a relationship between the plant parameter estimate and the controller parameter estimate, some similar properties of the latter are also established. Thirdly, by using the relationship between the normalizing signal and all the signals of the closed-loop system, and some important mathematical tools on discrete-time systems, as in the continuous-time case, a systematic stability and robustness analysis approach to the discrete indirect robust MRAC scheme is developed rigorously.

Scheduling of high-speed rail traffic based on discrete-time movement model

In this paper, a new simulation approach for solving the mixed train scheduling problem on the high-speed double-track rail line is presented. Based on the discrete-time movement model, we propose control strategies for mixed train movement with different speeds on a high-speed double-track rail line, including braking strategy, priority rule, travelling strategy, and departing rule. A new detailed algorithm is also presented based on the proposed control strategies for mixed train movement. Moreover, we analyze the dynamic properties of rail traffic flow on a high-speed rail line. Using our proposed method, we can effectively simulate the mixed train schedule on a rail line. The numerical results demonstrate that an appropriate decrease of the departure interval can enhance the capacity, and a suitable increase of the distance between two adjacent stations can enhance the average speed. Meanwhile, the capacity and the average speed will be increased by appropriately enhancing the ratio of faster train number to slower train number from 1.

Anticontrol of chaos for discrete-time fuzzy hyperbolic model with uncertain parameters

This paper proposes a new method to chaotify the discrete-time fuzzy hyperbolic model （DFHM） with uncertain parameters. A simple nonlinear state feedback controller is designed for this purpose. By revised Marotto theorem, it is proven that the chaos generated by this controller satisfies the Li-Yorke definition. An example is presented to demonstrate the effectiveness of the approach.

A Systematic Analysis Approach to Discrete-time Indirect Model Reference Adaptive Control

这份报纸论述间接模型引用的设计和分析有为分离时间的系统的一个类的规范的适应法律的适应控制(MRAC ) 。主要工作包括三部分。第一，构造工厂参数评价算法不仅拥有传统的评价算法的象那些的一样的性质而且在零避免分割的可能性。第二，由发现在工厂参数之间的关系，估计和控制器参数估计并且用工厂参数的性质估计，控制器参数估计的类似的性质也被建立。第三，基于关系，在使正常化之间的性质发信号并且在靠近环的系统并且在分离时间的系统上的一些重要数学工具上的所有信号作为在连续时间的盒子中，到分离间接 MRAC 计划的系统的稳定性和集中分析途径严厉地被开发。

Community detection in signed networks based on discrete-time model

Community detection in signed networks has been studied widely in recent years. In this paper, a discrete difference equation is proposed to imitate the consistently changing phases of the nodes. During the interaction, each node will update its phase based on the difference equation. Each node has many different nodes connected with it, and these neighbors have different influences on it. The similarity between two nodes is applied to describe the influences between them. Nodes with high positive similarities will get together and nodes with negative similarities will be far away from each other.Communities are detected ultimately when the phases of the nodes are stable. Experiments on real world and synthetic signed networks show the efficiency of detection performance. Moreover, the presented method gains better detection performance than two existing good algorithms.

On the Distribution of Duration of First Negative Surplus for a Discrete Time Risk Model with Random Interest Rate

In this paper, we examine further annuity-due risk model presented by Cai （Probability in the Engineering and Informational Sciences, 16（2002）, 309-324）. We consider the computation for the distribution of duration of first negative surplus and the algorithm is shown for calculating probability that ruin occurs and the duration of first negative surplus takes any nonnegative integers values. Numerical illustration for the main result is given.

A discrete-event model to simulate the effect of truck bunching due to payload variance on cycle time, hauled mine materials and fuel consumption

Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas emissions and associated cost.Payload variance causes significant differences in gross vehicle weights.Heavily loaded trucks travel slower up ramps than lightly loaded trucks.Faster trucks are slowed by the presence of slower trucks,resulting in‘bunching’,production losses and increasing fuel consumptions.This paper simulates the truck bunching phenomena in large surface mines to improve truck and shovel systems’efficiency and minimise fuel consumption.The study concentrated on completing a practical simulation model based on a discrete event method which is most commonly used in this field of research in other industries.The simulation model has been validated by a dataset collected from a large surface mine in Arizona state,USA.The results have shown that there is a good agreement between the actual and estimated values of investigated parameters.

Discrete-time Direct Model Reference Adaptive Control： A Systematic Approach

为直接模型引用的分离时间的系统，设计和分析的一个类，有规范的适应法律的适应控制(MRAC ) 被调查。我们责骂在输入和产量之间的 p 和 2 个关系性质上的分离时间的结论，和分离时间的交换词根 1 和 2。我们也建立分离时间的适应法律的性质，定义使正常化的信号，并且联系有在靠近环的系统的所有信号的信号。因此，分离时间的 MRAC 计划的稳定性和集中性质作为在连续时间的案例中以一种系统的方式严厉地被分析。

Robust Stabilization of Nonlinear Time Delay Discrete-time Systems Based on T-S Model

A robust stabilization problem is considered for time delay nonlinear discrete-time systems based on T-S fuzzy model. A necessary and sufficient condition for the existence of such controllers is given through Lyapunov stability theorem. And it is further shown that this condition is equivalent to the solvability of a certain linear matrix inequality, which can be solved easily by using the LMI toolbox of Matlab. At last, an illustrative example of truck-trailer is presented to show the feasibility and effectiveness of the proposed method.

Direct model reference adaptive control using K_p = LDU factorization for multivariable discrete-time plants

For a large class of discrete-time multivariable plants with arbitrary relative degrees, the design and analysis of the direct model reference adaptive control scheme are investigated under less restrictive assumptions. The algorithm is based on a new parametrization derived from the high frequency gain matrix factorization Kp=LDU under the condition that the signs of the leading principal minors of/fp are known. By reproving the discrete-time Lp and L2σ norm relationship between inputs and outputs, establishing the properties of discrete-time adaptive law, defining the normalizing signal, and relating the signal with all signals in the closed-loop system, the stability and convergence of the discrete-time multivariable model reference adaptive control scheme are analyzed rigorously in a systematic fashion as in the continuous-time case.

An Improved Method to an Impulsive and Delayed Discretized Model

In this paper, a discretized SIR model with pulse vaccination and time delay is proposed. We introduce two thresholds R* and R*, and further prove that the disease-free periodic solution is globally attractive if R* is less than unit and the disease can invade if R* is larger than unit. The numerical simulations not only illustrate the validity of our main results, but also exhibit bifurcation phenomenon. Our result shows that decreasing infection rate can put off the disease outbreak and reduce the number of infected individuals.

Stability and stabilization of discrete T-S fuzzy time-delay system based on maximal overlapped-rules group

The problems of stability and stabilization for the discrete Takagi-Sugeno（T-S） fuzzy time-delay system are investigated.By constructing a discrete piecewise Lyapunov-Krasovskii function（PLKF） in each maximal overlapped-rules group（MORG）,a new sufficient stability condition for the open-loop discrete T-S fuzzy time-delay system is proposed and proved.Then the systematic design of the fuzzy controller is investigated via the parallel distributed compensation control scheme,and a new stabilization condition for the closed-loop discrete T-S fuzzy time-delay system is proposed.The above two sufficient conditions only require finding common matrices in each MORG.Compared with the common Lyapunov-Krasovskii function（CLKF） approach and the fuzzy Lyapunov-Krasovskii function（FLKF） approach,these proposed sufficient conditions can not only overcome the defect of finding common matrices in the whole feasible region but also largely reduce the number of linear matrix inequalities to be solved.Finally,simulation examples show that the proposed PLKF approach is effective.

Discrete-Time Dynamic Image Segmentation Using Oscillators with Adaptive Coupling

In this study, we propose a novel discrete-time coupled model to generate oscillatory responses via periodic points with a high periodic order. Our coupled system comprises one-dimensional oscillators based on the Rulkov map and a single globally coupled oscillator. Because the waveform of a one-dimensional oscillator has sharply defined peaks, the coupled system can be applied to dynamic image segmentation. Our proposed system iteratively transforms the coupling of each oscillator based on an input value that corresponds to the pixel value of an input image. This approach enables our system to segment image regions in which pixel values gradually change with respect to a connected region. We conducted a bifurcation analysis of a single oscillator and a three-coupled model. Through simulations, we demonstrated that our system works well for gray-level images with three isolated image regions.

Stability analysis of extended discrete-time BAMneural networks based on LMI approach

We propose a new approach for analyzing the global asymptotic stability of the extended discrete-time bidirectional associative memory （BAM） neural networks. By using the Euler rule, we discretize the continuous-time BAM neural networks as the extended discrete-time BAM neural networks with non-threshold activation functions. Here we present some conditions under which the neural networks have unique equilibrium points. To judge the global asymptotic stability of the equilibrium points, we introduce a new neural network model - standard neural network model （SNNM）. For the SNNMs, we derive the sufficient conditions for the global asymptotic stability of the equilibrium points, which are formulated as some linear matrix inequalities （LMIs）. We transform the discrete-time BAM into the SNNM and apply the general result about the SNNM to the determination of global asymptotic stability of the discrete-time BAM. The approach proposed extends the known stability results, has lower conservativeness, can be verified easily, and can also be applied to other forms of recurrent neural networks.

An Implicit-Explicit Computational Method Based on Time Semi-Discretization for Pricing Financial Derivatives with Jumps

This paper considers pricing European options under the well-known of SVJ model of Bates and related computational methods. According to the no-arbitrage principle, we first derive a partial differential equation that the value of any European contingent claim should satisfy, where the asset price obeys the SVJ model. This equation is numerically solved by using the implicit- explicit backward difference method and time semi-discretization. In order to explain the validity of our method, the stability of time semi-discretization scheme is also proved. Finally, we use a simulation example to illustrate the efficiency of the method.

The Role of a Novel Discrete-Time MRAC Based Motion Cueing on Loss of Control at a Hexapod Driving Simulator

The objective of this paper is to present the advantages of Model reference adaptive control (MRAC) motion cueing algorithm against the classical motion cueing algorithm in terms of biomechanical reactions of the participants during the critical maneuvers like chicane in driving simulator real-time. This study proposes a method and an experimental validation to analyze the vestibular and neuromuscular dynamics responses of the drivers with respect to the type of the control used at the hexapod driving simulator. For each situation, the EMG (electromyography) data were registered from arm muscles of the drivers (flexor carpi radialis, brachioradialis). In addition, the roll velocity perception thresholds (RVT) and roll velocities (RV) were computed from the real-time vestibular level measurements from the drivers via a motion-tracking sensor. In order to process the data of the EMG and RVT, Pearson’s correlation and a two-way ANOVA with a significance level of 0.05 were assigned. Moreover, the relationships of arm muscle power and roll velocity with vehicle CG (center of gravity) lateral displacement were analyzed in order to assess the agility/alertness level of the drivers as well as the vehicle loss of control characteristics with a confidence interval of 95%. The results showed that the MRAC algorithm avoided the loss of adhesion, loss of control (LOA, LOC) more reasonably compared to the classical motion cueing algorithm. According to our findings, the LOA avoidance decreased the neuromuscular-visual cues level conflict with MRAC algorithm. It also revealed that the neuromuscular-vehicle dynamics conflict has influence on visuo-vestibular conflict;however, the visuo-vestibular cue conflict does not influence the neuromuscular-vehicle dynamics interactions.

基于PDES系统的Time Warp性能研究

随着分布式仿真规模的日益扩大,高性能并行计算技术的不断发展,并行与分布式仿真正逐渐成为新的研究热点。时间管理技术是决定并行与分布式仿真正确性和可重复性的关键技术,直接影响着仿真系统的整体性能。而TW乐观时间管理机制的许多思想和概念一直为现在各种算法所借鉴和沿用。文章建立了一个TW的性能分析模型,利用该模型对事件数量、平均回退长度、回退概率及其上限等进行了分析,分析结果对并行离散事件仿真系统的研发与改进具有一定的指导意义和参考价值。

DTHMM based delay modeling and prediction for networked control systems

In the forward channel of a networked control system （NCS）, by defining the network states as a hidden Markov chain and quantizing the network-induced delays to a discrete sequence distributing over a finite time interval, the relation between the network states and the network-induced delays is modelled as a discrete-time hidden Markov model （DTHMM）. The expectation maximization （EM） algorithm is introduced to derive the maximumlikelihood estimation （MLE） of the parameters of the DTHMM. Based on the derived DTHMM, the Viterbi algorithm is introduced to predict the controller-to-actuator （C-A） delay during the current sampling period. The simulation experiments demonstrate the effectiveness of the modelling and predicting methods proposed.