CN102033863B - Formula manipulation method and system - Google Patents

Formula manipulation method and system Download PDF

Info

Publication number
CN102033863B
CN102033863B CN200910235626XA CN200910235626A CN102033863B CN 102033863 B CN102033863 B CN 102033863B CN 200910235626X A CN200910235626X A CN 200910235626XA CN 200910235626 A CN200910235626 A CN 200910235626A CN 102033863 B CN102033863 B CN 102033863B
Authority
CN
China
Prior art keywords
formula
tree structure
structure data
node
fragment
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.)
Expired - Fee Related
Application number
CN200910235626XA
Other languages
Chinese (zh)
Other versions
CN102033863A (en
Inventor
赵志刚
谢国超
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Peking University Founder Group Co Ltd
Beijing Founder Electronics Co Ltd
Original Assignee
Peking University Founder Group Co Ltd
Beijing Founder Electronics Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Peking University Founder Group Co Ltd, Beijing Founder Electronics Co Ltd filed Critical Peking University Founder Group Co Ltd
Priority to CN200910235626XA priority Critical patent/CN102033863B/en
Publication of CN102033863A publication Critical patent/CN102033863A/en
Application granted granted Critical
Publication of CN102033863B publication Critical patent/CN102033863B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

The invention discloses formula manipulation method and system for solving the problem that formula segments cannot be searched in the formulas included in a layout in the traditional composing technology. The technical scheme of the invention is that the method comprises the steps of: receiving an input first formula segment and establishing first tree-shaped structure data corresponding to the first formula segment; and comparing the first tree-shaped structure data with the tree-shaped structure data corresponding to a formula in a layout to be edited and determining whether the tree-shaped structure data corresponding to the formula includes a part matched with the first tree-shaped structure data. Through the technical scheme of the invention, the formula segment search of all the formulas included in the layout to be edited is realized; therefore, the edition of corresponding formula segments in the formulas included in the layout is realized, convenience is brought to the re-edition process of the formulas by a user, and the efficiency and the accuracy of the formula manipulation are improved.

Description

A kind of formula manipulation method and system
Technical field
The present invention relates to typesetting system field, relate in particular to a kind of formula manipulation method and system that is applied to the formula process of typeset.
Background technology
In science and technology type composing, formula composing bigger ratio of occupation ratio in the composing content is occupied very consequence.For traditional science and technology type software for composing, the editor of formula, insertion and correct demonstration are the embodiment parts that software is worth always, and for the space of a whole page after the first composing, often exist the problem of wrong check and correction, and the check and correction of formula is particularly important.
In existing composing type software, bigger shortcoming for the function ubiquity of searching, proofread and replace of formula.This is because formula has and the streaming diverse data structure of setting type, and this makes searches the replacement very difficulty that becomes in formula.When the composing personnel carry out the check and correction of formula; May find that all formula fragments
Figure GDA0000131465560000011
in fact should be at this moment just needs search replacement to whole
Figure GDA0000131465560000013
this formula fragment; And traditional equation editing software does not generally all provide this formula fragment is searched the replacement function.
Therefore; Existing typesetting technique exists and can not search to find out the specific formulation fragment that it is comprised whole formula; Thereby can not treat the problem that the formula in editor's space of a whole page is edited again effectively; Make the editor again after formula inserts the space of a whole page become inconvenient, influenced scientific and technological type of efficient of setting type.
Summary of the invention
The embodiment of the invention provides a kind of formula manipulation method and system, can not be comprised the problem of searching the formula fragment in the formula at the space of a whole page to solve in the existing typesetting technique.
A kind of formula manipulation method is applied to the formula process of typeset, may further comprise the steps:
Receive the first formula fragment of input,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of waiting to edit the formula in the space of a whole page;
Through said first tree structure data and the pairing tree structure data of waiting to edit in the space of a whole page of formula are compared, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula.
In the said method,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of said formula.
In the said method; The step that said first tree structure data and the tree structure data of waiting to edit the formula in the space of a whole page compare; Further comprise the order according to the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
In the said method, determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the pairing formula fragment of this compatible portion in the said formula is made as selected state.
In the said method, determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
In the said method, also comprise:
Receive the second formula fragment of input,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula;
After in determining the corresponding tree structure data of said formula, comprising the part that is complementary with said first tree structure data; Also comprise: utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
In the said method,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula.
The embodiment of the invention also provides a kind of formula manipulation system, is applied to the formula process of typeset, and comprise interface module, formula modular converter and search module, wherein:
Interface module is used to receive the first formula fragment of input;
The formula modular converter, be used for with the identical mode of setting up of tree structure data of the formula of waiting to edit the space of a whole page, set up the first corresponding tree structure data of the said first formula fragment;
Search module, be used for, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula through said first tree structure data and the pairing tree structure data of said formula are compared.
In the said system, the said module of searching is carried out tree structure relatively the time, and according to the order of the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
In the said system, said searching module comprises the part that is complementary with said first tree structure data in determining the corresponding tree structure data of said formula after also is used for the pairing formula fragment of this compatible portion of said formula is made as selected state.
In the said system, also comprise:
Editor module; Be used for searching after module determines the corresponding tree structure data of said formula and comprise the part that is complementary with said first tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is handled said.
In the said system, said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially, the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
In the said system, said interface module also is used to receive the second formula fragment of input;
Said formula modular converter also is used for the set up mode identical with the tree structure data of said formula, sets up the second corresponding tree structure data of the said second formula fragment;
Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially; Utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
The technique scheme of the embodiment of the invention; The first formula fragment through to input is set up corresponding tree structure data; Then with this formula fragment corresponding tree structure data compare with the pairing tree structure data of formula waiting to edit in the space of a whole page; Thereby realized treating the formula that is contained in editor's space of a whole page and carried out searching of formula fragment; And then can be through handling to the partial data that is complementary with the said first formula fragment in the corresponding tree structure data of formula in the said space of a whole page; Thereby the editor of corresponding formulas fragment in the formula that can realize the said space of a whole page is comprised has made things convenient for the again editing process of user to formula, has improved the efficient and the accuracy of formula manipulation.
Description of drawings
The pairing tree structure data synoptic diagram of the formula that Fig. 1 provides for the embodiment of the invention [1];
" formula is searched replacement " interface synoptic diagram that Fig. 2 provides for the embodiment of the invention;
The user that Fig. 3 provides by the embodiment of the invention is done the operation schematic flow sheet;
The make-up editor's system architecture synoptic diagram that is applied to equation editing that Fig. 4 provides for the embodiment of the invention;
The operating process synoptic diagram of in formula [1], searching formula
Figure GDA0000131465560000041
that the system that Fig. 5 provides for the embodiment of the invention carries out;
Fig. 6 A is the pairing tree structure data synoptic diagram of formula
Figure GDA0000131465560000042
that the embodiment of the invention provides;
Fig. 6 B is the pairing tree structure data synoptic diagram of formula
Figure GDA0000131465560000043
that the embodiment of the invention provides;
Fig. 7 searches the operating process synoptic diagram that module is carried out for what the embodiment of the invention provided.
Embodiment
Do further to describe in detail below in conjunction with the accompanying drawing specific embodiments of the invention.
Edit in the space of a whole page that generates in existing software for composing, the data store organisation of formula generally is a tree structure.Be example with the pairing tree structure data of formula [1] below, describe the pairing data structure of formula in the existing typesetting technique, formula [1] is shown below:
a 2 a + x + y 2 2 2 a . . . [ 1 ]
Referring to Fig. 1; Be the pairing tree structure figure of formula [1]; The circle that has 1 to 11 numeral number among the figure is represented root node and intermediate node in this tree respectively, and numeral is a node serial number in the circle, and leaf node indicates with the real data of its representative; Wherein, intermediate node can corresponding specific sign of operation.Node 1 directly comprises four node, and wherein, alphabetical a and sign of operation+institute corresponding nodes respectively are leaf node, and node 2 is the child node of node 1 with node 4; Node 2 corresponding sign of operation
Figure GDA0000131465560000051
but the subsidiary editing area of this sign of operation; But i.e. evolution number editing area under this radical sign, but so the node node that comprises a representative editing area for 2 times be node 3; Node 3 comprises two leaf nodes, corresponding respectively numeral 2 and alphabetical a; Node 4 corresponding fraction sign of operation, but this sign of operation attached molecule, two editing areas of denominator, but so node 4 comprised the nodes of two representative editing areas, i.e. node 5 and node 9; 6 corresponding sign of operation of the child node of node 5 but (one is evolution number zone to subsidiary two editing areas of this sign of operation; One is evolution power sub-region); Therefore but node 6 comprises the node of two representative editing areas, i.e. node 7 and node 8; Node 7 comprises three leaf nodes, respectively corresponding alphabetical x, sign of operation+, alphabetical y; The corresponding numeral 2 of leaf node under the node 8; Node 9 comprises a leaf node, and its corresponding numeral 2 also comprises a node 10; To comprise a node be node 11 but node 10 correspondences include sign of operation
Figure GDA0000131465560000053
so the node 10 of an editing area; Node 11 comprises two leaf nodes, corresponding respectively numeral 2 and alphabetical a.
In the above-mentioned tree structure with the lower node specific formula edited fragment in the corresponding formula [1] respectively, wherein:
Node 10 correspondences:
Figure GDA0000131465560000054
Node 6 correspondences:
Figure GDA0000131465560000055
Node 4 correspondences:
Node 2 correspondences:
Figure GDA0000131465560000057
Node 1 correspondence:
Figure GDA0000131465560000058
Above-mentioned formula has only comprised the situation that contains secondary radical (the secondary radicals of two kinds of forms), fraction, additive operation; In the practical application; Also possibly comprise other operational forms; As the repeatedly computing of various ways such as radical, power operation, integration, determinant, system of equations, the method for building up of its tree structure and the method for building up of tree structure shown in Figure 1 and principle are basic identical, particularly; But the incidental editing area number of different sign of operation maybe be different, but all are the editing areas of formula like the index of power operation, the integration upper and lower limit of integral operation.
The embodiment of the invention is according to the generating principle of the tree structure data of above-mentioned formula, and the pairing tree structure data of formula, and a kind of formula manipulation method and system is provided.This system can be the user equation editing interface is provided, the user can in this interface, import the formula fragment that will search; System adopts the principle of setting up of above-mentioned formula tree structured data; Set up its pairing tree structure data according to this formula fragment, and the corresponding tree structure data of formula that is contained in this tree structure data and the space of a whole page compared, with confirm whether to have in the corresponding tree structure data of this formula with the part that is complementary of the pairing tree structure data of formula fragment that will search; Promptly; Whether comprise in this formula with the identical formula fragment of formula fragment that will search, if having, then the user can handle the part that this is complementary according to different needs accordingly; That is, the formula fragment that in formula, finds is handled.
Above-mentioned described the formula fragment that in formula, finds is handled, can comprise: the formula fragment to finding out is chosen, is deleted or replaces.System can present to the user with selected state with the formula fragment that finds; According to user's operation the formula fragment of selected state is carried out handled then; Like the delete command deletion formula fragment of submitting to according to the user, perhaps replace with other formula fragments according to the replacement order that the user submits to.Certainly, system also can order according to the replacement that the user submits to, at first carries out the flow process of searching of formula fragment, the formula fragment that directly finds then with the replacement of replacement formula fragment, and need the formula fragment that find not presented to the user.
The user interface that the embodiment of the invention provides can be as shown in Figure 2, is " formula is searched replacement " interface, the right side respective user of wherein " searching content " the editing area of the formula fragment that will search; " replace with " the right side respective user and the formula fragment that is found out is replaced the editing area of required replacement formula fragment; " search " button and be used to trigger the search operation of formula fragment; " deletion " button is used to trigger the deletion action to the formula fragment that is found out; The formula fragment that " replacement " button is used to trigger being found out is carried out replacement operation.
Utilize interface shown in Figure 2; Suppose that the user searches
Figure GDA0000131465560000071
in the formula that the space of a whole page comprised and it is replaced with
Figure GDA0000131465560000072
operating process as shown in Figure 3, concrete steps are:
Step 301, the interface shown in Figure 2, in the "Find what" field, enter the corresponding formula to find
Figure GDA0000131465560000073
In the "Replace with" asked to enter into the corresponding area of the formula
Figure GDA0000131465560000074
Step 302, click " searching " button make the make-up editor system carry out the formula search operation to submit the formula look-up command to;
In this step; The make-up editor system begins to carry out the formula search operation from cursor current position document; All comprise the formula of
Figure GDA0000131465560000075
in the document after the cursor position thereby can find out, and all comprise the zone of
Figure GDA0000131465560000076
in these formula.If before clicking " searching " button, selected certain or some formula in the document, then in selected formula, searched
Figure GDA0000131465560000077
Step 303, search end after; Click " replacement " button; To submit formula fragment replacement order to,
Figure GDA0000131465560000078
that the make-up editor system will be found out replaces with
Figure GDA0000131465560000079
In the above-mentioned flow process, the input of replacement formula fragment also can be carried out in step 303, that is, finish search operation after, import the replacement formula fragment again, click " replacement " button again, the formula fragment that is found out is replaced.
Above-mentioned flow process has been described the user and is carried out the search operation of formula fragment earlier, carries out the process of formula fragment replacement operation again, if the user only need search the formula fragment, does not carry out subsequent operation, then proceeds to step 302 and gets final product; If the user needs
Figure GDA00001314655600000710
that finds out deleted; Then can finish step 302 back click " deletion " button, perhaps after finishing step 301, directly click " deletion " and get final product; If the user needs
Figure GDA00001314655600000711
that is contained in the space of a whole page replaced with
Figure GDA00001314655600000712
then after finishing step 301; Directly click " replacement " button; Then system at first carries out the search operation of above-mentioned formula fragment, is searching end back that directly replacement finds with
Figure GDA00001314655600000713
As shown in Figure 4, the formula manipulation system for the embodiment of the invention provides comprises: interface module 401, formula modular converter 402 and search module 403, wherein:
Interface module 401, be used to receive user's input the formula fragment that will search;
Formula modular converter 402 is used for the formula fragment that received according to interface module 401, with the corresponding identical mode of setting up of tree structure data of formula of waiting to edit in the space of a whole page, set up the corresponding tree structure data of this formula fragment;
Search module 403; Be used for the tree structure data that this formula fragment is corresponding and wait that the pairing tree structure data of formula of editing the space of a whole page compares; Determining in the corresponding tree structure data of formula in the space of a whole page whether comprise the part that the tree structure data corresponding with this formula fragment is complementary, thus determine formula in the space of a whole page whether comprise the formula fragment that will search.Further, after finding this formula fragment, can the formula fragment that find be presented to the user with selected state.
Further; According to different processing needs; Native system can also comprise an editor module 404; Be used for searching after module 403 determines the corresponding tree structure data of formula and comprise the part that is complementary with the corresponding tree structure data of formula fragment that will search the part of this coupling being handled, this processing specifically can comprise:
The said compatible portion data deletion that is comprised in the tree structure data that this formula is corresponding; Perhaps, the said compatible portion data that comprised in the tree structure data with this formula correspondence replace with the pairing tree structure data of other formula fragments.
If will realize the replacement of formula fragment, then also need interface module 401 can receive the replacement formula fragment of input, be used for replacing the formula fragment that is found out; And the replacement formula fragment that needs formula modular converter 402 to be received according to interface module 401 with the set up mode identical with the tree structure data of said formula, is set up the corresponding tree structure data of said replacement formula fragment.
It is existing that to replace with
Figure GDA0000131465560000083
with
Figure GDA0000131465560000082
that in formula [1], searches and will find then be example; The performed operating process of system shown in Figure 4 is described; As shown in Figure 5, concrete execution in step is:
Step 501, the interface module 401 receives user input to find a formula that fragments
Figure GDA0000131465560000084
and replace formula clips
Step 502, the formula conversion module 402 to create a formula fragment
Figure GDA0000131465560000086
corresponding tree structure data and
Figure GDA0000131465560000087
tree structure corresponding to the data;
Wherein, The tree structure data of correspondence is shown in Fig. 6 A; Node 601 corresponding formula fragments but total editing area; But sign of operation the node 603 corresponding sign of operation
Figure GDA0000131465560000092
of the corresponding subsidiary editing areas of node 602 but editing area down, the corresponding respectively numeral 2 of its two leaf nodes and alphabetical a; Similarly, the tree structure data that
Figure GDA0000131465560000093
is corresponding is shown in Fig. 6 B;
Step 503, search the order of module 403 according to the inorder traversal of depth-first; Node with in corresponding tree structure (shown in Fig. 6 A) tree structure (shown in Figure 1) corresponding with formula [1] is compared, and confirms whether to contain the tree structure data that is complementary with
Figure GDA0000131465560000095
corresponding tree structure data in the tree structure data of formula [1] correspondence.Comparative result is: in the tree structure of formula [1] correspondence; The tree structure data that node 2 and all child nodes thereof are formed; The tree structure data of forming with node 10 and all child nodes thereof is complementary with
Figure GDA0000131465560000096
corresponding tree structure data respectively, be illustrated in formula [1] but in find in above-mentioned two place's editing areas and all comprise
Figure GDA0000131465560000097
Step 504, editor module 404 receive " replacement " order that the user submits to; And
Figure GDA0000131465560000098
that contained in the formula [1] replaced with
Figure GDA0000131465560000099
promptly according to this order; With node in the tree structure shown in Figure 12 and the deletion of all child nodes thereof; Insert node 602 ' and all child nodes thereof in the tree structure shown in Fig. 6 B at origin node 2 places; With node in the tree structure shown in Figure 1 10 and the deletion of all child nodes thereof, insert node 602 ' and all child nodes thereof in the tree structure shown in Fig. 6 B at origin node 10 places.
In the above-mentioned flow process, the process of setting up the corresponding tree structure data of formula fragment
Figure GDA00001314655600000910
also can find formula fragment
Figure GDA00001314655600000911
and carrying out afterwards again searching module 403.
Above-mentioned flow process has been described the user and has been carried out search operation earlier, carries out the flow process of replacement operation again, and in the practical application, native system also can be carried out different treatment schemees according to user's different demands, promptly above-mentioned flow process is made corresponding adjustment, specifically can comprise:
Only need searched (through in " formula is searched replacement " interface, importing
Figure GDA00001314655600000913
and only submitting the Find command to) like the user; And do not carry out subsequent operation; Then proceeding to step 503 is that flow process finishes, and also need not to carry out with the relevant operation of formula fragment
Figure GDA00001314655600000914
; Like need lookup result is appeared; Then in step 503, search module 403 and should be made as selected state afterwards finding formula fragment ;
If the user needs
Figure GDA00001314655600000917
that finds out directly deleted (through input
Figure GDA00001314655600000918
in " formula is searched replacement " interface and only submission " deletion " order); Then after step 503 executes; Editor module 404 will be searched the formula fragment deletion that module 403 is found immediately, and this flow process finishes;
If the user needs
Figure GDA0000131465560000101
that finds out carried out deletion action selectively (through input
Figure GDA0000131465560000102
in " formula is searched replacement " interface and submission the Find command; And after finding the formula fragment, submit to " deletion " to order); Then also need search two
Figure GDA0000131465560000104
that module 403 contained in formula [1] after finding
Figure GDA0000131465560000103
all is made as selected state and presents to the user; (user can select among two
Figure GDA0000131465560000106
in the formula [1] through mouse for editor module 404
Figure GDA0000131465560000105
that therefrom select according to the user again and the delete command of submitting to then; Submit delete command then to) with selected
Figure GDA0000131465560000107
deletion, this flow process finishes;
If the user needs
Figure GDA0000131465560000108
that finds out carried out replacement operation selectively; Then also need search two
Figure GDA00001314655600001010
that module 403 contained in formula [1] after finding
Figure GDA0000131465560000109
all is made as selected state and presents to the user; Editor module 404 is replaced with
Figure GDA00001314655600001012
selected
Figure GDA00001314655600001013
according to
Figure GDA00001314655600001011
and " replacement " order of submitting to that the user therefrom selects then
Below in conjunction with Fig. 1 and Fig. 6 A, describe the search procedure of searching module 503 in the step 503 of flow process shown in Figure 5 in detail.As shown in Figure 7, this flow process comprises step:
Step 701, node in the tree structure shown in Fig. 6 A 601 and node 1 in the said tree structure of Fig. 1 are compared; But all be editing area; Two node matching then, according to the inorder traversal order of depth-first, with the child node node 602 of node 601 as present node; The left child node of node 1 as present node, is got into step 702;
Step 702, two present nodes are compared; But node 602 corresponding sign of operation are the subsidiary corresponding alphabetical a of left child node that
Figure GDA00001314655600001014
node 1 of an editing area is arranged; Then current two nodes do not match; With the child node node 2 of node 1 as present node; The present node that
Figure GDA00001314655600001015
is corresponding is constant; Still be node 602, get into step 703;
Step 703, two present nodes are compared; But node 2 corresponding sign of operation are subsidiary and node 602 couplings that an editing area is arranged; Therefore with the child node node 603 of node 602 as present node; The child node node 3 of node 2 as present node, is got into step 704;
Step 704, node 603 and node 3 are compared, but all represent editing area, two present nodes coupling as present node, as present node, gets into step 705 with the left child node of node 3 with the left child node of node 602;
Step 705, two present nodes are compared, the pairing sign of operation of two present nodes is identical, and two present nodes coupling then as present node, as present node, gets into step 706 with the right child node of node 3 with the right child node of node 602;
Step 706, two present nodes are compared two present nodes coupling; All nodes of
Figure GDA0000131465560000111
corresponding tree form data structure relatively finish; Can determine in the corresponding tree structure data of formula [1]; The tree structure data that node 2 and all child nodes thereof are formed is complementary with pairing tree structure data; Be contain in the formula [1] one again with its root node as present node; With under the node 1+pairing child node is as present node; Repeat and the similar comparison procedure of above-mentioned flow process, to confirm whether also contain more a plurality of
Figure GDA0000131465560000114
in the formula [1]
In the above-mentioned steps 706, the operation of selected present node also can be carried out after the user handles the tree structure data of being determined (the formula fragment that promptly finds) more again.
Above-mentioned flow process is that example is described with the order according to the inorder traversal of depth-first, but those skilled in the art should be understood that, can also adopt other traversal order that the node in the tree structure is traveled through.
In sum, technical scheme provided by the present invention can realize type formula that software generated of setting type is carried out searching of formula fragment, and can further choose, delete or replace processing to the formula fragment that is found out according to user's different needs; Said technical scheme is based upon on the basis that formula or the pairing tree structure data of formula fragment are operated; Not only can realize the individual digit, letter or the symbol that comprise in the formula are handled; Also can realize bulk treatment that the formula fragment that is made up of a plurality of numerals, letter or symbol that is comprised in the formula is carried out; Thereby the function of the perfect type software of setting type has improved the efficient and the accuracy of formula manipulation system.
Obviously, those skilled in the art can carry out various changes and modification to the present invention and not break away from the spirit and scope of the present invention.Like this, belong within the scope of claim of the present invention and equivalent technologies thereof if of the present invention these are revised with modification, then the present invention also is intended to comprise these changes and modification interior.

Claims (11)

1. a formula manipulation method is applied to the formula process of typeset, it is characterized in that, may further comprise the steps:
Receive the first formula fragment of input,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of waiting to edit the formula in the space of a whole page;
Through said first tree structure data and the pairing tree structure data of waiting to edit in the space of a whole page of formula are compared, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula.
2. the method for claim 1; It is characterized in that; Said first tree structure data with wait to edit formula in the space of a whole page the step that compares of tree structure data; Further comprise the order according to the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
3. like each described method of claim 1 to 2; It is characterized in that; Determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the pairing formula fragment of this compatible portion in the said formula is made as selected state.
4. like each described method of claim 1 to 2; It is characterized in that; Determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
5. like each described method of claim 1 to 2, it is characterized in that, also comprise:
Receive the second formula fragment of input,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula;
After in determining the corresponding tree structure data of said formula, comprising the part that is complementary with said first tree structure data; Also comprise: utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
6. a formula manipulation system is applied to the formula process of typeset, it is characterized in that, and comprise interface module, formula modular converter and search module, wherein:
Interface module is used to receive the first formula fragment of input;
The formula modular converter, be used for with the identical mode of setting up of tree structure data of the formula of waiting to edit the space of a whole page, set up the first corresponding tree structure data of the said first formula fragment;
Search module, be used for, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula through said first tree structure data and the pairing tree structure data of said formula are compared.
7. system as claimed in claim 6; It is characterized in that; The said module of searching is carried out tree structure relatively the time, and according to the order of the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
8. like claim 6 or 7 described systems; It is characterized in that; Said searching module comprises the part that is complementary with said first tree structure data in determining the corresponding tree structure data of said formula after also is used for the pairing formula fragment of this compatible portion of said formula is made as selected state.
9. like claim 6 or 7 described systems, it is characterized in that, also comprise:
Editor module; Be used for searching after module determines the corresponding tree structure data of said formula and comprise the part that is complementary with said first tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is handled said.
10. system as claimed in claim 9; It is characterized in that; Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially, the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
11. system as claimed in claim 9 is characterized in that,
Said interface module also is used to receive the second formula fragment of input;
Said formula modular converter also is used for the set up mode identical with the tree structure data of said formula, sets up the second corresponding tree structure data of the said second formula fragment;
Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially; Utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
CN200910235626XA 2009-09-30 2009-09-30 Formula manipulation method and system Expired - Fee Related CN102033863B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN200910235626XA CN102033863B (en) 2009-09-30 2009-09-30 Formula manipulation method and system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN200910235626XA CN102033863B (en) 2009-09-30 2009-09-30 Formula manipulation method and system

Publications (2)

Publication Number Publication Date
CN102033863A CN102033863A (en) 2011-04-27
CN102033863B true CN102033863B (en) 2012-07-04

Family

ID=43886778

Family Applications (1)

Application Number Title Priority Date Filing Date
CN200910235626XA Expired - Fee Related CN102033863B (en) 2009-09-30 2009-09-30 Formula manipulation method and system

Country Status (1)

Country Link
CN (1) CN102033863B (en)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106815186A (en) * 2015-11-27 2017-06-09 北大方正集团有限公司 typesetting processing method and device
CN108133168B (en) * 2016-12-01 2021-04-30 北京新唐思创教育科技有限公司 Formula searching method and device in text recognition
CN108694162A (en) * 2017-04-11 2018-10-23 北大方正集团有限公司 The treating method and apparatus of file
CN110795526B (en) * 2019-10-29 2022-08-12 北京林业大学 Mathematical formula index creating method and system for retrieval system

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101246475A (en) * 2007-02-14 2008-08-20 北京书生国际信息技术有限公司 Retrieval methodology base on layout information
CN101329731A (en) * 2008-06-06 2008-12-24 南开大学 Automatic recognition method pf mathematical formula in image
CN101436307A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Interactive typesetting method and system for formula
CN101436309A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Method and apparatus for modifying formula operator
CN101436308A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Formula input method and system for interactive formula typesetting software

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101246475A (en) * 2007-02-14 2008-08-20 北京书生国际信息技术有限公司 Retrieval methodology base on layout information
CN101329731A (en) * 2008-06-06 2008-12-24 南开大学 Automatic recognition method pf mathematical formula in image
CN101436307A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Interactive typesetting method and system for formula
CN101436309A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Method and apparatus for modifying formula operator
CN101436308A (en) * 2008-12-15 2009-05-20 北大方正集团有限公司 Formula input method and system for interactive formula typesetting software

Also Published As

Publication number Publication date
CN102033863A (en) 2011-04-27

Similar Documents

Publication Publication Date Title
Ko et al. Space efficient linear time construction of suffix arrays
Ko et al. Space efficient linear time construction of suffix arrays
US9552335B2 (en) Expedited techniques for generating string manipulation programs
US7558725B2 (en) Method and apparatus for multilingual spelling corrections
US6381616B1 (en) System and method for speeding up heterogeneous data access using predicate conversion
Wang et al. Finding similar consensus between trees: an algorithm and a distance hierarchy
CN102033863B (en) Formula manipulation method and system
CN101639830A (en) Chinese term automatic correction method in input process
Mišutka et al. System description: Egomath2 as a tool for mathematical searching on wikipedia. org
CN109683881B (en) Code format adjusting method and device
CN102033614B (en) Intelligently combined formula input method and system
Jansson et al. Linked dynamic tries with applications to LZ-compression in sublinear time and space
Chen et al. Exploiting meta features for dependency parsing and part-of-speech tagging
Ergun et al. Comparing sequences with segment rearrangements
Dayhoff et al. Nucleic acid sequence database
Equi et al. Algorithms and complexity on indexing founder graphs
CN109710304B (en) Format adjustment method and device
Chan et al. A linear size index for approximate pattern matching
Aluru Suffix trees and suffix arrays
CN104063366A (en) Text format setting method and device
CN110968300B (en) Compiling method based on multi-stage scheduling starting scheme
Chen et al. Efficient retrieval of approximate palindromes in a run-length encoded string
Iliopoulos et al. Indexing factors with gaps
Beal Parameterized strings: Algorithms and data structures
Goñi-Menoyo et al. MIRACLE’s hybrid approach to bilingual and monolingual Information Retrieval

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20120704

Termination date: 20190930