Engineering Commons^™

A Framework To Support Automatic Certification For Self-Adaptive Systems, Ioannis Nearchou

Masters Theses

Presently, cyber-physical systems are increasingly being integrated into societies, from the economic sector to the nuclear energy sector. Cyber-physical systems are systems that combine physical, digital, human, and other components, which operate through physical means and software. When system errors occur, the consequences of malfunction could negatively impact human life. Academic studies have relied on the MAPE-K feedback loop model to develop various system components to satisfy the self-adaptive features, such that violation of the safety requirements can be minimized. Assurance of system requirement satisfaction is argued through an industrial standard form, called an assurance case, which is usually applied …

Improving Query Efficiency Of Multiresolution Data Aggregation For Analytical Exploration Of Large Relational Dataset, Yu-Ting Huang

Masters Theses

Tree structures are developed to organize the data more efficiently by using fewer resources for searching records. This thesis investigates the tree's actual structure on the hard disk to see the influence of different kinds of structures on the tree building time and query execution time. In order to improve efficiency, one multi-file structure and two reorganization structures, BFS and DFS, are examined to achieve this goal. The results indicate that two reorganization structures on KDB-tree structure can significantly improve the query execution time in large data sets and multi-file structure can slightly improve the TPIE lover level building time.

Middle Terminal Cell Models For Efficient Over-The-Cell Routing, Siddharth Bhingarde

Masters Theses

In this thesis, we introduce a new class of cell models called Middle Terminal Models (MTM) which combines the advantages of existing cell models: BTM and CTM. This class contains the models 2MTM, 3MTM-V, and 3MTM+V depending on the number of metal layers and the permissibility of vias in over-the-cell areas. In MTM, two rows of terminals are located in the middle of the cell. This partitions over-the-cell area into three regions and allows allocation of more nets to over-the-cell area in congested channels. We prove that when vias are allowed over-the-cell, in "almost all" cases the MTM based layouts …

An Integrated Simulation Model Development Environment For Slam Ii Using Object-Oriented Paradigm, Rizvan Erol

Masters Theses

An integrated simulation model development environment was implemented to assist the modeler by automating certain activities of simulation modeling. The system included interactive model definition, experimental design, automatic simulation program generation in SLAM II. Object-oriented paradigm at software development stage was extensively used to conceptualize the structure, and rules of the SLAM II language in order to generate efficient, and modular program code. The present system targeted modeling of various probabilistic inventory control system problems. The remarkable advantages of the system were rapid model development time, and achieving reliable program code without requiring any knowledge in SLAM II. Object-oriented programming …

A Computer Simulation Of The Rotary Vacuum Filter Brown Stock Washing System Using Distribution Sampling, Edison G. Yiu

Masters Theses

A probabilistic model was utilized to simulate the brown stock washing system's error due to process variability and measurement noise. Mass balances of the washing system were performed using distribution sampling. This model relies on a nonlinear relationship between displacement and dilution, which permitted the generation of displacement ratio based upon wash liquor ratio. Experimental trials were performed on a pilotscale rotary vacuum single-stage washer. Nonlinear first-order relationship appears to characterize a pilotscale washer adequately. Differences were observed between the means and standard deviations of the measured results compared to the simulation output. Future work is needed to identify the …

On Planar Routing Of Multi-Terminal Nets In Vlsi Physical Design, Jahangir A. Hashmi

Masters Theses

In this thesis, we study two problems related to the physical design of VLSI circuits. One problem is related to the VLSI global routing and the other is related to the detailed routing in a bounded region.

We consider the routing of multiple multi-terminal nets on a single layer. We suggest a new approach for this problem. Our approach is based on simultaneously finding a forest of k non-intersecting spanning trees. We present an O(n^3) algorithm for finding two spanning trees corresponding to two nets on a single layer.

We also study the problem of finding a minimum Steiner tree …

Mocad: A Graphic Predetermined Time Standards Software For The Ibm P.C., Raad A. Dawood

Masters Theses

MODCAD is a software program designed to give MODAPTS (MODular Arrangement of Predetermined Time Standards) the capability to generate workplace layouts that can be used in conjunction with the time study analysis. Software packages have been developed for MODAPTS such as MODAPTS Plus and Task Master that allow the user to input the predetermined codes of MODAPTS.

AutoCAD (a computer aided design software) is used to combine MODAPTS codes and workplace layout drawings in a single environment by customizing the standard AutoCAD menus and icons to include the MODAPTS codes and routines. AutoLisp (AutoCAD resident language) is used to write …