Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
Mechanism design automation support requires developing a representation language for describing mechanism behavior. The language is necessary to specify design requirements, to describe existing mechanisms, and to catalog them for design reuse. This paper presents a simple and expressive language for describing the behavior of fixed-axes mechanisms. The language symbolically captures the important aspects of the kinematics and simple dynamics. It uses predicates and algebraic relations to describe the configurations and motions of each part of the mechanism and the relationships between them. It allows both accurate and complete descriptions and partial, abstract, and underspecified descriptions. We show that the language is computationally viable by describing how to automatically derive behavioral descriptions stated in the language from the mechanism structure. To test its usefulness, we describe a design validation program that determines if a given mechanism structure can produce desired behaviors stated in the language.
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev