| 1. |
|
|
| 2. |
- Da Fontoura, A. A., et al.
(författare)
-
Timing Assurance of Avionic Reconfiguration Schemes using Formal Analysis
- 2020
-
Ingår i: IEEE Transactions on Aerospace and Electronic Systems. - : IEEE. - 0018-9251 .- 1557-9603. ; 56:1, s. 95-106
-
Tidskriftsartikel (refereegranskat)abstract
- Reconfigurable avionics systems can tolerate faults by moving functionalities from failed components to another available system component. This paper proposes a distributed reconfigurable architecture for application migration from failed modules to working ones. The feasible system reconfiguration states are determined off-line to provide the expected configuration in foreseen situations. Model Checking is used to determine feasible configurations evaluating specific temporal properties. A case study is used to show the application of the presented approach as a proof of concept
|
|
| 3. |
- de Jesus, Abílio M.P., et al.
(författare)
-
A comparison of the fatigue behavior between S355 and S690 steel grades
- 2012
-
Ingår i: Journal of constructional steel research. - : Elsevier BV. - 0143-974X .- 1873-5983. ; 79, s. 140-150
-
Tidskriftsartikel (refereegranskat)abstract
- The use of higher strength steels allows the design of lighter, slenderer and simpler structures. Nevertheless, the increase of the yield strength of the steels does not correspond to a proportional increase of fatigue resistance, which makes the application of high strength steels on structures prone to fatigue, a major concern of the design. This paper presents a comparison of the fatigue behavior between the S355 mild steel and the S690 high strength steel grades, supported by an experimental program of fatigue tests of smooth specimens, performed under strain control, and fatigue crack propagation tests. Besides the cyclic elastoplastic characterization, the fatigue tests of smooth small size specimens allow the assessment of the fatigue crack initiation behavior of the materials. Results show that the S690 steel grade presents a higher resistance to fatigue crack initiation than the S355 steel. However, the resistance to fatigue crack propagation is lower for the S690 steel grade, which justifies an inverse dependence between static strength and fatigue life, for applications where fatigue crack propagation is the governing phenomenon. Consequently, the design of structural details with the S690 steel should avoid sharp notches that significantly reduce the fatigue crack initiation process.
|
|
| 4. |
|
|
| 5. |
- Fontoura, Luisa, et al.
(författare)
-
Protecting connectivity promotes successful biodiversity and fisheries conservation
- 2022
-
Ingår i: Science. - : American Association for the Advancement of Science (AAAS). - 0036-8075 .- 1095-9203. ; 375:6578, s. 336-
-
Tidskriftsartikel (refereegranskat)abstract
- The global decline of coral reefs has led to calls for strategies that reconcile biodiversity conservation and fisheries benefits. Still, considerable gaps in our understanding of the spatial ecology of ecosystem services remain. We combined spatial information on larval dispersal networks and estimates of human pressure to test the importance of connectivity for ecosystem service provision. We found that reefs receiving larvae from highly connected dispersal corridors were associated with high fish species richness. Generally, larval "sinks" contained twice as much fish biomass as "sources" and exhibited greater resilience to human pressure when protected. Despite their potential to support biodiversity persistence and sustainable fisheries, up to 70% of important dispersal corridors, sinks, and source reefs remain unprotected, emphasizing the need for increased protection of networks of well-connected reefs.
|
|
| 6. |
|
|
| 7. |
|
|
