Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Three-phase three-level current-source converter for EVs fast battery charging systems

This paper presents a three-phase three-level fast battery charger for electric vehicles (EVs) based in a current-source converter (CSC). Compared with the traditional voltage-source converters used for fast battery chargers, the CSC can be seen as a natural buck-type converter, i.e., the output voltage can assume a wide range of values, which varies between zero and the maximum instantaneous value of the power grid phase-to-phase voltage. Moreover, using the CSC it is not necessary to use a dc-dc back-end converter in the battery side, and it is also possible to control the grid current in order to obtain a sinusoidal waveform, and in phase with the power grid voltage (unitary power factor). Along the paper is described in detail the proposed CSC for EVs fast battery charging systems: the circuit topology, the power control theory, the current control strategy and the grid synchronization algorithm. Several simulation results of the EV fast battery charger operating with a maximum power of 50 kW are presented.

Integrated management systems as complex adaptive systems

It is a difficult task to avoid the “smart systems” topic when discussing smart prevention and, similarly, it is a difficult task to address smart systems without focusing their ability to learn. Following the same line of thought, in the current reality, it seems a Herculean task (or an irreparable omission) to approach the topic of certified occupational health and safety management systems (OHSMS) without discussing the integrated management systems (IMSs). The available data suggest that seldom are the OHSMS operating as the single management system (MS) in a company so, any statement concerning OHSMS should mainly be interpreted from an integrated perspective. A major distinction between generic systems can be drawn between those that learn, i.e., those systems that have “memory” and those that have not. These former systems are often depicted as adaptive since they take into account past events to deal with novel, similar and future events modifying their structure to enable success in its environment. Often, these systems, present a nonlinear behavior and a huge uncertainty related to the forecasting of some events. This paper seeks to portray, for the first time as we were able to find out, the IMSs as complex adaptive systems (CASs) by listing their properties and dissecting the features that enable them to evolve and self-organize in order to, holistically, fulfil the requirements from different stakeholders and thus thrive by assuring the successful sustainability of a company. Based on the revision of literature carried out, this is the first time that IMSs are pointed out as CASs which may develop fruitful synergies both for the MSs and for CASs communities. By performing a thorough revision of literature and based on some concepts embedded in the “DNA” of the subsystems implementation standards it is intended, specifically, to identify, determine and discuss the properties of a generic IMS that should be considered to classify it as a CAS.

Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Effect of NaCl additive on solute-solvent interactions in aqueous polyethylene glycol-sodium sulfate two-phase systems

Abstract Partition behavior of eight small organic compounds and six proteins was examined in poly(ethylene glycol)-8000-sodium sulfate aqueous two-phase systems containing 0.215 M NaCl and 0.5 M osmolyte (sorbitol, sucrose, TMAO) and poly(ethylene glycol)-10000-sodium sulfate-0.215 M NaCl system, all in 0.01 M sodium phosphate buffer, pH 6.8. The differences between the solvent properties of the coexisting phases (solvent dipolarity/polarizability, hydrogen bond donor acidity, and hydrogen bond acceptor basicity) were characterized with solvatochromic dyes using the solvatochromic comparison method. Differences between the electrostatic properties of the phases were determined by analysis of partitioning of sodium salts of dinitrophenylated (DNP-) amino acids with aliphatic alkyl side-chain. The partition coefficients of all compounds examined (including proteins) were described in terms of solute-solvent interactions. The results obtained in the study show that solute-solvent interactions of nonionic organic compounds and proteins in polyethylene glycol-sodium sulfate aqueous two-phase system change in the presence of NaCl additive.

Filamentous fungi in free water and biofilms from Brazilian drinking water systems

In some regions of Brazil, especially where the water is scarce, drinking water is stored in water storage tanks. This practice gives the consumer the guarantee of available water. The water storage conditions such as the exposure to hot weather when the tanks are on rooftops allow the development of microorganisms and microbial biofilms which can deteriorate the water quality and increase the risk to human health [1,2]. This study describes the filamentous fungi (FF) detected in free water and biofilms in drinking water storage tanks in Recife - Pernambuco, Brazil. Five sampling times in triplicate were performed at two distinct points. Colony-forming units (CFU) of FF fungi were determined with 0.45 µm filtration membranes using peptone glucose rose Bengal agar (PGRBA). From the 30 samples analysed a total of 1136 CFU were obtained. The water biofilms were collected from samplers consisting of polyethylene coupons, previously installed in the reservoirs. These coupons were transferred to PGRBA plates and incubated using with the same conditions described for free FF. For the in situ detection of FF in biofilms the Calcofluor White staining technique was used. This procedure demonstrated FF forming biofilms on the surfaces of the coupons. Brazilian legislation does not define limits for FF in drinking water. However considering the potential risk of fungal contamination, the data obtained in this study will contribute to developing future quantitative and qualitative parameters for the presence of fungi in drinking water distribution systems in Brazil. [1] HageskaL, G, Lima, N, Skaar, I. The study of fungi in drinking water. Mycological Research, 113, 2009, 165-172. [2] Skaar I, Hageskal G. Fungi in Drinking Water. In.: Paterson RRM, Lima N. (Eds.) Molecular Biology of Food and Water Borne Mycotoxigenic and Mycotic Fungi. CRC Press, Taylor & Francis Group, Boca Raton, 2015, 597-606.

OPM3® Portugal project: information systems and technologies organizations: outcome analysis

Increasing the maturity in Project Management (PM) has become a goal for many organizations, leading them to adopt maturity models to assess the current state of its PM practices and compare them with the best practices in the industry where the organization is inserted. One of the main PM maturity models is the Organizational Project Management Maturity Model (OPM3®), developed by the Project Management Institute. This paper presents the Information Systems and Technologies organizations outcome analysis, of the assesses made by the OPM3® Portugal Project, identifying the PM processes that are “best” implemented in this particular industry and those in which it is urgent to improve. Additionally, a comparison between the different organizations’ size analyzed is presented.

Dissolution enhancement of active pharmaceutical ingredients by therapeutic deep eutectic systems

A therapeutic deep eutectic system (THEDES) is here defined as a deep eutectic solvent (DES) having an active pharmaceutical ingredient (API) as one of the components. In this work, THEDESs are proposed as enhanced transporters and delivery vehicles for bioactive molecules. THEDESs based on choline chloride (ChCl) or menthol conjugated with three different APIs, namely acetylsalicylic acid (AA), benzoic acid (BA) and phenylacetic acid (PA), were synthesized and characterized for thermal behaviour, structural features, dissolution rate and antibacterial activity. Differential scanning calorimetry and polarized optical microscopy showed that ChCl:PA (1:1), ChCl:AA (1:1), menthol:AA (3:1), menthol:BA (3:1), menthol:PA (2:1) and menthol:PA (3:1) were liquid at room temperature. Dissolution studies in PBS led to increased dissolution rates for the APIs when in the form of THEDES, compared to the API alone. The increase in dissolution rate was particularly noticeable for menthol-based THEDES. Antibacterial activity was assessed using both Gram-positive and Gram-negative model organisms. The results show that all the THEDESs retain the antibacterial activity of the API. Overall, our results highlight the great potential of THEDES as dissolution enhancers in the development of novel and more effective drug delivery systems.

In vitro and in vivo studies of temozolomide loading in zeolite structures as drug delivery systems for glioblastoma

Zeolites Y (faujasite) and MOR (mordonite) were used as hosts for temozolomide (TMZ), a current good-standard chemotherapeutic agent used in the treatment of glioblastoma brain tumors. TMZ was loaded into zeolites by liquid-phase adsorption at controlled pH. FTIR, 1H NMR, MS, SEM, UV/vis and chemical analysis demonstrated the successful loading of TMZ into zeolite hosts. The hydrolysis of TMZ in MTIC (TMZ metabolite) after the preparation of drug delivery systems (DDS) was observed in simulated body fluid. The effect of zeolites and DDS were evaluated on the viability of glioblastoma cell lines. Unloaded Y zeolite presented toxicity to cancer cells in contrast to MOR. In accordance, the best results in potentiation of the TMZ effect was obtained with MOR. We found that mordonite loaded with 0.026 mmol of TMZ was able to decrease the half maximal inhibitory concentrations (IC50) at least 3-fold in comparison to free temozolomide both in vitro and in vivo.

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Micro/nano-structured superhydrophobic surfaces in the biomedical field: part I: basic concepts and biomimetic approaches.

Inspired by natural structures, great attention has been devoted to the study and development of surfaces with extreme wettable properties. The meticulous study of natural systems revealed that the micro/nano-topography of the surface is critical to obtaining unique wettability features, including superhydrophobicity. However, the surface chemistry also has an important role in such surface characteristics. As the interaction of biomaterials with the biological milieu occurs at the surface of the materials, it is expected that synthetic substrates with extreme and controllable wettability ranging from superhydrophilic to superhydrophobic regimes could bring about the possibility of new investigations of cellâ material interactions on nonconventional surfaces and the development of alternative devices with biomedical utility. This first part of the review will describe in detail how proteins and cells interact with micro/nano-structured surfaces exhibiting extreme wettabilities.

Effect of sodium chloride on solutesolvent interactions in aqueous polyethylene glycolsodium sulfate two-phase systems

Partition behavior of eight small organic compounds and six proteins was examined in poly(ethylene glycol)-8000sodium sulfate aqueous two-phase systems containing 0.215 M NaCl and 0.5 M osmolyte (sorbitol, sucrose, TMAO) and poly(ethylene glycol)-10000sodium sulfate0.215 M NaCl system, all in 0.01 M sodium phosphate buffer, pH 6.8. The differences between the solvent properties of the coexisting phases (solvent dipolarity/polarizability, hydrogen bond donor acidity, and hydrogen bond acceptor basicity) were characterized with solvatochromic dyes using the solvatochromic comparison method. Differences between the electrostatic properties of the phases were determined by analysis of partitioning of sodium salts of dinitrophenylated (DNP-) amino acids with aliphatic alkyl side-chain. The partition coefficients of all compounds examined (including proteins) were described in terms of solutesolvent interactions. The results obtained in the study show that solutesolvent interactions of nonionic organic compounds and proteins in polyethylene glycolsodium sulfate aqueous two-phase system change in the presence of NaCl additive.

Interrelationship between partition behavior of organic compounds and proteins in aqueous dextran-Polyethylene glycol and Polyethylene glycol-sodium sulfate two-phase systems

Partition behavior of adenosine and guanine mononucleotides was examined in aqueous dextran-polyethylene glycol (PEG) and PEG-sodium sulfate two-phase systems. The partition coefficients for each series of mononucleotides were analyzed as a functions of the number of phosphate groups and found to be dependent on the nature of nucleic base and on the type of \ATPS\ utilized. It was concluded that an average contribution of a phosphate group into logarithm of partition coefficient of a mononucleotide cannot be used to estimate the difference between the electrostatic properties of the coexisting phases of ATPS. The data obtained in this study were considered together with those for other organic compounds and proteins reported previously, and the linear interrelationship between logarithms of partition coefficients in dextran-PEG, PEG-Na2SO4 and PEG-Na2SO4-0.215 M NaCl (all in 0.01 M Na- or K/Na-phosphate buffer, pH 7.4 or 6.8) was established. Similar relationship was found for the previously reported data for proteins in Dex-PEG, PEG-600-Na2SO4, and PEG-8000-Na2SO4 ATPS. It is suggested that the linear relationships of the kind established in \ATPS\ may be observed for biological properties of compounds as well.

Development of active bio-based multilayer systems: encapsulation of cinnamaldehyde and their physicochemical characterization

[Excerpt] In this work, different multilayer structures, using a polyhydroxybutyrate-co-valerate film with a valerate content of 8% (PHBV8) as support, were developed aiming the development of active bio-based multilayer systems. An interlayer based on zein nanofibers with and without cinnamaldehyde were electrospun in the PHBV8 film and three multilayer systems were developed: 1) without an outer layer; 2) using a PHBV8 film as outer layer; and 3) using an alginate-based film as outer layer. Their physico-chemical properties were evaluated through: water vapour and oxygen permeabilities and colour measurements, Fourier Transform Infrared Spectroscopy (FTIR) and thermal analyses. Results showed that the presence of different outer layers affected the water vapour permeability and transparency of the multilayer films. (...)