ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
0 stars 0 forks source link

Analyze the maximum zi value for the laser example #30

Closed lgeretti closed 8 years ago

lgeretti commented 8 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Perform an analysis of the laser example to identify the points where zi is maximum. Focus on the 12 ms scan period, since it is the minimum for which ablation occurs.


lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Changed the lambda/kcut/mu values, found a new maximum zi equal to 2.9871013e-05. The maximum Tscan is instead 186 ms. The corresponding zi at the centre is 2.97412e-5.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


All the necessary data has been gathered.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Plotted out all the values of z and zi between 0 and 2.5e-4. Got the interval of the final value of z for a full pass far from the critical point: z = [2.93782e-05, 2.94472e-05]. If we want to ablate 1.04mm, the number of passes should be [35.3 35.4]. For 36 passes, the depth is z = [1.0576152 mm, 1.0600992 mm] far from the critical point, while for the critical point we have 1.0794528 mm. For 35 passes, the worst-case actual depth far from the critical point is 1.028237mm, and 1.049468mm at the critical point. If on the other hand we want to ablate 1.04mm at the critical point, we need 34.8 passes. Using 34 passes, the worst-case actual depth far from the critical point becomes 0.9988588mm.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


By recursive search, found out the range of x and the maximum Tscan, respectively x = [150.602 um, 0.000150.604 um] and 164 ms (with precision down to 1 ms). The corresponding zi is equal to 2.99848e-05.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Reopened since it is apparent that the z/zi curves depend on the scan period too. Going to provide at least two curves to show the behavior.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Analyzed using the 30 ms scan period, since it resulted in larger values with less noise. Obtained a maximum of z in the interval [1.5167e-4, 1.5168e-4] for x. This allows to analyze such interval (which has width 1e-8 and is treatable) to check for the maximum scan period. The minimum scan period has already been identified with 12 ms, if focusing on points far from the edge.