Chapter 6: The Compact Dynamic Bus Station

AbstractThis document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [8]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique in the day to day software practice. The approach followed was to execute a number of projects in cooperation with industry on realistic cases.In this document is reported on the design of an innovative system for the control of bus stations. The innovative aspect is that buses do not have a fixed platform at the station, the platform is dynamically assigned and communicated to the driver upon entering the station. It was tried to specify data and processes in an algebraic style. During the project it turned out that formal specification in this style did not work to our advantage

Aqueous redox flow batteries: small organic molecules for the positive electrolyte species

There are a number of critical requirements for electrolytes in aqueous redox flow batteries. This paper reviews organic molecules that have been used as the redox-active electrolyte for the positive cell reaction in aqueous redox flow batteries. These organic compounds are centred around different organic redox active moieties such as the aminoxyl radical (TEMPO and N-hydroxyphthalimide), carbonyl (quinones and biphenols), amine (e.g indigo carmine), ether and thioether (e.g. thianthrene) groups. We consider the key metrics that can be used to assess their performance: redox potential, solubility, redox kinetics, diffusivity, operating pH, stability, and cost. We develop a new figure of merit - the theoretical intrinsic power density - which combines the first four of the aforementioned metrics to allow ranking of different redox couples on just one side of the battery. The organic electrolytes show theoretical intrinsic power densities which are 2-100 times larger than that of the VO2+/VO2+ couple, with TEMPO-derivatives showing the highest performance. Finally, we survey organic positive electrolytes in the literature on the basis of their redox-active moieties and the aforementioned figure of merit

Industrial applications of ASF+SDF

In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their translation into COBOL, and their generation from interactive questionnaires. A consultancy company has specified a language to represent the company's object-oriented models, and the compilation of this language into Access. Bank ABN-AMRO has started investigating the use of algebraic specifications for renovating legacy COBOL systems. We discuss the implications of such projects for teaching algebraic specifications and software engineering, and the role students have been playing in these projects

Development of efficient aqueous organic redox flow batteries using ion-sieving sulfonated polymer membranes

Redox flow batteries using aqueous organic-based electrolytes are promising candidates for developing cost-effective grid-scale energy storage devices. However, a significant drawback of these batteries is the cross-mixing of active species through the membrane, which causes battery performance degradation. To overcome this issue, here we report size-selective ion-exchange membranes prepared by sulfonation of a spirobifluorene-based microporous polymer and demonstrate their efficient ion sieving functions in flow batteries. The spirobifluorene unit allows control over the degree of sulfonation to optimize the transport of cations, whilst the microporous structure inhibits the crossover of organic molecules via molecular sieving. Furthermore, the enhanced membrane selectivity mitigates the crossover-induced capacity decay whilst maintaining good ionic conductivity for aqueous electrolyte solution at pH 9, where the redox-active organic molecules show long-term stability. We also prove the boosting effect of the membranes on the energy efficiency and peak power density of the aqueous redox flow battery, which shows stable operation for about 120 h (i.e., 2100 charge-discharge cycles at 100 mA cm−2) in a laboratory-scale cell

Thin Film Composite Membranes with Regulated Crossover and Water Migration for Long-Life Aqueous Redox Flow Batteries

Redox flow batteries (RFBs) are promising for large-scale long-duration energy storage owing to their inherent safety, decoupled power and energy, high efficiency, and longevity. Membranes constitute an important component that affects mass transport processes in RFBs, including ion transport, redox-species crossover, and the net volumetric transfer of supporting electrolytes. Hydrophilic microporous polymers, such as polymers of intrinsic microporosity (PIM), are demonstrated as next-generation ion-selective membranes in RFBs. However, the crossover of redox species and water migration through membranes are remaining challenges for battery longevity. Here, a facile strategy is reported for regulating mass transport and enhancing battery cycling stability by employing thin film composite (TFC) membranes prepared from a PIM polymer with optimized selective-layer thickness. Integration of these PIM-based TFC membranes with a variety of redox chemistries allows for the screening of suitable RFB systems that display high compatibility between membrane and redox couples, affording long-life operation with minimal capacity fade. Thickness optimization of TFC membranes further improves cycling performance and significantly restricts water transfer in selected RFB systems

Thin film composite membranes with regulated crossover and water migration for long-life aqueous redox flow batteries.

Redox flow batteries (RFBs) are promising for large-scale long-duration energy storage owing to their inherent safety, decoupled power and energy, high efficiency, and longevity. Membranes constitute an important component that affects mass transport processes in RFBs, including ion transport, redox-species crossover, and the net volumetric transfer of supporting electrolytes. Hydrophilic microporous polymers, such as polymers of intrinsic microporosity (PIM), are demonstrated as next-generation ion-selective membranes in RFBs. However, the crossover of redox species and water migration through membranes are remaining challenges for battery longevity. Here, a facile strategy is reported for regulating mass transport and enhancing battery cycling stability by employing thin film composite (TFC) membranes prepared from a PIM polymer with optimized selective-layer thickness. Integration of these PIM-based TFC membranes with a variety of redox chemistries allows for the screening of suitable RFB systems that display high compatibility between membrane and redox couples, affording long-life operation with minimal capacity fade. Thickness optimization of TFC membranes further improves cycling performance and significantly restricts water transfer in selected RFB systems

Clustering cliques for graph-based summarization of the biomedical research literature

BACKGROUND: Graph-based notions are increasingly used in biomedical data mining and knowledge discovery tasks. In this paper, we present a clique-clustering method to automatically summarize graphs of semantic predications produced from PubMed citations (titles and abstracts). RESULTS: SemRep is used to extract semantic predications from the citations returned by a PubMed search. Cliques were identified from frequently occurring predications with highly connected arguments filtered by degree centrality. Themes contained in the summary were identified with a hierarchical clustering algorithm based on common arguments shared among cliques. The validity of the clusters in the summaries produced was compared to the Silhouette-generated baseline for cohesion, separation and overall validity. The theme labels were also compared to a reference standard produced with major MeSH headings. CONCLUSIONS: For 11 topics in the testing data set, the overall validity of clusters from the system summary was 10% better than the baseline (43% versus 33%). While compared to the reference standard from MeSH headings, the results for recall, precision and F-score were 0.64, 0.65, and 0.65 respectively

Absence of Membrane Phosphatidylcholine Does Not Affect Virulence and Stress Tolerance Phenotypes in the Opportunistic Pathogen Pseudomonas aeruginosa

During growth in presence of choline, both laboratory and clinical Pseudomonas aeruginosa strains synthesize phosphatidylcholine (PC), and PC makes up ∼4% of the total membrane phospholipid content. In all the strains tested, PC synthesis occurred only when choline is provided exogenously. Mutants defective in synthesis of PC were generated in the strain backgrounds PAO1 and PA14. Minimum inhibitory concentration studies testing sensitivity of PC-deficient strains towards various antibiotics and cationic antimicrobial peptides revealed no differences as compared to wild-type strains. Mutants incapable of synthesizing PC were also found to be unaffected in motility and biofilm formation on abiotic surfaces, colonization of biotic surfaces and virulence in a mouse infection model. A global phenotypic microarray was further used to identify conditions wherein membrane PC may play a role of in P. aeruginosa. No culture conditions were identified wherein wild-type and PC-deficient mutants showed phenotypic differences. Membrane PC may serve a highly specific role during P. aeruginosa interactions with its eukaryotic hosts based on all the clinical strains tested retaining the ability to synthesize it during availability of choline

Hypersensitive to Red and Blue 1 and Its Modification by Protein Phosphatase 7 Are Implicated in the Control of Arabidopsis Stomatal Aperture

The stomatal pores are located on the plant leaf epidermis and regulate CO2 uptake for photosynthesis and the loss of water by transpiration. Their stomatal aperture therefore affects photosynthesis, water use efficiency, and agricultural crop yields. Blue light, one of the environmental signals that regulates the plant stomatal aperture, is perceived by the blue/UV-A light-absorbing cryptochromes and phototropins. The signal transduction cascades that link the perception of light to the stomatal opening response are still largely unknown. Here, we report two new players, Hypersensitive to Red and Blue 1 (HRB1) and Protein Phosphatase 7 (PP7), and their genetic and biochemical interactions in the control of stomatal aperture. Mutations in either HRB1 or PP7 lead to the misregulation of the stomatal aperture and reduce water loss under blue light. Both HRB1 and PP7 are expressed in the guard cells in response to a light-to-dark or dark-to-light transition. HRB1 interacts with PP7 through its N-terminal ZZ-type zinc finger motif and requires a functional PP7 for its stomatal opening response. HRB1 is phosphorylated in vivo, and PP7 can dephosphorylate HRB1. HRB1 is mostly dephosphorylated in a protein complex of 193 kDa in the dark, and blue light increases complex size to 285 kDa. In the pp7 mutant, this size shift is impaired, and HRB1 is predominately phosphorylated. We propose that a modification of HRB1 by PP7 under blue light is essential to acquire a proper conformation or to bring in new components for the assembly of a functional HRB1 protein complex. Guard cells control stomatal opening in response to multiple environmental or biotic stimuli. This study may furnish strategies that allow plants to enjoy the advantages of both constitutive and ABA-induced protection under water-limiting conditions