Towards Physical Hybrid Systems

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

Study of Morphological, Retinal Nerve Fibre Layer and Blood Flow Changes on FD-OCT in NA-AION

The purpose is to observe the morphological changes, RNFL, Blood flow and Ganglion cell loss (GCL) of optic nerve head at presentation and follow up visit at 1 and 3 month in patients of NA-AION on FD-OCT (Angio) examination

Spatially resolved oxygen reaction, water, and temperature distribution: Experimental results as a function of flow field and implications for polymer electrolyte fuel cell operation

In situ and ex situ spatially-resolved techniques are employed to investigate reactant distribution and its impacts in a polymer electrolyte fuel cell. Temperature distribution data provides further evidence for secondary flows inferred from reactant imaging data, highlighting the contribution of convection in heat as well as reactant distribution. Water build-up from neutron tomography is linked to component degradation, matching the pattern seen in the reactant distribution and thus suggesting that high, non-uniform local current densities shape degradation patterns in fuel cells. The correlations shown between different techniques confirm the use of the versatile reactant imaging technique, which is used to compare commonly used flow field designs. Among serpentine-type designs, the single serpentine is superior in both equivalent current density and reactant distribution, showing large contributions from convective flow. On the other hand, the interdigitated design is shown to produce larger equivalent current densities, while showing a somewhat poorer reactant distribution. Considering the correlations drawn between the techniques, this suggests that the interdigitated design compromises durability in favour of power output. The results highlight how established techniques provide a robust background for the use of a new and flexible imaging technique toward designing advanced flow fields for practical fuel cell applications