Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 91 - 94 of 94
Full-Text Articles in Social and Behavioral Sciences
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.
Mr Damper And Its Application For Semi-Active Control Of Vehicle Suspension System, G Z. Yao, F F. Yap, G Chen, Weihua Li, S H. Yeo
Mr Damper And Its Application For Semi-Active Control Of Vehicle Suspension System, G Z. Yao, F F. Yap, G Chen, Weihua Li, S H. Yeo
Faculty of Engineering and Information Sciences - Papers: Part A
In this paper, a semi-active control of vehicle suspension system with magnetorheological (MR) damper is presented. At first a MR damper working in flow mode is designed. Performance testing is done for this damper with INSTRON machine. Then a mathematical model, Bouc–Wen model, is adopted to characterize the performance of the MR damper. With optimization method in MATLAB® and experimental results of MR damper, the coefficients of the model are determined. Finally, a scaled quarter car model is set up including the model of the MR damper and a semi-active control strategy is adopted to control the vibration of …
Mat: A Mobile Agent System For Supporting Autonomous Mobile Agents, Wei Li, Minjie Zhang
Mat: A Mobile Agent System For Supporting Autonomous Mobile Agents, Wei Li, Minjie Zhang
Faculty of Engineering and Information Sciences - Papers: Part A
Mobile Agent Template (MAT) is a mobile agent system that is under study and development at the Institute of Computing Technology, Chinese Academy of Sciences and sponsored by the University of Wollongong, Australia. MAT is not an alternative to other mobile agent systems, but is an agent system that can provide the autonomy to mobile agents. MAT tries to support new Web applications, such as the mobile computation, by autonomous and mobile agents. Mobile Thread Programming Model (MTPM), Distributed Task Plan (DTP) and Active State Space (ASS) are integral components on which MAT is constructed. Integration of these three components …