BAYESIAN BELIEF NETWORK AND FUZZY LOGIC ADAPTIVE MODELING OF DYNAMIC SYSTEM: EXTENSION AND COMPARISON

The purpose of this thesis is to develop, expand, compare and contrast two methodologies, namely BBN and FLM, which are used in the modeling of the dynamics of physical system behavior and are instrumental in a better understanding on the POF. The paper begins with an introduction of the proposed approaches in the modeling of complex physical systems, followed by a quick literature review of FLM and BBN. This thesis uses an existing pump system [3] as a case study, where the resulting NPSHA data obtained from the applications of BBN and FLM are compared with the outputs derived from the implementation of a Mathematical Model. Based on these findings, discussions and analyses are made, including the identification of the respective strengths and weaknesses posed by the two methodologies. Last but not least, further extensions and improvements towards this research are discussed at the end of this paper

Constraint on parity-violating muonic forces

Using the nonobservance of missing mass events in the leptonic kaon decay $K \to \mu X$, we place a strong constraint on exotic parity-violating gauge interactions of the right-handed muon. By way of illustration, we apply it to an explanation of the proton size anomaly that invokes such a new force; scenarios in which the gauge boson decays invisibly or is long-lived are constrained.Comment: 3 pages, 3 figures. Version to appear in PR

Interseismic deformation above the Sunda Megathrust recorded in coral microatolls of the Mentawai islands, West Sumatra

The geomorphology and internal stratigraphy of modern coral microatolls show that all the outer arc Mentawai islands of West Sumatra have been subsiding over the past several decades. These same islands rose as much as 3 m during the giant megathrust earthquakes of 1797 and 1833, and the current subsidence probably reflects strain accumulation that will lead to future large earthquakes. Average subsidence rates over the past half century vary from 2 to 14 mm yr^(−1) and increase southwestward, toward the subduction trench. The pattern is consistent with rates of subsidence measured by a sparse network of continuously recording Global Positioning System (cGPS) stations and with locking of a 400-km-long section of the underlying subduction megathrust, between about 1°S and 4°S. This record of subsidence and tilting, extending nearly a century into the past, implies that the region is advancing toward the occurrence of another giant earthquake. However, evidence of episodic rather than steady subsidence reflects a behavior that is more complex than simple elastic strain accumulation and relief. Most prominent of these episodes is an extensive emergence/subsidence couplet in about 1962, which may be the result of rapid, aseismic slip on the megathrust, between the islands and the trench. Lower subsidence rates recorded by the corals since about 1985 may reflect failure on many small patches within the locked section of the megathrust

Regional association of pCASL-MRI with FDG-PET and PiB-PET in people at risk for autosomal dominant Alzheimer's disease.

Autosomal dominant Alzheimer's disease (ADAD) is a small subset of Alzheimer's disease that is genetically determined with 100% penetrance. It provides a valuable window into studying the course of pathologic processes that leads to dementia. Arterial spin labeling (ASL) MRI is a potential AD imaging marker that non-invasively measures cerebral perfusion. In this study, we investigated the relationship of cerebral blood flow measured by pseudo-continuous ASL (pCASL) MRI with measures of cerebral metabolism (FDG PET) and amyloid deposition (Pittsburgh Compound B (PiB) PET). Thirty-one participants at risk for ADAD (age 39 ± 13 years, 19 females) were recruited into this study, and 21 of them received both MRI and FDG and PiB PET scans. Considerable variability was observed in regional correlations between ASL-CBF and FDG across subjects. Both regional hypo-perfusion and hypo-metabolism were associated with amyloid deposition. Cross-sectional analyses of each biomarker as a function of the estimated years to expected dementia diagnosis indicated an inverse relationship of both perfusion and glucose metabolism with amyloid deposition during AD development. These findings indicate that neurovascular dysfunction is associated with amyloid pathology, and also indicate that ASL CBF may serve as a sensitive early biomarker for AD. The direct comparison among the three biomarkers provides complementary information for understanding the pathophysiological process of AD

Ord2Seq: Regarding Ordinal Regression as Label Sequence Prediction

Ordinal regression refers to classifying object instances into ordinal categories. It has been widely studied in many scenarios, such as medical disease grading, movie rating, etc. Known methods focused only on learning inter-class ordinal relationships, but still incur limitations in distinguishing adjacent categories thus far. In this paper, we propose a simple sequence prediction framework for ordinal regression called Ord2Seq, which, for the first time, transforms each ordinal category label into a special label sequence and thus regards an ordinal regression task as a sequence prediction process. In this way, we decompose an ordinal regression task into a series of recursive binary classification steps, so as to subtly distinguish adjacent categories. Comprehensive experiments show the effectiveness of distinguishing adjacent categories for performance improvement and our new approach exceeds state-of-the-art performances in four different scenarios. Codes are available at https://github.com/wjh892521292/Ord2Seq.Comment: Accepted by ICCV202

A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System

Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-adaptive system is able to adapt autonomously to internal dynamics and changing conditions in the environment to achieve particular quality goals. Our particular interest is in decentralized self-adaptive systems, in which central control of adaptation is not an option. One important challenge in self-adaptive systems, in particular those with decentralized control of adaptation, is to provide guarantees about the intended runtime qualities. In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. We use the Uppaal tool to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

Propuesta para una biomasa forrajera accesible - en condiciones climáticas normales - para ampliar la densidad poblacional de vicuñas

Conociéndose la variedad de pastos, calidad, cantidad y distribución de ellos, para determinar la soportabilidad en relación al número de vicuñas que el Centro de Investigación, Producción y Transferencia Tecnológica CIPTT de Tullpacancha (de la Universidad Alas Peruanas) Churcampa, Huancavelica puede criar, se obtiene una soportabilidad promedio de 2,5 vicuñas por hectárea, a diferencia del promedio nacional que es de 5 hectáreas por vicuña