Relevant bibliographies by topics / Formal Modeling

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formal Modeling'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal Modeling.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formal Modeling"

1

Fithen, William L., Shawn V. Hernan, Paul F. O'Rourke, and David A. Shinberg. "Formal modeling of vulnerability." Bell Labs Technical Journal 8, no. 4 (2004): 173–86. http://dx.doi.org/10.1002/bltj.10094.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Abbate, Andrew J., and Ellen J. Bass. "Modeling Affordance Using Formal Methods." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, no. 1 (2017): 723–27. http://dx.doi.org/10.1177/1541931213601666.

Full text
Abstract:
Affordances, or the physical interactions that an environment allows for a particular agent, are critical to the design of human-interactive systems. Researchers are developing formal models of human-device interaction that can be used to verify procedures, displays, and controls; however, no formal approaches to guide design exist for affordances. This paper presents such an approach. To model affordance formally, we instantiate an extant formalism from ecological psychology. A human-environment system model represents physical entities in an environment, properties such as 3-D spatial relati
APA, Harvard, Vancouver, ISO, and other styles
3

Zavgorodnii, V. V., A. A. Zavgorodnya, K. E. Drobotovich, O. V. Tenigin, and M. M. Shmatko. "MATHEMATICAL MODELING IN FORMAL RESEARCH METHODS." Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, no. 6 (2021): 75–79. http://dx.doi.org/10.32838/2663-5941/2021.6/12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hawkins, Douglas M. "FIRM: Formal Inference-Based Recursive Modeling." American Statistician 45, no. 2 (1991): 155. http://dx.doi.org/10.2307/2684385.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Geoffrion, Arthur M. "The Formal Aspects of Structured Modeling." Operations Research 37, no. 1 (1989): 30–51. http://dx.doi.org/10.1287/opre.37.1.30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Abdulahhad, Karam, Catherine Berrut, Jean-Pierre Chevallet, and Gabriella Pasi. "Modeling Information Retrieval by Formal Logic." ACM Computing Surveys 52, no. 1 (2019): 1–37. http://dx.doi.org/10.1145/3291043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kimbrough, Steven Orla, and Yao-Hua Tan. "FMEC: Formal Modeling for Electronic Commerce." Decision Support Systems 33, no. 3 (2002): 221–23. http://dx.doi.org/10.1016/s0167-9236(02)00012-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lygeros, J. "A formal approach to fuzzy modeling." IEEE Transactions on Fuzzy Systems 5, no. 3 (1997): 317–27. http://dx.doi.org/10.1109/91.618270.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kaufmann, Tobias, and Beat Pfister. "Syntactic language modeling with formal grammars." Speech Communication 54, no. 6 (2012): 715–31. http://dx.doi.org/10.1016/j.specom.2012.01.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Xia, Mo, Kueiming Lo, Shuangjia Shao, and Mian Sun. "Formal Modeling and Verification for MVB." Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/470139.

Full text
Abstract:
Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness. The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. A Hierarchy Colored Petri Net (HCPN) approach is presented to model and simulate the Master Transfer protocol of MVB. Synchronous and asynchronous m
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal Modeling"

1

Shaw, Kevin B. "Curated Reasoning by Formal Modeling of Provenance." ScholarWorks@UNO, 2013. http://scholarworks.uno.edu/td/1782.

Full text
Abstract:
The core problem addressed in this research is the current lack of an ability to repurpose and curate scientific data among interdisciplinary scientists within a research enterprise environment. Explosive growth in sensor technology as well as the cost of collecting ocean data and airborne measurements has allowed for exponential increases in scientific data collection as well as substantial enterprise resources required for data collection. There is currently no framework for efficiently curating this scientific data for repurposing or intergenerational use. There are several reasons why this
APA, Harvard, Vancouver, ISO, and other styles
2

Lisowski, Matthew A. "Development of a target recognition system using formal and semi-formal software modeling methods." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA386925.

Full text
Abstract:
Thesis (M.S. in Software Engineering) Naval Postgraduate School, Dec. 2000.<br>Thesis advisors, Neil Rowe, Man-Tak Shing. "December 2000." Includes bibliographical references (p. 101-102). Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
3

Sidorowicz, Piotr Roald. "A formal framework for modeling and testing memories." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0028/NQ51227.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wathugala, Wathugala Gamage Dulan Manujinda. "Formal Modeling Can Improve Smart Transportation Algorithm Development." Thesis, University of Oregon, 2017. http://hdl.handle.net/1794/22608.

Full text
Abstract:
201 pages<br>Ensuring algorithms work accurately is crucial, especially when they drive safety critical systems like self-driving cars. We formally model a published distributed algorithm for autonomous vehicles to collaborate and pass thorough an intersection. Models are built and validated using the “Labelled Transition System Analyser” (LTSA). Our models reveal situations leading to deadlocks and crashes in the algorithm. We demonstrate two approaches to gain insight about a large and complex system without modeling the entire system: Modeling a sub system - If the sub system has is
APA, Harvard, Vancouver, ISO, and other styles
5

Park, Hoon. "Formal Modeling and Verification of Delay-Insensitive Circuits." PDXScholar, 2015. https://pdxscholar.library.pdx.edu/open_access_etds/2639.

Full text
Abstract:
Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks face this barrier of scale already within the space of a modern microprocessor chip. The most common response by the chip industry for overcoming this barrier is to use Globally Asynchronous Locally Synchronous (GALS) design techniques. The circuits investigated in this thesis can be viewed as examples of
APA, Harvard, Vancouver, ISO, and other styles
6

Kühnberger, Kai-Uwe. "Formal frameworks for circular phenomena possibilities of modeling pathological expressions in formal and natural languages /." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=964198576.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Smirnov, Oleg. "Formal evolutionary modeling and the problems of political science /." view abstract or download file of text, 2005. http://wwwlib.umi.com/cr/uoregon/fullcit?p3190550.

Full text
Abstract:
Thesis (Ph. D.)--University of Oregon, 2005.<br>Typescript. Includes vita and abstract. Includes bibliographical references (leaves 113-131). Also available for download via the World Wide Web; free to University of Oregon users.
APA, Harvard, Vancouver, ISO, and other styles
8

Jacobs, Petrus Jacobus. "A formal refinement framework for the systems modeling language." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:8be42735-8a31-41e2-82e2-05f7d0e6cb1a.

Full text
Abstract:
The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UML), is a visual modelling language for systems engineering applications. At present, the semi-formal SysML, which is widely utilised for the design of complex heterogeneous systems, lacks integration with other more formal approaches. In this thesis, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergences Refinement (FDR), may be used to underpin an approach that facilitates the refinement checking of the behavioural consistency of Sys
APA, Harvard, Vancouver, ISO, and other styles
9

Haur, Imane. "AUTOSAR compliant multi-core RTOS formal modeling and verification." Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0057.

Full text
Abstract:
La vérification formelle est une solution pour augmenter la fiabilité de l’implémentation du système. Dans notre travail de thèse, nous nous intéressons à l’utilisation de ces méthodes pour la vérification des systèmes d’exploitation multi-coeurs temps réel. Nous proposons une approche de model-checking utilisant les réseaux de Petri temporels, étendus avec des transitions colorées et des fonctionnalités de haut niveau. Nous utilisons ce formalisme pour modéliser le système d’exploitation multi-coeur Trampoline, conforme aux standards OSEK/VDX etAUTOSAR. Nous définissons dans un premier temps
APA, Harvard, Vancouver, ISO, and other styles
10

Liu, Su. "Formal Modeling and Analysis Techniques for High Level Petri Nets." FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1522.

Full text
Abstract:
Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formal Modeling"

1

Dima, Catalin, and Mahsa Shirmohammadi, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85037-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bogomolov, Sergiy, and David Parker, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15839-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Abate, Alessandro, and Gilles Geeraerts, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-65765-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fränzle, Martin, and Nicolas Markey, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44878-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jurdziński, Marcin, and Dejan Ničković, eds. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33365-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Braberman, Víctor, and Laurent Fribourg, eds. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40229-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sankaranarayanan, Sriram, and Enrico Vicario, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22975-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bertrand, Nathalie, and Nils Jansen, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57628-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fahrenberg, Uli, and Stavros Tripakis, eds. Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24310-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Legay, Axel, and Marius Bozga, eds. Formal Modeling and Analysis of Timed Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10512-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal Modeling"

1

Cao, Longbing. "Formal Modeling." In Advanced Information and Knowledge Processing. Springer London, 2015. http://dx.doi.org/10.1007/978-1-4471-6551-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sølvberg, Arne, and David Chenho Kung. "Formal Modeling Approaches." In Information Systems Engineering. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78001-1_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Devlin, Keith. "Modeling Real Reasoning." In Formal Theories of Information. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00659-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cui, Hanmei, and Jessica Chen. "On Formal MOM Modeling." In Parallel and Distributed Processing and Applications. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74742-0_51.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Albert, Elvira, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, and Alexandra Silva. "SDN-Actors: Modeling and Verification of SDN Programs." In Formal Methods. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Di Sciullo, Anna-Maria. "Formal Context and Morphological Analysis." In Modeling and Using Context. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48315-2_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Conrad, Mirko, and Pieter J. Mosterman. "Model-Based Design Using Simulink - Modeling, Code Generation, Verification, and Validation." In Formal Methods. John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.ch4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Petriu, Dorina C., Mohammad Alhaj, and Rasha Tawhid. "Software Performance Modeling." In Formal Methods for Model-Driven Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30982-3_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Klimova, Nataliya, Oleg Kozyrev, and Eduard Babkin. "Formal Approaches to Cluster Modeling." In Innovation in Clusters. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-21109-1_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Entrena, Luis, Serafín Olcoz, and Juan Goicolea. "VHDL Formal Modeling and Analysis." In Practical Formal Methods for Hardware Design. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60641-0_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal Modeling"

1

Martin, Cristina Ruiz, and Gabriel Wainer. "DEVS Formal Modeling and Simulation in Manufacturing Systems." In 2024 Annual Modeling and Simulation Conference (ANNSIM). IEEE, 2024. http://dx.doi.org/10.23919/annsim61499.2024.10732500.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bouabana-Tebibel, Thouraya, Stuart H. Rubin, and Miloud Bennama. "Formal modeling with SysML." In 2012 IEEE 13th International Conference on Information Reuse & Integration (IRI). IEEE, 2012. http://dx.doi.org/10.1109/iri.2012.6303029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mashkoor, Atif, and Jean-Pierre Jacquot. "Observation-Level-Driven Formal Modeling." In 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE). IEEE, 2015. http://dx.doi.org/10.1109/hase.2015.32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Qinsi, and Edmund M. Clarke. "Formal modeling of biological systems." In 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2016. http://dx.doi.org/10.1109/hldvt.2016.7748273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Djemal, Karim, Chantal Soule-Dupuy, and Nathalie Valles-Parlangeau. "Formal modeling of multistructured documents." In 2008 Second International Conference on Research Challenges in Information Science (RCIS). IEEE, 2008. http://dx.doi.org/10.1109/rcis.2008.4632111.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Daw, Zamira, Emeka Eyisi, Ebad Jahangir, and Jeanne Larsen. "Formal modeling of certification processes." In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). IEEE, 2017. http://dx.doi.org/10.1109/dasc.2017.8102141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Blumer, Aric D., Henning Mortveit, and Cameron D. Patterson. "Formal Modeling of Process Migration." In 2007 International Conference on Field Programmable Logic and Applications. IEEE, 2007. http://dx.doi.org/10.1109/fpl.2007.4380633.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Spanfelner, Bernd, Christian Leuxner, and Wassiou Sitou. "Formal specification of system functions." In 2009 ICSE Workshop on Modeling in Software Engineering (MISE). IEEE, 2009. http://dx.doi.org/10.1109/mise.2009.5069893.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Csuka, Zsolt, and Laszlo Lengyel. "Ensuring software quality by formal modeling." In 2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI). IEEE, 2011. http://dx.doi.org/10.1109/sami.2011.5738866.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Saddiq, Saima, Nazir Ahmad Zafar, and Farhan Ullah. "Formal modeling of smart logistics monitoring." In 2017 1st International Conference on Electronics, Materials Engineering and Nano-Technology (IEMENTech). IEEE, 2017. http://dx.doi.org/10.1109/iementech.2017.8076997.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal Modeling"

1

Park, Hoon. Formal Modeling and Verification of Delay-Insensitive Circuits. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.2635.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Equihua, M., and O. Perez-Maqueo. Mathematical Modeling and Conservation. American Museum of Natural History, 2010. http://dx.doi.org/10.5531/cbc.ncep.0154.

Full text
Abstract:
Formal models are indispensable tools in natural resource management and in conservation biology. Explicit modeling can be a helpful tool for studying these systems, communicating across disciplines, and integrating varying viewpoints of numerous stakeholders. This module demonstrates how to explicitly construct models as alternative representations to help interpret and understand nature. Through a synthesis and two exercises, it describes the general context of scientific modeling (i.e., use and types of models), and allows students to practice building a model by evaluating the relationship
APA, Harvard, Vancouver, ISO, and other styles
3

Lynch, Nancy A., Laurent D. Michel, and Alexander A. Shvartsman. An Extensible and Scalable Framework for Formal Modeling, Analysis, and Development of Distributed Systems. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada586708.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

McKay, S., Nate Richards, and Todd Swannack. Ecological model development : evaluation of system quality. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/45380.

Full text
Abstract:
Ecological models are used throughout the US Army Corps of Engineers (USACE) to inform decisions related to ecosystem restoration, water operations, environmental impact assessment, environmental mitigation, and other topics. Ecological models are typically developed in phases of conceptualization, quantification, evaluation, application, and communication. Evaluation is a process for assessing the technical quality, reliability, and ecological basis of a model and includes techniques such as calibration, verification, validation, and review. In this technical note (TN), we describe an approac
APA, Harvard, Vancouver, ISO, and other styles
5

Wahid, Shahriar, Susan Cuddy, Aditya Bastola, Arun Shrestha, and Auro Almeida. Gender equality, disability and social inclusion in water modelling: A practitioners’ toolkit. International Centre for Integrated Mountain Development (ICIMOD), 2024. https://doi.org/10.53055/icimod.1070.

Full text
Abstract:
The toolkit consists of two modules that guide modeling practices or training delivery, including recommendations for training format, duration, and breaks. It is organized to support typical water modeling processes and includes practical guides, tips for further learning, examples, and practice exercises for individuals or groups to achieve GEDSI in water modeling. The toolkit aims to help users: Understand the benefits of incorporating Gender Equality, Disability, and Social Inclusion (GEDSI) into water modelling, recognizing its value in addressing complex water management challenges. Comp
APA, Harvard, Vancouver, ISO, and other styles
6

Modlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova, and Pavlo P. Nechypurenko. Methods of using mobile Internet devices in the formation of the general scientific component of bachelor in electromechanics competency in modeling of technical objects. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3677.

Full text
Abstract:
An analysis of the experience of professional training bachelors of electromechanics in Ukraine and abroad made it possible to determine that one of the leading trends in its modernization is the synergistic integration of various engineering branches (mechanical, electrical, electronic engineering and automation) in mechatronics for the purpose of design, manufacture, operation and maintenance electromechanical equipment. Teaching mechatronics provides for the meaningful integration of various disciplines of professional and practical training bachelors of electromechanics based on the concep
APA, Harvard, Vancouver, ISO, and other styles
7

Roig, Pedro Juan, Salvador Alcaraz, Katja Gilly, Cristina Bernad, and Carlos Juiz. Algebraic formal modelling of EIGRP using ACP. Peeref, 2023. http://dx.doi.org/10.54985/peeref.2304p4105787.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kos, Bor, and Ivan A. Kodeli. MCNP modelling of the TIARA SINBAD shielding benchmark. IAEA Nuclear Data Section, 2019. http://dx.doi.org/10.61092/iaea.ny5x-0pq9.

Full text
Abstract:
ABSTRACT The report describes the modeling procedure for MCNP of the TIARA shielding benchmark experiment form the SINBAD database. In the first part of the report motivation behind the modeling is given. The report continues with a detailed description of the geometrical properties of the benchmark with the Rhinoceros CAD program and the transformation procedure of the CAD model in to MCNP format. In the next part of the report details are given on the material, source and detector (tally) modelling of the benchmark experiment. Furthermore the variance reduction procedure using ADVANTG is des
APA, Harvard, Vancouver, ISO, and other styles
9

Ruvinsky, Alicia, Maria Seale, R. Salter, and Natàlia Garcia-Reyero. An ontology for an epigenetics approach to prognostics and health management. Engineer Research and Development Center (U.S.), 2023. http://dx.doi.org/10.21079/11681/46632.

Full text
Abstract:
Techniques in prognostics and health management have advanced considerably in the last few decades, enabled by breakthroughs in computational methods and supporting technologies. These predictive models, whether data-driven or physics-based, target the modeling of a system’s aggregate performance. As such, they generalize assumptions about the modelled system’s components, and are thus limited in their ability to represent individual components and the dynamic environmental factors that affect composite system health. To address this deficiency, we have developed an epigenetics-inspired knowle
APA, Harvard, Vancouver, ISO, and other styles
10

Hanif, Sarmad, Vishvas Chalishazar, and Donald Hammerstrom. Modeling the Functional Forms of Grid Disturbances. Office of Scientific and Technical Information (OSTI), 2020. http://dx.doi.org/10.2172/1765364.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal Modeling' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography