Bond of NSM FRP strengthened concrete: round robin test initiative

Despite the extensive research that has been conducted on the debonding behaviour of FRP strengthening systems, no standard methodology has been yet established on its experimental characterization. In this context, to assess the performance and reliability of small scale testing on NSM (near surface mounted) FRP strengthening systems, an experimental program was carried out on a series of nine NSM FRP strengthening systems, in the framework of an international Round Robin Testing (RRT). Eleven laboratories and seven manufacturers and suppliers participated in this extensive international exercise, which regarded both NSM and EBR FRP strengthening systems. Test results obtained for the NSM systems by the participating laboratories are discussed and compared in this paper to investigate the feasibility of the adopted single/double pulling shear test method, to investigate the mechanism of bond between NSM FRP reinforcement and concrete, and to investigate the level of variability obtained between the participating laboratories testing the same material batches. It is concluded that the tested variants in the adopted single/double shear pulling test have a significant influence, stressing the importance of the level of detail of standardized test protocols for bond verification. On overall, given the variants included in this study, the obtained variation in bond stress-slip behaviour between the laboratories remained fairly limited.

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.

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.

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.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.