Technology Search Results

In-vehicle driver monitoring systems are exciting new concepts that are beginning to be used in the practice of driving safety. The systems can be installed on vehicles to collect relevant driver behavior data. The driver behavior data must then be transferred to some centralized data storage system for further analysis ...

The Manufacturing Product Allocation Tool provides a method to analyze the decisions of whether to insource parts currently outsourced, and simultaneously whether to outsource parts currently produced in-house. The software solves the multidimensional knapsack problem by utilizing the freeware LPSolve, and is hence cost effective to use.

This invention written as a software program, combines the inductive reasoning of Boolean Satisfiability solvers with bounded model checking (BMC) for analyzing synchronous sequential circuits. Further, a new variable ordering is incorporated to cleverly pick decision variables in the BMC instance that takes advantage of the fact that the ...

This invention, written as a software program, allows for dynamic abstraction and refinement for model checking, thereby reducing the model needed by the model checker at run time. The dynamic abstraction is orthogonal to the conventional static abstraction and is facilitated by analyzing the proof of unsatisfiability formulated for ...

The Lean Decision Support Tool (LDST) is a decision support and analysis tool for lean processes. LDST first quantifies leanness by evaluating the degree of implementation of lean principles. The resulting leanness score is then used to identify specific problem areas and opportunities for improvement. Finally, LDST provides recommendations for ...