Engineering Commons^™

Formal Testing Of Object-Oriented Software: From The Method To The Tool, Cécile Péraire

Cécile Péraire

No abstract provided.

Modelling The Production Cell Case Study Using The Fusion Method, StéPhane Barbey, Didier Buchs, Cécile Péraire

Cécile Péraire

No abstract provided.

Process Specification Language: An Analysis Of Existing Representations, Amy Knutilla, Stephen Polyak, Craig Schlenoff, Shu Cheah, Steven Ray, Richard Anderson

Steven R Ray

The goal of the NIST Process Specification Language (PSL) project is to investigate and arrive at a neutral, unifying representation of process information to enable sharing of process data among manufacturing engineering and business applications. This paper focuses on the second phase of the project, the analysis of existing process representations to determine how well existing process representation methodologies support the requirements for specifying processes found in Phase One. This analysis will provide an objective basis from which to develop a comprehensive language and will promote the leveraging of existing work.

Bribery: The Concept, Michael Pritchard

Michael Pritchard

Incremental Test Selection For Specification-Based Unit Testing Of Object-Oriented Software Based On Formal Specifications, StéPhane Barbey, Didier Buchs, Cécile Péraire, Alfred Strohmeier

Cécile Péraire

No abstract provided.

Professional Responsibility: Focusing On The Exemplary, Michael Pritchard

Michael Pritchard

Development Of A Message Model To Support Integrated Design And Manufacturing, Venkat Allada, Steven Ray

Steven R Ray

Mere sharing of information between engineering design systems and manufacturing systems does not represent an ideal integrated system. While information sharing represents an important aspect of an integrated design and manufacturing environment, an equally critical aspect is the "interaction" capability of the two systems. This interaction could be in the form of feedback and request messages between the design and manufacturing systems. The goal of this study is to investigate the issues involved in the development of a conceptual message model that will facilitate an "upstream" and a "downstream" communication between the design activities and process planning activities. The development …

Using Process Requirements As The Basis For The Creation And Evaluation Of Process Ontologies For Enterprise Modeling, Michael Gruninger, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

No abstract provided.

Constraint Satisfaction Methods For Generating Valid Cuts, John Hooker

John Hooker

No abstract provided.

Proceedings Of The First Process Specification Language (Psl) Roundtable, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

In April, 1997, the Process Specification Language (PSL) Project held a Roundtable discussion at the National Institute of Standards and Technology (NIST). The goals of the Roundtable was to assemble key champions and stakeholders of various approaches towards process representation in order to discuss the relative merits to reach consensus on a language architecture and to establish a technical approach for proceeding. It was agreed that the language architecture should be based upon a formal semantic foundation, upon which would be layered a number of syntactic mappings, each with one or more presentations.

In discussions about principal concepts of any …

Commentary On Michael Davis, “Better Communication Between Engineers And Managers,”, Michael Pritchard

Michael Pritchard

Responsible Engineering: Gilbane Gold Revisited, Michael Pritchard

Michael Pritchard

Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs

Cécile Péraire

No abstract provided.

A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Cécile Péraire, Didier Buchs

Cécile Péraire

No abstract provided.

Issues And Theory For Unit Testing Of Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire

Cécile Péraire

No abstract provided.

Unified Process Specification Language: Requirements For Modeling Process, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

A wide range of applications deal with the manipulation and expression of collections of activities. Examples include project management, workflow management, business process reengineering, product realization process modeling, manufacturing process planning, production scheduling, simulation, and Computer Aided Software Engineering, each of which is supported by some combination of graphical programming and control languages, Petri nets, PERT charts or other representation methodology. Each of these applications serves a specific audience and need, and focuses on particular aspects of a process. Nevertheless, much could be gained by sharing information among applications. One of the primary obstacles to such integration is the lack …

Development Of A Bovine X Chromosome Linkage Group And Painting Probes To Assess Cattle, Sheep, And Goat X Chromosome Segment Homologies., Sakthikumar Ambady, F.Abel Ponce Leon, Gregory Hawkins, Steven Kappes, Michael Bishop, James Robl, Craig Beattle

Sakthikumar Ambady

The X chromosome linkage group is conserved in placental mammals. However, X chromosome morphological differences, due to internal chromosome rearrangements, exist among mammalian species. We have developed bovine chromosome painting probes for Xp and Xq to assess segment homologies between the submetacentric bovine X chromosome and the acrocentric sheep and goat X chromosomes. These painting probes and their corresponding DNA libraries were developed by chromosome micromanipulation, DNA micropurification, microcloning, and PCR amplification. The bovine Xp painting probe identified an interstitially located homologous segment in the sheep and goat Xq region, most probably resulting from chromosome inversion. Ten type II (microsatellite) …

Teaching Engineering Ethics: Why? What? Where? When?, Michael Pritchard, C.E. Harris, Michael Rabins

Michael Pritchard

Scanning Local‐Acceleration Microscopy, Nancy Burnham, A. Kulik, G. Gremaud, P. Gallo, F. Oulevey

Nancy A. Burnham

By adapting a scanning force microscope to operate at frequencies above the highest tip–sample resonance, the sensitivity of the microscope to materials’ properties is greatly enhanced. The cantilever’s behavior in response to high‐frequency excitation from a transducer underneath the sample is fundamentally different than to its low‐frequency response. In this article, the motivations, instrumentation, theory, and first results for this technique are described.

Materials’ Properties Measurements: Choosing The Optimal Scanning Probe Microscope Configuration, Nancy Burnham, G Gremaud, A Kulik, P Gallo, F Oulevey

Nancy A. Burnham

Rheological models are used to represent different scanning probe microscope configurations. The solutions for their static and dynamic behavior are found and used to analyze which scanning probe microscope configuration is best for a given application. We find that modulating the sample at high frequencies results in the best microscope behavior for measuring the stiffness of rigid materials, and that by modulating the tip at low frequencies and detecting the motion of the tip itself (not its position relative to the tip holder) should be best for studying compliant materials in liquids.

An Architecture Of Component - Based Capp Systems For Agile Manufacturing, Chun Zhang, Shaw Feng, Steven Ray

Steven R Ray

The current manufacturing planning software systems (such as computer aided process planning (CAPP) systems) are general and in a closed form, i.e., it is very difficult to modify these systems to respond to a user's dynamically changing needs. These systems are no longer suitable for agile manufacturing. This research work aims at developing an architecture for rapid development of CAPP systems. The architecture supports the construction of CAPP systems from prepackaged, plug-compatible software components. The specifications of the architecture and its building blocks are defined. A prototype system is under development to prove the concept.

A Theory Of Specification-Based Testing For Object-Oriented Software, StéPhane Barbey, Didier Buchs, Cécile Péraire

Cécile Péraire

No abstract provided.

Nanosubharmonics: The Dynamics Of Small Nonlinear Contacts, Nancy Burnham, A Kulik, G Gremaud, Gad Briggs

Nancy A. Burnham

We observed the generation of subharmonics and chaos in a nanometer-sized mechanical contact. To first order, the behavior matches that of macroscopic systems, with some intriguing secondary differences. As the occurrence of periodic behavior (subharmonics) is related to the coefficient of restitution, it may be possible to image local energy dissipation with nanometer resolution.

A General Formal Test Method (Title Translated From French), Cécile Péraire

Cécile Péraire

No abstract provided.

Reference Architecture For Machine Control Systems Integration: Interim Report, M Senehi, Thomas Kramer, John Michaloski, Richard Quintero, Steven Ray, William Rippey, Sarah Wallace

Steven R Ray

No abstract provided.

Accounting For The Stiffnesses Of The Probe And Sample In Scanning Probe Microscopy*, Nancy Burnham

Nancy A. Burnham

The elements of a scanning probe microscope are modeled as a set of springs in series. For a single‐component sample, that is, a sample consisting of only one material, the detected feature height in variable force (force microscopy) or variable current (tunneling microscopy) modes is a function of the total system stiffness and the stiffness of the detector. For a multicomponent sample, the data in both variable force (current) and constant force (current) modes are modified by the set‐point force, the detector stiffness, and the relative stiffnesses of the components of the sample. A detection scheme for reducing this compliance …

Bioremediation Of Oil Refinery Wastes, Michael Prince, Y. Sambasivam

Michael J. Prince

No abstract provided.

Burnham, Colton, And Pollock Reply, Nancy Burnham, Rj Colton, Hm Pollock

Nancy A. Burnham

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 3.0 License. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author (s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder

Work-Function Anisotropies As An Origin Of Long-Range Surface Forces, Nancy Burnham, R Colton, H Pollock

Nancy A. Burnham

Unusual effects noticed in previous force microscopy data are explained by a model based on work-function anisotropies and their associated patch charges. Measurable forces between macroscopic bodies can be due to the interaction of patch charges, with important consequences in the fields of surface forces, contact mechanics, adhesion, Schottky barriers, and the surface properties of insulators.

Interpretation Issues In Force Microscopy, Nancy Burnham, Richard Colton, Hubert Pollock

Nancy A. Burnham

In this paper, we will discuss force microscopy (FM) and its potential for determining mechanical properties of thin films. We will introduce the basic principles of FM, and demonstrate how FM can be used to determine materials properties as well as image surface topography, both with nanonewton or sub‐nanonewton force resolution and sub‐nanometer position resolution. As FM is still a new field, not all of the questions concerning interpretation have been fully answered. We will elucidate four current issues that must be resolved before the full potential of FM can be realized. They are: (1) the role of water vapor …