Future Projects

Intelligent system thermodynamics

Apply the techniques used to develop the model of information system thermodynamics to describe the nature of intelligent systems

Autonomous system operating system

Apply the techniques used to develop the model of intelligent system thermodynamics to design a scalable operating system for autonomous systems

Human information processing thermodynamics

Apply the model of intelligent system thermodynamics to interpret the data from past and current brain mapping projects to build a model of human information system thermodynamics

Simulation law

Apply the reproducible accreditation techniques to define the limits of legal liability for model and simulation products and services

Human mind transfer

Apply the mechanics of human information processing thermodynamics to interpret data from current brain process instrumentation to develop an executable approximation of a specific human mind from observations of the brain activity that creates that mind

Clients for Our Past Projects

See the list of our past clients.

Current Projects

Source code quality measurement

This project has developed a technique for reproducibly measuring the quality of source code and the programming practices that have produced that code. The technique has been applied to source code samples in C, C++, Java and PL/SQL. A mean anomaly density of 0.338 anomalies / SLOC has been observed in > 38 reviews of > 54K SLOC of source code.

Detailed project description

Reproducible accreditation

This project has developed a technique for repeatably deriving simulation accreditation recommendations from the available accreditation evidence. This technique integrates claims-arguments-evidence argumentation with uncertainty quantification to produce recommendations that include estimates of the aggregate uncertainties in the simulation predictions and the uncertainties associated with the recommendations themselves. This technique has been recently demonstrated on the accreditation of two complex simulations and several lessons were learned from these demonstrations. Most importantly, strong accreditation recommendations cannot be easily modified to respond to reviewer comments without changing the accreditation evidence, the arguments upon which the recommendation depend, or the statement of intended use. This fact may limit the adoption of this technique.

Detailed project description

Information system thermodynamics

This project is applying techniques from discrete mathematics to construct a model that can predict the behavior of any kind of information system. A preliminary model has been developed that identifies a set of observable macroscopic properties of information systems and a set of relationships between those properties. Work is ongoing to increase model fidelity and extend it to the description of intelligent systems.

Detailed project description