Crowdfunding e resiliência das comunidades: estudo de caso

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

A spectrophotometry based blood typing device

Blood typing is a crucial step before any blood transfusion. However, sometimes in emergency situations there is no time to determine the blood of the patient beforehand. In this cases, O negative blood type is administered, which has a lesser incompatibility risk to the patient. Nowadays, the “gold standard” blood typing devices cannot be used in emergency situations due to their high response time (about 30 minutes). This paper reports a blood typing device that determines the ABO and Rh human phenotypes. This device is fast (response time – 5 min), low-cost, and portable. Characteristics that make it suitable to be used in emergency situations, contributing to a higher efficiency and quality in healthcare.

PDMS encasing system for integrated lab-on-chip Ag/AgCl reference electrodes

Poly(dimethylsiloxane) (PDMS) is an organosilicon polymer widely used in the fabrication of microfluidic systems to integrate biochips. In this study, we propose the use of an adapted PDMS mould for the creation of a miniaturized, reusable, reference electrode for in-chip electrochemical measurements. Through its integrated microfluidic system it is possible to replenish internal buffer solutions, unclog critical junctions and treat the electrode’s surface, assuring a long term reuse of the same device. Planar Ag/AgCl reference electrodes were microfabricated over a passivated p-type Silicon Wafer. The PDMS mould, containing an integrated microfluidic system, was fabricated based on patterned SU-8 mould, which includes a lateral horizontal inlet access point. Surface oxidation was used for irreversible permanent bondage between flat surfaces. The final result was planar Ag/AgCl reference electrode with integrated microfluidic that allows for electrochemical analysis in biochips

Dynamic wet etching of silicon through isopropanol alcohol evaporation

In this paper, Isopropanol (IPA) availability during the anisotropic etching of silicon in Potassium Hydroxide (KOH) solutions was investigated. Squares of 8 to 40 m were patterned to (100) oriented silicon wafers through DWL (Direct Writing Laser) photolithography. The wet etching process was performed inside an open HDPE (High Density Polyethylene) flask with ultrasonic agitation. IPA volume and evaporation was studied in a dynamic etching process, and subsequent influence on the silicon etching was inspected. For the tested conditions, evaporation rates for water vapor and IPA were determined as approximately 0.0417 mL/min and 0.175 mL/min, respectively. Results demonstrate that IPA availability, and not concentration, plays an important role in the definition of the final structure. Transversal SEM (Scanning Electron Microscopy) analysis demonstrates a correlation between microloading effects (as a consequence of structure spacing) and the angle formed towards the (100) plane.

PDMS biofunctionalization study for the development of a microfluidic device: Application to salivary cortisol

The authors acknowledge to Sofia Neves from ICVS for her help in the antibodies selection.

Patterned CNT-PDMS nanocomposites for flexible pressure sensors

This paper reports the fabrication process and characterization of a flexible pressure sensor based on polydimethylsiloxane (PDMS) and multi-walled carbon nanotubes (CNT-PDMS). The proposed approach relies on patterned CNT-PDMS nanocomposite strain gauges fabricated with SU-8 microstructures (with the micropatterns) in a low‑cost and simple fabrication process. This nanocomposite polymer is mounted over a PDMS membrane, which, in turn, lies on top of a PDMS diaphragm like structure. This configuration enables the PDMS membrane to bend when pressure is applied, thereby affecting the nanocomposite strain gauges, effectively changing their electrical resistance. Carbon nanotubes have several advantages such as excellent mechanical properties, high electrical conductivity and thermal stability. Furthermore, the measurement range of the proposed sensor can be adapted according to the application by varying the CNTs content and geometry of microstructure. In addition, the sensor’s biocompatibility, low cost and simple fabrication makes it very appealing for biomechanical strain sensing. The sensor’s sensitivity was about 0.073%ΔR/mmHg.

Flexible gastrointestinal motility pressure sensors based on aluminum thin-film strain-gauge arrays

This paper reports on an innovative approach to measuring intraluminal pressure in the upper gastrointestinal (GI) tract, especially monitoring GI motility and peristaltic movements. The proposed approach relies on thin-film aluminum strain gauges deposited on top of a Kapton membrane, which in turn lies on top of an SU-8 diaphragm-like structure. This structure enables the Kapton membrane to bend when pressure is applied, thereby affecting the strain gauges and effectively changing their electrical resistance. The sensor, with an area of 3.4 mm2, is fabricated using photolithography and standard microfabrication techniques (wet etching). It features a linear response (R2 = 0.9987) and an overall sensitivity of 2.6 mV mmHg−1. Additionally, its topology allows a high integration capability. The strain gauges’ responses to pressure were studied and the fabrication process optimized to achieve high sensitivity, linearity, and reproducibility. The sequential acquisition of the different signals is carried out by a microcontroller, with a 10-bit ADC and a sample rate of 250 Hz. The pressure signals are then presented in a user-friendly interface, developed using the Integrated Development Environment software, QtCreator IDE, for better visualization by physicians.

Micro- and mesoporous structures as drug delivery carriers for salicylic acid

The potential of salicylic acid (SA) encapsulated in porous materials as drug delivery carriers for cancer treatment was studied. Different porous structures, the microporous zeolite NaY, and the mesoporous SBA-15 and MCM-41 were used as hosts for the anti-inflammatory drug. Characterization with different techniques (FTIR, UV/vis, TGA, 1H NMR, and 13C CPMAS NMR) demonstrated the successful loading of SA into the porous hosts. The mesoporous structures showed to be very efficient to encapsulate the SA molecule. The obtained drug delivery systems (DDS) accommodated 0.74 mmol (341 mg/gZEO) in NaY and 1.07 mmol (493 mg/gZEO) to 1.23 mmol (566 mg/gZEO) for SBA-15 and MCM-41, respectively. Interactions between SA molecules and pore structures were identified. A fast and unrestricted liberation of SA at 10 min of the dissolution assay was achieved with 29.3, 46.6, and 50.1 µg/mL of SA from NaY, SBA-15, and MCM-41, respectively, in the in vitro drug release studies (PBS buffer pH 7.4, 37 °C). Kinetic modeling was used to determine the release patterns of the DDS. The porous structures and DDS were evaluated on Hs578T and MDA-MB-468 breast cancer cell lines viability. The porous structures are nontoxic to cancer cells. Cell viability reduction was only observed after the release of SA from MCM- 41 followed by SBA-15 in both breast cancer cell lines.

Green's relations, regularity and abundancy for semigroups of quasi-onto transformations

Let V be an infinite-dimensional vector space and for every infinite cardinal n such that n≤dimV, let AE(V,n) denote the semigroup of all linear transformations of V whose defect is less than n. In 2009, Mendes-Gonçalves and Sullivan studied the ideal structure of AE(V,n). Here, we consider a similarly-defined semigroup AE(X,q) of transformations defined on an infinite set X. Quite surprisingly, the results obtained for sets differ substantially from the results obtained in the linear setting.

Lack of the transcription factor hypoxia-inducible factor (HIF)-1α in macrophages accelerates the necrosis of Mycobacterium avium-induced granulomas

Accepted Manuscript

Biomimetic superhydrophobic surfaces patterned with wettable spots as implantable chips for in vivo high-content 3D biomaterials response assessment

"Tissue engineering: part A", vol. 21, suppl. 1 (2015)

Enzymatic treatments to improve mechanical properties and surface hydrophobicity of jute fiber membranes

Fiber membranes prepared from jute fragments can be valuable, low cost, and renewable. They have broad application prospects in packing bags, geotextiles, filters, and composite reinforcements. Traditionally, chemical adhesives have been used to improve the properties of jute fiber membranes. A series of new laccase, laccase/mediator systems, and multi-enzyme synergisms were attempted. After the laccase treatment of jute fragments, the mechanical properties and surface hydrophobicity of the produced fiber membranes increased because of the cross-coupling of lignins with ether bonds mediated by laccase. The optimum conditions were a buffer pH of 4.5 and an incubation temperature of 60 °C with 0.92 U/mL laccase for 3 h. Laccase/guaiacol and laccase/alkali lignin treatments resulted in remarkable increases in the mechanical properties; in contrast, the laccase/2,2-azino-bis-(3-ethylthiazoline-6-sulfonate) (ABTS) and laccase/2,6-dimethoxyphenol treatments led to a decrease. The laccase/ guaiacol system was favorable to the surface hydrophobicity of jute fiber membranes. However, the laccase/alkali lignin system had the opposite effect. Xylanase/laccase and cellulase/laccase combined treatments were able to enhance both the mechanical properties and the surface hydrophobicity of jute fiber membranes. Among these, cellulase/laccase treatment performed better; compared to mechanical properties, the surface hydrophobicity of the jute fiber membranes showed only a slight increase after the enzymatic multi-step processes.