Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Social and Behavioral Sciences
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.
Issues For Connection Of Distributed Generation In Rural/Remote Power Systems, Kashem M. Muttaqi, Gerard Ledwich, Michael Negnevitsky
Issues For Connection Of Distributed Generation In Rural/Remote Power Systems, Kashem M. Muttaqi, Gerard Ledwich, Michael Negnevitsky
Faculty of Engineering and Information Sciences - Papers: Part A
Connection of distributed generation (DG) into a distribution grid system affects the normal operation, control and protection of the distribution system. This paper addresses some of the technical issues arisen due to the addition of generation to a rural/remote distribution network. In this paper, a voltage controlled rotary DG is modelled to operate in the line of voltage sensitivity for maximum voltage improvement. A scenario-based study on DG operation and control has been conducted and recommendations for effective operation of DG presented. An investigation on barriers to inclusion of utility owned and customer owned DG has been carried out and …