Open Access. Powered by Scholars. Published by Universities.®

Science and Technology Studies Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 121 - 123 of 123

Full-Text Articles in Science and Technology Studies

Intersection Type Systems And Logics Related To The Meyer-Routley System B+, Martin W. Bunder Jan 2003

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 Jan 2002

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 Jan 2001

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 ...