1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/Examples/README Thu Oct 22 16:15:27 2020 +0200
1.3 @@ -0,0 +1,10 @@
1.4 +~~/src/Tools/isac/Examples/README
1.5 +
1.6 +An example for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL.
1.7 +*.xml copied from https://hg.risc.uni-linz.ac.at/wneuper/isac/file/d9f9cfd09b0f/xmldata/exp
1.8 +*.html copied from ~/proto4/kbase/exp
1.9 +
1.10 + exp_Statics_Biegel_Timischl_7-70.html generated from *.xml in Isac-Java
1.11 +! exp_Statics_Biegel_Timischl_7-70.sml Formalise.T list to start calculation
1.12 + exp_Statics_Biegel_Timischl_7-70.xml generates *.html for browsing
1.13 + README this
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/src/Tools/isac/Examples/exp_Statics_Biegel_Timischl_7-70.html Thu Oct 22 16:15:27 2020 +0200
2.3 @@ -0,0 +1,70 @@
2.4 +<HTML xmlns="http://www.w3.org/1999/xhtml"
2.5 +xmlns:math="http://www.w3.org/1998/Math/MathML"
2.6 +xmlns:xlink="http://www.w3.org/1999/xlink">
2.7 +
2.8 +
2.9 +
2.10 + <DESCRIPTION>
2.11 +
2.12 +
2.13 +<table border="0" cellpadding="2" cellspacing="2" style="text-align: left; width: 100%; height: 2;">
2.14 +
2.15 +<tbody>
2.16 +
2.17 +<tr>
2.18 +
2.19 +<td style="vertical-align: top;">
2.20 +
2.21 +<h4>
2.22 +
2.23 +<a href="exp_Statics_Biegel_Timischl_7-70.html#COMMAND_EXEC_EXAMPLE#exp_Statics_Biegel_Timischl_7-70.xml">7.70</a>
2.24 +</h4>
2.25 +
2.26 +</td>
2.27 +<td style="vertical-align: top;">Bestimme die Biegelinie für
2.28 +einen einseitig eingespannten Träger (Abb. 7.59) der Länge <span style="font-style: italic;">L</span> mit konstanter Streckenlast <span style="font-style: italic;">q_0</span> unter Verwendung der
2.29 +Randbedingungen <span style="font-style: italic;">Q(0) = q_0 . L,
2.30 +M_b(L) = 0, y(0) = 0, y'(0) = 0</span>.</td>
2.31 +
2.32 +</tr>
2.33 +
2.34 +<tr>
2.35 +
2.36 +<td style="vertical-align: top;">
2.37 +<br>
2.38 +
2.39 +</td>
2.40 +<td style="vertical-align: top;">
2.41 +
2.42 +<table border="0" cellpadding="2" cellspacing="2" style="text-align: left; width: 100%; height: 2;">
2.43 +
2.44 +<tbody>
2.45 +
2.46 +<tr>
2.47 +
2.48 +<td style="vertical-align: top;">
2.49 +<img alt="Abb. 7.59" height="116" src="exp_Statics_Biegel_Timischl_7-70.jpg" width="206"></td>
2.50 +<td style="vertical-align: top;">
2.51 +<br>
2.52 +
2.53 +</td>
2.54 +
2.55 +</tr>
2.56 +
2.57 +</tbody>
2.58 +
2.59 +</table>
2.60 +
2.61 +<br>
2.62 +
2.63 +</td>
2.64 +
2.65 +</tr>
2.66 +
2.67 +</tbody>
2.68 +
2.69 +</table>
2.70 +
2.71 +
2.72 +</DESCRIPTION><p></p>
2.73 +
3.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
3.2 +++ b/src/Tools/isac/Examples/exp_Statics_Biegel_Timischl_7-70.sml Thu Oct 22 16:15:27 2020 +0200
3.3 @@ -0,0 +1,9 @@
3.4 +[
3.5 + (
3.6 + ["Traegerlaenge L", "Streckenlast q_0", "Biegelinie y",
3.7 + "Randbedingungen [y 0 = (0::real), y L = 0, M_b 0 = 0, M_b L = 0]",
3.8 + "FunktionsVariable x", "GleichungsVariablen [c, c_2, c_3, c_4]",
3.9 + "AbleitungBiegelinie dy"],
3.10 + ("Biegelinie", ["Biegelinien"], ["IntegrierenUndKonstanteBestimmen2"]
3.11 + )
3.12 +]
3.13 \ No newline at end of file
4.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
4.2 +++ b/src/Tools/isac/Examples/exp_Statics_Biegel_Timischl_7-70.xml Thu Oct 22 16:15:27 2020 +0200
4.3 @@ -0,0 +1,80 @@
4.4 +<EXAMPLE>
4.5 + <META> </META>
4.6 + <NO> 7.27 </NO>
4.7 + <DESCRIPTION>
4.8 +
4.9 +<table style="text-align: left; width: 100%; height: 2;" border="0"
4.10 +cellspacing="2" cellpadding="2">
4.11 +<tbody>
4.12 +<tr>
4.13 +<td style="vertical-align: top;">
4.14 +<h4>
4.15 +<a href="exp_Statics_Biegel_Timischl_7-70.html#COMMAND_EXEC_EXAMPLE#exp_Statics_Biegel_Timischl_7-70.xml">7.70</a></h4>
4.16 +</td>
4.17 +<td style="vertical-align: top;">Bestimme die Biegelinie für
4.18 +einen einseitig eingespannten Träger (Abb. 7.59) der Länge <span
4.19 +style="font-style: italic;">L</span> mit konstanter Streckenlast <span
4.20 +style="font-style: italic;">q_0</span> unter Verwendung der
4.21 +Randbedingungen <span style="font-style: italic;">Q(0) = q_0 . L,
4.22 +M_b(L) = 0, y(0) = 0, y'(0) = 0</span>.</td>
4.23 +</tr>
4.24 +<tr>
4.25 +<td style="vertical-align: top;"><br></br>
4.26 +</td>
4.27 +<td style="vertical-align: top;">
4.28 +<table style="text-align: left; width: 100%; height: 2;"
4.29 +border="0" cellspacing="2" cellpadding="2">
4.30 +<tbody>
4.31 +<tr>
4.32 +<td style="vertical-align: top;">
4.33 +<img width="206" height="116" alt="Abb. 7.59"
4.34 +src="img/exp_Statics_Biegel_Timischl_7-70.jpg"></img></td>
4.35 +<td style="vertical-align: top;"><br></br>
4.36 +</td>
4.37 +</tr>
4.38 +</tbody>
4.39 +</table>
4.40 +<br></br>
4.41 +</td>
4.42 +</tr>
4.43 +</tbody>
4.44 +</table>
4.45 +
4.46 + </DESCRIPTION>
4.47 + <FORMALIZATION>
4.48 + <VARIANT>
4.49 + <TERMLIST>
4.50 + <MATHML>
4.51 + <ISA> Traegerlaenge L </ISA>
4.52 + </MATHML>
4.53 + <MATHML>
4.54 + <ISA> Streckenlast q_0 </ISA>
4.55 + </MATHML>
4.56 + <MATHML>
4.57 + <ISA> Biegelinie y </ISA>
4.58 + </MATHML>
4.59 + <MATHML>
4.60 + <ISA> Randbedingungen [Q 0 = q_0 * L, M_b L = 0, y 0 = 0, y' 0 = 0] </ISA>
4.61 + </MATHML>
4.62 + <MATHML>
4.63 + <ISA> FunktionsVariable x </ISA>
4.64 + </MATHML>
4.65 + </TERMLIST>
4.66 + <SPECIFICATION>
4.67 + <THEORY> Biegelinie </THEORY>
4.68 + <PROBLEM>
4.69 + <KEY>
4.70 + <ID> Biegelinien </ID>
4.71 + </KEY>
4.72 + </PROBLEM>
4.73 + <METHOD>
4.74 + <KEY>
4.75 + <ID> IntegrierenUndKonstanteBestimmen2 </ID>
4.76 + </KEY>
4.77 + </METHOD>
4.78 + </SPECIFICATION>
4.79 + <HIDE> </HIDE>
4.80 + <DETAIL> </DETAIL>
4.81 + </VARIANT>
4.82 + </FORMALIZATION>
4.83 +</EXAMPLE>