IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Magnetized color flavor locked state and compact stars

The stability of the color flavor locked phase in the presence of a strong magnetic field is investigated within the phenomenological MIT bag model, taking into account the variation of the strange quark mass, the baryon density, the magnetic field, as well as the bag and gap parameters. It is found that the minimum value of the energy per baryon in a color flavor locked state at vanishing pressure is lower than the corresponding one for unpaired magnetized strange quark matter and, as the magnetic field increases, the energy per baryon decreases. This implies that magnetized colorflavor locked matter is more stable and could become the ground state inside neutron stars. The mass-radius relation for such stars is also studied.

Solid State Marx Modulator with Blumlein Stack for Bipolar Pulse Generation

Sub-nanosecond bipolar high voltage pulses are a very important tool for food processing, medical treatment, waste water and exhaust gas processing. A Hybrid Modulator for sub-microsecond bipolar pulse generation, comprising an unipolar solid-state Marx generator connected to a load through a stack Blumlein system that produces bipolar pulses and further multiplies the pulse voltage amplitude, is presented. Experimental results from an assembled prototype show the generation of 1000 V amplitude bipolar pulses with 100 ns of pulse width and 1 kHz repetition rate.

A study on dynamic state information (DSI) around users for safe urban life

To select each node by devices and by contexts in urban computing, users have to put their plan information and their requests into a computing environment (ex. PDA, Smart Devices, Laptops, etc.) in advance and they will try to keep the optimized states between users and the computing environment. However, because of bad contexts, users may get the wrong decision, so, one of the users’ demands may be requesting the good server which has higher security. To take this issue, we define the structure of Dynamic State Information (DSI) which takes a process about security including the relevant factors in sending/receiving contexts, which select the best during user movement with server quality and security states from DSI. Finally, whenever some information changes, users and devices get the notices including security factors, then an automatic reaction can be possible; therefore all users can safely use all devices in urban computing.

O fim de um ciclo? A coconstrução da articulação curricular entre o 1.º e o 2.º Ciclos do Ensino Básico

Dissertação Apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Supervisão em Educação

Tourism mobile and recommendation systems - a state of the art

Recommendation systems have been growing in number for the last fifteen years. To evolve and adapt to the demands of the actual society, many paradigms emerged giving birth to even more paradigms and hybrid approaches. Mobile devices have also been under an incredible growth rate in every business area, and there are already lots of mobile based systems to assist tourists. This explosive growth gave birth to different mobile applications, each having their own advantages and disadvantages. Since recommendation and mobile systems might as well be integrated, this work intends to present the current state of the art in tourism mobile and recommendation systems, as well as to state their advantages and disadvantages.

Recommendation & mobile systems - a state of the art for tourism

Recommendation systems have been growing in number over the last fifteen years. To evolve and adapt to the demands of the actual society, many paradigms emerged giving birth to even more paradigms and hybrid approaches. These approaches contain strengths and weaknesses that need to be evaluated according to the knowledge area in which the system is going to be implemented. Mobile devices have also been under an incredible growth rate in every business area, and there are already lots of mobile based systems to assist tourists. This explosive growth gave birth to different mobile applications, each having their own advantages and disadvantages. Since recommendation and mobile systems might as well be integrated, this work intends to present the current state of the art in tourism mobile and recommendation systems, as well as to state their advantages and disadvantages.

Self-optimization aspects for dynamic scheduling

Scheduling is a critical function that is present throughout many industries and applications. A great need exists for developing scheduling approaches that can be applied to a number of different scheduling problems with significant impact on performance of business organizations. A challenge is emerging in the design of scheduling support systems for manufacturing environments where dynamic adaptation and optimization become increasingly important. At this scenario, self-optimizing arise as the ability of the agent to monitor its state and performance and proactively tune itself to respond to environmental stimuli.

Conhecimentos sobre VIH sida nos clientes de um hospital de Lakes State, Sudão do Sul

Enquadramento: O VIH/Sida exige uma ação direcionada na vertente da prevenção, cujo suporte integra a transmissão de conhecimentos promotores da adoção e manutenção de comportamentos seguros, em conformidade com as características sociais e culturais dos indivíduos. Objetivos: Validar, para a população do Sudão do Sul, a Escala de Conhecimentos sobre VIH/Sida, The HIV Knowledge Questionnaire: HIV-KQ-45, de Carey et al. (1997); analisar de que forma as variáveis sociodemográficas influenciam os conhecimentos sobre VIH/Sida, dos cidadãos de Mapuordit Sudão do Sul; verificar se a frequência de formação sobre VIH/Sida influencia o seu nível de conhecimentos. Metodologia: Estudo quantitativo, descritivo-analítico e transversal, com 232 clientes do Mary Immaculate de Mapuordit Hospital. Foi utilizado um Questionário de caracterização sociodemográfica e do contexto de formação sobre o VIH/Sida, e o HIV Knowledge Questionnaire (HVI-K-Q) de Carey, Morrison-Beedy e Johnson (1997). Resultados: Amostra é maioritariamente masculina (74.6%), com uma média de idade 22,83 (±5.793 anos). A análise fatorial confirmatória do HIV-K-Q permitiu apurar 5 fatores, cujos valores médios mais significativos foram nos fatores preconceitos/medos (média=80.60%), conhecimentos sobre os comportamentos de risco (média=76.58%) e vias de transmissão (média=70.36%). Os sudaneses pontuaram maioritariamente com razoáveis conhecimentos sobre a Sida (média=68.08%). As mulheres, os participantes mais velhos, com companheiro(a), mais escolarizados, profissionalmente ativos, a distar do hospital =<20 Km, deslocando-se num veículo não motorizado e com diagnóstico de VIH relataram mais conhecimentos sobre a Sida. Os participantes com informação sobre a prevenção do VIH/Sida e frequência em workshop na área demonstraram melhores conhecimentos. Revelaram-se preditivas dos conhecimentos acerca da doença as habilitações literárias (β=0.32) e o diagnóstico de VIH/Sida (β=0.14) revelou-se preditor dos conhecimentos sobre os comportamentos de risco. Conclusão: As casuísticas significativas do VIH/Sida justificam considerar as habilitações literárias e a presença de diagnóstico VIH/Sida como variáveis a avaliar previamente ao planeamento estratégico das ações de educação para a prevenção do VIH/Sida no Sudão do Sul. Palavras-chave: Conhecimentos; VIH/Sida; Sudão do Sul.

Cost of schizophrenia: direct costs and use of resources in the State of São Paulo

OBJECTIVE: To estimate the direct costs of schizophrenia for the public sector. METHODS: A study was carried out in the state of São Paulo, Brazil, during 1998. Data from the medical literature and governmental research bodies were gathered for estimating the total number of schizophrenia patients covered by the Brazilian Unified Health System. A decision tree was built based on an estimated distribution of patients under different types of psychiatric care. Medical charts from public hospitals and outpatient services were used to estimate the resources used over a one-year period. Direct costs were calculated by attributing monetary values for each resource used. RESULTS: Of all patients, 81.5% were covered by the public sector and distributed as follows: 6.0% in psychiatric hospital admissions, 23.0% in outpatient care, and 71.0% without regular treatment. The total direct cost of schizophrenia was US$191,781,327 (2.2% of the total health care expenditure in the state). Of this total, 11.0% was spent on outpatient care and 79.2% went for inpatient care. CONCLUSIONS: Most schizophrenia patients in the state of São Paulo receive no regular treatment. The study findings point out to the importance of investing in research aimed at improving the resource allocation for the treatment of mental disorders in Brazil.

Monitorização integrada para sistemas de alimentação distribuídos

Mestrado em Engenharia Electrotécnica e de Computadores

Sistemas de saúde e participação cidadã: algumas reflexões críticas na perspetiva da sociologia da saúde

Nos últimos dez a quinze anos temos assistido a um aumento do número de iniciativas com a participação da sociedade civil, no sentido de exercer pressão para a reformulação dos direitos sociais. Estes já não são tão vistos como direitos para aceder aos serviços estruturados e administrados pelo Estado (de acordo com o conceito de cidadania de Marshall), mas como uma reivindicação dos cidadãos para terem um papel ativo na definição das políticas públicas e dos serviços. Este debate tem sido muito intenso entre os cientistas sociais desde a década de 1980 e está bastante presente no sistema de cuidados de saúde. Vários estudos têm salientado a forte tensão entre o tecnicismo da medicina e a organização burocrática do sistema de saúde, por um lado, e o modelo de comunicação quotidiana, por outro lado. De facto, um dos temas centrais das reformas dos cuidados de saúde nos últimos 20 anos centrou-se na valorização da experiência e da perspetiva dos cidadãos. O artigo começa com um breve esboço das novas abordagens sociológicas em torno da relação entre os sistemas sociais e o mundo real – nas dimensões micro e macro; estrutura e ação. Assim, apresenta-se o estado da arte atual sobre a participação nos sistemas de saúde ocidentais, resultante da revisão da literatura, destacando as novas estratégias de envolvimento dos doentes bem como as questões relativas às críticas e às limitações. Para terminar, procede-se a uma reflexão acerca da complexidade da relação entre o sistema de cuidados de saúde e as associações de doentes e utentes.

Bat rabies in the north-northwestern regions of the state of São Paulo, Brazil: 1997-2002

OBJECTIVE: Reports on bat rabies in Brazil are sporadic and isolated. This study aimed at describing the detection of rabies virus in bats in the state of São Paulo. METHODS: A total of 7,393 bats from 235 municipalities of the north and northwestern areas of the state of São Paulo, Southeastern Brazil, were assessed according to their morphological and morphometric characteristics from 1997 to 2002. Fluorescent antibody test and mice inoculation were used for viral identification. RESULTS: Of all samples examined, 1.3% was rabies virus positive, ranging from 0.2% in 1997 to 1.6% in 2001. There were found 98 bats infected, 87 in the urban area. Fluorescent antibody test was detected in 77 positive samples, whereas 92 produced rabies signs in mice; incubation period ranging from 4 to 23 days. In 43 cities at least one rabid bat was observed. The highest proportion (33.7%) of rabies virus was found in Artibeus lituratus. Eptesicus and Myotis were the most frequent positive species (24.5%) of the Vespertilionidae family. The species Molossus molossus and Molossus rufus showed 14.3% positive bats. There were no differences in the distribution of positive rabies between females (33; 48.5%) and males (35; 51.5%). CONCLUSIONS: Rabies-infected bats were found in environments that pose a risk to both human and domestic animal population and there is a need for actions aiming at the control of these species and public education.

O Combate à fraude e evasão fiscais: a atuação da administração tributária e a avaliação dos resultados obtidos

Dissertação para obtenção do Grau de Mestre em Auditoria Orientação científica do Professor Coordenador Rodrigo Mário Oliveira Carvalho

Mapping multi-species habitat use for marine conservation planning

Tese de Doutoramento, Ciências do Mar (Biologia Marinha)