1 // Copyright (c) 1995-1999 Matra Datavision
2 // Copyright (c) 1999-2014 OPEN CASCADE SAS
4 // This file is part of Open CASCADE Technology software library.
6 // This library is free software; you can redistribute it and / or modify it
7 // under the terms of the GNU Lesser General Public version 2.1 as published
8 // by the Free Software Foundation, with special exception defined in the file
9 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
10 // distribution for complete text of the license and disclaimer of any warranty.
12 // Alternatively, this file may be used under the terms of Open CASCADE
13 // commercial license or contractual agreement.
18 // Calcul de la valeur de F et grad_F, connaissant le parametrage.
19 // Cette fonction, appelee par le gradient conjugue, calcul F et
20 // DF(ui, Poles(ui)) ce qui implique un calcul des nouveaux poles
23 #define No_Standard_RangeError
24 #define No_Standard_OutOfRange
28 #include <AppParCurves_MultiCurve.hxx>
29 #include <AppParCurves_MultiPoint.hxx>
30 #include <TColStd_HArray1OfInteger.hxx>
32 #include <gp_Pnt2d.hxx>
34 #include <gp_Vec2d.hxx>
35 #include <TColgp_Array1OfPnt.hxx>
36 #include <TColgp_Array1OfPnt2d.hxx>
37 #include <AppParCurves_ConstraintCouple.hxx>
39 AppParCurves_Function::
40 AppParCurves_Function(const MultiLine& SSP,
41 const Standard_Integer FirstPoint,
42 const Standard_Integer LastPoint,
43 const Handle(AppParCurves_HArray1OfConstraintCouple)& TheConstraints,
44 const math_Vector& Parameters,
45 const Standard_Integer Deg) :
48 myParameters(Parameters.Lower(), Parameters.Upper()),
49 ValGrad_F(FirstPoint, LastPoint),
50 MyF(FirstPoint, LastPoint,
51 1, ToolLine::NbP3d(SSP)+ToolLine::NbP2d(SSP), 0.0),
52 PTLX(FirstPoint, LastPoint,
53 1, ToolLine::NbP3d(SSP)+ToolLine::NbP2d(SSP), 0.0),
54 PTLY(FirstPoint, LastPoint,
55 1, ToolLine::NbP3d(SSP)+ToolLine::NbP2d(SSP), 0.0),
56 PTLZ(FirstPoint, LastPoint,
57 1, ToolLine::NbP3d(SSP)+ToolLine::NbP2d(SSP), 0.0),
58 A(FirstPoint, LastPoint, 1, Deg+1),
59 DA(FirstPoint, LastPoint, 1, Deg+1),
60 MyLeastSquare(SSP, FirstPoint, LastPoint,
61 FirstConstraint(TheConstraints, FirstPoint),
62 LastConstraint(TheConstraints, LastPoint), Deg+1)
65 for (i=Parameters.Lower(); i<=Parameters.Upper();i++)
66 myParameters(i)=Parameters(i);
69 myConstraints = TheConstraints;
74 Contraintes = Standard_False;
75 Standard_Integer myindex;
76 Standard_Integer low = TheConstraints->Lower(), upp= TheConstraints->Upper();
77 AppParCurves_ConstraintCouple mycouple;
78 AppParCurves_Constraint Cons;
80 for (i = low; i <= upp; i++) {
81 mycouple = TheConstraints->Value(i);
82 Cons = mycouple.Constraint();
83 myindex = mycouple.Index();
84 if (myindex == FirstP) {
85 if (Cons >= 1) Adeb = Adeb+1;
87 else if (myindex == LastP) {
88 if (Cons >= 1) Afin = Afin-1;
91 if (Cons >= 1) Contraintes = Standard_True;
95 Standard_Integer nb3d = ToolLine::NbP3d(SSP);
96 Standard_Integer nb2d = ToolLine::NbP2d(SSP);
97 Standard_Integer mynb3d= nb3d, mynb2d=nb2d;
98 if (nb3d == 0) mynb3d = 1;
99 if (nb2d == 0) mynb2d = 1;
102 tabdim = new TColStd_HArray1OfInteger(0, NbCu-1);
105 for (i = 1; i <= NbCu; i++) {
106 if (i <= nb3d) tabdim->SetValue(i-1, 3);
107 else tabdim->SetValue(i-1, 2);
110 TColgp_Array1OfPnt TabP(1, mynb3d);
111 TColgp_Array1OfPnt2d TabP2d(1, mynb2d);
113 for ( i = FirstP; i <= LastP; i++) {
114 if (nb3d != 0 && nb2d != 0) ToolLine::Value(SSP, i, TabP, TabP2d);
115 else if (nb3d != 0) ToolLine::Value(SSP, i, TabP);
116 else ToolLine::Value(SSP, i, TabP2d);
117 for (Standard_Integer j = 1; j <= NbCu; j++) {
118 if (tabdim->Value(j-1) == 3) {
119 TabP(j).Coord(PTLX(i, j), PTLY(i, j),PTLZ(i, j));
122 TabP2d(j).Coord(PTLX(i, j), PTLY(i, j));
130 AppParCurves_Constraint AppParCurves_Function::FirstConstraint
131 (const Handle(AppParCurves_HArray1OfConstraintCouple)& TheConstraints,
132 const Standard_Integer FirstPoint) const
134 Standard_Integer i, myindex;
135 Standard_Integer low = TheConstraints->Lower(), upp= TheConstraints->Upper();
136 AppParCurves_ConstraintCouple mycouple;
137 AppParCurves_Constraint Cons = AppParCurves_NoConstraint;
139 for (i = low; i <= upp; i++) {
140 mycouple = TheConstraints->Value(i);
141 Cons = mycouple.Constraint();
142 myindex = mycouple.Index();
143 if (myindex == FirstPoint) {
151 AppParCurves_Constraint AppParCurves_Function::LastConstraint
152 (const Handle(AppParCurves_HArray1OfConstraintCouple)& TheConstraints,
153 const Standard_Integer LastPoint) const
155 Standard_Integer i, myindex;
156 Standard_Integer low = TheConstraints->Lower(), upp= TheConstraints->Upper();
157 AppParCurves_ConstraintCouple mycouple;
158 AppParCurves_Constraint Cons = AppParCurves_NoConstraint;
160 for (i = low; i <= upp; i++) {
161 mycouple = TheConstraints->Value(i);
162 Cons = mycouple.Constraint();
163 myindex = mycouple.Index();
164 if (myindex == LastPoint) {
174 Standard_Boolean AppParCurves_Function::Value (const math_Vector& X,
179 // Resolution moindres carres:
180 // ===========================
181 MyLeastSquare.Perform(myParameters);
182 if (!(MyLeastSquare.IsDone())) {
183 Done = Standard_False;
184 return Standard_False;
187 MyLeastSquare.Error(FVal, ERR3d, ERR2d);
191 // Resolution avec contraintes:
192 // ============================
194 Standard_Integer Npol = Degre+1;
195 // Standard_Boolean Ext = Standard_True;
196 Standard_Integer Ci, i, j, dimen;
197 Standard_Real AA, BB, CC, AIJ, FX, FY, FZ, Fi;
198 math_Vector PTCXCI(1, Npol), PTCYCI(1, Npol), PTCZCI(1, Npol);
201 MyMultiCurve = MyLeastSquare.BezierValue();
203 A = MyLeastSquare.FunctionMatrix();
204 ResolCons Resol(MyMultiLine, MyMultiCurve, FirstP, LastP, myConstraints,
205 A, MyLeastSquare.DerivativeFunctionMatrix());
206 if (!Resol.IsDone()) {
207 Done = Standard_False;
208 return Standard_False;
211 // Calcul de F = Sum||C(ui)-Ptli||2 sur toutes les courbes :
212 // ========================================================================
215 for (Ci = 1; Ci <= NbCu; Ci++) {
216 dimen = tabdim->Value(Ci-1);
217 for (j = 1; j <= Npol; j++) {
219 MyMultiCurve.Value(j).Point(Ci).Coord(PTCXCI(j),PTCYCI(j),PTCZCI(j));
222 MyMultiCurve.Value(j).Point2d(Ci).Coord(PTCXCI(j), PTCYCI(j));
228 for (i = Adeb; i <= Afin; i++) {
229 AA = 0.0; BB = 0.0; CC = 0.0;
230 for (j = 1; j <= Npol; j++) {
240 MyF(i,Ci) = FX*FX + FY*FY;
245 if (Sqrt(Fi) > ERR3d) ERR3d = Sqrt(Fi);
249 if (Sqrt(Fi) > ERR2d) ERR2d = Sqrt(Fi);
256 return Standard_True;
262 void AppParCurves_Function::Perform(const math_Vector& X) {
266 // Resolution moindres carres:
267 // ===========================
268 MyLeastSquare.Perform(myParameters);
270 if (!(MyLeastSquare.IsDone())) {
271 Done = Standard_False;
275 for(j = myParameters.Lower(); j <= myParameters.Upper(); j++) {
280 MyLeastSquare.ErrorGradient(ValGrad_F, FVal, ERR3d, ERR2d);
283 Standard_Integer Pi, Ci, i, k, dimen;
284 Standard_Integer Npol = Degre+1;
285 Standard_Real Scal, AA, BB, CC, DAA, DBB, DCC;
286 Standard_Real FX, FY, FZ, AIJ, DAIJ, px, py, pz, Fi;
287 AppParCurves_Constraint Cons=AppParCurves_NoConstraint;
288 math_Matrix Grad_F(FirstP, LastP, 1, NbCu, 0.0);
289 math_Vector PTCXCI(1, Npol), PTCYCI(1, Npol), PTCZCI(1, Npol);
290 math_Vector PTCOXCI(1, Npol), PTCOYCI(1, Npol), PTCOZCI(1, Npol);
291 // Standard_Boolean Ext = Standard_True;
294 math_Matrix PTCOX(1, Npol, 1, NbCu), PTCOY(1, Npol, 1, NbCu),
295 PTCOZ(1, Npol,1, NbCu);
296 math_Matrix PTCX(1, Npol, 1, NbCu), PTCY(1, Npol, 1, NbCu),
297 PTCZ(1, Npol,1, NbCu);
298 Standard_Integer Inc;
300 MyMultiCurve = MyLeastSquare.BezierValue();
302 for (Ci =1; Ci <= NbCu; Ci++) {
303 dimen = tabdim->Value(Ci-1);
304 for (j = 1; j <= Npol; j++) {
306 MyMultiCurve.Value(j).Point(Ci).Coord(PTCOX(j, Ci),
311 MyMultiCurve.Value(j).Point2d(Ci).Coord(PTCOX(j, Ci), PTCOY(j, Ci));
317 A = MyLeastSquare.FunctionMatrix();
318 DA = MyLeastSquare.DerivativeFunctionMatrix();
320 // Resolution avec contraintes:
321 // ============================
323 ResolCons Resol(MyMultiLine, MyMultiCurve, FirstP, LastP,
324 myConstraints, A, DA);
325 if (!Resol.IsDone()) {
326 Done = Standard_False;
331 // Calcul de F = Sum||C(ui)-Ptli||2 et du gradient non contraint de F pour
332 // chaque point PointIndex.
333 // ========================================================================
335 for(j = FirstP; j <= LastP; j++) {
339 math_Matrix TrA(A.LowerCol(), A.UpperCol(), A.LowerRow(), A.UpperRow());
340 math_Matrix TrDA(DA.LowerCol(), DA.UpperCol(), DA.LowerRow(), DA.UpperRow());
341 math_Matrix RESTM(A.LowerCol(), A.UpperCol(), A.LowerCol(), A.UpperCol());
343 const math_Matrix& K = Resol.ConstraintMatrix();
344 const math_Matrix& DK = Resol.ConstraintDerivative(MyMultiLine, X, Degre, DA);
345 math_Matrix TK(K.LowerCol(), K.UpperCol(), K.LowerRow(), K.UpperRow());
347 const math_Vector& Vardua = Resol.Duale();
348 math_Matrix KK(K.LowerCol(), K.UpperCol(), Vardua.Lower(), Vardua.Upper());
349 KK = (K.Transposed())*(Resol.InverseMatrix());
350 math_Matrix DTK(DK.LowerCol(), DK.UpperCol(), DK.LowerRow(), DK.UpperRow());
351 DTK = DK.Transposed();
352 TrA = A.Transposed();
353 TrDA = DA.Transposed();
354 RESTM = ((A.Transposed()*A).Inverse());
356 math_Vector DPTCO(1, K.ColNumber());
357 math_Matrix DPTCO1(FirstP, LastP, 1, K.ColNumber());
358 math_Vector DKPTC(1, K.RowNumber());
364 for (Ci = 1; Ci <= NbCu; Ci++) {
365 dimen = tabdim->Value(Ci-1);
366 for (j = 1; j <= Npol; j++) {
368 MyMultiCurve.Value(j).Point(Ci).Coord(PTCX(j, Ci),
373 MyMultiCurve.Value(j).Point2d(Ci).Coord(PTCX(j, Ci), PTCY(j,Ci));
380 // Calcul du gradient sans contraintes:
381 // ====================================
383 for (Ci = 1; Ci <= NbCu; Ci++) {
384 dimen = tabdim->Value(Ci-1);
385 for (i = Adeb; i <= Afin; i++) {
386 AA = 0.0; BB = 0.0; CC = 0.0; DAA = 0.0; DBB = 0.0; DCC = 0.0;
387 for (j = 1; j <= Npol; j++) {
388 AIJ = A(i, j); DAIJ = DA(i, j);
389 px = PTCX(j, Ci); py = PTCY(j, Ci);
390 AA += AIJ*px; BB += AIJ*py;
391 DAA += DAIJ*px; DBB += DAIJ*py;
394 CC += AIJ*pz; DCC += DAIJ*pz;
399 MyF(i,Ci) = FX*FX + FY*FY;
400 Grad_F(i, Ci) = 2.0*(DAA*FX + DBB*FY);
404 Grad_F(i, Ci) += 2.0*DCC*FZ;
406 if (Sqrt(Fi) > ERR3d) ERR3d = Sqrt(Fi);
410 if (Sqrt(Fi) > ERR2d) ERR2d = Sqrt(Fi);
413 ValGrad_F(i) += Grad_F(i, Ci);
420 for (i = 1; i <= K.RowNumber(); i++) {
422 for (Ci = 1; Ci <= NbCu; Ci++) {
423 dimen = tabdim->Value(Ci-1);
425 for (j = 1; j <= Npol; j++) {
426 DKPTC(i) += DK(i, j+Inc)*PTCX(j, Ci)+ DK(i, j+Inc+Npol)*PTCY(j, Ci);
428 DKPTC(i) += DK(i, j+Inc+2*Npol)*PTCZ(j, Ci);
431 if (dimen == 3) Inc = Inc +3*Npol;
432 else Inc = Inc +2*Npol;
436 math_Vector DERR(DTK.LowerRow(), DTK.UpperRow());
437 DERR = (DTK)*Vardua-KK* ((DKPTC) + K*(DTK)*Vardua);
439 // rajout du gradient avec contraintes:
440 // ====================================
441 // dPTCO1/duk = [d(TA)/duk*[A*PTCO-PTL] + TA*dA/duk*PTCO]
446 math_Vector Errx(A.LowerRow(), A.UpperRow());
447 math_Vector Erry(A.LowerRow(), A.UpperRow());
448 math_Vector Errz(A.LowerRow(), A.UpperRow());
449 math_Vector Scalx(DA.LowerRow(), DA.UpperRow());
450 math_Vector Scaly(DA.LowerRow(), DA.UpperRow());
451 math_Vector Scalz(DA.LowerRow(), DA.UpperRow());
452 math_Vector Erruzax(PTCXCI.Lower(), PTCXCI.Upper());
453 math_Vector Erruzay(PTCYCI.Lower(), PTCYCI.Upper());
454 math_Vector Erruzaz(PTCZCI.Lower(), PTCZCI.Upper());
455 math_Vector TrDAPI(TrDA.LowerRow(), TrDA.UpperRow());
456 math_Vector TrAPI(TrA.LowerRow(), TrA.UpperRow());
458 for (Ci = 1; Ci <= NbCu; Ci++) {
459 dimen = tabdim->Value(Ci-1);
460 PTCOXCI = PTCOX.Col(Ci);
461 PTCOYCI = PTCOY.Col(Ci);
462 PTCOZCI = PTCOZ.Col(Ci);
463 PTCXCI = PTCX.Col(Ci);
464 PTCYCI = PTCY.Col(Ci);
465 PTCZCI = PTCZ.Col(Ci);
468 Errx = (A*PTCOXCI - PTLX.Col(Ci));
469 Erry = (A*PTCOYCI - PTLY.Col(Ci));
470 Errz = (A*PTCOZCI - PTLZ.Col(Ci));
471 Scalx = (DA*PTCOXCI); // Scal = DA * PTCO
472 Scaly = (DA*PTCOYCI);
473 Scalz = (DA*PTCOZCI);
474 Erruzax = (PTCXCI - PTCOXCI);
475 Erruzay = (PTCYCI - PTCOYCI);
476 Erruzaz = (PTCZCI - PTCOZCI);
478 for (Pi = FirstP; Pi <= LastP; Pi++) {
479 TrDAPI = (TrDA.Col(Pi));
480 TrAPI = (TrA.Col(Pi));
481 Standard_Real Taa = TrAPI*A.Row(Pi);
483 for (j = 1; j <= Npol; j++) {
484 DPTCO1(Pi, j + Inc) = (TrDAPI*Errx(Pi)+TrAPI*Scalx(Pi))(j);
485 DPTCO1(Pi, j + Inc+ Npol) = (TrDAPI*Erry(Pi)+TrAPI*Scaly(Pi))(j);
486 Scal += DPTCO1(Pi, j+Inc)* Taa*Erruzax(j) + DPTCO1(Pi, j+Inc+Npol)*Taa*Erruzay(j);
488 DPTCO1(Pi, j + Inc+ 2*Npol) = (TrDAPI*Errz(Pi)+TrAPI*Scalz(Pi))(j);
489 Scal += DPTCO1(Pi, j+Inc+2*Npol)*Taa*Erruzaz(j);
492 ValGrad_F(Pi) = ValGrad_F(Pi) - 2*Scal;
494 if (dimen == 3) Inc = Inc + 3*Npol;
495 else Inc = Inc +2*Npol;
499 // on calcule DPTCO = - RESTM * DPTCO1:
501 // Calcul de DPTCO/duk:
502 // dPTCO/duk = -Inv(T(A)*A)*[d(TA)/duk*[A*PTCO-PTL] + TA*dA/duk*PTCO]
504 Standard_Integer low=myConstraints->Lower(), upp=myConstraints->Upper();
506 for (Pi = FirstP; Pi <= LastP; Pi++) {
507 for (i = low; i <= upp; i++) {
508 if (myConstraints->Value(i).Index() == Pi) {
509 Cons = myConstraints->Value(i).Constraint();
515 for (Ci = 1; Ci <= NbCu; Ci++) {
516 dimen = tabdim->Value(Ci-1);
517 for (j = 1; j <= Npol; j++) {
519 DPTCO(j+Inc+Npol) = 0.0;
520 if (dimen == 3) DPTCO(j+Inc+2*Npol) = 0.0;
521 for (k = 1; k <= Npol; k++) {
522 DPTCO(j+Inc) = DPTCO(j+Inc) -RESTM(j, k) * DPTCO1(Pi, j+Inc);
523 DPTCO(j+Inc+Npol)=DPTCO(j+Inc+Npol)-RESTM(j, k)*DPTCO1(Pi,j+Inc+Npol);
525 DPTCO(j+Inc+2*Npol) = DPTCO(j+Inc+2*Npol)
526 -RESTM(j, k) * DPTCO1(Pi, j+Inc+2*Npol);
530 if (dimen == 3) Inc += 3*Npol;
534 DERR = DERR-KK*K*DPTCO;
537 for (Ci = 1; Ci <= NbCu; Ci++) {
538 dimen = tabdim->Value(Ci-1);
539 PTCOXCI = PTCOX.Col(Ci);
540 PTCOYCI = PTCOY.Col(Ci);
541 PTCOZCI = PTCOZ.Col(Ci);
542 PTCXCI = PTCX.Col(Ci);
543 PTCYCI = PTCY.Col(Ci);
544 PTCZCI = PTCZ.Col(Ci);
545 Erruzax = (PTCXCI - PTCOXCI);
546 Erruzay = (PTCYCI - PTCOYCI);
547 Erruzaz = (PTCZCI - PTCOZCI);
550 for (j = 1; j <= Npol ; j++) {
551 Scal = (A(Pi, j)*Erruzax(j)) * (A(Pi, j)*DERR(j+Inc)) +
552 (A(Pi, j)*Erruzay(j)) * (A(Pi, j)*DERR(j+Inc+Npol));
554 Scal += (A(Pi, j)*Erruzax(j)) * (A(Pi, j)*DERR(j+Inc+2*Npol));
558 ValGrad_F(Pi) = ValGrad_F(Pi) + 2*Scal;
559 if (dimen == 3) Inc = Inc +3*Npol;
560 else Inc = Inc + 2*Npol;
569 Standard_Integer AppParCurves_Function::NbVariables() const{
574 Standard_Boolean AppParCurves_Function::Gradient (const math_Vector& X,
580 return Standard_True;
584 Standard_Boolean AppParCurves_Function::Values (const math_Vector& X,
592 return Standard_True;
596 const AppParCurves_MultiCurve& AppParCurves_Function::CurveValue() {
597 if (!Contraintes) MyMultiCurve = MyLeastSquare.BezierValue();
602 Standard_Real AppParCurves_Function::Error(const Standard_Integer IPoint,
603 const Standard_Integer CurveIndex) const {
604 return Sqrt(MyF(IPoint, CurveIndex));
607 Standard_Real AppParCurves_Function::MaxError3d() const
612 Standard_Real AppParCurves_Function::MaxError2d() const
619 const math_Vector& AppParCurves_Function::NewParameters() const