The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the formal model of an algorithm directly affects the efficiency of the analysis. Therefore, it is desirable that this model does not add “unnecessary” complexity to the analysis. In this paper, we consider a general message-passing (...

Model predictive pulse-width modulation (MP-PWM) is applied to hybrid active power filter (HAPF) in this paper. The configuration, control, carried-based PWM (CPWM) and filtering performance of HAPF are described in this paper. To realize the MP-PWM, the discrete-time model of the inverter is presented and a cost function is built. The flow chart of realizing the MPPWM is presented. The PWM is ...

Mycoplasma pneumoniae (Mp) has been linked to chronic asthma. Airway remodeling (e.g., airway collagen deposition or fibrosis) is one of the pathological features of chronic asthma. However, the effects of respiratory Mp infection on airway fibrosis in asthma remain unclear. In the present study, we hypothesized that respiratory Mp infection may increase the airway collagen deposition in a muri...

Congenic mice of the MRL/Mp strain spontaneously develop an autoimmune connective tissue disease that shares immunologic and histopathologic features with the human disorders systemic lupus erythematosus, rheumatoid arthritis, and systemic vasculitis. The autoimmune disorder in these mice is markedly accelerated by the recessive gene lpr. Older MRL/Mp-lpr/lpr mice develop significant inflammato...

AIMS The aim of this study was to establish whether pharmacokinetic differences between two pro-drugs of methylprednisolone (MP) are likely to be of clinical significance. METHODS This study was a single-blind, randomized, crossover design comparing the bioequivalence of MP released from the pro-drugs Promedrol (MP suleptanate) and Solu-Medrol (MP succinate) after a single 250 mg (MP equivale...

A scaling theory of the sub atto-molar (aM) detection limits of magnetic particle (MP) based biosensors (e.g., bio-barcode assays) is developed and discussed. Despite the dramatic differences of sensing protocols and detection limits, the MP-based sensors can be interpreted within the same theoretical framework as any other classical biosensor (e.g., nanowire sensors), except that these sensors...

Surfactant protein-A (SP-A) has well-established functions in reducing bacterial and viral infections but its role in chronic lung diseases such as asthma is unclear. Mycoplasma pneumoniae (Mp) frequently colonizes the airways of chronic asthmatics and is thought to contribute to exacerbations of asthma. Our lab has previously reported that during Mp infection of non-allergic airways, SP-A aide...

Phosphorus (P) enrichment in soils has been documented in the Santa Fe River watershed (SFRW, 3585 km) in north-central Florida. Yet the environmental factors that control P distribution in soils across the landscape, with potential contribution to water quality impairment, are not well understood. The main goal of this study was to develop soil-landscape P models to support a "precision soil c...

We consider complete first-order theories T with infinite models. Additionally we assume that T are small, i. e., they have countably many types (|S(T )| = ω). So for any type q ∈ S(T ) and its realization ā, there exists a model M(ā), being prime over ā. Since all prime models over realizations of q are isomorphic, we often denote such by Mq. Let p and q be types in S(T ). We say that the type...

INTRODUCTION Analysis on the causes and remedies needed to reduce the incidence of malpractice has been under continual studies, although limited data is available regarding quantitative evaluation of the risk. OBJECTIVES To determine radiological risk in a preventive and quantitative manner and verify if the malpractice relative value units (MP-RVU) are a good indicator of associated risk fa...