1. |
|
|
2. |
|
|
3. |
- Avni, G., et al.
(författare)
-
Computing scores of forwarding schemes in switched networks with probabilistic faults
- 2017
-
Ingår i: Lecture Notes in Computer Science, Volume 10206. - Berlin, Heidelberg : Springer Verlag. - 9783662545799 ; , s. 169-187
-
Konferensbidrag (refereegranskat)abstract
- Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant ℓ, we compute the score of the scheme, namely the probability (induced by faults) that at least ℓ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a “product-like” structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation.
|
|
4. |
- Avni, G., et al.
(författare)
-
Synthesizing time-triggered schedules for switched networks with faulty links
- 2016
-
Ingår i: Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. - New York, NY, USA : ACM. - 9781450344852
-
Konferensbidrag (refereegranskat)abstract
- Time-triggered (TT) switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. These networks rely on the notion of globally discretized time (i.e. time slots) and a static TT schedule that prescribes which message is sent through which link at every time slot, such that all messages reach their destination before a global timeout. These schedules are generated offline, assuming a static network with fault-free links, and entrusting all error-handling functions to the end user. Assuming the network is static is an over-optimistic view, and indeed links tend to fail in practice. We study synthesis of TT schedules on a network in which links fail over time and we assume the switches run a very simple error-recovery protocol once they detect a crashed link. We address the problem of finding a pk; qresistant schedule; namely, one that, assuming the switches run a fixed error-recovery protocol, guarantees that the number of messages that arrive at their destination by the timeout is at least no matter what sequence of at most k links fail. Thus, we maintain the simplicity of the switches while giving a guarantee on the number of messages that meet the timeout. We show how a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing fault sequence to generate a constraint that is added to the program. The newly added constraint disallows the schedule to be regenerated in a future iteration while also eliminating several other schedules that are not pk; q-resistant. We illustrate the applicability of our approach using an SMT-based implementation.
|
|
5. |
- Larsson, Britt, et al.
(författare)
-
Responses of algesic and metabolic substances to 8 h of repetitive manual work in myalgic human trapezius muscle
- 2008
-
Ingår i: Pain. - : Ovid Technologies (Wolters Kluwer Health). - 0304-3959 .- 1872-6623. ; 140:3, s. 479-490
-
Tidskriftsartikel (refereegranskat)abstract
- The trapezius muscle often develops pain as the result of repetitive and stressful work tasks although it is unclear to what extent this pain is due to alterations in muscle concentrations of algesic/nociceptive substances. Twenty women with chronic neck- and shoulder pain (TM) whose work required highly repetitive work tasks and 20 pain-free female colleagues (CON) were studied during and after a full 8-hour workday. We collected microdialysates from their dominant/most painful trapezius muscle; concentrations of serotonin, glutamate, lactate, pyruvate, potassium, bradykinin, and cytokines and blood flow were determined. In addition, we measured surface electromyogram, task exposure level, pain intensity, perceived mental stress, and urine-cortisol. In connection to the clinical neck and Shoulder examination, we determined pressure pain thresholds (PPTs) over the trapezius and tibialis muscles. TM had higher concentrations Of glutamate (71 +/- 42 vs. 36 +/- 15 mu mol l(-1)) and pyruvate (187 +/- 89 vs. 125 +/- 63 mu mol l(-1)) than CON. Interstitial serotonin was higher ill TM (before work: 10.6 +/- 10.8 vs. 2.2 +/- 1.2 nM; after work: 9.2 +/- 8.3 vs. 1.5 +/- 2.9 nM). The trapezius blood flow during the working day was higher in TM than in CON. TM had lower PPT and higher pain intensity throughout the working day. No differences in EMG, task exposure level, Mental Stress, Or Urine-cortisol in the groups were found. These findings Support the idea that peripheral nociceptive processes are activated ill Occupationally active Subjects, who are diagnosed with trapezius myalgia. In contrast, no sign of low blood flow or increased stress or muscle activity markers were found in TM.
|
|
6. |
- Oleszkiewicz, A., et al.
(författare)
-
Hedonic perception of odors in children aged 5–8 years is similar across 18 countries : Preliminary data
- 2022
-
Ingår i: International Journal of Pediatric Otorhinolaryngology. - : Elsevier BV. - 0165-5876 .- 1872-8464. ; 157
-
Tidskriftsartikel (refereegranskat)abstract
- Objective: Olfactory preference emerges very early in life, and the sense of smell in children rapidly develops until the second decade of life. It is still unclear whether hedonic perception of odors is shared in children inhabiting different regions of the globe.Methods: Five-hundred ten healthy children (N = 510; ngirls = 256; nboys = 254) aged from 5 to 8 years from 18 countries rated the pleasantness of 17 odors.Results: The hedonic perception of odors in children aged between 5 and 8 years was rather consistent across 18 countries and mainly driven by the qualities of an odor and the overall ability of children to label odorants.Conclusion: Conclusions from this study, being a secondary analysis, are limited to the presented set of odors that were initially selected for the development of U-Sniff test and present null findings for the cross-cultural variability in hedonic perception of odors across 18 countries. These two major issues should be addressed in the future to either contradict or replicate the results presented herewith. This research lays fundament for posing further research questions about the developmental aspects of hedonic perception of odors and opens a new door for investigating cross-cultural differences in chemosensory perception of children.
|
|
7. |
- Perakis, Fivos, et al.
(författare)
-
Diffusive dynamics during the high-to-low density transition in amorphous ice
- 2017
-
Ingår i: Proceedings of the National Academy of Sciences of the United States of America. - : Proceedings of the National Academy of Sciences. - 0027-8424 .- 1091-6490. ; 114:31, s. 8193-8198
-
Tidskriftsartikel (refereegranskat)abstract
- Water exists in high- and low-density amorphous ice forms (HDA and LDA), which could correspond to the glassy states of high(HDL) and low-density liquid (LDL) in the metastable part of the phase diagram. However, the nature of both the glass transition and the high-to-low-density transition are debated and new experimental evidence is needed. Here we combine wide-angle X-ray scattering (WAXS) with X-ray photon-correlation spectroscopy (XPCS) in the small-angle X-ray scattering (SAXS) geometry to probe both the structural and dynamical properties during the high-to-low-density transition in amorphous ice at 1 bar. By analyzing the structure factor and the radial distribution function, the coexistence of two structurally distinct domains is observed at T = 125 K. XPCS probes the dynamics in momentum space, which in the SAXS geometry reflects structural relaxation on the nanometer length scale. The dynamics of HDA are characterized by a slow component with a large time constant, arising from viscoelastic relaxation and stress release from nanometer-sized heterogeneities. Above 110 K a faster, strongly temperature-dependent component appears, with momentum transfer dependence pointing toward nanoscale diffusion. This dynamical component slows down after transition into the low-density form at 130 K, but remains diffusive. The diffusive character of both the high- and low-density forms is discussed among different interpretations and the results are most consistent with the hypothesis of a liquid-liquid transition in the ultraviscous regime.
|
|
8. |
- Perryman, Clarice R., et al.
(författare)
-
Thaw Transitions and Redox Conditions Drive Methane Oxidation in a Permafrost Peatland
- 2020
-
Ingår i: Journal of Geophysical Research - Biogeosciences. - : American Geophysical Union (AGU). - 2169-8953 .- 2169-8961. ; 125:3
-
Tidskriftsartikel (refereegranskat)abstract
- Permafrost peatlands are a significant source of methane (CH4) emissions to the atmosphere and could emit more CH4 with continued permafrost thaw. Aerobic methane-oxidizing bacteria may attenuate a substantial fraction of CH4 emissions in thawing permafrost peatlands; however, the impact of permafrost thaw on CH4 oxidation is uncertain. We measured potential CH4 oxidation rates (hereafter, CH4 oxidation) and their predictors using laboratory incubations and in situ porewater redox chemistry across a permafrost thaw gradient of eight thaw stages at Stordalen Mire, a permafrost peatland complex in northernmost Sweden. Methane oxidation rates increased across a gradient of permafrost thaw and differed in transitional thaw stages relative to end-member stages. Oxidation was consistently higher in submerged fens than in bogs or palsas across a range of CH4 concentrations. We also observed that CH4 oxidation increased with decreasing in situ redox potential and was highest in sites with lower redox potential (Eh < 10 mV) and high water table. Our results suggest that redox potential can be used as an important predictor of CH4 oxidation, especially in thawed permafrost peatlands. Our results also highlight the importance of considering transitional thaw stages when characterizing landscape-scale CH4 dynamics, because these transitional areas have different rates and controls of CH4 oxidation relative to intact or completely thawed permafrost areas. As permafrost thaw increases the total area of semiwet and wet thaw stages in permafrost peatlands, CH4 oxidation represents an important control on CH4 emissions to the atmosphere.
|
|
9. |
- Treat, Claire C., et al.
(författare)
-
Permafrost Carbon : Progress on Understanding Stocks and Fluxes Across Northern Terrestrial Ecosystems
- 2024
-
Ingår i: Journal of Geophysical Research - Biogeosciences. - : American Geophysical Union (AGU). - 2169-8953 .- 2169-8961. ; 129:3
-
Tidskriftsartikel (refereegranskat)abstract
- Significant progress in permafrost carbon science made over the past decades include the identification of vast permafrost carbon stocks, the development of new pan-Arctic permafrost maps, an increase in terrestrial measurement sites for CO2 and methane fluxes, and important factors affecting carbon cycling, including vegetation changes, periods of soil freezing and thawing, wildfire, and other disturbance events. Process-based modeling studies now include key elements of permafrost carbon cycling and advances in statistical modeling and inverse modeling enhance understanding of permafrost region C budgets. By combining existing data syntheses and model outputs, the permafrost region is likely a wetland methane source and small terrestrial ecosystem CO2 sink with lower net CO2 uptake toward higher latitudes, excluding wildfire emissions. For 2002–2014, the strongest CO2 sink was located in western Canada (median: −52 g C m−2 y−1) and smallest sinks in Alaska, Canadian tundra, and Siberian tundra (medians: −5 to −9 g C m−2 y−1). Eurasian regions had the largest median wetland methane fluxes (16–18 g CH4 m−2 y−1). Quantifying the regional scale carbon balance remains challenging because of high spatial and temporal variability and relatively low density of observations. More accurate permafrost region carbon fluxes require: (a) the development of better maps characterizing wetlands and dynamics of vegetation and disturbances, including abrupt permafrost thaw; (b) the establishment of new year-round CO2 and methane flux sites in underrepresented areas; and (c) improved models that better represent important permafrost carbon cycle dynamics, including non-growing season emissions and disturbance effects.
|
|