A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

A continuous solvent- and oil-free method to prepare injectable PEGylated fibrinogen cell-laden microparticles

Injectable biomaterials with in situ cross-linking reactions have been suggested to minimize the invasiveness associated with most implantation procedures. However, problems related with the rapid liquid-to-gel transition reaction can arise because it is difficult to predict the reliability of the reaction and its end products, as well as to mitigate cytotoxicity to the surrounding tissues. An alternative minimally invasive approach to deliver solid implants in vivo is based on injectable microparticles, which can be processed in vitro with high fidelity and reliability, while showing low cytotoxicity. Their delivery to the defect can be performed by injection through a small diameter syringe needle. We present a new methodology for the continuous, solvent- and oil-free production of photopolymerizable microparticles containing encapsulated human dermal fibroblasts. A precursor solution of cells in photo-reactive PEG-fibrinogen (PF) polymer was transported through a transparent injector exposed to light-irradiation before being atomized in a jet-in-air nozzle. Shear rheometry data provided the cross-linking kinetics of each PF/cell solution, which was then used to determine the amount of irradiation required to partially polymerize the mixture prior to atomization. The partially polymerized drops fell into a gelation bath for further polymerization. The system was capable of producing cell-laden microparticles with high cellular viability, with an average diameter of between 88.1 µm to 347.1 µm and a dispersity of between 1.1 and 2.4, depending on the parameters chosen.

The impact of poor power quality in solar photovoltaic microgeneration: technical problems and losses of revenue

This paper presents a critical and quantitative analysis of the influence of the Power Quality in grid connected solar photovoltaic microgeneration installations. First are introduced the main regulations and legislation related with the solar photovoltaic microgeneration, in Portugal and Europe. Next are presented Power Quality monitoring results obtained from two residential solar photovoltaic installations located in the north of Portugal, and is explained how the Power Quality events affect the operation of these installations. Afterwards, it is described a methodology to estimate the energy production losses and the impact in the revenue caused by the abnormal operation of the electrical installation. This is done by comparing the amount of energy that was injected into the power grid with the theoretical value of energy that could be injected in normal conditions. The performed analysis shows that Power Quality severally affects the solar photovoltaic installations operation. The losses of revenue in the two monitored installations M1 and M2 are estimated in about 27% and 22%, respectively.

Impact of an occupational gym program on flexibility in office workers

The problem of work-related musculoskeletal disorders is a rising concern in the companies. Thus, occupational gym has emerged as a possible solution to this problem because it leads to changes in the lifestyle by promoting health and physical activity. In this regard, this study purposes to evaluate the impact of an occupational gym program in the neck and shoulder flexibility in office workers. In order to evaluate the levels of flexibility, a universal goniometer was used for pre and post occupational gym program implementation. The program had an extension of three months, with 15 minutes sessions twice a week. The sample consisted in an intervention group comprised of 30 elements and a control group composed of 8 elements. The results suggest that there were improvements in flexibility at the cervical spine and shoulder segments levels. The increase on flexibility between the two time points in the intervention group was significant, unlike the control group that presented only slight improvements.

Evolution of the surface plasmon resonance of Au:TiO2 nanocomposite thin films with annealing temperature

This paper reports on the changes in the structural and morphological features occurring in a particular type of nanocomposite thin-film system, composed of Au nanoparticles (NPs) dispersed in a host TiO2 dielectric matrix. The structural and morphological changes, promoted by in-vacuum annealing experiments of the as-deposited thin films at different temperatures (ranging from 200 to 800 C), resulted in a well-known localized surface plasmon resonance (LSPR) phenomenon, which gave rise to a set of different optical responses that can be tailored for a wide number of applications, including those for optical-based sensors. The results show that the annealing experiments enabled a gradual increase of the mean grain size of the Au NPs (from 2 to 23 nm), and changes in their distributions and separations within the dielectric matrix. For higher annealing temperatures of the as-deposited films, a broad size distribution of Au NPs was found (sizes up to 100 nm). The structural conditions necessary to produce LSPR activity were found to occur for annealing experiments above 300 C, which corresponded to the crystallization of the gold NPs, with an average size strongly dependent on the annealing temperature itself. The main factor for the promotion of LSPR was the growth of gold NPs and their redistribution throughout the host matrix. On the other hand, the host matrix started to crystallize at an annealing temperature of about 500 C, which is an important parameter to explain the shift of the LSPR peak position to longer wavelengths, i.e. a red-shift.

A cost study of common surface finish systems for steel structures

This paper presents part of a study aimed at finding a suitable, yet cost-effective, surface finish for a steel structure subject to the car washing environment and corrosive chemicals. The initial, life cycle and average equivalent annual (AEAC) costs for surface finishing methods were calculated for a steel structure using the LCCC algorithm developed by American Galvanizers Association (AGA). The cost study consisted of 45 common surface finish systems including: hot-dip galvanization (HDG), metallization, acrylic, alkyd and epoxy as well as duplex coatings such as epoxy zinc and inorganic zinc (IOZ). The results show that initial, life cycle and AEAC costs for hot dip galvanization are the lowest among all the other methods, followed by coal tar epoxy painting. The annual average cost of HDG for this structure was estimated about €0.22/m2, while the other cost-effective alternatives were: IOZ, polyurea, epoxy waterborne and IOZ/epoxy duplex coating.

Intra and inter-individual differences in social intelligence of Portuguese students

Social intelligence is a favorable condition for career decision-making and development. The social intelligence indices of Portuguese students in school years prior to a career transition are characterized and intra and interindividual differences are analyzed. Participants were 1095 students (552, 50.4% women) with a mean age of 14.78 years (SD = 1.86), in the 8th (542, 49.5%), 10th (295, 26.9%) and 11th (258, 23.6%) grades. The Cognitive Test of Social Intelligence (PCIS) was administered at two moments, six months apart. Results indicate that the 8th grade obtained higher average scores in Problem Solving, Motivation and Self-confidence (time 1), while the 10th grade obtained better results in Problem Solving, Motivation and Familiarity (time 2). Between the assessment moments, all school years register an increase in Problem Solving and Self-confidence in social situations. These results constitute favorable psychological conditions for the promotion of ethical questioning in career guidance interventions.

Energy harvesting performance of BaTiO3/poly(vinylidene fluoride-trifluoroethylene) spin coated nanocomposites

The energy harvesting efficiency of poly(vinylidene fluoride-trifluoroethylene) spin coated films and its nanocomposites with piezoelectric BaTiO3 have been investigated as a function of ceramic filler size and content. It is found that the best energy harvesting performance of ~0.28 W is obtained for the nanocomposite samples with 20% filler content of 10 nm size particles and for 5% filler content for the 100 and 500 nm size fillers. For the larger filler average sizes, the power decreases for filler contents above 5% due to increase of the mechanical stiffness of the samples. Due to the similar dielectric characteristics of the samples, the performance is mainly governed by the mechanical response. The obtained power values, easy processing and the low cost and robustness of the polymer, allow the implementation of the material for micro and nanogenerator applications.

Magnetoelectric CoFe2O4/polyvinylidene fluoride electrospun nanofibres

Magnetoelectric 0-1 composites comprising CoFe2O4 (CFO) nanoparticles in polyvinylidene fluoride (PVDF) polymerfibre matrix have been prepared by electrospinning. The average diameter of the electrospun composite fibres D is ~ 325 nm, independently of nanoparticle content, and the amount of crystalline polar β phase is strongly enhanced when compared to pure PVDF polymer fibres. The piezoelectric response of these electroactive nanofibres is modified by an applied magnetic field, thus evidencing the magnetoelectric character of the CFO/PVDF 0-1 composites.

Influence of oxygen plasma treatment parameters on poly(vinylidene fluoride) electrospun fiber mats wettability

Electrospun poly(vinylidene fluoride) (PVDF) fiber mats find applications in an increasing number of areas, such as battery separators, filtration and detection membranes, due to their excellent properties. However, there are limitations due to the hydrophobic nature and low surface energy of PVDF. In this work, oxygen plasma treatment has been applied in order to modify the surface wettability of PVDF fiber mats and superhydrophilic PVDF electrospun membranes have been obtained. Further, plasma treatment does not significantly influences fiber average size (~400 ± 200 nm), morphology, electroactive -phase content (~80-85%) or the degree of crystallinity (Xc of 42 ± 2%), allowing to maintain the excellent physical-chemical characteristics of PVDF. Plasma treatment mainly induces surface chemistry modifications, such as the introduction of oxygen and release of fluorine atoms that significantly changes polymer membrane wettability by a reduction of the contact angle of the polymer fibers and an overall decrease of the surface tension of the membranes.

Erratum: Influence of oxygen plasma treatment parameters on poly(vinylidene fluoride) electrospun fiber mats wettability

Electrospun poly(vinylidene fluoride) (PVDF) fiber mats find applications in an increasing number of areas, such as battery separators, filtration and detection membranes, due to their excellent properties. However, there are limitations due to the hydrophobic nature and low surface energy of PVDF. In this work, oxygen plasma treatment has been applied in order to modify the surface wettability of PVDF fiber mats and superhydrophilic PVDF electrospun membranes have been obtained. Further, plasma treatment does not significantly influences fiber average size (~400 ± 200 nm), morphology, electroactive -phase content (~80-85%) or the degree of crystallinity (Xc of 42 ± 2%), allowing to maintain the excellent physical-chemical characteristics of PVDF. Plasma treatment mainly induces surface chemistry modifications, such as the introduction of oxygen and release of fluorine atoms that significantly changes polymer membrane wettability by a reduction of the contact angle of the polymer fibers and an overall decrease of the surface tension of the membranes.

Intervention program on adolescent’s creativity representations and academic motivation

Creativity and its promotion are widespread concerns in education. However, few efforts have been made to implement intervention programs designed to promote creativity and other related aspects (e.g., academic motivation). The Future Problem Solving Program International (FPSPI), aimed for training creativity representations and creative problem solving skills in young people, has been one of the most implemented programs. This intervention’s materials and activities were adapted for Portuguese students, and a longitudinal study was conducted. The program was implemented during four months, in weekly sessions, by thirteen teachers. Teachers received previous training for the program and during the program’s implementation. Intervention participants included 77 Basic and Secondary Education students, and control participants included 78 equivalent students. Pretest-posttest measures of academic motivation and creativity representations were collected. Results suggest a significant increase, in the intervention group, in motivation and the appropriate representations of creativity. Practical implications and future research perspectives are presented.

Sensory intensity assessment of olive oils using an electronic tongue

Olive oils may be commercialized as intense, medium or light, according to the intensity perception of fruitiness, bitterness and pungency attributes, assessed by a sensory panel. In this work, the capability of an electronic tongue to correctly classify olive oils according to the sensory intensity perception levels was evaluated. Cross-sensitivity and non-specific lipid polymeric membranes were used as sensors. The sensor device was firstly tested using quinine monohydrochloride standard solutions. Mean sensitivities of 14±2 to 25±6 mV/decade, depending on the type of plasticizer used in the lipid membranes, were obtained showing the device capability for evaluating bitterness. Then, linear discriminant models based on sub-sets of sensors, selected by a meta-heuristic simulated annealing algorithm, were established enabling to correctly classify 91% of olive oils according to their intensity sensory grade (leave-one-out cross-validation procedure). This capability was further evaluated using a repeated K-fold cross-validation procedure, showing that the electronic tongue allowed an average correct classification of 80% of the olive oils used for internal-validation. So, the electronic tongue can be seen as a taste sensor, allowing differentiating olive oils with different sensory intensities, and could be used as a preliminary, complementary and practical tool for panelists during olive oil sensory analysis.

Peripheral refraction with eye and head rotation with contact lenses

Purpose: To evaluate the impact of eye and head rotation in the measurement of peripheral refraction with an open-field autorefractometer in myopic eyes wearing two different center-distance designs of multifocal contact lenses (MFCLs). Methods: Nineteen right eyes from 19 myopic patients (average central M ± SD = −2.67 ± 1.66 D) aged 20–27 years (mean ± SD = 23.2 ± 3.3 years) were evaluated using a Grand-Seiko autorefractometer. Patients were fitted with one multifocal aspheric center-distance contact lens (Biofinity Multifocal D®) and with one multi-concentric MFCL (Acuvue Oasys for Presbyopia). Axial and peripheral refraction were evaluated by eye rotation and by head rotation under naked eye condition and with each MFCL fitted randomly and in independent sessions. Results: For the naked eye, refractive pattern (M, J0 and J45) across the central 60◦ of the horizontal visual field values did not show significant changes measured by rotating the eye or rotating the head (p > 0.05). Similar results were obtained wearing the Biofinity D, for both testing methods, no obtaining significant differences to M, J0 and J45 values (p > 0.05). For Acuvue Oasys for presbyopia, also no differences were found when comparing measurements obtained by eye and head rotation (p > 0.05). Multivariate analysis did not showed a significant interaction between testing method and lens type neither with measuring locations (MANOVA, p > 0.05). There were significant differences in M and J0 values between naked eyes and each MFCL. Conclusion: Measurements of peripheral refraction by rotating the eye or rotating the head in myopic patients wearing dominant design or multi-concentric multifocal silicone hydrogel contact lens are comparable.