CN107633111A - A kind of situation simulation support system towards mathematical education - Google Patents
A kind of situation simulation support system towards mathematical education Download PDFInfo
- Publication number
- CN107633111A CN107633111A CN201710691368.0A CN201710691368A CN107633111A CN 107633111 A CN107633111 A CN 107633111A CN 201710691368 A CN201710691368 A CN 201710691368A CN 107633111 A CN107633111 A CN 107633111A
- Authority
- CN
- China
- Prior art keywords
- situation
- student
- emulation
- simulation
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention provides a kind of situation simulation support system towards mathematical education, including situation emulation support module, problem situation emulation module, solution approach error correction and reminding module, extension knowledge tracing model analysis module EKT.Situation simulation support system realizes the function of two-way interactive with computer network to the automatic management of information.It passes throughEffective personalization for supporting teacher to mathematical problem defines, and supports personalization of the student to the Mathematics question situation to reappear, list formula；Pass throughReal-time error and prompting are carried out to the calculation procedure under student's some problems situation；The learning process and phase scenario of student completely can be kept track of and be analyzed, disclose the acquisition of knowledge situation in terms of student's the meaning of the question is understood with calculating, be advantageous to teacher and targetedly guidance and personalized study suggestion are provided to student.The present invention is understood the meaning of the question with intuitively animation mode to be shown with formula calculating process, is excited the imagination of student, is improved the understandability of student.
Description
Technical field
The present invention relates to a kind of scene simulating system, and in particular to system is supported in a kind of situation emulation towards mathematical education
System.
Background technology
Because in Mathematical problem solving process, students in middle and primary schools are in the prevalence of ignorance problem situation, shortage mathematics thinking etc.
Problem, the study of pupil rely more on by directly observing obtained materialization experience and understanding in most cases.Situation
Influence of the shortage to students in middle and primary schools is clearly, especially true to the students in middle and primary schools of economically less developed region.
Mathematics Solution mainly includes 2 steps：1. understand the meaning of the question, mathematical problem be changed into mathematics sentence；2. according to number
Sentence carries out calculating and solved a problem.Wherein 1. essence is exactly the understanding of problem situation.Intelligent tutoring system etc. can be to a certain degree
Upper support Students ' Problem-solving, its major function are to support Students ' Problem-solving, feedback student knowledge to hold present situation (KT).But also exist such as
Lower problem：
(1) although current research increases understanding of the student to problem situation also by situation emulation, such as play, be dynamic
Picture, V R/AR etc., but the personal needs of teacher and student are unsatisfactory for, cause them really to participate in.1. due to vast
Teacher and student situation is not necessarily identical, and a few money Simulation Application softwares, if the situation of teacher and student can not be given full play to
Change and play, be difficult to play the individualized teaching characteristic of teacher, also limit the creativeness of student.Although 2. currently there are some letters
Easy programming language, but their relations between primary school mathematics are not also very close, the LOGO of FLASH versions, SMALL
BASIC, e language, C# etc..For numerous teachers, acquire a certain degree of difficulty；For student, difficulty is just bigger.3. face simultaneously
To magnanimity mathematical problem, the studies above is difficult to all standing, otherwise can make it that the workload of Scenes Creating is overweight.
(2) calculation procedure is checked, error correction with prompting when have ignored using situation.Current research is in certain journey
Degree is upper to be checked student's calculation procedure, error correction and prompting, but 1. often calculation procedure is regarded as with applying situation only
Vertical pure mathematics event；Mathematical computations have certain mapping relations between application situation in fact, have isolated making therebetween
Obtain student's more indigestibility mathematics knowledge；2. apply situation due to ignoring so that candidate's computation rule collection is huge, and then to calculate
Time cost, space cost are larger, cause that support can not be provided in real time.
(3) application situation is paid attention to when studying student knowledge tracing model inadequate.1. current research can also be counted according to student
The knowledge tracing model of behavioural information analysis student during calculation, but using knowledge point as point discrete one by one, research
Granularity is too thin.But mathematical problem is always existed in necessarily using situation, is now connected each other between knowledge, such as 800-
40*x is more complicated than 800-y, and 16-30 is more difficult than 20-16, different using situation each other.Departing from using situation, then
The ability of student can not fully be disclosed.2. the analysis of KT primary limitations and calculating process simultaneously, in terms of ignoring the meaning of the question understanding
Situation；And 2 steps solved a problem are unified, only with reference to problem situation, understand that angle further studies KT from the meaning of the question, ability
The knowledge for more comprehensively disclosing student holds situation.
According to above-mentioned analysis, in terms of the situation of the computer-assisted instruction such as current intelligent tutoring, online education field
Deficiency, cause serial pain spot：For student, due to lack situation support so that the bad understanding of topic, done wrong do not know for
What, it is impossible to prompting is obtained, or even answer is failed to understand；For teacher, the shortage of situation, knowing for each student is fully understanded
Know and grasp present situation and reason, as a consequence it is hardly possible to, also there is an urgent need to the support of instrument to solve problem；For school, due to teacher
Money and insufficient funds, also there is an urgent need to internet and situation instrument to support, especially true to under-developed area；To currently solving a problem
For support instrument, due to situation feature also unobvious so that the support to Students ' Problem-solving is not also comprehensive.
The content of the invention
In order to solve the problems, such as that above prior art is present, it is an object of the invention to provide a kind of towards mathematical education
Situation simulation support system, the angle supported from situation emulation, support system of solving a problem to school mathematicses expansion research, solve to work as
The difficulty in middle and elementary school student Mathematics Solution such as preceding student, teacher.
To achieve these goals, the present invention provides following technical scheme：
A kind of situation simulation support system CS_MSS towards mathematical education, the system include situation emulation support module
C3S, problem situation emulation module PContext_S, solution approach error correction and reminding module Step_CH, the knowledge tracking mould of extension
Type analysis module EKT, the situation emulation support module C3S are mainly used in the basic platform that situation emulation is supported；
The situation emulation support module C3S includes context aware, CS_L# language and its editing machine, simulation building defines
And component base, simulation document interpreter, graphical simulation editing machine；Described problem situation emulation module PContext_S includes base
Emulate and edit in CS35 mathematical problem logical definition, school mathematicses exam pool, simulation document interpreter and problem situation；The solution
Topic step error correction and reminding module Step_CH including computation rule storehouse, solution approach analyzer, solution approach generator, solve a problem
Situation emulation editor；The knowledge tracing model analysis module EKT of the extension includes excavating, based on Bayes using contextual model
EKT predictions, EKT explanation, situation of solving a problem emulation editor.
Situation emulation support module C3S of the present invention architecture is using B/S and C/S mixed structures, including teacher
Client, server end and student client, teacher's client define window, situation editing machine, CS_L# including mathematical problem
Virtual machine, Distributed Calculation client；The server end includes mathematics exam pool, component base, configuration mechanism, CS_L# compiling machines
System, EKT analyses and explanation facility, distributed computing server end；The student client includes situation editing machine, situation sense
Know, CS_L# virtual machines, calculation procedure error correction and prompting, EKT analyses and explain, the architecture is by key data and part core
In heart process part insertion server, the support and realization of situation emulation are realized in client.
The present invention has following key technology：
(1) Simple imitating design language CS_L# and its compiler.The reality of the setting of simulation component state and monitoring, action
It is existing, the interaction between component, and collection and the monitoring etc. of user behavior data, it is required to appliance computer programming
Language.Therefore it is necessary for the easy language of Mathematics question situation emulation.The characteristics of team is towards school mathematicses, research and development
Appear the simple situation emulational language CS_L# emulated to school mathematicses field situation.The language has easy-to-use, cross-platform, fortune
The features such as line efficiency height, it is the set of a set of simple keyword, morphology and parsing automaton.CS_L# compilers are right first
Context file CS_Problem carries out morphology and syntactic analysis, and CS_Problem then is changed into computer program；Again by phase
Answer interpreter Compiler to explain to perform, realize that situation emulates.
(2) the visualization situation emulation technology based on configuration.Mainly support emulation wound of the user to problem situation in the part
If by commonly using the structures such as component (such as button, text box etc.), field simulation component list Component_List, edit cell
Into.Main Research Thinking is to include：Initialization emulation editing environment CS_Edit；CS_Edit is called by teacher, according to problem feelings
Border and teaching demand and logical description are theoretical, define mathematical problem, generation CS_Problem；By system according to CS_Problem,
Problem oriented simplified simulated environment CS_Edit_S is generated, emulation complexity is reduced, is created with the emulation of effective support issue situation
If；Configuration mode is used by users such as student or teachers, carries out problem situation emulation editor；Generated by CS_Edit_S and performed
Simulation document CS_File, the reconstruct of problem of implementation situation simultaneously feed back to user.
(3) the mathematical problem CS_Problem visual logics description of contextually-targeted emulation.CS_Problem mathematical problems should
Include original topic, simulation component ComponentiAnd its attribute, ComponentiBetween relation logical description etc..The research
The demand emulated according to situation, the composition situation member of topic is analyzed, proposes corresponding simulation component；Again from this simulation component
Knowledge point is extracted in Component_List, with the reasoning from logic of description logic, on the basis of simple concept and relation, structure
Produce embody object between application context complicated concept and interactive relation, so as to realize the emulation branch between multiple objects
Hold.
(4) the simulation component body Component_List towards primary school mathematics field visualizes structure.First according to small
Immunologing mathematics domain knowledge, extract the composition object (namely situation member) of different topic type topics, and the respective category of these objects
Property, event and action；Then simulation component storehouse Component_List is generated according to ontology theory etc..With route problem and clock and watch
Exemplified by problem：Route problem can be divided into 7 classes, and clock and watch problem can be divided into 6 classes；Main simulation component can be extracted from these problems
Dial plate of " stroke role " (including people, car), clock and watch etc..ComponentiIncluding attribute, event and action, can be described as：
Componenti={ id, Type, Arr_List, Method_List, Event_List }
(5) solve a problem error correction and prompting expert system StepES in real time.StepES can determine analysis rule according to using situation
Collection and computation rule collection search space.
(6) student knowledge tracing model (EKT, ExtendedKnowledge based on application situation and Bayes
Tracing).EKT main purpose is to predict it to the ability in terms of the meaning of the question understanding according to the agenda of student.For some
For problem situation, the definition of probability that student understands in advance is p { L0, the ability understood again by study is defined as p { T },
The definition of probability grasped and neglected is p { S }, and the definition of probability for not grasping and guessing answer is p { G }, grasps and forgets general
Rate is defined as p { F }, and p { F } value is often set to 0.The practical manifestation of the i-th step during student's simulation problems situation is defined as
Oi, the value can be observed that its value only has 2 kinds of situations true or false by display, represent " understanding " or " pay no attention to
Solution ".The essence of so student's the meaning of the question understandability tracking is exactly to predict p { L according to the practical manifestation of student0, p { T }, p { S } with
P { G } probable value.
(7) towards the automatic interpretation techniques of EKT of teacher, parent and student.The model pushes away according to bayes predictive model
Reason mechanism, with reference to the behavioral data of student's reconstruction situation, student's the meaning of the question understandability result is explained, it is main to include explaining mould
Type, version space and explanation strategy etc..Students ' behavior data can be expressed as the vector by property value and weight expression, can be with
Behavior file store is established for vector element, behavior combination pattern is exactly the sub- situation of problem situation；User is represented with b, s represents system
System,Expression b at the t times " question and answer " issues s question,Then on the contrary, then interpretation process can be described as finite ordered
Row：" question and answer " are represented by a multi-component system to both sides every time
Form { x1,x2,...,xn, description }, description represents explanation of the side of speaking to current question.Bayes pushes away
The reproduction and evaluation of reason process and user behavior data, are expressed as version space.Explanation strategy can be described as：According to user couple
The prediction conviction (Belief) of student's the meaning of the question understandability model determines different version spaces, and according to the conviction, User space
Degree and time caching next round explanation etc..
Compared with prior art, the present invention has the advantage that：
(1) powerful, product integrated level is high.Student's the meaning of the question is supported to understand, column is sub, calculation procedure inspection, Yi Jizhi
Know and grasp the overall processes such as situation analysis, be adapted to large-scale promotion application.Breached present invention employs the thinking of object-oriented more
The integration problem of module, in conjunction with core client, and the efficient communication mechanism between server, improve the meter of product
Calculate performance so that a kind of product multi-function service, powerful, program covers overall process of solving a problem.CS_MSS both support issue feelings
Border emulates, and supports the progressively development of solution approach again.
(2) situation feature is obvious.The present invention support student individuality simulation problems situation, support solve a problem situation in favor of
The calculating process of student, and Students ' Problem-solving contextual information is perceived, student's calculation procedure is entangled based on situation is applied
Wrong and prompting, the assurance present situation of student knowledge is disclosed according to application situation.The present invention has fully demonstrated situation feature, advantageously
In the understanding of student to the meaning of the question etc., so as to advantageously in the support to Students ' Problem-solving.
(3) individualized feature is obvious.The invention provides situation simulating support function, supports teacher and student to obtain the meaning of the question
Personalization emulation, greatly facilitates the participation of teacher and student, is also very beneficial for the excavation of student's the meaning of the question understandability.
(4) the graphical simulation environment based on configuration, product user Experience design is focused on, using the demand of students in middle and primary schools as root
This starting point.The support system of solving a problem of the present invention, component is abundant, design language is simple, and middle and elementary school student is easily mastered, easily quilt
Receive.
(5) student knowledge is followed the trail of more comprehensively and can be explained.The present invention just perceives during student's simulation problems situation
The behavioural information of student, and according to the information, disclose the capacity situation in terms of student's the meaning of the question understanding.Meanwhile basis of the present invention
Negotiation is theoretical, effectively can explain that student knowledge holds basic reason caused by present situation to user.
(6) exam pool topic and the open by design in simulation component storehouse.In face of magnanimity mathematical problem, and abundant component demand,
The present invention provides open interface, supports the personalization of vast teacher and student to found；Project simultaneously provides flexible sharing mechanism,
It is easy to the shared of topic, component and thinking of solving a problem.This greatly reduces the difficulty that item banking is built with simulation component storehouse, and
So that material enriches, meet very much user's request.
(7) can be embedded in MOOC videos.The present invention can easily be embedded among MOOC videos, greatly facilitate religion
The long-range of teacher is given lessons.Teacher can allow student oneself to experience problem situation, and arrangement class when student sees MOOC videos
Hall operation, and completed by student scene, teacher can call StepES and EKT, check that each student's does topic situation, with knowing
Know assurance situation.
(8) it is general to use at ambient.Internet, movement, isomery, ubiquitous etc. are characterized in the spy of current wisdom academic environment
Sign；And Network infrastructure construction is serious unbalanced it is also obvious that many LAN bases are set between difference provinces and cities of China
Apply and need to be built.The present invention does not specially require to use environment, supports mobile, unit to use, is very beneficial for promoting.
Brief description of the drawings
The structural representation of the main functional modules of Fig. 1 simulation support systems of the present invention.
Fig. 2 situations emulation support module C3S architectural schematic.
Relation schematic diagram between Fig. 3 visualization situation emulation submodules.
The situation Simulation Interface sectional drawing of Fig. 4 route problems.Fig. 4 (a) is mathematical problem definition interfaces, and Fig. 4 (b) is problem situation
Emulation editor and runnable interface.
Fig. 5 mathematical problems visualize definition interfaces.
Fig. 6 calculation procedure error correcting prompt expert systems StepES.
Fig. 7 equation 2x+4y=60 tree structures.
Fig. 8 StepES solve equation schematic diagram.
The typing of Fig. 9 calculation procedures, inspection and error correction surface chart.
The meaning of the question understandability bayes predictive models of the Figure 10 based on situation.
Figure 11 the meaning of the question understandability predicts process.
Embodiment
The invention will now be further described with reference to specific embodiments, but embodiment is only exemplary, not to this hair
Bright scope forms any restrictions.It will be understood by those skilled in the art that without departing from the spirit and scope of the invention
The details and form of technical solution of the present invention can be modified or replaced, but these modifications and replacement each fall within the present invention's
In protection domain.
A kind of situation simulation support system towards mathematical education, as shown in figure 1, the system, which includes situation emulation, supports mould
Block C3S, problem situation emulation module PContext_S, the knowledge of solution approach error correction and reminding module Step_CH, extension are followed the trail of
Model analysis module EKT, the situation emulation support module C3S are mainly used in the basic platform that situation emulation is supported；
The situation emulation support module C3S includes context aware, CS_L# language and its editing machine, simulation building defines
And component base, simulation document interpreter, graphical simulation editing machine；Described problem situation emulation module PContext_S includes base
Emulate and edit in CS35 mathematical problem logical definition, school mathematicses exam pool, simulation document interpreter and problem situation；The solution
Topic step error correction and reminding module Step_CH including computation rule storehouse, solution approach analyzer, solution approach generator, solve a problem
Situation emulation editor；The knowledge tracing model analysis module EKT of the extension includes excavating, based on Bayes using contextual model
EKT predictions, EKT explanation, situation of solving a problem emulation editor.
Situation emulation support module C3S of the present invention architecture is using B/S and C/S mixed structures, such as Fig. 2 institutes
Show, including teacher's client, server end and student client, teacher's client define window, situation including mathematical problem
Editing machine, CS_L# virtual machines, Distributed Calculation client；The server end includes mathematics exam pool, component base, configuration machine
System, CS_L# code generations, EKT analysis and explanation facility, distributed computing server end；The student client includes situation
Editing machine, context aware, CS_L# virtual machines, calculation procedure error correction and prompting, EKT analyses and explanation, the architecture will be main
Data are partially submerged into server with part core processing, and the support and realization of situation emulation are realized in client.
The present invention has following key technology：
(1) Simple imitating design language CS_L# and its compiler.The reality of the setting of simulation component state and monitoring, action
It is existing, the interaction between component, and collection and the monitoring etc. of user behavior data, it is required to appliance computer programming
Language.Therefore it is necessary for the easy language of Mathematics question situation emulation.The characteristics of team is towards school mathematicses, research and development
Appear the simple situation emulational language CS_L# emulated to school mathematicses field situation.The language has easy-to-use, cross-platform, fortune
The features such as line efficiency height, it is the set of a set of simple keyword, morphology and parsing automaton.CS_L# compilers are right first
Context file CS_Problem carries out morphology and syntactic analysis, and CS_Problem then is changed into computer program；Again by phase
Answer interpreter Compiler to explain to perform, realize that situation emulates.
(2) the visualization situation emulation technology based on configuration.Mainly support emulation wound of the user to problem situation in the part
If by commonly using the structures such as component (such as button, text box etc.), field simulation component list Component_List, edit cell
Into.Main Research Thinking is to include：Initialization emulation editing environment CS_Edit；CS_Edit is called by teacher, according to problem feelings
Border and teaching demand and logical description are theoretical, define mathematical problem, generation CS_Problem；By system according to CS_Problem,
Problem oriented simplified simulated environment CS_Edit_S is generated, emulation complexity is reduced, is created with the emulation of effective support issue situation
If；Configuration mode is used by users such as student or teachers, carries out problem situation emulation editor；Generated by CS_Edit_S and performed
Simulation document CS_File, the reconstruct of problem of implementation situation simultaneously feed back to user.Relation each other is as shown in Figure 3.
Fig. 4 is the situation Simulation Interface sectional drawing of a route problem.Fig. 4 (a) is mathematical problem definition interfaces, and Fig. 4 (b) is to ask
Inscribe situation emulation editor and runnable interface.In Fig. 4 (a), teacher can carry out emulation wound from toolbar selected member in editing area
If.In Fig. 4 (b), component is compared simply, from (a), such as there was only " first car ", " second car " and " AB two places " etc.；Student
Problem situation can be reconstructed in a manner of animation etc. with selected member, wherein subwindow is editor and reconstruct operation window respectively
Mouthful.
(3) the mathematical problem CS_Problem visual logics description of contextually-targeted emulation.CS_Problem mathematical problems should
Include original topic, simulation component ComponentiAnd its attribute, ComponentiBetween relation logical description etc..The research
The demand emulated according to situation, the composition situation member of topic is analyzed, proposes corresponding simulation component；Again from this simulation component
Knowledge point is extracted in Component_List, with the reasoning from logic of description logic, on the basis of simple concept and relation, structure
Produce embody object between application context complicated concept and interactive relation, so as to realize the emulation branch between multiple objects
Hold.Fig. 5 is a mathematical problem definition interfaces, user especially teacher can by the module definition stroke distances, canoe speed with
Line of travel etc..CS_Problem records the letter such as the composition of situation, layout, state, event and the action of each inscape
Breath.CS_Problem files are XML structures, and its outermost node layer is CS_Form.The simple attributes of present node are included in section
In point, child node is its complex properties (property), event (event) and method (method), and by comprising member
Element.CS_Problem file structures are described as shown in table 1.
The semantic structure of table 1 describes
(4) the simulation component body Component_List towards primary school mathematics field visualizes structure.First according to small
Immunologing mathematics domain knowledge, extract the composition object (namely situation member) of different topic type topics, and the respective category of these objects
Property, event and action；Then simulation component storehouse Component_List is generated according to ontology theory etc..With route problem and clock and watch
Exemplified by problem：Route problem can be divided into 7 classes, and clock and watch problem can be divided into 6 classes；Main simulation component can be extracted from these problems
Dial plate of " stroke role " (including people, car), clock and watch etc..ComponentiIncluding attribute, event and action, can be described as：
Componenti={ id, Type, Arr_List, Method_List, Event_List }.
(5) solve a problem error correction and prompting expert system StepES in real time.The StepES of team's research and development can be true according to application situation
Setting analysis rule set and computation rule collection search space, its schematic diagram are as shown in Figure 6.Calculation procedure analyzer Step_A according to point
Rule set is analysed, the solution approach submitted to student is analyzed, and Students ' Problem-solving step is checked in real time, error correction；Calculate step
Rapid generator Step_G responds the prompting of student request, the current solution approach that generation system provides according to computation rule collection.
StepES stores mathematical expression with tree construction, and the constant in formula is put in leaf node with simple variable；Operator is
Meet node, such as equation 2x+4y=60 can be represented with Fig. 7.StepES uses IF-THEN representation knowledge；Using improvement
RETE algorithms are as inference mechanism, process caused by Fig. 8 equations 2x+15=63-6x solution approach.
Fig. 9 is a Simulation Interface, can be the interbehavior of the components such as the text box shown in student and (a), combobox
Record, to perceive the ability of student's " setting unknown number ", " the meaning of the question understanding " etc..The thinking, which extends to, solved a problem
Journey, such as student can necessarily be grasped by way of " selection text " to the equation group of selection, equation or general calculating formula
Make (see (a) figure) and typing " result of calculation ", automatic decision finally is carried out to the result by system, as shown in (b) figure.
(6) student knowledge tracing model (EKT, ExtendedKnowledge based on application situation and Bayes
Tracing).EKT main purpose is to predict it to the ability in terms of the meaning of the question understanding according to the agenda of student.For some
For problem situation, the definition of probability that student understands in advance is p { L0, the ability understood again by study is defined as p { T },
The definition of probability grasped and neglected is p { S }, and the definition of probability for not grasping and guessing answer is p { G }, grasps and forgets general
Rate is defined as p { F }, and p { F } value is often set to 0.The practical manifestation of the i-th step during student's simulation problems situation is defined as
Oi, the value can be observed that its value only has 2 kinds of situations true or false by display, represent " understanding " or " pay no attention to
Solution ".The essence of so student's the meaning of the question understandability tracking is exactly to predict p { L according to the practical manifestation of student0, p { T }, p { S } with
P { G } probable value.Being that context knowledge point is defined as ck (context knowledge) using situation inscape, using feelings
Border is defined as CK_Seti={ ck1,ck2,...,ckm, then EKT can be as shown in Figure 10 using formalization representation：The wherein bottom
O is presentation layer, namely student is towards ck true representation.CK_Set in contextual model discovery layeriMathematics is solved by student
Problem situation, student ability trace table dendrography life is to applying situation CK_SetiOverall and its composition context knowledge point { ck1,
ck2,...,ckmUnderstanding situation.Research Thinking is divided into 3 steps：
A) first found according to the behavioral data of context aware CS_Aware module collections using data digging methods such as clusters
Using contextual model CK_Seti。
B) according to the practical manifestation O of studenti, it is pre- with hidden markov chain, Bayesian model, Logistic recurrence etc.
Student is surveyed to K_SetiAnd its understandability situation of element situation.Therefore, the K_Set in prediction intervaliProbable value can use figure
It is predicted shown in 11, and according to the weight of context knowledge point, recursively the probable value of every sub- situation is entered using the pattern
Row prediction, it is specific as shown in figure 11.
C) EKT can use following formula to represent that storage organization is as shown in table 2 and table 3：
Table 2EKT storage organizations (1) -- context knowledge grasps situation
| Stu_ID | CK_SetID | CK_Set contents | p{L0} | p{T} | p{S} | p{G} |
| 1093003 | 1 | In terms of stroke | 46.3 | 73.0 | 36.0 | 20.0 |
Grasp situation in table 3EKT storage organizations (2)-knowledge point
| Stu_ID | CK_SetID | ck_ID | p{L0} | p{T} | p{S} | p{G} |
| 1093003 | 1 | Seek speed | 19.0 | 68.0 | 72.9 | 0.005 |
(7) towards the automatic interpretation techniques of EKT of teacher, parent and student.The model pushes away according to bayes predictive model
Reason mechanism, with reference to the behavioral data of student's reconstruction situation, student's the meaning of the question understandability result is explained, it is main to include explaining mould
Type, version space and explanation strategy etc..Students ' behavior data can be expressed as the vector by property value and weight expression, can be with
Behavior file store is established for vector element, behavior combination pattern is exactly the sub- situation of problem situation；User is represented with b, s represents system
System,Expression b at the t times " question and answer " issues s question,Then on the contrary, then interpretation process can be described as finite ordered
Row：" question and answer " are represented by a multi-component system to both sides every time
Form { x1,x2,...,xn, description }, description represents explanation of the side of speaking to current question.Bayes pushes away
The reproduction and evaluation of reason process and user behavior data, are expressed as version space.Explanation strategy can be described as：According to user couple
The prediction conviction (Belief) of student's the meaning of the question understandability model determines different version spaces, and according to the conviction, User space
Degree and time caching next round explanation etc..
The present invention at home and abroad has very strong novelty, and certain leading position is in key technology.The present invention with
The specific of similar products at home and abroad is compared as follows shown in table 4：
Table 4CS_MSS and like product comparison sheet
Claims (6)
1. a kind of situation simulation support system towards mathematical education, it is characterised in that the system includes situation emulation and supports mould
Block C3S, problem situation emulation module PContext_S, the knowledge of solution approach error correction and reminding module Step_CH, extension are followed the trail of
Model analysis module EKT, the situation emulation support module C3S are mainly used in the basic platform that situation emulation is supported；
The situation emulation support module C3S includes context aware, CS_L# language and its editing machine, simulation building definition and structure
Part storehouse, simulation document interpreter, graphical simulation editing machine；Described problem situation emulation module PContext_S includes being based on
CS35 mathematical problem logical definition, school mathematicses exam pool, simulation document interpreter and problem situation emulation editor；It is described to solve a problem
Step error correction includes computation rule storehouse, solution approach analyzer, solution approach generator, feelings of solving a problem with reminding module Step_CH
Border emulation editor；The knowledge tracing model analysis module EKT of the extension includes excavating, based on Bayes's using contextual model
EKT predictions, EKT explanation, situation of solving a problem emulation editor.
A kind of 2. situation simulation support system towards mathematical education according to claim 1, it is characterised in that the feelings
Border emulation support module C3S architecture is using B/S and C/S mixed structures, including teacher's client, server end and student
Client, teacher's client define window, situation editing machine, CS_L# virtual machines, Distributed Calculation client including mathematical problem
End；The server end include mathematics exam pool, component base, configuration mechanism, CS_L# code generations, EKT analysis with explanation facility,
Distributed computing server end；The student client includes situation editing machine, context aware, CS_L# virtual machines, calculation procedure
Key data and part core processing are partially submerged into server by error correction with prompting, EKT analyses and explanation, the architecture,
The support and realization of situation emulation are realized in client.
3. a kind of situation simulation support system towards mathematical education according to claim 1, it is characterised in that described
CS_L# language is the set of a set of simple keyword, morphology and parsing automaton, and CS_L# compilers are first to situation text
Part CS_Problem mathematical problems carry out morphology and syntactic analysis, and CS_Problem mathematical problems then are changed into computer program；
Explained and performed by respective explanations device Compiler again, realize that situation emulates.
4. a kind of situation simulation support system towards mathematical education according to claim 3, it is characterised in that described
CS_Problem mathematical problems include original topic, simulation component ComponentiAnd its attribute, ComponentiBetween relation patrol
Collect description, ComponentiIncluding attribute, event and action.
5. a kind of situation simulation support system towards mathematical education according to claim 1, it is characterised in that described to ask
Topic situation emulation module PContext_S mainly supports emulation of the user to problem situation to found, by conventional component button and text
Frame, field simulation component list Component_List, edit cell are formed.
A kind of 6. situation simulation support system towards mathematical education according to claim 2, it is characterised in that the structure
Part storehouse is built by the following method：According to primary school mathematics domain knowledge, the composition object i.e. situation member of different topic type topics is extracted,
And the respective attribute of these objects, event and action, simulation component storehouse is generated according to ontology theory.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710691368.0A CN107633111B (en) | 2017-08-14 | 2017-08-14 | Situation simulation support system for mathematic education |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710691368.0A CN107633111B (en) | 2017-08-14 | 2017-08-14 | Situation simulation support system for mathematic education |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107633111A true CN107633111A (en) | 2018-01-26 |
| CN107633111B CN107633111B (en) | 2021-02-26 |
Family
ID=61099929
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710691368.0A Active CN107633111B (en) | 2017-08-14 | 2017-08-14 | Situation simulation support system for mathematic education |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107633111B (en) |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108389447A (en) * | 2018-03-13 | 2018-08-10 | 北京凯为科技有限公司 | Training Methodology and training system |
| CN109446315A (en) * | 2018-12-20 | 2019-03-08 | 广东小天才科技有限公司 | One kind, which is solved a problem, householder method and solves a problem and assists client |
| CN109598995A (en) * | 2019-01-08 | 2019-04-09 | 上海健坤教育科技有限公司 | Intelligent tutoring system based on Bayes's knowledge trace model |
| CN110765316A (en) * | 2019-08-28 | 2020-02-07 | 刘坚 | Primary school textbook characteristic arrangement method |
| CN110807469A (en) * | 2019-09-19 | 2020-02-18 | 华中师范大学 | Knowledge tracking method and system integrating long-time memory and short-time memory with Bayesian network |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20140234816A1 (en) * | 2013-02-20 | 2014-08-21 | SmartlyU, Inc. | Network-Based System for Social Emotional Learning |
| CN104680304A (en) * | 2014-12-25 | 2015-06-03 | 曹进 | Situational teaching system |
| CN106710336A (en) * | 2016-12-20 | 2017-05-24 | 成都远策数码科技有限公司 | Network teaching platform |
-
2017
- 2017-08-14 CN CN201710691368.0A patent/CN107633111B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20140234816A1 (en) * | 2013-02-20 | 2014-08-21 | SmartlyU, Inc. | Network-Based System for Social Emotional Learning |
| CN104680304A (en) * | 2014-12-25 | 2015-06-03 | 曹进 | Situational teaching system |
| CN106710336A (en) * | 2016-12-20 | 2017-05-24 | 成都远策数码科技有限公司 | Network teaching platform |
Non-Patent Citations (2)
| Title |
|---|
| 姜强 等: "个性化自适应学习研究—大数据时代数字化学习的新常态", 《中国电化教育》 * |
| 曾明星等: "MOOC与翻转课堂融合的深度学习场域建构", 《现代远程教育研究》 * |
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108389447A (en) * | 2018-03-13 | 2018-08-10 | 北京凯为科技有限公司 | Training Methodology and training system |
| CN109446315A (en) * | 2018-12-20 | 2019-03-08 | 广东小天才科技有限公司 | One kind, which is solved a problem, householder method and solves a problem and assists client |
| CN109446315B (en) * | 2018-12-20 | 2021-03-30 | 广东小天才科技有限公司 | Question solving auxiliary method and question solving auxiliary client |
| CN109598995A (en) * | 2019-01-08 | 2019-04-09 | 上海健坤教育科技有限公司 | Intelligent tutoring system based on Bayes's knowledge trace model |
| CN110765316A (en) * | 2019-08-28 | 2020-02-07 | 刘坚 | Primary school textbook characteristic arrangement method |
| CN110807469A (en) * | 2019-09-19 | 2020-02-18 | 华中师范大学 | Knowledge tracking method and system integrating long-time memory and short-time memory with Bayesian network |
| CN110807469B (en) * | 2019-09-19 | 2020-09-11 | 华中师范大学 | Knowledge tracking method and system integrating long-time memory and short-time memory with Bayesian network |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107633111B (en) | 2021-02-26 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Bin et al. | English teaching practice based on artificial intelligence technology | |
| Gresse von Wangenheim et al. | Visual tools for teaching machine learning in K-12: A ten-year systematic mapping | |
| Aleven et al. | A new paradigm for intelligent tutoring systems: Example-tracing tutors | |
| CN107633111A (en) | A kind of situation simulation support system towards mathematical education | |
| Ahuja et al. | A critical review of development of intelligent tutoring systems: Retrospect, present and prospect | |
| Towne | Learning and instruction in simulation environments | |
| Clauzel et al. | Enhancing synchronous collaboration by using interactive visualisation of modelled traces | |
| Talanquer | How do students reason about chemical substances and reactions? | |
| Sun et al. | Eco-environment construction of English teaching using artificial intelligence under big data environment | |
| Henze | Adaptive hyperbooks: Adaptation for project-based learning resources | |
| Al Ka'bi | Proposed artificial intelligence algorithm and deep learning techniques for development of higher education | |
| Aleven et al. | Example-tracing tutors: A new paradigm for intelligent tutoring systems | |
| Tedre et al. | Teaching machine learning in K-12 computing education: Potential and pitfalls | |
| Bryfczynski | BeSocratic: An intelligent tutoring system for the recognition, evaluation, and analysis of free-form student input | |
| Chipman | Gazing Once More Into the Silicon Chip: Who's Revolutionary Now? | |
| Bennett | The use of on-line guidance, representation aiding, and discovery learning to improve the effectiveness of simulation training | |
| DeJarnette | Students’ challenges with symbols and diagrams when using a programming environment in mathematics | |
| Li et al. | Design of higher education system based on artificial intelligence technology | |
| Ye et al. | Artificial intelligence in education: origin, development and rise | |
| Popel | The Methodical Aspects of the Algebra and the Mathematical Analysis Study Using the Sagemath Cloud | |
| Jormanainen | Supporting teachers in unpredictable robotics learning environments | |
| Zhang et al. | Knowledge tracing with exercise-enhanced key-value memory networks | |
| Hong et al. | Visual Resolve of Modern Educational Technology Based on Artificial Intelligence under the Digital Background | |
| Mylonakis et al. | Octopus: A collaborative environment supporting the development of effective instructional design | |
| Gupta et al. | Designing ontology for massive open online courses using Protege |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| TA01 | Transfer of patent application right | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20210126 Address after: 215000 station 209-13, building 1, No.10 Jinshan Road, high tech Zone, Suzhou City, Jiangsu Province (cluster registration) Applicant after: Suzhou TangYun Information Technology Co.,Ltd. Address before: Room 3606, 70 Zhongshan East Road, Mudu Town, Wuzhong District, Suzhou City, Jiangsu Province 215000 Applicant before: SUZHOU AIDE KESI INTELLIGENT TECHNOLOGY Co.,Ltd. |
|
| GR01 | Patent grant | ||
| GR01 | Patent grant |