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.

Autonomic Activities in the Execution of Scientific Workflows: Evaluation of the AWARD Framework

Workflows have been successfully applied to express the decomposition of complex scientific applications. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from tasks specification, decentralizing the control of workflow activities allowing their tasks to run in distributed infrastructures, and supporting dynamic workflow reconfigurations. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on Process Networks, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures. Each AWA executes a task developed as a Java class with a generic interface allowing end-users to code their applications without low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables dynamic workflow reconfiguration. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to the Amazon (Elastic Computing EC2) Cloud.

Synthesis and Coordination Chemistry of a New N-4-Polydentate Class of Pyridyl-Functionalized Scorpionate Ligands: Complexes of Fe-II, Zn-II, V-IV, Pd-II and Use for Heterobimetallic Systems

The new potentially N-4-multidentate pyridyl-functionalized scorpionates 4-((tris-2,2,2-(pyrazol-1-ypethoxy)methyl)pyridine (TpmPy, (1)) and 4-((tris-2,2,2-(3-phenylpyrazol-1-yl)ethoxy)methyl)pyridine (TpmPy(Ph), (2)) have been synthesized and their coordination behavior toward Fe-II, Ni-II, Zn-II, Cu-II, Pd-II, and V-III centers has been studied. Reaction of (1) with Fe(BF4)(2)center dot 6H(2)O yields [Fe(TpmPy)(2)](BF4)(2) (3), that, in the solid state, shows the sandwich structure with trihapto ligand coordination via the pyrazolyl arms, and is completely low spin (LS) until 400 K. Reactions of 2 equiv of (1) or (2) with Zn-II or Ni-II chlorides give the corresponding metal complexes with general formula [MCl2(TpmPy*)(2)] (M = Zn, Ni; TpmPy* = TpmPy, TpmPy(Ph)) (4-7) where the ligand is able to coordinate through either the pyrazolyl rings (in case of [Ni(TpmPy)(2)Cl-2 (5)) or the pyridyl-side (for [ZnCl2(TpmPy)(2)] (4), [ZnCl2(TpmPy(Ph))(2)] (6) and [NiCl2(TpmPy(Ph))(2)] (7)). The reaction of (1) with VCl3 gives [VOCl2(TpmPy)] (8) that shows the N-3-pyrazolyl coordination-mode. Moreover, (1) and react with cis-[PdCl2(CH3CN)(2)] to give the disubstituted complexes [PdCl2(TprnPy)(2)] (9) and [PdCl2(TpmPy(Ph))(2)] (10), respectively, bearing the scorpionate coordinated via the pyridyl group. Compounds (9) and (10) react with Fe(BF4)(2) to give the heterobimetallic Pd/Fe systems [PdCl2(mu-TpmPy)(2)-Fe](BF4)(2) (11) and [PdCl2(mu-TpmPy(Ph))(2)Fe-2(H2O)(6)]BF4)(4) (13), respectively. Compound (11) can also be formed from reaction of (3) with cis-[PdCl2(CH3CN)(2)], while reaction of (3) with Cu(NO3)(2).2.5H(2)O generates [Fe(mu-TpmPy)(2)-Cu(NO3)(2)](BF4)(2) (12), confirming the multidentate ability of the new chelating ligands. The X-ray diffraction analyses of compounds (1), (3), (4), (5), and (9) are also reported.

Variáveis psicológicas e percepção do estado de saúde em indivíduos submetidos a ressincronização cardíaca

A insuficiência cardíaca afecta cerca de 261 mil pessoas em Portugal constituindo um problema de saúde pública. Pretendemos avaliar aspectos associados à recuperação do estado de saúde nesta síndrome, em particular a esperança, o afecto e a felicidade. Recorremos a um estudo longitudinal com 128 indivíduos sintomáticos com má fracção de ejecção do ventrículo esquerdo. Utilizámos um questionário para caracterizar os aspectos sóciodemográficos, clínicos e funcionais, o Kansas City Cardiomiopathy Questionnaire (KCCQ) para avaliar a qualidade de vida, a Subjective Hapiness Scale (SHS) para a felicidade, a HOPE Scale (HOPE) para a esperança e a Positive And Negative Afect Schedule (PANAS) para o afecto. Os questionários de caracterização sócio-demográfica, clínica e funcional, KCCQ e o SHS foram aplicados em três momentos: no internamento, prévio à instituição de terapêutica médica na sua totalidade e ao terceiro e sexto mês após a intervenção médica, na consulta externa. A maioria dos participantes eram homens em classe III da classificação da New York Heart Association com etiologia isquémica. No internamento e antes da terapêutica médica, observámos que a esperança, a felicidade e o afecto se relacionaram com a qualidade de vida, a felicidade e o afecto positivo com a esperança. No período avaliado foram submetidos a: terapia de ressincronização cardíaca (n=52), cardioversor-desfibrilhador implantável (n=44), cirurgia valvular com revascularização do miocárdio (n=14), optimização terapêutica farmacológica (n=10), transplante cardíaco (n=8). Foram significativos os resultados da qualidade de vida, da classificação da New York Heart Association, do exercício físico, da fracção de ejecção do ventrículo esquerdo e das arritmias cardíacas (estrasístoles e taquicardias ventriculares). A felicidade foi preditora da qualidade de vida e da funcionalidade. O afecto negativo foi preditor da satisfação com a insuficiência cardíaca. Concluímos da importância das variáveis positivas a par dos procedimentos médicos no tratamento das pessoas com insuficiência cardíaca. ABSTRACT - Heart failure affects about 261 000 people in Portugal constituting a public health problem. We intend to evaluate aspects of the health recovery in this syndrome, in particular hope, affection and happiness. We used a longitudinal study with 128 symptomatic patients with poor ejection fraction of left ventricle. We used a questionnaire to characterize the socio-demographic, clinical and functional aspects, the Kansas City Cardiomiopathy Questionnaire (KCCQ) to assess the quality of life, the Subjective Happiness Scale (SHS) for happiness, the HOPE Scale (HOPE) for hope and the Positive And Negative Affect Schedule (PANAS) for affection. The questionnaires of sociodemographic, clinical and functional KCCQ and SHS were applied on three occasions: on admission, prior to the execution of medical therapy in its totality and in the third and sixth months after medical intervention in the outpatient. Most of the participants were men in Class III New York Heart Association classification with ischemic etiology. At admission and before medical therapy, we observed that the hope, happiness and affection were related to the quality of life, happiness and positive affect with hope. Over the studied period were submitted to: cardiac resynchronization therapy (n=52), implantable cardioverter-defibrillator (n=44), valvular surgery with coronary artery bypass graft surgery (n=14), optimizing drug therapy (n=10), heart transplant (n=8). The significant results were the quality of life, the New York Heart Association classification, the exercise, the ejection fraction and left ventricular cardiac arrhythmias (ventricular tachycardia and estrasistoles). Happiness was a predictor of quality of life and functionality. The negative affect was a predictor of satisfaction with heart failure. We concluded that the positive variables and the medical procedures were important in treating people with heart failure.

Distributed process execution in collaborative networks

Processes are a central entity in enterprise collaboration. Collaborative processes need to be executed and coordinated in a distributed Computational platform where computers are connected through heterogeneous networks and systems. Life cycle management of such collaborative processes requires a framework able to handle their diversity based on different computational and communication requirements. This paper proposes a rational for such framework, points out key requirements and proposes it strategy for a supporting technological infrastructure. Beyond the portability of collaborative process definitions among different technological bindings, a framework to handle different life cycle phases of those definitions is presented and discussed. (c) 2007 Elsevier Ltd. All rights reserved.

A aquisição de competências musicais no ensino da Técnica de Dança Clássica no 2º ano no Conservatório de Música da Jobra

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: o jogo e o desenvolvimento da consciência linguística

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclo do Ensino Básico

A class of singular first order differential equations with applications in reaction-diffusion

Agências Financiadoras: FCT e MIUR

Corrosão das armaduras do betão armado: causas, consequências, prevenção e projeto de durabilidade

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil

A interação entre Música e Dança na aula de Técnica de Dança Clássica : estratégias para o desenvolvimento da sensibilidade musical com alunas do 5º ano da Escola Vocacional de Dança da Sociedade Filarmónica Gualdim Pais

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

Autonomic workflow activities: the award framework

Workflows have been successfully applied to express the decomposition of complex scientific applications. This has motivated many initiatives that have been developing scientific workflow tools. However the existing tools still lack adequate support to important aspects namely, decoupling the enactment engine from workflow tasks specification, decentralizing the control of workflow activities, and allowing their tasks to run autonomous in distributed infrastructures, for instance on Clouds. Furthermore many workflow tools only support the execution of Direct Acyclic Graphs (DAG) without the concept of iterations, where activities are executed millions of iterations during long periods of time and supporting dynamic workflow reconfigurations after certain iteration. We present the AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic) model of computation, based on the Process Networks model, where the workflow activities (AWA) are autonomic processes with independent control that can run in parallel on distributed infrastructures, e. g. on Clouds. Each AWA executes a Task developed as a Java class that implements a generic interface allowing end-users to code their applications without concerns for low-level details. The data-driven coordination of AWA interactions is based on a shared tuple space that also enables support to dynamic workflow reconfiguration and monitoring of the execution of workflows. We describe how AWARD supports dynamic reconfiguration and discuss typical workflow reconfiguration scenarios. For evaluation we describe experimental results of AWARD workflow executions in several application scenarios, mapped to a small dedicated cluster and the Amazon (Elastic Computing EC2) Cloud.

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.

Soliton-type and other travelling wave solutions for an improved class of nonlinear sixth-order Boussinesq equations

An improved class of nonlinear bidirectional Boussinesq equations of sixth order using a wave surface elevation formulation is derived. Exact travelling wave solutions for the proposed class of nonlinear evolution equations are deduced. A new exact travelling wave solution is found which is the uniform limit of a geometric series. The ratio of this series is proportional to a classical soliton-type solution of the form of the square of a hyperbolic secant function. This happens for some values of the wave propagation velocity. However, there are other values of this velocity which display this new type of soliton, but the classical soliton structure vanishes in some regions of the domain. Exact solutions of the form of the square of the classical soliton are also deduced. In some cases, we find that the ratio between the amplitude of this wave and the amplitude of the classical soliton is equal to 35/36. It is shown that different families of travelling wave solutions are associated with different values of the parameters introduced in the improved equations.

Exploiting the bin-class histograms for feature selection on discrete data

In machine learning and pattern recognition tasks, the use of feature discretization techniques may have several advantages. The discretized features may hold enough information for the learning task at hand, while ignoring minor fluctuations that are irrelevant or harmful for that task. The discretized features have more compact representations that may yield both better accuracy and lower training time, as compared to the use of the original features. However, in many cases, mainly with medium and high-dimensional data, the large number of features usually implies that there is some redundancy among them. Thus, we may further apply feature selection (FS) techniques on the discrete data, keeping the most relevant features, while discarding the irrelevant and redundant ones. In this paper, we propose relevance and redundancy criteria for supervised feature selection techniques on discrete data. These criteria are applied to the bin-class histograms of the discrete features. The experimental results, on public benchmark data, show that the proposed criteria can achieve better accuracy than widely used relevance and redundancy criteria, such as mutual information and the Fisher ratio.

Generation of high-affinity monoclonal antibodies of IgG class against native β-d-glucans from basidiomycete mushrooms

β-d-glucans from basidiomycete strains are powerful immunomodulatory agents in several clinical conditions. Therefore, their assay, purification and characterization are of great interest to understand their structure-function relationship. Hybridoma cell fusion was used to raise monoclonal antibodies (Mabs) against extracellular β-d-glucans (EBGs) from Pleurotus ostreatus. Two of the hybridoma clones (1E6-1E8-B5 and 3E8-3B4) secreting Mabs against EBGs were selected. This hybridoma cell line secreted Mabs of the IgG class which were then purified by hydroxyapatite chromatography to apparent homogeneity on native and SDS-PAGE. Mabs secreted by 1E6-1E8-B5 clone were found to recognize a common epitope on several β-d-glucans from different basidiomycete strains. This Mab exhibited high affinity constant (KA) for β-d-glucans from several mushroom strains in the range of 3.20 × 109 ± 3.32 × 103-1.51 × 1013 ± 3.58 × 107 L/mol. Moreover, they reacted to some heat-treated β-d-glucans in a different mode when compared with the native forms; these data suggest that this Mab binds to a conformational epitope on the β-d-glucan molecule. The epitope-binding studies of Mabs obtained from 1E6-1E8-B5 and 3E8-3B4 revealed that the Mabs bind to the same epitope on some β-d-glucans and to different epitopes in other antigen molecules. Therefore, these Mabs can be used to assay for β-d-glucan from basidiomycete mushrooms. © 2015 Elsevier Ltd. All rights reserved.