3,198 research outputs found
Applying FRAM to the construction of concrete frame structures
So far the FRAM has been applied to different sectors of high risk and complexity such as aviation, including air traffic control, health care, nuclear power plants, chemical and petrochemical industry, railways, maritime sector... obtaining very positive results, which have led to an improvement in safety management in them. However, its application to the construction sector has not yet been developed in depth. In the European Union, the construction sector is the sector with the highest number of accidents, so safety in construction is a priority. Structures construction is one of the most hazardous construction phases or activities. For this reason, the project "Composite Leading Indicators for the improvement of the resilience of occupational safety, in the activities of design and execution of structures" (BIA2016-79270-P) aims to improve the management and monitoring of occupational safety in these activities using novel vision of Safety II developed by the Resilience Engineering. In this way, the FRAM approach has been applied to know the work-as-done, that is, to identify the adjustments and variability of daily performance. For this purpose, observations and interviews at the place of work have been carried out. With the information collected and the help of the FRAM Model Visualiser (FMV) the functions of the FRAM model have been defined. Thus, the FRAM analysis for the construction of concrete frame structures is presented. Based on these results, leading indicators will be designed to monitor and control these activities adequately in the next phase of the project.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech.We wish to thank the Spanish Ministry of Economy and Competitiveness for financing the project BIA2016-79270-P, of which this study is part. It is also important to acknowledge the Ministry of Education, Culture and Sports of the Government of Spain for it support through the predoctoral program (FPU 2016/03298)
Computing spectral sequences
In this paper, a set of programs enhancing the Kenzo system is presented.
Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in
particular it allows the user to calculate homology and homotopy groups of
complicated spaces. The new programs presented here entirely compute Serre and
Eilenberg-Moore spectral sequences, in particular the groups and differential
maps for arbitrary r. They also determine when the spectral sequence has
converged and describe the filtration of the target homology groups induced by
the spectral sequence
Integrating multiple sources to answer questions in Algebraic Topology
We present in this paper an evolution of a tool from a user interface for a
concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to
a front-end allowing the interoperability among different sources for
computation and deduction. The architecture allows the system not only to
interface several systems, but also to make them cooperate in shared
calculations.Comment: To appear in The 9th International Conference on Mathematical
Knowledge Management: MKM 201
- …