关于起跑抢跑判定参数研究的思考

采用文献和观察测量法,以部分110 m栏项目运动员为研究对象,目的在于探究起跑反应潜伏期、起跑反应时、起跑运动时、起跑判定时及压力阀值等起跑抢跑判定的相关参数对我国优秀短跑运动员起跑训练和比赛的影响,发现起跑判定时刻及压力阀值的测量与设定对运动员起跑抢跑判定有重要意义,提出国内比赛中不要提高起跑抢跑判定压力阀值,而且运动员在起跑训练中,应加强对电子起跑监视系统的适应性训练,改变"压枪跑"观念,以适应"零抢跑"规则。

混沌时间序列的时滞判定

运用重构混沌吸引子的嵌入技术，开发了提取混沌时间序列信息的宏观信息熵方法，用以判定时滞的存在性和时滞的大小．

A 2 .5Gb/s GaAs MESFET Clock Recovery and Decision Circuit

A 2 5Gb/s depletion mode GaAs MESFET clock recovery and decision circuit is described,which applies to the optical fiber communication.The circuit consists of a clock recovery circuit,including a preprocessor,phase detector(PD),low pass filter(LPF) and voltage controlled oscillator(VCO) and a decision circuit,including a comparator and a latch.The SPICE simulation result confirms the high frequency 2 5GHz of the clock recovery and the high speed 2 5Gb/s of the decision circuit.The 2 5Gb/s decision circuit has proved to be able to deal with the input signal and produce a digital output signal after it being sampled by a clock signal.

New delay-dependent robust stability and stabilization for uncertain T-S fuzzy time-delay systems under imperfect premise matching

To alleviate the conservativeness of the stability criterion for Takagi-Sugeno （T-S） fuzzy time-delay systems, a new delay-dependent stability criterion was proposed by introducing a new augmented Lyapunov function with an additional triple-integral term, which was firstly u3ed to derive the stability criterion for T-S fuzzy time-delay systems. By the same approach, the robust stability issue for fuzzy time-delay systems with uncertain parameters was also considered. On the other hand, in order to enhance the design flexibility, a new design approach for uncertain fuzzy time-delay systems under imperfect premise matching was also proposed, which allows the fuzzy controller to employ different membership functions from the fuzzy time-delay model. By the numerical examples, the proposed stability conditions are less conservative in the sense of getting larger allowable time-delay and obtaining smaller feedback control gains. For instance, when the allowable time-delay increases from 7.3 s to 12 s for an uncertain T-S fuzzy control system with time-delay, the norm of the feedback gains decreases from （34.299 2, 38.560 3） to （10.073 3, 11.349 0）, respectively. Meanwhile, the effectiveness of the proposed design method was illustrated by the last example with the robustly stable curves of system state under the initial condition of x（0） = [3 -1].

The Algebraic Criteria for the All-delay Stabilityof Two-dim ensional Degenerate Differential System swith Delay

This paper give the algebraic criteria for all delay stability of two dimensional degenerate differential systems with delays and give two examples to illustrate the use of them.

ALMOST SURE AND MOMENT EXPONENTIAL STABILITY OF PREDICTOR-CORRECTOR METHODS FOR STOCHASTIC DIFFERENTIAL EQUATIONS

This paper deals with almost sure and moment exponential stability of a class of predictor- corrector methods applied to the stochastic differential equations of Ito-type. Stability criteria for this type of methods are derived. The methods are shown to maintain almost sure and moment exponential stability for all sufficiently small timesteps under appropriate conditions. A numerical experiment further testifies these theoretical results.

Transient stability probability of a power system incorporating a wind farm

An analytical approach for probabilistic evaluation of transient stability of a power system incorporating a wind farm is presented in this study. Based on the fact that the boundary of practical dynamic security region(PDSR) of a power system with double fed induction generators(DFIG) can be approximated by one or few hyper-planes in nodal power injection space, transient stability criterion for given configurations of pre-fault, fault-on and post-fault of a power system is to be expressed by certain expressions of linear combination of nodal injection vector and the transient stability probability(TSP) is further obtained with a much more simplified expression than the complex integral. Furthermore, considering uncertainties of nodal injection power including wind power and load, TSP is calculated analytically by Cornish-Fisher expansion, which can provide reliable evaluation results with high accuracy and much less computing time compared with Monte Carlo simulation. TSP and its visualization can further help operators and planners be aware of the degree of stability or instability and find critical components to monitor and reinforce. Test results on the New England 10-generators and 39-buses power system show the method's effectiveness and significance for probabilistic security assessment.

New Stability Criteria for High-Order Neural Networks with Proportional Delays

This paper is concerned with high-order neural networks with proportional delays. The proportional delay is a time-varying unbounded delay which is different from the constant delay, bounded time-varying delay and distributed delay. By the nonlinear transformation yi(t) = ui( et)(i = 1, 2,..., n), we transform a class of high-order neural networks with proportional delays into a class of high-order neural networks with constant delays and timevarying coefficients. With the aid of Brouwer fixed point theorem and constructing the delay differential inequality, we obtain some delay-independent and delay-dependent sufficient conditions to ensure the existence, uniqueness and global exponential stability of equilibrium of the network. Two examples with their simulations are given to illustrate the theoretical findings. Our results are new and complement previously known results.

Formal verification with projection temporal logic

Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.