PAR方法在組合數(shù)學(xué)問題中的應(yīng)用研究.pdf

1、V9‘9017工分類號UDC密級編號學(xué)位論文PAR方法在組合數(shù)學(xué)問題中的應(yīng)用研究TheAppliedResearchofPARMethodonCOmbjnalOriCSProblems孫凌宇指導(dǎo)教師姓名：薛錦云教授江西師范大學(xué)計算機(jī)信息工程學(xué)院申請學(xué)位級別：碩士專業(yè)名稱：計算機(jī)軟件與理論論文提交日期：2005年9月論文答辯日期：2005#]2月日學(xué)位授予單位和日期：江西師范大學(xué)2005年月日答辯委員會主席：亟太虹J評閱人：二oo五年九月

2、PAR方法在組合數(shù)學(xué)問題中的應(yīng)用研究AbstractComputerscienceisascienceofstudyingalgorithms，whilealgorithnasincomputeraremostlyusedtohandlingdiscreteobjectsItisthecombinatorialalgorithmswhichbasedonascienceofstudyingdiscreteobjects，Combinat

3、orics，thatmakepeoplefeelthatcomputermayhaveitsownthoughtHowevermanyteachingmaterialaboutcombinatorialalgorithmscanonlyproducealgorithmsbutcan’tprovidethedesigningprocessfromunresolvedproblemtoexactalgorithmicprograms，whi

4、chseriouslyimpairunderstandingingeniousthoughtofalgorithmsandholdbacktheimprovementofalgorithmsdesigningProfXueJinyunaddressesandsolvesaseriesofcriticaltechniquesandformsthePARmethodanditssupportingplatformsupportedbysev

5、eralnationalandprovincialresearchprojectsTheactualprojectistheNation’sNaturalScienceFundProject‘‘theresearchofdesigningalgorithmformallyandautomaticallybasedonPARmethod”Itinvolvestwoaspects：developingsoftwareformallyanda

6、utomaticallyderivingandtestifyingalgorithmicprogramformallyInthisthesis，weformallyderiveCombinatoricsproblemsbyPARmethod，whichcarlnotonlysolvethoseaboveproblems，butalsocanassuretheircorrectnessonlogicPARmethodembodiesric

7、hmathematicideologyandisprovidedwimmanypowerfultoolsandappropriatedevelopingenvironmentTherefore，throughadoptingitondevelopingCombinatoricsalgorithms，weCallavoidmakingachoiceamongvariousdesigningmethodsItcanalsochangeman

8、ycreativelaborstomechanizedlabors，andcanfinallyimprovealgorithmicprogramsdesign’sautomatizationandstandardizationThefollowingarethemainresearchworksinthisthesis：Analyzecurrentformalizationrequirement，introduceseveraltypi

9、calformalmethodsforsoftwaredevelopmentandstudySpecware，asoftwaredevelopingsystem，whichisinventedbytheacademicgroupledbyProfSmithIntroducethecriticaltechniques，developingprocessandlanguageofPARmethodandcompareitwithtypica

10、lfominimethodsandSpecwareAnalyzechamcteristicofPARmethodanddemonstrateitseffectivenessonCombinatoricsproblemsFinallydevelopseveraltypicalalgorithmsofCombinatoricsprobleminstancessuchas：StringSchemeNumberInterlacedArrange

11、SchemeNumberMaximumSummarytheLongestCommonSubsequence，MinimumSpanningTreeandtheKnapsackProblem，ctcAnalyzeandsummarizeitsdevelopingstepsInthisthesis，wemakecreativenoveltiesinmanyaspectsStudythebasaltheory，developingproces

12、sandprincipleofSpecwareandcompareitwithPARmethodAddressthatPARmethodisreallyaneffectiveformalmethodonsolvingCombinatoriesproblemsApplyitsgenericsystemondevelopingprocessUsePARmethodonCombinatoricsprobleminstancestolayout