An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

Multi-level governance and social cohesion in the European Union: the assessment of local agents, a study case inside Galicia

Implementing multi-level governance has been a key priority in EU cohesion policy. This study assesses the perceived achievements and shortcomings in implementing European Social Fund by analyzing the deficits and weaknesses as well as the poor participation of local agents who are in direct contact with the beneficiaries in order to design and implement this fund, which is the main financial instrument of EU social policy.

Fiber average size and distribution dependence on the electrospinning parameters of poly(vinylidene fluoride trifluoroethylene)) membranes for biomedical applications

Poly(vinylidene fluoride-trifluoethylene) electrospun membranes were obtained from a blend of dimethylformamide (DMF) and methylethylketone (MEK) solvents. The inclusion of the MEK to the solvent system promotes a faster solvent evaporation allowing complete polymer crystallization during the jet travelling between the tip and the grounded collector. Several processing parameters were systematically changed to study their influence on fiber dimensions. Applied voltage and inner needle diameter do not have large influence on the electrospun fiber average diameter but in the fiber diameter distribution. On the other hand, the increase of the distance between the needle tip to collector results in fibers with larger average diameter. Independently on the processing conditions, all mats are produced in the electroactive phase of the polymer. Further, MC-3T3-E1cell adhesion was not inhibited by the fiber mats preparation, indicating their potential use for biomedical applications.

Electrospun silk-elastin-like fiber mats for tissue engineering applications

Protein-based polymers are present in a wide variety of organisms fulfilling structural and mechanical roles. Advances in protein engineering and recombinant DNA technology allow the design and production of recombinant protein-based polymers (rPBPs) with an absolute control of its composition. Although the application of recombinant proteins as biomaterials is still an emerging technology, the possibilities are limitless and far superior to natural or synthetic materials, as the complexity of the structural design can be fully customized. In this work, we report the electrospinning of two new genetically engineered silk-elastin-like proteins (SELPs) consisting of alternate silk- and elastin-like blocks. Electrospinning was performed with formic acid and aqueous solutions at different concentrations without addition of further agents. The size and morphology of the electrospun structures was characterized by scanning electron microscopy showing to be dependent of concentration and solvent used. Treatment with air saturated with methanol was employed to stabilize the structure and promote water insolubility through a time-dependent conversion of random coils into β-sheets (FTIR). The resultant methanol-treated electrospun mats were characterized for swelling degree (570-720%), water vapour transmission rate (1083 g/m2/day) and mechanical properties (modulus of elasticity of ~126 MPa). Furthermore, the methanol-treated SELP fiber mats showed no cytotoxicity and were able to support adhesion and proliferation of normal human skin fibroblasts. Adhesion was characterized by a filopodia-mediated mechanism. These results demonstrate that SELP fiber mats can provide promising solutions for the development of novel biomaterials suitable for tissue engineering applications.

Coupling Mechanical and Electrical Behavior in the Multi-scale Simulation of Polymer-based CNT Nanocomposites

A numeric model has been proposed to investigate the mechanical and electrical properties of a polymeric/carbon nanotube (CNT) composite material subjected to a deformation force. The reinforcing phase affects the behavior of the polymeric matrix and depends on the nanofiber aspect ratio and preferential orientation. The simulations show that the mechanical behavior of a computer generated material (CGM) depends on fiber length and initial orientation in the polymeric matrix. It is also shown how the conductivity of the polymer/CNT composite can be calculated for each time step of applied stress, effectively providing the ability to simulate and predict strain-dependent electrical behavior of CNT nanocomposites.

Electro-mechanical properties of triblock copolymer styrene-butadiene-styrene / carbon nanotube composites for large deformation sensor applications

Thermoplastic elastomer/carbon nanotube composites are studied for sensor applications due to their excellent mechanical and electrical properties. Piezoresisitive properties of tri-block copolymer styrene-butadiene-styrene (SBS)/ carbon nanotubes (CNT) prepared by solution casting have been investigated. Young modulus of the SBS/CNT composites increases with the amount of CNT filler content present in the samples, without losing the high strain deformation on the polymer matrix (~1500 %). Further, above the percolation threshold these materials are unique for the development of large deformation sensors due to the strong piezoresistive response. Piezoresistive properties evaluated by uniaxial stretching in tensile mode and 4-point bending showed a Gauge Factors up to 120. The excellent linearity obtained between strain and electrical resistance makes these composites interesting for large strain piezoresistive sensors applications.

Effect of fiber alignment in gelled electrospun membranes based on poly(vinylidene fluoride) for battery applications

Battery separators based on electrospun membranes of poly(vinylidene fluoride) (PVDF) have been prepared in order to study the effect of fiber alignment on the performance and characteristics of the membrane. The prepared membranes show an average fiber diameter of 272 nm and a degree of porosity of 87 %. The gel polymer electrolytes are prepared by soaking the membranes in the electrolyte solution. The alignment of the fibers improves the mechanical properties for the electrospun membranes. Further, the microstructure of the membrane also plays an important role in the ionic conductivity, being higher for the random electrospun membrane due to the lower tortuosity value. Independently of the microstructure, both membranes show good electrochemical stability up to 5.0 V versus Li/Li+. These results show that electrospun membranes based on PVDF are appropriate for battery separators in lithium-ion battery applications, the random membranes showing a better overall performance.

Measuring fund performance using multi-factor models: evidence for the Portuguese market

This paper examines the performance of Portuguese equity funds investing in the domestic and in the European Union market, using several unconditional and conditional multi-factor models. In terms of overall performance, we find that National funds are neutral performers, while European Union funds under-perform the market significantly. These results do not seem to be a consequence of management fees. Overall, our findings are supportive of the robustness of conditional multi-factor models. In fact, Portuguese equity funds seem to be relatively more exposed to smallcaps and more value-oriented. Also, they present strong evidence of time-varying betas and, in the case of the European Union funds, of time-varying alphas too. Finally, in terms of market timing, our tests suggest that mutual fund managers in our sample do not exhibit any market timing abilities. Nevertheless, we find some evidence of timevarying conditional market timing abilities but only at the individual fund level.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

PHB-PEO electrospun fiber membranes containing chlorhexidine for drug delivery applications

Fiber meshes of poly(hydroxybutyrate) (PHB) and poly(hydroxybutyrate)/ poly(ethylene oxide) (PHB/PEO) with different concentrations of chlorhexidine (CHX) were prepared by electrospinning, for assessment as a polymer based drug delivery system. The electrospun fibers were characterized at morphological, molecular and mechanical levels. The bactericidal potential of PHB and PHB/PEO electrospun fibers with and without CHX was investigated against Escherichia coli (E. coli) and Staphylococcus aureus (S. aureus) by disk diffusion susceptibility tests. Electrospun fibers containing CHX exhibited bactericidal activity. PHB/PEO-1%CHX displayed higher CHX release levels and equivalent antibacterial activity when compared to PHB/PEO with 5 and 10 wt% CHX. Bactericidal performance of samples with 1 wt% CHX was assessed by Colony Forming Units (CFU), where a reduction of 100 % and 99.69 % against E. coli and S. aureus were achieved, respectively.