Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate
2011-06-14
2011-06-14
Proctor, Jason (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Circuit simulation
C703S006000, C716S030000, C702S183000
Reexamination Certificate
active
07962321
ABSTRACT:
A method and computer program product models connections for a system having a plurality of components, having component terminals, and connections. The connections are located to selectively connect the components of the system to each other. The method and computer product models signal levels for nodes of the system as a variable wherein the nodes of the system are representative of the connections. Each potential component terminal connection of the connections that could potentially influence the signal level on each of the nodes is modeled, as a qualitative variable. This results in each node of the system being modeled with n+1 variables.
REFERENCES:
patent: 5187773 (1993-02-01), Hamilton et al.
patent: 5528752 (1996-06-01), Kise et al.
patent: 5732192 (1998-03-01), Malin et al.
patent: 6308293 (2001-10-01), Shimono
patent: 6343261 (2002-01-01), Iwanowski et al.
patent: 7120563 (2006-10-01), Bechhoefer et al.
patent: 7181374 (2007-02-01), Mosterman et al.
Lee, Mark, “Many-Valued Logic and Qualitative Modelling of Electrical Circuits”, In Proceedings 14th International Workshop on Qualitative Reasoning (QR-2000), 2000.
de Kleer et al, “Diagnosis with Behavioral Models”, Proceedings of the 11th International Joint Conference on Artificial Intelligence, vol. 2, pp. 1324-1330, 1989.
Roos, Nico, “Efficient Model Based Diagnosis”, Intelligent Systems Engineering,1993.
Snooke, Neal, M2CIRQ: Qualitative Fluid Flow Modelling for Aerospace FMEA Applications, 21st International Conference on Qualitative Reasoning, Jun. 26-28, 2007.
de Kleer et al, “Fundamentals of Model-Based Diagnosis”, Proceedings of the 15th International Workshop on Principles of Diagnosis, 2004.
Lee, Mark, “Qualitative Modeling of Linear Networks in ECAD Applications”, Proceedings of the 13th International Workshop on Qualitative Reasoning, pp. 146-152, 1999.
Feng et al, “Adaptive Algorithms for Maximum Diagnosis of Wiring Interconnects”, IEEE Transactions on Computers, vol. 52, No. 10, Oct. 2003.
Struss et al, “Qualitative Modeling is the Key to Automated Diagnosis”, Proceedings 13th World Congress of IFAC, 1996.
Lee et al, “Qualitative Modelling of Electrical Circuits”, Sixth International Workshop on Qualitative Reasoning about Physical Systems, 1992.
De Kleer et al., “Diagnosing Multiple Faults”, in Artificial Intelligence, 32(1):97-130, Apr. 1987, and also in Readings in NonMonotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufmann, 1987), 280-297.
De Kleer et al., “Diagnosis with behavioral modes,” in Proc. 11th IJCAI, pp. 1324-1330, Detroit, 1989.
De Kleer, et al., “Characterizing diagnoses and systems,” in Artificial Intelligence, 56(2-3):197-222, 1992.
De Kleer, “A hybrid truth maintenance system,” in PARC Technical Report, Jan. 1992.
Mauss, et al., “Towards model-based engineering: Failure analysis with mds,” in Workshop on Knowledge-Based Systems for Model-Based Engineering, European Conference on AI (ECAI-2000, 2000.
Snooke, et al., “Challenges for qualitative electrical reasoning in automotive circuit simulation,” in Proceedings 11th international workshop on Qualitative Reasoning, pp. 165-180, Cortona, Italy, Jun. 1997.
Raiman, et al., “Characterizing non-intermittent faults,” in Proc. 9th National Conf. on Artificial Intelligence, pp. 849-854, Anaheim, CA, Jul. 1991.
Williams, et al., “Conflict-directed a* and its role in model-based embedded systems,” in Journal of Discrete Applied Math, Special Issue on Theory and Applications of Satisfiability Testing, 2002.
Brglez et al., “Accelerated ATPG and Fault Grading Via Testability Analysis”; in Proc. IEEE Int. Symposium on Circuits and Systems, pp. 695-698, Jun. 1985.
Preist et al., “Modelling Bridge Faults for Diagnosis in Electronic Circuits”, in Working Notes First International Workshop on Principles of Diagnosis, pp. 69-72, Stanford, 1990.
Struss et al., “Qualititative Modeling is the Key”, in 6th Int'l Workshop on Principles of Diagnosis, Goslar, Germany, 1995.
Boettcher et al., “Hidden Interactions in analog circuits”, in Working Papers of the Seventh International Workshop on Principles of Diagnosis, Suhayya Abu-Hakima, editor, pp. 36-43; Val Morin, Quebec, Canada, Oct. 1996.
Davis, “Diagnostic Reasoning Based on Structure and Behavior”, Artificial Intelligence, Elsevier Science Publishers B. V., 1984, pp. 347-410.
Fay Sharpe LLP
Jacob Mary C
Palo Alto Research Center Incorporated
Proctor Jason
LandOfFree
Modeling when connections are the problem does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Modeling when connections are the problem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling when connections are the problem will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2629854