Ingeniera Mecnica, 0 (1997) 3137 31

Algortmica del diseo mecnico

J. Martnez Escanaverino, A. Garca Toll y T. Ortiz Crdenas

Departamento de Mecnica Aplicada, Facultad de Ingeniera Mecnica,
Instituto Superior Politcnico Jos Antonio Echeverra, La Habana 19390, Cuba.
E-mail: pillues@mecanica.ispjae.edu.cu

(Recibido el 1 de mayo de 1997; aceptado el 15 de junio de 1997)

Resumen

Se demuestra que cualquier procedimiento de diseo mecnico puede interpretarse como un proceso de solucin
de problemas sobre modelos matemticos, lo cual equivale a la obtencin de los algoritmos de solucin de tales
problemas. Se utilizan los grafos bicromticos como medio de expresin de los modelos, problemas y
algoritmos. Se ilustran los conceptos tericos con un ejemplo prctico tomado de la mecnica de los slidos.

1. Introduccin
Buena parte del fondo de conocimientos de todo ingeniero
lo forman numerosos algoritmos, cuya aplicacin adecuada
depende mucho de un entendimiento pleno de los mismos.
En particular, el ingeniero que trabaja Diseo Mecnico
necesita ser capaz de elaborar algoritmos para resolver
diversos problemas particulares que se le presentan en el
ejercicio de su profesin.
Es decir, el anlisis y la sntesis de algoritmos son
habilidades esenciales para realizar con xito el proceso
intelectual de Diseo Mecnico, tanto el manual como el
asistido por computadora.
Realmente, alcanzar la debida destreza en la comprensin
y elaboracin de algoritmos no resulta tarea fcil. En los
libros y revistas tcnicas algunos autores expresan los
algoritmos con ayuda de explicaciones en lenguaje natural.
Otros, se apoyan en diagramas de bloques u organigramas.
Un tercer grupo de ingenieros utiliza programas escritos en
un lenguaje de programacin. Y existen diversas variantes
eclcticas.
En general, los resultados obtenidos con estas tcnicas
distan de ser satisfactorios; resulta difcil asimilar los
algoritmos presentados como prescripciones que no reflejan
su gnesis y, en consecuencia, resulta muy difcil para el
ingeniero crear nuevos algoritmos cuando se necesitan.
Faltan herramientas efectivas para la actividad algortmica
de los ingenieros. Se requiere de nuevas tcnicas de
representacin, preferentemente grficas, cuya capacidad
expresiva permita reflejar el proceso de formacin de los
algoritmos, y no simplemente sus aspectos externos.
2. Modelos y problemas
Segn el Diccionario Oxford de Computacin [ 1], un
algoritmo es una sucesin preestablecida de reglas precisas
para la solucin de un problema en un nmero finito de
pasos.
Segn la definicin dada, un algoritmo siempre resuelve
un problema. Por tanto, la comprensin del concepto de
algoritmo nos lleva de modo natural al concepto de
problema.
En trminos rigurosos, un problema P est definido
cuando para un objeto o proceso determinado se dan un
conjunto de datos de entrada E, y un conjunto de datos de
salida S. Simblicamente,
P E, S (1)
Donde E es un conjunto de datos de valor conocido, en
tanto que S es un conjunto de datos de valor desconocido.
Si alguno de los conjuntos E S est ausente [ 2], se tiene
un problema incompleto. Si solo se cuenta con E, se ha
definido una situacin. Si solo se cuenta con S, se ha
definido una meta.
Como puede apreciarse de su definicin, el concepto de
problema est ligado inevitablemente al concepto de objeto
o proceso. En los clculos de ingeniera, todo objeto o
proceso se representa por medio de un modelo matemtico
M, esto es, por un conjunto de relaciones R definido en un
conjunto de variables V. Simblicamente,
M R, V (2)

1997 Ediciones ISPJAE.

32 J. Martnez Escanaverino, A. Garca Toll y T.Ortiz Crdenas
Al plantearse un problema (1) sobre un modelo
matemtico (2), el conjunto de variables del modelo se
divide en un conjunto de variables de entrada E y en un
conjunto de variables incgnitas X. Esto es,
V = E+ X
La exposicin no pierde generalidad si se considera que el
conjunto de variables de entrada E y el conjunto de
variables de salida S son disjuntos. Esto es,
ES = (4)
El conjunto de las variables de salida del problema debe
estar contenido en el conjunto de las variables incgnitas.
Simblicamente,
SX
Por tanto, al plantearse un problema (2) sobre un modelo
matemtico (1), queda de hecho definido un conjunto de
relaciones F sobre un conjunto de incgnitas X.
Simblicamente,
P F, X
donde
FR
Por tanto, un problema es un conjunto de relaciones sobre
un conjunto de incgnitas. Integrando las definiciones
dadas, puede decirse que todo algoritmo resuelve un
problema planteado sobre un modelo matemtico.
Un algoritmo A es una sucesin de pasos pi
A { p1 , p2 , ... pn }
Donde cada paso pi es un subproblema de estructura
pi Ei , S i
O sea, que en un algoritmo A el problema P a resolver est
particionado en n subproblemas pi que se resuelven en
sucesin.
Como era de esperar, cada subproblema pi se corresponde
con un submodelo matemtico mi. Simblicamente,
pi mi (10)
Donde cada submodelo tiene la estructura
mi Fi ,Vi (11)
Si se analizan (10) y (11), puede llegarse a otra
interpretacin de la expresin (9). De acuerdo con dicha
interpretacin, cada paso de un algoritmo puede
considerarse formado por un conjunto de relaciones donde
se obtiene un conjunto de incgnitas.
Simblicamente,
pi Fi , X i (12)
3. Grafos bicromticos
Un grafo G est formado [ 3] por un conjunto W de
puntos, llamados vrtices, y un conjunto K de lneas, que
(3) unen los vrtices entre s.
Simblicamente:
G W, K ( 13 )
Si las lneas tienen una orientacin, dada por una saeta, se
denominan arcos. De lo contrario, se denominan aristas.
Dos vrtices unidos por una lnea se dice que son
adyacentes. Un grafo se denomina bicromtico cuando sus
vrtices pueden colorearse con dos colores diferentes, de
modo que no haya vrtices adyacentes del mismo color. En
(5) este caso, el conjunto W de vrtices se fracciona en dos
conjuntos disjuntos de vrtices de distinto color
W = W1 + W2 ( 14 )
Un modelo matemtico puede representarse [ 4] por
medio de un grafo bicromtico no orientado, donde los
vrtices que representan a las variables tendrn un color, y
(6)
los vrtices que representan a las relaciones tendrn el otro
color. Este grafo se denomina grafo del modelo, y para el
mismo se cumple que
(7)
W1 = V
( 15 )
W2 = R
Un problema planteado sobre un modelo matemtico
tambin puede ser representado por un grafo bicromtico no
orientado. Para obtener este grafo se toma el grafo modelo,
(8) y se le transforma del modo siguiente: Todos los vrtices de
entrada E se eliminan, incluyendo las aristas asociadas a
ellos. Como resultado de la transformacin mencionada, se
(9) obtiene el grafo del problema.
4. Solubilidad de un problema
Todo problema planteado sobre un modelo matemtico se
caracteriza por un nmero de grados de libertad, definido
por la expresin
L( P ) = X F ( X ) (16)
Se considera que el problema es compatible si
L( P ) 0 (17)
Se considera que el problema est determinado si
L( P ) = 0 (18)
Los problemas determinados, que evidentemente siempre
son compatibles, tambin se denominan problemas de
simulacin.
 Algortmica del diseo mecnico 33

Para resolver un problema de simulacin se determinan

los pareos perfectos [ 3 ] entre los conjuntos X y F(X). Si el
problema tiene solucin cerrada, hay uno o ms pareos
perfectos. Si el problema tiene solucin abierta, habr por
lo menos dos pareos perfectos.
Un algoritmo que resuelve un problema de simulacin con
solucin cerrada se puede obtener sustituyendo cada arista
de uno de los pareos perfectos por un arco orientado de la
relacin a la incgnita, sustituyendo luego las aristas
restantes por arcos que parten de las incgnitas.
Este algoritmo quedar entonces representado por un
grafo bicromtico orientado acclico. Los algoritmos,
correspondientes a otros pareos perfectos que puedan
existir, tambin sern acclicos, y llevarn en principio a la
misma solucin, aunque por caminos diferentes.
Un algoritmo que resuelve un problema de simulacin con
solucin abierta se obtiene por el procedimiento explicado, a
partir de un pareo perfecto, pero su estructura quedar Fig. 1 Fuerzas actuantes sobre
representada por un grafo bicromtico orientado cclico y una escalera de mano.
convergente. Otros algoritmos cclicos, correspondientes a
otros pareos perfectos del mismo problema, pero que sean
divergentes, sern intiles. r1: N1 f 2 = 0
r2: N 2 + f1 G = 0
Los problemas compatibles pero indeterminados pueden
reducirse a problemas de optimizacin si se introduce un
criterio de optimizacin
G
J ( Y ) extr (19) r3: N 2 tg f 2 = 0 (21)
2
donde
YX r4: f 2 2 N 2 = 0
(20)
Y = L( P ) r5: f1 1N1 = 0
Los problemas incompatibles tambin pueden reducirse a
problemas de optimizacin si en el modelo matemtico se
incluye un nmero L(P) de variables adicionales, llamadas
variables de error, y las mismas se hacen argumentos de un
criterio de optimizacin.

5. Un ejemplo de Mecnica

Sea una escalera de mano apoyada tanto en el piso como

en la pared, segn se ilustra en la Fig. 1. En la propia figura
se muestran el peso G de la escalera, las fuerzas normales
N1 y N2 y las fuerzas de friccin f1 y f2 ejercidas por la pared
y el piso sobre la escalera.
Si se conocen el peso de la escalera y los coeficientes de
friccin 1 y 2 entre la escalera y la pared y la escalera y el Fig. 2 Grafo representativo del modelo matemtico (21).
piso, respectivamente, determinar el ngulo mximo de
inclinacin de la escalera respecto a la vertical. Sobre el modelo matemtico (21) se ha planteado un
El modelo matemtico del equilibrio esttico de la problema, que puede expresarse por los conjuntos de
escalera est constituido por el sistema de relaciones (21). variables de entrada y salida siguientes:
El sistema de relaciones (21) se puede representar por el
grafo modelo dado en la Fig. 2. E = {G , 1 , 2 }
(22)
S = { }
34 J. Martnez Escanaverino, A. Garca Toll y T.Ortiz Crdenas

El grafo del problema (22) se da en la Fig. 3. Este grafo

se obtiene transformando el grafo del modelo, segn el
procedimiento explicado anteriormente.

Fig. 4 Uno de los dos pareos perfectos entre las

relaciones e incgnitas del problema (22).

Fig. 3 Grafo representativo del problema (22), El algoritmo correspondiente al pareo perfecto de la Fig. 4
planteado sobre el modelo matemtico (21). se da en la Fig. 5. Puede demostrarse que este algoritmo es
convergente, para cualquier inicializacin.

El conjunto de las incgnitas del problema ser

X = { f1 , f 2 , N 1 , N 2 , } (23)
Y el conjunto de las relaciones entre las incgnitas del
problema

F ( X ) = { r1 , r2 , r3 , r4 , r5 } (24)
El nmero de grados de libertad del problema es

L( P ) = X F ( X ) = 0 (25)
El problema es determinado, por lo cual constituye un
problema de simulacin. Existen dos pareos perfectos entre
las relaciones y las incgnitas del problema (22). Uno de
tales pareos perfectos se representa en la Fig. 4.
Fig. 5 Grafo del algoritmo que soluciona el problema (22),
Considerando que cada una de las variables incgnitas es
planteado sobre el modelo matemtico (21).
ahora una variable conocida, se sustituyen las aristas
restantes en el grafo del pareo perfecto por arcos que salen
de las variables respectivas.
Por otro lado, el algoritmo correspondiente al otro pareo
De ese modo, el grafo de cada uno de los dos pareos
perfecto es divergente, para cualquier inicializacin, salvo el
perfectos da lugar a un grafo que representa la estructura de
valor exacto de la solucin.
un algoritmo.
El algoritmo obtenido es cclico, y por tanto requiere de
una inicializacin. Esto implica que el primer paso p1 del
algoritmo es un subproblema incompleto, una situacin,
donde se le da a la variable N2 su valor inicial.
Simblicamente,

p1 ,{N 2 } (26)
 Algortmica del diseo mecnico 35

El segundo paso del algoritmo, como se observa en la El ejemplo sencillo de la escalera dado en el presente
Fig. 5, consiste en determinar la variable f2 en la relacin r4. artculo no aparece en los textos de Mecnica para
O sea, Ingenieros, porque involucra un algoritmo cclico.
Segn la experiencia de los autores, cuando se utilizan los
p2 {r4},{ f 2} (27) grafos bicromticos como medio de representacin de los
Los restantes pasos del algoritmo sern, siempre segn la modelos, problemas y algoritmos, los propios ingenieros
Fig. 5: diseadores se motivan por realizar ellos mismos el proceso
de desarrollo, con lo cual alcanzan tanto las habilidades para
p3 {r3},{ } (28) el anlisis como para la sntesis.
Por tanto, se recomiendan los grafos bicromticos como
herramienta para la representacin de los algoritmos en las
p4 {r 1},{N1} (29)
monografas, artculos de publicaciones peridicas y en
todos los documentos de proyecto donde se expresen
p5 {r5},{ f1} (30) algoritmos.
Por otro lado, se ha demostrado en la prctica el alto valor
p6 {r2},{N 2 } (31) de los grafos bicromticos como herramienta pedaggica
para la formacin algortmica [ 5] de los estudiantes de
Los pasos p2 a p6 se repiten hasta que el valor de N2 ingeniera, en posgrado y en pregrado.
converja a una magnitud fija. Entonces, el valor de ser el Por ello, se recomiendan los grafos bicromticos para
correcto. representar la gnesis de algoritmos en los libros de texto,
Para los datos numricos siguientes: G =1 000 N, 1 = 0.15 as como en las conferencias, clases prcticas, laboratorios y
y 2 = 0.20 los clculos numricos arrojan los resultados dems actividades docentes.
recogidos en la Tabla 1.
Bibliografa
Tabla 1. Ejemplo numrico
1ILLINGWORTH V., GLEYSER E.L., PAYLE I.K. (Eds.) Dictionary of
iteracin N2 , [ N ] , [ ... ] Computing. Oxford University Press, Oxford, 1986.
0 1 000 21.8 2LOPATNIKOV L.I. konomiko-matematiceskij slovar.
1 970 22.4 Nauka, Moskva, 1987.
2 971 22.4
3ORE O. Theory of Graphs.
3 971 American Mathematical Society, Rhode Island, 1962.
4TYUGU .H. Reenie zadac na vycislitelnyh modelh.
6. Conclusiones y recomendaciones Vycislitelna matematica i matematicesca fizika.
10 (1970), N 3, 716-733.
La construccin sucesiva de los grafos del modelo, del 5 ESCANAVERINO J.M. Los grafos bicromticos: una herramienta
problema y del algoritmo permite esclarecer la gnesis del en la formacin algortmica de los estudiantes de ingeniera.
algoritmo. Evento Pegagoga97. La Habana, Cuba, 3-7 febrero 1977.
Los algoritmos cclicos resultan de difcil comprensin,
pero muchos de los procedimientos de diseo mecnico
presentan este carcter.
________________________________________________________________
_

Algorithmics of mechanical design

Abst ra ct
It is shown that every mechanical engineering design procedure can be interpreted as a problem solving process in
mathematical models, by means of the corresponding algorithms. Dichromatic graphs are used as means to express models,
problems and algorithms. Theoretical concepts are illustrated with a practical example taken from solid mechanics.