9,820 Hits in 8.2 sec

Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method [chapter]

Thomas Mailund
2002 Lecture Notes in Computer Science  
3 AM:3 VM:4 AM:4 States/Equivalence Classes Configuration Equivalence Max Max + 0 50 100 150 200 250 300 VM:3 AM:3 VM:4 AM:4 Seconds Configuration ÎÅ ¾ ¾ ¼¼ ¼¼ ¼½ ¾  ...  +Sweep-Liné µ ÊÙÒØ Ñ ÓÖ ÕÙ Ú Ð Ò Ö Ù¹ Ø ÓÒ Ú׺ Ø ÓÑ Ò ×Û Ô¹Ð Ò Ò ÕÙ Ú Ð Ò Ñ Ø Ó º º Ì Ñ Ò ×Ô Ù× ÓÖ Ø ÔÖÓØÓÓÐ ÑÓ Ðº º º È Ö Ô× ×ÙÖÔÖ × Ò ÐÝ Ø × Ñ ØÓØ Ð ÒÙÑ Ö Ó ×Ø Ø × × ÜÔÐÓÖ Û Ø ÓØ Ó × Ó Ùعӫ ÔÖ Ø ×º  ... 
doi:10.1007/3-540-48068-4_19 fatcat:e5p2yrw5fvgidh42w4g7i4lp54

Application of Coloured Petri Nets in System Development [chapter]

Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
2004 Lecture Notes in Computer Science  
The presented CPN model was used to specify the new lock management protocol, and state space analysis was used to validate and analyse the protocol.  ...  Since then, a number of new state space methods have been developed and implemented in the CPN computer tools.  ...  Above we have seen that it is possible to combine time condensed state spaces with both the symmetry method and the sweep-line method.  ... 
doi:10.1007/978-3-540-27755-2_18 fatcat:6tdiwo2civar7al34pwcgh2hge

Small Signal Interactions Involving a Synchronous Machine and a Grid Forming Converter

Luke Benedetti, Panagiotis N. Papadopoulos, Agusti Egea-Alvarez
2021 2021 IEEE Madrid PowerTech  
Moreover, parametric sweeps are performed, to investigate the impact of network and GFM control parameters in controlling the electromechanical modes.  ...  system to a renewable generation rich and converter-based system.  ...  To achieve this, the system being analysed must be linear, but power systems are known to be highly nonlinear and complex.  ... 
doi:10.1109/powertech46648.2021.9494923 fatcat:n6pfjt2xprbehl3wlvdkjru7sq

A Novel Control Allocation Method for Yaw Control of Tailless Aircraft

Thomas R. Shearwood, Mostafa R. A. Nabawy, William J. Crowther, Clyde Warsop
2020 Aerospace (Basel)  
This paper introduces a novel control allocation method by which full three-axis control authority can be achieved by the use of conventional lift effectors only, which reduces system complexity and control  ...  sweep and taper.  ...  Fruchter's method is aimed at identifying a stable gain strategy for a control system by finding the zero-set (or null space) of a linear system.  ... 
doi:10.3390/aerospace7100150 fatcat:aqr5672vaza4jbgqg4wcnutm5m

Electrochemical Impedance Spectroscopy [chapter]

Utz Retter, Heinz Lohse
2009 Electroanalytical Methods  
Perturbation of the electrochemical system leads to a shift of the steady state.  ...  Non-steady-state measuring techniques are known to be extremely suitable for the investigation of the electrode kinetics of more complex electrochemical systems.  ...  The measuring methods for system response are physically equivalent (same limitations in noise-bandwidth) but different methods can be suited more or less in dependence of the system under investigation  ... 
doi:10.1007/978-3-642-02915-8_8 fatcat:3wshv233irawpaab3ypw3ebkvu

Three-dimensional Turbulent Boundary Layer in a Shrouded Rotating System

Sébastien Poncet, Anthony Randriamampianina
2007 Flow Turbulence and Combustion  
A three-dimensional direct numerical simulation is combined with a laboratory study to describe the turbulent flow in an enclosed annular rotor-stator cavity characterized by a large aspect ratio G = (  ...  The rotation rate considered is equivalent to the rotational Reynolds number Re = b 2 /ν = 9.5 × 10 4 (ν the kinematic viscosity of water).  ...  infinite disk system.  ... 
doi:10.1007/s10494-007-9083-5 fatcat:ww5kj6n2vrcy5amuws3y5c3vvy

Variation After a Selective Sweep in a Subdivided Population

E. Santiago
2004 Genetics  
This effect depends on the level of genetic differentiation of the subpopulations, the selective advantage of the mutation, the recombination frequency, and the population size, as stated by analytical  ...  At these loci, hitchhiking works like a system that takes variation from the between-subpopulation component and introduces it into the subpopulations.  ...  f (1 Ϫ p f ), the expected identity descent and identity by state are equivalent.  ... 
doi:10.1534/genetics.104.032813 pmid:15489530 pmcid:PMC1448899 fatcat:fhozpcz6cjfp5hsjeeefkhp6uq

Ambiguity Rate of Hidden Markov Processes [article]

Alexandra M. Jurgens, James P. Crutchfield
2021 arXiv   pre-print
To constructively work with these infinite sets we map the ϵ-machine to a place-dependent iterated function system (IFS) – a stochastic dynamical system.  ...  The ϵ-machine is a stochastic process' optimal model – maximally predictive and minimal in size.  ...  This material is based upon work supported by, or in part by, FQXi Grant number FQXi-RFP-IPW-1902, and U.S. Army Research Laboratory and the U.S.  ... 
arXiv:2105.07294v1 fatcat:k6wm3frekfcbtmuy23t5sjvgki

One-dimensional edge state transport in a topological Kondo insulator

Yasuyuki Nakajima, Paul Syers, Xiangfeng Wang, Renxiong Wang, Johnpierre Paglione
2015 Nature Physics  
According to theoretical predictions, a topological insulating state can emerge from not only a weakly interacting system with strong spin-orbit coupling, but also in insulators driven by strong electron  ...  Here we exploit the existence of surface ferromagnetism in SmB6 to investigate the topological nature of metallic surface states by studying magnetotransport properties at very low temperatures.  ...  This research was supported by AFOSR (FA9550-14-1-0332) and NSF (DMR-0952716).  ... 
doi:10.1038/nphys3555 fatcat:xw6zhr2bcfagvl2up7mwbs3cei

Nonlinear Aeroelastic Analysis for a Control Fin with an Actuator

Won-Ho Shin, In Lee, Young-Sug Shin, Jae-Sung Bae
2007 Journal of Aircraft  
The general describing function method [17] can give the stiffness of an equivalent linear system.  ...  The dynamic stiffness of the actuator has been obtained by a sine sweep test, and the average value has been used for the aeroelastic analyses.  ... 
doi:10.2514/1.24721 fatcat:a5i22ww7tzg6tcci4lbz65rjfi

Generating macroscopic chaos in a network of globally coupled phase oscillators

Paul So, Ernest Barreto
2011 Chaos  
We identify period-doubling cascades to chaos, attractor crises, and horseshoe dynamics for the macroscopic mean field.  ...  We consider an infinite network of globally-coupled phase oscillators in which the natural frequencies of the oscillators are drawn from a symmetric bimodal distribution.  ...  In the time-varying system,K(t) ¼ K 0 þ A sin (2pt=s), and the parameters sweep along the short diagonal green lines.  ... 
doi:10.1063/1.3638441 pmid:21974662 pmcid:PMC3203124 fatcat:n4spjztbxze6rawahejo7rwwia

Triglobal infinite-wing shock-buffet study

Wei He, Sebastian Timme
2021 Journal of Fluid Mechanics  
Infinite wings are modelled by extruding an aerofoil to finite aspect ratios and imposing a periodic boundary condition without assumptions on spanwise homogeneity.  ...  Two distinct steady base flows, spanwise uniform and non-uniform, are analysed herein on straight and swept wings.  ...  We also thank the University of Liverpool and the ARCHER UK National Supercomputing Service ( for computing time and the German Aerospace Center (DLR) for access to the TAU flow solver  ... 
doi:10.1017/jfm.2021.678 fatcat:pxud7vgvijcj5f7p66ijms26je

Negative-Temperature Onsager Vortex Clusters in a Quantum Fluid [article]

Guillaume Gauthier, Matthew T. Reeves, Xiaoquan Yu, Ashton S. Bradley, Mark Baker, Thomas A. Bell, Halina Rubinsztein-Dunlop, Matthew J. Davis, and Tyler W. Neely
2018 arXiv   pre-print
Onsager's theory has been highly influential, providing understanding of diverse quasi-2D systems such as turbulent soap films, guiding-centre plasmas, and self-gravitating systems.  ...  He showed that at sufficiently high energies, like-circulation vortices preferentially aggregate into large-scale clusters, and are characterised by a negative absolute temperature.  ...  For the simulated grid stir, annihilations allow the systems to transition from the positive to negative temperature region. Further analyses confirm the presence of a clustered Onsager vortex state.  ... 
arXiv:1801.06951v1 fatcat:cvrfmxtreve5tgxvdoixoq23ce

Investigation of Rotor Performance and Loads of a UH-60A Individual Blade Control System

Hyeonsoo Yeo, Ethan A. Romander, Thomas R. Norman
2011 Journal of the American Helicopter Society  
The correlation of vibratory hub loads is generally poor by both methods, although the coupled analysis somewhat captures general trends.  ...  Wind tunnel measurements of performance, loads, and vibration of a full-scale UH-60A Black Hawk main rotor with an individual blade control (IBC) system are compared with calculations obtained using the  ...  Air Force, in the planning, preparation, and execution of the IBC test.  ... 
doi:10.4050/jahs.56.042006 fatcat:4mwsyvb2cngbrnyc73ycwkhvjm

System-level state equality detection for the formal dynamic verification of legacy distributed applications

Marion Guthmuller, Gabriel Corona, Martin Quinson
2018 Journal of Logical and Algebraic Methods in Programming  
As the storage of the system state may be memory expensive, we compact the memory by sharing unchanged memory pages between snapshots.  ...  We use this mechanism to detect the equality of the application's state at system level.  ...  ACKNOWLEDGMENTS This work was partially funded by the ANR project SONGS (ANR-11-INFRA-13).  ... 
doi:10.1016/j.jlamp.2017.12.004 fatcat:vxbkhnm3prd3rkub45bnkl44cu
« Previous Showing results 1 — 15 out of 9,820 results