简介：Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.

简介：ROOTversion3(spring2001)supportsautomaticclassschemaevolution.Inadditionthisversionalsoproducesfilesthatareself-describing.Thisisachievedbystoringineachfilearecordwiththedescriptionofallthepersistentclassesinthefile.Beingself-describingguaranteesthatafilecanalwaysbereadlater,itsstructurebrowsedandobjectsinspected.alsowhenthelibrarywiththecompiledcodeoftheseclassesismissingTheschemaevolutionmechanismsupportsthefrequentcasewhenmultipledatasetsgeneratedwithmanydifferentclassversionsmustbeanalyzedinthesamesession.ROOTsupportstheautomaticgenerationofC++codedescribingthedataobjectsinafile.

简介：InterferometricSyntheticApertureRadar(InSAR)allowsproductionofhighresolutionDEManddetectionofsmallearthmotionsusingmultiplepassSARdatasetsobtainedbyremotesensingsatellite.ButthewholeprocesshasnotyetreachedsufficientrobustnesstowarrantautomatedDEMproductionascommonlyproducedbystereovisionwithopticalimages.TheautomaticalgorithmforprecisionregistrationisoneofthebottlenecksinInSARdataprocessing.Inthispaper,anautomaticapproachwithmulti-stepimagematchingalgorithmispresented.Allproceduresareautomaticallyimplemented.TheexperimentiscarriedoutsuccessfullywithSIR-C/L-bandInSARdata.Thetriangularpiecewiserectificationisalsoadvancedinreducinglocaldistortionbetweentheimagesandprocessingthelargesceneimage.Theprimaryresulthasprospectintheprecisionregistrationfortherepeat-trackInSARdataandrevealsthepotentialofthepresentedautomaticstrategy.

简介：Itiswidelyacceptedthatthedesignofmorphologicalfilters,whichareoptimalinsomesense,isadifficulttask.Inthispaperanovelmethodforoptimallearningofmorphologicalfilteringparameters(Genetictrainingalgorithmformorphologicalfilters,GTAMF)ispresented.GTAMFadoptsnewcrossoverandmutationoperatorscalledthecurvedcylindercrossoverandmaster-slavemutationtoachieveoptimalfilteringparametersinaglobalsearching.Experimentalresultsshowthatthismethodispractical,easytoextend,andmarkedlyimprovestheperformancesofmorphologicalfilters.Theoperationofamorphologicalfiltercanbedividedintotwobasicproblemsincludingmorphologicaloperationandstructuringelement(SE)selection.Therulesformorphologicaloperationsarepredefinedsothatthefilter'spropertiesdependmerelyontheselectionofSE.Bymeansofadaptiveoptimizationtraining,structuringelementspossesstheshapeandstructuralcharacteristicsofimagetargets,andgivespecificinformationtoSE.Morphologicalfiltersformedinthiswaybecomecertainlyintelligentandcanprovidegoodfilteringresultsandrobustadaptabilitytoimagetargetswithclutterbackground.

简介：Thispaperpresentsanautomaticimage-basedapproachforconvertinggreyscaleimagestopencilsketches,inwhichstrokesfollowtheimagefeatures.ThealgorithmfirstextractsadensedirectionfieldautomaticallyusingLogical/Linearoperatorswhichembodythedrawingmechanism.Next,areconstructionapproachbasedonasampling-and-interpolationschemeisintroducedtogeneratestrokepathsfromthedirectionfield.Finally,pencilstrokesarerenderedalongthespecifiedpathswithconsiderationofimagetoneandartificialillumination.Asanimportantapplication,thetechniqueisappliedtorenderportraitsfromimageswithlittleuserinteraction.Theexperimentalresultsdemonstratethattheapproachcanautomaticallyachievecompellingpencilsketchesfromreferenceimages.

简介：

简介：ＡＵＴＯＭＡＴＩＣＰＬＡＮＮＩＮＧＯＦＡＳＳＥＭＢＬＩＮＧＯＲＤＥＲＦＲＯＭＡＳＳＥＭＢＬＹＤＲＡＷＩＮＧＬｉＳｈｉｎａｎＪｉｎｇＨａｉｄｏｎｇＡｂｓｔｒａｃｔＩｔｉｓｉｍｐｏｒｔａｎｔｔｏｐｌａｎｔｈｅａｓｅｍｂｌｉｎｇｏｒｄｅｒａｕｔｏｍａｔｉｃ...

简介：ＩｎｔｒｏｄｕｃｔｉｏｎＷｈｅｔｈｅｒｅａｒｔｈｑｕａｋｅｓｃａｎｂｅｐｒｅｄｉｃｔｅｄｏｒｎｏｔｉｓｓｔｉｌａｐｒｏｂｌｅｍｉｎｃｏｎｔｒｏｖｅｒｓｙｉｎｔｈｅｓｅｉｓｍｏｌｏｇｉｃａｌｃｉｒｃｌｅ．Ａｔａｎｙｒａｔｅ，ｈｏｗｅｖｅｒ，ｐｅｏｐｌ...

简介：ThispaperdiscussestheapproachesforautomaticalsearchingofcontrolpointsintheNOAAAVHRRimageonthebasisofdatarearrangementintheformoflatitudeandlongitudegrid.Thevegetationindextransformationandmulti-levelmatchingstrategieshavebeenproveneffectiveandsuccessfulastheexperimentsshowwhilethecontrolpointdatabaseisestablished.

简介：ＡＵＴＯＭＡＴＩＣＣＬＡＳＳＩＦＩＣＡＴＩＯＮＯＦＥＣＧＵＳＩＮＧＡＲＴＩＦＩＣＩＡＬＮＥＵＲＡＬＮＥＴＷＯＲＫＳＡＵＴＯＭＡＴＩＣＣＬＡＳＳＩＦＩＣＡＴＩＯＮＯＦＥＣＧＵＳＩＮＧＡＲＴＩＦＩＣＩＡＬＮＥＵＲＡＬＮＥＴＷＯＲＫＳＣ．Ｌ．Ｐｅｎｇ，Ｚ．...

简介：

简介：Theresultsofautomaticclassificationoftheperipheralbloodleukocytecategoriesarepresented.Thisclassificationwasperformedbymeansofdigitalimageprocessingandpatternrecognitiontechniques.Inthispaper,anautomaticmicroscopecellularanalysissystemforthispurposeisgivenandasetofalgorithmsforleukocyterecognitions,whichincludesindividualcell’sdetection,scenesegmentation,featureextraction,selectionandclassifierdesign,isproposed.Asaresultofteston3000leukoeytesdigitizeddirectlyfrom21peripheralbloodsmears,92percentofthemwereclassifiedcorrectlyinthissystem.Thecategorieswerebandneutrophils,seg-mentedneutrophils,monocytes,eosinophils,basophilsandlyrnphoeytes.

简介：

简介：

简介：ThepaperpresentsanalgorithmofautomatictargetdetectioninSyntheticApertureRadar(SAR)imagesbasedonMaximumAPosteriori(MAP).Thealgorithmisdividedintothreesteps.First,itemploysGaussianmixturedistributiontoapproximateandestimatemulti-modalhistogramofSARimage.Then,basedontheprincipleofMAP,whenaprioriprobabilityisbothunknownandlearnedrespectively,thesamplepixelsareclassifiedintodifferentclassesc={target,shadow,background}.Last,itcomparestheresultsoftwodifferenttargetdetections.Simulationresultspreferablyindicatethatthepresentedalgorithmisfastandrobust,withthelearnedaprioriprobability,anapproachtotargetdetectionisreliableandpromising.

简介：

简介：Foranelectronicchartdisplayandinformationsystem(ECDIS),themostimportantfunctionistheroutedesign.Inthispaper,anovelapproachtodevelopingECDISwasgivenandthenaneffectivemethodwasproposedforroutedesignandautomaticcheck.Themathematicalmodelandlogicalrelationshipforcoordinatetransformationwerealsoprovided.TheywereadoptedinECDISdeveloping,whichwasbasedontheresearchoftheVxworksreal-timeoperatingsystem.Theactualsystemapplicationimpliesthatthemethodispracticalandcanhelpnavigationverywell.

简介：ＡＰＰＬＩＣＡＴＩＯＮＯＦＢＡＲＣＯＤＥＡＮＤＮＯＶＥＬＬＮＥＴＷＯＲＫＩＮＡＵＴＯＭＡＴＩＣＡＮＡＬＹＳＩＳＯＦＣＬＩＮＩＣＡＬＣＨＥＭＩＳＴＲＹＡＰＰＬＩＣＡＴＩＯＮＯＦＢＡＲＣＯＤＥＡＮＤＮＯＶＥＬＬＮＥＴＷＯＲＫＩＮＡＵＴＯＭＡＴＩＣＡＮＡＬ...

简介：Aneuro-fuzzysystemmodelbasedonautomaticfuzzyclusteringisproposed.Ahybridmodelidentificationalgorithmisalsodevelopedtodecidethemodelstructureandmodelparameters.Thealgorithmmainlyincludesthreeparts:1)AutomaticfuzzyC-means(AFCM),whichisappliedtogeneratefuzzyrulesautomatically,andthenfixonthesizeoftheneuro-fuzzynetwork,bywhichthecomplexityofsystemdesignisreducesdgreatlyatthepriceofthefittingcapability;2)Recursiveleastsquareestimation(RLSE).ItisusedtoupdatetheparametersofTakagi-Sugenomodel,whichisemployedtodescribethebehaviorofthesystem;3)Gradientdescentalgorithmisalsoproposedforthefuzzyvaluesaccordingtothebackpropagationalgorithmofneuralnetwork.Finally,modelingthedynamicalequationofthetwo-linkmanipulatorwiththeproposedapproachisillustratedtovalidatethefeasibilityofthemethod.

简介：Currently,schemaintegrationframeworksuseapproacheslikerule-based,machinelearning,etc.Thispaperpresentsanontology-basedwrapper-mediatorframeworkthatusesboththerule-basedandmachinelearningstrategiesatthesametime.Theproposedframeworkusesglobalandlocalontologiesforresolvingsyntacticandsemanticheterogeneity,andXMLforinteroperability.Theconceptsinthecandidateschemasaremergedonthebasisofthesimilaritycoefficient,whichiscalculatedusingthedefinedrulesandthepriormappingsstoredinthecase-base.