scholarly journals Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols

Author(s):  
Nadim Kobeissi ◽  
Georgio Nicolas ◽  
Karthikeyan Bhargavan
Author(s):  
Chad Spensky ◽  
Aravind Machiry ◽  
Nilo Redini ◽  
Colin Unger ◽  
Graham Foster ◽  
...  
Keyword(s):  

Author(s):  
Loucas S. Louca ◽  
Jeffrey L. Stein ◽  
Gregory M. Hulbert

In recent years, algorithms have been developed to help automate the production of dynamic system models. Part of this effort has been the development of algorithms that use modeling metrics for generating minimum complexity models with realization preserving structure and parameters. Existing algorithms, add or remove ideal compliant elements from a model, and consequently do not equally emphasize the contribution of the other fundamental physical phenomena, i.e., ideal inertial or resistive elements, to the overall system behavior. Furthermore, these algorithms have only been developed for linear or linearized models, leaving the automated production of models of nonlinear systems unresolved. Other model reduction techniques suffer from similar limitations due to linearity or the requirement that the reduced models be realization preserving. This paper presents a new modeling metric, activity, which is based on energy. This metric is used to order the importance of all energy elements in a system model. The ranking of the energy elements provides the relative importance of the model parameters and this information is used as a basis to reduce the size of the model and as a type of parameter sensitivity information for system design. The metric is implemented in an automated modeling algorithm called model order reduction algorithm (MORA) that can automatically generate a hierarchical series of reduced models that are realization preserving based on choosing the energy threshold below which energy elements are not included in the model. Finally, MORA is applied to a nonlinear quarter car model to illustrate that energy elements with low activity can be eliminated from the model resulting in a reduced order model, with physically meaningful parameters, which also accurately predicts the behavior of the full model. The activity metric appears to be a valuable metric for automating the reduction of nonlinear system models—providing in the process models that provide better insight and may be more numerically efficient.


2014 ◽  
Vol 24 (5) ◽  
pp. 869-884 ◽  
Author(s):  
P. J. Balwierz ◽  
M. Pachkov ◽  
P. Arnold ◽  
A. J. Gruber ◽  
M. Zavolan ◽  
...  

1990 ◽  
Vol 4 (3) ◽  
pp. 345-353
Author(s):  
Jerome R. Bretienbach

The capacity of the white Gaussian noise (WGN) channel is widely stated asS/N0nats/unit time. This conclusion is commonly derived either formally, or from the capacity,Wln(l +S/N0W), of the corresponding band-limited channel with bandwidthW, by takingW→8. In this paper, the WGN channel capacity is instead found directly by treating WGN as an arbitrary noise sequence that whitens in a general sense. In addition, the coding theorems proved make explicit the class of allowable receivers, either finite- or infinite-dimensional correlation receivers, or unconstrained. The capacities for these three receiver classes are found to be, respectively:S/N0forS> 0, and 0 forS= 0; and 8 for allS≥ 0. In those cases where the capacity is infinite, actual transmitter–receiver pairs are specified that achieve capacity.


2021 ◽  
Author(s):  
Samuel Bowerman ◽  
Jyothi Mahadevan ◽  
Philip Benson ◽  
Johannes Rudolph ◽  
Karolin Luger

Cells are exposed to a plethora of influences that can cause damage to DNA and alter the genome, often with detrimental consequences for health. Cells mitigate this damage through a variety of repair protein pathways, and accurate measurement of the accumulation, action, and dissipation timescales of these repair proteins is required to fully understand the DNA damage response. Recently, we described the Q-FADD (Quantitation of Fluorescence Accumulation after DNA Damage) method, which enhances the analytical power of the widely used laser microirradiation technique. In that study, Q-FADD and its preprocessing operations required licensed software and a significant amount of user overhead to find the model of best fit. Here, we present "qFADD.py", an open-source implementation of the Q-FADD algorithm that is available as both a stand-alone software package and on a publicly accessible webserver (https://qfadd.colorado.edu/). Furthermore, we describe significant improvements to the fitting and preprocessing methods that include corrections for nuclear drift and an automated grid-search for the model of best fit. To improve statistical rigor, the grid-search algorithm also includes automated simulation of replicates. As an example, we discuss the recruitment dynamics of the signaling protein PARP1 to DNA damage sites, and we show how to compare different populations of qFADD.py models.


2010 ◽  
Vol 114 (37) ◽  
pp. 10090-10096 ◽  
Author(s):  
Naoya Sato ◽  
Hiroshi H. Hasegawa ◽  
Rika Kimura ◽  
Yoshihito Mori ◽  
Noriaki Okazaki

Sign in / Sign up

Export Citation Format

Share Document