Raftul cu initiativa Book Archive

Machine Theory

Automated Modeling of Physical Systems by P. Pandurang Nayak

By P. Pandurang Nayak

This publication is predicated at the author's PhD thesis which was once chosen through the 1993 ACM Doctoral Dissertation festival as one of many 3 most sensible submissions.
This monograph investigates the matter of choosing enough versions for reasoning approximately actual structures and functions to engineering challenge fixing. a chic therapy of either the theoretical and sensible facets are awarded: the matter is exactly formalized, its computational complexity is analyzed intimately, and a good set of rules for locating sufficient versions is derived; at the sensible facet, a strategy for development platforms that immediately build sufficient versions is equipped, and implementational features and exams are described.

Show description

Read or Download Automated Modeling of Physical Systems PDF

Similar machine theory books

Digital and Discrete Geometry: Theory and Algorithms

This booklet offers complete insurance of the trendy tools for geometric difficulties within the computing sciences. It additionally covers concurrent themes in facts sciences together with geometric processing, manifold studying, Google seek, cloud facts, and R-tree for instant networks and BigData. the writer investigates electronic geometry and its similar optimistic tools in discrete geometry, supplying exact tools and algorithms.

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

This e-book constitutes the refereed court cases of the twelfth overseas convention on man made Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 complete papers awarded including 2 invited papers have been rigorously reviewed and chosen from 22 submissions.

Statistical Language and Speech Processing: Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

This booklet constitutes the refereed lawsuits of the 3rd overseas convention on Statistical Language and Speech Processing, SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 complete papers provided including invited talks have been conscientiously reviewed and chosen from seventy one submissions.

Additional info for Automated Modeling of Physical Systems

Example text

Model fragment describing a wire as a resistor. Fig. 4. Model fragment describing a wire as an ideal conductor. {t= = Z=0(1 + ~ = ( T ~ - T=0)) 1 Fig. 5. Model fragment describing the temperature dependence of the wire's length. In general, model fragments are only partial descriptions of phenomena. 3 only specifies the relation between the voltage (V~) and the current (iw); it does not say anything about the variation of the resistance of the wire. Additional model fragments describing the resistor's resistance are necessary to complete this description.

However, it is evident that not all components being modeled as T h e r m a l - o b j e c t s can be modeled as T h e r m a l - t h e r m i s t o r s , only thermistors can be modeled as Thexaltal-thermistors. Hence, T h e r t a a l - t h e r m i s t o r is a specialization of T h e r m a l - o b j e c t , but not a possible model of it. 4 Difference b e t w e e n c o m p o n e n t and model fragment classes Thus far we have been talking about component classes and model fragment classes as separate types of classes.

For example, we can see that the model fragment classes that can be used to model instances of R e s i s t o r include C o n s t a n t - r e s i s t a n c e and T e m p e r a t u r e - d e p e n d e n t - r e s i s t a n c e . Note that the generalization hierarchy and the possible models hierarchy often overlap. For example, Resistor is both a specialization and a possible model of E l e c t r i c a l - c o n d u c t o r . However, the two hierarchies are not the same. For example, the T h e r m a l - t h e r m i s t o r model fragment class, which models the dependence of a thermistor's resistance on its temperature, is a specialization of the T h e r m a l - o b j e c t model fragment class.

Download PDF sample

Rated 4.85 of 5 – based on 46 votes