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 (14 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 | |