Minimization of Reactive Probabilistic Automata

The problem of finite automata minimization is important for software and hardware designing. Different types of automata are used for modeling systems or machines with finite number of states. The limitation of number of states gives savings in resources and time. In this article we show specific type of probabilistic automata: the reactive probabilistic finite automata with accepting states (in brief the reactive probabilistic automata), and definitions of languages accepted by it. We present definition of bisimulation relation for automata's states and define relation of indistinguishableness of automata states, on base of which we could effectuate automata minimization. Next we present detailed algorithm reactive probabilistic automata’s minimization with determination of its complexity and analyse example solved with help of this algorithm.

A multi-modular second life hybrid battery energy storage system for utility grid applications

The modern grid system or the smart grid is likely to be populated with multiple distributed energy sources, e.g. wind power, PV power, Plug-in Electric Vehicle (PEV). It will also include a variety of linear and nonlinear loads. The intermittent nature of renewable energies like PV, wind turbine and increased penetration of Electric Vehicle (EV) makes the stable operation of utility grid system challenging. In order to ensure a stable operation of the utility grid system and to support smart grid functionalities such as, fault ride-through, frequency response, reactive power support, and mitigation of power quality issues, an energy storage system (ESS) could play an important role. A fast acting bidirectional energy storage system which can rapidly provide and absorb power and/or VARs for a sufficient time is a potentially valuable tool to support this functionality. Battery energy storage systems (BESS) are one of a range suitable energy storage system because it can provide and absorb power for sufficient time as well as able to respond reasonably fast. Conventional BESS already exist on the grid system are made up primarily of new batteries. The cost of these batteries can be high which makes most BESS an expensive solution. In order to assist moving towards a low carbon economy and to reduce battery cost this work aims to research the opportunities for the re-use of batteries after their primary use in low and ultra-low carbon vehicles (EV/HEV) on the electricity grid system. This research aims to develop a new generation of second life battery energy storage systems (SLBESS) which could interface to the low/medium voltage network to provide necessary grid support in a reliable and in cost-effective manner. The reliability/performance of these batteries is not clear, but is almost certainly worse than a new battery. Manufacturers indicate that a mixture of gradual degradation and sudden failure are both possible and failure mechanisms are likely to be related to how hard the batteries were driven inside the vehicle. There are several figures from a number of sources including the DECC (Department of Energy and Climate Control) and Arup and Cenex reports indicate anything from 70,000 to 2.6 million electric and hybrid vehicles on the road by 2020. Once the vehicle battery has degraded to around 70-80% of its capacity it is considered to be at the end of its first life application. This leaves capacity available for a second life at a much cheaper cost than a new BESS Assuming a battery capability of around 5-18kWhr (MHEV 5kWh - BEV 18kWh battery) and approximate 10 year life span, this equates to a projection of battery storage capability available for second life of >1GWhrs by 2025. Moreover, each vehicle manufacturer has different specifications for battery chemistry, number and arrangement of battery cells, capacity, voltage, size etc. To enable research and investment in this area and to maximize the remaining life of these batteries, one of the design challenges is to combine these hybrid batteries into a grid-tie converter where their different performance characteristics, and parameter variation can be catered for and a hot swapping mechanism is available so that as a battery ends it second life, it can be replaced without affecting the overall system operation. This integration of either single types of batteries with vastly different performance capability or a hybrid battery system to a grid-tie 3 energy storage system is different to currently existing work on battery energy storage systems (BESS) which deals with a single type of battery with common characteristics. This thesis addresses and solves the power electronic design challenges in integrating second life hybrid batteries into a grid-tie energy storage unit for the first time. This study details a suitable multi-modular power electronic converter and its various switching strategies which can integrate widely different batteries to a grid-tie inverter irrespective of their characteristics, voltage levels and reliability. The proposed converter provides a high efficiency, enhanced control flexibility and has the capability to operate in different operational modes from the input to output. Designing an appropriate control system for this kind of hybrid battery storage system is also important because of the variation of battery types, differences in characteristics and different levels of degradations. This thesis proposes a generalised distributed power sharing strategy based on weighting function aims to optimally use a set of hybrid batteries according to their relative characteristics while providing the necessary grid support by distributing the power between the batteries. The strategy is adaptive in nature and varies as the individual battery characteristics change in real time as a result of degradation for example. A suitable bidirectional distributed control strategy or a module independent control technique has been developed corresponding to each mode of operation of the proposed modular converter. Stability is an important consideration in control of all power converters and as such this thesis investigates the control stability of the multi-modular converter in detailed. Many controllers use PI/PID based techniques with fixed control parameters. However, this is not found to be suitable from a stability point-of-view. Issues of control stability using this controller type under one of the operating modes has led to the development of an alternative adaptive and nonlinear Lyapunov based control for the modular power converter. Finally, a detailed simulation and experimental validation of the proposed power converter operation, power sharing strategy, proposed control structures and control stability issue have been undertaken using a grid connected laboratory based multi-modular hybrid battery energy storage system prototype. The experimental validation has demonstrated the feasibility of this new energy storage system operation for use in future grid applications.

Personal Work Space and Content Analysis Functionality in a Cultural Heritage Digital Library

The paper presents a different vision for personalization of the user’s stay in a cultural heritage digital library that models services for personalized content marking, commenting and analyzing that doesn’t require strict user profile, but aims at adjusting the user’s individual needs. The solution is borrowed from real work and studying of traditional written content sources (incl. books, manuals), where the user mainly performs activities such as underlining the important parts of the content, writing notes and inferences, selecting and marking zones of their interest in pictures, etc. In the paper a special attention is paid to the ability to execute learning analysis allowing different ways for the user to experience the digital library content with more creative settings.

Modelling the Functionality of the Multimedia Digital Library for Fashion Objects

This paper describes a project of a multimedia digital library for fashion objects. The presented work aims to provide an environment for the National Art Academy students works, showing in front a professional and nonprofessional public the significant values of the fashion domain.

A methodological evaluation and predictive in silico investigation into the multi-functionality of arginine in directly compressed tablets

The acceleration of solid dosage form product development can be facilitated by the inclusion of excipients that exhibit poly-/multi-functionality with reduction of the time invested in multiple excipient optimisations. Because active pharmaceutical ingredients (APIs) and tablet excipients present diverse densification behaviours upon compaction, the involvement of these different powders during compaction makes the compaction process very complicated. The aim of this study was to assess the macrometric characteristics and distribution of surface charges of two powders: indomethacin (IND) and arginine (ARG); and evaluate their impact on the densification properties of the two powders. Response surface modelling (RSM) was employed to predict the effect of two independent variables; Compression pressure (F) and ARG percentage (R) in binary mixtures on the properties of resultant tablets. The study looked at three responses namely; porosity (P), tensile strength (S) and disintegration time (T). Micrometric studies showed that IND had a higher charge density (net charge to mass ratio) when compared to ARG; nonetheless, ARG demonstrated good compaction properties with high plasticity (Y=28.01MPa). Therefore, ARG as filler to IND tablets was associated with better mechanical properties of the tablets (tablet tensile strength (σ) increased from 0.2±0.05N/mm2 to 2.85±0.36N/mm2 upon adding ARG at molar ratio of 8:1 to IND). Moreover, tablets' disintegration time was shortened to reach few seconds in some of the formulations. RSM revealed tablet porosity to be affected by both compression pressure and ARG ratio for IND/ARG physical mixtures (PMs). Conversely, the tensile strength (σ) and disintegration time (T) for the PMs were influenced by the compression pressure, ARG ratio and their interactive term (FR); and a strong correlation was observed between the experimental results and the predicted data for tablet porosity. This work provides clear evidence of the multi-functionality of ARG as filler, binder and disintegrant for directly compressed tablets.

Reactive Oxygen Species via Redox Signaling to PI3K/AKT Pathway Contribute to the Malignant Growth of 4-Hydroxy Estradiol-Transformed Mammary Epithelial Cells

The purpose of this study was to investigate the effects of 17-β-estradiol (E2)-induced reactive oxygen species (ROS) on the induction of mammary tumorigenesis. We found that ROS-induced by repeated exposures to 4-hydroxy-estradiol (4-OH-E2), a predominant catechol metabolite of E2, caused transformation of normal human mammary epithelial MCF-10A cells with malignant growth in nude mice. This was evident from inhibition of estrogen-induced breast tumor formation in the xenograft model by both overexpression of catalase as well as by co-treatment with Ebselen. To understand how 4-OH-E2 induces this malignant phenotype through ROS, we investigated the effects of 4-OH-E2 on redox-sensitive signal transduction pathways. During the malignant transformation process we observed that 4-OH-E2 treatment increased AKT phosphorylation through PI3K activation. The PI3K-mediated phosphorylation of AKT in 4-OH-E2-treated cells was inhibited by ROS modifiers as well as by silencing of AKT expression. RNA interference of AKT markedly inhibited 4-OH-E2-induced in vitro tumor formation. The expression of cell cycle genes, cdc2, PRC1 and PCNA and one of transcription factors that control the expression of these genes – nuclear respiratory factor-1 (NRF-1) was significantly up-regulated during the 4-OH-E2-mediated malignant transformation process. The increased expression of these genes was inhibited by ROS modifiers as well as by silencing of AKT expression. These results indicate that 4-OH-E2-induced cell transformation may be mediated, in part, through redox-sensitive AKT signal transduction pathways by up-regulating the expression of cell cycle genes cdc2, PRC1 and PCNA, and the transcription factor – NRF-1. In summary, our study has demonstrated that: (i) 4-OH-E2 is one of the main estrogen metabolites that induce mammary tumorigenesis and (ii) ROS-mediated signaling leading to the activation of PI3K/AKT pathway plays an important role in the generation of 4-OH-E2-induced malignant phenotype of breast epithelial cells. In conclusion, ROS are important signaling molecules in the development of estrogen-induced malignant breast lesions.

Multiparameter flow cytometric analysis of C -reactive protein binding to human-derived cell lines and peripheral blood monocytes

C-reactive protein (CRP), a normally occurring human plasma protein may become elevated as much as 1,000 fold during disease states involving acute inflammation or tissue damage. Through its binding to phosphorylcholine in the presence of calcium, CRP has been shown to potentiate the activation of complement, stimulate phagocytosis and opsonize certain microorganisms. Utilizing a flow cytometric functional ligand binding assay I have demonstrated that a monocyte population in human peripheral blood and specific human-derived myelomonocytic cell lines reproducibly bind an evolutionarily conserved conformational pentraxin epitope on human CRP through a mechanism that does not involve its ligand, phosphorylcholine. ^ A variety of cell lines at different stages of differentiation were examined. The monocytic cell line, THP-1, bound the most CRP followed by U937 and KG-1a cells. The HL-60 cell line was induced towards either the granulocyte or monocyte pathway with DMSO or PMA, respectively. Untreated HL-60 cells or DMSO-treated cells did not bind CRP while cells treated with PMA showed increased binding of CRP, similar to U-937 cells. T cell and B-cell derived lines were negative. ^ Inhibition studies with Limulin and human SAP demonstrated that the binding site is a conserved pentraxin epitope. The calcium requirement necessary for binding to occur indicated that the cells recognize a conformational form of CRP. Phosphorylcholine did not inhibit the reaction therefore the possibility that CRP had bound to damaged membranes with exposed PC sites was discounted. ^ A study of 81 normal donors using flow cytometry demonstrated that a majority of peripheral blood monocytes (67.9 ± 1.3, mean ± sem) bound CRP. The percentage of binding was normally distributed and not affected by gender, age or ethnicity. Whole blood obtained from donors representing a variety of disease states showed a significant reduction in the level of CRP bound by monocytes in those donors classified with infection, inflammation or cancer. This reduction in monocyte populations binding CRP did not correlate with the concentration of plasma CRP. ^ The ability of monocytes to specifically bind CRP combined with the binding reactivity of the protein itself to a variety of phosphorylcholine containing substances may represent an important bridge between innate and adaptive immunity. ^

Relationship of Omega-3 Fatty Acids on C-Reactive Protein and Homocysteine in Haitian and African Americans with and without Type 2 Diabetes

Background: Omega-3 fatty acids (n-3) may be protective of cardiovascular risk factors for vulnerable populations. The purpose of this study was to assess the association between n-3 with, C-reactive protein (CRP), and homocysteine (HCY) in Black minorities with and without type 2 diabetes. Methods: A cross-sectional study was conducted with 406 participants: Haitian Americans (HA): n=238. African Americans (AA): n=172. Participants were recruited from a randomly generated mailing lists, local diabetes educators, community health practitioners and advertisements from 2008-2010. Sociodemographics and anthropometrics were collected and used to adjust analyses. All dietary variables were collected using the semi-quantitative food frequency questionnaire (FFQ) and used to quantify vitamin components. Blood was collected to measure CVD risk factors (blood lipids, HCY, and CRP). Results: African Americans had higher waist circumferences and C-reactive protein and consumed more calories as compared to Haitian Americans. Omega 3 fatty acid intake per calorie did not differ between these ethnicities, yet African Americans with low n-3 intake were three times more likely to have high C-reactive protein as compared to their counterparts [OR=3. 32 (1. 11, 9. 26) p=0.031]. Although homocysteine did not differ by ethnicity, African Americans with low omega 3 intake (<1 g/day) were four times as likely to have high homocysteine (>12 mg/L) as compared to their counterparts, adjusting for confounders [OR=4.63 (1.59, 12.0) p=0.004]. Consumption of n-3 by diabetes status was not associated with C-reactive protein or homocysteine levels. Conclusions: Consumption of n-3 may be protective of cardiovascular risk factors such as C-r

Obesity and Serum High Sensitivity C-Reactive Protein Levels Among Elderly Turkish Immigrants in the Netherlands with Type 2 Diabetes

The study examined the associations of anthropometric measures of obesity with high sensitivity C-reactive protein (hs-CRP) levels in Turkish immigrants with type 2 diabetes (T2D) living in the Netherlands. A total of 110 participants, physician-diagnosed with T2D, aged 30 years and older were recruited from multiple sources from The Hague, Netherlands. Serum hs-CRP levels were measured with immunoturbidimetric assay. Glycated hemoglobin (A1C) was determined by high-pressure liquid chromatography. Measures of obesity: body weight, body mass index (BMI), waist circumference (WC), hip circumference (HC), waist-to-hip ratio (WHR), and waist-to-height ratio (WHtR) were determined. Statistical analysis included descriptive statistics, Pearson’s correlations and multiple linear regressions (MLR) stratified by gender. Hs-CRP was log transformed to achieve normality. Subjects with hs-CRP levels >10 mg/L (n = 17) were excluded from the analysis. Females had a higher BMI (p = 0.007), HC (p < 0.001), and WHtR (p = 0.011) as compared to males. Conversely, males had a higher weight (p = 0.007), and WHR (p < 0.001) than females. MLR showed that after controlling for covariates, log hs-CRP was positively associated with BMI (B = 0.039, SE = 0.019, β = 0.287, p < 0.05), WC (B = 0.025, SE = 0.011, β = 0.332, p < 0.05) and WHtR (B = 4.015, SE = 1.464, β = 0.376, p < 0.01) in females only. Gender-specific associations between obesity measures and hs-CRP level need to be further investigated in the Turkish immigrant population. Hs-CRP assessment may be added as a standard of care for T2D treatment within this population.

Improving performance of a permeable reactive barrier in the degradation of trichloroethylene using ultrasound

The impact of ultrasound on improving the performance of a granular iron Permeable Reactive Barrier (PRB) in the degradation of Trichloroethylene (TCE) was evaluated. Two treatment columns made of clear Plexiglas with a height of 1ft and a diameter of 2 inches and filled with granular iron were used. One was fitted with 25Khz ultrasound probes. A solution of TCE was run through at constant flow rate. Samples obtained from the column at different residence times before and after sonication were analyzed for concentrations of TCE and used to generate concentration profiles to obtain rate constants, which were compared. An improvement of 23.4% in the reaction rate of TCE degradation was observed after sonication of the iron media suggesting that ultrasound may contribute to improving the performance of PRBs in the degradation of TCE in contaminated groundwater.

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory.

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs "radio-hybrid" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request. (C) 2011 Elsevier B.V. All rights reserved.

A framework for rapid post-earthquake assessment of bridges and restoration of transportation network functionality using structural health monitoring

Peer reviewed

On the mobility, membrane location and functionality of mechanosensitive channels in Escherichia coli

We thank Frans Bianchi and Franz Ho for assistance with molecular cloning, Tim Rasmussen for providing the pTRC-MscK plasmid, Andrew Robinson for providing the pBAD-mEos3.2 plasmid, Matthias Heinemann for assistance with the flow cytometry measurements, Paul Schavemaker for performing Smoldyn simulations and Michiel Punter for programming ImageJ plugins for PALM reconstructions and single-particle tracking. We thank Ian Booth for critical reading of the manuscript, and Christoffer Åberg and Matteo Gabba for valuable discussions. The authors would like to thank David Dryden and Marcel Reuter for performing preliminary experiments from which this work has been built. The work was funded by the EU FP7 ITN-network program NICHE.

System operational costs reduction with non-conventional reactive power sources

Wind energy installations are increasing in power systems worldwide and wind generation capacity tends to be located some distance from load centers. A conflict may arise at times of high wind generation when it becomes necessary to curtail wind energy in order to maintain conventional generators on-line for the provision of voltage control support at load centers. Using the island of Ireland as a case study and presenting commercially available reactive power support devices as possible solutions to the voltage control problems in urban areas, this paper explores the reduction in total generation costs resulting from the relaxation of the operational constraints requiring conventional generators to be kept on-line near load centers for reactive power support. The paper shows that by 2020 there will be possible savings of 87€m per annum and a reduction in wind curtailment of more than a percentage point if measures are taken to relax these constraints.

Insights into Nonpilus Adhesin Functionality and the Molecular Determinants of Nontypeable Haemophilus influenzae Colonization

Bacterial colonization of the upper respiratory tract is the first step in the pathogenesis of nontypeable Haemophilus influenzae (NTHi) disease. Examination of the determinants of NTHi colonization process has been hampered by the lack of an appropriate animal model. To address this, we have developed a model of NTHi colonization in adult rhesus macaques that involves intranasal inoculation of 1x105 CFU and results in persistent colonization of the upper respiratory tract for at least three weeks with no signs of disease, mimicking asymptomatic colonization of humans. Using this model, we assessed the contributions to colonization of the HMW1 and HMW2 adhesive proteins. In competition experiments, the parent strain expressing both HMW1 and HMW2 was able to efficiently out-compete an isogenic mutant strain expressing neither HMW1 nor HMW2. In experiments involving inoculation of single isogenic derivatives of NTHi strain 12, the strains expressing HMW1 or HMW2 or both were able to colonize efficiently, while the strain expressing neither HMW1 nor HMW2 colonized inefficiently. Furthermore, colonization resulted in antibody production against HMW1 and HMW2 in one-third of the animals, demonstrating that colonization can be an immunizing event. In conclusion, we have established that NTHi is capable of colonizing the upper respiratory tract of rhesus macaques, in some cases associated with stimulation of an immune response. The HMW1 and HMW2 adhesive proteins play a major role in the process of colonization.

After establishing that the HMW1 and HMW2 proteins are colonization factors we further investigated the determinants of HMW1 function. HMW1 is encoded in the same genetic locus as two other proteins, HMW1B and HMW1C, with which HMW1 must interact in order to be functional. Interaction with HMW1C in the cytoplasm results in the glycosylation of HMW1. By employing homologues of HMW1C that glycosylate HMW1 in slightly different patterns we show that the pattern of modification is critical to HMW1 function. Structural analysis showed a change in protein structure when the pattern of HMW1 modification differed. We also identified two specific sites which must be glycosylated for HMW1 to function properly. These point mutations did not have a significant effect on protein structure, suggesting that glycosylation at those specific sites is instead necessary for interaction of HMW1 with its receptor. HMW1B is an outer membrane pore through which HMW1 is transported to reach the bacterial cell surface. We observed that HMW1 isolated from the cytoplasm has a different structure than HMW1 isolated from the bacterial cell surface. By forcing HMW1 to be secreted in a non-HMW1B dependent manner, we show that secretion alone is not sufficient for HMW1 to obtain a functional structure. This leads us to hypothesize that there is something specific in the interaction between HMW1 and HMW1B that aids in proper HMW1 folding.

The NTHi HMW1C glycosyltransferase mediates unconventional N-linked glycosylation of HMW1. In this system, HMW1 is modified in the cytoplasm by sequential transfer of hexose residues. To determine if this mechanism of N-linked glycosylation is employed by species other than NTHi, we examined Kingella kingae and Aggregatibacter aphrophilus homologues of HMW1C. We found both homologues to be functional glycosyltransferases and identified their substrates as the K. kingae Knh and the A. aphrophilus EmaA trimeric autotransporter proteins. LC-MS/MS analysis revealed multiple sites of N-linked glycosylation on Knh and EmaA. Without glycosylation, Knh and EmaA failed to facilitate wild type levels of bacterial autoaggregation or adherence to human epithelial cells, establishing that glycosylation is essential for proper protein function.