CN106648574A - Middle school solid geometry intelligent teaching system applied to electronic double boards - Google Patents
Middle school solid geometry intelligent teaching system applied to electronic double boards Download PDFInfo
- Publication number
- CN106648574A CN106648574A CN201610669883.4A CN201610669883A CN106648574A CN 106648574 A CN106648574 A CN 106648574A CN 201610669883 A CN201610669883 A CN 201610669883A CN 106648574 A CN106648574 A CN 106648574A
- Authority
- CN
- China
- Prior art keywords
- information
- geometry
- authority
- geometric
- middle school
- 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.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/22—Procedural
-
- G—PHYSICS
- G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
- G09B—EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS
- G09B23/00—Models for scientific, medical, or mathematical purposes, e.g. full-sized devices for demonstration purposes
- G09B23/02—Models for scientific, medical, or mathematical purposes, e.g. full-sized devices for demonstration purposes for mathematics
- G09B23/04—Models for scientific, medical, or mathematical purposes, e.g. full-sized devices for demonstration purposes for mathematics for geometry, trigonometry, projection or perspective
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Analysis (AREA)
- Theoretical Computer Science (AREA)
- Computational Mathematics (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Mathematical Physics (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Geometry (AREA)
- Algebra (AREA)
- Business, Economics & Management (AREA)
- Educational Administration (AREA)
- Educational Technology (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention relates to the technical field of educational informationization and the field of mathematical mechanization, and provides a middle school solid geometry intelligent teaching system applied to electronic double boards. According to the system, a relatively independent solid geometry teaching system is fused in electronic double board class teaching by combining related research achievements of an educational informationization technology and mathematical mechanization with a mathematical subject; and for a current situation of Chinese middle school geometry education at present, the problems of difficulty, complexity, dullness and the like in middle school solid geometry teaching are effectively solved, and students are assisted to develop spatial imagination while mechanized work of teachers is reduced.
Description
Technical field
The present invention relates to IT application in education sector technical field and mechanization of mathematics field, specifically one kind is applied to electronics
Middle school's solid geometry intelligent tutoring system of double plates.
Background technology
Electronic double board includes the electronic whiteboard and projecting apparatus for showing content in teacher's computers, wherein electronic whiteboard and throwing
Shadow instrument is used in pairs, and to realize that double pictures are presented the content of courses, the size of two electronic whiteboards is identical, and left and right is placed side by side;With
Going deep into for IT application in education sector, electronic double board with its interactivity it is good, be easy to carry out the advantages such as interactive teaching, gradually replace " PPT+
The multimedia teaching facility of projecting apparatus ", will more and more be applied in classroom.
Solid geometry is always the emphasis and difficult point of middle school geometry teaching.However, in the vertical of traditional " the free-hand mapping of blackboard "
During body several teaching, the most of the time of teacher is forced to be engaged in substantial amounts of low-level, Hand drawing, the writing on the blackboard work of repeatability
Make, efficiency of teaching is relatively low;On the other hand, for the most of students for being in middle and primary schools, their space imagining ability
Cultivation stage is still in, the space geometry relation of complexity can't be intactly envisioned as comprehensively;Further, since blackboard framework ring
The restriction in border, the space diagram of freehand is not often easy to maintain, it is difficult to position and lack the ability of dynamic change, and its is distinctive
Space multistory sense usually cannot be fully presented, and these all understand that solid geometry knowledge brings very big difficulty to student.
With the propulsion of Process of Educational Informationization, the country increasingly increases for the dynamic geometry educational system of Mathematics Discipline exploitation
Many, they functionally cover the partially or mostly content in middle school mathematics knowledge, can to a certain extent mitigate teacher's
Mechanicalness, repeated labor, understand student abstract mathematical concept, find that the colourful mathematics world also plays guiding
And booster action.But, because development difficulty is larger, at present the country is not also specifically designed for the dynamic geometry teaching of solid geometry
System, only several moneys are related to the mapping software that the educational system of solid geometry is also all analogous to CAD, lack intelligent interaction
The dynamic geometry such as mapping, animation, track, tracking, measurement function and automated reasoning correlation function, thus can not be by obscure solid
Geometric theory is presented with the relation dynamic for being hidden in figure behind, have impact on the teaching efficiency of teacher and proposing for students ' interest of study
It is high.
The content of the invention
The purpose of the present invention is exactly to overcome the problems referred to above, there is provided one kind is using IT application in education sector technology and Mathematics Mechanical
A kind of middle school's solid geometry for being applied to electronic double board that the correlative study achievement of change is designed and developed in combination with Mathematics Discipline
Intelligent tutoring system.The present invention can be fused to a relatively independent tutoring system among electronic double board classroom instruction, pin
To current China's middle school geometry Education Situation, be devoted to solving in middle school's solid geometry teaching it is difficult, numerous, slow-witted the problems such as, it is intended to
While mitigating the work of teacher's mechanization, help students developing space imagination, deepen to the understanding of three-dimensional geometric knowledge with
With.
A kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board, comprising following three-decker:
Bottom, is represented, three modules of material database are constituted by discipline knowledge repository, geological information data, there is provided made to intermediate layer
With;
Intermediate layer, is made up of geometric information database with dynamic geometry, courseware development tool, three modules of automated reasoning, to
Contact bottom and application layer;The encapsulation to bottom module is completed for specific application, for needed for application layer provides each system
Basic function;
Application layer, is generated by problem and solves unit, Interactive Drawing unit, three unit groups of courseware development and demonstration
Into the input and terminal for processing user is exported to realize man-machine interaction.
There is provided to top layer using bottom-up, bottom between each layer in present system and carry out inter-layer information by the way of service
Transmission, it is then associated with each other according to intermodule relation between each module in layer inside.Wherein, geological information data structure is represented
Based on the geometric knowledge that module is provided by subject knowledge place, the expression side of the geological information of geometric objects is constructed
Method, the data for constituting system represent basis.The data side of expression that module is provided is represented according to bottom geological information data structure
On the one hand method, geometric information database records all geometric object geological informations and forms data warehouse with dynamic geometry module, is upper strata
Using and automated reasoning module provide data basis;In addition, being provided using technologies such as computer graphics, space computational geometries
Interface is realized for Interactive Drawing, courseware development and demonstration unit.Automated reasoning module is according to pushing away in discipline knowledge repository
The geological information that reason rule and geometric information database are provided completes automated reasoning, and problem is generated with solving system in the module basis
On, generation and the automatic calculation of geometrical issues are realized, constitute the important content of system.
In above-mentioned technical proposal, the subject knowledge library module is in the middle school's solid geometry represented using predicate logic
Basic period structure, including concept, the fact, theorem and axiom, they constitute inference rules, as reasoning basis for intermediate layer from
Dynamic reasoning module is used.
In above-mentioned technical proposal, the geological information data representation module adopts the data structure pair of multistage authority chained list
The geological informations such as the classification of geometric graphic element, the relation between position, size and pel carry out data expression;Its concrete expression side
Method is
(1) all parameters in designing a parameter chained list to preserve a page, design another geometric element authority
Preserving all of geometric element, when the page updates every time, sequentially synchronized update parameter list and element are arranged chained list
Table;
(2) geometry element of volume authority credentials is given successively by dimension size, its midpoint element authority credentials is 1;Line style element is weighed
Limit value is 2;Face type element authority credentials is 3;Type elements authority credentials is 4;Then the geometric element for every kind of authority constructs one
Chained list, and it is authority chained list of the authority by low to high arrangement to combine four chained lists according to authority height;
(3) when having new geometric element needs to add or having geometric element to need to delete, it is only necessary to know that
Type belonging to the geometric element, then navigates to rapidly the position in authority chained list, then inserted or deletion action i.e.
Can;
(4) when authority chained list searches for geometric element, chained list adopts following search mechanisms, searches for from the beginning of gauge outfit, if
Search in child list in the geometric element of low rights, just do not continue search for the geometric element of high authority, if search is not
To the higher leveled geometric element of sequential search authority for just pressing chained list, if searching multiple units in the child list of same authority
Element, then the distance according to element from eye position be ranked up, choose from nearest one of eyes.
In above-mentioned technical proposal, the material library module is used to store the multimedias such as picture, text, animation and video and audio
File, basic material is provided to writting tool and courseware development with demo system.
In above-mentioned technical proposal, the geometric information database is divided into geometric information database and dynamic geometry with dynamic geometry module
Two parts;Geometric information database similar to information warehouse, using drawing all figures for finishing in the current engineering of chained list linear memory
Corresponding geological information, constitute the data basis of system;Dynamic geometry part is according to parameterized Three-Dimensional Dynamic geometry teaching
Model and " programmable point " method, using computer graphical, space computational geometry technology geometry letter in geological information library module is realized
The rendering of breath is presented and operation between user and geological information is interactive, and provides interactive operation for Interactive Drawing system and connect
Mouthful, realize the operation either statically or dynamically such as mobile tracking track of object corresponding to geological information.Wherein mainly adopt computer
OpenGL Renderings in figure, space computational geometry realize rendering and presentation for three-dimension space image, using " programmable
Point " method gives solid dynamic geometry characteristic, and it concretely comprises the following steps a. and selectes parameter T constructing variable equation, represents three-dimensional respectively
The X, Y, Z axis respective coordinates of spatial point;B. constructed variable V relevant parameters T, corresponds to therewith;C. user's foundation needs to change variable V
The dynamic change of point is realized, is such as tracked, track etc..
In above-mentioned technical proposal, the automated reasoning module uses the Interconnection Inference based on prospective method, reasoning module bag
Containing input system, inferencing information initialization, automated reasoning engine, four parts of inference conclusion, in initial phase, current field
The parameter of the geological information and user addition in scape, conditional information are put into geometric information database and are converted into internal reasoning information,
Then inference rule is iteratively operating on into Given information storehouse, the information for generating every time is all put into geometric information database, until not regenerating
Into fresh information or it is concluded that till, its main flow is as follows,
(1) geological information is obtained in the additional parameter condition mapped and add from user mutual formula;
(2) geological information is converted into internal reasoning information;
(3) internal inferencing information is made inferences using inference rule n in discipline knowledge repository, the initial value of n is 0;
(4) if inference rule produces new geological information, step (7) is gone to;
(5) if n is <=maximum fuzzy rules, number of regulation n adds 1, goes to step (3);
(6) if reaching fixed point, step (10) is gone to;If not reaching fixed point, it is 0 to reset number of regulation n, goes to step
Suddenly (3);
(7) if new geological information does not exist in information bank, it is deposited into information bank;Conversely, going to step (5);
(8) if including conclusion in fresh information, answer information chained list is generated;Otherwise go to step (5);
(9) internal reasoning information is converted into external information, exports readable proofs;
(10) terminate.
In above-mentioned technical proposal, the courseware development tool module is managed using multi-page, and single courseware is by many fortune
The independent page is rearranged in order.
In above-mentioned technical proposal, the Interactive Drawing unit, for realizing that user grasps with the interactivity of geometric graphic element
Make.
In above-mentioned technical proposal, the problem is generated and solves unit, for supporting user according to Interactive Drawing system
System, or addition additional parameter, condition, propose conclusion guess or target call to constitute Solve problems, and the problem is used
Automated reasoning is solved.
In above-mentioned technical proposal, the courseware development and demonstration unit utilize Interactive Drawing side for assisted teacher
Method and writting tool make or demonstration courseware.
The present invention is combined using the correlative study achievement of IT application in education sector technology and mechanization of mathematics in Mathematics Discipline
Mode, specifically using technologies such as dynamic geometry, automated reasoning, computer graphics, space computational geometries, the middle school that combines closely is stood
Body several teaching relevant knowledge, constructs the intellectual education system towards middle school geometry especially solid geometry.
By this technological means, teacher can be used during being imparted knowledge to students using the system according to teaching demand
Interactive Drawing system is drawn from simple to complexity, the three-dimensional geometrical figure with dynamic geometry characteristic, can be easily
Observation and manipulation solid figure, dynamic geometry, conversion are implemented to figure and are measured, and can make with reference to writting tool or demonstration is used
In the courseware of several teaching, generated by problem and build geometrical issues and automatic deduction solution, assisted teacher's religion with solving system
Learn;By the interaction between teacher, system, student, student can profoundly know from experience the study enjoyment thought in dynamic middle school, in becoming, and improve
Learning interest and exploring ability to solid geometry, and then provide side for their deep layer understanding three dimensions solid geometry knowledge
Help.
Present invention contrast prior art and conventional education system have advantages below:
1. can be integrated on electronic double board class teaching platform, using the advantage of electronic double board class teaching platform, open
The education activities such as the dynamic case demonstration of exhibition, interactive drawing, interactive teaching;
2. Mathematics Discipline concrete knowledge is combined, and three dimensions solid geometry is intelligently taught using IT application in education sector technique construction
Educate the concept of system, solve middle school's solid geometry teaching it is difficult, numerous, it is slow-witted the problems such as, filled up China's IT application in education sector in solid
The blank in several teaching field;
3. dynamic geometry technology is utilized, makes geometric object that not only there is very strong space multistory sense, and possess excellent
Dynamic geometry characteristic, realizes the computings such as three-dimensional Interactive Drawing, conversion, measurement, dynamic geometry, solid geometry teaching
Become more vivid, directly perceived;
4. the concept and method of " programmable point " are proposed, successfully will be parameterized and dynamic geometry close-coupled, mathematics
The thought of section's " figure-shape combination " is fully reflected;
5. the demand with three dimensions dynamic geometry is substituted as starting point using the brand-new multistage linked list data structure of authority
The set membership tree construction of conventional planar dynamic geometry system complex, data model is simple, practical, greatly reduces space geometry
The computation complexity of body computing;
6. comprehensive dynamic geometry and automated reasoning technique construction go wrong and generate and solving system, have further expanded system
It is intelligent, be truly realized carries out the target of repeated mechanical mathematics work using computer generation for people.
Description of the drawings
Fig. 1 shows for a kind of framework of the middle school's solid geometry intelligent tutoring system for being applied to electronic double board of the embodiment of the present invention
It is intended to.
Fig. 2 is the multistage linked list data structure schematic diagram of authority adopted in the embodiment of the present invention.
Fig. 3 is the automated reasoning modular program flow chart in the embodiment of the present invention.
Specific embodiment
With reference to the accompanying drawings and examples the invention will be further described.
As shown in figure 1, be a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board of the present embodiment, including
Following three-tier architecture:
Bottom, including discipline knowledge repository, geological information data represent and three modules of material database that they are used as bottom base
Plinth is respectively intermediate layer modules and uses, and constitutes the basis of system.
Intermediate layer, including the functional module such as geometric information database and dynamic geometry, courseware development tool and automated reasoning, they
The encapsulation to bottom module is completed for specific application, the basic function for needed for application layer provides each system is contact
The bridge of bottom and application layer.
Application layer, including problem is generated and solving system, Interactive Drawing system and courseware development and demo system, it is main
Be used to processing the input of user and terminal exported to realize man-machine interaction, be intermediate layer basic function in a particular application be
Systemization is realized.
Next coming in order are specifically described to the modules in above-mentioned three layers.
Subject knowledge library module:Basic period structure in middle school's solid geometry that this module is represented using predicate logic, bag
Concept, the fact, theorem and axiom are included, they constitute inference rule, used for intermediate layer automated reasoning module as reasoning basis.
Geological information data structure represents module:The data structure of pel geological information represent be present system base
The information such as plinth, its classification, relation between position, size and pel mainly including geometric graphic element, using what kind of data
Structure is stored the function and efficiency for directly determining dynamic geometry and automated reasoning module.The present invention is using a kind of brand-new
The multistage linked list data structure of authority, by the real-time update of parametrization and list asking for geometric element relational dependence is solved
Inscribe, and the pick-up operation for turning to solid by the authority to geometry element of volume is provided convenience.As shown in figure 3, its concrete reality
Now method is
(1) all parameters in designing a parameter chained list to preserve a page, design another geometric element authority
Preserving all of geometric element, when the page updates every time, sequentially synchronized update parameter list and element are arranged chained list
Table, so as to solve the problems, such as geometric element relational dependence;
(2) geometry element of volume authority credentials is given successively by dimension size, wherein:Point element (free point, intersection point, geometry pair
As upper point etc.) authority credentials be 1;Line style element (straight line, ray, conic section etc.) authority credentials is 2;Face type element (put down by polygon
Face etc.) authority credentials be 3;Type elements (polyhedron etc.) authority credentials is 4;Then the geometric element for every kind of authority constructs a chain
Table, and it is authority chained list of the authority by low to high arrangement to combine four chained lists according to authority height;
(3) when having new geometric element needs to add or having geometric element to need to delete, it is only necessary to know that
Type belonging to the geometric element, then navigates to rapidly the position in authority chained list by " sentry ", then inserted or
Person's deletion action;
(4) when authority chained list searches for geometric element, chained list adopts following search mechanisms:Search for from the beginning of gauge outfit, if
Search in child list in the geometric element of low rights, just do not continue search for the geometric element of high authority, if search is not
To the higher leveled geometric element of sequential search authority for just pressing chained list.If searching multiple units in the child list of same authority
Element, then the distance according to element from eye position be ranked up, choose from nearest one of eyes.
In dynamic geometry, the concept of " dynamic " and " relation is constant between solid " constitutes its core content, same page
There is the incidence relation of complexity, in the case of the relation of holding is constant, a mobile point tends to band between the solid in face
The dynamic change of multiple other geometric objects that there is contact therewith in dynamic scene.When page object occurrence dynamics change, make
Only needed to update a chained list with the real-time update mechanism of authority chained list, compared to the complexity that legacy system adopts set membership tree
Structure, eliminates the time of opening relationships tree and the related geometric element of lookup when updating, and has substantially played effectiveness.
Using the data model of the multistage linked list data structure of authority, geometric element relation in dynamic process can not only be kept
Consistency, and in the pick-up operation of solid, also provided the user great convenience.For example, one spheroid of establishment, one
On bar line segment and line segment a bit, sheltering from line segment with spheroid makes invocation point in spheroid, it is now desired to which the point is picked up.Using
Ray Tracing Algorithm is picked up operation, and general thinking will make three ray intersection algorithms, and it is respectively light and spheroid phase
Friendship, light and line segment intersection, light and point intersect;And the authority search attribute of authority chained list is utilized, actually it is only used as once
Ray intersection algorithm can just pick up the point on line segment, significantly simplify the amount of calculation in pick process.
Material library module:For storing the multimedia files such as picture, text, animation and video and audio, to writting tool and class
Part makes and provides basic material with demo system.
Geometric information database and dynamic geometry module:The geometric information database and dynamic geometry module be divided into geometric information database and
Dynamic geometry part, wherein geometric information database are using drawing the corresponding of all figures for finishing in the current engineering of chained list linear memory
Geological information, constitutes the data basis of system;Dynamic geometry part according to parameterized Three-Dimensional Dynamic geometry teaching model and
" programmable point " method, realizes that rendering for geological information is in geometric information database using computer graphical, space computational geometry technology
Existing and between user and geological information operation is interactive, and provides interactive operation interface for Interactive Drawing system, realizes several
The operation either statically or dynamically of what object corresponding to information;Wherein mainly using in computer graphical, space computational geometry
OpenGL Renderings realize rendering and presentation for three-dimension space image, and using " programmable point " method solid dynamic geometry is given
Characteristic, it concretely comprises the following steps a. and selectes parameter T constructing variable equation, and the X, Y, Z axis respective coordinates of three dimensions point are represented respectively;
B. constructed variable V relevant parameters T, corresponds to therewith;C. user is according to the dynamic change for needing to change variable V realization point.
For example, if user is programmed to the coordinate of a free point T, if the X-axis coordinate of T is:4*sin(3*V)*
Cos (V), the coordinate of Y-axis is:0, the coordinate of Z axis is:4*sin (3*V) * sin (V), wherein V are variable.T is so tracked now
Allow variable V to move in scope (- 10 10), a pattern similar to petal is just obtained.Based on " programmable point " side
Method, using this dynamic geometry technology, geometric figure can be converted, be measured, track, tracking and the measurement of algebraic expression
Deng sequence of operations.
Automated reasoning module:Automated reasoning module is the critical function of system, and it can be in the base of current geometric information database
On plinth, a large amount of fresh informations are inferred.Using the Interconnection Inference based on prospective method, reasoning module includes input system, pushes away the system
Reason information initializing, automated reasoning engine, four parts of inference conclusion.In initial phase, the geometry in current scene is believed
Breath and the parameter of user's addition, conditional information are put into geometric information database and are converted into internal reasoning information, then advise reasoning
Then be iteratively operating on Given information storehouse, the information for generating every time is all put into geometric information database, until do not regenerate fresh information or
It is concluded that till.Its working mechanism is as shown in figure 3, main flow is as follows:
Step S1, in the additional parameter condition mapped and add from user mutual formula geological information is obtained;
Step S2, by geological information internal reasoning information is converted into;
Step S3, is made inferences using inference rule n to internal inferencing information, and the initial value of n is 0;
Step S4, if inference rule produces new geological information, goes to step S7;
Step S5, if n is <=maximum fuzzy rules, number of regulation n adds 1, goes to step S3;
Step S6, if reaching fixed point, goes to step S10;If not reaching fixed point, it is 0 to reset number of regulation, is gone to
Step S3;
Step S7, if new geological information does not exist in information bank, is deposited into information bank;Conversely, going to step
S5;
Step S8, if including conclusion in fresh information, generates answer information chained list;Otherwise go to step S5;
Step S9, by internal reasoning information external information is converted into, and exports readable proofs;
Step S10, terminates.
By this Intelligent treatment mechanism, automated reasoning module composition problem is generated and the basis and core for solving unit
The heart, is that system adds novelty, practical intelligent.
Courseware development tool module:For the ease of teacher's making, demonstration courseware, efficiency of teaching is improved, system is provided to be used for
Make the courseware development tool towards solid geometry teaching.Disappear to reduce the internal memory caused because of scenario objects Numerous
Consumption, proposes multi-page management concept:Single courseware is rearranged in order by the page of many computing independences, therefore, it can by
Geometric object in scene is assigned in each page, them is distributed in independent memory block, can so as to realize courseware
With property, and the consumption of internal memory is reduced to greatest extent.By designing button, for managing the broadcast state of courseware sequence,
By designing page manager, the page resource of management composition courseware, such as picture, text, video and audio etc..
Interactive Drawing unit:For realizing the interactive operation of user and geometric graphic element, by menu item, tool bar,
The operations such as mouse is clicked on, mobile and input through keyboard, user can easily draw out with dynamic geometry characteristic three very much
Dimension space geometric figure, completes the interactive operations such as graphic attribute is arranged and solid is converted, measured.The Interactive Drawing list
Unit supports various mapping modes such as geometric construction and relation mapping, can draw point-line-surface, conic section (face), polygon, many
The geometric graphic elements such as face body, can draw the relational graphs such as vertical line, parallel lines, midpoint, intersection point, parallel surface with relation.
The Interactive Drawing unit supports that the dynamic geometry of geometric object includes animation, variable, track, tracking, measurement
Including angle, distance, length, area, volume, variate-value, equation value, and conversion includes translation, rotation, scaling, symmetrically.
It is abundant that Interactive Drawing unit has not only provided the user the multinomial energy such as Dynamic Drawing, graph transformation, track, tracking
The Critical policies of performance solid geometry spatial impression, are also equipped with kinetic measurement, intelligent paintbrush drawing, relation mapping, algebraic operation, text
The important means such as this input, further improve the convenience of man-machine interaction.
Problem is generated and solves unit:For supporting user according to Interactive Drawing system, or addition additional parameter, bar
Part, proposes conclusion guess or target call to constitute Solve problems, and the problem is solved using automated reasoning module, asks
Solution preocess is with text readable form output to user terminal.
It is that the intelligent solution built based on a solid geometry automated reasoning engine is demonstrate,proved that problem is generated and solves unit
Bright application system.When user is by Interactive Drawing, after addition additional conditions, parameter input reasoning primary condition, can propose
Conclusion is guessed or target call is to constitute Solve problems.Solving system can be solved to problem using automated reasoning, or
During user takes interactive secondary proof mode to carry out proposition one-step inference, system prompt and help are provided, to make
Computer replacement people carries out the mathematical operation of repeatability and provides a great convenience.
During mechanical theorem proving is carried out using problem generation and solution unit, when user clicks on " reasoning " button, from
Dynamic reasoning module derives new knowledge according to existing rule base using prospective method, when reasoning fixed-point is reached, pushes away automatically
Reason module stops continuing reasoning, then by the geological information derived classification storage in geometric information database.User can be with
According to the geological information for needing to select to be derived in geometric information database of oneself, at this moment then click on right mouse button can eject one
This information is that the step of how proving out is listed by individual window.In addition, user can also first click on, and " inferencing information sets
Put " button, " conclusion " button is then clicked on, by the conclusion for manually entering the method for summit sequence number to arrange to be proved, finally
Clicking on " proof " carries out the proof of geometric proposition.For example:Make space tetrahedron A, B, C, a D, the midpoint on side is then made respectively
E, F, G, H, are sequentially connected with point E, and F, G, H are now to prove E that F, G, H are parallelogram into a quadrangle.Can first point
" reasoning " is hit, then parallel information is found inside geometry character breath storehouse, it can be seen that there are one group of parallelogram G, F, E in the inside,
H, click right can generate proof step;It is of course also possible to " inferencing information setting " button is first clicked on, by clicking on " conclusion "
Button, selects parallelogram options therein, then sequentially inputs E, the sequence number on tetra- summits of F, G, H, then clicks on " card
It is bright " button, E can be also generated, F, G, H are the proof step of parallelogram.
Courseware development and demonstration unit:Make or demonstrate using Interactive Drawing method and writting tool for assisted teacher
Courseware, completes preparing lessons and giving lessons for several teaching.One courseware is combined by a series of relatively independent pages, each
The page recites multiple buttons, and they distinguish the special object in corresponding page.User can control the page by clicking on button
The motion of middle object, show or hide.In order to make a complete courseware, can under same opertions engineering in create some pages
Face, per page has a main button, and it controls a string of states, and each state is made up of several actions again.In demonstration courseware, can
Allow its automatic demonstrating again and again, the wherein time shared by each state is arbitrarily setting in advance.Page turning can also be used
The manual demonstration of key, or directly control button.In presentation process, can at any time stop demonstration, impromptu behaviour is carried out on picture
Make or change the content of courseware, or timely explanation is made according to the reaction of audience or is illustrated.User is carrying out class using system
When part is demonstrated, it is possible to use the high-quality Courseware Resource that system is provided carries out aided education, it is also possible to oneself design and produce symbol
The courseware of teaching demand is closed, is provided to prepare lessons, giving lessons and is supported and help.
Claims (10)
1. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board, it is characterised in that the system includes following three
Rotating fields:
Bottom, is represented, three modules of material database are constituted by discipline knowledge repository, geological information data, there is provided used to intermediate layer;
Intermediate layer, is made up of, to contact geometric information database with dynamic geometry, three modules of courseware development tool and automated reasoning
Bottom and application layer;The encapsulation to bottom module, the base for needed for application layer provides each system are completed for specific application
This function;
Application layer, is generated by problem and is constituted with solving unit, Interactive Drawing system, courseware development and demonstrating three units, is used
In the input and terminal output for processing user to realize man-machine interaction.
2. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The subject knowledge library module is the Basic period structure in the middle school's solid geometry represented using predicate logic, including general
Thought, true, theorem and axiom, they constitute inference rules, use for intermediate layer automated reasoning module as reasoning basis.
3. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The geological information data representation module using multistage authority chained list data structure to the classification of geometric graphic element, position,
The geological informations such as the relation between size and pel carry out data expression;Its concrete method for expressing is
(1) all parameters in designing a parameter chained list to preserve a page, design another geometric element authority chained list
To preserve all of geometric element, sequentially synchronized update parameter list and element list when the page updates every time;
(2) geometry element of volume authority credentials is given successively by dimension size, its midpoint element authority credentials is 1;Line style element authority credentials
For 2;Face type element authority credentials is 3;Type elements authority credentials is 4;Then the geometric element for every kind of authority constructs a chained list,
And it is authority chained list of the authority by low to high arrangement to combine four chained lists according to authority height;
(3) when having new geometric element needs to add or having geometric element to need to delete, it is only necessary to know that this is several
Type belonging to what element, then navigates to rapidly the position in authority chained list, then is inserted or deletion action;
(4) when authority chained list searches for geometric element, chained list adopts following search mechanisms, searches for from the beginning of gauge outfit, if low
Search in child list in the geometric element of authority, just do not continue search for the geometric element of high authority, if search is less than if
By the higher leveled geometric element of sequential search authority of chained list, if searching multiple elements in the child list of same authority,
Then the distance according to element from eye position is ranked up, and chooses from nearest one of eyes.
4. a kind of middle school's solid geometry intelligent tutoring system based on electronic double board according to claim 1, its feature exists
In:The material library module is used to store the multimedia files such as picture, text, animation and video and audio, to writting tool and courseware
Make and provide basic material with demo system.
5. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The geometric information database is divided into geometric information database and dynamic geometry part, wherein geometric information database with dynamic geometry module
Using the corresponding geological information that all figures for finishing are drawn in the current engineering of chained list linear memory, the data base of system is constituted
Plinth;Dynamic geometry part according to parameterized Three-Dimensional Dynamic geometry teaching model and " programmable point " method, using computer graphical,
Space computational geometry technology realizes that rendering for geological information is presented and the behaviour between user and geological information in geometric information database
Make interactive, and interactive operation interface is provided for Interactive Drawing system, realize that object is either statically or dynamically corresponding to geological information
Operation;Wherein mainly three-dimension space image realized using the OpenGL Renderings in computer graphical, space computational geometry
Render and presentation, give solid dynamic geometry characteristic using " programmable point " method, it concretely comprises the following steps a. and selectes parameter T structure
Parametric equation is made, the X, Y, Z axis respective coordinates of three dimensions point are represented respectively;B. constructed variable V relevant parameters T, corresponds to therewith;
C. user is according to the dynamic change for needing to change variable V realization point.
6. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:, using the Interconnection Inference based on prospective method, reasoning module is comprising at the beginning of input system, inferencing information for the automated reasoning module
Beginningization, automated reasoning engine, four parts of inference conclusion, in initial phase, geological information and use in current scene
The parameter of family addition, conditional information are put into geometric information database and are converted into internal reasoning information, then repeatedly make inference rule
For Given information storehouse, the information for generating every time is all put into geometric information database, until do not regenerate fresh information or it is concluded that
Till, its flow process is as follows,
(1) geological information is obtained in the additional parameter condition mapped and add from user mutual formula;
(2) geological information is converted into internal reasoning information;
(3) internal inferencing information is made inferences using inference rule n in discipline knowledge repository, the initial value of n is 0;
(4) if inference rule produces new geological information, step (7) is gone to;
(5) if n is <=maximum fuzzy rules, number of regulation n adds 1, goes to step (3);
(6) if reaching fixed point, step (10) is gone to;If not reaching fixed point, it is 0 to reset number of regulation n, goes to step
(3);
(7) if new geological information does not exist in information bank, it is deposited into information bank;Conversely, going to step (5);
(8) if including conclusion in fresh information, answer information chained list is generated;Otherwise go to step (5);
(9) internal reasoning information is converted into external information, exports readable proofs;
(10) terminate.
7. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The courseware development tool module is managed using multi-page, and single courseware is arranged in order by the page of many computing independences
Row composition.
8. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The Interactive Drawing unit, for realizing the interactive operation of user and geometric graphic element.
9. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The problem is generated and solves unit, for supporting user according to Interactive Drawing system, or addition additional parameter,
Condition, proposes conclusion guess or target call to constitute Solve problems, and the problem is solved using automated reasoning.
10. a kind of middle school's solid geometry intelligent tutoring system for being applied to electronic double board according to claim 1, its feature
It is:The courseware development and demonstration unit, are made or are drilled for assisted teacher using Interactive Drawing method and writting tool
Show courseware.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610669883.4A CN106648574A (en) | 2016-08-15 | 2016-08-15 | Middle school solid geometry intelligent teaching system applied to electronic double boards |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610669883.4A CN106648574A (en) | 2016-08-15 | 2016-08-15 | Middle school solid geometry intelligent teaching system applied to electronic double boards |
Publications (1)
Publication Number | Publication Date |
---|---|
CN106648574A true CN106648574A (en) | 2017-05-10 |
Family
ID=58852820
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610669883.4A Pending CN106648574A (en) | 2016-08-15 | 2016-08-15 | Middle school solid geometry intelligent teaching system applied to electronic double boards |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106648574A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107545794A (en) * | 2017-10-10 | 2018-01-05 | 成都学知乐科技有限公司 | The system that teaching courseware is made using Prefabricated block |
CN108961946A (en) * | 2018-07-16 | 2018-12-07 | 安徽国通亿创科技股份有限公司 | A kind of online teaching teaching aid of plane geometry |
CN110675705A (en) * | 2019-09-17 | 2020-01-10 | 海南阿凡题科技有限公司 | Automatic generation method of geometric auxiliary line |
-
2016
- 2016-08-15 CN CN201610669883.4A patent/CN106648574A/en active Pending
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107545794A (en) * | 2017-10-10 | 2018-01-05 | 成都学知乐科技有限公司 | The system that teaching courseware is made using Prefabricated block |
CN108961946A (en) * | 2018-07-16 | 2018-12-07 | 安徽国通亿创科技股份有限公司 | A kind of online teaching teaching aid of plane geometry |
CN110675705A (en) * | 2019-09-17 | 2020-01-10 | 海南阿凡题科技有限公司 | Automatic generation method of geometric auxiliary line |
CN110675705B (en) * | 2019-09-17 | 2021-06-29 | 海南阿凡题科技有限公司 | Automatic generation method of geometric auxiliary line |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Kaufmann | Geometry education with augmented reality | |
CN102163262A (en) | Middle school solid geometry intelligent teaching system applied to electronic double plate | |
CN106652608A (en) | Auxiliary teaching method in virtue of virtual reality and software research and development technologies | |
Ainsworth | Multiple representations and multimedia learning | |
Churchill | Presentation design for “conceptual model” learning objects | |
CN107818597A (en) | Intelligent tutoring system for solid geometry | |
CN106648574A (en) | Middle school solid geometry intelligent teaching system applied to electronic double boards | |
Palaigeorgiou et al. | FingerTrips: learning geography through tangible finger trips into 3D augmented maps | |
Chen et al. | Children’s digital art ability training system based on ai-assisted learning: a case study of drawing color perception | |
Jiao et al. | Metaverse inspired VR visualization model of italian design education | |
Liu et al. | Investigating the factors that influence technology acceptance of an educational game integrating mixed reality and concept maps | |
Harron et al. | Creating virtual spaces: Using eXtended reality and transformative technologies to prepare teachers to thrive in an ever-changing world | |
Sabuncuoglu et al. | Kart-on: An extensible paper programming strategy for affordable early programming education | |
Bursztyn et al. | Fostering geological thinking through virtual strike and dip measurements | |
Levinson | Information technologies as vehicles of evolution | |
Taran et al. | Augmented Reality as a Modern Learning Tool | |
Tang | Technology to assist the application and visualization of digital media art teaching | |
Bernaschina | Inclusive metaverse in media arts education: New innovative-methodological proposal for inclusive school | |
Yang | Dual dimensions of VR education development: Vision and technology direction | |
Thomsen et al. | An Immersive Geometry Environment for Mathematics Education: Taxonomy and Preliminary Evaluation | |
Forte | Participatory research in cyber-archaeology | |
Kharin et al. | IMPLEMENTATION OF AUGMENTED AND VIRTUAL REALITY TECHNOLOGIES FOR AN EDUCATIONAL AND RESEARCH SITUATION CENTER. | |
Neagoy | Planting the seeds of algebra, 3-5: Explorations for the upper elementary grades | |
Raper | Using computer demonstrators and tutors in GIS teaching: lessons from the development of Geographical Information Systems Tutor | |
Guo | Digital painting art design based on computer aided technology |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
WD01 | Invention patent application deemed withdrawn after publication | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20170510 |