Anomaly detection plays a significant role in helping gas turbines run reliably and economically. Considering the collective anomalous data and both sensitivity and robustness of the anomaly detection model, a sequential symbolic anomaly detection method is proposed and applied to the gas turbine fuel system. A structural Finite State Machine is used to evaluate posterior probabilities of obser...

To improve solution efficiency and automation of assembly sequence planning, a symbolic ordered binary decision diagram (OBDD) technique for assembly sequence planning problem based on unordered partition with 2 parts of a positive integer is proposed. To convert the decomposition of assembly liaison graph into solving unordered partition with 2 parts of positive integer N, a transformation met...

Children take years to learn symbolic arithmetic. Nevertheless, non-human animals, human adults with no formal education, and human infants represent approximate number in arrays of objects and sequences of events, and they use these capacities to perform approximate addition and subtraction. Do children harness these abilities when they begin to learn school mathematics? In two experiments in ...

The analysis of time series is extremely important in the field of medicine, because this is the format of many medical data types. Most of the approaches that address this problem are based on numerical algorithms that calculate distances, clusters, reference models, etc. However, a symbolic rather than numerical analysis is sometimes needed to search for the characteristics of time series. Sy...

Anomaly detection plays a significant role in helping gas turbines run reliably and economically. Considering collective anomalous data and both sensitivity and robustness of the anomaly detection model, a sequential symbolic anomaly detection method is proposed and applied to the gas turbine fuel system. A structural Finite State Machine is to evaluate posterior probabilities of observing symb...

The symbolic sequences of the exons that make human proteins are subjected to methods of statistical linguistics. The ideas developed for the natural languages by G. K. Zipf, when applied to these sequences, show significant promise. In particular, we argue, the Zipf's exponent differentiates, and hence, identifies disparate human sequences.

In this paper, we present some formulas of symbolic operator summation, which involving Generalization well-know number sequences or polynomial sequences, and mean while we obtain some identities about the sequences by employing M-R‘s substitution rule. Keywords—Generating functions; Operators sequence group; Riordan arrays; R.G Operator group; Combinatorial identities.

the aim of this paper is to improve the performance of the conventional goertzel algorithm in determining the protein codingregions in deoxyribonucleic acid (dna) sequences. first, the symbolic dna sequences are converted into numerical signals usingelectron ion interaction potential method. then by combining the modified anti-notch filter and linear predictive coding model,we proposed an effic...

This thesis deals with the problem of anomaly detection for sequence data. Anomaly detection has been a widely researched problem in several application domains such as system health management, intrusion detection, healthcare, bioinformatics, fraud detection, and mechanical fault detection. Traditional anomaly detection techniques analyze each data instance (as a univariate or multivariate rec...

INKUMSAH, KOBI K. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. (Under the direction of Dr. Tao Xie). Achieving high structural coverage such as branch coverage in object-oriented programs is an important and yet challenging goal due to two main challenges. First, some branches involve complex program logics and generating ...