Rozprawy doktorskie na temat „Conceptual models”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Conceptual models”.
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.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
MARINS, ANDRE LUIZ ALMEIDA. "PROVENANCE CONCEPTUAL MODELS". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2008. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=11880@1.
Pełny tekst źródłaSistemas de informação, desenvolvidos para diversos setores econômicos, necessitam com maior freqüência capacidade de rastreabilidade dos dados. Para habilitar tal capacidade, é necessário modelar a proveniência dos dados. Proveniência permite testar conformidade com a legislação, repetição de experimentos, controle de qualidade, entre outros. Habilita também a identificação de agentes (pessoas, organizações ou agentes de software) e pode ser utilizada para estabelecer níveis de confiança para as transformações dos dados. Esta dissertação propõe um modelo genérico de proveniência criado com base no alinhamento de recortes de ontologias de alto nível, padrões internacionais e propostas de padrões que tratam direta ou indiretamente de conceitos relacionados à proveniência. As contribuições da dissertação são portanto em duas direções: um modelo conceitual para proveniência - bem fundamentado - e a aplicação da estratégia de projeto conceitual baseada em alinhamento de ontologias.
Information systems, developed for several economic segments, increasingly demand data traceability functionality. To endow information systems with such capacity, we depend on data provenance modeling. Provenance enables legal compliance, experiment validation, and quality control, among others . Provenance also helps identifying participants (determinants or immanents) like people, organizations, software agents among others, as well as their association with activities, events or processes. It can also be used to establish levels of trust for data transformations. This dissertation proposes a generic conceptual model for provenance, designed by aligning fragments of upper ontologies, international standards and broadly recognized projects. The contributions are in two directions: a provenance conceptual model - extensively documented - that facilitates interoperability and the application of a design methodology based on ontology alignment.
Solomons, Stanley Nicholls. "Conceptual models in industrial design". Thesis, De Montfort University, 1988. http://hdl.handle.net/2086/4144.
Pełny tekst źródłaWilkie, Ormond L. "Modification models of conceptual combination". Thesis, Massachusetts Institute of Technology, 1992. http://hdl.handle.net/1721.1/13100.
Pełny tekst źródłaDelamore, David George. "Conceptual models for dynamic systems". Thesis, University of Cambridge, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608827.
Pełny tekst źródłaOliver, Ian. "Animating object oriented conceptual models". Thesis, University of Kent, 2001. https://kar.kent.ac.uk/13637/.
Pełny tekst źródłaEeles, Charles William Owen. "Parameter optimization of conceptual hydrological models". Thesis, Open University, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261674.
Pełny tekst źródłaPurdy, Luke D. "Conceptual Models for Virtual High Schools". Thesis, University of Louisiana at Lafayette, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10163355.
Pełny tekst źródłaThis study is a hermeneutic phenomenology focused on a virtual high school in Central Louisiana. Because virtual education is growing quickly, and student performance in virtual high schools is inconsistent, the study seeks to provide a conceptual model from which to design virtual school curricula and develop virtual school teaches. The proposed model is grounded in three theoretical frameworks and validated through the experience of virtual school teachers. The theoretical frameworks informing the study are the Community of Inquiry model, Sense of Community theory, and the Theory of Transactional Distance. The research participants’ experiences are used to validate the proposed conceptual model for virtual high school course development. The result is a conceptual model that can be used by virtual high school course designers to guide the development of virtual school curricula.
The study can also be used to guide the development of strategies for delivering online courses and conducting professional development in a virtual learning environment. The study makes four major findings. The study finds virtual high school students vary in their motivation and autonomy. The study finds the teacher-student relationship to more individualized in the virtual school than in the traditional school. The study finds that virtual high school students do not perceive value in virtual learning communities. Finally, the study finds that virtual school teachers experience with technology is positive, but their students often experience trouble with technology. The study uses these findings to suggest a conceptual model from which to develop virtual high school curricula and teach virtual high school classes.
Dixon, Diane. "Conceptual and measurement models of disability". Thesis, University of Aberdeen, 2006. http://digitool.abdn.ac.uk/R?func=search-advanced-go&find_code1=WSN&request1=AAIU206100.
Pełny tekst źródłaDamljanovic, Danica. "Natural language interfaces to conceptual models". Thesis, University of Sheffield, 2011. http://etheses.whiterose.ac.uk/1630/.
Pełny tekst źródłaGrau, Vázquez Antonio José. "Computer-aided validation of formal conceptual models". [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=961616598.
Pełny tekst źródłaHughes, Richard Sylvester. "The conceptual structure of product semantic models". Thesis, Brunel University, 1999. http://bura.brunel.ac.uk/handle/2438/4969.
Pełny tekst źródłaMaehle, Valerie A. "Conceptual models in the transfer of learning". Thesis, University of Aberdeen, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261454.
Pełny tekst źródłaNETO, ELVIDIO GAVASSONI. "APPLICATION OF NONLINEAR VIBRATION MODES TO CONCEPTUAL MODELS OF OFFSHORE STRUCTURES". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2012. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=21272@1.
Pełny tekst źródłaCONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
Estruturas offshore têm demandado, em função do aumento da profundidade da lâminha de água e da severidade do ambiente, análises de vibração cada vez mais confiáveis. Em face de oscilações com grandes deslocamentos, torna-se imprescindível uma análise não linear dessas estruturas. Métodos numéricos como os elementos finitos constituem-se numa tarefa computacionalmente custosa, uma vez que os acoplamentos modais tornam necessários modelos com muitos graus de liberdade. Isso dificulta as análises paramétricas e prolonga os ciclos de projeto para estruturas offshore. Uma alternativa a esses problemas é o uso de modelos de ordem reduzida. Os modos normais não lineares têm-se mostrado uma ferramenta eficiente na derivação de modelos de ordem reduzida para análises de vibrações não lineares. Isso ocorre porque um número menor de modos não lineares, em relação aos modelos com modos lineares, é necessário para se obter o mesmo nível de precisão num modelo reduzido. Esse trabalho utiliza modelos de ordem reduzida, obtidos por meio de análise modal não linear, para o estudo de vibração de modelos simplificados de estruturas offshore. Três exemplos de aplicação são utilizados: pêndulo invertido, torre articulada e plataforma spar. Além dos métodos baseado no procedimento de Galerkin e o assintótico, um procedimento numérico alternativo é proposto para obtenção dos modos, podendo ser utilizado para construção dos modos essencialmente não lineares. As vibrações livres e forçadas são estudadas. A estabilidade das soluções é analisada utilizando-se a teoria de Floquet, diagramas de bifurcação e de Mathieu e seções de Poincaré. As seções de Poincaré são também utilizadas para identificar a multiplicidade dos modos não lineares e a existência de multimodos. Os resultados são comparados com a solução obtida da integração numérica do sistema original de equações, mostrando uma boa precisão dos modelos reduzidos.
The increasing water depth and the ocean adverse environment demand more accurate vibration analysis of offshore structures. Due to large amplitude oscillations, a nonlinear vibration analysis becomes necessary. Numerical methods such as finite element constitute a computationally expensive task when applied to these problems, since the occurrence of modal coupling demands a high number of degrees-of-freedom. A feasible possibility to overcome these difficulties is the use of low order models. The nonlinear normal modes have been shown to be an effective tool in the derivation of reduced order models in nonlinear dynamics. In the use of nonlinear modal analysis fewer modes are required to achieve a given level of accuracy in comparison to the use of linear modes. This work uses the nonlinear normal modes to derive low dimensional models to study the vibration of simplified models of offshore structures. Three examples are considered: an inverted pendulum, an articulated tower and a spar platform. Both free and forced vibrations are studied. The asymptotic and Galerkin-based methods are used to derive the normal modes. In addition, an alternative numerical procedure to construct such modes is proposed, which can be used to derive coupled modes. The solution stability is determined by the use of the Floquet theory, bifurcation and Mathieu diagrams, and Poincaré sections. The Poincaré sections are also used to investigate the multiplicity of modes and multimodes. The results obtained from the numerical integration of the original system are favourably compared with those of the reduced order models, showing the accuracy of the reduced models.
Kucukyavuz, Fatih. "Transforming Conceptual Models Of The Mission Space Into Simulation Space Models". Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613158/index.pdf.
Pełny tekst źródłaJabbari, Sabegh Mohammad Ali. "A study of the combined use of conceptual models". Thesis, Queensland University of Technology, 2018. https://eprints.qut.edu.au/115490/1/Mohammad_Ali_Jabbari_Sabegh_Thesis.pdf.
Pełny tekst źródłaThompson, David Charles. "Feasibility of a skeletal modeler for conceptual mechanical design /". Full text (PDF) from UMI/Dissertation Abstracts International, 2000. http://wwwlib.umi.com/cr/utexas/fullcit?p3004386.
Pełny tekst źródłaSeibert, Jan. "Conceptual runoff models - fiction or representation of reality?" Doctoral thesis, Uppsala University, Department of Earth Sciences, 1999. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-290.
Pełny tekst źródłaAvailable observations are often not sufficient as a basis for decision making in water management. Conceptual runoff models are frequently used as tools for a wide range of tasks to compensate the lack of measurements, e.g., to extend runoff series, compute design floods and predict the leakage of nutrients or the effects of a climatic change. Conceptual runoff models are practical tools, especially if the reliability in their predictions can be assessed. Testing of these models is usually based solely on comparison of simulated and observed runoff, although most models also simulate other fluxes and states. Such tests do not allow thorough assessment ofmodel-prediction reliability. In this thesis, two widespread conceptual models, the HBV modeland TOPMODEL, were tested using a catalogue of methods for model validation (defined as estimation of confidence in model simulations). The worth of multi-criteria validation forevaluating model consistency was emphasised. Both models were capable to simulate runoffadequately after calibration, whereas the performance for some of the other validation tests wasless satisfactory. The impossibility to identify unique parameter values caused large uncertainties in model predictions for the HBV model. The parameter uncertainty was reducedwhen groundwater levels were included into the calibration, whereas groundwater-levelsimulations were in weak agreement with observations when the model was calibrated againstonly runoff. The agreement of TOP-MODEL simulations with spatially distributed data was weak for both groundwater levels and the distribution of saturated areas. Furthermore, validation against hydrological common sense revealed weaknesses in the TOPMODEL approach. In summary these results indicated limitations of conceptual runoff models and highlighted the need for powarful validation methods. The use of such methods enables assessment of the reliability of model predictions. It also supports the further development of models by identification of weak parts and evalution of improvements.
Freer, James E. "Uncertainty and calibration of conceptual rainfall runoff models". Thesis, Lancaster University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.266810.
Pełny tekst źródłaEl-Ghalayini, Haya Ahmed. "Reverse engineering domain ontologies to conceptual data models". Thesis, University of the West of England, Bristol, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.438785.
Pełny tekst źródłaWenren, Cheng. "Mixed Model Selection Based on the Conceptual Predictive Statistic". Bowling Green State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1403735738.
Pełny tekst źródłaSorooshian, Soroosh, i Vijai Kumar Gupta. "Improving the Reliability of Compartmental Models: Case of Conceptual Hydrologic Rainfall-Runoff Models". Department of Hydrology and Water Resources, University of Arizona (Tucson, AZ), 1986. http://hdl.handle.net/10150/614011.
Pełny tekst źródłaNicholson, Michael David. "Applications of branching processes to cancer evolution and initiation". Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/33034.
Pełny tekst źródłaChioasca, Erol-Valeriu. "Automatic construction of conceptual models to support early stages of software development : a semantic object model approach". Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/automatic-construction-of-conceptual-models-to-support-early-stages-of-software-development--a-semantic-object-model-approach(ded4f2e1-2614-4a6c-89c3-f259112b30cb).html.
Pełny tekst źródłaMalakhoff, Lev A. "Combat aircraft mission tradeoff models for conceptual design evaluation". Diss., Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/53583.
Pełny tekst źródłaPh. D.
Cabrera, Antonio Trani. "Combat aircraft scenario tradeoff models for conceptual design evaluation". Diss., Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/53920.
Pełny tekst źródłaPh. D.
GUERSON, J. O. "Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models". Universidade Federal do Espírito Santo, 2015. http://repositorio.ufes.br/handle/10/4283.
Pełny tekst źródłaConceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models.
Moolla, Ahmed Ismail. "A conceptual framework to measure brand loyalty / by Ahmed Ismail Moolla". Thesis, North-West University, 2010. http://hdl.handle.net/10394/4442.
Pełny tekst źródłaThesis (Ph.D. (Business Administration))--North-West University, Potchefstroom Campus, 2011.
Kleissen, Franciscus Maria. "Uncertainty and identifiability in conceptual models of surface water acidification". Thesis, Imperial College London, 1991. http://hdl.handle.net/10044/1/46868.
Pełny tekst źródłaJohansson, Henrik. "Conceptual information models to integrate data management in engineering simulation /". Luleå, 2002. http://epubl.luth.se/1402-1544/2002/33.
Pełny tekst źródłaOrellana, Bobadilla Barbara A. "Identification of lumped and semi-distributed conceptual rainfall runoff models". Thesis, Imperial College London, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.590036.
Pełny tekst źródłaHarmain, H. M. "Building object-oriented conceptual models using natural language processing techniques". Thesis, University of Sheffield, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312740.
Pełny tekst źródłaOmar, Mussa. "Semi-automated development of conceptual models from natural language text". Thesis, University of Huddersfield, 2018. http://eprints.hud.ac.uk/id/eprint/34665/.
Pełny tekst źródłaHowell, Dennis H. "Japan's Security Decisions: Allison's Conceptual Models and Missile Defense Policy". Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/42780.
Pełny tekst źródłaMaster of Arts
Collins, Sean E. "Comparing hypotheses proposed by two conceptual models for stream ecology". University of Cincinnati / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1396532770.
Pełny tekst źródłaDerrick, Emory Joseph. "Conceptual frameworks for discrete event simulation modeling". Thesis, Virginia Tech, 1988. http://hdl.handle.net/10919/43840.
Pełny tekst źródłaDe, Alwis Brian. "Supporting conceptual queries over integrated sources of program information". Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/695.
Pełny tekst źródłaClowes, Darren. "Hybrid semantic-document models". Thesis, Loughborough University, 2013. https://dspace.lboro.ac.uk/2134/14736.
Pełny tekst źródłaFerreira, Juliana dos Santos. "A conceptualização de bandido em expressões bandido de x: uma perspectiva cognitivista". Universidade do Estado do Rio de Janeiro, 2012. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=4079.
Pełny tekst źródłaThe theme of this study is the concept of bandit. We intend to investigate, analyze and describe the idealized cognitive models of 32 expressions resulted from the construction bandit of x .We organized a corpus composed of 137 comments taken from the internet that contain bandit of x expressions. We provide a description of the Idealized Cognitive Models. It counts on the contributions of Conceptual Metaphor Theory (LAKOFF and JONHSON, 1980), Conceptual Blending Theory (FAUCONNIER and TURNER, 2002) and Idealized Cognitive Models Theory (LAKOFF, 1987). The another part of the corpus was made by analyzing responses of 15 elementary school students, 18 middle school students and 20 college students which students set 24 expressions bandit x. The research followed a qualitative procedure of data analysis which we see the different interpretations given to the terms on the basis of various cognitive processes Thus, based on analysis of comments from netizens and definitions of students, we propose four processes of conceptualization to outlaw expressions of x: (a) conceptualization based on propositional cognitive models, where x is interpreted as a rental place of origin or acting bandit - bandit hill, street thug, thug in jail - (b) conceptualization based on the schematic, pictorial models, we observe the allocation of a kind of scale to the meaning attributed to construction, culminating in different status for category villain of x, the underlying expressions bandit first / second / fifth category / line, (c) conceptualization of x-based metonymic models, where x is a piece of clothing / footwear / accessories, so to interpret the bandit as belonging to a category that tends to use certain piece of clothing, accessory or footwear - white collar crook, uniformed bandits, bandit slipper - (d) conceptualization of BANDIT of x, based on metaphorical models in x is an abstract concept that can be understood as an object owned by the BANDIT in order to characterize it by way of acting or expertise - bandit concept, attitude bandit, bandit of faith. We believe, therefore, the possibility of description of standards governing the conceptualization of BANDIT of x, whose senses achieved through modifiers reveal productivity and complexity of the cognitive model BANDIT
Eryilmaz, Utkan. "A Verification Approach For Dynamics Of Metamodel Based Conceptual Models Of The Mission Space". Phd thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613144/index.pdf.
Pełny tekst źródłaHelvaci, Aziz. "Comparison Of Parametric Models For Conceptual Duration Estimation Of Building Projects". Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/2/12609759/index.pdf.
Pełny tekst źródłaMylopoulos, Maria. "Conceptual models for knowledge management, an empirical study using Knowledge Forum". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/MQ63065.pdf.
Pełny tekst źródłaCooper, Vincent A. "On automatic calibration of conceptual rainfall runoff models using optimisation techniques". Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=38473.
Pełny tekst źródłaFor developing this methodology, the research examined the capabilities of three GOMs for calibration, namely, the Shuffled Complex Evolution (SCE) method, a genetic algorithm (GA) and a simulated annealing procedure (SA), and one local optimisation method, the downhill simplex method (DSM). The GOMs all performed better than the DSM. The SCE displayed superior accuracy and robustness for synthetic data applications, being able to find all (five) selected sets of parameter values with almost 100% accuracy. However, the GA performed better than the SCE method with real data and perhaps reflects some weakness in the SCE to find global optimal points under difficult calibration conditions. The SA was inferior to the others with both types of data applications.
The importance of selection of parameter ranges is currently given little attention in the calibration process, but even with the superior search capability of GOMs, inflated search spaces can frustrate their searches and may lead to inferior parameter estimation. Several inequalities relating model parameters with the hydrologic data were developed, which when coupled with the SCE method, significantly improved the GOM performance. This modified SCE method appeared less sensitive to the problem of parameter range specification. A method for formulating these constraints was demonstrated on synthetic data and a procedure for its application to real data was done using data from two tropical watersheds.
Brown, Stephen Anthony. "Models for automatic diffrentiation : a conceptual framework for exploiting program transformation". Thesis, University of Hertfordshire, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028.
Pełny tekst źródłaBirkel, Christian. "Integrating high-resolution tracer data into lumped conceptual rainfall-runoff models". Thesis, University of Aberdeen, 2010. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=202563.
Pełny tekst źródłaWilliams, Gbolahan. "Architecting tacit information in conceptual data models for requirements process improvement". Thesis, King's College London (University of London), 2013. https://kclpure.kcl.ac.uk/portal/en/theses/architecting-tacit-information-in-conceptual-data-models-for-requirements-process-improvement(2d3369c6-4387-4b69-b625-c9d36705bfac).html.
Pełny tekst źródłaDillon, Andrew. "Knowledge acquisition and conceptual models: A Cognitive analysis of the interface". Cambridge: Cambridge University Press, 1987. http://hdl.handle.net/10150/106468.
Pełny tekst źródłaFamiglietti, James Stephen 1960. "Threshold structures in conceptual rainfall-runoff models : potential problems with calibration". Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/191912.
Pełny tekst źródłaChabert, Maxime. "Constraint programming models for conceptual clustering : Application to an erp configuration problem". Thesis, Lyon, 2018. http://www.theses.fr/2018LYSEI118/document.
Pełny tekst źródłaEnterprise Resource Planning (ERP) systems are essential for industrial companies to automatize and monitor their business processes in order to boost their competitiveness. ERP systems are generic software designed to serve a large variety of companies with different business processes. Therefore, they have many configuration options to support various business processes used in different companies. The implementation process of an ERP system consists in assigning values to ERP parameters according to the company requirements: It determines the exact operations and processes supported by the system in the specific company. Infologic is a French company that develops and integrates their own ERP system called Copilote. It has thousands of parameters that are used to adapt it as precisely as possible to customer requirements. However, this flexibility makes the implementation of Copilote a time consuming task that requires a deep knowledge of its functionalities and parameters. Reducing the complexity of the implementation of Copilote is a critical issue for Infologic who needs to integrate efficiently new system integrators to meet the demand of new customers. In this thesis, we study the implementation process of Copilote in order to understand the main issues encountered by Infologic. We propose a new approach for extracting a catalog of configuration parts from existing configurations of Copilote, and each configuration part is associated with the business requirement it fulfills in order to reuse it for next implementations of Copilote. To this aim, we propose to use constraint programming (CP) to easily integrate feedbacks of experts by means of new constraints or criteria. We introduce new CP models to solve conceptual clustering problems and a new global constraint for the exact cover problem with several propagation algorithms. We show it allows to model easily conceptual clustering problems and to solve it more efficiently thant existing delcarative approaches
Wijns, Christopher P. "Exploring conceptual geodynamic models : numerical method and application to tectonics and fluid flow". University of Western Australia. School of Earth and Geographical Sciences, 2005. http://theses.library.uwa.edu.au/adt-WU2005.0068.
Pełny tekst źródłaBENEVIDES, A. B. "A Model-Based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models". Universidade Federal do Espírito Santo, 2010. http://repositorio.ufes.br/handle/10/4211.
Pełny tekst źródłaEssa tese apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado de forma que, por um lado, ele protege o usuário da complexidade dos princípios ontológicos subjacentes à essa linguagem. Por outro lado, ele reforça esses princípios nos modelos produzidos por prover um mecanismo para verificação formal automática de restrições, daí assegurando que os modelos criados serão sintaticamente corretos. Além disso, avaliar a qualidade de modelos conceituais é um ponto chave para assegurar que modelos conceituais podem ser utilizados efetivamente como uma base para o entendimento, acordo e construção de sistemas de informação. Por essa razão, o editor é também capaz de gerar instâncias de modelos automaticamente por meio da transformação desses modelos em especificações na linguagem, baseada em lógica, chamada Alloy. Como as especificações Alloy geradas incluem os axiomas modais da ontologia fundacional subjacente à OntoUML, chamada Unified Foundational Ontology (UFO), então as instâncias geradas automaticamente vão apresentar um comportamento modal enquanto estiverem sendo classificadas dinamicamente, suportando, assim, a validação das meta-propriedades modais dos tipos fornecidos pela linguagem OntoUML.