t> This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottomup approach can be used, through the magic set transformation, for goal dependent analysis, it is less known that the top-down approach can be used for goal independent analysis. The...

Determination of the starter torque-speed diagram is a major task in the design or selection of a proper gas turbine starter. In this paper, the maximum power of the MGT-40 gas turbine starter was calculated based on the dynamics of the rotor, start-up logic, and compressor map. In a recent research, the pressure ratio was assumed as a linear function of the rotor speed and the required sta...

This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric ‘friendship’ relation, providing a precise language for exploring ‘logic in the community’ [11]. Agents are placed in the model, allowing us to express such indexical facts as ‘I am your friend’ and ‘You, my friends, ...

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...

Determination of the starter torque-speed diagram is a major task in the design or selection of a proper gas turbine starter. In this paper, the maximum power of the MGT-40 gas turbine starter was calculated based on the dynamics of the rotor, start-up logic, and compressor map. In a recent research, the pressure ratio was assumed as a linear function of the rotor speed and the required starter...

according to world health organization, breast cancer is one of the most deadly cancers occurred in women. therefore accurate diagnosis and prediction is important to decrease the high death rate. the aim of this paper is twofold. first, improving breast cancer detection accuracy using modified fuzzy logic (mfl) then improving the performance of mfl algorithm using gpu platform. the experimenta...

This paper presents a 372ps 64-bit adder using Fast Pull-up Logic (FPL) in 0.18 μm CMOS technology. Fast Pullup Logic is devised and applied to decrease pull-up time which is critical in domino-static adder. The implemented adder measures the worst case delay of 372ps. The adder has a modified tree architecture using Load Distribution Method and has 6 logic stages.