Objective: To test the hypotheses that reading comprehension difficulties of adolescent students with ADHD: 1) are related not so much to weak verbal abilities or weak basic reading skills, as to impairments of workin...Objective: To test the hypotheses that reading comprehension difficulties of adolescent students with ADHD: 1) are related not so much to weak verbal abilities or weak basic reading skills, as to impairments of working memory and processing speed characteristic of ADHD;and 2) that extended time on a test of reading comprehension would yield significantly higher reading comprehension scores than would standard time. Method: Charts of 145 adolescents 13-18 years diagnosed with DSM-IV ADHD and no specific reading disorder after a comprehensive clinical and psycho-educational evaluation, were reviewed to extract 1) word reading and word attack subtest scores from the Woodcock-Johnson Achievement Test or the Wechsler Individual Achievement Test;2) Index scores from WISC-IV or WAIS-III IQ tests;3) scores from the Nelson-Denny Reading Test. Results: Mean index scores for verbal comprehension abilities not including reading were in the high average range, but working memory and processing speed index scores were significantly weaker. Under standard time limits 53% were unable to complete the reading comprehension test and only 42.8% were able to score within 1 SD of their IQ verbal comprehension index (VCI). When allowed extended time, 77.9% were able to score within 1 SD of their VCI. T-test comparisons between standard time and extended time were significant at < 0.001. Conclusions: Allowing extended time for adolescents with ADHD to complete tests involving reading may help to compensate for their impairments of working memory and processing speed, allowing them to score closer to their actual verbal abilities.展开更多
The problem of linear time-varying(LTV) system modal analysis is considered based on time-dependent state space representations, as classical modal analysis of linear time-invariant systems and current LTV system mo...The problem of linear time-varying(LTV) system modal analysis is considered based on time-dependent state space representations, as classical modal analysis of linear time-invariant systems and current LTV system modal analysis under the "frozen-time" assumption are not able to determine the dynamic stability of LTV systems. Time-dependent state space representations of LTV systems are first introduced, and the corresponding modal analysis theories are subsequently presented via a stabilitypreserving state transformation. The time-varying modes of LTV systems are extended in terms of uniqueness, and are further interpreted to determine the system's stability. An extended modal identification is proposed to estimate the time-varying modes, consisting of the estimation of the state transition matrix via a subspace-based method and the extraction of the time-varying modes by the QR decomposition. The proposed approach is numerically validated by three numerical cases, and is experimentally validated by a coupled moving-mass simply supported beam exper- imental case. The proposed approach is capable of accurately estimating the time-varying modes, and provides anew way to determine the dynamic stability of LTV systems by using the estimated time-varying modes.展开更多
Consider an insurance risk model, in which the surplus process satisfies a recursive equationU n =U n?1(1+r n )?X n forn≥1, whereU 0=x≥0 is the initial surplus, {r n ;n≥1} the interest rate sequence, {X n ;n≥1} th...Consider an insurance risk model, in which the surplus process satisfies a recursive equationU n =U n?1(1+r n )?X n forn≥1, whereU 0=x≥0 is the initial surplus, {r n ;n≥1} the interest rate sequence, {X n ;n≥1} the sequence of i. i. d. real-valued random variables with common distribution functionF, which denotes the gross loss during thenth year. We investigate the ruin probability within a finite time horizon and give the asymptotic result asx→∞. Key words variable interest rate - extend regular variation - finite time ruin probability CLC number O 211.9 Foundation item: Supported by the National Natural Science Foundation of China (10071058, 70273029)Biography: WEI Xiao (1979-), female, Ph. D candidate, research direction: large deviations and its applications, insurance mathematics.展开更多
This paper concerns the absolute stability problem of discrete-time descriptor systems with feedback connected ferromagnetic hysteresis nonlinearities. The ferromagnetic hysteresis model satisfies the passivity condit...This paper concerns the absolute stability problem of discrete-time descriptor systems with feedback connected ferromagnetic hysteresis nonlinearities. The ferromagnetic hysteresis model satisfies the passivity conditions of hysteresis operator, that is the input-output relation of the transformed operator is passive. The bound condition of the solution of the ferromagnetic hysteresis model is given. Through the framework of loop transformation, an augmented discrete-time descriptor system model is established for the stability analysis. A new extended Tsypkin criterion for the absolute stability of discrete-time descriptor systems with hysteresis is presented based on the linear matrix inequalities technique. A numerical example is given to illustrate the effectiveness of the extended criterion.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
We present a numerical study of the long time behavior of approxima- tion solution to the Extended Fisher-Kolmogorov equation with periodic boundary conditions. The unique solvability of numerical solution is shown. I...We present a numerical study of the long time behavior of approxima- tion solution to the Extended Fisher-Kolmogorov equation with periodic boundary conditions. The unique solvability of numerical solution is shown. It is proved that there exists a global attractor of the discrete dynamical system. Furthermore, we obtain the long-time stability and convergence of the difference scheme and the upper semicontinuity d(Ah,τ, .A) → O. Our results show that the difference scheme can effectively simulate the infinite dimensional dynamical systems.展开更多
A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. ...A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.展开更多
Properties of an operator representing the dynamical time in the extended parameterization invariant formulation of quantum mechanics are studied. It is shown that this time operator is given by a positive operator me...Properties of an operator representing the dynamical time in the extended parameterization invariant formulation of quantum mechanics are studied. It is shown that this time operator is given by a positive operator measure analogously to the quantities that are known to represent various measurable time operators. The relation between the dynamical time of the extended formulation and the best known example of the system time operator, i.e., for the free one- dimensional particle, is obtained.展开更多
【目的】对城市交叉口采用的左转非机动车信号灯设施进行交通安全性量化评估。【方法】提出一种基于拓展碰撞时间(extended time to collision,ETTC)指标的左转非机动车信号灯安全效应评估方法。针对现有的碰撞时间(time to collision,T...【目的】对城市交叉口采用的左转非机动车信号灯设施进行交通安全性量化评估。【方法】提出一种基于拓展碰撞时间(extended time to collision,ETTC)指标的左转非机动车信号灯安全效应评估方法。针对现有的碰撞时间(time to collision,TTC)指标不适于评估交叉口左转非机动车冲突的问题,考虑非机动车车辆尺寸与加速度对交通冲突的影响,采用拓展碰撞时间指标,评估交叉口非机动车交通冲突。收集长沙市4个信号交叉口的视频大数据,利用视频软件Tracker提取车辆微观轨迹后,开展案例分析。【结果】左转非机动车信号灯在时间上明确了非机动车的通行权,其设置能显著降低非机动车冲突率,在平峰、高峰时段非机动车冲突率分别降低了40.11%、25.27%。在直行相位末期、左转相位即将启亮时,设置组的左转非机动车在待行区等待,冲突率降为0;而对比组近50%的非机动车违规左转,冲突严重。设置左转非机动车信号灯的改善效果随非机动车流量的增大呈先增加后降低趋势,而随机动车流量的增大呈逐步波动下降趋势。【结论】本研究揭示了非机动车左转信号灯的设置对减少交叉口交通冲突的影响,可为城市交叉口非机动车交通安全管控提供有益参考。展开更多
The evolution of solitons in Bose-Einstein condensates (BECs) with time-dependent atomic scattering length in an expulsive parabolic potential is studied. Based on the extended hyperbolic function method, we success...The evolution of solitons in Bose-Einstein condensates (BECs) with time-dependent atomic scattering length in an expulsive parabolic potential is studied. Based on the extended hyperbolic function method, we successfully obtain the bright and dark soliton solutions. In addition, some new soliton solutions in this model are found. The results in this paper include some in the literature (Phys. Rev. Lett. 94(2005)050402 and Chin. Phys. Lett. 22(2005) 1855).展开更多
Background: Drug adherence decreased in patients with Parkinson’ s disease (PD) because of taking many different types of drugs. We evaluated drug adherence after switching from immediate-release (IR) to once-daily e...Background: Drug adherence decreased in patients with Parkinson’ s disease (PD) because of taking many different types of drugs. We evaluated drug adherence after switching from immediate-release (IR) to once-daily extended-release (ER) pramipexole (PPX) in PD. Methods: This study included 35 PD patients (20 men, 15 women);10 were taking oral PPX alone, and 25 were also using another anti-PD drug. PPX-IR was switched overnight to PPX-ER without gradual tapering. One month after switching, improvement in timing adherence and reduction in medication burden were evaluated by a questionnaire using a visual analog scale (VAS) (0: No change;10: Better). Motor function was assessed using part III of the Unified Parkinson’s Disease Rating Scale (UPDRS). Results: The VAS score for improvement in timing adherence was 8.1 ± 0.5 (mean ± standard error), and that for reduction in medication burden was 7.3 ± 0.6. There was a significant negative correlation (ρ = -0.43, p = 0.01) between the VAS score and number of types of medications. The UPDRS part III score improved significantly after switching展开更多
To satisfy the terminal position and impact angel constraints,an optimal guidance problem was discussed for homing missiles. For a stationary or a slowly moving target on the ground,an extended trajectory shaping guid...To satisfy the terminal position and impact angel constraints,an optimal guidance problem was discussed for homing missiles. For a stationary or a slowly moving target on the ground,an extended trajectory shaping guidance lawconsidering a first-order autopilot lag( ETSG L-C FAL) was proposed. To derive the ETSG L-C FAL,a time-to-go- nth power weighted objection function was adopted and three different derivation methods were demonstrated while the Schwartz inequality method was mainly demonstrated.The performance of the ETSG L-C FAL and the ETSG L guidance laws was compared through simulation.Simulation results showthat although a first-order autopilot is introduced into the ETSG L-C FAL guidance system,the position miss distance and terminal impact angle error induced by the impact angle is zero for different guidance time.展开更多
Consider a continuous-time renewal risk model, in which every main claim induces a delayed by-claim. Assume that the main claim sizes and the inter-arrival times form a sequence of identically distributed random pairs...Consider a continuous-time renewal risk model, in which every main claim induces a delayed by-claim. Assume that the main claim sizes and the inter-arrival times form a sequence of identically distributed random pairs, with each pair obeying a dependence structure, and so do the by-claim sizes and the delay times. Supposing that the main claim sizes with by-claim sizes form a sequence of dependent random variables with dominatedly varying tails, asymptotic estimates for the ruin probability of the surplus process are investigated, by establishing a weakly asymptotic formula, as the initial surplus tends to infinity.展开更多
文摘Objective: To test the hypotheses that reading comprehension difficulties of adolescent students with ADHD: 1) are related not so much to weak verbal abilities or weak basic reading skills, as to impairments of working memory and processing speed characteristic of ADHD;and 2) that extended time on a test of reading comprehension would yield significantly higher reading comprehension scores than would standard time. Method: Charts of 145 adolescents 13-18 years diagnosed with DSM-IV ADHD and no specific reading disorder after a comprehensive clinical and psycho-educational evaluation, were reviewed to extract 1) word reading and word attack subtest scores from the Woodcock-Johnson Achievement Test or the Wechsler Individual Achievement Test;2) Index scores from WISC-IV or WAIS-III IQ tests;3) scores from the Nelson-Denny Reading Test. Results: Mean index scores for verbal comprehension abilities not including reading were in the high average range, but working memory and processing speed index scores were significantly weaker. Under standard time limits 53% were unable to complete the reading comprehension test and only 42.8% were able to score within 1 SD of their IQ verbal comprehension index (VCI). When allowed extended time, 77.9% were able to score within 1 SD of their VCI. T-test comparisons between standard time and extended time were significant at < 0.001. Conclusions: Allowing extended time for adolescents with ADHD to complete tests involving reading may help to compensate for their impairments of working memory and processing speed, allowing them to score closer to their actual verbal abilities.
基金Supported by the China Scholarship Council,National Natural Science Foundation of China(Grant No.11402022)the Interuniversity Attraction Poles Programme of the Belgian Science Policy Office(DYSCO)+1 种基金the Fund for Scientific Research–Flanders(FWO)the Research Fund KU Leuven
文摘The problem of linear time-varying(LTV) system modal analysis is considered based on time-dependent state space representations, as classical modal analysis of linear time-invariant systems and current LTV system modal analysis under the "frozen-time" assumption are not able to determine the dynamic stability of LTV systems. Time-dependent state space representations of LTV systems are first introduced, and the corresponding modal analysis theories are subsequently presented via a stabilitypreserving state transformation. The time-varying modes of LTV systems are extended in terms of uniqueness, and are further interpreted to determine the system's stability. An extended modal identification is proposed to estimate the time-varying modes, consisting of the estimation of the state transition matrix via a subspace-based method and the extraction of the time-varying modes by the QR decomposition. The proposed approach is numerically validated by three numerical cases, and is experimentally validated by a coupled moving-mass simply supported beam exper- imental case. The proposed approach is capable of accurately estimating the time-varying modes, and provides anew way to determine the dynamic stability of LTV systems by using the estimated time-varying modes.
文摘Consider an insurance risk model, in which the surplus process satisfies a recursive equationU n =U n?1(1+r n )?X n forn≥1, whereU 0=x≥0 is the initial surplus, {r n ;n≥1} the interest rate sequence, {X n ;n≥1} the sequence of i. i. d. real-valued random variables with common distribution functionF, which denotes the gross loss during thenth year. We investigate the ruin probability within a finite time horizon and give the asymptotic result asx→∞. Key words variable interest rate - extend regular variation - finite time ruin probability CLC number O 211.9 Foundation item: Supported by the National Natural Science Foundation of China (10071058, 70273029)Biography: WEI Xiao (1979-), female, Ph. D candidate, research direction: large deviations and its applications, insurance mathematics.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 50977008,60821063 and 61034005)National Basic Research Program of China (Grant No. 2009CB32060)
文摘This paper concerns the absolute stability problem of discrete-time descriptor systems with feedback connected ferromagnetic hysteresis nonlinearities. The ferromagnetic hysteresis model satisfies the passivity conditions of hysteresis operator, that is the input-output relation of the transformed operator is passive. The bound condition of the solution of the ferromagnetic hysteresis model is given. Through the framework of loop transformation, an augmented discrete-time descriptor system model is established for the stability analysis. A new extended Tsypkin criterion for the absolute stability of discrete-time descriptor systems with hysteresis is presented based on the linear matrix inequalities technique. A numerical example is given to illustrate the effectiveness of the extended criterion.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金The NSF (10871055) of Chinathe Fundamental Research Funds (HEUCFL20111102)for the Central Universities
文摘We present a numerical study of the long time behavior of approxima- tion solution to the Extended Fisher-Kolmogorov equation with periodic boundary conditions. The unique solvability of numerical solution is shown. It is proved that there exists a global attractor of the discrete dynamical system. Furthermore, we obtain the long-time stability and convergence of the difference scheme and the upper semicontinuity d(Ah,τ, .A) → O. Our results show that the difference scheme can effectively simulate the infinite dimensional dynamical systems.
基金supported by the National Natural Science Foundation of China(11572036)
文摘A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.
基金Project supported by the Ministry of Science and Education of the Republic of Serbia (Grant Nos. 171017, 171028, and 171006)
文摘Properties of an operator representing the dynamical time in the extended parameterization invariant formulation of quantum mechanics are studied. It is shown that this time operator is given by a positive operator measure analogously to the quantities that are known to represent various measurable time operators. The relation between the dynamical time of the extended formulation and the best known example of the system time operator, i.e., for the free one- dimensional particle, is obtained.
文摘【目的】对城市交叉口采用的左转非机动车信号灯设施进行交通安全性量化评估。【方法】提出一种基于拓展碰撞时间(extended time to collision,ETTC)指标的左转非机动车信号灯安全效应评估方法。针对现有的碰撞时间(time to collision,TTC)指标不适于评估交叉口左转非机动车冲突的问题,考虑非机动车车辆尺寸与加速度对交通冲突的影响,采用拓展碰撞时间指标,评估交叉口非机动车交通冲突。收集长沙市4个信号交叉口的视频大数据,利用视频软件Tracker提取车辆微观轨迹后,开展案例分析。【结果】左转非机动车信号灯在时间上明确了非机动车的通行权,其设置能显著降低非机动车冲突率,在平峰、高峰时段非机动车冲突率分别降低了40.11%、25.27%。在直行相位末期、左转相位即将启亮时,设置组的左转非机动车在待行区等待,冲突率降为0;而对比组近50%的非机动车违规左转,冲突严重。设置左转非机动车信号灯的改善效果随非机动车流量的增大呈先增加后降低趋势,而随机动车流量的增大呈逐步波动下降趋势。【结论】本研究揭示了非机动车左转信号灯的设置对减少交叉口交通冲突的影响,可为城市交叉口非机动车交通安全管控提供有益参考。
基金Project supported by the National Natural Science Foundation of China (Grant Nos 1057508 and 10302018), the Natural Science Foundation of Zhejiang Province, China (Grant No Y605056).
文摘The evolution of solitons in Bose-Einstein condensates (BECs) with time-dependent atomic scattering length in an expulsive parabolic potential is studied. Based on the extended hyperbolic function method, we successfully obtain the bright and dark soliton solutions. In addition, some new soliton solutions in this model are found. The results in this paper include some in the literature (Phys. Rev. Lett. 94(2005)050402 and Chin. Phys. Lett. 22(2005) 1855).
文摘Background: Drug adherence decreased in patients with Parkinson’ s disease (PD) because of taking many different types of drugs. We evaluated drug adherence after switching from immediate-release (IR) to once-daily extended-release (ER) pramipexole (PPX) in PD. Methods: This study included 35 PD patients (20 men, 15 women);10 were taking oral PPX alone, and 25 were also using another anti-PD drug. PPX-IR was switched overnight to PPX-ER without gradual tapering. One month after switching, improvement in timing adherence and reduction in medication burden were evaluated by a questionnaire using a visual analog scale (VAS) (0: No change;10: Better). Motor function was assessed using part III of the Unified Parkinson’s Disease Rating Scale (UPDRS). Results: The VAS score for improvement in timing adherence was 8.1 ± 0.5 (mean ± standard error), and that for reduction in medication burden was 7.3 ± 0.6. There was a significant negative correlation (ρ = -0.43, p = 0.01) between the VAS score and number of types of medications. The UPDRS part III score improved significantly after switching
基金Supported by the National Natural Science Foundation of China(61172182)
文摘To satisfy the terminal position and impact angel constraints,an optimal guidance problem was discussed for homing missiles. For a stationary or a slowly moving target on the ground,an extended trajectory shaping guidance lawconsidering a first-order autopilot lag( ETSG L-C FAL) was proposed. To derive the ETSG L-C FAL,a time-to-go- nth power weighted objection function was adopted and three different derivation methods were demonstrated while the Schwartz inequality method was mainly demonstrated.The performance of the ETSG L-C FAL and the ETSG L guidance laws was compared through simulation.Simulation results showthat although a first-order autopilot is introduced into the ETSG L-C FAL guidance system,the position miss distance and terminal impact angle error induced by the impact angle is zero for different guidance time.
基金Supported by the National Natural Science Foundation of China(11301481,11201422,11371321)Zhejiang Provincial Key Research Base for Humanities and Social Science Research(Statistics)Foundation for Young Talents of ZJGSU(1020XJ1314019)
文摘Consider a continuous-time renewal risk model, in which every main claim induces a delayed by-claim. Assume that the main claim sizes and the inter-arrival times form a sequence of identically distributed random pairs, with each pair obeying a dependence structure, and so do the by-claim sizes and the delay times. Supposing that the main claim sizes with by-claim sizes form a sequence of dependent random variables with dominatedly varying tails, asymptotic estimates for the ruin probability of the surplus process are investigated, by establishing a weakly asymptotic formula, as the initial surplus tends to infinity.