Unusual interactions binding iron tetrasulfonated phthalocyanine and poly(allylamine hydrochloride) in layer-by-layer films

Molecular-level interactions are found to bind iron tetrasulfonated phthalocyanine (FeTsPc) and the polyelectrolyte poly(allylamine hydrochloride) (PAH) in electroactive layer-by-layer (LBL) films. These interactions have been identified by comparing Fourier transform infrared (FTIR) and Raman spectroscopy data from bulk samples of FeTsPc and PAH with those from FeTsPc/PAH LBL films. of particular importance were the SO3- -NH3 interactions that we believe to bind PAH and FeTsPc and the interactions between unprotonated amine groups of PAH and the coordinating metal of the phthalocyanine. The multilayer formation was monitored via UV-vis spectroscopy by measuring the increase in the Q band of FeTsPc at 676 nm. Film thickness estimated with profilometry was ca. I I Angstrom per bilayer for films adsorbed on glass. Reflection absorption infrared spectroscopy (RAIRS) revealed an anisotropy in the LBL film adsorbed on gold with FeTsPc molecules oriented perpendicularly to the substrate plane. Cyclic voltammograms showed reproducible pairs of oxidation-reduction peaks at 1.07 and 0.81 V, respectively, for a 50-bilayer PAH/FeTsPc film at 50 mV/s (vs Ag/Ag+). The peak shape and current dependence on the scan rate suggest that the process is a diffusion controlled charge transport. In the presence of dopamine, the electroactivity of FeTsPc/PAH LBL films vanishes due to a passivation effect. Dopamine activity is not detected either because the interaction between Fe atoms and NH2 groups prevents dopamine molecules from coordinating with the Fe atoms.

Very large dielectric constant of highly oriented Pb1-xBaxTiO3 thin films prepared by chemical deposition

Highly (100) oriented Pb0.8Ba0.2TiO3/LaNiO3 structures were grown on LaAlO3(100) substrates by using a wet, soft chemical method and crystallized by the microwave oven technique. The Au/PBT/LaNiO3/LaAlO3 capacitor shows a hysteresis loop with remnant polarization, P-r, of 15 muC/cm(2), and coercive field, E-c, of 47 kV/cm at an applied voltage of 3 V, along with a dielectric constant over 1800. Atomic force microscopy showed that Pb0.8Ba0.2TiO3 is composed of large grains about 300 nm. The experimental results demonstrated that the microwave preparation is rapid, clean, and energy efficient. Therefore, we demonstrated that the combination of the soft chemical method with the microwave process is a promising technique to grow highly oriented thin films with excellent dielectric and ferroelectric properties, which can be used in various integrated device applications. (C) 2004 American Institute of Physics.

Experimental study of the complex reflection coefficient of shear waves from the solid-liquid interface

The determination of the reflection coefficient of shear waves reflected from a solid-liquid interface is an important method in order to study the viscoelastic properties of liquids at high frequency. The reflection coefficient is a complex number. While the magnitude measurement is relatively easy and precise, the phase measurement is very difficult due to its strong temperature dependence. For that reason, most authors choose a simplified method in order to obtain the viscoelastic properties of liquids from the measured coefficient. In this simplified method, inconsistent viscosity results are obtained because pure viscous behavior is assumed and the phase is not measured. This work deals with an effort to improve the experimental technique required to measure both the magnitude and phase of the reflection coefficient and it intends to report realistic values for oils in a wide range of viscosity (0.092 - 6.7 Pa.s). Moreover, a device calibration process is investigated in order to monitor the dynamic viscosity of the liquid.

Some lessons of the Argentine privatization process

Includes bibliography

O instituido e o vivido na formação docente para educação inclusiva: representações sociais de professores egressos do Curso de Licenciatura em Biologia do IFPA

Este estudo tem por objeto as Representações Sociais de egressos do curso de Licenciatura em Biologia do Instituto Federal de Educação, Ciência e Tecnologia do Pará – IFPA acerca de sua formação docente na perspectiva da inclusão escolar de alunos com deficiências. A problemática se orientou com foco nas representações sociais anunciadas pelos professores sobre sua formação para a inclusão. O Objetivo principal do estudo foi Analisar o processo de construção das Representações Sociais de egressos de licenciaturas do IFPA sobre sua formação docente com vistas à inclusão. A Metodologia seguiu a abordagem qualitativa – descritiva – interpretativa – analítica com a intenção de ouvir o que esses professores têm a dizer sobre a inclusão de alunos especiais, assim como essas representações se constroem e qual o reflexo delas na ação do indivíduo. Trata-se de uma pesquisa de campo e teve como finalidade aprofundar nosso conhecimento sobre o assunto estudado. Os sujeitos da pesquisa foram 10 professores egressos oriundos do campo das ciências naturais que aceitaram participar desse estudo. Os dados da pesquisa foram coletados por meio do questionário para a realização do levantamento socioeconômico, da entrevista na modalidade semi-estruturada com a intenção de apreender os discursos verbais dos professores que foram tomados como a fonte reveladora das representações sociais; e Técnica da Associação Livre de Palavras que teve como objetivo destacar imagens relevantes das possíveis representações dos docentes. Para a compreensão dos dados foi utilizada a técnica de análise de conteúdo categorial na perspectiva de Bardin. Ao analisarmos os dados que os sujeitos entrevistados apresentaram considerando as unidades de sentido sobre determinados aspectos que permeiam a Formação Docente e Educação Inclusiva, destacamos questões dialéticas como as relações entre inclusão e exclusão, afetividade e conhecimento, teoria e prática, assim como apontamentos conflitantes que sinalizam determinadas angústias profissionais. Desta forma os resultados mostram que as representações dos professores acerca do objeto de estudo apresentam-se de forma variada, revelando a necessidade de redimensionamento de ações pedagógicas, profissionais e estruturais e estão aliadas às crenças, às convenções e à tradição que ao longo da história e da cultura educacional vem reforçando a imagem do aluno com necessidades educacionais especiais, associada à concepção de deficiência e de aluno que foge ao modelo estabelecido pela sociedade. A pesquisa ainda revela representações sociais que permeiam as construções psicossociais sobre formação e Educação Inclusiva, indicando que entre os valores e os conhecimentos priorizados para pensar e, conseqüentemente agir estão fortemente vinculados aceitação das diferenças a partir de ações solitárias, ou seja, de um protagonismo individual.

Investigation of the structural, optical and dielectric properties of highly (100)-oriented (Pb0.60Ca0.20Sr0.20)TiO3 thin films on LaNiO3 bottom electrode

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A reference model as automated process for software adaptation at runtime

The development of self-adaptive software (SaS) has specific characteristics compared to traditional one, since it allows that changes to be incorporated at runtime. Automated processes have been used as a feasible solution to conduct the software adaptation at runtime. In parallel, reference model has been used to aggregate knowledge and architectural artifacts, since capture the systems essence of specific domains. However, there is currently no reference model based on reflection for the development of SaS. Thus, the main contribution of this paper is to present a reference model based on reflection for development of SaS that have a need to adapt at runtime. To present the applicability of this model, a case study was conducted and good perspective to efficiently contribute to the area of SaS has been obtained.

Writing in a Mathematics Classroom: A Form of Communication and Reflection

In this action research study, I investigated the use of journaling in my seventh grade mathematics classroom. I discovered that journaling can be a very rewarding and beneficial experience for me and for my students. Through journaling, my students became more adept at using correct mathematical terminology in writing and in speaking. The students also believed that they learned the content more deeply and retained it better. Additionally, implementing mathematical journals caused me to emphasize the use of correct terminology and thorough explanations of mathematical thinking in classroom discussions. As a result of this research, I plan to refine my journaling process and continue to use mathematical journals with my future classes.

Therapeutic Project at Extra-Hospital Mental Health Services: a critical reflection on the elaboration and management of services' therapeutic projects

Based on a study conducted in Ribeirao Preto, SP, Brazil in extra-hospital mental health services that addressed the organization of these services, therapeutic projects and the inclusion of psychosocial rehabilitation in health actions available, a theoretical-critical reflection concerning the development process of the therapeutic projects by the services' teams is presented. The qualitative study was conducted in an outpatient clinic and a Psychosocial Care Center. Data were collected through semi-structured interviews and focal groups. Data analysis was based on the hermeneutic dialectic philosophy of Jurgen Habermas according to the techniques of reconstruction and interpretation. Data analysis revealed that professionals have difficulty developing and managing therapeutic projects. Health actions are made available without being concretely supported by a proposal guiding the service's practical activities. The therapeutic projects are referred by professionals as the result of guidelines provided by management levels or technical orientations inherent to each profession but not as an activity that represents a philosophy of work of the health team. When the therapeutic project is focused on as a type of consensus that results from a communicative action directed to a mutual and intersubjective understanding among the members of the mental health extra-hospital team, the difficulties of the services' team dialogically organizing themselves to collectively construct the therapeutic project is evidenced.

Work and Inter-subjectivity: a theoretical reflection on its dialectics in the field of health and nursing

This theoretical reflection intends to show the inter-subjective relationship that takes place in health and nursing practices under the following theoretical perspectives: Institutional Analysis, Psychodynamics of Labor and the Theory of Communicative Action, with an emphasis on the latter. Linking these concepts to the Marxist approach to work in the field of health emerges from recognizing the need for its continuous reconstruction-in this case, with a view to understand the interaction and communication intrinsic to work in action. The theory of Communicative Action seeks to consider these two inextricable dimensions: work as productive action and as interaction. The first corresponds to instrumental action based on technical rules with a production-guided rationale. The second refers to the interaction that takes place as communicative action and seeks understanding among subjects. We assume that adopting this theoretical perspective in the analysis of health and nursing practices opens new possibilities for clarifying its social and historical process and inter-subjective connections.

Formation and Characterization of Oriented Micro-and Nanofibers Containing Poly (ethylene oxide) and Pectin

Formation of oriented or aligned micro- and nanofibers using biocompatible materials opens the possibility to obtain engineered tissues that can be used in medicine, environmental engineering, security and defense, among other applications. Pectin, a heteropolysaccharide, is a promising material to be incorporated into the fibers because, besides being biocompatible, this material is also biodegradable and bioactive. In this work, the formation of oriented fibers using solutions containing pectin and polyethylene oxide (biocompatible polymers), and chloroform (as the solvent) is investigated. The injection of solution into an intense electric field defined between two parallel electrodes was used to obtain oriented fibers. This novel approach is a modification of the conventional electrospinning process. The presence of pectin in the fibers was confirmed by FTIR analysis. Fibers with diameters of hundreds of nanometers and several centimeters long can be collected. The incorporation of pectin leads to a higher variation of the diameter of the fibers, and a trend to larger fiber diameters. This behavior can be related to the presence of pectin clusters in the fibers. (C) 2012 The Electrochemical Society. [DOI: 10.1149/2.057203jes] All rights reserved.

Formalizing languages for service oriented computing

Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be exploited in the next years. At present, the most credited Service Oriented Computing technology is that of Web Services, whose specifications are enriched day by day by industrial consortia without following a precise and rigorous approach. This PhD thesis aims, on the one hand, at modelling Service Oriented Computing in a formal way in order to precisely define the main concepts it is based upon and, on the other hand, at defining a new approach, called bipolar approach, for addressing system design issues by synergically exploiting choreography and orchestration languages related by means of a mathematical relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of finite state automata and process algebra concurrent systems, respectively. Furthermore, we introduce a formal language for dealing with choreography. Such a language is equipped with a formal semantics and it forms, together with a subset of the SOCK calculus, the bipolar framework. Finally, we present JOLIE which is a Java implentation of a subset of the SOCK calculus and it is part of the bipolar framework we intend to promote.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Workflow Patterns for Service Oriented Computing in JOLIE

Il presente lavoro di tesi ha come punto focale la descrizione, la verifica e la dimostrazione della realizzabilità dei Workflow Patterns di Gestione del Flusso(Control-Flow) e Risorse (Resource) definiti da parte della Workflow Pattern Initiative (WPI)in JOLIE, un innovativo linguaggio di programmazione orientato ai servizi nato nell'ambito del Service Oriented Computing. Il Service Oriented Computing (SOC) è un nuovo modo di pensare la programmazione di applicazioni distribuite, i cui concetti fondamentali sono i servizi e la composizione. L’approccio SOC definisce la possibilità di costruire un’applicazione in funzione dei servizi che ne realizzano il comportamento tramite una loro composizione, definita secondo un particolare flusso di lavoro. Allo scopo di fornire la necessaria conoscenza per capire la teoria, le meccaniche e i costrutti di JOLIE utilizzati per la realizzazione dei pattern, il seguente lavoro di tesi è stato diviso in quattro parti, corrispondenti ad altrettanti capitoli. Nel primo capitolo viene riportata una descrizione generale del SOC e della Business Process Automation (BPA), che costituisce l’ambiente in cui il SOC è inserito. Per questo viene fatta una disamina della storia informatica sui sistemi distribuiti, fino ad arrivare ai sistemi odierni, presentando in seguito il contesto del BPA e delle innovazioni derivanti dalle sue macro-componenti, di cui il SOC fa parte. Continuando la descrizione dell’approccio Service Oriented, ne vengono presentati i requisiti (pre-condizioni) e si cerca di dare una definizione precisa del termine “servizio”, fino all'enunciazione dei principi SOC declinati nell’ottica delle Service Oriented Architectures, presentando in ultimo i metodi di composizione dei servizi, tramite orchestrazione e coreografia. L’ultima sezione del capitolo prende in considerazione il SOC in un’ottica prettamente industriale e ne evidenzia i punti strategici. Il secondo capitolo è incentrato sulla descrizione di JOLIE, gli aspetti fondamentali dell’approccio orientato ai servizi, che ne caratterizzano profondamente la definizione concettuale (SOCK), e la teoria della composizione dei servizi. Il capitolo non si pone come una descrizione esaustiva di tutte le funzionalità del linguaggio, ma considera soprattutto i concetti teorici, le strutture di dati, gli operatori e i costrutti di JOLIE utilizzati per la dimostrazione della realizzabilità dei Workflow Pattern del capitolo successivo. Il terzo capitolo, più lungo e centrale rispetto agli altri, riguarda la realizzazione dei workflow pattern in JOLIE. All'inizio del capitolo viene fornita una descrizione delle caratteristiche del WPI e dei Workflow Pattern in generale. In seguito, nelle due macro-sezioni relative ai Control-Flow e Resource pattern vengono esposte alcune nozioni riguardanti le metodologie di definizione dei pattern (e.g. la teoria sulla definizione delle Colored Petri Nets) e le convezioni adottate dal WPI, per passare in seguito al vero e proprio lavoro (sperimentale) di tesi riguardo la descrizione dei pattern, l’analisi sulla loro realizzabilità in JOLIE, insieme ad un codice di esempio che esemplifica quanto affermato dall'analisi. Come sommario delle conclusioni raggiunte sui pattern, alla fine di ognuna delle due sezioni definite in precedenza, è presente una scheda di valutazione che, con lo stesso metodo utilizzato e definito dalla WPI, permette di avere una rappresentazione generale della realizzabilità dei pattern in JOLIE. Il quarto capitolo riguarda gli esiti tratti dal lavoro di tesi, riportando un confronto tra le realizzazioni dei pattern in JOLIE e le valutazioni del WPI rispetto agli altri linguaggi da loro considerati e valutati. Sulla base di quanto ottenuto nel terzo capitolo vengono definite le conclusioni del lavoro portato avanti sui pattern e viene delineato un’eventuale scenario riguardante il proseguimento dell’opera concernente la validazione ed il completamento della studio. In ultimo vengono tratte alcune conclusioni sia riguardo JOLIE, nel contesto evolutivo del linguaggio e soprattutto del progetto open-source che è alla sua base, sia sul SOC, considerato nell’ambito del BPA e del suo attuale ambito di sviluppo dinamico.