Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.
Ontology highlight
ABSTRACT:
SUBMITTER: Daszczuk WB
PROVIDER: S-EPMC8271994 | biostudies-literature |
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:The mapping of number onto space is fundamental to measurement and mathematics. However, the mapping of young children, unschooled adults, and adults under attentional load shows strong compressive nonlinearities, thought to reflect intrinsic logarithmic encoding mechanisms, which are later "linearized" by education. Here we advance and test an alternative explanation: that the nonlinearity results from adaptive mechanisms incorporating the statistics of recent stimuli. This theory predicts that the response to the current trial should depend on the magnitude of the previous trial, whereas a static logarithmic nonlinearity predicts trialwise independence. We found a strong and highly significant relationship between numberline mapping of the current trial and the magnitude of the previous trial, in both adults and school children, with the current response influenced by up to 15% of the previous trial value. The dependency is sufficient to account for the shape of the numberline, without requiring logarithmic transform. We show that this dynamic strategy results in a reduction of reproduction error, and hence improvement in accuracy.
| S-EPMC4040572 | biostudies-other
Project description:How do we rapidly process incoming streams of information in working memory, a cognitive mechanism central to human behavior? Dominant views of working memory focus on the prefrontal cortex (PFC), but human hippocampal recordings provide a neurophysiological signature distinct from the PFC. Are these regions independent, or do they interact in the service of working memory? We addressed this core issue in behavior by recording directly from frontotemporal sites in humans performing a visuospatial working memory task that operationalizes the types of identity and spatiotemporal information we encounter every day. Theta band oscillations drove bidirectional interactions between the PFC and medial temporal lobe (MTL; including the hippocampus). MTL theta oscillations directed the PFC preferentially during the processing of spatiotemporal information, while PFC theta oscillations directed the MTL for all types of information being processed in working memory. These findings reveal an MTL theta mechanism for processing space and time and a domain-general PFC theta mechanism, providing evidence that rapid, dynamic MTL-PFC interactions underlie working memory for everyday experiences.
| S-EPMC5895055 | biostudies-literature
Project description:The rapid development of new biotechnologies allows us to deeply understand biomedical dynamic systems in more detail and at a cellular level. Many of the subject-specific biomedical systems can be described by a set of differential or difference equations that are similar to engineering dynamic systems. In this article, motivated by HIV dynamic studies, we propose a class of mixed-effects state-space models based on the longitudinal feature of dynamic systems. State-space models with mixed-effects components are very flexible in modeling the serial correlation of within-subject observations and between-subject variations. The Bayesian approach and the maximum likelihood method for standard mixed-effects models and state-space models are modified and investigated for estimating unknown parameters in the proposed models. In the Bayesian approach, full conditional distributions are derived and the Gibbs sampler is constructed to explore the posterior distributions. For the maximum likelihood method, we develop a Monte Carlo EM algorithm with a Gibbs sampler step to approximate the conditional expectations in the E-step. Simulation studies are conducted to compare the two proposed methods. We apply the mixed-effects state-space model to a data set from an AIDS clinical trial to illustrate the proposed methodologies. The proposed models and methods may also have potential applications in other biomedical system analyses such as tumor dynamics in cancer research and genetic regulatory network modeling.
| S-EPMC3507995 | biostudies-literature
Project description:Dynamic nuclear polarization (DNP) has shown great promise as a tool to enhance the nuclear magnetic resonance signals of proteins in the cellular environment. As sensitivity increases, the ability to select and efficiently polarize a specific macromolecule over the cellular background has become desirable. Herein, we address this need and present a tetrazine-based DNP agent that can be targeted selectively to proteins containing the unnatural amino acid (UAA) norbornene-lysine. This UAA can be introduced efficiently into the cellular milieu by genetic means. Our approach is bio-orthogonal and easily adaptable to any protein of interest. We illustrate the scope of our methodology and investigate the DNP transfer mechanisms in several biological systems. Our results shed light on the complex polarization-transfer pathways in targeted DNP and ultimately pave the way to selective DNP-enhanced NMR spectroscopy in both bacterial and mammalian cells.
| S-EPMC7445144 | biostudies-literature
Project description:BackgroundIn the process of constructing a dynamic model of a metabolic pathway, a large number of parameters such as kinetic constants and initial metabolite concentrations are required. However, in many cases, experimental determination of these parameters is time-consuming. Therefore, for large-scale modelling, it is essential to develop a method that requires few experimental parameters. The hybrid dynamic/static (HDS) method is a combination of the conventional kinetic representation and metabolic flux analysis (MFA). Since no kinetic information is required in the static module, which consists of MFA, the HDS method may dramatically reduce the number of required parameters. However, no adequate method for developing a hybrid model from experimental data has been proposed.ResultsIn this study, we develop a method for constructing hybrid models based on metabolome data. The method discriminates enzymes into static modules and dynamic modules using metabolite concentration time series data. Enzyme reaction rate time series were estimated from the metabolite concentration time series data and used to distinguish enzymes optimally for the dynamic and static modules. The method was applied to build hybrid models of two microbial central-carbon metabolism systems using simulation results from their dynamic models.ConclusionA protocol to build a hybrid model using metabolome data and a minimal number of kinetic parameters has been developed. The proposed method was successfully applied to the strictly regulated central-carbon metabolism system, demonstrating the practical use of the HDS method, which is designed for computer modelling of metabolic systems.
| S-EPMC1892778 | biostudies-literature
Project description:An operon is a set of adjacent genes which are transcribed into a single messenger RNA. Operons allow prokaryotes to efficiently circumvent environmental stresses. It is estimated that about 60% of the Mycobacterium tuberculosis genome is arranged into operons, which makes them interesting drug targets in the face of emerging drug resistance. We therefore developed COSMO - a tool for operon prediction in M. tuberculosis using RNA-seq data. We analyzed four algorithmic parameters and benchmarked COSMO against two top performing operon predictors. COSMO outperformed both predictors in its accuracy and in its ability to distinguish operons activated under distinct conditions.
2022-05-14 | GSE203032 | GEO
Project description:Custom high-resolution high-speed anterior segment spectral domain Optical Coherence Tomography (OCT) provided with automatic quantification and distortion correction algorithms was used to characterize three-dimensionally (3-D) the human crystalline lens in vivo in four subjects, for accommodative demands between 0 to 6 D in 1 D steps. Anterior and posterior lens radii of curvature decreased with accommodative demand at rates of 0.73 and 0.20 mm/D, resulting in an increase of the estimated optical power of the eye of 0.62 D per diopter of accommodative demand. Dynamic fluctuations in crystalline lens radii of curvature, anterior chamber depth and lens thickness were also estimated from dynamic 2-D OCT images (14 Hz), acquired during 5-s of steady fixation, for different accommodative demands. Estimates of the eye power from dynamical geometrical measurements revealed an increase of the fluctuations of the accommodative response from 0.07 D to 0.47 D between 0 and 6 D (0.044 D per D of accommodative demand). A sensitivity analysis showed that the fluctuations of accommodation were driven by dynamic changes in the lens surfaces, particularly in the posterior lens surface.
| S-EPMC3771830 | biostudies-other
Project description:Frequency selective surfaces (FSSs) have been used to control and shape electromagnetic waves. Previous design approaches use complex geometries that are challenging to implement. With the purpose to transform electromagnetic waves, we morph the shapes of FSS designs based on origami patterns to attain new degrees of freedom and achieve enhanced electromagnetic performance. Specifically, using origami patterns with strongly coupled electromagnetic resonators, we transform a single-band FSS to a dual-band FSS. We explain this transformation by showing that both symmetric and anti-symmetric modes are excited due to the strong coupling and suitable orientation of the elements. Also, our origami FSS can fold/unfold thereby tuning (i.e., reconfiguring) its dual-band performance. Therefore, the proposed FSS is a dynamic reconfigurable electromagnetic structure whereas traditional FSSs are static and cannot change their performance.
| S-EPMC7431414 | biostudies-literature
Project description:IntroductionGlobally, 300 million adults have clinical obesity. Heightened adiposity and inadequate musculature secondary to obesity alter bipedal stance and gait, diminish musculoskeletal tissue quality, and compromise neuromuscular feedback; these physiological changes alter stability and increase injury risk from falls. Studies in the field focus on obese patients across a broad range of body mass indices (BMI >30 kg/m2) but without isolating the most morbidly obese subset (BMI ≥40 kg/m2). We investigated the impact of obesity in perturbing postural stability in morbidly obese subjects elected for bariatric intervention, harboring a higher-spectrum BMI.Subjects and methodsTraditional force plate measurements and stabilograms are gold standards employed when measuring center of pressure (COP) and postural sway. To quantify the extent of postural instability in subjects with obesity before bariatric surgery, we assessed 17 obese subjects with an average BMI of 40 kg/m2 in contrast to 13 nonobese subjects with an average BMI of 30 kg/m2. COP and postural sway were measured from static and dynamic tasks. Involuntary movements were measured when patients performed static stances, with eyes either opened or closed. Two additional voluntary movements were measured when subjects performed dynamic, upper torso tasks with eyes opened.ResultsMean body weight was 85% (p < 0.001) greater in obese than nonobese subjects. Following static balance assessments, we observed greater sway displacement in the anteroposterior (AP) direction in obese subjects with eyes open (87%, p < 0.002) and eyes closed (76%, p = 0.04) versus nonobese subjects. Obese subjects also exhibited a higher COP velocity in static tests when subjects' eyes were open (47%, p = 0.04). Dynamic tests demonstrated no differences between groups in sway displacement in either direction; however, COP velocity in the mediolateral (ML) direction was reduced (31%, p < 0.02) in obese subjects while voluntarily swaying in the AP direction, but increased in the same cohort when swaying in the ML direction (40%, p < 0.04).Discussion and conclusionImportantly, these data highlight obesity's contribution towards increased postural instability. Obese subjects exhibited greater COP displacement at higher AP velocities versus nonobese subjects, suggesting that clinically obese individuals show greater instability than nonobese subjects. Identifying factors contributory to instability could encourage patient-specific physical therapies and presurgical measures to mitigate instability and monitor postsurgical balance improvements.
| S-EPMC7670358 | biostudies-literature
Project description:Power-aware scheduling reduces CPU energy consumption in hard real-time systems through dynamic voltage scaling (DVS). In this paper, we deal with pinwheel task model which is known as static and predictable task model and could be applied to various embedded or ubiquitous systems. In pinwheel task model, each task's priority is static and its execution sequence could be predetermined. There have been many static approaches to power-aware scheduling in pinwheel task model. But, in this paper, we will show that the dynamic priority scheduling results in power-aware scheduling could be applied to pinwheel task model. This method is more effective than adopting the previous static priority scheduling methods in saving energy consumption and, for the system being still static, it is more tractable and applicable to small sized embedded or ubiquitous computing. Also, we introduce a novel power-aware scheduling algorithm which exploits all slacks under preemptive earliest-deadline first scheduling which is optimal in uniprocessor system. The dynamic priority method presented in this paper could be applied directly to static systems of pinwheel task model. The simulation results show that the proposed algorithm with the algorithmic complexity of O(n) reduces the energy consumption by 10-80% over the existing algorithms.
| S-EPMC4121161 | biostudies-other