Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Survey and dynamic behaviour of the Our Lady of Conception Church, Portugal

The Our Lady of Conception church is located in village of Monforte (Portugal) and is not in use nowadays. The church presents structural damage and, consequently, a study was carried out. The study involved the survey of the damage, dynamic identification tests under ambient vibration and the numerical analysis. The church is constituted by the central nave, the chancel, the sacristy and the corridor to access the pulpit. The masonry walls present different thickness, namely 0.65 m in the chancel, 0.70 m in the sacristy, 0.92 in the central nave and 0.65 m in the corridor. The masonry walls present 8 buttresses with different dimensions. The total longitudinal and transversal dimensions of the church are equal to 21.10 m and 14.26 m, respectively. The survey of the damage showed that, in general, the masonry walls are in good conditions, with exception of the transversal walls of the nave, which present severe cracks. The arches of the vault presents also severe cracks along the central nave. As consequence, the infiltrations have increased the degradation of the vault and paintings. Furthermore, the foundations present settlements in the Southwest direction. The dynamic identification test were carried out under the action of ambient excitation of the wind and using 12 piezoelectric accelerometers of high sensitivity. The dynamic identification tests allowed to estimate the dynamic properties of the church, namely frequencies, mode shapes and damping ratios. A FEM numerical model was prepared and calibrated, based on the first four experimental modes estimated in the dynamic identification tests. The average error between the experimental and numerical frequencies of the first four modes is equal to 5%. After calibration of the numerical model, pushover analyses with a load pattern proportional to the mass, in the transversal and longitudinal direction of the church, were performed. The results of the analysis numerical allow to conclude that the most vulnerable direction of the church is in the transversal one and the maximum load factor is equal to 0.35.

Numerical approaches for the analysis of timber frame walls

A numerical approach to simulate the behaviour of timber shear walls under both static and dynamic loading is proposed. Because the behaviour of timber shear walls hinges on the behaviour of the nail connections, the force-displacement behaviour of sheathing-to-framing nail connections are first determined and then used to define the hysteretic properties of finite elements representing these connections. The model nails are subsequently implemented into model walls. The model walls are verified using experimental results for both monotonic and cyclic loading. It is demonstrated that the complex hysteretic behaviour of timber shear walls can be reasonably represented using model shear walls in which nonlinear material failure is concentrated only at the sheathing-to-framing nail connections.

Jute/polypropylene composites: Effect of enzymatic modification on thermo-mechanical and dynamic mechanical properties

In this study, a high-performance composite was prepared from jute fabrics and polypropylene (PP). In order to improve the compatibility of the polar fibers and the non-polar matrix, alkyl gallates with different hydrophobic groups were enzymatically grafted onto jute fabric by laccase to increase the surface hydrophobicity of the fiber. The grafting products were characterized by FTIR. The results of contact angle and wetting time showed that the hydrophobicity of the jute fabrics was improved after the surface modification. The effect of the enzymatic graft modification on the properties of the jute/PP composites was evaluated. Results showed that after the modification, tensile and dynamic mechanical properties of composites improved, and water absorption and thickness swelling clearly decreased. However, tensile properties drastically decreased after a long period of water immersion. The thermal behavior of the composites was evaluated by TGA/DTG. The fiber-matrix morphology in the modified jute/PP composites was confirmed by SEM analysis of the tensile fractured specimens.

A firefly dynamic penalty approach for solving engineering design problems

Firefly Algorithm is a recent swarm intelligence method, inspired by the social behavior of fireflies, based on their flashing and attraction characteristics [1, 2]. In this paper, we analyze the implementation of a dynamic penalty approach combined with the Firefly algorithm for solving constrained global optimization problems. In order to assess the applicability and performance of the proposed method, some benchmark problems from engineering design optimization are considered.

Structural analysis of the masonry envelope of Ica Cathedral, Peru

Dissertação de mestrado em Structural Analysis of Monuments and Historical Constructions

Dynamic interface model for masonry walls subjected to high strain rate out-of-plane loads

The present study proposes a dynamic constitutive material interface model that includes non-associated flow rule and high strain rate effects, implemented in the finite element code ABAQUS as a user subroutine. First, the model capability is validated with numerical simulations of unreinforced block work masonry walls subjected to low velocity impact. The results obtained are compared with field test data and good agreement is found. Subsequently, a comprehensive parametric analysis is accomplished with different joint tensile strengths and cohesion, and wall thickness to evaluate the effect of the parameter variations on the impact response of masonry walls.

ACL injuries identifiable for pre-participation imagiological analysis: Risk factors

Identification of pre-participation risk factors for noncontact anterior cruciate ligament (ACL) injuries has been attracting a great deal of interest in the sports medicine and traumatology communities. Appropriate methods that enable predicting which patients could benefit from pre- ventive strategies are most welcome. This would enable athlete-specific training and conditioning or tailored equipment in order to develop appropriate strategies to reduce incidence of injury. In order to accomplish these goals, the ideal system should be able to assess both anatomic and functional features. Complementarily, the screening method must be cost-effective and suited for widespread application. Anatomic study protocol requiring only standard X rays could answer some of such demands. Dynamic MRI/CT evaluation and electronically assisted pivot-shift evaluation can be powerful tools providing complementary information. These upcoming insights, when validated and properly combined, envision changing pre-participation knee examination in the near future. Herein different methods (validated or under research) aiming to improve the capacity to identify persons/athletes with higher risk for ACL injury are overviewed. 

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.

Electrokinetic flow and transport in porous media : experimental methods, numerical analysis, and applications

Electrokinetic transport, electrochromatography, electroosmotic flow, electrophoresis, concentration polarization, fixed beds, monoliths, dynamic NMR microscopy, quantitative confocal laser scanning microscopy, mathematical modelling, numerical analysis

Modelling and analysis of a production plant for low density polyethylene

Dynamic model, tubular reactor, polyethylene, LDPE, discretization, simulation, sensitivity analysis, nonlinear analysis

Population dynamic of Sesarma rectum (Crustacea, Brachyura, Sesarmidae) from a muddy flat under human impact, Paraty, Rio de Janeiro, Brazil

A population of Sesarma rectum Randall, 1840 under the influence of human impact was studied. Monthly sampling (CPUE, two people during 30 min) took place from August/2001 to July/2002 at an impacted muddy flat in Paraty city, State of Rio de Janeiro (23º13'S, 44º42'W). At the laboratory, specimens were classified by sex and measured with a vernier caliper (0.01 mm). The size at the beginning of the sexual maturity was obtained by means of different techniques: in the case of males it was used the allometric procedure and the macroscopic analysis of gonads wile for females, the size of the smallest ovigerous female was also considered. The population structure was evaluated by means the analysis of the variations in the modes of the size frequency distribution. The fecundity was assessed using sub samples of the egg mass. For males, the macroscopic analyses of gonads revealed larger values of carapace width than those obtained with morphometric analysis. Males larger than 18.5 mm of carapace width can be considered as mature. For females, such size was 17.4 mm CW. Despite of the human impact in the habitat, the population presented to be stable, as indicated by a single mode on the size frequency distribution. The second mode that appeared in some months is probably related to the entrance of juveniles in the population. The sex ratio of this population is closely approximating to 1:1 until crabs reach a carapace width of about 28 mm; after that, males outnumbered females. Comparing the fecundity of the present population with a previous study from Ubatuba, it can be verified a difference in the number of eggs. The fecundity of Paraty's population is significantly lower than the Ubatuba's population. This is probably related to the scarcity of food resource in Paraty, once no vascular plant can be found in that place. The continuity of reproductive processes and the juvenile recruitment suggest this species is able to live in the area with human impact. The ability to obtaining nutrients from different source of food is probably a feature that allows S. rectum to occupy such impacted ecosystem.

Improving the risk concept: a revision of Arrow-Pratt theory in the context of controlled dynamic stochastic environments

In the literature on risk, one generally assume that uncertainty is uniformly distributed over the entire working horizon, when the absolute risk-aversion index is negative and constant. From this perspective, the risk is totally exogenous, and thus independent of endogenous risks. The classic procedure is "myopic" with regard to potential changes in the future behavior of the agent due to inherent random fluctuations of the system. The agent's attitude to risk is rigid. Although often criticized, the most widely used hypothesis for the analysis of economic behavior is risk-neutrality. This borderline case must be envisaged with prudence in a dynamic stochastic context. The traditional measures of risk-aversion are generally too weak for making comparisons between risky situations, given the dynamic �complexity of the environment. This can be highlighted in concrete problems in finance and insurance, context for which the Arrow-Pratt measures (in the small) give ambiguous.

Improving the effort concept: a revision of the traditional approach in the context of controlled Dynamic Stochastic Environments

The objective of this paper is to re-evaluate the attitude to effort of a risk-averse decision-maker in an evolving environment. In the classic analysis, the space of efforts is generally discretized. More realistic, this new approach emploies a continuum of effort levels. The presence of multiple possible efforts and performance levels provides a better basis for explaining real economic phenomena. The traditional approach (see, Laffont, J. J. & Tirole, J., 1993, Salanie, B., 1997, Laffont, J.J. and Martimort, D, 2002, among others) does not take into account the potential effect of the system dynamics on the agent's behavior to effort over time. In the context of a Principal-agent relationship, not only the incentives of the Principal can determine the private agent to allocate a good effort, but also the evolution of the dynamic system. The incentives can be ineffective when the environment does not incite the agent to invest a good effort. This explains why, some effici