Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Glass Formation In A (Ti,Zr,Hf)-(Cu,Ni,Ag)-Al High-Order Alloy System By Mechanical Alloying, L C. Zhang, Z Q. Shen, Jian Xu
Glass Formation In A (Ti,Zr,Hf)-(Cu,Ni,Ag)-Al High-Order Alloy System By Mechanical Alloying, L C. Zhang, Z Q. Shen, Jian Xu
Faculty of Engineering and Information Sciences - Papers: Part A
In this work, glass formation under high-energy ball milling was investigated for a (Ti0.33Zr0.33Hf0.33)50(Ni0.33Cu0.33Ag0.33)40Al10 high-order alloy system with equiatomic substitution for early and late transition-metal contents. For comparison, an amorphous alloy ribbon with the same composition was prepared using the melt-spinning method as well. Structural features of the samples were characterized using x-ray diffraction, transmission electron microscopy, and differential scanning calorimetry. Mechanical alloying resulted in a glassy alloy similar to that obtained by melt spinning. However, the glass formation was incomplete, and a …
Intersection Type Systems And Logics Related To The Meyer-Routley System B+, Martin W. Bunder
Intersection Type Systems And Logics Related To The Meyer-Routley System B+, Martin W. Bunder
Faculty of Engineering and Information Sciences - Papers: Part A
Some, but not all, closed terms of the lambda calculus have types; these types are exactly the theorems of intuitionistic implicational logic. An extension of these simple (→) types to intersection (or →∧) types allows all closed lambda terms to have types. The corresponding →∧ logic, related to the Meyer–Routley minimal logic B+ (without ∨), is weaker than the →∧ fragment of intuitionistic logic. In this paper we provide an introduction to the above work and also determine the →∧ logics that correspond to certain interesting subsystems of the full →∧ type theory.
Somos Simulation/Optimization Modeling System, Richard C. Peralta
Somos Simulation/Optimization Modeling System, Richard C. Peralta
Civil and Environmental Engineering Faculty Publications
SOMOS (Simulation / Optimization Modeling System) is a family of simulation / optimization (S/O) modules to aid in optimally managing water resources. SOMOS results from twenty years experience developing optimization models and applying them to real-world problems, including 11 pump-and-treat (PAT) systems and numerous water supply problems. SOMOS significantly improves water management or designs and saves money. Its user’s manual provides excellent training in principles of applying optimization to managing aquifer and stream-aquifer systems. It is being incorporated with powerful groundwater modeling and visualization packages.