Bibliografías temáticas / Parameterised systems

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Parameterised systems"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Parameterised systems".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Parameterised systems"

1

Groote, Jan Friso, and Tim A. C. Willemse. "Parameterised boolean equation systems." Theoretical Computer Science 343, no. 3 (2005): 332–69. http://dx.doi.org/10.1016/j.tcs.2005.06.016.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Orzan, Simona, and Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems." Theoretical Computer Science 411, no. 11-13 (2010): 1338–71. http://dx.doi.org/10.1016/j.tcs.2009.11.001.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Kouvaros, Panagiotis, and Alessio Lomuscio. "Parameterised verification for multi-agent systems." Artificial Intelligence 234 (May 2016): 152–89. http://dx.doi.org/10.1016/j.artint.2016.01.008.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ploeger, B., J. W. Wesselink, and T. A. C. Willemse. "Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems." Information and Computation 209, no. 4 (2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Nagae, Yutaro, and Masahiko Sakai. "Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems." Electronic Proceedings in Theoretical Computer Science 265 (February 16, 2018): 67–81. http://dx.doi.org/10.4204/eptcs.265.6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Yoo, S. J. "Adaptive control of non-linearly parameterised pure-feedback systems." IET Control Theory & Applications 6, no. 3 (2012): 467. http://dx.doi.org/10.1049/iet-cta.2011.0150.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Calder, M., and A. Miller. "An automatic abstraction technique for verifying featured, parameterised systems." Theoretical Computer Science 404, no. 3 (2008): 235–55. http://dx.doi.org/10.1016/j.tcs.2008.03.034.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Tang, D. F., and S. Dobbie. "iGen 0.1: a program for the automated generation of models and parameterisations." Geoscientific Model Development 4, no. 3 (2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.

Texto completo
Resumen
Abstract. Complex physical systems can often be simulated using very high resolution models but this is not always practical because of computational restrictions. In this case the model must be simplified or parameterised in order to make it computationally tractable. A parameterised model is created using an ad-hoc selection of techniques which range from the formal to the purely intuitive, and as a result it is very difficult to objectively quantify the fidelity of the model to the physical system. It is rare that a parameterised model can be formally shown to simulate a physical system to
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Tang, D. F., and S. Dobbie. "iGen: a program for the automated generation of models and parameterisations." Geoscientific Model Development Discussions 4, no. 2 (2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.

Texto completo
Resumen
Abstract. Complex physical systems can often be simulated using very high-resolution models but this is not always practical because of computational restrictions. In this case the model must be simplified or parameterised, but this is a notoriously difficult process that often requires the introduction of "model assumptions" that are hard or impossible to justify. Here we introduce a new approach to parameterising models. The approach makes use of a newly developed computer program, which we call iGen, that analyses the source code of a high-resolution model and formally derives a much faster
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kant, Gijs, and Jaco van de Pol. "Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games." Electronic Proceedings in Theoretical Computer Science 99 (October 23, 2012): 50–65. http://dx.doi.org/10.4204/eptcs.99.7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Parameterised systems"

1

Kouvaros, Panagiotis. "Parameterised verification for multi-agent systems." Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/33793.

Texto completo
Resumen
In the past ten years several methods have been put forward for the efficient model checking of multiagent systems against agent-based specifications. Yet, since the number of states is exponential in the number of agents in the system, the model checking problem remains intractable for systems of many agents. This is particularly problematic when wishing to reason about unbounded systems where the number of components is not known at design time. Systems ranging from robotic swarms to e-commerce applications constitute typical examples in which the number of participants is independent of the
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Houhou, Sara. "Parameterised Verification from Formal Specifications of Information Systems." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS421.

Texto completo
Resumen
La vérification des modèles de processus métiers est cruciale pour permettre d'y détecter d'éventuelles erreurs dès la conception, plutôt qu'à l'exécution sur des moteurs de processus métier. BPMN est la notation principale pour la modélisation de processus métier. Il s'agit d'un standard ISO, largement utilisé à la fois en enseignement et dans l'industrie. La sémantique de BPMN est cependant définie de façon semi-formelle au sein du standard. C'est pourquoi de nombreux travaux se sont attaqués à la définition d'une sémantique formelle pour BPMN. Dans cette thèse, nous avons tout d’abord fourn
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Graham, Douglas. "Parameterised verification of randomised distributed systems using state-based models." Thesis, Connect to e-thesis, 2008. http://theses.gla.ac.uk/95/.

Texto completo
Resumen
Thesis (Ph.D.) - University of Glasgow, 2008.<br>Ph.D. thesis submitted to the Faculty of Information and Mathematical Sciences, University of Glasgow, 2008. Includes bibliographical references. Print version also available.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lehaut, Mathieu. "Synthesis for parameterized systems." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS341.

Texto completo
Resumen
Cette thèse étudie le problème de la synthèse dans le cadre de systèmes distribués dont le nombre de participants n’est pas connu à l’avance et qui interagissent avec un environnement incontrôlable. Il s’agit alors de construire automatiquement un programme pour un tel système qui sera correct par construction vis à vis d’une spécification donné, si cela est possible. On étudie aussi le problème proche qu’est le contrôle, où il s’agit alors de construire un contrôleur pour un système déjà partiellement défini afin que tous les comportements de ce système soient corrects par rapport à la spécif
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Peach, Nigel G. "Bearings only tracking using a set of range parameterised extended Kalman filters." Thesis, University of Bath, 1997. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362303.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Mahata, Pritha. "Model Checking Parameterized Timed Systems." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4835.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Malak, Richard J. Jr. "Using parameterized efficient sets to model alternatives for systems design decisions." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26697.

Texto completo
Resumen
Thesis (Ph.D)--Mechanical Engineering, Georgia Institute of Technology, 2009.<br>Committee Chair: Paredis, Christiaan J.J.; Committee Member: Bras, Bert; Committee Member: Choudhary, Ruchi; Committee Member: McGinnis, Leon; Committee Member: Rosen, David. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Ben, Henda Noomene. "Infinite-state Stochastic and Parameterized Systems." Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8915.

Texto completo
Resumen
<p>A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization.</p><p>Systems with unbounded data structure are natural models for reasoning about communication protocols, concurrent programs, real-time systems, etc. While parameterized systems are more suitable if the system consists of an arbitrary number of identical processes which is the case for cache coherence protocols, distributed algor
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Kojić, Aleksandar M. 1974. "Parameter estimation in nonlinearly parameterized systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47637.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Rezine, Ahmed. "Parameterized Systems : Generalizing and Simplifying Automatic Verification." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8587.

Texto completo
Resumen
In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. A parameterized system may be regarded as an infinite family of instances, namely one for each size. The aim is to perform a parameterized verification, i.e. to verify that behaviors produced by all instances, regardless of their size, comply with some safety or liveness property. In this work, we describe three approaches to parameterized verifi
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Parameterised systems"

1

S, Kain John, and United States. National Aeronautics and Space Administration., eds. Annual performance report for the period 15 April 1996 - 14 April 1997 for NASA grant no. NAG 5-2927 entitled evaluating and understanding parameterized convective processes and their role in the development of mesoscale precipitation systems. Pennsylvania State University, Office of Sponsored Programs, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

National Aeronautics and Space Administration (NASA) Staff. Evaluating and Understanding Parameterized Convective Processes and Their Role in the Development of Mesoscale Precipitation Systems. Independently Published, 2018.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Parameterised systems"

1

Groote, Jan Friso, and Tim Willemse. "Parameterised Boolean Equation Systems." In CONCUR 2004 - Concurrency Theory. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-28644-8_20.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Atif, Muhammad, and Jan Friso Groote. "Linear Processes and Parameterised BESs." In Studies in Systems, Decision and Control. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-23008-0_8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Orzan, Simona, and Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems." In CONCUR 2008 - Concurrency Theory. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_18.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Aştefănoaei, Lăcrămioara, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, and Jacques Combaz. "Compositional Verification of Parameterised Timed Systems." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

van Dam, A., B. Ploeger, and T. A. C. Willemse. "Instantiation for Parameterised Boolean Equation Systems." In Theoretical Aspects of Computing - ICTAC 2008. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85762-4_30.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Schneider, Eric, Elizabeth I. Sklar, and Simon Parsons. "Evaluating Multi-Robot Teamwork in Parameterised Environments." In Towards Autonomous Robotic Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40379-3_32.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Cranen, Sjoerd, Bas Luttik, and Tim A. C. Willemse. "Proof Graphs for Parameterised Boolean Equation Systems." In CONCUR 2013 – Concurrency Theory. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40184-8_33.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Timm, Nils, and Heike Wehrheim. "On Symmetries and Spotlights – Verifying Parameterised Systems." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4_35.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Keiren, Jeroen J. A., Wieger Wesselink, and Tim A. C. Willemse. "Liveness Analysis for Parameterised Boolean Equation Systems." In Automated Technology for Verification and Analysis. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11936-6_16.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Herden, Olaf. "Parameterised Patterns for Conceptual Modelling of Data Warehouses." In Databases and Information Systems. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9636-7_8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Parameterised systems"

1

Abood, Damian, and Ian R. Manchester. "Path-Parameterised RRTs for Underactuated Systems." In 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 2024. https://doi.org/10.1109/iros58592.2024.10802123.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Laird, Eli J., and Mitchell A. Thornton. "Generative Flow Networks with Parameterized Quantum Circuits." In 2025 IEEE 18th Dallas Circuits and Systems Conference (DCAS). IEEE, 2025. https://doi.org/10.1109/dcas65331.2025.11045461.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Pfleger, Marc-Patrick, Elisabeth Radl, and Patrick Huber. "Databased prefabrication of parameterized concrete formwork elements with interlocking wood joints." In IABSE Symposium, Tokyo 2025: Environmentally Friendly Technologies and Structures: Focusing on Sustainable Approaches. International Association for Bridge and Structural Engineering (IABSE), 2025. https://doi.org/10.2749/tokyo.2025.1935.

Texto completo
Resumen
&lt;p&gt;The construction of concrete structures and their design flexibility is directly related to the use of different formwork elements or the limitations of existing systems. Especially in infrastructure projects and occasionally in building construction, complex geometries such as single or double curved surfaces are realized in concrete or reinforced concrete. This requires the precise fabrication of formwork boxes, which are used where reusable formwork systems lacks adaptability. This paper explores ways to increase the efficiency of custom formwork production through fully automated
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Dimri, Namya, Arunesh Srivastava, Malepati Ananya, Sinchana Math, K. Venugopal, and S. N. Kavitha. "Parameterized Complexity for Query Subset Optimization." In 2024 8th International Conference on Computational System and Information Technology for Sustainable Solutions (CSITSS). IEEE, 2024. https://doi.org/10.1109/csitss64042.2024.10816997.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Borve, Steinar. "Parameterised MRTD." In Electro-optical and Infrared Systems: Technology and Applications XX, edited by Duncan L. Hickman, Helge Bürsing, Ove Steinvall, and Gary W. Kamerman. SPIE, 2023. http://dx.doi.org/10.1117/12.2676696.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Siirtola, Antti. "Refinement Checking Parameterised Quorum Systems." In 2017 17th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2017. http://dx.doi.org/10.1109/acsd.2017.15.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Belardinelli, Francesco, Panagiotis Kouvaros, and Alessio Lomuscio. "Parameterised Verification of Data-aware Multi-Agent Systems." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/15.

Texto completo
Resumen
We introduce parameterised data-aware multi-agent systems, a formalism to reason about the temporal-epistemic properties of arbitrarily large collections of homogeneous agents, each operating on an infinite data domain. We show that their parameterised verification problem is semi-decidable for classes of interest. This is demonstrated by separately addressing the unboundedness of the number of agents and the the data domain. In doing so we reduce the parameterised model checking problem for these systems to that of parameterised verification for interleaved interpreted systems. We illustrate
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Kouvaros, Panagiotis, and Alessio Lomuscio. "Verifying Fault-tolerance in Parameterised Multi-Agent Systems." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/41.

Texto completo
Resumen
We develop a technique to evaluate the fault-tolerance of a multi-agent system whose number of agents is unknown at design time. We present a method for injecting a variety of non-ideal behaviours, or faults, studied in the safety-analysis literature into the abstract agent templates that are used to generate an unbounded family of multi-agent systems with different sizes. We define the parameterised fault-tolerance problem as the decision problem of establishing whether any concrete system, in which the ratio of faulty versus non-faulty agents is under a given threshold, satisfies a given tem
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Chen, Yu-Fang, Chih-Duo Hong, Anthony W. Lin, and Philipp Rummer. "Learning to prove safety over parameterised concurrent systems." In 2017 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2017. http://dx.doi.org/10.23919/fmcad.2017.8102244.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Gallardo, María del Mar, Christophe Joubert, and Pedro Merino. "Implementing Influence Analysis Using Parameterised Boolean Equation Systems." In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006). IEEE, 2006. http://dx.doi.org/10.1109/isola.2006.26.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Parameterised systems"

1

Popova, Evgenija. On a Class of Parameterized Solutions to Interval Parametric Linear Systems. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, 2020. http://dx.doi.org/10.7546/crabs.2020.05.02.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Grogan, Brandon Robert. The Development of a Parameterized Scatter Removal Algorithm for Nuclear Materials Identification System Imaging. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/973840.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Grogan, Brandon R. THE DEVELOPMENT OF A PARAMETERIZED SCATTER REMOVAL ALGORITHM FOR NUCLEAR MATERIALS IDENTIFICATION SYSTEM IMAGING. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/981787.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Gaskin, John, and Heidi Wadman. Extent of fluid mud : Bayport Flare and Ship Terminal, Houston, Texas : testing the effectiveness of low-frequency acoustic survey systems to define the navigable bottom. Engineer Research and Development Center (U.S.), 2024. https://doi.org/10.21079/11681/49508.

Texto completo
Resumen
This study utilized a suite of low-frequency acoustic mapping systems to penetrate fluid mud layers and consistently define the navigable bottom in the Bayport Flare and Ship Terminal in Houston, Texas. The objective of this study was to parameterize the suspended sediment present in the navigation channel so the Galveston District may effectively evaluate options for continuing to provide the shipping industry accurate and reliable charting information. Of special concern is relating low-frequency, single-beam acoustic survey system penetration through suspended sediments, using density and y
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Chen, Yongzhou, Ammar Tahir, and Radhika Mittal. Controlling Congestion via In-Network Content Adaptation. Illinois Center for Transportation, 2022. http://dx.doi.org/10.36501/0197-9191/22-018.

Texto completo
Resumen
Realizing that it is inherently difficult to match precisely the sending rates at the endhost with the available capacity on dynamic cellular links, we built a system, Octopus, that sends real-time data streams over cellular networks using an imprecise controller (that errs on the side of overestimating network capacity) and then drops appropriate packets in the cellular-network buffers to match the actual capacity. We designed parameterized primitives for implementing the packet-dropping logic, which the applications at the endhost can configure differently to express various content-adaptati
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Agénor, Pierre-Richard, and Luiz A. Pereira da Silva. Cyclically Adjusted Provisions and Financial Stability. Inter-American Development Bank, 2016. http://dx.doi.org/10.18235/0011733.

Texto completo
Resumen
This paper studies the extent to which alternative loan loss provisioning regimes affect the procyclicality of the financial system and financial stability. It uses a DSGE model with financial frictions (namely, balance sheet and collateral effects, as well as economies of scope in banking) and a generic formulation of provisioning regimes. Numerical experiments with a parameterized version of the model show that cyclically adjusted (or, more commonly called, dynamic) provisioning can be highly effective in terms of mitigating procyclicality and financial instability, measured in terms of the
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Hamill, Daniel D., Jeremy J. Giovando, Chandler S. Engel, Travis A. Dahl, and Michael D. Bartles. Application of a Radiation-Derived Temperature Index Model to the Willow Creek Watershed in Idaho, USA. U.S. Army Engineer Research and Development Center, 2021. http://dx.doi.org/10.21079/11681/41360.

Texto completo
Resumen
The ability to simulate snow accumulation and melting processes is fundamental to developing real-time hydrological models in watersheds with a snowmelt-dominated flow regime. A primary source of uncertainty with this model development approach is the subjectivity related to which historical periods to use and how to combine parameters from multiple calibration events. The Hydrologic Engineering Center, Hydrological Modeling System, has recently implemented a hybrid temperature index (TI) snow module that has not been extensively tested. This study evaluates a radiatative temperature index (RT
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Selvaraju, Ragul, Hari Shankar, and Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, 2020. http://dx.doi.org/10.4271/2020-28-0504.

Texto completo
Resumen
A frontal impact scenario was simulated using a Finite Element Model of a Hybrid III 50th percentile male (LSTC, Livermore CA) along with seatbelt, steering system and driver airbags. The boundary conditions included acceleration pulse to the seat and the outputs including injury measures in terms of Head Injury Criterion (HIC), Normalized Neck Injury Criterion (NIJ) and Chest Severity Index (CSI) were extracted from the simulations. The kinematics of the Hybrid III were validated against the kinematics of post mortem human surrogates (PMHS) available in the literature. Using the validated set
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Selvaraju, Ragul, Hari Shankar, and Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, 2020. http://dx.doi.org/10.4271/2020-28-0504.

Texto completo
Resumen
A frontal impact scenario was simulated using a Finite Element Model of a Hybrid III 50th percentile male (LSTC, Livermore CA) along with seatbelt, steering system and driver airbags. The boundary conditions included acceleration pulse to the seat and the outputs including injury measures in terms of Head Injury Criterion (HIC), Normalized Neck Injury Criterion (NIJ) and Chest Severity Index (CSI) were extracted from the simulations. The kinematics of the Hybrid III were validated against the kinematics of post mortem human surrogates (PMHS) available in the literature. Using the validated set
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Parameterised systems" para tipos de fuentes particulares:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía