Добірка наукової літератури з теми "GO-STOP Models"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "GO-STOP Models".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "GO-STOP Models"

1

Pujol, Oriol, Debora Gil, and Petia Radeva. "Fundamentals of Stop and Go active models." Image and Vision Computing 23, no. 8 (August 2005): 681–91. http://dx.doi.org/10.1016/j.imavis.2005.03.007.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Schall, Jeffrey D., Thomas J. Palmeri, and Gordon D. Logan. "Models of inhibitory control." Philosophical Transactions of the Royal Society B: Biological Sciences 372, no. 1718 (February 27, 2017): 20160193. http://dx.doi.org/10.1098/rstb.2016.0193.

Повний текст джерела
Анотація:
We survey models of response inhibition having different degrees of mathematical, computational and neurobiological specificity and generality. The independent race model accounts for performance of the stop-signal or countermanding task in terms of a race between GO and STOP processes with stochastic finishing times. This model affords insights into neurophysiological mechanisms that are reviewed by other authors in this volume. The formal link between the abstract GO and STOP processes and instantiating neural processes is articulated through interactive race models consisting of stochastic accumulator GO and STOP units. This class of model provides quantitative accounts of countermanding performance and replicates the dynamics of neural activity producing that performance. The interactive race can be instantiated in a network of biophysically plausible spiking excitatory and inhibitory units. Other models seek to account for interactions between units in frontal cortex, basal ganglia and superior colliculus. The strengths, weaknesses and relationships of the different models will be considered. We will conclude with a brief survey of alternative modelling approaches and a summary of problems to be addressed including accounting for differences across effectors, species, individuals, task conditions and clinical deficits. This article is part of the themed issue ‘Movement suppression: brain mechanisms for stopping and stillness’.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Pamanikabud, Pichai, and Chaisri Tharasawatpipat. "Stop-and-Go Urban Traffic Noise Simulation and Prediction." Noise & Vibration Worldwide 33, no. 4 (April 2002): 17–24. http://dx.doi.org/10.1260/095745602320753156.

Повний текст джерела
Анотація:
This paper presents techniques for simulating of urban traffic noise along with a mathematical model of stop-and-go traffic noise for the road network in the city center. The road network in the central part of Bangkok surrounded by the cordon line of Rajchadapisek Ring Road was used as the study area. The analysed data consisted of traffic characteristics and its noise levels which were collected from the study area together with the geometrical dimensions of road sections at each data collection locations. Finally, the stop-and-go traffic noise models generated by this study in the form of acceleration and deceleration lane models, and their statistical goodness of fit tests are presented.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Farah, Ashraf, Ashraf Talaat, and Farrag Farrag. "Accuracy Assessment of Digital Elevation Models Using GPS." Artificial Satellites 43, no. 4 (January 1, 2008): 151–61. http://dx.doi.org/10.2478/v10018-009-0014-7.

Повний текст джерела
Анотація:
Accuracy Assessment of Digital Elevation Models Using GPSA Digital Elevation Model (DEM) is a digital representation of ground surface topography or terrain with different accuracies for different application fields. DEM have been applied to a wide range of civil engineering and military planning tasks. DEM is obtained using a number of techniques such as photogrammetry, digitizing, laser scanning, radar interferometry, classical survey and GPS techniques. This paper presents an assessment study of DEM using GPS (Stop&Go) and kinematic techniques comparing with classical survey. The results show that a DEM generated from (Stop&Go) GPS technique has the highest accuracy with a RMS error of 9.70 cm. The RMS error of DEM derived by kinematic GPS is 12.00 cm.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Penadés, R., R. Catalán, K. Rubia, S. Andrés, M. Salamero, and C. Gastó. "Impaired response inhibition in obsessive compulsive disorder." European Psychiatry 22, no. 6 (November 28, 2006): 404–10. http://dx.doi.org/10.1016/j.eurpsy.2006.05.001.

Повний текст джерела
Анотація:
AbstractObjectiveThe present study investigates different three inhibitory control functions in patients with obsessive-compulsive disorder (OCD). Selective motor response inhibition was tested in a GO/NO-GO paradigm, the inhibition of a triggered motor response in a STOP paradigm and the ability to inhibit cognitive interference in a motor STROOP paradigm.Methods27 patients who met DSM-IV criteria for OCD and 25 age, handedness and IQ-matched healthy control subjects were tested in the GO/NO-GO, STOP and motor STROOP tasks.ResultsOCD patients performed significantly worse than controls in the selective inhibition of their motor responses (GO/NO-GO) and in the inhibition of cognitive interference (STROOP), and also showed worse performance in suppressing previously triggered motor responses (STOP).ConclusionPatients with OCD are impaired in motor and cognitive inhibitory mechanisms. The findings are consistent with psychobiological and neuropsychological models of OCD suggesting impairment of frontostriatal circuitries that mediate functions of inhibitory control.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Soltanifar, Mohsen, Michael Escobar, Annie Dupuis, Andre Chevrier, and Russell Schachar. "The Asymmetric Laplace Gaussian (ALG) Distribution as the Descriptive Model for the Internal Proactive Inhibition in the Standard Stop Signal Task." Brain Sciences 12, no. 6 (June 1, 2022): 730. http://dx.doi.org/10.3390/brainsci12060730.

Повний текст джерела
Анотація:
Measurements of response inhibition components of reactive inhibition and proactive inhibition within the stop-signal paradigm have been of particular interest to researchers since the 1980s. While frequentist nonparametric and Bayesian parametric methods have been proposed to precisely estimate the entire distribution of reactive inhibition, quantified by stop signal reaction times (SSRT), there is no method yet in the stop signal task literature to precisely estimate the entire distribution of proactive inhibition. We identify the proactive inhibition as the difference of go reaction times for go trials following stop trials versus those following go trials and introduce an Asymmetric Laplace Gaussian (ALG) model to describe its distribution. The proposed method is based on two assumptions of independent trial type (go/stop) reaction times and Ex-Gaussian (ExG) models. Results indicated that the four parametric ALG model uniquely describes the proactive inhibition distribution and its key shape features, and its hazard function is monotonically increasing, as are its three parametric ExG components. In conclusion, the four parametric ALG model can be used for both response inhibition components and its parameters and descriptive and shape statistics can be used to classify both components in a spectrum of clinical conditions.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Wilson, R. Eddie. "Mechanisms for spatio-temporal pattern formation in highway traffic models." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 366, no. 1872 (March 6, 2008): 2017–32. http://dx.doi.org/10.1098/rsta.2008.0018.

Повний текст джерела
Анотація:
A key qualitative requirement for highway traffic models is the ability to replicate a type of traffic jam popularly referred to as a phantom jam , shock wave or stop-and-go wave . Despite over 50 years of modelling, the precise mechanisms for the generation and propagation of stop-and-go waves and the associated spatio-temporal patterns are in dispute. However, the increasing availability of empirical datasets, such as those collected from motorway incident detection and automatic signalling system (MIDAS) inductance loops in the UK or the next-generation simulation trajectory data (NGSIM) project in the USA, means that we can expect to resolve these questions definitively in the next few years. This paper will survey the essence of the competing explanations of highway traffic pattern formation and introduce and analyse a new mechanism, based on dynamical systems theory and bistability, which can help resolve the conflict.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Tordeux, Antoine, Andreas Schadschneider, and Sylvain Lassarre. "Stop-and-go waves induced by correlated noise in pedestrian models without inertia." Journal of Traffic and Transportation Engineering (English Edition) 7, no. 1 (February 2020): 52–60. http://dx.doi.org/10.1016/j.jtte.2019.01.006.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Dong, Sheng, and Jibiao Zhou. "A Comparative Study on Drivers’ Stop/Go Behavior at Signalized Intersections Based on Decision Tree Classification Model." Journal of Advanced Transportation 2020 (May 29, 2020): 1–13. http://dx.doi.org/10.1155/2020/1250827.

Повний текст джерела
Анотація:
The stop/go decisions at signalized intersections are closely related to driving speed during signal change intervals. The speed during stop/go decision-making has a significant influence on the dilemma area, resulting in changes of stop/go decisions and high complexity of the decision-making process. Considering that traffic delays and vehicle exhaust pollution are mainly caused by queuing at intersections, the stop-line passing speed during the signal change interval will affect both vehicle operation safety and the atmospheric environment. This paper presents a comparative study on drivers’ stop/go behaviors when facing a transition signal period consisting of 3 s green flashing light (FG) and 3 s yellow light (Y) at rural high-speed intersections and urban intersections. For this study, 1,459 high-quality vehicle trajectories of five intersections in Shanghai during the transition signal period were collected. Of these five intersections, three are high-speed intersections with a speed limit of 80 km/h, and the other two are urban intersections with a speed limit of 50 km/h. Trajectory data of these vehicle samples were statistically analyzed to investigate the general characteristics of potential influencing factors, including the instantaneous speed and the distance to the intersection at the start of FG, the vehicle type, and so on. Decision Tree Classification (DTC) models are developed to reveal the relationship between the drivers’ stop/go decisions and these possible influencing factors. The results indicate that the instantaneous speed of FG onset, the distance to the intersection at the start of FG, and the vehicle type are the most important predictors for both types of intersections. Besides, a DTC model can offer a simple way of modeling drivers’ stopping decision behavior and produce good results for urban intersections.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Czapla, Marta, Sabine Vollstädt-Klein, Mira Fauth-Bühler, Eva Best, Maria Fix, Karl Mann, Sabine C. Herpertz, and Sabine Loeber. "Response inhibition deficits: Reliability of alcohol-related assessment tasks." SUCHT 62, no. 4 (August 2016): 203–15. http://dx.doi.org/10.1024/0939-5911/a000431.

Повний текст джерела
Анотація:
Abstract. Background: While models of addictive behaviour stress the role of an impairment of response inhibition when drug-dependent individuals are confronted with drug-associated stimuli, results from different studies are conflicting. However, there is a considerable lack of studies that assess the reliability of tasks to assess deficits of response inhibition when drug-associated stimuli are presented. Methods: In the present paper we present results from four different studies in which either a stop-signal task (study 1), a go/no-go task (study 2/3) or a go/no-go shifting task (study 4) with alcohol-related stimuli was administered to alcohol-dependent patients or control participants and split-half and/or test-retest reliability of the different outcome measures calculated. Results: Our results suggest that the go/no-go task and the go/no-go shifting task are more reliable tasks to assess impairment of inhibition in response to alcohol-associated stimuli than to the stop-signal task. Especially the go/no-go shifting task achieves at least acceptable split-half as well as test-retest reliability indices for outcome measure related to the presentation of alcohol-associated stimuli. Nevertheless, for alcohol-dependent patients reliability indices are generally considerably lower than for control participants and thus care should be taken when these tasks are administered to alcohol-dependent patients. Conclusion: Future studies are warranted to enhance our understanding of true effects and random error
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "GO-STOP Models"

1

Li, Yinyun. "Computational Modeling of Slow Axonal Transport of Neurofilaments." Ohio University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1373290973.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Venkhatesh, V. Prasanna. "Computational Mechanisms Underlying the Voluntary Control of Reach Movement Planning and Execution." Thesis, 2017. http://etd.iisc.ac.in/handle/2005/4235.

Повний текст джерела
Анотація:
In everyday life we make a variety of reaching movements. Most of these reaching movements have a clear objective of bringing the hand to the spatial location of the object of interest. Although we typically do not explicitly or at least are not aware of formulating a movement plan during reaching, a number of psychophysical studies on simple reaching movements highlight the notion that movement attributes and plans are likely to be represented/programmed in the central nervous system well before execution. In my thesis I have investigated the computational mechanisms underlying change of such movement plans. I used a REDIRECT task in which targets occasionally changed their locations, to study the control of reaching movements. This task also gives a unique opportunity to address control before movement execution and while the movement is made. I used nine different race model architectures that can explain the redirect behavior of reaching movements. I showed that only the independent GO-STOP-GO model successfully explains the various behavioral measures. Second, using a particular outcome of the task called the hypometric response, EMG measurements and computational modelling I showed that redirecting a movement before initiation and during motor execution shared the same mechanisms. Based on the race model framework developed in the previous chapter I next addressed whether and how kinematic plans maybe changed online. Reports from various studies suggest the kinematic representation constitutes an important aspect of motor planning. Unlike eye movements for which the kinematics are relatively fixed, hand movements exhibit a large scope for modification of the kinematics. I designed a novel velocity redirect task to understand the computational mechanisms behind the subject’s ability to change the speed of their movement. In two separate tasks the subjects either had to increase or decrease the speed of the movement according to the change in the target color. The applicability of different race model architectures to the velocity redirect task was assessed, similar to the position redirect task. I found that the GO-STOP-GO independent explained all aspects of behavior in the fast to slow velocity condition. The modeling results indicated a peculiar asymmetry in that while the FS model required inhibition, none of the GO-GO or GO-STOP models were able to explain the slow to fast velocity data. Interestingly, a vector averaging model was used to demonstrate the gradual merge of two kinematic plans in the SF task. Further, I undertook a novel approach to investigate the nature of kinematic planning borrowing from a well known paradigm in cognitive control called task switching. Using the logic of the task switch paradigm I showed the existence of a switch cost when subjects switched between slow and fast velocity movements indicating the existence of a kinematic plan well before the target onset, suggesting that such a plan may be part of a motor set. In summary, my work shows how a race model framework can provide a mechanistic understanding of motor control of different aspects of reach movement planning.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

IACOMINI, ELISA. "Mathematical models and methods for traffic flow and stop & go waves." Doctoral thesis, 2020. http://hdl.handle.net/11573/1387448.

Повний текст джерела
Анотація:
In this thesis we are concerned with mathematical methods and models for traffic flow, with special emphasis to second-order effects like Stop & Go waves. To begin with, we investigate the sensitivity of the celebrated Lighthill-Whitham-Richards model on network to its parameters and to the network itself. The quantification of sensitivity is obtained by measuring the Wasserstein distance between two LWR solutions corresponding to different inputs. To this end, we propose a numerical method to approximate the Wasserstein distance between two density distributions defined on a network. After that, we present a new multi-scale method for reproducing traffic flow, which couples a first order macroscopic model with a second-order microscopic model, avoiding any interface or boundary conditions between them. The new multi-scale model is characterized by the fact that microscopic and macroscopic descriptions are not spatially or temporally separated. Furthermore, a delayed LWR model on networks is proposed in order to allow simple first-order models to describe complex second-order effects caused by bounded accelerations. A time delay term is introduced in the flux term and its impact is studied from the numerical point of view. Lastly, we focus on Stop & Go waves, a typical phenomenon of congested traffic flow. Real data are used to point out the main features of this phenomenon, then we investigate the possibility to reproduce it using new traffic models specifically conceived for this purpose
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Richardson, Ashlin D. "Refined macroscopic traffic modelling via systems of conservation laws." Thesis, 2012. http://hdl.handle.net/1828/4304.

Повний текст джерела
Анотація:
We elaborate upon the Herty-Illner macroscopic traffic models which include special non-local forces. The first chapter presents these in relation to the traffic models of Aw-Rascle and Zhang, arguing that non-local forces are necessary for a realistic description of traffic. The second chapter considers travelling wave solutions for the Herty-Illner macroscopic models. The travelling wave ansatz for the braking scenario reveals a curiously implicit nonlinear functional differential equation, the jam equation, whose unknown is, at least to conventional tools, inextricably self-argumentative! Observing that analytic solution methods fail for the jam equation yet succeed for equations with similar coefficients raises a challenging problem of pure and applied mathematical interest. An unjam equation analogous to the jam equation explored by Illner and McGregor is derived. The third chapter outlines refinements for the Herty-Illner models. Numerics allow exploration of the refined model dynamics in a variety of realistic traffic situations, leading to a discussion of the broadened applicability conferred by the refinements: ultimately the prediction of stop-and-go waves. The conclusion asserts that all of the above contribute knowledge pertinent to traffic control for reduced congestion and ameliorated vehicular flow.
Graduate
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Lan, Chi-Jui, and 藍啟瑞. "Stop-Go Shockwave Model for Pervasive Urban Traffic Sensing." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/10537947581034027188.

Повний текст джерела
Анотація:
碩士
國立交通大學
網路工程研究所
101
The traffic flow information is very important information for traffic management. Pervasive traffic flow information is helpful for urban traffic manager to understand whole the traffic status and decide a proper traffic assignment to improve traffic quality. Besides, this real-time traffic information is also useful in real-time navigation for drivers. In convention, the traffic flow is detected by loop detectors and vehicle detectors, however, these methods require highly cost on deployment and cannot be pervasively deployed over the road networks and provide traffic flow information. In this work, we propose a stop-go shockwave model which is based on the vehicle movement in front of traffic lights to estimate the traffic flow information and even the traffic light information. The proposed concepts are verified via extensive simulations and field trails, especially on the penetration rate issue. Our results show that shockwave models are useful to extract traffic information with low penetration rate. In the future, the stop-go events can be collected via crowdsourcing to achieve pervasively traffic flow detection.
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "GO-STOP Models"

1

Bowlby, William. Predicting stop-and-go traffic noise levels. Washington, D.C: Transportation Research Board, National Research Council, 1989.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "GO-STOP Models"

1

Pujol, Oriol, and Petia Radeva. "Alternate Spaces For Model Deformation: Application Of Stop And Go Active Models To Medical Images." In Deformable Models, 289–324. New York, NY: Springer New York, 2007. http://dx.doi.org/10.1007/978-0-387-68343-0_9.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Balzotti, Caterina, and Elisa Iacomini. "Stop-and-Go Waves: A Microscopic and a Macroscopic Description." In Mathematical Descriptions of Traffic Flow: Micro, Macro and Kinetic Models, 63–78. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-66560-9_4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Tordeux, Antoine, Sylvain Lassarre, Michel Roussignol, and Vincent Aguiléra. "Generic First-Order Car-Following Models with Stop-and-Go Waves and Exclusion." In Traffic and Granular Flow '13, 485–93. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10629-8_54.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Cordes, Jakob, Andreas Schadschneider, and Antoine Tordeux. "The Trouble with 2nd Order Models or How to Generate Stop-and-Go Traffic in a 1st Order Model." In Springer Proceedings in Physics, 45–51. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-55973-1_6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Chraibi, Mohcine, Antoine Tordeux, and Andreas Schadschneider. "A Force-Based Model to Reproduce Stop-and-Go Waves in Pedestrian Dynamics." In Traffic and Granular Flow '15, 169–75. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33482-0_22.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Dietrich, Felix, Stefan Disselnkötter, and Gerta Köster. "How to Get a Model in Pedestrian Dynamics to Produce Stop and Go Waves." In Traffic and Granular Flow '15, 161–68. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33482-0_21.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Srimathi T. and Bharathi R. "Cryptocurrencies." In Emerging Insights on the Relationship Between Cryptocurrencies and Decentralized Economic Models, 155–66. IGI Global, 2023. http://dx.doi.org/10.4018/978-1-6684-5691-0.ch010.

Повний текст джерела
Анотація:
In this digital age, the rise of new technologies has caused a significant change in how we go about our daily business. The invention and adoption of cryptocurrencies have been one of the most significant recent developments. Given the surge in smartphone usage, cryptocurrency has had a big impact on a number of industries, including the mobile gaming sector. The use of cryptocurrencies has dramatically increased in recent days, with a wide range of uses including investments and transactions in the online gaming sector. With a billion-dollar market cap, the gaming sector is booming and not expected to stop. Every year, new systems and video games are released, giving players fresh things to look forward to. How players pay for their gaming is one area where the i-gaming industry has failed in making changes. The majority of the time, gamers have been forced to use conventional means like credit card payments or Google wallet. But what if a better option existed? What if cryptocurrency could be used by gamers to purchase their games?
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Chen, Xing, Maimai Prayongrat, and Yasushi Kiyoki. "A Concept for Control and Program Based on the Semantic Space Model." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2020. http://dx.doi.org/10.3233/faia200818.

Повний текст джерела
Анотація:
The most important mechanism of the computer is that various functions are implemented based on programs stored in it. Programs are developed by program languages implementing functions of models. One of the efficient methods to construct a model is to construct it by semantic computation models. Using semantic computation models, we can construct a model in a semantic space. In this paper, we present a mechanism to execute models presented by the semantic spaces. We have presented a mechanism to implement combinational and sequential logic computations based on the semantic space model. The combinational and sequential logic computations are the basic functions in computer systems. However, we still need a control mechanism like that in computers. In this paper, we present a control mechanism based on the semantic space model and some of execution examples. The most important contribution of this paper is that we first present a concept for control and program based on the semantic space model. In order to demonstrate the efficiency of the proposed mechanism, we performed a demonstration experiment. In the experiment, an agent is constructed for unmanned ground vehicle control with the control mechanism. A video camera is used to determine the position of the vehicle and obstacles on the road. The control signals, including “turn left,” “turn right,” “go ahead” and “stop” outputted from the agent are used to demonstrate the efficiency of the mechanism.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

"Chapter 10. Full. Empty. Stop. Go.: Translating Miscellany in Early Modern China." In Early Modern Cultures of Translation, 206–20. University of Pennsylvania Press, 2015. http://dx.doi.org/10.9783/9780812291803-011.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Jarrar, Abdessamad, and Youssef Balouki. "Antilock Braking System Formal Modeling." In Advances in Computer and Electrical Engineering, 412–29. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-0117-7.ch015.

Повний текст джерела
Анотація:
Antilock Braking System (ABS) is one of the most critical systems in the context of vehicles' mechatronics. The main purpose of the ABS system is allowing the wheels to stop while preventing sliding. It is responsible for ensuring a secure stopping of the vehicle, a very critical factor in trip safety. Therefore, the process of its construction should be performed with high care, and this is why theoretical modeling is highly needed. In order to help engineers to develop and study such a critical system, we propose a standard model that includes the essence of Antilock Braking System using a formal method called Event-B. This model may be used to reveal some bugs during proving that may go otherwise undetected. At the same time, the model can be animated to observe the system behavior.
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "GO-STOP Models"

1

Cetin, Mecit, and Khairul A. Anuar. "Using probe vehicle trajectories in stop-and-go waves for inferring unobserved vehicles." In 2017 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS). IEEE, 2017. http://dx.doi.org/10.1109/mtits.2017.8005690.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Koo, Shiang-Lung, Han-Shue Tan, Fanping Bu, and Masayoshi Tomizuka. "Vehicle Longitudinal Ride Comfort Control in Stop-and-Go Traffic." In ASME 2006 International Mechanical Engineering Congress and Exposition. ASMEDC, 2006. http://dx.doi.org/10.1115/imece2006-15324.

Повний текст джерела
Анотація:
Ride comfort at low vehicle speed is often overlooked but is very important to vehicle control applications (e.g. the latest stop-and-go function in Adaptive Cruise Control). Most control strategies that address passenger comfort simply utilize the bounds of jerk and acceleration of the vehicles. In general, they have several major limitations when applied to low-speed applications: (I) frequency-domain comfort requirements are not integrated and (II) the vehicle models are simplified too far to capture the tire and suspension dynamics that may impact comfort significantly at low speeds. This paper develops a control scheme for ride quality under stop-and-go situations. The scheme is based on optimal control and it ensures smooth acceleration during vehicle maneuvers. A two-degree-of-freedom control strategy is used to approximate the optimal control law. Experimental results demonstrate the effectiveness of this control scheme.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Jiang, Liming, Yuanchang Xie, Xiao Wen, Danjue Chen, Tienan Li, and Nicholas G. Evans. "Dampen the Stop-and-Go Traffic with Connected and Automated Vehicles – A Deep Reinforcement Learning Approach." In 2021 7th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS). IEEE, 2021. http://dx.doi.org/10.1109/mt-its49943.2021.9529289.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Copot, Cosmin, Constantin F. Caruntu, and Robin De Keyset. "Advanced control techniques to mitigate the stop-and-go waves on a highway traffic with different vehicles." In 2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR). IEEE, 2016. http://dx.doi.org/10.1109/mmar.2016.7575265.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ghaffari, A., A. Khodayari, and F. Alimardanii. "Predicting the future state of a vehicle in a stop&go behavior based on ANFIS models design." In 2012 6th IEEE International Conference Intelligent Systems (IS). IEEE, 2012. http://dx.doi.org/10.1109/is.2012.6335244.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Villagra, Jorge, Vicente Milanes, Joshue Perez, and Carlos Gonzalez. "Model-free control techniques for Stop & Go systems." In 2010 13th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2010). IEEE, 2010. http://dx.doi.org/10.1109/itsc.2010.5625228.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Elcoate, C. D., R. J. Dennis, P. J. Bouchard, and M. C. Smith. "3-Dimensional Repair Weld Simulations: Bead Sequencing Studies." In ASME/JSME 2004 Pressure Vessels and Piping Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/pvp2004-2643.

Повний текст джерела
Анотація:
In current 3-dimensional multi-pass repair weld simulations each pass is generally modelled as a single continuous weld bead using either a simultaneous bead deposition or a progressive bead deposition moving heat source approach. In reality the length of typical manual metal arc (MMA) repair welds often necessitates the use of multiple weld beads for any individual pass. To investigate the modelling assumptions associated with this approximation a series of results are presented that simulate the deposition of a multi-bead, single MMA weld pass on a stainless steel flat plate. The simulations make use of a fabricated single bead weld test specimen to define the welding conditions. A number of different heat source models and bead sequencing scenarios have been investigated. These include moving heat source simulations, simultaneous bead laying methods (also called “block-dumped” methods) and combinations of the two. The work provides a useful insight into how certain modelling approximations affect weld residual stress distributions. It is concluded that moving heat source end effects are not sensitive to modelling assumptions made in weld beads remote from the stop end. However, residual stress predictions at the mid-length of a multi-bead weld pass on a flat plate are sensitive to the modelling assumptions. In particular, modelling each bead of a multi-bead weld pass can increase the stresses at mid-length relative to a simulation that deposits the whole pass in one go. One further observation made is that modelling the central bead of a multi-bead weld pass using a block-dumped technique (allowing a symmetry boundary condition to be used perpendicular to the weld bead) can result in inaccurate or misleading results.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Wang, Pangwei, Yue Ma, Hongbin Yu, Li Wang, and Wei Zhang. "An Improved Stop and Go Model Considering Exhaust Emissions for Connected Vehicles." In 2018 IEEE 7th Data Driven Control and Learning Systems Conference (DDCLS). IEEE, 2018. http://dx.doi.org/10.1109/ddcls.2018.8516052.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Choi, Sungwoo, Brigitte d'Andrea-Novel, Michel Fliess, Hugues Mounier, and Jorge Villagra. "Model-free control of automotive engine and brake for Stop-and-Go scenarios." In 2009 European Control Conference (ECC). IEEE, 2009. http://dx.doi.org/10.23919/ecc.2009.7074962.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Zhang, Qianghui, Junjie Wu, Jianyu Yang, Yulin Huang, Haiguang Yang, and Xiaobo Yang. "Non-Stop-and-Go Echo Model for Hypersonic-Vehicle-Borne Bistatic Forward-Looking Sar." In IGARSS 2018 - 2018 IEEE International Geoscience and Remote Sensing Symposium. IEEE, 2018. http://dx.doi.org/10.1109/igarss.2018.8517465.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії