In the early stage of vocal music education, students generally do not understand structure human body, and have doubts about how to pronounce their voices scientifically. However, with continuous development computers, computer technology has become more developed, processing speed been greatly increased, which provides favorable conditions for application spectrum analysis in teaching. this p...

Existing methods for keyphrase extraction need preprocessing to generate candidate phrase or post-processing transform keyword into keyphrase. In this paper, we propose a novel approach called duration modeling with semi-Markov Conditional Random Fields (DM-SMCRFs) extraction. First of all, based on the property chain, DM-SMCRFs can encode segment-level features and sequentially classify in sen...

In this paper the development of a single set of design parameters of the sizing of the tidally affected detention pond system was analyzed and tested. The approach uses critical duration single storm event of specified return period, together with a single harmonic tide. The design flood level is then the aggregate of the levels obtained using the system model with the four phase lags between ...

Last Lecture: • Model of timed behaviour: state variables and their interpretation • First order predicate-logic for requirements and system properties This Lecture: • Educational Objectives: Capabilities for following tasks/questions. • Read (and at best also write) Duration Calculus formulae. • Content: • Classes of requirements (safety, liveness, etc.) • Duration Calculus: Assertions, Terms,...

We are interested in generating tests for duration systems modeling real-time systems. The specification of a duration system is given as a duration graph. Duration graphs are an extension of timed graphs and are suitable for modeling the accumulated times spent by computations within the considered duration system. In this paper, we present a method for generating tests for duration systems ba...

In this paper, a novel syllable duration modeling approach for Mandarin speech is proposed. It explicitly takes several main affecting factors as multiplicative companding parameters and estimates all model parameters by an EM algorithm. Experimental results showed that the variance of the observed syllable duration was greatly reduced from 183.4 frame (1 frame = 5 ms) to 18.5 frame by eliminat...

Research on travel demand modeling has primarily focused on weekday activity-travel patterns. However, weekend activities and travel constitute a major component of individuals’ overall weekly activity-travel participation. This paper describes a modeling effort that focuses on discretionary-event weekend activity-travel demand. This study bridges the gap in the literature by modeling discretio...