close
Warning:
Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.
- Timestamp:
-
Dec 1, 2010, 3:33:33 PM (15 years ago)
- Author:
-
Víctor de Buen Remiro
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
|
v11
|
v12
|
|
| 13 | 13 | [[LatexEquation( \underset{x\in\Omega}{\min}f\left(x\right)\wedge f:\Omega_f\subset\mathbb{R}^{n}\longrightarrow\mathbb{R} \wedge n\geq1 )]] [[BR]] |
| 14 | 14 | |
| 15 | | Sujeta a las |
| 16 | | * restricciones opcionales de intervalo: [[BR]] [[BR]] |
| | 15 | Sujeta a las siguientes |
| | 16 | * '''Restricciones de intervalo''': [[BR]] [[BR]] |
| 17 | 17 | [[LatexEquation( l_{i}\leq x\leq u_{i}\wedge-\infty\leq l_{i}<u_{i}\leq\infty\wedge i=1\ldots n )]] [[BR]] [[BR]] |
| 18 | 18 | Si una variable no tuviera cota inferior entonces sería [[LatexEquation( l_{i} = -\infty )]] y si no tuviera cota superior entonces sería [[LatexEquation( u_{i} = \infty )]] |
| … |
… |
|
| 20 | 20 | [[LatexEquation(\underset{i=1}{\overset{n}{\prod}}\left[l_{i},u_{i}\right] \subset\mathbb{R}^{n})]][[BR]] [[BR]] |
| 21 | 21 | se le llamará hiperrectángulo de búsqueda y en el caso de optimización global |
| 22 | | deberá ser siempre acotado. [[BR]] [[BR]] |
| 23 | | * restricciones opcionales de desigualdad arbitrarias: [[BR]] [[BR]] |
| | 22 | deberá ser siempre acotado en todas las dimensiones. [[BR]] [[BR]] |
| | 23 | * '''Restricciones de desigualdad''' arbitrarias: [[BR]] [[BR]] |
| 24 | 24 | [[LatexEquation( g_{j}\left(x\right)\leq0 \wedge g_j:\Omega_{g_j}\subset\mathbb{R}^{n}\longrightarrow\mathbb{R} \forall j=1\ldots n_{D} \wedge n_{D} \ge 0)]] [[BR]] [[BR]] |
| 25 | | * restricciones opcionales de igualdad arbitrarias: [[BR]] [[BR]] |
| | 25 | * '''Restricciones de igualdad''' arbitrarias: [[BR]] [[BR]] |
| 26 | 26 | [[LatexEquation( h_{k}\left(x\right)=0 \wedge h_k:\Omega_{h_k}\subset\mathbb{R}^{n}\longrightarrow\mathbb{R} \forall k=1\ldots n_{I} \wedge n_{I} \ge 0)]] [[BR]] [[BR]] |
| 27 | 27 | |
| … |
… |
|
| 32 | 32 | [[LatexEquation( \Omega\subset\Omega_{f}\cap\underset{j=1}{\overset{n_{D}}{\bigcap}}\Omega_{g_{j}}\cap\underset{k=1}{\overset{n_{I}}{\bigcap}}\Omega_{h_{k}} )]] |
| 33 | 33 | |
| 34 | | Por ejemplo, si en la función objetivo aparece el logaritmo de una variable se debe incluir alguna restricción o conjunto de ellas que obligue a que dicha variable sea positiva. Evidentemente, si no hay restricciones el dominio de la función objetivo debe ser todo el espacio [[LatexEquation( \Omega_f = \Omega = \mathbb{R}^{n} )]]. |
| | 34 | Por ejemplo, si en la función objetivo aparece el logaritmo de una variable se debe incluir alguna restricción o conjunto de ellas que obligue a que dicha variable sea positiva. Evidentemente, si no hay restricciones, pues todas ellas son en principio opcionales, el dominio de la función objetivo debe ser todo el espacio [[LatexEquation( \Omega_f = \Omega = \mathbb{R}^{n} )]]. |
| 35 | 35 | |
| 36 | 36 | Obsérvese que si lo que se quiere es minimizar la función objetivo basta con tomar la función opuesta [[LatexEquation( -f(x) )]]. |
| 37 | 37 | |
| 38 | | Nótese que a ninguna de las funciones se le ha exigido ser diferenciable, y ni tan siquiera ser continua; aunque, como se verá más tarde, el usuario deberá informar de qué clase analitica es el problema para poder saber qué métodos son aplicables. |
| 39 | | |
| | 38 | Nótese que a ninguna de las funciones se le ha exigido ser diferenciable, y ni tan siquiera ser continua; aunque, como se verá más tarde, el usuario deberá informar de qué clase analitica es el problema para poder saber qué métodos son aplicables. |
| | 39 | |
| | 40 | En lo que afecta a este sistema, la clase analítica de una función ha de ser la |
| | 41 | máxima de las condiciones cumplidas por la función de entre las siguientes |
| | 42 | |
| | 43 | || '''Arbitraria''' || {{{Real ARBITRARY = -1}}} || si la función no es continua. || |
| | 44 | || '''Continua''' || {{{Real CONTINUOUS = 0}}} || si la función es continua pero no diferenciable. || |
| | 45 | || '''Diferenciable''' || {{{Real DIFFERENTIABLE = 1}}} || si la función es continua y diferenciable sólo una vez. || |
| | 46 | || '''Doblemente diferenciable''' || {{{Real TWICE_DIFFERENTIABLE = 2}}} || si la función es continua y al menos doblemente diferenciable. || |
| | 47 | |
| | 48 | La clase analítica del problema será la mínima de entre las de su funciones objetivo |
| | 49 | y las de sus restricciones de igualdad y desigualdad. El usuario debe conocer esta |
| | 50 | característica del problema para informarlo en su definición. |
| | 51 | |
| 40 | 52 | == Guia del usuario == |
| 41 | 53 | |
| … |
… |
|
| 68 | 80 | ... |
| 69 | 81 | Real y = ...; |
| 70 | | Real If(Rows(grad), { |
| | 82 | Real If(Rows(gradient), { |
| 71 | 83 | ... |
| 72 | | Matrix grad := ...; |
| | 84 | Matrix gradient := ...; |
| 73 | 85 | True |
| 74 | 86 | }); |
| … |
… |
|
| 86 | 98 | se trate de funciones pertenecientes a una familia paramétrica y sea más |
| 87 | 99 | cómodo implementarlas de este modo. En esos casos, el método es un objeto |
| 88 | | TOL común a todas las intancias de la clase, por lo que no es suficiente |
| | 100 | TOL común a todas las instancias de la clase, por lo que no es suficiente |
| 89 | 101 | por sí misma y habrá que pasar también la instancia de la clase para la que |
| 90 | 102 | queremos evaluar, y lo haremos mediante un conjunto como éste |
| … |
… |
|
| 95 | 107 | |
| 96 | 108 | === Características obligatorias en la definición del problema === |
| | 109 | |
| | 110 | Las siguientes características del problema deben ser cumplimentadas por el usuario |
| | 111 | de forma obligatoria y deben ser congruentes entre sí. |
| 97 | 112 | |
| 98 | 113 | {{{ |
| … |
… |
|
| 410 | 425 | |
| 411 | 426 | |
| | 427 | |
| | 428 | |