Projects in 1996–1997
Bank of America: Java Based Library for Interactive Banking
- Lisette de Pillis
The Interactive Banking Group at Bank of America is responsible for creating and implementing new retail and commercial electronic banking products such as home banking on the Internet, bill payments by phone, smart card, and commercial EDI. The Harvey Mudd College Mathematics clinic team together with Concorde Solutions, Inc. (a Bank of America software development subsidiary) will have the goal of creating a library of Java- based object models for streamlining Bank of America's Interactive Banking applications development. Building this library will allow the Bank to create a set of reusable components for building Interactive Banking graphical user interfaces (GUI) and greatly speed the time to market these new retail products. The development environment will be on Windows NT (and Windows 95), Java, C++, Symantec Cafe, and Microline Component Toolkit.
Beckman Instruments, Inc.: Classification of Serum Protein Electrophoresis
- Michael Moody
The ultimate goal of this project is to develop a means to classify serum protein electrophoresis (SPE) using automated methods. Current classification techniques applicable to SPE will be explored and compared for effectiveness characterized by a range of attributes to be supplied by Beckman Instruments. Other key goals of this project are to develop appropriate tools and algorithms to read SPE data and perform a classification, identify barriers, issues, and possible improvements to SPE classification, and to thoroughly document the background research on applicable classification techniques, issues, potential improvements. If time permits the project will develop, if possible, a new or improved classification technique.
Fair, Isaac, and Company, Inc.: Understanding Neural Net Models
- David Bosley
As a predictive modeling technology, the neural network (NN) technology generally provides a black box solution. This research aims to investigate and develop techniques to better understand predictions made using NN models. Some of the issues to be considered in this research include the type of NN, the approach to developing a NN model, and the level of network information to be used in the model comprehension techniques.
Jet Propulsion Laboratory: Formal Methods Applied to Spacecraft Subsystems
- Everett Bull
Formal verification is an alternative family of methods that use techniques based on mathematical logic to insure the quality of hardware and software systems. Systems are being designed and built with ever-increasing complexity. At the same time, the testing and validation costs of these systems is growing exponentially. Because of this, many systems are fielded today with a profound lack of proper validation. Formal methods are one of the few techniques with the potential to both cap testing costs and deliver the required reliability/safety in areas such as transportation, spaceflight, telecommunications, banking, etc.
Verification takes two approaches. Design verification uses formal logic in the design and specification of a system, providing a structured framework for translating top-level design specifications into a collection of concrete tasks describable by algorithms which can be realized by programmers. Program verification involves proofs of correctness of the programs themselves. A wide variety of tools, such as automated theorem provers and proof checkers, have been constructed to assist in design and program verification, and some of them have been implemented into integrated systems. The Clinic team will survey existing verification systems and techniques during the first semester. Guided by the sponsor's expertise and interest, the team will identify an application area and appropriate tools, and during the second semester pursue this application in depth.