Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (2498)
- Chemistry (1318)
- Physics (1078)
- Engineering (1076)
- Earth Sciences (875)
-
- Geology (669)
- Mathematics (649)
- Environmental Sciences (545)
- Statistics and Probability (545)
- Life Sciences (496)
- Oceanography and Atmospheric Sciences and Meteorology (410)
- Electrical and Computer Engineering (308)
- Applied Mathematics (276)
- Biochemistry, Biophysics, and Structural Biology (273)
- Biochemistry (245)
- Optics (212)
- Astrophysics and Astronomy (210)
- Information Security (200)
- Atmospheric Sciences (173)
- Operations Research, Systems Engineering and Industrial Engineering (153)
- Artificial Intelligence and Robotics (145)
- Social and Behavioral Sciences (143)
- Biostatistics (141)
- Computer Engineering (133)
- Software Engineering (129)
- Meteorology (126)
- Atomic, Molecular and Optical Physics (122)
- Medicine and Health Sciences (122)
- Civil and Environmental Engineering (116)
- Institution
-
- Air Force Institute of Technology (2216)
- Brigham Young University (1837)
- University of Wisconsin Milwaukee (872)
- University of South Carolina (805)
- Virginia Commonwealth University (691)
-
- University for Business and Technology in Kosovo (399)
- University of Texas Rio Grande Valley (364)
- University of North Dakota (347)
- Florida Institute of Technology (340)
- Illinois State University (109)
- Mississippi State University (103)
- Columbus State University (99)
- Rowan University (72)
- American University in Cairo (38)
- City University of New York (CUNY) (31)
- St. John's University (6)
- Nova Southeastern University (5)
- Pepperdine University (3)
- Utah State University (3)
- Texas A&M International University (1)
- Keyword
-
- Machine learning (152)
- Physical Sciences and Mathematics, Chemistry (84)
- #antcenter (80)
- Geology (70)
- Deep learning (65)
-
- Pure sciences (60)
- Machine Learning (58)
- Software engineering (49)
- Computer networks--Security measures (47)
- Synthesis (46)
- Chemistry (45)
- Computer security (44)
- Algorithms (43)
- Nanoparticles (41)
- Artificial intelligence (40)
- Simulation (38)
- Optimization (37)
- Mass spectrometry (36)
- Computer vision (35)
- Adaptive optics (34)
- Applied sciences (32)
- Image processing (32)
- Catalysis (31)
- Remote sensing (31)
- Neural networks (Computer science) (30)
- Bayesian (29)
- Physical Sciences and Mathematics, Mathematics (29)
- Classification (28)
- Security (27)
- Object-oriented programming (Computer science) (26)
- Publication Year
- File Type
Articles 7501 - 7530 of 8341
Full-Text Articles in Physical Sciences and Mathematics
Biomedical Data Interpolation For 3-D Visualization, Ming-Chung Chen
Biomedical Data Interpolation For 3-D Visualization, Ming-Chung Chen
Theses and Dissertations
Medical imaging devices that produce three-dimensional data usually produce the data in the form of image slices. In such images, the resolution in z direction is lower than in x and y directions. Before extracting and displaying objects in such images, an interpolated 3-D gray-scale volume image can be generated via image interpolation techniques to fill in the missing information. The subject of this thesis is the applying three different interpolation techniques to generate intermediate slices and comparing their qualities. The three interpolation techniques are linear interpolation, cubic spline interpolation, and Fourier interpolation. We also apply the CT image matching …
The Mathematics Of Measuring Capabilities Of Artificial Neural Networks, Martha A. Carter
The Mathematics Of Measuring Capabilities Of Artificial Neural Networks, Martha A. Carter
Theses and Dissertations
Researchers rely on the mathematics of Vapnik and Chervonenkis to capture quantitatively the capabilities of specific artificial neural network (ANN) architectures. The quantifier is known as the V-C dimension, and is defined on functions or sets. Its value is the largest cardinality 1 of a set of vectors in Rd such that there is at least one set of vectors of cardinality 1 such that all dichotomies of that set into two sets can be implemented by the function or set. Stated another way, the V-C dimension of a set of functions is the largest cardinality of a set, such …
Optimal Mixed-Norm Control Synthesis For Discrete-Time Linear Systems, David R. Jacques
Optimal Mixed-Norm Control Synthesis For Discrete-Time Linear Systems, David R. Jacques
Theses and Dissertations
A mixed-norm approach to control synthesis for discrete time linear systems is developed. Specifically, the problem of minimizing the H2 norm of a transfer function, subject to a combination of ℓ1 and-or H∞ norm constraints on dissimilar but related transfer functions is considered. The uniqueness of the optimal solution is shown, and numerical methods for approximating the optimal solution to within arbitrary accuracy are developed. These methods generally result in high order compensators which can not be implemented in most practical applications. In response to this, a numerical method is developed which solves for suboptimal solutions of …
Physiologically-Based Pharmacokinetic Modeling Of Skin Absorption Using Dermal Subcompartments, Richard L. Bookout Jr.
Physiologically-Based Pharmacokinetic Modeling Of Skin Absorption Using Dermal Subcompartments, Richard L. Bookout Jr.
Theses and Dissertations
Dermal penetration of chemicals and drugs is important to both toxicologists and pharmacologists. Drug developers try to enhance and environmental professionals try to limit penetration of chemicals through the skin. Both can use predictive biologically-based mathematical models to assist in understanding the processes involved. When these models are based on physiological and biochemical parameters which can be measured in the laboratory, they can be extremely useful. Appropriately validated models based on first principles can be predictive of human exposures when the processes involved are adequately understood. In this thesis we develop four new physiologically-based pharmacokinetic (PBPK) models to predict blood …
A Robust Method Of Solving Nonlinear Boundary Value Problems Via Modified Compromise Programming, John L. Zornick
A Robust Method Of Solving Nonlinear Boundary Value Problems Via Modified Compromise Programming, John L. Zornick
Theses and Dissertations
This study is an extension of Ng's previous work in which goal programming was used to determine an approximate solution to a boundary value problem. This approach follows the same basic approach developed by Ng in which the method of collocation was recast as a compromise programming model. Hence, instead of solving a system of simultaneous nonlinear equations, one seeks a compromise solution which minimizes (in a weighted residual sense) a vector norm of the differential equation residuals. A difference in this approach is that it makes use of a genetic algorithm as the optimizing engine as opposed to the …
Estimation Of The Captive-Carry Survival Function For The Advanced Medium Range Air-To-Air Missile (Amraam), David R. Denhard
Estimation Of The Captive-Carry Survival Function For The Advanced Medium Range Air-To-Air Missile (Amraam), David R. Denhard
Theses and Dissertations
This thesis considers the problem of estimating the survival function of an item (probability that the item functions for a time greater than a given time t) from sampling data subject to partial right censoring (a portion of the items in the sampling data have not yet been observed to fail). Specifically the thesis describes several parametric and non-parametric statistical models that can be used when the sampling data is subject to partial right censoring. These models are applied to the case of estimating the captive-carry survival function of the AIM-120A Advanced Medium Range Air-to-Air Missile (AMRAAM).
Nonlinear Time Series Analysis, James A. Stewart
Nonlinear Time Series Analysis, James A. Stewart
Theses and Dissertations
This thesis applies neural network feature selection techniques to multivariate time series data to improve prediction of a target time series. Two approaches to feature selection are used. First, a subset enumeration method is used to determine which financial indicators are most useful for aiding in prediction of the S&P 500 futures daily price. The candidate indicators evaluated include RSI, Stochastics and several moving averages. Results indicate that the Stochastics and RSI indicators result in better prediction results than the moving averages. The second approach to feature selection is calculation of individual saliency metrics. A new decision boundary-based individual saliency …
A Decision Model For Environmental Assessment Of Process Waste Products, Kyle F. Byard
A Decision Model For Environmental Assessment Of Process Waste Products, Kyle F. Byard
Theses and Dissertations
Environmental managers must compare the potential impacts of waste products when deciding upon courses of action. The estimation and comparison of these impacts is a subjective process, and few methods of comprehensive, quantitative comparison of waste products currently exist. The intent of this study is to develop a decision methodology to evaluate the environmental impacts of waste products and to score them for comparison. The method will follow established system design principles and incorporate significant characteristics of the waste material. Scores derived to represent the environmental impacts of materials will then he analyzed employing statistical and probabilistic methods to assess …
Multipoint Quadratic Approximation For Numerical Optimization, Michael A. Blaylock
Multipoint Quadratic Approximation For Numerical Optimization, Michael A. Blaylock
Theses and Dissertations
A quadratic approximation for nonlinear functions is developed in order to realize computational savings in solving numerical optimization problems. Function and gradient information accumulated from multiple design points during the iteration history is used in estimating the Hessian matrix. The approximate Hessian matrix is the available for a second order Taylor series approximation to the functions of interest. Several truss and frame models will be used to demonstrate the effectiveness of the new Multipoint Quadratic Approximation (MQA) in solving structural optimization problems.
Groundwater Model Parameter Estimation Using Response Surface Methodology, Richard M. Cotman
Groundwater Model Parameter Estimation Using Response Surface Methodology, Richard M. Cotman
Theses and Dissertations
This thesis examined the use of response surface methodology (RSM) to estimate the parameters of a finite-element groundwater model. An existing two-dimensional, steady-state flow model of a fractured carbonate groundwater system in southwestern Ohio served as the calibration target data set. A Plackett-Burman screening design showed that only four of the ten hydraulic conductivity zones significantly contributed to the output of the finite-element model. Also, the effective porosity parameter did not significantly affect the model's output. Using only the four significant hydraulic conductivity parameters; four two-level, four-factor designed experiments were conducted to exploit the first-order response surface defined by a …
A New Goodness-Of-Fit Test For The Gamma Distribution Based On Sample Spacings From Complete And Censored Samples, Huseyin Duman
A New Goodness-Of-Fit Test For The Gamma Distribution Based On Sample Spacings From Complete And Censored Samples, Huseyin Duman
Theses and Dissertations
This thesis studies a new goodness-of-fit test for the gamma distribution with known shape parameter. This test statistic, Z*, is based on spacings from complete or censored samples. The size of samples varied between 5 and 35. The critical value tables were generated for the Z* test statistic for complete and censored samples. The critical values were obtained for five different significance levels: 0.20 0.15, 0.10, 0.05, and 0.01. An extensive power study, containing 50,000 Monte Carlo runs was conducted using nine alternative distributions, Ha. It was observed that the Z* test statistic was more powerful against certain …
Analysis Of Heads-Up Display Quickening Versus Handling Qualities, Gary M. Konnert
Analysis Of Heads-Up Display Quickening Versus Handling Qualities, Gary M. Konnert
Theses and Dissertations
This study investigated an analytical means of selecting the quickening time constant for the standardized Heads-Up Display flight path marker. The theoretically determined time constant allowed a faster, less resource intensive means of selecting the quickening time constant. The theoretically best time constant for pilot-aircraft handling qualities was equal to the airframe pitch attitude high frequency zero time constant, Tθ2. Flight test indicated an empirical, more labor intensive method yielded better handling qualities, even though paper analysis indicated the theoretical method was better. The theoretically determined time constant gave slightly lower handling qualities. but was less costly to …
Acquiring Consistent Knowledge For Bayesian Forests, Darwyn O. Banks
Acquiring Consistent Knowledge For Bayesian Forests, Darwyn O. Banks
Theses and Dissertations
This thesis develops a methodology and a tool for knowledge acquisition with the new probabilistic knowledge representation-the Bayesian Forest. It establishes the structure of the Knowledge Acquisition and Maintenance module of the Probabilities. Expert Systems, Knowledge and Inference (PESKI) architecture. The tool, MACK, is designed to be used directly by the domain expert(s) rather than by knowledge engineer(s), and thus supports automated knowledge acquisition. This research determines and implements the constraints necessary to ensure the consistency of Bayesian Forest knowledge bases as data is both acquired and subsequently maintained. The impact to the PESKI architecture of time-dependent information and default …
An Improved Solution Methodology For The Arsenal Exchange Model (Aem), Jeffery D. Weir
An Improved Solution Methodology For The Arsenal Exchange Model (Aem), Jeffery D. Weir
Theses and Dissertations
The purpose of this research was to design a solution methodology for the Arsenal Exchange Model (AEM) that is faster and contains less precision error than the current one. The current solution methodology modifies some of the original constraints and uses a computationally slow matrix inverter. The improved methodology uses a revised simplex algorithm to first solve a subproblem having only the weapon constraints generated by the AEM. Given this optimal allocation, hedge constraints and target constraints that are violated by the current solution are added to the original subproblem. A dual simplex algorithm is used to find the optimal …
Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken
Formal Foundations For The Specification Of Software Architecture, Mark J. Gerken
Theses and Dissertations
This investigation establishes a formal foundation for software architecture that allows for the specification of large, non-trivial software systems using well founded, consistency preserving construction techniques. Two fundamental problems were addressed: how to define and express architectures formally using the concept of theories, and how architecture theories can be practically applied in specification construction. The initial stages of this investigation sought to establish a formal, mathematical relationship between functional specifications of behavior and specifications defining system structure. Experimental results lead to the conclusion that architectures defining the structure of functional operations can be defined using functional logic, but more complex …
Teaching Accommodation Task Skills: From Human Demonstration To Robot Control Via Artificial Neural Networks, Paul V. Whalen
Teaching Accommodation Task Skills: From Human Demonstration To Robot Control Via Artificial Neural Networks, Paul V. Whalen
Theses and Dissertations
A simple edge-mating task, performed automatically by accommodation control, was used to study the feasibility of using data collected during a human demonstration to train an artificial neural network (ANN) to control a common robot manipulator to complete similar tasks. The 2-dimensional (planar) edge-mating task which aligns a peg normal to a fiat table served as the basis for the investigation. A simple multi-layered perceptron (MLP) ANN with a single hidden layer and linear output nodes was trained using the back-propagation algorithm with momentum. The inputs to the ANN were the planar components of the contact force between the peg …
Response Surface Methodology As A Sensitivity Tool In Decision Analysis, David A. Meyers
Response Surface Methodology As A Sensitivity Tool In Decision Analysis, David A. Meyers
Theses and Dissertations
The purpose of this study is to evaluate response surface methodology as a sensitivity analysis tool in the area of decision analysis. The advent of low-cost personal computer software, such as DPLTM, has created an accessible tool with the ability to frame and solve influence diagrams for decision problems. This study provides a comparison of current sensitivity analysis techniques vs those made possible through response surface methodology (RSM). Sensitivity analysis alternatives are demonstrated on a decision problem concerning the evaluation of force structure options for the Department of Defense. Sensitivity analysis is performed on both one-way and two-way perturbations of …
The Effect Of Repeatedly Sampling An Embedded Metamodel On The Simulation Response, John Kent Patterson
The Effect Of Repeatedly Sampling An Embedded Metamodel On The Simulation Response, John Kent Patterson
Theses and Dissertations
This study investigated the effect on simulation output of repeatedly sampling an embedded metamodel. A metamodel is said to be embedded within a simulation if it is used to replace a submodule of that simulation. Replacing a deterministic module with an embedded deterministic metamodel poses no apparent mathematical problems. However, using a deterministic metamodel to replace a stochastic simulation component could require additional corrective actions. This research was performed in two phases. The first phase dealt with a set of tandem queues. It was shown that as each queue was sequentially replaced with a metamodel, the total system variance was …
Spatial Time-Series: Pollution Pattern Recognition Under Irregular Interventions, Samuel A. Wright
Spatial Time-Series: Pollution Pattern Recognition Under Irregular Interventions, Samuel A. Wright
Theses and Dissertations
The Fernald Environmental Restoration Management Corporation (FERMCO) has noted the introduction of arsenic contamination to groundwater around the area of the groundwater recovery system, which captures uranium contaminated groundwater. The introduction of arsenic occurs during high levels of pumping and is particularly sensitive to the western two of the five pumps. Auto-Regressive Moving Average (ARMA) and Spatial-Temporal ARMA (STARMA) empirical analyses are used to model the level of arsenic contamination found through time. The intervention of varied levels of pumping is modeled with a transfer function using analytic techniques to create a causal intervention transfer function input series to give …
Phosphorus Bearing Substrates In Ring Expansion Reactions, Bradley K. Norwood
Phosphorus Bearing Substrates In Ring Expansion Reactions, Bradley K. Norwood
Theses and Dissertations
A variety of substituted phosphonium salts, phosphorus ylides and phosphonates were studied to assess their utility in ring expansion reactions. The strategy involved formation of fused ring systems whose ring strain could be exploited to accomplish ring expansion to medium sized rings. β-Alkoxy vinylphosphonium salts were found to be unreactive with species such as the dimethylsulfoxonium methylide anion, Simmons-Smith type reagents. and carbenes in attempts to produce cyclopropyl phosphonium salts.
C-Alkylation of β-keto phosphorus ylides using haloalkanes bearing terminal groups that could be converted and reacted with the B-carbonyl, was also examined as a method for accessing strained rings bearing …
Depositional History, Environments Of Deposition, And Hydrocarbon Potential Of The Newcastle Formation (Lower Cretaceous) Of Eastern North Dakota, Gerald G. Mccloskey
Depositional History, Environments Of Deposition, And Hydrocarbon Potential Of The Newcastle Formation (Lower Cretaceous) Of Eastern North Dakota, Gerald G. Mccloskey
Theses and Dissertations
The Newcastle Formation (Albian) in North Dakota is composed primarily of fine grained sandstone, mudstone and shale. This study examined the Newcastle within the eastern two thirds of North Dakota, with the goal of determining the various depositional environments, the depositional history, and the hydrocarbon potential of the unit. A total of 2191 geophysical well logs and 21 lithologic cores were examined. Isopach maps of the Newcastle Formation and the Skull Creek Shale were generated, as was a structural top map of the Mowry Shale.
The depositional history of the unit is directly linked to the regression and subsequent transgression …
The Paleoecologic Significance Of Paleocene Palynomorph Assemblages From The Ludow, Slope, And Cannonball Formations, Southwestern North Dakota, Timothy J. Kroeger
The Paleoecologic Significance Of Paleocene Palynomorph Assemblages From The Ludow, Slope, And Cannonball Formations, Southwestern North Dakota, Timothy J. Kroeger
Theses and Dissertations
Paleoenvironment exerted control on the distribution of 133 palynomorph taxa from the Ludlow and Slope Formations and Boyce and Three V Tongues of the Cannonball Formation (Fort Union Group, I Paleocene) of southwestern North Dakota. The strata represent fluvial deltaic systems that prograded eastward into the Cannonball Sea. Depositional environments include distributary channels, crevasse splays, crevasse-splay feeder channels, lignite-producing swamps and/or marshes, lakes, brackish to slightly brackish bays, lake and bay fills, and marshes
Paleoenvironmentally sensitive palynomorph taxa were identified by subjective examination of pollen diagrams and objective analysis using detrended correspondence analysis. Two paleoenvironmentally restricted palynomorph associations were recognized. …
Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis
Analysis And Extension Of Model-Based Software Executives, Keith E. Lewis
Theses and Dissertations
This research developed a comprehensive description of the simulation environment of Architect, a domain-oriented application composition system being developed at the Air Force Institute of Technology to explore new software engineering technologies. The description combines information from several previous research efforts and Architect's source code into a single, comprehensive document. A critical evaluation of the simulation environment was also performed, identifying improvements and modifications that enhance Architecture's application execution capabilities by reducing complexity and execution time. The analysis was then taken one step further and presented extensions to the current simulation environment. The extensions included investigating the feasibility of mixed-mode …
Visage: Improving The Ballistic Vulnerability Modeling And Analysis Process, Brett F. Grimes
Visage: Improving The Ballistic Vulnerability Modeling And Analysis Process, Brett F. Grimes
Theses and Dissertations
The purpose of this thesis was to improve the process of modeling and analyzing ballistic vulnerability data. This was accomplished by addressing two of the more urgent needs of vulnerability analysts; the ability to display fault tree data and to edit target descriptions. A vulnerability data visualization program called VISAGE was modified to meet these needs. VISAGE was originally created to preview static shotline plots and subsequently grew into a full-featured visualization package for vulnerability target descriptions and analyses data. The next logical step in the programs evolution was to include the needed editing and fault tree display capabilities. The …
Depositional Environments And Paleogeography Of The Winnipeg Group (Ordovician), Williston Basin, North Dakota, Jonathan B. Ellingson
Depositional Environments And Paleogeography Of The Winnipeg Group (Ordovician), Williston Basin, North Dakota, Jonathan B. Ellingson
Theses and Dissertations
The Winnipeg Group (Upper Ordovician) unconformably overlies the Deadwood Formation (Cambrian - Lower Ordovician) over most of North Dakota, except in the extreme eastern part, where it lies directly on Precambrian basement rocks. The Winnipeg is conformably overlain by the Red River Formation (Upper Ordovician). The Winnipeg reaches a maximum thickness of 448 feet (136.6 m) in the center of the basin, Williams County. The Winnipeg Group consists of three formations, in ascending order, the Black Island, Icebox, and Roughlock Formations. The Black Island Formation is, herein, formally divided into the Hawkeye Valley and the Garland Members.
The Hawkeye Valley …
Salinity, Radon, And Radon Precursors In The Soils Of Grand Forks County, North Dakota, Kevin L. Solie
Salinity, Radon, And Radon Precursors In The Soils Of Grand Forks County, North Dakota, Kevin L. Solie
Theses and Dissertations
High levels of indoor radon have been observed in many areas of the Red River Valley and particularly in Grand Forks County of North Dakota. Data from the University of North Dakota (UND) Radon Monitoring Facility indicated more than 80% of the dwellings tested had radon levels greater than the United States Environmental Protection Agency (USEPA) action limit of 4 pCi/l. High radon levels may pose a health threat (USEPA, 1986) to valley residents.
A review of existing data indicates that areas of the Red River Valley in North Dakota with elevated soil salinity also exhibit higher equivalent uranium (eU) …
Prey Selectivity By Naticid Gastropods From Tertiary Sediments Of The United States Coastal Plain, Robert N. Sickler
Prey Selectivity By Naticid Gastropods From Tertiary Sediments Of The United States Coastal Plain, Robert N. Sickler
Theses and Dissertations
Previous studies have shown that naticid gastropod predators are highly selective of prey species in accordance with the Kitchell et al. (1981) cost-benefit model. In addition, earlier studies have demonstrated selectivity of drillhole siting and intraspecific prey size. This study focuses on prey selectivity by Oligocene naticid gastropods and is used to test Vermeij's (1987) hypothesis of escalation. The hypothesis of escalation states that biologic hazards have increased during the Phanerozoic and that organisms have either had to adapt to these hazards or face possible extinction (Vermeij, 1987). Naticid predation on molluscan assemblages is one of several examples used to …
Multicriteria Mission Route Planning Using A Parallel A* Search, Michael S. Gudaitis
Multicriteria Mission Route Planning Using A Parallel A* Search, Michael S. Gudaitis
Theses and Dissertations
The Mission Route Planning (MRP) Problem falls into the general class of multicriteria path search problems. Multiple criteria are evaluated to select an optimal aircraft mission route through a hostile environment. Criteria for distance travelled and radar exposure are combined into a single cost function for route evaluation. Radar calculations are performed dynamically. The A* search algorithm is applied to the MRP problem, and a parallel implementation is developed and tested. A unique combination of distributed OPEN lists with a global CLOSED list strategy produced fast execution times on the Paragon. Test cases for scenarios with 15 radars took less …
Generalized Probabilistic Reasoning And Empirical Studies On Computational Efficiency And Scalability, Eric P. Baenen
Generalized Probabilistic Reasoning And Empirical Studies On Computational Efficiency And Scalability, Eric P. Baenen
Theses and Dissertations
Expert Systems are tools that can be very useful for diagnostic purposes, however current methods of storing and reasoning with knowledge have significant limitations. One set of limitations involves how to store and manipulate uncertain knowledge: much of the knowledge we are dealing with has some degree of uncertainty. These limitations include lack of complete information, not being able to model cyclic information and limitations on the size and complexity of the problems to be solved. If expert systems are ever going to be able to tackle significant real world problems then these deficiencies must be corrected. This paper describes …
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin
Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin
Theses and Dissertations
This research describes the feasibility of developing object-oriented LARCH specifications, part of a dual approach for formally extending object-oriented analysis models using LARCH and Z. The first phase consisted of two steps establishing a set of transformation heuristics for algebraically representing object models and implementing a robust LARCH parser. The LARCH parser produced abstract syntax trees ASTs of objects forming the basis for analyzing the similarities and differences between Z-based and LARCH-based object representations. The second phase used the analysis of LARCH and Z to identify fundamental core constructs in the languages and abstract syntax trees. These core constructs consisted …