Assessing the representativeness of wind data for wind turbine site evaluation

Once potential wind turbine sites (either for single installations or clusters) are identified through siting procedures, actual evaluation of the sites must commence. This evaluation is needed to obtain estimates of wind turbine performance and to identify hazards to the machine from the turbulence component of the atmosphere. These estimates allow for more detailed project planning and for preliminary financing arrangements to be secured. The site evaluation process can occur in two stages: (1) utilizing existing nearby data, and (2) establishing and monitoring an onsite measurement program. Since step (2) requires a period of at least 1 yr or more from the time a potential site has been identified, step (1) is often an essential stage in the preliminary evaluation process. Both the methods that have been developed and the unknowns that still exist in assessing the representativeness of available data to a nearby wind turbine site are discussed. How the assessment of the representativeness of available data can be used to develop a more effective onsite meteorological measurement program is also discussed

Arrow update logic

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing "arrow updates" of Arrow Update Logic can be transformed into equivalent belief-changing "action models" from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the "relativized" common knowledge familiar from the Dynamic Epistemic Logic literature

Dissipative collapse of the adiabatic piston

An adiabatic piston, separating two granular gases prepared in the same macroscopic state, is found to eventually collapse to one of the sides. This new instability is explained by a simple macroscopic theory which is furthermore in qualitative agreement with hard disk molecular dynamics.Comment: 7 pages, 5 figure

A Logic of Blockchain Updates

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model

Explicit Evidence Systems with Common Knowledge

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic

The ADMA/DDAH Pathway Regulates VEGF-Mediated Angiogenesis

Objectives— Asymmetrical dimethylarginine (ADMA) is a nitric oxide synthase (NOS) inhibitor and cardiovascular risk factor associated with angiogenic disorders. Enzymes metabolising ADMA, dimethylarginine dimethylaminohydrolases (DDAH) promote angiogenesis, but the mechanisms are not clear. We hypothesized that ADMA/DDAH modifies endothelial responses to vascular endothelial growth factor (VEGF) by affecting activity of Rho GTPases, regulators of actin polymerization, and focal adhesion dynamics. Methods and Results— The effects of ADMA on VEGF-induced endothelial cell motility, focal adhesion turnover, and angiogenesis were studied in human umbilical vein endothelial cells (HUVECs) and DDAH I heterozygous knockout mice. ADMA inhibited VEGF-induced chemotaxis in vitro and angiogenesis in vitro and in vivo in an NO-dependent way. ADMA effects were prevented by overexpression of DDAH but were not associated with decreased proliferation, increased apoptosis, or changes in VEGFR-2 activity or expression. ADMA inhibited endothelial cell polarization, protrusion formation, and decreased focal adhesion dynamics, resulting from Rac1 inhibition after decrease in phosphorylation of vasodilator stimulated phosphoprotein (VASP). Constitutively active Rac1, and to a lesser extent dominant negative RhoA, abrogated ADMA effects in vitro and in vivo. Conclusion— The ADMA/DDAH pathway regulates VEGF-induced angiogenesis in an NO- and Rac1-dependent manner