Data models for the representation of complex and uncertain information

Download
047298.pdf
1995
Merdan, Osman
Show full item record
118
views
0
downloads
https://hdl.handle.net/11511/11674
Graduate School of Natural and Applied Sciences, Thesis

Suggestions

Data abstraction method for model checking of real-time systems
Dursun, Mustafa; Bilgen, Semih; Department of Electrical and Electronics Engineering (2015)
Model checking consists of automatic techniques for verifying whether a specified formal property holds for a specific state in a given finite-state model of a system. A major limitation of model checking arises in modeling infinite state systems. This limitation is the main obstacle for model checking of real time systems, due to the need for verifying real time constraints and the necessity of considering infinite data domains. Timed automata models are used to successfully cater for temporal behavior in ...
DATA-DRIVEN APPROACH FOR RUBBERLIKE MATERIALS
Tüfekçioğlu, Murat Enis; Dal, Hüsnü; Department of Micro and Nanotechnology (2022-11-22)
Rubberlike materials, due to their structure, can undergo very high strains during loading and exhibit highly non-linear behavior. After the load is removed, they usually return to their pre-deformation shape, in a sense, no energy is lost during their deformation. Due to these properties, Rubberlike materials can be modeled as hyperelastic materials. The modeling approach of many people dealing with rubber is to choose one of the appropriate free energy/strain energy functions developed for rubber in the l...
Data-driven modeling using deep neural networks for power systems demand and locational marginal price forecasting
Jimu, Honest; Fahrioğlu, Murat; Electrical and Electronics Engineering (2022-9)
Forecasting electricity demand and locational marginal prices (LMPs) have become critical components for power system security and management. Electricity Demand Forecasting (EDF) aids the utility in maximizing the use of power-generation plants and scheduling them for both reliability and cost-effectiveness. In this thesis, a novel Deep Neural Network Long Short-Term Memory (DNN-LSTM) forecasting model is suggested to improve accuracy and robustness for predicting hourly day ahead power system load and LMP...
Data mining for regional and graph-structured data objects
Dinler, Dery; Tural, Mustafa Kemal; Department of Industrial Engineering (2019)
Three research problems are addressed in this study. The first one is a semi-supervised clustering problem with instance-level constraints where each data object is either a closed convex bounded polytope or a closed disk. We first model the problem of computing the centroid of a given cluster as a second order cone programming problem. Also, a subgradient algorithm is adopted for its faster solution. We then propose a mixed-integer second order cone programming formulation and six heuristic approaches for ...
Data mining for rule discovery in relatonal databases
Toprak, Serkan; Alpaslan, Ferda Nur; Department of Computer Engineering (2004)
Data is mostly stored in relational databases today. However, most data mining algorithms are not capable of working on data stored in relational databases directly. Instead they require a preprocessing step for transforming relational data into algorithm specified form. Moreover, several data mining algorithms provide solutions for single relations only. Therefore, valuable hidden knowledge involving multiple relations remains undiscovered. In this thesis, an implementation is developed for discovering mul...
Citation Formats
O. Merdan, “Data models for the representation of complex and uncertain information,” Middle East Technical University, 1995.
METU IIS - Integrated Information Service open@metu.edu.tr