Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Surface states in nearly modulated systems

A Landau model is used to study the phase behavior of the surface layer for magnetic and cholesteric liquid crystal systems that are at or near a Lifshitz point marking the boundary between modulated and homogeneous bulk phases. The model incorporates surface and bulk fields and includes a term in the free energy proportional to the square of the second derivative of the order parameter in addition to the usual term involving the square of the first derivative. In the limit of vanishing bulk field, three distinct types of surface ordering are possible: a wetting layer, a non-wet layer having a small deviation from bulk order, and a different non-wet layer with a large deviation from bulk order which decays non-monotonically as distance from the wall increases. In particular the large deviation non-wet layer is a feature of systems at the Lifshitz point and also those having only homogeneous bulk phases.Comment: 6 pages, 7 figures, submitted to Phys. Rev.

Dental Professionals in Non-Dental Settings

This report focuses on nine oral health innovations seeking to increase access to preventive oral health care in nondental settings. Two additional reports in this series describe the remaining programs that provide care in dental settings and care to young children. The nine innovations described here integrate service delivery and workforce models in order to reduce or eliminate socioeconomic, geographic, and cultural barriers to care. Although the programs are diverse in their approaches as well as in the specific characteristics of the communities they serve, a common factor among them is the implementation of multiple strategies to increase the number of children from low-income families who access preventive care, and also to engage families and communities in investing in and prioritizing oral health. For low-income children and their families, the barriers that must be addressed to increase access to preventive oral health care are numerous. For example, even children covered by public insurance programs face a shortage of dentists that accept Medicaid and who specialize in pediatric dentistry. The effects of poverty intersect with other barriers such as living in remote geographic areas and having a community-wide history of poor access to dental care in populations such as recent immigrants. Overcoming these barriers requires creative strategies that address transportation barriers, establish welcoming environments for oral health care, and are linguistically and culturally relevant. Each of these nine programs is based on such strategies, including:-Expanding the dental workforce through training new types of providers or adding new providers to the workforce toincrease reach and community presence;-Implementing new strategies to increase the cost-effectiveness of care so that more oral health care services are available and accessible;-Providing training and technical assistance that increase opportunities for and competence in delivering oral health education and care to children;-Offering oral health care services in existing, familiar community venues such as schools, Head Start programs and senior centers;-Developing creative service delivery models that address transportation and cultural barriers as well as the fear and stigma associated with dental care that may arise in communities with historically poor access.The findings from the EAs of these programs are synthesized to highlight diverse and innovative strategies for overcoming barriers to access. These strategies have potential for rigorous evaluation and could emerge as best practices. If proven effective, these innovative program elements could then be disseminated and replicated to increase access for populations in need of preventive oral health care

Preliminary tests of an advanced high-temperature combustion system

A combustion system has been developed to operate efficiently and with good durability at inlet pressures to 4.05 MPa (40 atm), inlet air temperatures to 900 K, and exhaust gas temperatures to 2480 K. A preliminary investigation of this system was conducted at inlet pressures to 0.94 MPa (9 atm), a nominal inlet air temperature of 560 K, and exhaust gas temperatures to 2135 K. A maximum combustion efficiency of 98.5 percent was attained at a fuel-air ratio of 0.033; the combustion efficiency decreased to about 90 percent as the fuel-air ratio was increased to 0.058. An average liner metal temperature of 915 K, 355 kelvins greater than the nominal inlet air temperature, was reached with an average exhaust gas temperature of 2090 K. The maximum local metal temperature at this condition was about 565 kelvins above the nominal inlet air temperature and decreased to 505 kelvins above with increasing combustor pressure. Tests to determine the isothermal total pressure loss of the combustor showed a liner loss of 1.1 percent and a system loss of 6.5 percent

Floppy modes and the free energy: Rigidity and connectivity percolation on Bethe Lattices

We show that negative of the number of floppy modes behaves as a free energy for both connectivity and rigidity percolation, and we illustrate this result using Bethe lattices. The rigidity transition on Bethe lattices is found to be first order at a bond concentration close to that predicted by Maxwell constraint counting. We calculate the probability of a bond being on the infinite cluster and also on the overconstrained part of the infinite cluster, and show how a specific heat can be defined as the second derivative of the free energy. We demonstrate that the Bethe lattice solution is equivalent to that of the random bond model, where points are joined randomly (with equal probability at all length scales) to have a given coordination, and then subsequently bonds are randomly removed.Comment: RevTeX 11 pages + epsfig embedded figures. Submitted to Phys. Rev.

Flow establishment in a generic scramjet combustor

The establishment of a quasi-steady flow in a generic scramjet combustor was studied for the case of a time varying inflow to the combustor. Such transient flow is characteristic of the reflected shock tunnel and expansion tube test facilities. Several numerical simulations of hypervelocity flow through a straight duct combustor with either a side wall step fuel injector or a centrally located strut injector are presented. Comparisons were made between impulsively started but otherwise constant flow conditions (typical of the expansion tube or tailored operations of the reflected shock tunnel) and the relaxing flow produced by the 'undertailored' operations of the reflected shock tunnel. Generally the inviscid flow features, such as the shock pattern and pressure distribution, were unaffected by the time varying inlet conditions and approached steady state in approx. the times indicated by experimental correlations. However, viscous features, such as heat transfer and skin friction, were altered by the relaxing inlet flow conditions

Infinite-cluster geometry in central-force networks

We show that the infinite percolating cluster (with density P_inf) of central-force networks is composed of: a fractal stress-bearing backbone (Pb) and; rigid but unstressed ``dangling ends'' which occupy a finite volume-fraction of the lattice (Pd). Near the rigidity threshold pc, there is then a first-order transition in P_inf = Pd + Pb, while Pb is second-order with exponent Beta'. A new mean field theory shows Beta'(mf)=1/2, while simulations of triangular lattices give Beta'_tr = 0.255 +/- 0.03.Comment: 6 pages, 4 figures, uses epsfig. Accepted for publication in Physical Review Letter

Coexistence Curve of Perfluoromethylcyclohexane-Isopropyl Alcohol

The coexistence curve of the binary fluid mixture perfluoromethylcyclohexane-isopropyl alcohol was determined by precisely measuring the refractive index both above and below its upper critical consolute point. Sixty-seven two-phase data points were obtained over a wide range of reduced temperatures, 10(exp -5) less than t less than 2.5 x 10(exp -1), to determine the location of the critical point: critical temperature=89.901 C, and critical composition = 62.2% by volume perfluoromethylcyclohexane. These data were analyzed to determine the critical exponent 8 close to the critical point, the amplitude B, and the anomaly in the diameter. The volume-fraction coexistence curve is found to be as symmetric as any composition like variable. Correction to scaling is investigated as well as the need for a crossover theory. A model is proposed that describes the asymptotic approach to zero of the effective exponent Beta, which allows an estimation of the temperature regime free of crossover effects