Structural Aspects of P2-Type Na0.67Mn0.6Ni0.2Li0.2O2 (MNL) Stabilization by Lithium Defects as a Cathode Material for Sodium-Ion Batteries

A known strategy for improving the properties of layered oxide electrodes in sodium-ion batteries is the partial substitution of transition metals by Li. Herein, the role of Li as a defect and its impact on sodium storage in P2-Na_0.67Mn_0.6Ni_0.2Li_0.2O₂ is discussed. In tandem with electrochemical studies, the electronic and atomic structure are studied using solid-state NMR, operando XRD, and density functional theory (DFT). For the as-synthesized material, Li is located in comparable amounts within the sodium and the transition metal oxide (TMO) layers. Desodiation leads to a redistribution of Li ions within the crystal lattice. During charging, Li ions from the Na layer first migrate to the TMO layer before reversing their course at low Na contents. There is little change in the lattice parameters during charging/discharging, indicating stabilization of the P2 structure. This leads to a solid-solution type storage mechanism (sloping voltage profile) and hence excellent cycle life with a capacity of 110 mAh g^-1 after 100 cycles. In contrast, the Li-free compositions Na_0.67Mn_0.6Ni_0.4O₂ and Na_0.67Mn_0.8Ni_0.2O₂ show phase transitions and a stair-case voltage profile. The capacity is found to originate from mainly Ni³⁺/Ni⁴⁺ and O^2-/O^2-δ redox processes by DFT, although a small contribution from Mn⁴⁺/Mn⁵⁺ to the capacity cannot be excluded.     

Sustainable ammonia production through process synthesis and global optimization

Current ammonia production technologies have a significant carbon footprint. In this study, we present a process synthesis and global optimization framework to discover the efficient utilization of renewable resources in ammonia production. Competing technologies are incorporated in a process superstructure where biomass, wind, and solar routes are compared with the natural gas-based reference case. A deterministic global optimization-based branch-and-bound algorithm is used to solve the resulting large-scale nonconvex mixed-integer nonlinear programming problem (MINLP). Case studies for Texas, California, and Iowa are conducted to examine the effects of different feedstock prices and availabilities. Results indicate that profitability of ammonia production is highly sensitive to feedstock and electricity prices, as well as greenhouse gas (GHG) restrictions. Under strict 75% GHG reductions, biomass to ammonia route is found to be competitive with natural gas route, whereas wind and solar to ammonia routes require further improvement to compete with those two routes. © 2018 American Institute of Chemical Engineers AIChE J, 65: e16498 2019     

Electrospun fiber membranes from blends of poly(vinylidene fluoride) with fouling‐resistant zwitterionic copolymers

Nonwoven super‐hydrophobic fiber membranes have potential applications in oil–water separation and membrane distillation, but fouling negatively impacts both applications. Membranes were prepared from blends comprising poly(vinylidene fluoride) (PVDF) and random zwitterionic copolymers of poly(methyl methacrylate) (PMMA) with sulfobetaine methacrylate (SBMA) or with sulfobetaine‐2‐vinylpyridine (SB2VP). PVDF imparts mechanical strength to the membrane, while the copolymers enhance fouling resistance. Blend composition was varied by controlling the PVDF‐to‐copolymer ratio. Nonwoven fiber membranes were obtained by electrospinning solutions of PVDF and the copolymers in a mixed solvent of N,N‐dimethylacetamide and acetone. The PVDF crystal phases and crystallinities of the blends were studied using wide‐angle X‐ray diffraction and differential scanning calorimetry (DSC). PVDF crystallized preferentially into its polar β‐phase, though its degree of crystallinity was reduced with increased addition of the random copolymers. Thermogravimetry (TG) showed that the degradation temperatures varied systematically with blend composition. PVDF blends with either copolymer showed significant increase of fouling resistance. Membranes prepared from blends containing 10% P(MMA‐ran‐SB2VP) had the highest fouling resistance, with a fivefold decrease in protein adsorption on the surface, compared to homopolymer PVDF. They also exhibited higher pure water flux, and better oil removal in oil–water separation experiments. © 2018 Society of Chemical Industry     

The Critical Role of Passive Permeability in Designing Successful Drugs

Passive permeability is a key property in drug disposition and delivery. It is critical for gastrointestinal absorption, brain penetration, renal reabsorption, defining clearance mechanisms and drug-drug interactions. Passive diffusion rate is translatable across tissues and animal species, while the extent of absorption is dependent on drug properties, as well as in vivo physiology/pathophysiology. Design principles have been developed to guide medicinal chemistry to enhance absorption, which combine the balance of aqueous solubility, permeability and the sometimes unfavorable compound characteristic demanded by the target. Permeability assays have been implemented that enable rapid development of structure-permeability relationships for absorption improvement. Future advances in assay development to reduce nonspecific binding and improve mass balance will enable more accurately measurement of passive permeability. Design principles that integrate potency, selectivity, passive permeability and other ADMET properties facilitate rapid advancement of successful drug candidates to patients.     

Capture of Organic Vapors Using Adsorption and Electrothermal Regeneration

Activated-carbon-fiber cloth (ACFC) is an alternative adsorbent to granular activated carbon (GAC) for removing and recovering organic vapors from gas streams. Electrothermal desorption (ED) of ACFC provides rapid regeneration while requiring less energy compared to traditional regeneration techniques used with GAC. This paper provides proof-of-concept results from a bench-scale ACFC adsorption system. The automated system captured 1,000 ppmv of hazardous air pollutants/volatile organic compounds (HAPs/VOCs) from air streams and demonstrated the use of ED, using ac voltage, to recover the HAP/VOC as a pure liquid. The desorbed HAP/VOC condensed onto the inner walls of the adsorber and was collected at the bottom of the vessel, without the use of ancillary cooling. Seventy percent of the HAP/VOC was collected per cycle as condensate, with the balance being retained in the regenerated adsorber or recycled to the second adsorber. ED with in-vessel condensation results in minimal N2 consumption and short regeneration cycle times allowing the process to be cost competitive with conventional GAC-based adsorption processes. This technology extends the application of carbon adsorption systems to situations that were previously economically and physically impractical.     

Grand Coulee Dam 70 Years Later: What Can We Learn?

This paper presents key findings from a case study on the Grand Coulee Dam conducted by the authors for the World Commission on Dams. The analysis demonstrates that the distribution of project benefits has been tilted in favour of irrigation interests and hydroelectric power users and that the project's major cost bearers have been riparian-based indigenous tribes of the Upper Columbia River. The study identifies lessons learned that are applicable to many large multi-purpose water resources development projects. Within the paper, the impacts of the following factors are discussed: low stakeholder participation in decision making; absence of just compensation to Native Americans and Canadian First Nations adversely affected by the loss of fishery resources; modernization of agricultural technology; differing stakeholder perceptions of project costs and benefits; and changes in values attached to anadromous fish. The lessons highlight the need for careful, broad-based a priori assessments of the irreversible and cumulative impacts of large water resources development projects as well as planned re-evaluations of water allocations and project operations.     

The ‘Hoare logic’ of concurrent programs

Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed.