Cool spots on the surface of the active giant PZ Mon

Based on the multiband (BVRIJHKL) photometric observations of the active red giant PZ Mon performed for the first time in the winter season of 2017-2018, we have determined the main characteristics of the spotted stellar surface in a parametric three-spot model. The unspotted surface temperature is Teff=4730 K, the temperature of the cool spots is Tspot=3500 K, their relative area is about 41%, and the temperature of the warm spots is Twarm=4500 K with a maximum relative area up to 20%. The distribution of spots over the stellar surface has been modeled. The warm spots have been found to be distributed at various longitudes in the hemisphere on the side of the secondary component and are most likely a result of its influence.Comment: 5 pages, 7 figure

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation. Each refinement process leaves a proof trail, checkable by the normal Coq kernel, justifying its soundness. We focus on the synthesis of abstract data types that package methods with private data. We demonstrate the utility of our framework by applying it to the synthesis of query structures--abstract data types with SQL-like query and insert operations. Fiat includes a library for writing specifications of query structures in SQL-inspired notation, expressing operations over relations (tables) in terms of mathematical sets. This library includes a suite of tactics for automating the refinement of specifications into efficient, correct- by-construction OCaml code. Using these tactics, a programmer can generate such an implementation completely automatically by only specifying the equivalent of SQL indexes, data structures capturing useful views of the abstract data. Throughout we speculate on the new programming modularity possibilities enabled by an automated refinement system with proved-correct rules. “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”--MichelangeloNational Science Foundation (U.S.) (NSF grant CCF-1253229)United States. Defense Advanced Research Projects Agency (DARPA, agreement number FA8750-12-2- 0293

Trapping of drops by wetting defects

Controlling the motion of drops on solid surfaces is crucial in many natural phenomena and technological processes including the collection and removal of rain drops, cleaning technology and heat exchangers. Topographic and chemical heterogeneities on solid surfaces give rise to pinning forces that can capture and steer drops in desired directions. Here we determine general physical conditions required for capturing sliding drops on an inclined plane that is equipped with electrically tunable wetting defects. By mapping the drop dynamics on the one-dimensional motion of a point mass, we demonstrate that the trapping process is controlled by two dimensionless parameters, the trapping strength measured in units of the driving force and the ratio between a viscous and an inertial time scale. Complementary experiments involving superhydrophobic surfaces with wetting defects demonstrate the general applicability of the concept. Moreover, we show that electrically tunable defects can be used to guide sliding drops along actively switchable tracks—with potential applications in microfluidic

Low Friction Flows of Liquids at Nanopatterned Interfaces

With the recent important development of microfluidic systems, miniaturization of flow devices has become a real challenge. Microchannels, however, are characterized by a large surface to volume ratio, so that surface properties strongly affect flow resistance in submicrometric devices. We present here results showing that the concerted effect of wetting . properties and surface roughness may considerably reduce friction of the fluid past the boundaries. The slippage of the fluid at the channel boundaries is shown to be drastically increased by using surfaces that are patterned at the nanometer scale. This effect occurs in the regime where the surface pattern is partially dewetted, in the spirit of the 'superhydrophobic' effects that have been recently discovered at the macroscopic scales. Our results show for the first time that, in contrast to the common belief, surface friction may be reduced by surface roughness. They also open the possibility of a controlled realization of the 'nanobubbles' that have long been suspected to play a role in interfacial slippag

Surface Roughness and Effective Stick-Slip Motion

The effect of random surface roughness on hydrodynamics of viscous incompressible liquid is discussed. Roughness-driven contributions to hydrodynamic flows, energy dissipation, and friction force are calculated in a wide range of parameters. When the hydrodynamic decay length (the viscous wave penetration depth) is larger than the size of random surface inhomogeneities, it is possible to replace a random rough surface by effective stick-slip boundary conditions on a flat surface with two constants: the stick-slip length and the renormalization of viscosity near the boundary. The stick-slip length and the renormalization coefficient are expressed explicitly via the correlation function of random surface inhomogeneities. The effective stick-slip length is always negative signifying the effective slow-down of the hydrodynamic flows by the rough surface (stick rather than slip motion). A simple hydrodynamic model is presented as an illustration of these general hydrodynamic results. The effective boundary parameters are analyzed numerically for Gaussian, power-law and exponentially decaying correlators with various indices. The maximum on the frequency dependence of the dissipation allows one to extract the correlation radius (characteristic size) of the surface inhomogeneities directly from, for example, experiments with torsional quartz oscillators.Comment: RevTeX4, 14 pages, 3 figure

Simulations of extensional flow in microrheometric devices

We present a detailed numerical study of the flow of a Newtonian fluid through microrheometric devices featuring a sudden contraction–expansion. This flow configuration is typically used to generate extensional deformations and high strain rates. The excess pressure drop resulting from the converging and diverging flow is an important dynamic measure to quantify if the device is intended to be used as a microfluidic extensional rheometer. To explore this idea, we examine the effect of the contraction length, aspect ratio and Reynolds number on the flow kinematics and resulting pressure field. Analysis of the computed velocity and pressure fields show that, for typical experimental conditions used in microfluidic devices, the steady flow is highly three-dimensional with open spiraling vortical structures in the stagnant corner regions. The numerical simulations of the local kinematics and global pressure drop are in good agreement with experimental results. The device aspect ratio is shown to have a strong impact on the flow and consequently on the excess pressure drop, which is quantified in terms of the dimensionless Couette and Bagley correction factors. We suggest an approach for calculating the Bagley correction which may be especially appropriate for planar microchannels

Self-reported medication side effects in an older cohort living independently in the community - the Melbourne Longitudinal Study on Health Ageing (MELSHA) : cross-sectional analysis of prevalence and risk factors

Background Medication side effects are an important cause of morbidity, mortality and costs in older people. The aim of our study was to examine prevalence and risk factors for self-reported medication side effects in an older cohort living independently in the community.Methods The Melbourne Longitudinal Study on Healthy Ageing (MELSHA), collected information on those aged 65 years or older living independently in the community and commenced in 1994. Data on medication side effects was collected from the baseline cohort (n = 1000) in face-to-face baseline interviews in 1994 and analysed as cross-sectional data. Risk factors examined were: socio-demographics, health status and medical conditions; medication use and health service factors. Analysis included univariate logistic regression to estimate unadjusted risk and multivariate logistic regression analysis to assess confounding and estimate adjusted risk.Results Self-reported medication side effects were reported by approximately 6.7% (67/1000) of the entire baseline MELSHA cohort, and by 8.5% (65/761) of those on medication. Identified risk factors were increased education level, co-morbidities and health service factors including recency of visiting the pharmacist, attending younger doctors, and their doctor\u27s awareness of their medications. The greatest increase in risk for medication side effects was associated with liver problems and their doctor\u27s awareness of their medications. Aging and gender were not risk factors.Conclusion Prevalence of self-reported medication side effects was comparable with that reported in adults attending General Practices in a primary care setting in Australia. The prevalence and identified risk factors provide further insight and opportunity to develop strategies to address the problem of medication side effects in older people living independently in the community setting. <br /