Comparative evaluation of different statistical tools for the prediction of uniaxial compressive strength of rocks

In this study, uniaxial compressive strength (UCS), unit weight (UW), Brazilian tensile strength (BTS), Schmidt hardness (SHH), Shore hardness (SSH), point load index (Is₅₀) and P-wave velocity (V_p) properties were determined. To predict the UCS, simple regression (SRA), multiple regression (MRA), artificial neural network (ANN), adaptive neuro-fuzzy inference system (ANFIS) and genetic expression programming (GEP) have been utilized. The obtained UCS values were compared with the actual UCS values with the help of various graphs. Datasets were modeled using different methods and compared with each other. In the study where the performance indice PI_at was used to determine the best performing method, MRA method is the most successful method with a small difference. It is concluded that the mean PI_at equal to 2.46 for testing dataset suggests the superiority of the MRA, while these values are 2.44, 2.33, and 2.22 for GEP, ANFIS, and ANN techniques, respectively. The results pointed out that the MRA can be used for predicting UCS of rocks with higher capacity in comparison with others. According to the performance index assessment, the weakest model among the nine model is P7, while the most successful models are P2, P9, and P8, respectively.     

Inverted pendulum stabilization: Characterization of codimension-three triple zero bifurcation via multiple delayed proportional gains

The paper considers the problem of stabilization of systems possessing a multiple zero eigenvalue at the origin. The controller that we propose, uses multiple delayed measurements instead of derivative terms. Doing so, we increase the performances of the closed loop in presence of system uncertainties and/or noisy measurements. The problem formulation and the analysis is presented through a classical engineering problem which is the stabilization of an inverted pendulum on a cart moving horizontally. On one hand, we perform a nonlinear analysis of the center dynamics described by a three dimensional system of ordinary differential equations with a codimension-three triple zero bifurcation. On the other hand, we present the complementary stability analysis of the corresponding linear time invariant system with two delays describing the behavior around the equilibrium. The aim of this analysis is to characterize the possible local bifurcations. Finally, the proposed control scheme is numerically illustrated and discussed.     

Transport Map sampling with PGD model reduction for fast dynamical Bayesian data assimilation

The motivation of this work is to address real-time sequential inference of parameters with a full Bayesian formulation. First, the proper generalized decomposition (PGD) is used to reduce the computational evaluation of the posterior density in the online phase. Second, Transport Map sampling is used to build a deterministic coupling between a reference measure and the posterior measure. The determination of the transport maps involves the solution of a minimization problem. As the PGD model is quasi-analytical and under a variable separation form, the use of gradient and Hessian information speeds up the minimization algorithm. Eventually, uncertainty quantification on outputs of interest of the model can be easily performed due to the global feature of the PGD solution over all coordinate domains. Numerical examples highlight the performance of the method.     

Superior foetal electrocardiogram signal elicitation using a novel artificial intelligent Bayesian methodology

Innumerable casualties due to intrauterine hypoxia are a major worry during prenatal phase besides advanced patient monitoring with latest science and technology. Hence, the analysis of foetal electrocardiogram (fECG) signals is very vital in order to evaluate the foetal heart status for timely recognition of cardiac abnormalities. Regrettably, the latest technology in the cutting edge field of biomedical signal processing does not seem to yield the desired quality of fECG signals required by physicians, which is the major cause for the pathetic condition. The focus of this work is to extort non-invasive fECG signal with highest possible quality with a motive to support physicians in utilizing the methodology for the latest intrapartum monitoring technique called STAN (ST analysis) for forecasting intrapartum foetal hypoxia. However, the critical quandary is that the non-invasive fECG signals recorded from the maternal abdomen are affected by several interferences like power line interference, baseline drift interference, electrode motion interference, muscle movement interference and the maternal electrocardiogram (mECG) being the dominant interference. A novel hybrid methodology called BANFIS (Bayesian adaptive neuro fuzzy inference system) is proposed. The BANFIS includes a Bayesian filter and an adaptive neuro fuzzy filter for mECG elimination and non-linear artefacts removal to yield high quality fECG signal. Kalman filtering frame work has been utilized to estimate the nonlinear transformed mECG component in the abdominal electrocardiogram (aECG). The adaptive neuro fuzzy filter is employed to discover the nonlinearity of the nonlinear transformed version of mECG and to align the estimated mECG signal with the maternal component in the aECG signal for annulment. The outcomes of the investigation by the proposed BANFIS system proved valuable for STAN system for efficient prediction of foetal hypoxia.     

Prediction of rock mass P wave velocity using blasthole drilling information

In this paper, the development of the models for the prediction of rock mass P wave velocity is presented. For model development, the database of 53 cases including widely used and recorded drilling parameters and P wave velocity was constructed from the field studies conducted in 13 open pit lignite mines. Both conventional linear, non-linear multiple regression and Adaptive Neuro Fuzzy Inference System (ANFIS) were used for model development. Prediction performance indicators showed that ANFIS model presented the best performance and it can successfully be used for the preliminary prediction of P wave velocities of rock masses.     

深水井控中节流管线摩阻分析及压井方法

在海洋深水钻井中，防喷器组一般安装在海底，当发生井涌进行压井作业时．由于节流管线较长、内径较小，钻井液在节流管线内存在高摩阻损失，作用在井底的压力往往大于地层的破裂压力．从而引起压井过程的复杂化，甚至造成压井作业的失败。介绍了一种新的压井方法附加流量法，在返出的节流管线流体中混入低密度流体，降低节流管线内流体的粘度和密度，从而实现安全压井；详细介绍了压井方法和步骤。数据分析表明，通过对压井参数进行优化选择能够降低节流管线中的压耗。     

Accurate estimation of capacities and cross-traffic of all links in a path using ICMP timestamps

The estimation of the link capacity and its available bandwidth in an end-to-end path is crucial for network management, admission control and flow control for adaptive applications. This paper introduces an estimation mechanism able to accurately estimate the available bandwidth of all links in an end-to-end path, through its capacity and cross-traffic estimation. The estimation procedures resort to the dispersions of packet pairs and trains using the concepts of ICMP Timestamp and Traceroute that, efficiently used together, enable the measurement of the dispersions in all links in the path. These mechanisms were evaluated through simulation experiments, where we analyzed the influence of the several network parameters on each estimation mechanism. The results show that these estimation methods are able to accurately estimate both the capacity and the cross-traffic of all links in a path with moderate length and with low overhead.     

The Person Reference Process in Spontaneous Trait Inferences.

Five studies examined whether spontaneous trait inferences uniquely reference the person who performed a trait-implying behavior. On each study trial in 5 studies, participants saw 2 faces and a behavioral sentence referring to one of them. Later, participants saw face-trait pairs and indicated whether they had seen the trait word in the sentence presented with the face. Participants falsely recognized implied traits more when these traits were paired with actors' faces than with control faces. This effect was replicated for a large set effaces (120), after a week delay between study and recognition test, when equal attention was paid to each face, and when the orientation of the face at recognition was different from the orientation at encoding. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

万家寨引黄工程北干1号隧洞Ⅳ标155-274型TBM主轴承总成组装概要

文中对万家寨引黄工程北干线1号隧洞Ⅳ标使用的155—274型TBM主轴承总成各部件组装过程及其相应的技术要求进行了概要的描述，目的是进一步熟悉155—274型TBM主轴承总成的各个部件并加深对主轴承工作原理的理解。     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.