Scenario-Aware Program Specialization for Timing Predictability

The successful application of static program analysis strongly depends on flow facts of a program such as loop bounds, control-flow constraints, and operating modes. This problem heavily affects the design of real-time systems, since static program analyses are a prerequisite to determine the timing behavior of a program. For example, this becomes obvious in worst-case execution time (WCET) analysis, which is often infeasible without user-annotated flow facts. Moreover, many timing simulation approaches use statically derived timings of partial program paths to reduce simulation overhead. Annotating flow facts on binary or source level is either error-prone and tedious, or requires specialized compilers that can transform source-level annotations along with the program during optimization. To overcome these obstacles, so-called scenarios can be used. Scenarios are a design-time methodology that describe a set of possible system parameters, such as image resolutions, operating modes, or application-dependent flow facts. The information described by a scenario is unknown in general but known and constant for a specific system. In this article, 1 we present a methodology for scenario-aware program specialization to improve timing predictability. Moreover, we provide an implementation of this methodology for embedded software written in C/C++. We show the effectiveness of our approach by evaluating its impact on WCET analysis using almost all of TACLeBench–achieving an average reduction of WCET of 31%. In addition, we provide a thorough qualitative and evaluation-based comparison to closely related work, as well as two case studies.

Transcranial stimulation of alpha oscillations up-regulates the default mode network

The default mode network (DMN) is the most-prominent intrinsic connectivity network, serving as a key architecture of the brain’s functional organization. Conversely, dysregulated DMN is characteristic of major neuropsychiatric disorders. However, the field still lacks mechanistic insights into the regulation of the DMN and effective interventions for DMN dysregulation. The current study approached this problem by manipulating neural synchrony, particularly alpha (8 to 12 Hz) oscillations, a dominant intrinsic oscillatory activity that has been increasingly associated with the DMN in both function and physiology. Using high-definition alpha-frequency transcranial alternating current stimulation (α-tACS) to stimulate the cortical source of alpha oscillations, in combination with simultaneous electroencephalography and functional MRI (EEG-fMRI), we demonstrated that α-tACS (versus Sham control) not only augmented EEG alpha oscillations but also strengthened fMRI and (source-level) alpha connectivity within the core of the DMN. Importantly, increase in alpha oscillations mediated the DMN connectivity enhancement. These findings thus identify a mechanistic link between alpha oscillations and DMN functioning. That transcranial alpha modulation can up-regulate the DMN further highlights an effective noninvasive intervention to normalize DMN functioning in various disorders.

Source Level of Antarctic Blue and Fin Whale Sounds Recorded on Sonobuoys Deployed in the Deep-Ocean Off Antarctica

The source levels, SL, of Antarctic blue and fin whale calls were estimated using acoustic recordings collected from directional sonobuoys deployed during an Antarctic voyage in 2019. Antarctic blue whale call types included stereotyped song and downswept frequency-modulated calls, often, respectively, referred to as Z-calls (comprising song units-A, B, and C) and D-calls. Fin whale calls included 20 Hz pulses and 40 Hz downswept calls. Source levels were obtained by measuring received levels (RL) and modelling transmission losses (TL) for each detection. Estimates of SL were sensitive to the parameters used in TL models, particularly the seafloor geoacoustic properties and depth of the calling whale. For our best estimate of TL and whale-depth, mean SL in dB re 1 μPa ± 1 standard deviation ranged between 188–191 ± 6–8 dB for blue whale call types and 189–192 ± 6 dB for fin whale call types. These estimates of SL are the first from the Southern Hemisphere for D-calls and 40 Hz downsweeps, and the largest sample size to-date for Antarctic blue whale song. Knowledge of source levels is essential for estimating the detection range and communication space of these calls and will enable more accurate comparisons of detections of these sounds from sonobuoy surveys and across international long-term monitoring networks.

Carbon Source Starvation of a Sulfate-Reducing Bacterium–Elevated MIC Deterioration of Tensile Strength and Strain of X80 Pipeline Steel

It is known that starved sulfate-reducing bacterial biofilms corrode carbon steel more aggressively because they use electrons from elemental iron oxidation as an alternative source of energy. This work used carbon source starvation to vary MIC (microbiologically influenced corrosion) severity for studying subsequent MIC impacts on the degradation of X80 carbon steel mechanical properties. X80 square coupons and dogbone coupons were immersed in ATCC 1249 culture medium (200 ml in 450-ml anaerobic bottles) inoculated with Desulfovibrio vulgaris for 3-day pre-growth and then for an additional 14 days in fresh media with adjusted carbon source levels for starvation testing. After the starvation test, the sessile cell counts (cells/cm2) on the dogbone coupons in the bottles with carbon source levels of 0, 10, 50, and 100% (vs that in the full-strength medium) were 8.1 × 106, 3.2 × 107, 8.3 × 107, and 1.3 × 108, respectively. The pit depths from the X80 dogbone coupons were 1.9 μm (0%), 4.9 μm (10%), 9.1 μm (50%), and 6.4 μm (100%). The corresponding weight losses (mg/cm2) from the square coupons were 1.9 (0%), 3.3 (10%), 4.4 (50%), and 3.7 (100%). The 50% carbon source level had the combination of carbon starvation without suffering too much sessile cell loss. Thus, both its pit depth and weight loss were the highest. The electrochemical tests corroborated the pit depth and weight loss trends. The tensile tests of the dogbone coupons after the starvation incubation indicated that sulfate-reducing bacteria (SRB) made X80 more brittle and weaker. Compared with the fresh (no-SRB-exposure) X80 dogbone coupon’s ultimate tensile strain of 13.6% and ultimate tensile stress of 860 MPa, the 50% carbon source level led to the lowest ultimate tensile strain of 10.3% (24% loss when compared with the fresh dogbone) and ultimate tensile stress of 672 MPa (22% loss). The 100% carbon source level had a smaller loss in ultimate tensile strain than the 50% carbon source level, followed by 10% and then 0%. Moreover, the 100% carbon source level had a smaller loss in ultimate tensile strength than the 50%, followed by 10% and 0% in a tie. This outcome shows that even in the 17-day short-term test, significant degradation of the mechanical properties occurred and more severe MIC pitting caused more severe degradation.

Ensemble-Based Gravity Wave Parameter Retrieval for Numerical Weather Prediction

Gravity wave (GW) momentum and energy deposition are large components of the momentum and heat budgets of the stratosphere and mesosphere, affecting predictability across scales. Since weather and climate models cannot resolve the entire GW spectrum, GW parameterizations are required. Tuning these parameterizations is time-consuming and must be repeated whenever model configurations are changed. We introduce a self-tuning approach, called GW parameter retrieval (GWPR), applied when the model is coupled to a data assimilation (DA) system. A key component of GWPR is a linearized model of the sensitivity of model wind and temperature to the GW parameters, which is calculated using an ensemble of nonlinear forecasts with perturbed parameters. GWPR calculates optimal parameters using an adaptive grid search that reduces DA analysis increments via a cost-function minimization. We test GWPR within the Navy Global Environmental Model (NAVGEM) using three latitude-dependent GW parameters: peak momentum flux, phase-speed width of the Gaussian source spectrum, and phase-speed weighting relative to the source-level wind. Compared to a baseline experiment with fixed parameters, GWPR reduces analysis increments and improves 5-day mesospheric forecasts. Relative to the baseline, retrieved parameters reveal enhanced source-level fluxes and westward shift of the wave spectrum in the winter extratropics, which we relate to seasonal variations in frontogenesis. The GWPR reduces stratospheric increments near 60°S during austral winter, compensating for excessive baseline non-orographic GW drag. Tropical sensitivity is weaker due to significant absorption of GW in the stratosphere, resulting in less confidence in tropical GWPR values.

Occipital neural dynamics in cannabis and alcohol use: independent effects of addiction

Alcohol and cannabis use disorder (AUD/CUD) are two of the most common addictive disorders. While studies are beginning to understand the neural changes related to acute and chronic use, few studies have examined the independent effects of AUD and CUD on neural oscillatory activity. We examined 45 adults who reported current use of both cannabis and alcohol. Participants underwent the SCID-V to determine whether they met criteria for AUD and/or CUD. Participants also completed a visual-spatial processing task while undergoing magnetoencephalography (MEG). ANCOVA with a 2 × 2 design was then used to identify the main effects of AUD and CUD on source-level oscillatory activity. Of the 45 adults, 17 met criteria for AUD, and 26 met criteria for CUD. All participants, including comparison groups, reported use of both cannabis and alcohol. Statistical analyses showed a main effect of AUD, such that participants with AUD displayed a blunted occipital alpha (8–16 Hz) response. Post-hoc testing showed this decreased alpha response was related to increased AUD symptoms, above and beyond amount of use. No effects of AUD or CUD were identified in visual theta or gamma activity. In conclusion, AUD was associated with reduced alpha responses and scaled with increasing severity, independent of CUD. These findings indicate that alpha oscillatory activity may play an integral part in networks affected by alcohol addiction.

Evanescing Beauty and Viability of Coastal Beaches of Colombo District.

According to a weekly beach survey conducted for two months and data analysis done by Clean Coast Index (CCI) method, some beaches in the Colombo district are located in the backyard of suburb residences and become the dumping sites for the adjacent community, such as Moratuwa and Ratmalana. Beaches in Wellawatte, Dehiwala, Bambalapitiya, and Kollupitiya hold trash from mixed sources such as domestic dumping, wastes from commercial activities such as hotels, from running trains and beach visitors, and beaches in Mt.Lavania, Galle face, and Mattakuliya hold similar kind of wastes that are mostly from beach visitors including tourists. Furthermore, wastes from fishing-related activities are abundant in Dehiwala, they are nylon fishing nets, ropes, and polystyrene floats. Besides, PET bottle usage by the fisherman also significantly high. In urban areas such as Kollupitiya, Bamblapitiya, Wellawatte, and Dehiwala most of the wastes are carried by the drainage canals. Mechanized beach grooming is not possible in most of the locations due to the presence of the Southern railway track and the rocks. Thus, to seek sustainable solutions source-level mitigation plans have to be implemented such as source-level waste categorization (already in action), penalties, waste bins in public transport (trains), and billboards in public transport (“Please do not through your garbage outside”), deposit refund scheme (DRS) for plastic bottles, public awareness and stewardship programmes, waste bins at identified locations in the beach, screening floating plastics at canals by sieves and banning of certain types of plastics (e.g. plastic wraps or packaging materials, straws, spoons, yoghurt cups, and styrofoam). Also, it is possible to design regenerative solutions such as provide incentives e.g. offering travel free pass for waste plastic bottles (in Indonesia) and waste to energy projects ( Muthurajawela).

Nature-Based Units as Building Blocks for Resource Recovery Systems in Cities

Cities are producers of high quantities of secondary liquid and solid streams that are still poorly utilized within urban systems. In order to tackle this issue, there has been an ever-growing push for more efficient resource management and waste prevention in urban areas, following the concept of a circular economy. This review paper provides a characterization of urban solid and liquid resource flows (including water, nutrients, metals, potential energy, and organics), which pass through selected nature-based solutions (NBS) and supporting units (SU), expanding on that characterization through the study of existing cases. In particular, this paper presents the currently implemented NBS units for resource recovery, the applicable solid and liquid urban waste streams and the SU dedicated to increasing the quality and minimizing hazards of specific streams at the source level (e.g., concentrated fertilizers, disinfected recovered products). The recovery efficiency of systems, where NBS and SU are combined, operated at a micro- or meso-scale and applied at technology readiness levels higher than 5, is reviewed. The importance of collection and transport infrastructure, treatment and recovery technology, and (urban) agricultural or urban green reuse on the quantity and quality of input and output materials are discussed, also regarding the current main circularity and application challenges.