The Least Conjunctive Refinement and Promotion in the Refinement Calculus

A syntactic calculation of Morgan's least conjunctive refinement operator for predicate transformers is developed. The operator is used to develop a general approach to lifting relational operators to predicate transformer operators. Predicate transformer versions of the relational conjunction and disjunction operators are considered in detail. The Z-based technique of program promotion is considered in a refinement calculus setting. A standard Z promotion example is recast in the refinement calculus. Received August 1997 / Accepted in revised form January 1999     

A review on egg pasteurization and disinfection: Traditional and novel processing technologies

Salmonella Enteritidis is a pathogen related to many foodborne outbreaks involving eggs and egg products. Regulations about whether eggs should be pasteurized are very different and inconsistent worldwide. In the United States, eggs are not required to be pasteurized. Hence, less than 3% of the eggs in the country are pasteurized. The standard pasteurization method (57°C, 57.5 min) uses a long thermal process that increases the cost of the product and affects its quality. Foodborne outbreaks can be reduced if eggs are properly pasteurized to inactivate Salmonella spp. However, the technology to pasteurize eggs needs to offer a faster and more reliable method that can be scaled up to industry settings at a low cost and without affecting product quality. Several novel technologies have been tested for eggshell disinfection and egg pasteurization. Some thermal technologies have been evaluated for the pasteurization of eggs. Microwave has limited penetration depth and is a technical challenge for egg pasteurization. However, radio frequency can penetrate eggshells effectively to inactivate Salmonella, considerably reduce processing time, and maintain the quality of the product. Nonthermal technologies such as ultraviolet, pulsed light, cold plasma, ozone, pressure carbon dioxide, electrolyzed water, and natural antimicrobials have been explored for surface cleaning of the intact egg as alternatives without affecting the internal quality. This review presents some of these novel technologies and the current challenges. It discusses the possible combination of factors to achieve the egg's internal pasteurization and the eggshell's disinfection without affecting the quality at a low cost for the consumer.     

SMART Silly Putty: Stretchable,Malleable, Adherable,Reusable, and Tear-Resistible Hydrogels

Cell engineering, soft robotics, and wearable electronics often desire soft materials that are easy to deform, self-heal readily, and can relax stress rapidly. Hydrogels, a type of hydrophilic networks, are such kind of materials that can be made responsive to environmental stimuli. However, conventional hydrogels often suffer from poor stretchability and repairability. Here, hydrogels consisting of boronic ester dynamic covalent bonds in a double network of poly(vinyl alcohol)/boric acid and chitosan are synthesized, which demonstrate extreme stretchability (up to 310 times the original length), instant self-healing (within 5 s), and reusability and inherent adhesion. Their instant stress relaxation stems from a low activation energy of the boronic ester bond exchange (≤20 kJ mol⁻¹) and contributes to the extreme stretchability and self-healing behaviors. Various water-dispersible additives can be readily incorporated in the hydrogels via hand kneading for potential applications such as soft electronics, bio-signal sensing, and soft artificial joints.     

Multimodal Characterization of Crystal Structure and Formation in Rubrene Thin Films Reveals Erasure of Orientational Discontinuities

Multimodal multiscale characterization provide opportunities to study organic semiconducting thin films with multiple length scales, across multiple platforms, to elucidate crystallization mechanisms of the various microstructures that impact functionality. With polarized scanning transmission X-ray and 4D-scanning transmission electron microscopy, hybrid crystalline structures in rubrene thin films in which large crystalline domains surround a common nucleus and transition to a spherulite morphology at larger radii is observed. These high-resolution techniques reveal how azimuthal orientational discontinuities at smaller radii are erased as spherulite morphology takes hold. In situ crystallization in the films with optical microscopy is also captured, discovering the importance of considering the initial temperature increase of a film during thermal annealing over the crystallization timescale. This kinetic information of the radial crystallization rate and of corresponding film heating kinetics is used to estimate the temperature at which the larger crystalline regions transition into a spherulite. By combining the results obtained from the different characterization modes, it is learned that thermal conditions can sensitively affect the crystallization of rubrene and other organic thin films. The observations suggest opportunities for more complex temperature-dependent processing to maximize hybrid structures’ functionality in organic thin films and demonstrate that multimodal studies deepen the understanding of structure-function dynamics.     

Hydrogen Storage in Partially Exfoliated Magnesium Diboride Multilayers

Metal boride nanostructures have shown significant promise for hydrogen storage applications. However, the synthesis of nanoscale metal boride particles is challenging because of their high surface energy, strong inter- and intraplanar bonding, and difficult-to-control surface termination. Here, it is demonstrated that mechanochemical exfoliation of magnesium diboride in zirconia produces 3–4 nm ultrathin MgB₂ nanosheets (multilayers) in high yield. High-pressure hydrogenation of these multilayers at 70 MPa and 330 °C followed by dehydrogenation at 390 °C reveals a hydrogen capacity of 5.1 wt%, which is ≈50 times larger than the capacity of bulk MgB₂ under the same conditions. This enhancement is attributed to the creation of defective sites by ball-milling and incomplete Mg surface coverage in MgB₂ multilayers, which disrupts the stable boron–boron ring structure. The density functional theory calculations indicate that the balance of Mg on the MgB₂ nanosheet surface changes as the material hydrogenates, as it is energetically favorable to trade a small number of Mg vacancies in Mg(BH₄)₂ for greater Mg coverage on the MgB₂ surface. The exfoliation and creation of ultrathin layers is a promising new direction for 2D metal boride/borohydride research with the potential to achieve high-capacity reversible hydrogen storage at more moderate pressures and temperatures.