免费论文摘要：电子好多教科书体例的安排与实行

数学常识处置是近十几年来兴盛的一门穿插学科，重要接洽怎样运用进步的计划机科学与本领，提出新的思绪和本领，安排开拓完备的软硬件东西来越发灵验地处置数学常识，以满意人们对数学常识的创作、颁布、共享、考察及运用等需要。动作汗青长久的数学分支，好多学包括实质充分且情势百般的好多常识。要对其举行灵验处置，咱们须要按照其特性接洽特意的处置本领。正文参考普遍数学常识处置的接洽思维和本领，鉴于连年来好多定理板滞化表明本领以及动静好多软硬件的研制情景，提出了一个新的接洽目标——好多常识处置，阐明了其接洽的重要实质和面对的挑拨，并给出了一套获得、表白、封装、分门别类、构造、保护、表露、变化、处置好多常识的处置本领和本领。运用那些本领和本领，咱们从常识处置的观点，对准暂时以静态文书档案形式表白常识的保守教科书的不及，提出、安排并实行了一个以动静教科书的情势来表白并处置(欧几里德平面)好多常识的体例——电子好多教科书体例。该体例不妨扶助用户细粒度地创造、保护、共享、欣赏包括动静好多图形以及穿插援用的各别本子的好多教科书或文书档案；及时地机动检验和测定所建立的教科书报告构造能否有理，实质能否所有以及能否展示反复；经过挪用外部好多软硬件，机动表明教科书所包括的命题，机动结构并绘制相映的动静好多图形。在实行那些功效的进程中，咱们接洽并处置了好多常识处置的少许重要题目。经过整治和领会好多常识的特性，咱们安排实行了一个好多常识库，用来保存和处置多种本子各别情势的好多常识数据以及刻划它们之间联系和分门别类体制的元常识数据，并建立了近千条好多设置、定理、表明等常识数据。这个常识库可效劳于好多机动推导与计划、自举措图、机动翻译、同义变化、各别本子的文书档案天生等运用。经过运用常识库中的元常识数据，咱们接洽、安排并实行了及时检验和测定教科书报告构造普遍性、实质完美性和冗余性的算法， 进而灵验地扶助教科书有理地建立和保护。咱们安排了一种容易运用的情势化好多刻画谈话，并以此动作中央谈话，接洽处置了好多表述机动处置的关系题目，囊括好多文书档案中观念的透彻配合、好多常识表述之间(一定)联系的机动创造、好多表述的同义变化(运用观念的设置)，从而实行了这种谈话与外部好多定理证冥器(GEOTHER)和动静好多软硬件(GeoGebra)的接口。所提出的好多刻画谈话以及关系本领灵验地扶助了教科书实质的精确性检验和测定以及好多常识的元常识建立。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/200342.html