Search for: All records

This work demonstrates a simple method to prepare hierarchically porous materials. The introduction of macropores in mesoporous matrix enables its improved sorbent performance against pollutants for water remediation. 

Refinement types have been extensively used in class-based languages to specify and verify fine-grained logical specifications. Despite the advances in practical aspects such as applicability and usability, two fundamental issues persist. First, the soundness of existing class-based refinement type systems is inadequately explored, casting doubts on their reliability. Second, the expressiveness of existing systems is limited, restricting the depiction of semantic properties related to object-oriented constructs. This work tackles these issues through a systematic framework. We formalize a declarative class-based refinement type calculus (named RFJ), that is expressive and concise. We rigorously develop the soundness meta-theory of this calculus, followed by its mechanization in Coq. Finally, to ensure the calculus’s verifiability, we propose an algorithmic verification approach based on a fragment of first-order logic (named LFJ), and implement this approach as a type checker. 

The quest for understanding the structure-property correlation in porous materials has remained a persistent focus across various research domains, particularly within the sorption realm. Molecular metal oxide clusters, owing to their precisely tunable atomic structures and long-range order, exhibit significant potential as versatile platforms for sorption investigations. This study presents a series of isostructural Ti8Ce2-oxo clusters with subtle variations in coordinated linkers and explores their gas sorption behavior. Notably, Ti8Ce2-BA (where BA denotes benzoic acid) manifests a distinctive twostep profile during CO2 adsorption, accompanied by a hysteresis loop. This observation marks a pioneering instance within the metal oxide cluster field. Of particular intrigue, the presence of unsaturated Ce(Ⅳ) sites was found to be correlated with the stepped sorption property. Moreover, the introduction of an electrophilic fluorine atom, positioned ortho or para to the benzoic acid, facilitated precise control over gate pressure and stepped sorption quantities. Advanced in-situ techniques systematically unraveled the underlying mechanism behind this unique sorption behavior. The findings elucidate that robust Lewis base-acid interactions are established between CO2 molecules and Ce ions, consequently altering the conformation of coordinated linkers. Conversely, the F atoms primarily contribute to gate pressure variation by influencing the Lewis acidity of the Ce sites. This research advances the understanding in fabricating geometrically "flexible" metal-oxo clusters and provides profound insights into their host-guest interaction motifs. These insights hold substantial promise across diverse fields, particularly in CO2 gas capture and gas-phase catalysis, and offer valuable guidance for future adsorbent designs grounded in fundamental theories of structure-property relationships. 

Nitrogen doped lutetium hydride has drawn global attention in the pursuit of room-temperature superconductivity near ambient pressure and temperature. However, variable synthesis techniques and uncertainty surrounding nitrogen concentration have contributed to extensive debate within the scientific community about this material and its properties. We used a solid-state approach to synthesize nitrogen doped lutetium hydride at high pressure and temperature (HPT) and analyzed the residual starting materials to determine its nitrogen content. High temperature oxide melt solution calorimetry determined the formation enthalpy of LuH_1.96N_0.02(LHN) from LuH₂and LuN to be −28.4 ± 11.4 kJ/mol. Magnetic measurements indicated diamagnetism which increased with nitrogen content. Ambient pressure conductivity measurements observed metallic behavior from 5 to 350 K, and the constant and parabolic magnetoresistance changed with increasing temperature. High pressure conductivity measurements revealed that LHN does not exhibit superconductivity up to 26.6 GPa. We compressed LHN in a diamond anvil cell to 13.7 GPa and measured the Raman signal at each step, with no evidence of any phase transition. Despite the absence of superconductivity, a color change from blue to purple to red was observed with increasing pressure. Thus, our findings confirm the thermodynamic stability of LHN, do not support superconductivity, and provide insights into the origins of its diamagnetism.