Gotowe bibliografie tematyczne / Formal Modeling

Gotowa bibliografia na temat „Formal Modeling”

Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 30 stycznia 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Formal Modeling”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Formal Modeling"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Streszczenie:
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 relations among them, and motor capabilities of a human operator. An application is demonstrated in an aircraft cabin door case study, and verification results aid in identifying an undesirable situation involving door openability.
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Streszczenie:
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 methods are proposed to describe the entities and communication environment. Automata model of the Master Transfer protocol is designed. Based on our model checking platform M3C, the Master Transfer protocol of the MVB is verified and some system logic critical errors are found. Experimental results show the efficiency of our methods.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Formal Modeling"

1

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

Pełny tekst źródła
Streszczenie:
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 problem has eluded solution to date to include the competitive requirements for funding and publication, multiple vocabularies used among various scientific disciplines, the number of scientific disciplines and the variation among workflow processes, lack of a flexible framework to allow for diversity among vocabularies and data but a unifying approach to exploitation and a lack of affordable computing resources (mostly in past tense now). Addressing this lack of sharing scientific data among interdisciplinary scientists is an exceptionally challenging problem given the need for combination of various vocabularies, maintenance of associated scientific data provenance, requirement to minimize any additional workload being placed on originating data scientist project/time, protect publication/credit to reward scientific creativity and obtaining priority for a long-term goal such as scientific data curation for intergenerational, interdisciplinary scientific problem solving that likely offers the most potential for the highest impact discoveries in the future. This research approach focuses on the core technical problem of formally modeling interdisciplinary scientific data provenance as the enabling and missing component to demonstrate the potential of interdisciplinary scientific data repurposing. This research develops a framework to combine varying vocabularies in a formal manner that allows the provenance information to be used as a key for reasoning to allow manageable curation. The consequence of this research is that it has pioneered an approach of formally modeling provenance within an interdisciplinary research enterprise to demonstrate that intergenerational curation can be aided at the machine level to allow reasoning and repurposing to occur with minimal impact to data collectors and maximum impact to other scientists.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
Thesis (M.S. in Software Engineering) Naval Postgraduate School, Dec. 2000.
Thesis advisors, Neil Rowe, Man-Tak Shing. "December 2000." Includes bibliographical references (p. 101-102). Also available in print.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
201 pages
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 issues, the super system too. Modeling a fast-forwarded state - Reveals problems that can arise later in a process. Some productivity tools developed for distributed system development are also presented. Manulator, our distributed system simulator, enables quick prototyping and debugging on a single workstation. LTSA-O, extension to LTSA, listens to messages exchanged in an execution of a distributed system and validates it against a model.
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Streszczenie:
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 GALS design. To make such designs trustworthy it is necessary to model formally the relative signal delays and timing requirements that make these designs work correctly. With trustworthy asynchrony one can build reliable, large, and scalable systems, and exploit the lower power and higher speed features of asynchrony. This research presents ARCtimer, a framework for modeling, generating, verifying, and enforcing timing constraints for individual self-timed handshake components that use bounded-bundled-data handshake protocols. The constraints guarantee that the component's gate-level circuit implementation obeys the component's handshake protocol specification. Because the handshake protocols are delay insensitive, self-timed systems built using ARCtimer-verified components can be made delay insensitive. Any delay sensitivity inside a component is detected and repaired by ARCtimer. In short: by carefully considering time locally, we can ignore time globally. ARCtimer applies early in the design process as part of building a library of verified components for later system use. The library also stores static timing analysis (STA) code to validate and enforce the component's constraints in any self-timed system built using the library. The library descriptions of a handshake component's circuit, protocol, timing constraints, and STA code are robust to circuit modifications applied later in the design process by technology mapping or layout tools. New contributions of ARCtimer include: 1. Upfront modeling on a component by component basis to reduce the validation effort required to (a) reimplement components in different technologies, (b) assemble components into systems, and (c) guarantee system-level timing closure. 2. Modeling of bounded-bundled-data timing constraints that permit the control signals to lead or lag behind data signals to optimize system timing.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
Thesis (Ph. D.)--University of Oregon, 2005.
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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 SysML diagrams. We do so by utilising CSP as a semantic domain for reasoning about SysML behavioural aspects: activities, state machines and interactions are given a formal process-algebraic semantics. These behaviours execute within the context of the structural diagrams to which they relate, and this is reflected in the CSP descriptions that depict their characteristic patterns of interaction. The resulting abstraction gives rise to a framework that enables the formal treatment of integrated behaviours via refinement checking. In SysML, requirement diagrams allow for the allocation of behavioural features in order to present a more detailed description of a captured requirement. Moreover, we demonstrate that, by providing a common basis for behaviours and requirements, the approach supports requirements traceability: SysML requirements are amenable to formal verification using FDR. In addition, the proposed framework is able to detect inconsistencies that arise due to the multi-view nature of SysML. We illustrate and validate the contribution by applying our methodology to a safety critical system of moderate size and complexity.
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Streszczenie:
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 result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.
Style APA, Harvard, Vancouver, ISO itp.
10

Linck, Ricardo Ramos. "Conceptual modeling of formal and material relations applied to ontologies". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/108626.

Pełny tekst źródła
Streszczenie:
Ontologias representam uma conceitualização compartilhada de uma comunidade de conhecimento. São construídas a partir da descrição dos significados dos conceitos, descritos através de seus atributos e dos relacionamentos entre os conceitos. Conceitos se referem ao objeto da conceitualização, o universo do discurso. São caracterizados por seus atributos e domínios de valores possíveis. Relacionamentos são utilizados para descreverem de que forma os conceitos se estruturam no mundo. Nas ontologias todos os conceitos são hierarquicamente definidos, porém existem outros relacionamentos que são definicionais, dando identidade aos conceitos e sentido ao mundo. Além dos relacionamentos de subsunção que constroem as taxonomias de conceitos, outras relações formais e materiais auxiliam na estruturação do domínio e na definição conceitual. As ferramentas de modelagem, no entanto, ainda são falhas em diferenciar os vários tipos de relacionamentos formais e materiais para atribuir as possibilidades de raciocínio automático. Em especial, relacionamentos mereológicos e partonômicos carecem de opções de implementação que permitam extrair o potencial semântico da modelagem. Este projeto de pesquisa tem como ponto de partida o estudo da literatura sobre ontologias e relações, em especial sobre relações formais e materiais, incluindo relações mereológicas e partonômicas, revisando os princípios encontrados nas ontologias. Além disso, nós identificamos os fundamentos teóricos das relações e analisamos a aplicação dos conceitos das relações sobre as principais ontologias de fundamentação em prática na atualidade. Na sequência, a partir das propostas levantadas, este trabalho propõe uma alternativa para a modelagem conceitual destas relações em uma ontologia de domínio visual. Esta alternativa foi disponibilizada na ferramenta de construção de ontologias do Projeto Obaitá, a qual está sendo desenvolvida pelo Grupo de Pesquisa de Bancos de Dados Inteligentes (BDI) da UFRGS.
Ontologies represent a shared conceptualization of a knowledge community. They are built from the description of the meaning of concepts, expressed through their attributes and their relationships. Concepts refer to the object of conceptualization, the universe of discourse. They are characterized by their attributes and domains of possible values. Relationships are used to describe how the concepts are structured in the world. In ontologies all concepts are hierarchically defined, however there are other relationships that are definitional, giving identity to the concepts and meaning to the world. In addition to the subsumption relationships that build the taxonomies of concepts, other formal and material relations assist in structuring the domain and the conceptual definition. The modeling tools, however, are still deficient in differentiating the various types of formal and material relationships in order to assign the possibilities of automated reasoning. In particular, mereological and partonomic relationships lack of implementation options that allow extracting the semantic potential when modeling. This research project takes as a starting point the study of the literature on ontologies and relations, especially on formal and material relations, including mereological and partonomic relations, reviewing the principles found on ontologies. Furthermore, we identify the theoretical foundations of the relations and analyze the application of the relations concepts to the main foundational ontologies in use nowadays. Following, from the raised proposals, this work proposes an alternative for the conceptual modeling of these relations in a visual domain ontology. This alternative has been made available on the ontology building tool of the Obaitá Project, which is under development by the Intelligent Databases Research Group (BDI) from UFRGS.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Formal Modeling"

1

Koikkalainen, Pasi. Neurocomputing systems: Formal modeling and software implementation. Lappeenranta: Lappeenrannan teknillinen korkeakoulou, 1992.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Formal Modeling"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Formal Modeling"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Fantechi, Alessandro, i Stefania Gnesi. "Formal Modeling for Product Families Engineering". W 2008 12th International Software Product Line Conference (SPLC). IEEE, 2008. http://dx.doi.org/10.1109/splc.2008.45.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Formal Modeling"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Modlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova i 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. [б. в.], luty 2020. http://dx.doi.org/10.31812/123456789/3677.

Pełny tekst źródła
Streszczenie:
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 concept of modeling and technological integration of various organizational forms and teaching methods based on the concept of mobility. Within this approach, the leading learning tools of bachelors of electromechanics are mobile Internet devices (MID) – a multimedia mobile devices that provide wireless access to information and communication Internet services for collecting, organizing, storing, processing, transmitting, presenting all kinds of messages and data. The authors reveals the main possibilities of using MID in learning to ensure equal access to education, personalized learning, instant feedback and evaluating learning outcomes, mobile learning, productive use of time spent in classrooms, creating mobile learning communities, support situated learning, development of continuous seamless learning, ensuring the gap between formal and informal learning, minimize educational disruption in conflict and disaster areas, assist learners with disabilities, improve the quality of the communication and the management of institution, and maximize the cost-efficiency. Bachelor of electromechanics competency in modeling of technical objects is a personal and vocational ability, which includes a system of knowledge, skills, experience in learning and research activities on modeling mechatronic systems and a positive value attitude towards it; bachelor of electromechanics should be ready and able to use methods and software/hardware modeling tools for processes analyzes, systems synthesis, evaluating their reliability and effectiveness for solving practical problems in professional field. The competency structure of the bachelor of electromechanics in the modeling of technical objects is reflected in three groups of competencies: general scientific, general professional and specialized professional. The implementation of the technique of using MID in learning bachelors of electromechanics in modeling of technical objects is the appropriate methodic of using, the component of which is partial methods for using MID in the formation of the general scientific component of the bachelor of electromechanics competency in modeling of technical objects, are disclosed by example academic disciplines “Higher mathematics”, “Computers and programming”, “Engineering mechanics”, “Electrical machines”. The leading tools of formation of the general scientific component of bachelor in electromechanics competency in modeling of technical objects are augmented reality mobile tools (to visualize the objects’ structure and modeling results), mobile computer mathematical systems (universal tools used at all stages of modeling learning), cloud based spreadsheets (as modeling tools) and text editors (to make the program description of model), mobile computer-aided design systems (to create and view the physical properties of models of technical objects) and mobile communication tools (to organize a joint activity in modeling).
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Streszczenie:
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 approach for evaluating system quality, which generally includes the computational integrity, numerical accuracy, and programming of a model or modeling system. Methods are presented for avoiding computational errors during development, detecting errors through model testing, and updating models based on review and use. A formal structure is proposed for model test plans and subsequently demonstrated for a hypothetical habitat suitability model. Overall, this TN provides ecological modeling practitioners with a rapid guide for evaluating system quality.
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Clavier, Kyle, i Daniel Clayton. Reviewing MACCS Capabilities for Modeling Variable Physiochemical Forms. Office of Scientific and Technical Information (OSTI), wrzesień 2022. http://dx.doi.org/10.2172/1888361.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Rigotti, Christophe, i Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Pełny tekst źródła
Streszczenie:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
Style APA, Harvard, Vancouver, ISO itp.
8

Rigotti, Christophe, i Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Pełny tekst źródła
Streszczenie:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
Style APA, Harvard, Vancouver, ISO itp.
9

Devanathan, Ramaswami, Fei Gao i Xin Sun. Challenges in Modeling the Degradation of Ceramic Waste Forms. Office of Scientific and Technical Information (OSTI), wrzesień 2011. http://dx.doi.org/10.2172/1043140.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Shaw, Kevin, H. V. Miller, Barbara Ray, Robert Broome i Todd Lovitt. An Initial Design for an Extended Vector Product Format Prototype for Modeling and Simulation. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 1997. http://dx.doi.org/10.21236/ada326284.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Formal Modeling” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii