Epidemiologic transition in northern Angola: discussion of cumulative results from CISA (Health Research Centre of Angola)

The 41 years of armed conflict (1961 to 2002) resulted in a poor development of the health care and education infrastructures, and forced the relocation of people to safer places, namely major urban cities like Luanda. This phase was characterized by typical demographic, nutritional and epidemiological profiles. With the end of this period Angola has been repeatedly ranked as one of the three fastest growing economies in the world, and along with the social stabilization and globalization, the country is facing the introduction of new medical technologies, improvement of health sys-tems and services, better access to them, and overall better quality of life. These changes could also be translating into socio-cultural, demographic and nutritional changes which in turn may leading to changes in the epidemiological profile of the country. Thus, the emergence of non-communicable diseases are likely to become an increasingly im-portant public health problem in Angola. Also, considering that several infectious diseases persist, our weakened health system will have to face a double burden. Thus, disease surveillance data on non-communicable diseases to determine their prevalence and impact, along with the major behavioural risk factors like consumption of tobacco, alcohol, diets and physical inactivity are urgently needed.

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.