Offset Time Research Articles

Evaluation of salivary melatonin concentrations as a circadian phase maker of morning awakening and their association with depressive mood in postpartum mothers

ABSTRACT The disruption of circadian rhythm is closely related to mood disorders in night-shift workers, and a similar situation may occur in postpartum mothers. However, the situations of postpartum mothers remain largely unknown because of a lack of an appropriate circadian phase marker in the clinical setting. This study aimed to evaluate whether salivary melatonin concentration at awakening can identify misalignment between awakening time and the biological clock system, which might be associated with depressive mood in some mothers. Ninety-eight healthy mothers who were currently the primary parental caregivers were recruited at 1 month after delivery. All mothers completed the Edinburgh Postnatal Depression Scale (EPDS) and wore an actigraphy watch at home for 3 consecutive days to determine nocturnal sleep variables. While wearing the actigraphy watch, they also collected saliva samples during the awakening period for a melatonin concentration assay. The results indicated that daily salivary melatonin levels after 30 min of awakening (hereafter, melatonin levels) were positively correlated with sleep onset time and negatively correlated with sleep offset time and total sleep time. Six mothers with an EPDS score of ≥9 (the cutoff value for Japanese women at high risk for postnatal depression) had an average melatonin level of either <4 pg/ml or >16 pg/ml for 3 d. Mothers with melatonin levels <4 pg/ml or >16 pg/ml tended to have elevated EPDS scores (4.93 ± 2.95 or 4.20 ± 2.93, mean ± standard deviation) compared with mothers with melatonin levels between 4 and 16 pg/ml (3.00 ± 2.12, p = .053). Mothers whose melatonin levels were >16 pg/ml had relatively later sleep onset time and shorter nocturnal sleep duration. Backward stepwise regression demonstrated that such high/low levels of melatonin were a significant predictor of EPDS scores. These results suggest that elevated melatonin levels after 30 min of awakening could identify a phase-delayed circadian rhythm in postpartum mothers, and that relatively higher or lower melatonin levels could be associated with increased depressive mood.

Is selective late sodium current inhibition different from class I/B antiarrhythmic action? Comparison of the effects of GS967 to mexiletine in canine ventricular myocardium

Abstract Funding Acknowledgements Type of funding sources: Public grant(s) – EU funding. Main funding source(s): National Research, Development and Innovation Office New National Excellence Programme Enhancement of the late Na+ current (INa,late) increases arrhythmia propensity in the heart, while suppression of the current is antiarrhythmic. GS-458967 (GS) is an agent considered to be a selective blocker of INa,late. In the present study, effects of GS967 on INa,late, on L-type calcium current (ICaL), and on action potential (AP) morphology were studied in canine ventricular myocytes by using conventional voltage clamp, action potential voltage clamp and sharp microelectrode techniques. These effects of GS were compared to tetrodotoxin (TTX) and to the class I/B antiarrhythmic compound mexiletine. GS (1 μM), mexiletine (40 μM) and TTX (10 μM) dissected largely similarly shaped inward currents under action potential voltage clamp conditions. In case of GS and mexiletine, the amplitude and integral of this inward current was significantly smaller when measured in the presence of 1 μM nisoldipine, while no difference was observed in case of TTX. Under conventional voltage clamp conditions, INa,late was significantly reduced by 1 μM GS and 40 μM mexiletine (about 79% and 63% reduction of current integrals, respectively). The integral of ICa,L was moderately but significantly decreased by both drugs (reduction of 9% and 14%, respectively). These changes were associated with a faster inactivation of ICa,L. Drug effects on early Na+ current (INa,early) were assessed by analyzing the maximal rate of depolarization (V + max) in multicellular preparations. Both GS and mexiletine showed fast onset and offset kinetics: 110 ms and 289 ms offset time constants, respectively, as determined from V + max measurements in right ventricular papillary muscles, while the onset kinetics was characterized by 5.3 AP and 2.6 AP lengths, respectively, at 2.5 Hz. Effects on beat-to-beat variability of AP duration (APD) was studied in isolated myocytes. Short-term variability was significantly decreased by both GS and mexiletine (average reduction of 42% and 24%, respectively) while they caused similar shortening of the APD. The electrophysiological effects of GS are similar to those of mexiletine, but with a somewhat faster offset kinetics of V + max block. However, since GS reduced V+ max and INa,late in the same concentration, the currently accepted view that GS that selectively blocks INa,late has to be questioned and it is suggested that GS should be classified as a class I/B (or I/B + IV) antiarrhythmic agent.

Indoor Passive Localization With Channel State Information Using a Single Access Point

With the development of multi-antenna technology, the localization technology based on Wi-Fi has made progress. However, the single station passive localization is still confronted with the problem of low accuracy. Towards this end, this paper proposes an indoor localization system with a single Access Point (AP). Firstly, we present a novel Channel State Information (CSI) phase error correction method to eliminate the phase error that caused by the Symbol Time Offset (STO) and the Sample Frequency Offset (SFO) due to the lack of rigid time synchronization between Wi-Fi transceivers. Then, the Time of Flight (ToF) of the reflected signal is obtained by the discrete correlation estimation algorithm. On this basis, we propose a Regionalized Orthogonal Matching Pursuit (R-OMP) algorithm to estimate the Angle of Arrival (AoA) of the reflected signal. The proposed R-OMP algorithm reduces the complexity of the traditional Orthogonal Matching Pursuit (OMP) algorithm via reducing the search area. Finally, we get the location of the target by building a single station localization model. Experiments show that the median localization error of the system can reach 0.75 meters in a typical indoor environment, which is significantly improved compared with the previous single station localization system.

High-Speed Characterization of Vocal Fold Vibrations in Normally Cycling and Postmenopausal Women: Randomized Double-Blind Analyses.

Purpose The aim of this study was to examine the influence of menstrual cycle phases (follicular, ovulatory, luteal, and ischemic) and hormone levels (estradiol, testosterone, progesterone, and neuropeptide Y) on vocal fold vibrations in reproductive and postmenopausal women. Method Glottal area waveforms were extracted from high-speed videoendoscopy during sustained phonation, inhalation phonation, and voice onset/offset in the reproductive (n = 15) and postmenopausal (n = 13) groups. Linear mixed-model analysis was conducted to evaluate hormone levels and high-speed videoendoscopy outcome variables between the reproductive and postmenopausal groups. In the reproductive group, simple linear regression and multiple regression were conducted to determine the effects of hormones on the dependent variables. Results Group differences between reproductive and postmenopausal women were identified for stiffness index, oscillatory onset time, and oscillatory offset time. Neuropeptide Y hormone in the ischemic phase significantly predicted changes in the reproductive group for some dependent variables; however, the relationship varied for sustained phonation and inhalation phonation. Conclusion These findings provide preliminary evidence that vocal fold vibrations in the reproductive group are different predominantly in the ischemic phase due to neuropeptide Y changes.

Validation of the Munich Actimetry Sleep Detection Algorithm for estimating sleep-wake patterns from activity recordings.

Periods of sleep and wakefulness can be estimated from wrist-locomotor activity recordings via algorithms that identify periods of relative activity and inactivity. Here, we evaluated the performance of our Munich Actimetry Sleep Detection Algorithm. The Munich Actimetry Sleep Detection Algorithm uses a moving 24-h threshold and correlation procedure estimating relatively consolidated periods of sleep and wake. The Munich Actimetry Sleep Detection Algorithm was validated against sleep logs and polysomnography. Sleep-log validation was performed on two field samples collected over 54 and 34days (median) in 34 adolescents and 28 young adults. Polysomnographic validation was performed on a clinical sample of 23 individuals undergoing one night of polysomnography. Epoch-by-epoch analyses were conducted and comparisons of sleep measures carried out via Bland-Altman plots and correlations. Compared with sleep logs, the Munich Actimetry Sleep Detection Algorithm classified sleep with a median sensitivity of 80% (interquartile range [IQR]=75%-86%) and specificity of 91% (87%-92%). Mean onset and offset times were highly correlated (r=.86-.91). Compared with polysomnography, the Munich Actimetry Sleep Detection Algorithm reached a median sensitivity of 92% (85%-100%) but low specificity of 33% (10%-98%), owing to the low frequency of wake episodes in the night-time polysomnographic recordings. The Munich Actimetry Sleep Detection Algorithm overestimated sleep onset (~21min) and underestimated wake after sleep onset (~26min), while not performing systematically differently from polysomnography in other sleep parameters. These results demonstrate the validity of the Munich Actimetry Sleep Detection Algorithm in faithfully estimating sleep-wake patterns in field studies. With its good performance across daytime and night-time, it enables analyses of sleep-wake patterns in long recordings performed to assess circadian and sleep regularity and is therefore an excellent objective alternative to sleep logs in field settings.

Haptic Actuation Plate for Multi-Layered In-Vehicle Control Panel

High-fidelity localized feedback has the potential of providing new and unique levels of interaction with a given device. Achieving this in a cost-effective reproducible manner has been a challenge in modern technology. Past experiments have shown that by using the principles of constructive wave interference introduced by time offsets it is possible to achieve a position of increased vibration displacement at any given location. As new interface form factors increasingly incorporate curved surfaces, we now show that these same techniques can successfully be applied and mechanically coupled with a universal actuation plate.

Mexiletine-like cellular electrophysiological effects of GS967 in canine ventricular myocardium

Enhancement of the late Na+ current (INaL) increases arrhythmia propensity in the heart, while suppression of the current is antiarrhythmic. GS967 is an agent considered as a selective blocker of INaL. In the present study, effects of GS967 on INaL and action potential (AP) morphology were studied in canine ventricular myocytes by using conventional voltage clamp, action potential voltage clamp and sharp microelectrode techniques. The effects of GS967 (1 µM) were compared to those of the class I/B antiarrhythmic compound mexiletine (40 µM). Under conventional voltage clamp conditions, INaL was significantly suppressed by GS967 and mexiletine, causing 80.4 ± 2.2% and 59.1 ± 1.8% reduction of the densities of INaL measured at 50 ms of depolarization, and 79.0 ± 3.1% and 63.3 ± 2.7% reduction of the corresponding current integrals, respectively. Both drugs shifted the voltage dependence of the steady-state inactivation curve of INaL towards negative potentials. GS967 and mexiletine dissected inward INaL profiles under AP voltage clamp conditions having densities, measured at 50% of AP duration (APD), of −0.37 ± 0.07 and −0.28 ± 0.03 A/F, and current integrals of −56.7 ± 9.1 and −46.6 ± 5.5 mC/F, respectively. Drug effects on peak Na+ current (INaP) were assessed by recording the maximum velocity of AP upstroke (V+max) in multicellular preparations. The offset time constant was threefold faster for GS967 than mexiletine (110 ms versus 289 ms), while the onset of the rate-dependent block was slower in the case of GS967. Effects on beat-to-beat variability of APD was studied in isolated myocytes. Beat-to-beat variability was significantly decreased by both GS967 and mexiletine (reduction of 42.1 ± 6.5% and 24.6 ± 12.8%, respectively) while their shortening effect on APD was comparable. It is concluded that the electrophysiological effects of GS967 are similar to those of mexiletine, but with somewhat faster offset kinetics of V+max block. However, since GS967 depressed V+max and INaL at the same concentration, the current view that GS967 represents a new class of drugs that selectively block INaL has to be questioned and it is suggested that GS967 should be classified as a class I/B antiarrhythmic agent.

086 Sleep midpoint after job loss predicts breakfast skipping patterns

Abstract Introduction Few studies have examined circadian phase after job loss, an event that upends daily routine. It is common that a daily routine begins with the consumption of breakfast, and breakfast behavior may contribute to health status in adults. Therefore, we sought to examine whether a later midpoint of sleep was associated with breakfast skipping among adults whose schedules were no longer dictated by employment. Methods Data were obtained from the Assessing Daily Activity Patterns Through Occupational Transitions (ADAPT) study. The sample of 155 participants had involuntarily lost their jobs in the last 90 days. Both cross-sectional and 18-month longitudinal analyses assessed the relationship between sleep midpoint after job loss and current and later breakfast skipping. Assessment periods were 14 days. Sleep was measured via actigraphy, and breakfast skipping was measured via daily diary (1 = had breakfast; 0 = did not have breakfast). The midpoint of sleep was calculated as the circular center based on actigraphy sleep onset and offset times. Results The midpoint of sleep at baseline was negatively associated with breakfast consumption at baseline (B = -.09, SE = .02, p = .000). Also, a later midpoint was associated with breakfast skipping over the next 18 months (estimate = -.08; SE = .02; p = .000). Prospective findings remained significant when adjusting for gender, ethnicity, age, perceived stress, body mass index (BMI), education, and reemployment over time. Education (estimate = 14.26, SE = 6.23, p &amp;lt; .05) and BMI (estimate = -.51, SE = .25, p &amp;lt; .05) were the only significant covariates. No other sleep indices predicted breakfast behavior cross-sectionally or prospectively. Conclusion Consistent with research in adolescents, unemployed adults with a later circadian phase are more likely to skip breakfast more often. Breakfast skipping was also associated with higher BMI. Taken together, these findings provide support for the future testing of sleep/wake scheduling interventions to modify breakfast skipping and potentially mitigate weight gain after job loss. Support (if any) #1R01HL117995-01A1

A fast Fourier transform based method to estimate frequency response mismatches in time interleaved systems.

Time interleaving (TI) technique is widely used in acquisition systems to improve the sampling rate. However, as a parallel sampling structure, it inevitably brings in channel mismatches, such as the offset mismatch, gain mismatch, and time mismatch. Moreover, the gain mismatch and time mismatch are frequency-dependent, which means that the gain mismatch and time mismatch will be different when the signal frequency changes. This is because the gain and time mismatches are the special circumstances of frequency response mismatches. In this paper, a frequency response mismatch estimation method in TI acquisition systems is proposed and analyzed. First, the two kinds of mismatch models are compared to find the relationship between frequency response mismatches and the gain and time mismatches. Then, a mismatch estimation method that can estimate mismatches when the analog bandwidth exceeds the sampling rate of a single channel in a time interleaving analog to digital converter is proposed. Sinusoids with different frequencies are utilized to convert the question of estimating frequency response mismatches to acquiring the mismatch coefficients at a series of frequency points. Furthermore, a semi-automatic estimation technique is proposed to reduce the operation time, and a 10 GSPS eight-channel TI system is introduced. Simulations show the accuracy and effectiveness of the proposed method. At last, the frequency response mismatches are calibrated by using the estimated parameters. The calibration improves the performance of an eight-channel TI system from the original spurious free dynamic range of 27.6639 to 56.7029 dB and signal-to-noise ratio of 25.5468 to 32.7667 dB. The calibration result demonstrates the usefulness of the proposed method.

Nonlinear Quasi-Synchronous Multi User Chirp Spread Spectrum Signaling

Multi user orthogonal chirp spread spectrum (OCSS) can improve the spectral inefficiency of chirp spread spectrum (CSS) but is only feasible with perfect synchronism and without any channel dispersion. Asynchronism, channel dispersion, or unexpectedly large Doppler shifts can cause multiple access interference (MAI), which degrades performance. Conditions with small timing offsets we term quasi-synchronous (QS). In this paper, we propose two new sets of nonlinear chirps to improve CSS system performance in QS conditions. We analytically and numerically evaluate cross-correlation distributions. We also derive the bit error probability for Binary CSS analytically and validate our theoretical result with both numerical and simulation results; our error probability expression is applicable to any binary time-frequency (TF) chirp waveform. Finally, we show that in QS conditions our two new nonlinear chirp designs outperform the classical linear chirp and all existing nonlinear chirps from the literature. To complete our analysis, we demonstrate that our nonlinear CSS designs outperform existing chirps in two realistic (empirically modeled) dispersive air to ground channels.

On the Frequency Carrier Offset and Symbol Timing Estimation for CCSDS 131.2-B-1 High Data-Rate Telemetry Receivers.

In recent years there have been significant developments in satellite transmitter technology to follow the rapid innovation of sensors on-board new satellites. The CCSDS 131.2-B-1 standard for telemetry downlink, released in 2012, is part of the next generation of standards that aims to support the increased data-rate caused by these improvements in resolution. As a result of its relative novelty, this standard currently lacks in-depth analysis by researchers, but it is also strongly supported by the European Space Agency (ESA) for future missions. For these reasons, it seems important to evaluate how major receiver sub-components, such as timing recovery and carrier frequency correction, can be designed and implemented in new receivers that support this standard. The timing error detectors (TED) and frequency error detectors (FED) were therefore studied on the specific peculiarities of CCSDS 131.2-B-1 in its usual environment of Low Earth Orbit (LEO). Estimators have been evaluated highlighting performances, trade-offs and peculiarities of each one with respect to corresponding architectural choices. Finally, a receiver architecture derived from the paper considerations is proposed in the aim of supporting very different mission scenarios. Specifically, the realized architecture employs a parallel feedforward estimator for the timing recovery section and a novel multi-algorithm feedback frequency correction loop to efficiently cover both low symbol rates (5 Mbaud) and high data-rates (up to 500 Mbaud). This solution represents a good trade-off to support these scenarios in a very compact footprint by pushing the clock frequency to the FPGA limit. The FPGA resources occupation on a Zynq Ultrascale+ RFSoC XCZU28DR FPGA is 5202 LUT, 4851 FF, 5 BRAM, and 21 DSP for the timing recovery part, while the frequency recovery section occupies 1723 LUT, 1511 FF, 2.5 BRAM and 32 DSP.

Effects of Audiovisual Presentations on Visual Localization Errors: One or Several MultisensoryMechanisms?

The present study examines the extent to which temporal and spatial properties of sound modulate visual motion processing in spatial localization tasks. Participants were asked to locate the place at which a moving visual target unexpectedly vanished. Across different tasks, accompanying sounds were factorially varied within subjects as to their onset and offset times and/or positions relative to visual motion. Sound onset had no effect on the localization error. Sound offset was shown to modulate the perceived visual offset location, both for temporal and spatial disparities. This modulation did not conform to attraction toward the timing or location of the sounds but, demonstrably in the case of temporal disparities, to bimodal enhancement instead. Favorable indications to a contextual effect of audiovisual presentations on interspersed visual-only trials were also found. The short sound-leading offset asynchrony had equivalent benefits to audiovisual offset synchrony, suggestive of the involvement of early-level mechanisms, constrained by a temporal window, at these conditions. Yet, we tentatively hypothesize that the whole of the results and how they compare with previous studies requires the contribution of additional mechanisms, including learning-detection of auditory-visual associations and cross-sensory spread of endogenous attention.

Relationship Between Major Depression Symptom Severity and Sleep Collected Using a Wristband Wearable Device: Multicenter Longitudinal Observational Study.

BackgroundSleep problems tend to vary according to the course of the disorder in individuals with mental health problems. Research in mental health has associated sleep pathologies with depression. However, the gold standard for sleep assessment, polysomnography (PSG), is not suitable for long-term, continuous monitoring of daily sleep, and methods such as sleep diaries rely on subjective recall, which is qualitative and inaccurate. Wearable devices, on the other hand, provide a low-cost and convenient means to monitor sleep in home settings.ObjectiveThe main aim of this study was to devise and extract sleep features from data collected using a wearable device and analyze their associations with depressive symptom severity and sleep quality as measured by the self-assessed Patient Health Questionnaire 8-item (PHQ-8).MethodsDaily sleep data were collected passively by Fitbit wristband devices, and depressive symptom severity was self-reported every 2 weeks by the PHQ-8. The data used in this paper included 2812 PHQ-8 records from 368 participants recruited from 3 study sites in the Netherlands, Spain, and the United Kingdom. We extracted 18 sleep features from Fitbit data that describe participant sleep in the following 5 aspects: sleep architecture, sleep stability, sleep quality, insomnia, and hypersomnia. Linear mixed regression models were used to explore associations between sleep features and depressive symptom severity. The z score was used to evaluate the significance of the coefficient of each feature.ResultsWe tested our models on the entire dataset and separately on the data of 3 different study sites. We identified 14 sleep features that were significantly (P<.05) associated with the PHQ-8 score on the entire dataset, among them awake time percentage (z=5.45, P<.001), awakening times (z=5.53, P<.001), insomnia (z=4.55, P<.001), mean sleep offset time (z=6.19, P<.001), and hypersomnia (z=5.30, P<.001) were the top 5 features ranked by z score statistics. Associations between sleep features and PHQ-8 scores varied across different sites, possibly due to differences in the populations. We observed that many of our findings were consistent with previous studies, which used other measurements to assess sleep, such as PSG and sleep questionnaires.ConclusionsWe demonstrated that several derived sleep features extracted from consumer wearable devices show potential for the remote measurement of sleep as biomarkers of depression in real-world settings. These findings may provide the basis for the development of clinical tools to passively monitor disease state and trajectory, with minimal burden on the participant.

Identifying electronic-sport athletes’ sleep-wake cycle characteristics

ABSTRACT Organized electronic-sport competitions (e-Sport) is related to several health problems, including sleep disorders. The objective of this study was to evaluate the characteristics of the sleep-wake cycle of League of Legends (LoL) athletes during their pre-training, training, pre-competition, and competition routines. Twenty male elite LoL players completed the questionnaires related to sleep pattern (Pittsburgh Sleep Quality Index), sleepiness (Epworth Sleepiness Scale), and chronotype (Morningness–Eveningness Questionnaire), and they wore an actigraph for 7 days. Pre-training and pre-competition assessments were carried out by questionnaires (n = 20) and training and competition assessments by actigraph (n = 16). The chronotype that most Eathletes presented was a moderately evening type. They presented a poor sleep quality and were borderline for excessive daytime sleepiness. Sleep onset and offset times were significantly prolonged during the competition condition (t = 2.11, p < .05; t = 2.51, p < .05). Correlations showed a relationship between PSQI and Sleepiness in the pre-training and pre-competition conditions (r = 0.50, p = .02) and chronotype with sleep onset (r = 0.61, p = .01), total sleep time (r = 0.55, p = .02), and time awake (r = 0.49, p = .04) in the competition condition. Linear regression analysis indicated associations between the PSQI and sleepiness (25%; p = .02) during pre-training and pre-competition. During the competition there were associations between chronotype and sleep onset (37%; p = .01), chronotype and time awake (24%; p = .04), and chronotype and TST (30%; p = .02). In general, the findings support the conclusion that LoL athletes presented an altered sleep pattern during their training routines.

Joint Timing and Frequency Synchronization Using Convolutional Neural Network in WLAN Systems

In wireless communication systems, the performance of the receiver is very sensitive to time and frequency offsets. In particular, orthogonal frequency division multiplexing (OFDM) systems are highly vulnerable to those offsets due to inter-carrier interference (ICI) and inter-symbol interference (ISI). To solve this problem, wireless local area network (WLAN) systems transmit a preamble for synchronization. In this paper, we propose a joint time and frequency offsets estimation technique based on convolutional neural network (CNN) for WLAN systems. In the proposed technique, the correlation between the received signal and the transmitted preamble is performed first. Then the frequency offset is coarsely compensated by several hypothesized offsets. The compensated signals are inputted to the proposed CNN and the CNN predicts the time and frequency offsets. The estimation performance is examined through computer simulation. According to the results, the proposed time offset estimator shows 3 dB to 6 dB performance gain, and the frequency offset estimator shows much lower root mean square error (RMSE) performance than the conventional technique at low SNRs

Optimization-Based Online Initialization and Calibration of Monocular Visual-Inertial Odometry Considering Spatial-Temporal Constraints.

The online system state initialization and simultaneous spatial-temporal calibration are critical for monocular Visual-Inertial Odometry (VIO) since these parameters are either not well provided or even unknown. Although impressive performance has been achieved, most of the existing methods are designed for filter-based VIOs. For the optimization-based VIOs, there is not much online spatial-temporal calibration method in the literature. In this paper, we propose an optimization-based online initialization and spatial-temporal calibration method for VIO. The method does not need any prior knowledge about spatial and temporal configurations. It estimates the initial states of metric-scale, velocity, gravity, Inertial Measurement Unit (IMU) biases, and calibrates the coordinate transformation and time offsets between the camera and IMU sensors. The work routine of the method is as follows. First, it uses a time offset model and two short-term motion interpolation algorithms to align and interpolate the camera and IMU measurement data. Then, the aligned and interpolated results are sent to an incremental estimator to estimate the initial states and the spatial–temporal parameters. After that, a bundle adjustment is additionally included to improve the accuracy of the estimated results. Experiments using both synthetic and public datasets are performed to examine the performance of the proposed method. The results show that both the initial states and the spatial-temporal parameters can be well estimated. The method outperforms other contemporary methods used for comparison.

The Influence of Development Target Depletion on Stress Evolution and Infill Drilling of Upside Target in the Permian Basin

SummaryThe extensive depletion of the development target triggers the demand for infill drilling in the upside target of multilayer unconventional reservoirs. However, such an infill scheme in the field practice still heavily relies on empirical knowledge or pressure responses, and the geomechanics consequences have not been fully understood. Backed by the data set from the Permian Basin, in this work we present a novel integrated reservoir-geomechanics-fracture model to simulate the spatiotemporal stress evolution and locate the optimal development strategy in the upside target of the Bone Spring Formation. An embedded discrete fracture model (EDFM) is deployed in our fluid-flow simulation to characterize complex fractures, and the stress-dependent matrix permeability and fracture conductivity are included through the compaction/dilation option. After calibrating reservoir and fracture properties by history matching of an actual well in the development target (i.e., third Bone Spring), we run the finite element method (FEM)-based geomechanics simulation to model the 3D stress state evolution. Then a displacement discontinuity method (DDM) hydraulic fracture model is applied to simulate the multicluster fracture propagation under an updated heterogeneous stress field in the upside target (i.e., second Bone Spring). Numerical results indicate that stress field redistribution associated with parent-well production indeed vertically propagates to the upside target. The extent of stress reorientation at the infill location mainly depends on the parent-child horizontal offset, whereas the stress depletion is under the combined impact of horizontal offset, vertical offset, and infill time. A smaller parent-child horizontal offset aggravates the overlap of the stimulated reservoir volume (SRV), resulting in more substantial interwell interference and less desirable oil and gas production. The same trend is observed by varying the parent-child vertical offset. Moreover, the efficacy of an infill operation at an earlier time is less affected by parent-well depletion because of the less-disturbed stress state. The candidate infill-well locations at various infill timings are suggested based on the parent-well and child-well production cosimulation. Being able to incorporate both pressure and stress responses, the reservoir-geomechanics-fracture model delivers a more comprehensive understanding and a more integral solution of infill-well design in multilayer unconventional reservoirs. The conclusions provide practical guidelines for the subsequent development in the Permian Basin.

Schedule Sequence Design for Broadcast in Multi-Channel Ad Hoc Networks

Ultra-reliable and low-latency communication (URLLC) is of capital importance for the 5G wireless networks and has received a lot of attention recently. Motivated by the hard delay requirement for URLLC, we aim at devising medium access control (MAC) schemes that can guarantee packet transmissions within a bounded delay. The model we considered is a multi-channel single-hop ad hoc network in which each node has packets to broadcast to other nodes. This broadcast scenario is common, and has been extensively studied in various scenarios such as safety message broadcast in vehicular ad hoc networks (VANETs). Most of the existing MAC schemes employ backoff algorithms to handle transmission failures caused by channel collisions, and thus cannot provide a hard guarantee on transmission delay. Moreover, these schemes rely on time synchronization and coordination among the nodes, which would cause heavy overhead for control message exchange. In this paper, we focus on devising MAC schemes to provide a hard guarantee on broadcast delay, without time synchronization and cooperation among the nodes. We employ the sequence scheme in which each node is pre-assigned a periodic sequence to schedule transmissions and receptions at each time slot. These sequences are referred to as schedule sequences. Since each node starts its transmission schedule independently, there exist relative time offsets among the schedule sequences they use. Previous sequence schemes for broadcast are only conducted in the single channel context. Our objective is to design schedule sequences such that in a multi-channel system, each node can transmit at least one packet to each of its neighbors successfully within a common period, no matter what the time offsets are. The sequence period should be designed as short as possible. In this paper, we analyze the lower bound on sequence period, and propose a sequence construction method by which the period can achieve the same order as the lower bound. We also consider the random scheme in which each node transmits or receives on a channel at each time slot with a pre-determined probability. The frame length and broadcast completion time under different schemes are compared by numerical studies.

Phasic Off responses of auditory cortex underlie perception of sound duration.

It has been proposed that sound information is separately streamed into onset and offset pathways for parallel processing. However, how offset responses contribute to auditory perception remains unclear. Here, loose-patch and whole-cell recordings in awake mouse primary auditory cortex (A1) reveal that a subset of pyramidal neurons exhibit a transient "Off" response, with its onset tightly time-locked to the sound termination and its frequency tuning similar to that of the transient "On" response. Both responses are characterized by excitation briefly followed by inhibition, with the latter mediated by parvalbumin (PV) inhibitory neurons. Optogenetically manipulating sound-evoked A1 responses at different temporal phases or artificially creating phantom sounds in A1 further reveals that the A1 phasic On and Off responses are critical for perceptual discrimination of sound duration. Our results suggest that perception of sound duration is dependent on precisely encoding its onset and offset timings by phasic On and Off responses.

Stream runtime verification of real-time event streams with the Striver language

In this paper, we study the problem of runtime verification of real-time event streams; in particular, we propose a language to describe monitors for real-time event streams that can manipulate data from rich domains. We propose a solution based on stream runtime verification (SRV), where monitors are specified by describing how output streams of data are computed from input streams of data. SRV enables a clean separation between the temporal dependencies among incoming events and the concrete operations that are performed during the monitoring. Most SRV specification languages assume that all streams share a global synchronous clock and divide time in discrete instants. At each instant every input has a reading, and for every instant the monitor computes an output. In this paper, we generalize the time assumption to cover real-time event streams, but keep the explicit time offsets present in some synchronous SRV languages like Lola. The language we introduce, called Striver, shares with SRV the simplicity and economy of operators, and the separation between the reasoning about time and the computation of data values. The version of Striver in this paper allows expressing future and past dependencies. Striver is a general language that allows expressing for certain time domains other real-time monitoring languages, like TeSSLa, and temporal logics, like STL. We show in this paper translations from other formalisms for (piecewise-constant) real-time signals and timed event streams. Finally, we report an empirical evaluation of an implementation of Striver.