We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic ...

En este articulo de describe detalladamente el algoritmo de conexión de datos a un servidor TCP, Utilizando el modulo GPRS/GSM WISMO228, un PIC18F452, un pantalla táctil, una LCD 4x20. El Microcontrolador PIC18F452 Configura por medio de comandos AT vía serial a una velocidad de 9600 baudios al modulo WISMO228, configurándole el STACK TCP/IP, el proveedor de servicio (APN), la IP y puerto de Co...

Practical control of timed behaviors in industrial applications is difficult. One of the few efficient modeling approaches to deal with time constraints on discrete event systems (DES) is to use Timed Event Graph (TEG), a sub-class of Petri Nets. The dynamic behavior of these graphs is represented by a linear equations system over the Max-Plus algebra. Up to date, these models were assumed to b...

OBJECTIVE To investigate the intraoperative release of troponin T during uncomplicated coronary artery surgery and to determine its relation to ischaemic time and to recovery of left ventricular function and oxidative metabolism. DESIGN A prospective observational study. SETTING Cardiac surgical unit in a tertiary referral centre. METHODS Troponin T, creatine kinase, and lactate were anal...

abstract: implementing a combined cooling, heating and power system(cchp) to cool, heat and produce electricity is growing rapidly due to its efficiency and low emissions. in this paper, using economic analysis, the size and operation detail of the required gas engine and the specific electricity, cooling and heating load curves for a one year operating period has been determined. the proposed ...

flexible ac transmission systems (facts) controllers with its ability to directly control the power flow can offer great opportunities in modern power system, allowing better and safer operation of transmission network. in this paper, in order to find type, size and location of facts devices in a power system a dedicated improved particle swarm optimization (dipso) algorithm is developed for de...

this study highlights the costs and benefits of indigenous beef cattle fattening schemes in shinyanga urban and kishapu districts in tanzania. specifically, in this study the net profit (np) for fatteners between beef cattle fattening schemes has been determined. the schemes were divided into two main categories, scheme 1 in which the animals were fed on cottonseed hulls (cshl) based diets and ...