Current Search: Larrondo Petrie, Maria M. (x)
View All Items
(1 - 13 of 13)
- Title
- Asynchronous distributed algorithms for multi-agent supporting systems.
- Creator
- Jin, Kai., Florida Atlantic University, Larrondo-Petrie, Maria M.
- Abstract/Description
-
Based on multi-agent supporting system (MASS) structures used to investigate the synchronous algorithms in my previous work, the partially and totally asynchronous distributed algorithms are proposed in this thesis. The stability of discrete MASS with asynchronous distributed algorithms is analyzed. The partially asynchronous algorithms proposed for both 1- and 2-dimensional MASS are proven to be convergent, if the vertical disturbances vary sufficiently slower than the convergent time of the...
Show moreBased on multi-agent supporting system (MASS) structures used to investigate the synchronous algorithms in my previous work, the partially and totally asynchronous distributed algorithms are proposed in this thesis. The stability of discrete MASS with asynchronous distributed algorithms is analyzed. The partially asynchronous algorithms proposed for both 1- and 2-dimensional MASS are proven to be convergent, if the vertical disturbances vary sufficiently slower than the convergent time of the system. The adjacent error becomes zero when the system converges. It is also proven that in 1-dimensional MASS using the proposed totally asynchronous algorithm, the maximum of the absolute value of the adjacent error is non-increasing over time. Finally, the simulation results for all the above cases are presented to demonstrate the theoretical findings.
Show less - Date Issued
- 1996
- PURL
- http://purl.flvc.org/fcla/dt/15277
- Subject Headings
- Electronic data processing--Distributed processing, Computer algorithms
- Format
- Document (PDF)
- Title
- A framework for an icon-based software engineering environment.
- Creator
- Huang, Qinxi., Florida Atlantic University, Larrondo-Petrie, Maria M.
- Abstract/Description
-
Current computer technologies and demands bring new challenges to the software engineering tools. This thesis includes a survey of software engineering environments, standards and technologies. It also examines the features needed to support rigorous object-oriented software development. The main contributions of the thesis are descriptions of innovative concepts and a high-level framework for a next-generation object-oriented software system development, management and maintenance...
Show moreCurrent computer technologies and demands bring new challenges to the software engineering tools. This thesis includes a survey of software engineering environments, standards and technologies. It also examines the features needed to support rigorous object-oriented software development. The main contributions of the thesis are descriptions of innovative concepts and a high-level framework for a next-generation object-oriented software system development, management and maintenance environment, called IconSEE++, an Icon-based Software Engineering Environment.
Show less - Date Issued
- 1998
- PURL
- http://purl.flvc.org/fcla/dt/15576
- Subject Headings
- Software engineering, Object-oriented methods (Computer science), Icon (Computer program language)
- Format
- Document (PDF)
- Title
- Models and Implementations of Online Laboratories; A Definition of a Standard Architecture to Integrate Distributed Remote Experiments.
- Creator
- Zapata Rivera, Luis Felipe, Larrondo Petrie, Maria M., Florida Atlantic University, College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Hands-on laboratory experiences are a key part of all engineering programs. Currently there is high demand for online engineering courses, but offering lab experiences online still remain a great challenge. Remote laboratories have been under development for more than 20 years and are part of a bigger category, called online laboratories, which includes also virtual laboratories. Development of remote laboratories in academic settings has been held back because of the lack of standardization...
Show moreHands-on laboratory experiences are a key part of all engineering programs. Currently there is high demand for online engineering courses, but offering lab experiences online still remain a great challenge. Remote laboratories have been under development for more than 20 years and are part of a bigger category, called online laboratories, which includes also virtual laboratories. Development of remote laboratories in academic settings has been held back because of the lack of standardization of technology, processes, operation and their integration with formal educational environments. Remote laboratories can be used in educational settings for a variety of reasons, for instance, when the equipment is not available in the physical laboratory; when the physical laboratory space available is not sufficient to either set up the experiments or permit access to all on-site students in the course; or when the teacher needs to provide online laboratory experiences to students taking courses via distance education. This dissertation proposes a new approach for the development and deployment of online laboratories over online platforms. The research activities performed include: The design and implementation of an architecture of a system for Smart Adaptive Remote Laboratories (SARL) integrated to educational environments to improve the remote laboratory users experience through the implementation of a modular architecture and the use of context information about the users and laboratory activities; the design pattern and implementation for the Remote Laboratory Management System (RLMS); the definition and implementation of an xAPI-based activity tracking system for online laboratories with support for both centralized and distributed architectures of Learning Record Stores (LRS); the definition of Smart Laboratory Learning Object (SLLO) capable of being integrated in different educational environments, including the implementation of a Lab Authoring module; and finally, the definition of a reliability model to detect and report failures and possible causes and countermeasures applying ruled based systems. The architecture proposed complies with the just approved IEEE 1876 Standard for Networked Smart Learning for Online Laboratories and supports virtual, remote, hybrid and mobile laboratories. A full set of low-cost online laboratory experiment stations were designed and implemented to support the Introduction to Logic Design course, providing true hands-on lab experience to students through the a low-cost, student-built mobile laboratory platform connected via USB to the SARL System. The SARL prototype have been successfully integrated to a Virtual Learning Environment (VLE) and a variety of configurations tested that can support privacy and security requirements of different stakeholders. The prototype online laboratory experiments developed have contributed and been featured in IEEE 1876 standard, as well as been integrated into an Industry Connections Actionable Data Book (ADB) that was featured in the Frankfurt Book Fair in 2017. SARL is being developed as the infrastructure to support a Latin American and Caribbean network of online laboratories.
Show less - Date Issued
- 2019
- PURL
- http://purl.flvc.org/fau/fd/FA00013282
- Subject Headings
- Remote laboratories, Online laboratories, Engineering Education, Software architecture
- Format
- Document (PDF)
- Title
- Towards a portal and search engine to facilitate academic and research collaboration in engineering and.
- Creator
- Bonilla Villarreal, Isaura Nathaly, Larrondo-Petrie, Maria M., Florida Atlantic University, College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
While international academic and research collaborations are of great importance at this time, it is not easy to find researchers in the engineering field that publish in languages other than English. Because of this disconnect, there exists a need for a portal to find Who’s Who in Engineering Education in the Americas. The objective of this thesis is to built an object-oriented architecture for this proposed portal. The Unified Modeling Language (UML) model developed in this thesis...
Show moreWhile international academic and research collaborations are of great importance at this time, it is not easy to find researchers in the engineering field that publish in languages other than English. Because of this disconnect, there exists a need for a portal to find Who’s Who in Engineering Education in the Americas. The objective of this thesis is to built an object-oriented architecture for this proposed portal. The Unified Modeling Language (UML) model developed in this thesis incorporates the basic structure of a social network for academic purposes. Reverse engineering of three social networks portals yielded important aspects of their structures that have been incorporated in the proposed UML model. Furthermore, the present work includes a pattern for academic social networks.
Show less - Date Issued
- 2014
- PURL
- http://purl.flvc.org/fau/fd/FA00004179, http://purl.flvc.org/fau/fd/FA00004179
- Subject Headings
- Computer network architecture, Critical theory, Embedded computer systems, Interdisciplinary research, Software architecture, UML (Computer science)
- Format
- Document (PDF)
- Title
- Analysis and implementation issues of the Icon Generator, Manager and Repository for an icon-based software engineering environment.
- Creator
- Portnoy, Ilya., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Computer icons, along with animation, sound and other multimedia features, can facilitate communications between clients, software engineers and managers. Icon-based Software Engineering Environment (IconSEE++), being developed at Florida Atlantic University, uses icons to convey concepts describing object-oriented software development projects, as well as to navigate to all technical and non-technical project documentation. IconSEE++ is composed of three layers. The Icon Generator, Manager...
Show moreComputer icons, along with animation, sound and other multimedia features, can facilitate communications between clients, software engineers and managers. Icon-based Software Engineering Environment (IconSEE++), being developed at Florida Atlantic University, uses icons to convey concepts describing object-oriented software development projects, as well as to navigate to all technical and non-technical project documentation. IconSEE++ is composed of three layers. The Icon Generator, Manager and Repository form a part of the middle layer. This thesis includes a survey of visual development tools and their comparison to IconSEE++. For the Icon Generator, Manager and Repository, the thesis presents object-oriented analysis models in UML notation, identifies implementation issues and provides strategies to solve them. Numerous code segments illustrating proposed solutions have been developed.
Show less - Date Issued
- 1999
- PURL
- http://purl.flvc.org/fcla/dt/15635
- Subject Headings
- Graphical user interfaces (Computer systems), Signs and symbols--Data processing
- Format
- Document (PDF)
- Title
- Approaches to object/relational database systems.
- Creator
- Vijayanagaram, Hemanth Kumar., Florida Atlantic University, Solomon, Martin K., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
In this thesis, we investigate the different proposed ways of combining object oriented and relational database systems (such combined systems are commonly called object-relational systems). This thesis is based on ideas presented in various papers about object and object relational databases. In this work, a discussion of standards such as ANSI's SQL3 (to be released) and ODMG-93 is given. In particular, the "Class = Relation" and "Class = Domain" approaches to object-relational systems are...
Show moreIn this thesis, we investigate the different proposed ways of combining object oriented and relational database systems (such combined systems are commonly called object-relational systems). This thesis is based on ideas presented in various papers about object and object relational databases. In this work, a discussion of standards such as ANSI's SQL3 (to be released) and ODMG-93 is given. In particular, the "Class = Relation" and "Class = Domain" approaches to object-relational systems are investigated. Arguments supporting the proposition that the latter approach is the correct approach are presented.
Show less - Date Issued
- 1996
- PURL
- http://purl.flvc.org/fcla/dt/15350
- Subject Headings
- Object-oriented databases, Relational databases
- Format
- Document (PDF)
- Title
- Complexity metrics in parallel computing.
- Creator
- Larrondo-Petrie, Maria M., Florida Atlantic University, Fernandez, Eduardo B., Coulter, Neal S., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Accompanying the potential increase in power offered by parallel computers is an increase in the complexity of program design, implementation, testing and maintenance. It is important to understand the logical complexity of parallel programs in order to support the development of concurrent software. Measures are needed to quantify the components of parallel software complexity and to establish a basis for comparison and analysis of parallel algorithms at various stages of development and...
Show moreAccompanying the potential increase in power offered by parallel computers is an increase in the complexity of program design, implementation, testing and maintenance. It is important to understand the logical complexity of parallel programs in order to support the development of concurrent software. Measures are needed to quantify the components of parallel software complexity and to establish a basis for comparison and analysis of parallel algorithms at various stages of development and implementation. A set of primitive complexity measures is proposed that collectively describe the total complexity of parallel programs. The total complexity is separated into four dimensions or components: requirements, sequential, parallel and communication. Each proposed primitive measure is classified under one of these four areas. Two additional possible dimensions, fault-tolerance and real-time, are discussed. The total complexity measure is expressed as a vector of dimensions; each component is defined as a vector of primitive metrics. The method of quantifying each primitive metric is explained in detail. Those primitive metrics that contribute to the parallel and communications complexity are exercised against ten published summation algorithms and programs, illustrating that architecture has a significant effect on the complexity of parallel programs--even if the same programming language is used. The memory organization and the processor interconnection scheme had no effect on the parallel component, but did affect the communication component. Programming style and language did not have a noticeable effect on either component. The proposed metrics are quantifiable, consistent, and useful in comparing parallel algorithms. Unlike existing parallel metrics, they are general and applicable to different languages, architectures, algorithms, paradigms, programming styles and stages of software development.
Show less - Date Issued
- 1992
- PURL
- http://purl.flvc.org/fcla/dt/12296
- Subject Headings
- Parallel programming (Computer Science), Computer algorithms
- Format
- Document (PDF)
- Title
- Analysis of graphical user interfaces designed for an ecological data system.
- Creator
- Thampi, Lakshmi V., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The South Florida Water Management District (SFWMD) established in 1949, is the oldest and largest water management institution in Florida. The Lake Okeechobee Ecosystem Study (LOES) a five-year study, conducted by SFWMD to collect information about water quality and other ecological factors in the Lake Okeechobee area, is one of the many projects that the SFWMD is involved in for the restoration of Florida's ecosystem. The study resulted in a large volume of information being compiled by...
Show moreThe South Florida Water Management District (SFWMD) established in 1949, is the oldest and largest water management institution in Florida. The Lake Okeechobee Ecosystem Study (LOES) a five-year study, conducted by SFWMD to collect information about water quality and other ecological factors in the Lake Okeechobee area, is one of the many projects that the SFWMD is involved in for the restoration of Florida's ecosystem. The study resulted in a large volume of information being compiled by scientists into files of different formats. Florida Atlantic University (FAU) undertook the task of restructuring the database and designing and implementing the Graphical User Interfaces (GUI) to support this ecological system. As part of an earlier project, an object model was designed to standardize the files that also helped in the creation of a relational database to store the information. A goal of the current project was to design GUIs that could be used without difficulty, by persons that may or may not be database technology familiar. This thesis describes and analyzes the design and implementation of the GUIs. It focuses on the two types of interfaces implemented, namely the Query and Administrative forms. The implementation of the GUIs were completed and tested and deployed at SFWMD.
Show less - Date Issued
- 2000
- PURL
- http://purl.flvc.org/fcla/dt/12661
- Subject Headings
- Graphical user interfaces (Computer systems), Information storage and retrieval systems--Ecology
- Format
- Document (PDF)
- Title
- Generating formal models from UML class diagrams.
- Creator
- Shroff, Malcolm Keki., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read,...
Show moreThe rich structuring mechanisms, and abstract modeling constructs available in most graphical object-oriented modeling methods (OOMs) facilitate the creation of abstract, visually-appealing, highly-structured graphical models. On the other hand, lack of formal semantics for the modeling notation can severely limit the utility of OOMs. Formal specification techniques (FSTs) support the creation of precise and analyzable specifications, but they can be tedious to create and difficult to read, especially by system developers not trained in formal methods. The complementary strengths of OOMs and FSTs suggest that their integration can result in techniques that can be used to create precise and analyzable models. This thesis describes a technique for integrating analysis level UML (Unified Modeling Language) Class Diagrams with the formal notation Object-Z.
Show less - Date Issued
- 1997
- PURL
- http://purl.flvc.org/fcla/dt/15514
- Subject Headings
- UML (Computer science), Object-oriented methods (Computer science)
- Format
- Document (PDF)
- Title
- Information hiding: Digital watermarking techniques.
- Creator
- Sadicoff, Mauricio Levy., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Digital Watermarking is a multimedia technique recently developed with the purpose of enhancing copyright protection on multimedia files. This thesis presents a survey of digital watermark features and classifications. It also proposes a classification method that includes most of previous classifications. The thesis then proceeds to detail two digital watermarking methods, Lower Significant Bit Encoding and Spread Spectrum Encoding. Software is designed and implemented to show the...
Show moreDigital Watermarking is a multimedia technique recently developed with the purpose of enhancing copyright protection on multimedia files. This thesis presents a survey of digital watermark features and classifications. It also proposes a classification method that includes most of previous classifications. The thesis then proceeds to detail two digital watermarking methods, Lower Significant Bit Encoding and Spread Spectrum Encoding. Software is designed and implemented to show the capabilities and behavior of each method. The software also shows how each method reacts to four typical transformations (attacks). The results of applying the two methods and their survival rates against the typical transformations are discussed in detail. Finally, the source code for the software is made available.
Show less - Date Issued
- 2002
- PURL
- http://purl.flvc.org/fcla/dt/12897
- Subject Headings
- Computer software--Development, Digital watermarking, Data encryption (Computer science)
- Format
- Document (PDF)
- Title
- The notion of aggregation.
- Creator
- Saksena, Monika., Florida Atlantic University, France, Robert B., Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Most popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a...
Show moreMost popular object-oriented modeling techniques (OOMTs) provide good support for the creation of conceptual models of system behavior and structure. A serious drawback of these techniques is that the concepts and notations used are not rigorously defined. This can lead to the creation of ambiguous models, and to disagreements over the proper use and interpretation of modeling constructs. An important modeling construct that is often loosely defined is aggregation. This thesis presents a precise characterization of aggregation that can help developers identify appropriate applications of the concept. Our characterization is the result of careful analysis of literature on conceptual modeling, knowledge representation and object-oriented (OO) modeling. We discuss primary and secondary properties of aggregation and propose annotations for UML (Unified Modeling Language). An extensive discussion of the more useful patterns of aggregation helps developers pick a suitable prescription of aggregation.
Show less - Date Issued
- 1998
- PURL
- http://purl.flvc.org/fcla/dt/15537
- Subject Headings
- Object-oriented methods (Computer science), UML (Computer science)
- Format
- Document (PDF)
- Title
- Industrial-strength formalization of object-oriented real-time systems.
- Creator
- Raghavan, Gopalakrishna., Florida Atlantic University, Larrondo-Petrie, Maria M., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
The goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The...
Show moreThe goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The proposed process uses industry standard tools and fits well within stringent industrial schedules. Formal requirements analysis is conducted using High Level Message Sequencing Chart (HMSC) and Message Sequencing Chart (MSC). In the formal analysis phase, the static structures are modeled using Unified Modeling Language (UML) and the constraints are formalized using Object Constraint Language (OCL). System behavior is formally modeled using Specification and Description Language (SDL) during the formal design phase. SDL is used for behavior modeling due to wide commercial availability of SDL-based tools for formal behavior analysis and validation. Transition rules mapping from UML Class Diagrams and Statecharts to SDL models are proposed. SDL models are formally simulated and validated during the formal validation phase. Using the proposed process real-time clock, timer, periodic process, aperiodic process, resource and precedence constraints were formalized. Different types of timers, such as periodic, aperiodic, one-shot, fixed-interval and variable-interval timers are derived using inheritance models. Semaphore wait and signal operations are formalized as part of the resource constraint. Pre-conditions, post-conditions and invariants for the real-time constraints were captured using OCL. Behavior of the proposed models were captured using Statecharts. The proposed mapping rules were used to translate the behavior models to SDL. The SDL models were formally simulated and validated using Telelogic Software Development Tool (SDT). The tools allowed extensive model analysis and helped uncover several design flaws. The real-time constraints were stereotyped and packaged into reusable formal components. These components can be easily imported by applications. Two case studies, Cruise Control System and Bottle Filling System, are included to illustrate the use of the proposed process and the real-time package. The "industrial-strength" of the process was validated by utilizing the proposed process in an industrial project where it was found to accelerate the development process.
Show less - Date Issued
- 2000
- PURL
- http://purl.flvc.org/fcla/dt/12632
- Subject Headings
- Object-oriented programming (Computer science), Real-time data processing, Formal methods (Computer science)
- Format
- Document (PDF)
- Title
- Software development for ecological data systems.
- Creator
- Lostal, Sergio L., Florida Atlantic University, Larrondo-Petrie, Maria M., Solomon, Martin K., College of Engineering and Computer Science, Department of Computer and Electrical Engineering and Computer Science
- Abstract/Description
-
Software development for ecological data systems is concentrated in the description, modeling, and standardization of large amounts of ecological data. Ecological data assembled in many formats is very difficult to reuse. This thesis develops a database model that supports the storage of heterogeneous data in standardized formats. Ecological data standardization is solved with the specification of a structure conversion system. Because input formats cannot be predicted, a scientific data...
Show moreSoftware development for ecological data systems is concentrated in the description, modeling, and standardization of large amounts of ecological data. Ecological data assembled in many formats is very difficult to reuse. This thesis develops a database model that supports the storage of heterogeneous data in standardized formats. Ecological data standardization is solved with the specification of a structure conversion system. Because input formats cannot be predicted, a scientific data description language was created to control the execution of the conversion system. System analysis is based on interviews with South Florida Water Management District scientists conducting ecosystem research, and ecological data collected at Lake Okeechobee, Florida, during a five-year study. Object-oriented and structural methods were used for analysis. Development is complemented with an introduction to user interfaces.
Show less - Date Issued
- 1996
- PURL
- http://purl.flvc.org/fcla/dt/15344
- Subject Headings
- Ecology--Data processing, Information storage and retrieval systems--Ecology, Okeechobee, Lake (Fla)
- Format
- Document (PDF)
