Search results

Filters

  • Journals
  • Authors
  • Keywords
  • Date
  • Type

Search results

Number of results: 81
items per page: 25 50 75
Sort by:
Download PDF Download RIS Download Bibtex

Abstract

The construction industry in India is the country’s second largest industrial sector, after agriculture. The construction industry makes a remarkable contribution to the Indian economy and provides employment to a large number of people of Idia. Fire is a chemical reaction of a combustible substance with oxygen, involving heat and is usually accompanied by a visual flame or incandescence. Ensuring fire safety has always been a challenge to the stakeholders, i.e. building owners, construction companies, contractors and sub-contractors, and government employees due to the multiplicity of the factors involved and their complexity. There are various legal standards and requirements for ensuring fire safety on construction sites. The buildings are normally provided with firewalls during construction and these firewalls separate two structures or divide a structure into smaller portions to prevent the spread of fire. The lightweight construction and trusses are designed to support only their own weight. During a fire, if one fails, a domino effect happens and all fail rapidly within 5 to 10 minutes. Prolonged exposure to fire may result in structural collapse and injury or death of the occupants of the building under construction. Fire safety on construction sites is still in its primitive stages in India. There is a great necessity to improve fire safety on construction sites to protect construction workers and other occupants of the buildings. This study aims to design and implement fire safety systems for construction sites, thereby enhancing the standards to meet the system requirements at par with global standards.

Go to article

Authors and Affiliations

C. Sivakumar
R. Malathy
P. Sivaprakash
Download PDF Download RIS Download Bibtex

Abstract

The article discusses the dangers arising from construction disasters. This phenomenon is the most serious effect of the risk that may occur in construction. I presented this on the basis of an analysis of all construction disasters that have taken place in Poland in the last twenty years. I made a detailed analysis of the events that occurred during the maintenance of building facilities, taking into account the reasons for their occurrence and the effects they cause. The aim of this analysis is to identify areas of risk in order to eliminate the hazard and, as a consequence, take appropriate actions to counteract this type of events. Unfortunately, one should be aware that despite technical progress building disasters cannot be completely avoided in our surrounding, but one must use the knowledge acquired on this basis to minimize their number.

Go to article

Authors and Affiliations

J. Szer
Download PDF Download RIS Download Bibtex

Abstract

The main reason behind the development of the International Safety Management Code was a series of tragic maritime accidents at the end of the twentieth century caused by human error. The ISM Code has introduced a brand new instrument, the safety management system (SMS), to the set of already existing legal devices, established to ensure safety during ship operation. Properly applied and implemented within the shipping company, SMS can be an advantage that will not only result in a measurable increase in the level of safety, but will also result in cost optimization and an increase in the company’s reputation. However, if an SMS is conceived without commitment and conviction on the part of the management, it will be only an empty and façade, bureaucratic procedure that will not only fail its purpose, but will also only be an additional burden for all staff. The following article will present the characteristics of SMS and its impact both on the broadly understood safety in the shipping company, and including vessels in its fleet, moreover the requirement of the efficiency of SMS procedures specified in shipboard manual for each vessel will be emphasized, which is the need to create a new safety culture.

Go to article

Authors and Affiliations

Michał Małczyński
Download PDF Download RIS Download Bibtex

Abstract

The meaning and scope of the concept of security in extenso, as well as its special type, i.e. maritime safety and security, has been the subject of many considerations and discussions for decades, and perhaps for centuries. Security is most often understood as one of the basic functions of the State implying counteracting all threats. In axiological terms, as a risk-free state, maritime safety is a value, and in functional terms, as a desirable state, it is expressed in the protective function of law. The law must be structured in such a way as to constantly realize this function. Achieving maritime safety can therefore be seen as the capacity of law and institutions, for example, to protect a ship against loss, protect health and life of people employed on a ship, and protect the environment from pollution.

Go to article

Authors and Affiliations

Dorota Pyć
ORCID: ORCID
Download PDF Download RIS Download Bibtex

Abstract

In the event of occupational accidents in mining, investors can calculate approximately how much loss will be incurred at the time of the accident. However, in halting mining as a result of occupational accidents or legislation, investors, will perhaps not care about how much of a loss to profits will arise due to the resulting downtime of mining operations. The reason for this is that there is no such halting in mining operation as yet and mining activity is continued. Avoiding halting mines due to occupational accidents and legislation would enable the prevention of unexpected costs resulting from these time losses. The aim of this study was to find out how much the loss of profits resulting from the downtime of mining enterprises due to the aforementioned reasons are in total, and how much the ratio of loss of profits to annual operating costs is on average on an annual basis. To determine the loss of profits and to minimize the accidents in enterprises, permanent supervisors, who are assigned in the enterprises where they are working, were given a survey through the SurveyMonkey program. Of the 235 permanent supervisors who filled out the survey on behalf of the mining enterprises, 58 answered all of the multiple-choice questions examined in the study. These questions were analyzed together according to different mineral groups and differences in mining operation methods. As a result of the analysis, it was determined that the annual loss of profits of mining enterprises resulting from the aforementioned periods of downtime, and the ratio of these values to the annual operating costs constitute a rather significant share. The aim of the article was to raise awareness to have mining companies appropriate more funds for occupational health and safety.
Go to article

Authors and Affiliations

Taşkın Deniz Yıldız
1
ORCID: ORCID

  1. Adana Alparslan Türkeş Science And Technology University, Department of Mining Engineering, Turkey
Download PDF Download RIS Download Bibtex

Abstract

Is the burning of woody biomass climate friendly?
Go to article

Authors and Affiliations

Rafał Chudy
1
Kacper Szulecki
2
ORCID: ORCID
Jacek Siry
3
Robert Grala

  1. FOROS/FBA/Forest Monitor, Norway
  2. Department of Political Science, University of Oslo, Center for Energy Research, Norwegian Institute of International Affairs
  3. Warnell School of Forestry and Natural Resources, University of Georgia, United States
Download PDF Download RIS Download Bibtex

Abstract

This paper provides an analysis of the evacuation process in a road tunnel in the event of a fire, using the example of the tunnel under the Luboń Mały mountain currently being constructed on Expressway S7’s Lubień – Rabka-Zdrój section. As fires are the largest and most dangerous events occurring in road tunnels, it is important to predict the evacuation process as early as at the design stage. The study described here used numerical modelling to simulate evacuation, which made it possible to determine the required safe evacuation time of all tunnel users in a fire. On the basis of the parameters of the tunnel under Luboń Mały, numerical studies were performed for four different fire scenarios, three of which assumed various fire locations with the currently designed two traffic lanes. The fourth variant accounted for the planned extension of the roadway to include three traffic lanes. Eventually, four numerical models were developed involving various fire ignition locations and numbers of potential tunnel users. The values of initial-boundary conditions used in the simulation, such as movement speed during evacuation, shoulder breadth and pre-movement time, were specified on the basis of experimental data for an evacuation performed in smoke conditions in the Emilia tunnel in Laliki. The results lead to the conclusion that if the time of reaching critical conditions in the tunnel is not shorter than 5 minutes 40 seconds for the current design state and 5 minutes 47 seconds for three lanes, the distribution of evacuation exits in the tunnel under Luboń Mały will ensure safe evacuation.
Go to article

Bibliography

[1] C . Caliendo, M.L. De Guglielmo, Accident rates in road tunnel and social costs evaluation. SIIV – 5th International Congress – Sustainability of Road tunnels Infrastructures. In Procedia – Social and Behavioural Sciences 53, 166- 177 (2012).
[2] A . Voeltzel, A. Dix, A comparative analysis of the Mont Blanc, Tauern and Gotthard tunnel fires. World Road Association (PIARC ) 324, 18-34 (2004).
[3] I . Maevski, Design Fires in Road Tunnels, A synthesis of Highway Practice. New York: Transportation Research Board NCHR P National Cooperative Highway Research Program Synthesis 415. (2011).
[4] British Standard. The application of fire safety engineering principles to fire safety design of buildings. Human factors. Life safety strategies. Occupant evacuation, behaviour and condition, BSI. PD 7974-6:2004.
[5] E . Ronchi, P. Colonna, J. Capote, D. Alvear, N. Berloco, A. Cuesta, The evaluation of different evacuation models for assessing road tunnel safety analyses. Tunnelling and Underground Space Technology 30, 74-84 (2012). doi: 10.1016/j.tust.2012.02.008
[6] E . Ronchi, M. Kinsey, Evacuation models of the future: insights from an online survey of user’s experiences and needs. Advanced Research Workshop – Evacuation and Human Behaviour in Emergency Situations 145-155 (2011).
[7] N. Schmidt-Polończyk. Ocena możliwości stosowania wentylacji wzdłużnej w długich tunelach drogowych. Assessment of the possibility to apply longitudinal ventilation in long road tunnels. PhD thesis, AGH UST (2016).
[8] Road Tunnels: Operational Strategies for Emergency Ventilation. France: PIARC Committee on Road Tunnels (2011).
[9] M . Kinateder, P. Pauli, M. Müller, J. Krieger, F. Heimbecher, I. Rönnau, Human behaviour in severe tunnel accidents: Effects of information and behavioural training. Transportation Research Part F: Traffic Psychology and Behaviour 17, 20-32 (2013). doi: 10.1016/j.trf.2012.09.001
[10] E . Ronchi, K. Fridolf, H. Frantzich, D. Nilsson, A.L. Walter, H. Modig, A tunnel evacuation experiment on movement speed and exit choice in smoke. Fire Safety Journal 97, 126-136 (2018). doi: 10.1016/j.firesaf.2017.06.002
[11] M . Seike, N. Kawabata, M. Hasegawa, Evacuation speed in full-scale darkened tunnel filled with smoke. Fire Safety Journal 91, 901-907, (2017). doi: 10.1016/j.firesaf.2017.04.034
[12] C. Casse, S. Caroly, Analysis of critical incidents in tunnels to improve learning from experience. Safety Science 116, 222-230 (2019), DOI : 10.17632/scrdwnzc7t.1
[13] K . Fridolf, E. Ronchi, D. Nilsson, H. Frantzich, The representation of evacuation movement in smoke-filled underground transportation systems. Tunnelling and Underground Space Technology 90, 28-41 (2019), doi: 10.1016/j. tust.2019.04.016
[14] J. Porzycki, N. Schmidt-Polończyk, J. Wąs, Pedestrian behavior during evacuation from road tunnel in smoke condition – Empirical results. PLOS ONE 13 (8), e0201732 (2019). doi: 10.1371/journal.pone.0201732
[15] I. Donald, D. Canter, Intentionality and fatality during the King’s Cross underground fire. European Journal of Social Psychology 22 (3), 203-218 (1992).
[16] K . Fridolf, D. Nilsson, H. Frantzich, Fire Evacuation in Underground Transportation Systems: A Review of Accidents and Empirical Research. Fire Technology 49 (2), 451-475 (2013). doi: 10.1007/s10694-011-0217-x
[17] Thunderhead Engineering. Pathfinder 2014.2 Verification and Validation (2014).
[18] Thunderhead Engineering. Pathfinder 2016. User Manual (2016).
[19] P. Liszka, Ocena bezpieczeństwa ewakuacji w tunelu pod Luboniem Małym. Master’s Thesis, AGH University of Science and Technology (2018).
[20] P.G. Gipps, B. Marksjo, A microsimulation model for pedestrian flows. Mathematics and Computers in Simulation 27, 95-105 (1985).
[21] M . Moussaïd, N. Perozo, S. Garnier, D. Helbing, G. Theraulaz, The Walking Behaviour of Pedestrian Social Groups and Its Impact on Crowd Dynamics. PLOS ONE. 5 (4), 1-7 (2010). doi: 10.1371/journal.pone.0010047
[22] RABT : Forschungsgesellschaft fur Strassen-and Verkehrswesen, Richtlinien fuer Ausstattung und Betrieb von Strassentunneln (2006).

Go to article

Authors and Affiliations

Natalia Schmidt-Polończyk
1
ORCID: ORCID
Zbigniew Burtan
1
ORCID: ORCID
Piotr Liszka
1

  1. AGH University of Science and Technology, Al. A. Mickiewicza 30, 30-059 Krakow, Poland
Download PDF Download RIS Download Bibtex

Abstract

The article analyzes factors that may have an impact on Occupational Safety in a construction company and the issues of work safety in construction were discussed. An attempt was made to analyze the management of work safety in construction companies in order to identify important factors and determine the significance of their participation in the occurrence of accidents at work. The research was carried out on the basis of data obtained from the register kept at the District Labor Inspectorate in Krakow. Cases which were discussed included accident protocols prepared pursuant to the law, as well as cases found in protocols of ad hoc inspections carried out on construction sites. There were quantitative and qualitative features in the analyzed data set. Logistic regression was used to analyze the data to build the model. Such action made it possible to model and determine the significance of the influence of individual variables characterizing the way of managing work safety in construction companies, in the case of an accident. The results obtained, and in particular the significance of factors shown in the model, even not directly related to the construction site, may be an indication for creating a functional strategy in the enterprise. The strategy assuming: smaller number of accidents or adverse events, shorter downtime will build a reputation of an institution that cares for the employee. This will allow the construction company to become more competitive and shall attract the best professionals available on the labor market. The end result is the identification of key factors that have a direct impact on work safety and the competitiveness of a construction company.
Go to article

Authors and Affiliations

Marcin Kowalik
1
ORCID: ORCID
Wojciech Drozd
1
ORCID: ORCID

  1. Cracow University of Technology, Faculty of Civil Engineering, Division of Management in Civil Engineering, ul. Warszawska 24, 31-155 Kraków, Poland
Download PDF Download RIS Download Bibtex

Abstract

The future and the development of power industry are the one of the major issues in the domestic and global policy. The impact of the power sector on the earth climate changes and the attention for sufficient funds of energy in the following years are the primary challenges which the power industry is facing. The article delineates the current state of the domestic sector of energy production. In the prospect of the next few years, it will draw on conventional power engineering nevertheless, with the growing involvement of renewable energy sources. However, it is important to develop the new energy strategy, which will point the direction of domestic energy production sector changes. What is more relevant, the new legal regulations connected with environmental protection will definitely restrict using fossil fuels in the power industry. In addition, the paper discusses the most important aspects involved in creating a country’s energy mix. The first aspect is the current state of the energy sector in Poland, i.e. the percentage of particular technologies in the present power and electrical energy balances, the technical state of the manufacturing sector’s infrastructure. Based on historical data of Polskie Sieci Elektroenergetyczne SA regarding the energy consumption and demand, a mathematical estimation for electricity demand and its consumption forecast was performed. The obtained forecasts were then used to conduct a simulation of power and energy demand fulfillment in the national power system. Finally, several possible scenarios were presented, taking different factors affecting the energy sector in Poland into consideration.

Go to article

Authors and Affiliations

Radosław Szczerbowski
Dominika Kornobis
Download PDF Download RIS Download Bibtex

Abstract

The authors of the paper describe the way in which the longitudinal working Gussmann was mined in level V and the longitudinal working Kosocice in level VI, which in both cases resulted in a water flux from behind the northern boundary of the salt deposit. Only after concrete dams were seated on both levels, the brine flux was stopped leaving a direct contact of the dams with the pressurized water around the mine. For the sake of controlling water beyond the dams, steel pipelines were conducted through both dams and equipped with gauges before the dams. Their use in a saline environment, the developing corrosion increased the possibility that the tightness of the pipelines would be damaged. For this reason a decision was made to protect the mine by making a tight reconstruction of the safety pillar in both levels along the longitudinal working for about 600 m from the dams eastwards. For this purpose the pipeline injection method was applied. As the volume of voids to be tightly filled equaled to about 3800 m3, the task had to be divided into stages. Because of considerable distances of the liquidated workings from the closest shaft, the sealing slurries were prepared in a special injection center on the surface from where they were transported to the destination with a pumping pipeline through the Kościuszko shaft. The most important aspect of liquidating the end parts of the longitudinal working was to properly select the sealing slurries in view of their best cooperation with the rock mass, and such parameters as tightness, durability and cost. At the end stage of works, both longitudinal workings were equipped with dams, which were sealed up with the hole injection method. The innovative technology was implemented in the Wieliczka Salt Mine to reconstruct the safety pillar in levels VI and V in the most westward workings, the mine was shortened by about 600 m, the length of the ventilation system was reduced, systematic observations and pressure read-outs in dams 3 and 4 were systematically eliminated in dams 3 and 4. In this way the costs were lowered and safety of the mine improved.
Go to article

Bibliography

1] M. Cała, A. Stopkowicz, M. Kowalski, M. Blajer, K. Cyran, K. d’Obyrn, Stability analysis of underground mining openings with complex geometry. Studia Geotechnica et Mechanica 38, 1, 25-32 (2016).
[2] K . d’Obyrn, K. Brudnik, Results of hydrogeological monitoring in ‘Wieliczka’ Salt Mine after closing water inflow in transverse working Mina, level IV (Wyniki monitoringu hydrogeologicznego w Kopalni Soli „Wieliczka” po zamknięciu dopływu wody w poprzeczni Mina na poz. IV). Mining Review (Przegląd Górniczy) 6, 90-96 (2011).
[3[ K . d’Obyrn, Possible way of protecting Jakubowice chambers in ‘Wieliczka’ Salt Mine (Możliwości zabezpieczenia komór Jakubowice w Kopalni Soli „Wieliczka”). Mining and Geoengineering (Górnictwo i Geoinżynieria), Yearly 35, 2, 171-182 (2011).
[4] D . Flisiak, K. Cyran, Geomechanical parameters of miocene rock salt (Właściwości geomechaniczne mioceńskich soli kamiennych). Geological Bulletin of the Polish Geological Institute (Biuletyn Państwowego Instytutu Geologicznego) 429, 43-49 (2008).
[5] A . Garlicki, A. Gonet, S. Stryczek, Reinforcement of saline rock mass on the example of the salt mine Wieliczka. Proc. of the 2001 ISRM Intern. Symposium Frontiers of Rock Mechanics and Sustainable Development in the 21st Centry Beijing, China., A.A. Balkema Publishers, 581-583 (2001).
[6] A . Garlicki, Z. Wilk, Geological and hydrogeological background of water breakdown at level IV in ‘Wieliczka’ Salt Mine (Geologiczne i hydrogeologiczne tło awarii wodnej na poziomie IV kopalni soli Wieliczka). Geological Review (Przegląd Geologiczny) 41, 3, 183-192 (1993).
[7] A . Gonet, S. Stryczek et al., Patent PL 170267 of 29.11.1996. Method of filling empty voids in the rock mass (Sposób wypełniania pustych przestrzeni górotworu).
[8] A . Gonet, S. Stryczek, A. Garlicki, W. Brylicki, Protection of Salt Mines against Water Inflow Threat on the Example of Wieliczka Salt Mine. 8th World Symposium Hague, Elsevier 1, 363-368 (2000).
[9] S. Stryczek et al., Patent PL 171213 of 28.03.1997. Mixture for filling and sealing empty spaces in the rock mass (Mieszanina do wypełniania i uszczelniania pustych przestrzeni górotworu).
[10] S. Stryczek, A. Gonet, Selection of slurries for reinforcing saline rock mass (Dobór zaczynów do wzmacniania górotworu solnego). Conference proceedings ‘Restoring usability value to mining areas. Old mines – new perspectives’ (Materiały konferencyjne pt. Przywracanie wartości użytkowych terenom górniczym. Stare kopalnie – nowe perspektywy), PAN -IGSMiE, Kraków, 327-335 (2001).
Go to article

Authors and Affiliations

Andrzej Gonet
1
ORCID: ORCID
Stanisław Antoni Stryczek
1
ORCID: ORCID

  1. AGH University of Science and Technology, Faculty of Drilling, Oil and Gas, Al. A. Mickiewicza 30, 30-059 Krakow, Poland
Download PDF Download RIS Download Bibtex

Abstract

Honesty and transparency in vaccination safety – monitoring adverse reactions to vaccines

Go to article

Authors and Affiliations

Iwona Paradowska-Stankiewicz
Download PDF Download RIS Download Bibtex

Abstract

The objective of this work is to evaluate the safety of adult and child passengers exposed to a radio frequency (RF) source, i.e., a leaky coaxial cable (LCX) on the subway platform. An adult model, a child model, and an LCX model have been numerically designed in COMSOL Multiphysics software. The distributions of the induced electric field (E-field), specific absorption rate (SAR), magnetic field ( H-field) and the head temperature increase in adult and child passenger models were calculated at 900 MHz. The induced fields in the passengers were compared with that without screen doors. The results show that the E-field, SAR and H-field in the whole body of the child are 2.00 × 10 -2 V/m, 1.07 × 10 -7 W/kg, and 2.94 × 10 -4 A/m, respectively. The E-field, SAR and H-field in the central nervous system of the child are 1.00e × 10 -2 V/m, 2.44 × 10 -8 W/kg, and 2.41 × 10 -4 A/m, respectively. The maximum values of the E-field, SAR and H-field in the adult passenger are 1.49–2.34 times higher than those of the child. The E-field, SAR, and H-field in the passenger models without a screen door are larger than those with a screen door. The screen door has a partial shielding effect on the RF electromagnetic field. The values of the maximum temperature that increases in adult and child head tissue are 0.2114 and 0.2111℃ after waiting 6 minutes exposure, respectively. All calculated results are well below the International Commission on Non-Ionizing Radiation Protection (ICNIRP) limits for general public exposure, indicating that RF electromagnetic exposure caused by the LCX on the subway platform is not a threat to passenger’s health.
Go to article

Bibliography

[1] https://www.163.com/dy/article/H08UC3PI051481OF.html, accessed February 2022.
[2] Verbeek J., Oftedal G., Feychting M., Rongen E., Prioritizing health outcomes when assessing the effects of exposure to radiofrequency electromagnetic fields: A survey among experts, Environment International, vol. 146, no. 1, pp. 1–6 (2020), DOI: 10.1016/j.envint.2020.106300.
[3] Ju H.K., Lee J.K., Kim H.G., Possible Effects of Radiofrequency Electromagnetic Field Exposure on Central Nerve System, Biomolecules and Therapeutics, vol. 27, no. 3, pp. 265–275 (2019), DOI: 10.4062/biomolther.2018.152.
[4] Jiang D.P., Li J.H., Zhang J., Long-term electromagnetic pulse exposure induces Abeta deposition and cognitive dysfunction through oxidative stress and overexpression of APP and BACE1, Brain Research, vol. 1642, no. 1, pp. 10–19 (2016), DOI: 10.1016/j.brainres.2016.02.053.
[5] Hinrikus H., Bachmann M., Lass J., Understanding physical mechanism of low-level microwave radiation effect, International Journal of Radiation Biology, vol. 94, no. 10, pp. 877–882 (2018), DOI: 10.1080/09553002.2018.1478158.
[6] Baan R., Grosse Y., Lauby-Secretan B., El Ghissassi F., Carcinogenicity of radiofrequency electromagnetic fields, Lancet Oncology, vol. 12, no. 7, pp. 624–626 (2011), DOI: 10.1016/S1470-2045(11)70147-4.
[7] Qi X.Z., Lu M., Study on the distribution of SAR and temperature in human brain during radiofrequency cosmetic treatment, Archives of Electrical Engineering, vol. 70, no. 1, pp. 115–127 (2021), DOI: 10.24425/aee.2021.136056.
[8] Tian R., Lu M., Safety assessment of electromagnetic exposure in high-speed train carriage with full passengers, Annals of Work Exposures and Health, vol. 64, no. 8, pp. 838–851 (2020), DOI: 10.1093/annweh/wxaa048.
[9] Gas P., Wyszkowska J., Influence of multi-tine electrode configuration in realistic hepatic RF ablative heating, Archives of Electrical Engineering, vol. 68, no. 3, pp. 521–533 (2019), DOI: 10.24425/aee.2019.129339.
[10] Stankovi V., Jovanovi D., Krsti D., Temperature distribution and Specific Absorption Rate inside a child’s head, International Journal of Heat and Mass Transfer, vol. 104, no. 1, pp. 559–565 (2017), DOI: 10.1016/j.ijheatmasstransfer.2016.08.094.
[11] Peyman A., Rezazadeh A.A., Gabriel C., Changes in the dielectric properties of rat tissue as a function of age at microwave frequencies, Physics in Medicine and Biology, vol. 46, no. 12, pp. 1617–1629 (2001), DOI: 10.1088/0031-9155/55/15/N02.
[12] Peyman A., Gabriel C., Grant E.H., Variation of the dielectric properties of tissues with age: the effect on the values of SAR in children when exposed to walkie-talkie devices, Physics in Medicine and Biology, vol. 54, no. 1, pp. 227–241 (2009), DOI: 10.1088/0031-9155/54/2/004.
[13] Foster K.R., Chou C.K., Are Children More Exposed to Radio Frequency Energy from Mobile Phones Than Adults?, IEEE Access, vol. 2014, no. 2, pp. 1497–1509 (2014), DOI: 10.1109/ACCESS.2014.2380355.
[14] Gandhi O.P., Yes the children are more exposed to radiofrequency energy from mobile telephones than adults, IEEE Access, vol. 2015, no. 3, pp. 985–988 (2015), DOI: 10.1109/ACCESS.2015.2438782.
[15] Morris R.D., Morgan L.L., Davis D., Children Absorb Higher Doses of Radio Frequency Electromagnetic Radiation from Mobile Phones Than Adults, IEEE Access, vol. 2015, no. 3, pp. 2379–2387 (2015), DOI: 10.1109/ACCESS.2015.2478701.
[16] Stankovi V., Jovanovi D., Krsti D., Markovi V., Cvetkovi N., Temperature distribution and specific absorption rate inside a child’s head, International Journal of Heat and Mass Transfer, vol. 104, no. 1, pp. 559–565 (2017), DOI: 10.1016/j.ijheatmasstransfer.2016.08.094.
[17] ICNIRP, Guidelines for Limiting Exposure to Electromagnetic Fields (100 kHz to 300 GHz), Health Physics, vol. 118, no. 5, pp. 483–524 (2020), DOI: 10.1097/HP.0000000000001210.
[18] Hardell L., World Health Organization, radiofrequency radiation and health - a hard nut to crack (Review), International Journal of Oncology, vol. 51, no. 2, pp. 405–413 (2017), DOI: 10.3892/ijo.2017.4046.
[19] Tsa B., Db B., Arm B., Biological effects of non-ionizing electromagnetic fields: Two sides of a coin, Progress in Biophysics and Molecular Biology, vol. 141, no. 1, pp. 25–36 (2019), DOI: 10.1016/j.pbiomolbio.2018.07.009.
[20] Ayugi G., Kisolo A., Ireeta T.W., Temporal variation of radiofrequency electromagnetic field exposure from mobile phone base stations in sensitive environments, IOSR Journal of Applied Physics, vol. 9, no. 5, pp. 9–15 (2020), DOI: 10.9790/4861-0905010915.
[21] Carlberg M., Hedendahl L., Koppel T., High ambient radiofrequency radiation in Stockholm city, Sweden, Oncology letters, vol. 17, no. 2, pp. 1777–1783 (2018), DOI: 10.3892/ol.2018.9789.
[22] Hardell L., Koppel T., Carlberg M., Radiofrequency radiation at Stockholm Central Railway Station in Sweden and some medical aspects on public exposure to RF fields, International Journal of Oncology, vol. 49, no. 2, pp. 1315–1324 (2016), DOI: 10.3892/ijo.2016.3657.
[23] Gryz K., Karpowicz J., Radiofrequency electromagnetic radiation exposure inside the metro tube infrastructure in Warszawa, Electromagnetic Biology and Medicine, vol. 34, no. 3, pp. 265–273 (2015), DOI: 10.3109/15368378.2015.1076447.
[24] Zhang B., Zhong Z., He R., Multi-User channels with large-scale antenna arrays in a subway environment: characterization and modeling, IEEE Access, vol. 5, no. 1, pp. 23613–23625 (2017), DOI: 10.1109/ACCESS.2017.2764621.
[25] Yang C.Q., Lu M., Safety evaluation for a high signal operator with electric field exposure induced by contact wires, Archives of Electrical Engineering, vol. 70, no. 2, pp. 431–444 (2021), DOI: 10.24425/aee.2021.136994.
[26] Jalilian H.,Najafi K., Monazzam M.R., Occupational Exposure of Train Drivers to Static and Extremely Low Frequency Magnetic Fields in Tehran Subway, Jundishapur Journal of Health Sciences, vol. 9, no. 4, pp. 1–8 (2017), DOI: 10.5812/jjhs.14329.
[27] Wang J.H., Mei K.K., Design of leaky coaxial cables with periodic slots, Radio Science, vol. 37, no. 5, pp. 1–10 (2002), DOI: 10.1029/2000RS002534.
[28] Standardization Administration of China, Human dimensions of Chinese minors, GB/T 26158-2010 (2011).
[29] Rush S., Current distribution in the brain from surface electrodes, Anesthesia & Analgesia, vol. 47, no. 6, pp. 717–723 (1968).
[30] Gandhi O.P., Lazzi G., Furse C.M., Electromagnetic absorption in the human head and neck for mobile telephones at 835 and 1900 MHz, IEEE Transactions on Microwave Theory and Techniques, vol. 44, no. 10, pp. 1884–1897 (1996), DOI: 10.1109/22.539947.
[31] Gabriel C., Gabriel S., Corthout E., The dielectric properties of biological tissues: I. Literature survey, Phys. Med. Biol., vol. 41, no. 11, pp. 2231–49 (1996).
[32] Wang J., Fujiwara O., Watanabe S., Approximation of aging effect on dielectric tissue properties for SAR assessment of mobile telephones, IEEE Transactions on Electromagnetic Compatibility, vol. 48, no. 2, pp. 408–413 (2006), DOI: 10.1109/TEMC.2006.874085.
[33] Bhargava D., Leeprechanon N., Rattanadecho P., Specific absorption rate and temperature elevation in the human head due to overexposure to mobile phone radiation with different usage patterns, International Journal of Heat and Mass Transfer, vol. 130, no. 3, pp. 1178–1188 (2019), DOI: 10.1016/j.ijheatmasstransfer.2018.11.031.
[34] Pintos V.P., Ovide B.A., Munoz C., EMC measurements in Buenos Aires metro system, IEEE International Symposium on Electromagnetic Compatibility, Turkey, vol. 2003, no. 1, pp. 40–43 (2003), DOI: 10.1109/ICSMC2.2003.1428187.
[35] Lv H.G., Network spectrum measurement technique, Beijing: Tsinghua University Press, pp. 23–36 (2000).
[36] Spiegel R.J., A review of numerical models for predicting the energy deposition and resultant thermal response of humans exposed to electromagnetic fields, IEEE Transactions on Microwave Theory and Techniques, vol. 32, no. 8, pp. 730–746 (1984), DOI: 10.1109/TMTT.1984.1132767.
[37] Pennes H.H., Analysis of tissue and arterial blood temperatures in the resting human forearm, Journal of Applied Physiology, vol. 85, no. 1, pp. 5–34 (1998), DOI: 10.1152/jappl.1998.85.1.5.
[38] Yang D., Converse M.C., Mahvi D.M., Expanding the bioheat equation to include tissue internal water evaporation during heating, IEEE Transactions on Biomedical Engineering, vol. 54, no. 8, pp. 1382–1388 (2007), DOI: 10.1109/TBME.2007.890740.
Go to article

Authors and Affiliations

Jin Li
1
ORCID: ORCID
Mai Lu
1
ORCID: ORCID

  1. Key Laboratory of Opto-Electronic Technology and Intelligent Control of Ministry of Education, Lanzhou Jiaotong University, Gansu Province, China
Download PDF Download RIS Download Bibtex

Abstract

Safety of dams and other hydraulic structures is a complex procedure that must consider the individual characteristics of each structure and provide an insight in the structural health at every stage of the structure’s life cycle. Failures of structures permanently or temporarily retaining water may cause large economic damage, environmental disasters, and loss of lives. An engineering design should, therefore, guarantee maximum security of such structures or maximize their reliability not only in ordinary operating conditions but also under extreme hydrological load. By performing structural heath monitoring (SHM), the safety can be optimized, including the performance and life expectancy of a structure by adopting an appropriate methodology to observe the identified failure modes for a selected dam type. To adopt SHM to hydraulic structures it is important to broaden the knowledge and understanding of the ageing processes on hydraulic structures, which can be achieved by laboratory testing and application and development of novel monitoring techniques, e.g., vibration monitoring. In Slovenia, we are increasingly faced with the problem of ageing of dam structures. At the same time, we are also faced with changes in the environment, especially with the variability in time-dependent loads and with new patterns of operation on dams used for hydropower, with several starts and stops of turbines happening on a daily basis. These changes can lead to a decrease in structural and operational safety of dams. In this paper we propose a methodology where the dynamic response of concrete dams is continuously monitored in few locations on the dam using accelerometers, while all significant structural members are measured in discrete time intervals using portable vibrometers. We focused on run-of-the-river dams, which are a common dam type in Slovenia. The pilot case for the system is lower Sava River with a cascade of 5 dams used for hydropower.
Go to article

Authors and Affiliations

Mateja Klun
1
ORCID: ORCID
Andrej Kryžanowski
1
ORCID: ORCID

  1. University of Ljubljana, Faculty of Civil and Geodetic Engineering, Jamova 2, 1000 Ljubljana, Slovenia
Download PDF Download RIS Download Bibtex

Abstract

Structural safety is a concept defined in various ways, usually in an imprecise and qualitative manner. The article refers to the more important concepts and methods of structural safety assessment and presents an original proposal for a multi-faced assessment of this feature. Suggested procedure allows to take into account most of the key properties determining the safety of structures, including reliability, risk, resistance and robustness, random and non-random uncertainty of state variables and assessment criteria, potential consequences of failure, and makes possible the visualization of the results. Using the concept of fuzzy numbers, fuzzy statistics and the approximate reasoning scheme it enable to take into account subjective and qualitative information about the state variables, safety criteria, computational method, the professional knowledge and intuition of the designer. The application of the proposed procedure is illustrated on the example of the safety assessment of a reinforced concrete beam designed for flexure. The proposed procedure may be useful at the stage of conceptual design of building structures, as well as for assessing the safety of existing structures.
Go to article

Authors and Affiliations

Szczepan Woliński
1
ORCID: ORCID

  1. DSc., PhD., Eng., Rzeszow University of Technology, Faculty of Civil an Environmental Engineering and Architecture, Al. Powstańców Warszawa 12, 35-959 Rzeszów, Poland
Download PDF Download RIS Download Bibtex

Abstract

Bicycle lanes are lanes marked on a road and dedicated for exclusive use for cyclists.. Because they combine bike and motor traffic they provide directness and flow. However, a shared use of streets could result in bicycle-car accidents. Following up on the good practice Western countries have in planning cycle infrastructure, Gdansk has recently introduced bike lanes on a few streets. The aim of the research was to assess the attractiveness and safety of bike lanes as a relatively new and rare solution in Gdansk. The attractiveness was assessed using the multi-criteria method. The data for the assessment came from surveys and fieldwork (inventory, observation of cyclist behaviour, traffic counts). Additionally, safety information was supplemented with police statistics on collisions and accidents. The results show that the level of bike lane usage is rather high (more than 70%). However, 80% of the respondents do not find them as attractive as separated bike paths. The advantages indicated by bike lane users included speed, surface quality, and comfort. Those who avoiding bike lanes have pointed to insufficient sense of safety. The main problems were identified such as speed and volume of motor traffic, width of bicycle lane, surface quality and parking places located next to bike lanes. The conclusions from the research are consistent with the literature. The findings could improve the attractiveness and safety of bike lanes in Gdansk if implemented by bike infrastructure planners and designers.
Go to article

Authors and Affiliations

Romanika Okraszewska
1
ORCID: ORCID
Karolina Kijewska
1
ORCID: ORCID
Joanna Wachnicka
1
ORCID: ORCID
Miroslava Mikusova
2
ORCID: ORCID

  1. Gdansk University of Technology, Department of Highway and Transportation Engineering, ul. Gabriela Narutowicza 11/12, 80-233 Gdansk, Poland
  2. University of Zilina, Department of Road and Urban Transport Univerzitná 8215/1, 010 26 Žilina, Slovakia
Download PDF Download RIS Download Bibtex

Abstract

With the development of the society in recent years, there are more and more housing construction areas. The traditional concrete has not been able to satisfy the demand of housing construction. In this study, prefabricated concrete was applied in the design of assembling style houses considering their characteristics, and its economic, environmental and social benefits were analyzed combining risk matrix evaluation method and management strategy. It was found that the use of prefabricated concrete as a building material could effectively shorten the construction period, reduce the construction cost and improve the construction safety, playing a role of energy saving and environmental protection. Therefore it was concluded that prefabricated concrete can improve the efficiency of construction, reduce environmental pollution and save energy. This work provides a reference for the application of prefabricated concrete in residential buildings and its safety management.

Go to article

Authors and Affiliations

L. Jiao
X.D. Li
Download PDF Download RIS Download Bibtex

Abstract

There are about 8.5 million workers employed in the construction sector in India. Construction workers constitute a major portion of the unorganized labour and are characterized by their casual nature of employment, temporary relationship with the employer, prolonged and uncertain working hours, lack of safety and health measures, and inadequacy of basic amenities and welfare facilities. There are many legislation clauses providing safeguards for contract workers in India. Construction safety has been made legally enforceable after the enactment of The Building and Other Construction Workers (Regulation of Employment and Conditions of Service) Act in 1996 and the Central Rules in 1998. This paper details various statutory provisions for construction safety in India with specific reference to the BOCW Act, Central Rules, and State Rules.

Go to article

Authors and Affiliations

P. Sivaprakash
S. Kanchana
Download PDF Download RIS Download Bibtex

Abstract

This document provides a simplified solution to the problem of calculation of laser hazard distances defined in the Advisory Circular 70-1B by the U.S. Federal Aviation Administration regarding atmospheric attenuation (assuming its constant value) and measurement uncertainties. The calculation approaches and examples presented in this document do not specify the procedure that should be followed in the case of atmospheric attenuation, nor do they take into account the uncertainties associated with the measured parameters. The analysis presented in the article complements to some extent AC 70-1B and can be used by those who need such a simplified solution regarding illumination of landing or taking off aircrafts. The article presents a sample analysis for a typical laser pointer, where the necessary parameters of the laser beam along with the appropriate uncertainties were determined in accordance with the methods accredited by the Polish Centre for Accreditation while the appropriate laser hazard distances were calculated taking into account different atmospheric attenuation coefficients.
Go to article

Authors and Affiliations

Jarosław Młyńczak
1

  1. Military University of Technology, Institute of Optoelectronics, Gen. S. Kaliskiego 2, 00-908 Warszawa, Poland
Download PDF Download RIS Download Bibtex

Abstract

Safety Performance Functions and Crash Modification Factors are statistically-based prediction methods that require significant efforts and long periods in crash data collection. Traffic conflict studies can mitigate this issue using a short time survey to measure the number and severity of traffic conflicts, which are regarded as surrogate safety measures. Unfortunately, they are empirical studies that can be carried out only after the implementation of a treatment. The overall objective of the present research is to investigate the performance of different methods for conflict detection and classification, considering the observed conflicts on 2+1 roads in Poland. Observations were compared with conflicts detected in simulated environments. The latter include either the Agent-Based Microsimulation (ABM) approach, or the virtual reality simulation using a Driving Simulator (DS). Conflicts were detected and classified based on video recording and analysis of vehicle trajectories in the merging area of 2+1 roads. The studies focused only on lane-changing conflicts. Locations, Post Encroachment Time and Time to Collision values of observed conflicts between vehicles were subsequently identified. Observed conflicts were compared with the ones resulting from ABM and DS, to determine whether there is a correlation between them.
Go to article

Authors and Affiliations

Salvatore Cafiso
1
ORCID: ORCID
Alessandro Calvi
2
Carmelo D'Agostino
3
Mariusz Kieć
4
Gianmarco Petrucci
5
Piotr Szagała
6

  1. University of Catania, Department of Civil Engineering & Architecture, Via Santa Sofia 64, I-95125 Catania, Italy
  2. Roma Tre University, Department of Engineering, Via Vito Volterra 62, I-00146 Rome, Italy
  3. Lund University, Department of Technology and Society, John Ericssons väg 1, 223 63 Lund, Sweden
  4. Cracow University of Technology, Faculty of Civil Engineering, 24 Warszawska Str., 31-155 Cracow, Poland
  5. Donati S.p.A., via Aurelia Antica 272, I-00165 Rome, Italy
  6. Warsaw University of Technology, Faculty of Civil Engineering, Al. Armii Ludowej 16, 00-637 Warsaw, Poland
Download PDF Download RIS Download Bibtex

Abstract

The optimization process of design parameters for composite lining of heavy haul railway tunnel is a key problem to be solved in tunnel engineering design. In order to put forward a better design scheme of composite lining for heavy haul railway tunnel, combined with field measurement and numerical simulation, the optimal working condition design is carried out by changing the thickness of shotcrete layer, the type of grid steel frame and the thickness of secondary lining. The influence of the above design parameters on the stress state of the composite lining is analyzed to obtain the optimal design parameters. Finally, the safety performance of the optimized lining is evaluated by the ultimate bearing capacity curve of the secondary lining section. The research shows that: 1) The optimal design parameters of the composite lining of the tunnel are the thickness of the shotcrete layer of 25 cm, the type of the grid steel frame of H180, the thickness of the secondary lining arch waist and the side wall of 40 cm and 35 cm respectively; 2) Different from the single-track heavy haul railway tunnel, the displacement value of the vault settlement of the double-track heavy haul railway tunnel is significantly greater than that of the inner convergence. Increasing the thickness of the shotcrete layer and changing the type of the grid steel frame have better effects on reducing the vault settlement, and have little effect on the inner convergence.
Go to article

Authors and Affiliations

Wei Han
1
ORCID: ORCID
Taoli Xiao
2
ORCID: ORCID
Duanwen Shi
3
ORCID: ORCID
Yupeng Wang
1
ORCID: ORCID

  1. Fujian Forestry Vocational and Technical College, Department of Traffic Engineering, Nanping, 353000, China
  2. Yangtze University, School of Urban Construction, Jingzhou, 434000, China
  3. China Railway Fourth Survey and Design Institute Group Co., Ltd, Tunnel Engineering, Wuhan,430000, China
Download PDF Download RIS Download Bibtex

Abstract

Economic development is strictly dependent on access to inexpensive and reliable energy sources based on diversified primary fuels. The strategic framework for the construction of the energy mix is defined in the Energy Policy of the State, the content of which, in terms of its mandatory elements, has been specified in the Energy Law. The task of the Energy Policy of the State is to create the shape of the future power sector, including designing the most advantageous regulatory, system and technical solutions guaranteeing the appropriate level of energy security of the country, monitoring of the system’s evolution and also designing and implementing changes aimed at the optimization of the functioning mechanisms. The vision of the development of the power system at the global level should also reflect changes in the formation of dispersed civil energy structures. Unfortunately, the results of the conducted analyses reveal existing imperfections of the data acquisition and information system, which should be used in the planning process. This issue is particularly important from the perspective of the dynamically developing concept of the energy self-sufficiency of communes and the emergence of energy clusters. The present paper describes the functioning of strategic planning in the field of the electric power system with an illustration of the improperly functioning mechanisms of information transfer in the context of the advancement of dispersed civil energy structures.

Go to article

Authors and Affiliations

Maciej Sołtysik
Sylwia Całus
Marcin Malec
Download PDF Download RIS Download Bibtex

Abstract

The efficient protection (support reinforcement) of a wall and heading crossing ensures continuity of the production cycle, and that is a quick moving of the scraper conveyor to the wall. Using low or high bolting as a support reinforcement element in wall and heading crossings allows for the elimination of traditional methods of maintaining longwall-gate crossings, and therefore allows for the efficient use high performance modern wall complexes. The paper presents the long underground experience, of the Knurów–Szczygłowice mine of efficient support wall and heading crossing maintenance, which was bolted to the rock mass with the usage of two pairs of bolts, showing full technical and economical usefulness of this support reinforcement method. The article also highlights work safety and the increasingly common usage of endoscopies when specifying the range of crack areas which directly effects the proper choice in number, load-capacity and length of the used bolts. The underground studies the measurements of the reach of the zones of fracturing and roof stratification (using endoscopes and wire type stratification meters) and the laboratory tests (using the test stand) have allowed to determine the safety factor for maintenance of the longwall gangway crossing, directly resulting in the necessity to install additional reinforcement. The value of the safety factor Sbsc-ch greater than 1 is advantageous and safe, and the value less than or equal to 1 can lead to a significant deterioration of the conditions of maintenance of a wall and heading crossing which was bolted.

Go to article

Authors and Affiliations

Stanisław Duży
Piotr Głuch
Grzegorz Michalik
Adam Ratajczak
Download PDF Download RIS Download Bibtex

Abstract

Hybrid Renewable Energy Systems connected to the traditional power suppliers are an interesting technological solution in the field of energy engineering and the integration of renewable systems with other energy systems can significantly increase in energy reliability. In this paper, an analysis and optimization of the hybrid energy system, which uses photovoltaic modules and wind turbines components connected to the grid, is presented. The system components are optimized using two objectives criteria: economic and environmental. The optimization has been performed based on the experimental data acquired for the whole year. Results showed the optimal configuration for the hybrid system based on economical objective, that presents the best compromise between the number of components and total efficiency. This achieved the lowest cost of energy but with relatively high CO2 emissions, while environmental objective results with lower CO2 emissions and higher cost of energy and presents the best compromise between the number of components and system net present cost. It has been shown that a hybrid system can be optimized in such a way that CO2 emission is maximally reduced and – separately – in terms of reducing the cost. However, the study shows that these two criteria cannot be optimized at the same time. Reducing the system cost increase CO2 emission and enhancing ecological effect makes the system cost larger. However, depends on strategies, a balance between different optimization criteria can be found. Regardless of the strategy used economic criteria – which also indirect takes environmental aspects as a cost of penalties – should be considered as a major criterion of optimization while the other objectives including environmental objectives are less important.

Go to article

Authors and Affiliations

Patryk Palej
Hassan Qusay
Sławosz Kleszcz
Robert Hanus
Marek Jaszczur
Download PDF Download RIS Download Bibtex

Abstract

Hybrid systems (HS) are roughly described as a set of discrete state transitions and continuous dynamics modeled by differential equations. Parametric HS may be constructed by having parameters on the differential equations, initial conditions, jump conditions, or a combination of the previous ones. In real applications, the best solution is obtained by a set of metrics functional over the set of solutions generated from a finite set of parameters. This paper examines the choice of parameters on delta-reachability bounded hybrid systems.We present an efficient model based on the tool pHL-MT to benchmark the HS solutions (based on dReach), and a non-parametric frontier analysis approach, relying on multidirectional efficiency analysis (MEA). Three numerical examples of epidemic models with variable growth infectivity are presented, namely: when the variable of infected individuals oscillates around some endemic (non-autonomous) equilibrium; when there is an asymptotically stable non-trivial attractor; and in the presence of bump functions.
Go to article

Bibliography

[1] M. Althoff and J.M. Dolan: Online verification of automated road vehicles using reachability analysis. IEEE Trans. on Robotics, 30(4), (2014), 903– 918, DOI: 10.1109/TRO.2014.2312453.
[2] P. Bogetoft and J.L. Hougaard: Efficiency evaluations based on potential (non-proportional) improvements. Journal of Productivity Analysis, 12(3), (1999), 233–247, DOI: 10.1023/A:1007848222681.
[3] X. Chen, E. Abraham and S. Sankaranarayanan: Flow*: An analyzer for non-linear hybrid systems. In: Proc. of CAV’13. LNCS, 8044, 258–263, Springer, 2013.
[4] E.M. Clarke and S. Gao: Model checking hybrid systems. In: Margaria T., Steffen B. (eds): Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014. Lecture Notes in Computer Science, 8803, 385–386, Springer, Berlin, Heidelberg, 2014.
[5] M. Franzle, C. Herde, S. Ratschan, T. Schubert and T. Teige: Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Journal on Satisfiability, Boolean Modeling and Computation, 1 (2007), 209–236, DOI: 10.3233/SAT190012.
[6] G. Frehse, C.L. Guernic, A. Donze, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang and O. Maler: SpaceEx: Scalable verification of hybrid systems. In: Proc. of CAV’11. LNCS, 6806, 379–395, Springer, 2011.
[7] S. Gao: Computable analysis, decision procedures, and hybrid automata: A new framework for the formal verification of cyber-physical systems. Ph.D. thesis, Carnegie Mellon University, 2012.
[8] S. Gao, S. Kong and E.M. Clarke: dReal: An SMT solver for nonlinear theories over the reals. In: M.P. Bonacina (ed.) CADE 2013. LNCS (LNAI), 7898, 208–214, Springer, Heidelberg (2013). DOI: 10.1007/978-3-642-38574-2.
[9] HyCreate: A tool for overapproximating reachability of hybrid automata, http://stanleybak.com/projects/hycreate/hycreate.html.
[10] S. Kong, S. Gao, W. Chen and E. Clarke: dReach: δ-reachability analysis for hybrid systems. In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2015. Available: http://link.springer.com/10.1007/978-3-662-46681-0.
[11] J. Lygeros, C. Tomlin and S. Sastry: Hybrid systems: modeling analysis and control. Electronic Research Laboratory, University of California, Berkeley, CA, Tech. Rep. UCB/ERL M, 2008.
[12] A. Platzer and J. Quesel: Keymaera: A hybrid theorem prover for hybrid systems (system description). In: Proc. of IJCAR’08.LNCS, 5195, 171–178, Springer, 2008.
[13] S. Ratschan and Z. She: Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: Proc. of HSCC’05. LNCS, 3414, 573–589, Springer, 2005.
[14] E.M. Rocha: Oscillatory behaviour on a non-autonomous hybrid SIRmodel. In: M. Chaves and M. Martins (eds.), Molecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Science, 11415, Springer, Cham, 2019.
[15] L. Zhang, Z. She, S. Ratschan, H. Hermanns and E. Hahn: Safety verification for probabilistic hybrid systems. In: Proc. International Conference on Computer Aided Verification, (2010), 196–211.
Go to article

Authors and Affiliations

Eugénio Miguel Alexandre Rocha
1
Kelly Patricia Murillo
1

  1. Center for Research and Development in Mathematics and Applications, and Department of Mathematics, University of Aveiro, 3810-193 Aveiro, Portugal

This page uses 'cookies'. Learn more