Research on time structure characteristic of gas concentration sequence in the working face

In the procedure of coal industry production, the losses of the persons and economy caused by the gas explosion accidents are most serious, therefore, prevention and control of the gas explosion accident of the coal mines is an important issue needed to be solved urgently in the safety production work of our coal mines. The characteristic of time structure variation index characteristic was analyzed about gas concentration sequence of three measure points in the NO. 1I 1024 working face. It was found that the value of time variation about three measure points was mostly 1〈δ≤1.5, and gas emission presented consistently strong-clustering state twice, and the value of time variation presented continuous variation state in the active stage of gas concentration. Complex characteristics of the value indicated gas emission was continuously variable in time or space and presented the complex nonlinear characteristics. So the characteristic about gas emission system was correctly depicted and analyzed to gas emission system according to the relation of its state variation and essential of nonlinear system. The result also provided reliable warranty for its continued nonlinear research on gas emission.

A test sequence generation method of zone controller based on timed automata

In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.

Time Sequence of Himalayan Endogenetic Mineralization on the East Side of the Qinghai-Tibet Plateau

Among the endogenetic deposits in the Sanjiang area and at the west margin of the Yangtze platform, Himalayan deposits are the most important and contribute a large proportion of the resources of superlarge deposits. Among the controlled resources of this region, 84% of copper resources, 67% of Pb-Zn, 31% of Ag, 77% of gold and 24% of tin come from Himalayan deposits on the east side of the Qinghai-Tibet plateau. Himalayan endogenetic mineralization shows a relatively complete sequence evolution in the Sanjiang area and on the west margin of the Yangtze platform. Mineralization is manifested by gold deposits related to K-rich lamprophyre, REE deposits related to alkalic complexes and Cu-Au-polymetallic deposits related to alkaline porphyry. Six sequences of mineralization evolution since 65 Ma B.P. in the Sanjiang area and on the west side of the Yangtze platform can be recognized. Himalayan endogenetic mineralization on the east side of the Qinghai-Tibet plateau reached its peak before the Oligocene, corresponding to episodes I and II of the intracontinental orogenic cycle. Afterwards, mineralization waned obviously.

Research on the Application of Time Structure Variation Analysis to the Jiashi-Bachu Earthquake Swarm Sequence

In 1997 - 2003, 27 earthquakes with M≥ 5.0 occurred in the Jiashi-Bachu area of Xinjiang. It was a rare strong earthquake swarm activity. The earthquake swarm has three time segments of activity with different magnitudes in the years 1997, 1998 and 2003. In different time segments, the seismic activity showed strengthenin-qguiet changes in various degrees before earthquakes with M ≥ 5.0. In order to delimitate effectively the precursory meaning of the clustering （strengthening） quiet change in sequence and to seek the time criterion for impending prediction, the nonlinear characteristics of seismic activity have been used to analyze the time structure characteristics of the earthquake swarm sequence, and further to forecast the development tendency of earthquake sequences in the future. Using the sequence catalogue recorded by the Kashi Station, and taking the earthquakes with Ms≥ 5.0 in the sequence as the starting point and the next earthquake with Ms = 5.0 as the end, statistical analysis has been performed on the time structure relations of the earthquake sequence in different stages. The main results are as follows： （1） Before the major earthquakes with M ≥ 5.0 in the swarm sequence, the time variation coefficient （δ-value） has abnormal demonstrations to different degrees. （2） Within 10 days after δ= 1, occurrence of earthquakes with M ≥ 5.0 in the swarm is very possible. （3） The time variation coefficient has three types of change. （4） The change process before earthquakes with M5.0 is similar to that before earthquakes with M6.0, with little difference in the threshold value. In the earthquake swarm sequence, it is difficult to delimitate accurately the attribute of the current sequences （foreshock or aftershock sequence） and to judge the magnitude of the follow-up earthquake by δ-value. We can only make the judgment that earthquakes with M5.0 are likely to occur in the sequence. （5） The critical clustering characteristics of the sequence are hierarchical. Only corresponding to a certain magnitude can the sequence have the variation state of critical clustering. （6） The coefficient of the time variation has a clear meaning in physics. After the clustering-quiet state of earthquake activity has appeared, it can describe clearly the randomness of the seismogenic system. Furthermore, it can efficiently clarify whether or not the clustering quiescence variation is of some prognostic meaning. In the case that the earthquake frequency attenuation is essentially normal （h 〉 1 ） and there is no remarkable clustering-quiescence state, it is still possible to discover the abnormal change of the sequence from the time variation coefficient. On the contrary, in the later period of swarm activity, after the appearance of many seismic quiescence phenomena, this coefficient did not appear abnormally, even when h 〈 1, suggesting that the δ-value diagnosis is more universal.

A Hybrid Estimation of Distribution Algorithm for Unrelated Parallel Machine Scheduling with Sequence-Dependent Setup Times

A hybrid estimation of distribution algorithm (EDA) with iterated greedy (IG) search (EDA-IG) is proposed for solving the unrelated parallel machine scheduling problem with sequence-dependent setup times (UPMSP-SDST). For makespan criterion, some properties about neighborhood search operators to avoid invalid search are derived. A probability model based on neighbor relations of jobs is built in the EDA-based exploration phase to generate new solutions by sampling the promising search region. Two types of deconstruction and reconstruction as well as an IG search are designed in the IG-based exploitation phase. Computational complexity of the algorithm is analyzed, and the effect of parameters is investigated by using the Taguchi method of design-of-experiment. Numerical tests on 1640 benchmark instances are carried out. The results and comparisons demonstrate the effectiveness of the EDA-IG. Especially, the bestknown solutions of 531 instances are updated. In addition, the effectiveness of the properties is also demonstrated by numerical comparisons. © 2014 Chinese Association of Automation.

Single Machine Scheduling with Time-Dependent Learning Effect and Non-Linear Past-Sequence-Dependent Setup Times

This paper studies a single machine scheduling problem with time-dependent learning and setup times. Time-dependent learning means that the actual processing time of a job is a function of the sum of the normal processing times of the jobs already scheduled. The setup time of a job is proportional to the length of the already processed jobs, that is, past-sequence-dependent (psd) setup time. We show that the addressed problem remains polynomially solvable for the objectives, i.e., minimization of the total completion time and minimization of the total weighted completion time. We also show that the smallest processing time (SPT) rule provides the optimum sequence for the addressed problem.

Real Time Power Monitoring Detection Based on Sequence Time Domain Reflectometry Approach

Sequence Time Domain Reflectometry (STDR) have been demonstrated to be a powerful technique for detecting the length of cable or length of open circuit or short circuit cables. Using this method along with using smart meter on the main electrical panel board to monitor consumption if load at each circuit, enable user to monitor power consumption at each node (power outlet) only by operating a smart digital meter and an STDR circuitry on each circuit at the main electrical panel board. This paper introduces this method and examines it on dead-wire and energized wire with a load connected across it. Experimental results are demonstrated for both types. Test result show the potential application of this approach to provide consumption information and potential cost saving via feedback for users.

Nonlinear Time-Varying Systems Identification Using Basis Sequence Expansions Combined with Neural Networks

A new method for identifying nonlinear time varying systems with unknown structure is presented. The method extends the application area of basis sequence identification. The essential idea is to utilize the learning and nonlinear approximating ability of neural networks to model the non linearity of the system, characterize time varying dynamics of the system by the time varying parametric vector of the network, then the parametric vector of the network is approximated by a weighted sum of known basis sequences. Because of black box modeling ability of neural networks, the presented method can identify nonlinear time varying systems with unknown structure. In order to improve the real time capability of the algorithm, the neural network is trained by a simple fast learning algorithm based on local least squares presented by the authors. The effectiveness and the performance of the method are demonstrated by some simulation results.

The asymptotic relation between the first crossing point and the last exit time of Gaussian order statistics sequences

In this paper,we study the asymptotic relation between the first crossing point and the last exit time for Gaussian order statistics which are generated by stationary weakly and strongly dependent Gaussian sequences.It is shown that the first crossing point and the last exit time are asymptotically independent and dependent for weakly and strongly dependent cases,respectively.The asymptotic relations between the first crossing point and the last exit time for stationary weakly and strongly dependent Gaussian sequences are also obtained.

Identical Machine Scheduling Problem with Sequence-Dependent Setup Times: MILP Formulations Computational Study

This work aims to give a systematic construction of the two families of mixed-integer-linear-programming (MILP) formulations, which are graph- based and sequence-based, of the well-known scheduling problem. Two upper bounds of job completion times are introduced. A numerical test result analysis is conducted with a two-fold objective 1) testing the performance of each solving methods, and 2) identifying and analyzing the tractability of an instance according to the instance structure in terms of the number of machines, of the jobs setup time lengths and of the jobs release date distribution over the scheduling horizon.

Real-Time Update of Sequence Placement Logic for High Arch Dams Based on Evidence Weight Discount

Sequence placement logic plays a significant role in construction simulation of high arch dams and directly affects the simulation process and results. To establish a sequence logic for dam block placement, the construction scheme, real-time construction process, and random factors of the site all need to be considered in detail. There are few studies available currently that take all these factors into consideration. To address this problem, a real-time update of sequence placement logic for high arch dams based on evidence weight discount is proposed in this study. First, the subjective weight of the dam block sequence priority criteria is built using a consistent matrix method based on the construction scheme. Second, using evidence theory, dynamic objective weight of the priority criteria and basic probability assignment is built. Finally, using a weight self-adaptive adjustment method and comprehensive evidence discounting, the placing probabilities of different dam blocks are obtained. A case study indicates that this method can realize real-time update of sequence placement logic. © 2017, Tianjin University and Springer-Verlag Berlin Heidelberg.

An Analysis of Time Sequence in Mrs. Dalloway

Mrs.Dalloway is one of Virginia Woolf's best-selling work,which narrows time span of twenty years down to one day,fully demonstrating the distinctive feature of stream of consciousness.This essay analyzes Woolf's tactful treatment of time sequence in showing character's personalities.

A Linear Programming Approach for Parallel Cell Scheduling with Sequence-Dependent Setup Times

In this study, we consider the problem of scheduling a set of jobs with sequence-dependent setup times on a set of parallel production cells. The objective of this study is to minimize the total completion time. We note that total customer demands for each type should be satisfied, and total required production time in each cell cannot exceed the capacity of the cell. This problem is formulated as an integer programming model and an interface is designed to provide integrity between data and software. Mathematical model is tested by both randomly generated data set and real-world data set from a factory that produce automotive components. As a result of this study, the solution which gives the best alternative production schedule is obtained.

Time-Hopping Sequence Design for Virtual Full Duplex via Rapid On-Off-Division Duplex

To achieve virtual full-duplex(VFD)communication using half-duplex radios,the rapid on-off-division(RODD)technique has been proposed in recent years.The time-hopping(TH)sequence is critical to controlling self-interference introduced in the paradigm.By constructing the collision model with a symbol level time scale,the periodic collision correlation function properties are introduced as the performance metric for the TH sequence in the RODD system.To achieve the best VFD performance,an optimization-based method for TH sequence design is proposed.In addition,the conventional TH frame structure design for RODD system is improved.Numerical simulations are presented to demonstrate that the proposed approach can significantly increase system performance.Results indicate that the TH sequence design is very effective for the RODD system.

Male Music Frogs Compete Vocally on the Basis of Temporal Sequence Rather Than Spatial Cues of Rival Calls

Male-male vocal competition in anuran species may be influenced by cues related to the temporal sequence of male calls as well by internal temporal, spectral and spatial ones. Nevertheless, the conditions under which each type of cue is important remain unclear. Since the salience of different cues could be reflected by dynamic properties of male-male competition under certain experimental manipulation, we investigated the effects of repeating playbacks of conspecific calls on male call production in the Emei music frog（Babina daunchina）. In Babina, most males produce calls from nest burrows which modify the spectral features of the cues. Females prefer calls produced from inside burrows which are defined as highly sexually attractive（HSA） while those produced outside burrows as low sexual attractiveness（LSA）. In this study HSA and LSA calls were broadcasted either antiphonally or stereophonically through spatially separated speakers in which the temporal sequence and/or spatial position of the playbacks was either predictable or random. Results showed that most males consistently avoided producing advertisement calls overlapping the playback stimuli and generally produced calls competitively in advance of the playbacks. Furthermore males preferentially competed with the HSA calls when the sequence was predictable but competed equally with HSA and LSA calls if the sequence was random regardless of the availability of spatial cues, implying that males relied more on available sequence cues than spatial ones to remain competitive.

Effect of Sludge Retention Time on Nitrite Accumulation in Real-time Control Biological Nitrogen Removal Sequencing Batch Reactor

In this study,four sequencing batch reactors(SBR),with the sludge retention time(SRT)of 5,10,20 and 40 d,were used to treat domestic wastewater,and the effect of SRT on nitrite accumulation in the biological nitrogen removal SBR was investigated.The real-time control strategy based on online parameters,such as pH,dissolved oxygen(DO)and oxidation reduction potential(ORP),was used to regulate the nitrite accumulation in SBR. The model-based simulation and experimental results showed that with the increase of SRT,longer time was needed to achieve high level of nitritation.In addition,the nitrite accumulation rate(NAR)was higher when the SRT was relatively shorter during a 112-day operation.When the SRT was 5 d,the system was unstable with the mixed liquor suspended solids(MLSS)decreased day after day.When the SRT was 40 d,the nitrification process was significantly inhibited.SRT of 10 to 20 d was more suitable in this study.The real-time control strategy combined with SRT control in SBR is an effective method for biological nitrogen removal via nitrite from wastewater.

Exploring the hepatitis C virus genome using single molecule realtime sequencing

Single molecular real-time(SMRT)sequencing,also called third-generation sequencing,is a novel sequencing technique capable of generating extremely long contiguous sequence reads.While conventional short-read sequencing cannot evaluate the linkage of nucleotide substitutions distant from one another,SMRT sequencing can directly demonstrate linkage of nucleotide changes over a span of more than 20 kbp,and thus can be applied to directly examine the haplotypes of viruses or bacteria whose genome structures are changing in real time.In addition,an error correction method(circular consensus sequencing)has been established and repeated sequencing of a single-molecule DNA template can result in extremely high accuracy.The advantages of long read sequencing enable accurate determination of the haplotypes of individual viral clones.SMRT sequencing has been applied in various studies of viral genomes including determination of the full-length contiguous genome sequence of hepatitis C virus(HCV),targeted deep sequencing of the HCV NS5A gene,and assessment of heterogeneity among viral populations.Recently,the emergence of multi-drug resistant HCV viruses has become a significant clinical issue and has been also demonstrated using SMRT sequencing.In this review,we introduce the novel third-generation PacBio RSII/Sequel systems,compare them with conventional next-generation sequencers,and summarize previous studies in which SMRT sequencing technology has been applied for HCV genome analysis.We also refer to another long-read sequencing platform,nanopore sequencing technology,and discuss the advantages,limitations and future perspectives in using these thirdgeneration sequencers for HCV genome analysis.

An efficient training sequences strategy for channel estimation in OFDM systems with transmit diversity

This paper deals with channel estimation for orthogonal frequency-division multiplexing (OFDM) systems with transmit diversity. Space time coded OFDM systems, which can provide transmit diversity, require perfect channel estimation to improve communication quality. In actual OFDM systems, training sequences are usually used for channel estimation. The authors propose a training based channel estimation strategy suitable for space time coded OFDM systems. This novel strategy provides enhanced performance, high spectrum efficiency and relatively low computation complexity.

Next Generation Transcriptome Sequencing and Quantitative Real-Time PCR Technologies for Characterisation of the Bemisia tabaci Asia 1 mtCOI Phylogenetic Clade

A programme of functional genomics research is underway at the University of Greenwich,UK,to develop and apply genomics technologies to characterise an economically-important but under-researched Bemisia tabaci（Hemiptera：Aleyrodidae）,the Asia 1 mtCOI phylogenetic group.A comparison of this putative species from India with other important B.tabaci populations and insect species may provide targets for the development of more effective whitefly control strategies.As a first step,next-generation sequencing（NGS）has been used to survey the transcriptome of adult female whitefly,with high quality RNA preparations being used to generate cDNA libraries for NGS using the Roche 454 Titanium DNA sequencing platform.Contig assemblies constructed from the resultant sequences（301 094 reads）using the software program CLC Genomics Workbench generated 3 821 core contigs.Comparison of a selection of these contigs with related sequences from other B.tabaci genetic groups has revealed good alignment for some genes（e.g.,HSP90）but misassemblies in other datasets（e.g.,the vitellogenin gene family）,highlighting the need for manual curation as well as collaborative international efforts to obtain accurate assemblies from the existing next generation sequence datasets.Nevertheless,data emerging from the NGS has facilitated the development of accurate and reliable methods for analysing gene expression based on quantitative real-time RT-PCR,illustrating the power of this approach to enable rapid expression analyses in an organism for which a complete genome sequence is currently lacking.