Multi disciplinary early performance evaluation via logical description of mechanisms: Dvd pick up head example

Proceedings of the ASME Design Engineering Technical Conference

Volumn 6, Issue , 1998, Pages

  Ozawa, Masanori ^a   Iwasaki, Yumi ^b   Cutkosky, Mark R ^c  

^a TOSHIBA CORPORATION   (Japan)

^b STANFORD UNIVERSITY   (United States)

^c Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; ECONOMIC AND SOCIAL EFFECTS; MACHINE DESIGN; MODELING LANGUAGES; PICKUPS;

COMPOSITIONAL MODELING; DIGITAL VERSATILE DISC; DVD PICK-UP HEAD; ENGINEERING MODELS; ENGINEERING TOOLS; EXCHANGE OF INFORMATION; MULTIDISCIPLINARY PRODUCTS; SHARING INFORMATION;

PRODUCT DESIGN;

EID: 0343129964     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC98/CIE-6007     Document Type: Conference Paper

References (19)

1. Forbus, K. D., (1984). "Qualitative Process Theory." Artificial Intelligence, 1984, vol. 24, pp. 85-168.
2. Gajski, D., Vahid, F., Narayan, S., and Gong, J., "Specification and design of embedded systems", 1994, Prentice hall.
3. Gajski, D., "Principles of digital design", 1997, Prentice hall.
4. Kiriyama, T., Tomiyama, T., and Yoshikawa, H., "Building a physical feature database for integrated modeling in design" In The Sixth International Workshop on Qualitative Reasoning about Physical Systems, 1992, pp. 124-138.
5. Bobrow, D., Falkenhainer, B., Farquhar, A., Fikes, R., Forbus, K., Gruber, T., Iwasaki, Y., Kuipers, B., "A Compositional Modeling Language", 96 AAAI Technical Report WS-96-01, 1996, Fallen Leaf Lake, CA.
6. Cutkosky, M. R., Engelmore, R. S., Fikes, R. E., Genesereth, M. R., Gruber, T. R., Mark, W. S., Tenenbaum, J. M. and Weber, J. C. "PACT: An Experiment in Integrating Concurrent Engineering Systems" IEEE Computer, 1993, Vol. January pp. 28-38.
7. Reddy, S. Y., Fertig, K. W., Smith, D. E. "Constraint Management Methodology for Conceptual Design Tradeoff Studies" Proc. of ASME Design Engineering Technical Conference and Computers in Engineering Conference, 1998, Sacramento, CA.
8. Seki, K., Ishii, K., Esterman, M., "Robust Design for Dynamic Performance: Optical Pick-Up Example" Proc. of ASME Design Engineering Technical Conference and Computers in Engineering Conference, 1997, Sacramento, CA.
9. Steele, G. L., "Common Lisp: The Language", 1990, Digital Press.
10. Falkenhainer, B., Farquhar, A., Bobrow, D., Fikes, R., Forbus, K., Gruber, T., Iwasaki, Y., Kuipers, B., "CML: A Compositional Modeling Language", Technical report KSL-94-16, 1994, Knowledge Systems Laboratory, Stanford University.
11. Farquhar, A., "A Qualitative Physics Compiler", Proc., Twelfth National Conference on Artificial Intelligence, 1994, Seattle, Washington, The AAAI Press/The MIT Press.
12. Chaudhri, V. K., Farquhar, A., Fikes, R., Karp, P. D., and Rice, J. P., "Open Knowledge Base Connectivity 2.0", Artificial Intelligence Center, SRI International, 21 July 1997.
13. Karp, P. D., Myers, K. L., Gruber, T., "The Generic Frame Protocol", Proc. of the Fourteenth International Joint Conference on Artificial Intelligence, 1995, Montreal, pp768-774.
14. Genesereth, M. R., Fikes, R. E., "Knowledge Interchange Format, Version 3.0 Reference Manual", Technical report Logic-92-1, Stanford University Logic Group, 1992.
15. Iwasaki, Y., Farquhar, A., Fikes, R., and Rice, J., "A web-based compositional modeling systems for sharing of physical knowledge", Proc. of the 15th International Joint Conference on Artificial Intelligence, AAAI Press/The MIT Press, August 1997.
16. Olsen, G., R., Cutkosky, M., Tenenbaum, J., M., and Gruber, T., R., "Collaborative Engineering Based on Knowledge Sharing Agreement", CONCURRENT ENGINEERING, June 1995, Vol. 3, No. 2, pp. 145-159.
17. Gruber, T. R. (1993). "Toward principles for the design of ontologies used for knowledge sharing", International Journal of Human-Computer Studies, special issue on Formal Ontology in Conceptual Analysis and Knowledge Representation, August 1993 (Available as technical report KSL-93-04, Knowledge Systems Laboratory, Stanford University.
18. Lipsett, R., Schaefer, C., and Ussery, C., "VHDL : Hardware Description and Design", Kluwer Academic Publishers, 1989.
19. IEEE "Standard Description Language Based on the Verilog(TM) Hardware Description Language", 1995.