1.1 --- a/doc/mkienl_fkober/bakk_thesis.tex Tue Jul 19 15:16:12 2011 +0200
1.2 +++ b/doc/mkienl_fkober/bakk_thesis.tex Tue Jul 26 15:44:15 2011 +0200
1.3 @@ -38,11 +38,25 @@
1.4 technical aspects of dialogs:
1.5
1.6 where store the data\\
1.7 +DB is a good thinking model, because there should be no further code in the DialogGuid when adding a new dialog
1.8 +
1.9 +there are too much data in xmldata/users/*_settings.txt !!!
1.10 +
1.11 which data to store (technical only, no psychology !)\\
1.12 \#\\
1.13 \#\\
1.14 \#\\
1.15
1.16 +Session needs KEStore Bridge for startup
1.17 +
1.18 +1 Session per user (from 1 WindowApplication; there might be several from several computers) ?
1.19 +
1.20 +1 Dialog per window (WSDialog?, BrowserDialog?)
1.21 +
1.22 +Cahllenge: Find an architecture, where DialogGuide?DGuide is between Session and Dialogs per window
1.23 +
1.24 +TODO: classdiagram
1.25 +
1.26 \section{Implementation Details}
1.27
1.28
2.1 --- a/src/java/log4j.properties Tue Jul 19 15:16:12 2011 +0200
2.2 +++ b/src/java/log4j.properties Tue Jul 26 15:44:15 2011 +0200
2.3 @@ -1,30 +1,15 @@
2.4 -##WN110316 all # below by TZ for moving errors to console,
2.5 -## if no log4j is running.
2.6 -## make log4j run as before, uncomment #@# and
2.7 -## comment subsequent line.
2.8 +# Define the chainsaw appender
2.9 +log4j.appender.Chainsaw=org.apache.log4j.net.SocketAppender
2.10 +log4j.appender.Chainsaw.remoteHost=localhost
2.11 +log4j.appender.Chainsaw.port=4445
2.12 +log4j.appender.Chainsaw.locationInfo=true
2.13
2.14 -# Define the chainsaw appender
2.15 -#log4j.appender.Chainsaw=org.apache.log4j.net.SocketAppender
2.16 -#log4j.appender.Chainsaw.remoteHost=localhost
2.17 -#log4j.appender.Chainsaw.port=4445
2.18 -#log4j.appender.Chainsaw.locationInfo=true
2.19 -
2.20 -log4j.appender.stdout=org.apache.log4j.ConsoleAppender
2.21 -log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
2.22 -
2.23 -# Pattern to output the caller's file name and line number.
2.24 -log4j.appender.stdout.layout.ConversionPattern=%5p [%t] (%F:%L) - %m%n
2.25 -
2.26 -# GS: root logger set to fatal avoids logging of 3rd party libs.
2.27 +# GS: root logger set to fatal avoids logging of 3rd party libs.
2.28 # GS: This increases the performance of ISAC.
2.29 -# log4j.rootCategory=fatal, Chainsaw #as before
2.30 -#@# log4j.rootCategory=fatal, Chainsaw, stdout
2.31 -#Tom, too slow# log4j.rootCategory=debug, stdout
2.32 -log4j.rootCategory=fatal, stdout
2.33 +log4j.rootCategory=fatal, Chainsaw
2.34
2.35 # These packages are being logged:
2.36 -#, too slow# log4j.logger.isac=debug
2.37 -log4j.logger.isac=fatal
2.38 -log4j.logger.java.security=debug
2.39 +log4j.logger.isac=debug
2.40 # logging the digester slows down isac times 100:
2.41 ### log4j.logger.org.apache.commons.digester=debug
2.42 +
2.43 \ No newline at end of file
3.1 --- a/src/java/log4j_WN110416.properties Tue Jul 19 15:16:12 2011 +0200
3.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
3.3 @@ -1,15 +0,0 @@
3.4 -# Define the chainsaw appender
3.5 -log4j.appender.Chainsaw=org.apache.log4j.net.SocketAppender
3.6 -log4j.appender.Chainsaw.remoteHost=localhost
3.7 -log4j.appender.Chainsaw.port=4445
3.8 -log4j.appender.Chainsaw.locationInfo=true
3.9 -
3.10 -# GS: root logger set to fatal avoids logging of 3rd party libs.
3.11 -# GS: This increases the performance of ISAC.
3.12 -log4j.rootCategory=fatal, Chainsaw
3.13 -
3.14 -# These packages are being logged:
3.15 -log4j.logger.isac=debug
3.16 -# logging the digester slows down isac times 100:
3.17 -### log4j.logger.org.apache.commons.digester=debug
3.18 -
3.19 \ No newline at end of file
4.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
4.2 +++ b/src/java/log4j_browser.properties Tue Jul 26 15:44:15 2011 +0200
4.3 @@ -0,0 +1,15 @@
4.4 +# Define the chainsaw appender
4.5 +log4j.appender.Chainsaw=org.apache.log4j.net.SocketAppender
4.6 +log4j.appender.Chainsaw.remoteHost=localhost
4.7 +log4j.appender.Chainsaw.port=4445
4.8 +log4j.appender.Chainsaw.locationInfo=true
4.9 +
4.10 +# GS: root logger set to fatal avoids logging of 3rd party libs.
4.11 +# GS: This increases the performance of ISAC.
4.12 +log4j.rootCategory=fatal, Chainsaw
4.13 +
4.14 +# These packages are being logged:
4.15 +log4j.logger.isac=debug
4.16 +# logging the digester slows down isac times 100:
4.17 +### log4j.logger.org.apache.commons.digester=debug
4.18 +
4.19 \ No newline at end of file
5.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
5.2 +++ b/src/java/log4j_console.properties Tue Jul 26 15:44:15 2011 +0200
5.3 @@ -0,0 +1,30 @@
5.4 +##WN110316 all # below by TZ for moving errors to console,
5.5 +## if no log4j is running.
5.6 +## make log4j run as before, uncomment #@# and
5.7 +## comment subsequent line.
5.8 +
5.9 +# Define the chainsaw appender
5.10 +#log4j.appender.Chainsaw=org.apache.log4j.net.SocketAppender
5.11 +#log4j.appender.Chainsaw.remoteHost=localhost
5.12 +#log4j.appender.Chainsaw.port=4445
5.13 +#log4j.appender.Chainsaw.locationInfo=true
5.14 +
5.15 +log4j.appender.stdout=org.apache.log4j.ConsoleAppender
5.16 +log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
5.17 +
5.18 +# Pattern to output the caller's file name and line number.
5.19 +log4j.appender.stdout.layout.ConversionPattern=%5p [%t] (%F:%L) - %m%n
5.20 +
5.21 +# GS: root logger set to fatal avoids logging of 3rd party libs.
5.22 +# GS: This increases the performance of ISAC.
5.23 +# log4j.rootCategory=fatal, Chainsaw #as before
5.24 +#@# log4j.rootCategory=fatal, Chainsaw, stdout
5.25 +#Tom, too slow# log4j.rootCategory=debug, stdout
5.26 +log4j.rootCategory=fatal, stdout
5.27 +
5.28 +# These packages are being logged:
5.29 +#, too slow# log4j.logger.isac=debug
5.30 +log4j.logger.isac=fatal
5.31 +log4j.logger.java.security=debug
5.32 +# logging the digester slows down isac times 100:
5.33 +### log4j.logger.org.apache.commons.digester=debug
6.1 --- a/xmldata/temp_file Tue Jul 19 15:16:12 2011 +0200
6.2 +++ b/xmldata/temp_file Tue Jul 26 15:44:15 2011 +0200
6.3 @@ -1,46 +1,33 @@
6.4 <EXAMPLE>
6.5 - <GUH> exp_IsacCore_Tests_1b </GUH>
6.6 - <STRINGLIST>
6.7 - <STRING> IsacCore </STRING>
6.8 - <STRING> Tests </STRING>
6.9 - <STRING> miniscript_with_mini-subpbl </STRING>
6.10 - </STRINGLIST>
6.11 <META> </META>
6.12 - <NO> 1b </NO>
6.13 - <DESCRIPTION>
6.14 -<a href="exp_IsacCore_Tests_1b.html#COMMAND_EXEC_EXAMPLE#exp_IsacCore_Tests_1b.xml">start</a>
6.15 -<p>Solve the equation x+1=2 in x.</p>
6.16 -<p>This equation is not in a normal-form which can be recognized by the hierarchy of equation-types as implemented.
6.17 -Thus the equation is being normalized first, the normalized equation is recognized as a linear equation
6.18 -and solved accordingly (acutally an example, of how machines work --- without any intuition even for such simple equations !).</p>
6.19 + <NO> </NO>
6.20 + <DESCRIPTION> <p> <a
6.21 +href="exp_IsacCore_Simp_Rat_Double_No-7.html#COMMAND_EXEC_EXAMPLE#exp_IsacCore_Simp_Rat_Double_No-7.xml">No.7</a>
6.22 +
6.23 +Simplify ((2/(x+3) + 2/(x - 3)) / (8*x/(x^2 - 9))) </p>
6.24 </DESCRIPTION>
6.25 <FORMALIZATION>
6.26 <VARIANT>
6.27 <TERMLIST>
6.28 <MATHML>
6.29 - <ISA> equality (x+1=2) </ISA>
6.30 + <ISA> term ((2/(x+3) + 2/(x - 3)) / (8*x/(x^2 - 9))) </ISA>
6.31 </MATHML>
6.32 <MATHML>
6.33 - <ISA> solveFor x </ISA>
6.34 - </MATHML>
6.35 - <MATHML>
6.36 - <ISA> solutions L </ISA>
6.37 + <ISA> normalform N </ISA>
6.38 </MATHML>
6.39 </TERMLIST>
6.40 <SPECIFICATION>
6.41 - <THEORY> Test.thy </THEORY>
6.42 + <THEORY> Rational.thy </THEORY>
6.43 <PROBLEM>
6.44 <KEY>
6.45 - <ID> sqroot-test </ID>
6.46 - <ID> univariate </ID>
6.47 - <ID> equation </ID>
6.48 - <ID> test </ID>
6.49 + <ID> rational </ID>
6.50 + <ID> simplification </ID>
6.51 </KEY>
6.52 </PROBLEM>
6.53 <METHOD>
6.54 <KEY>
6.55 - <ID> Test </ID>
6.56 - <ID> squ-equ-test-subpbl1 </ID>
6.57 + <ID> simplification </ID>
6.58 + <ID> of_rationals </ID>
6.59 </KEY>
6.60 </METHOD>
6.61 </SPECIFICATION>
6.62 @@ -48,4 +35,5 @@
6.63 <DETAIL> </DETAIL>
6.64 </VARIANT>
6.65 </FORMALIZATION>
6.66 + <AUTHOR> (c) isac-team 2006 </AUTHOR>
6.67 </EXAMPLE>