简介：<正>Readingisthekeytoschoolsuccessand,likeanyskill,ittakespractice.Achildlearnstowalkbypractisinguntilhenolongerhastothinkabouthowtoputonefootinfrontoftheother.Thegreatathletepractisesuntilhecanplayquickly,accuratelyandwithoutthinking.Ed-ucatorscallitautomaticity.

简介：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.

简介：初春时分,这里终于也露出了好久不见的曙光,看着身旁的MASERATIQuattroporte像清早的女人般慵懒而安静。

简介：在计算机化的断层摄影术(CT)的膀胱的分割想象是在放射治疗计划前列腺癌症的重要的步。我们在场自动地描出的一个新分割计划在与三个学生一起的CT图象的膀胱轮廓走。首先，我们使用吝啬的移动算法获得包含膀胱的不平的轮廓的一幅聚类的图象，它然后被使用一个成长区域的算法，起始的种子点从扫描进程的一个线每篇文字题目下作者的署名选择了在第二步提取。第三步是用转动球算法更精确地精制膀胱轮廓。这些步然后被扩大以一种slice-by-slice方式分割膀胱体积。获得的结果与由放射肿瘤学家的用手的分割相比。敏感，特性，积极预计用价值，否定预计用价值，和Hausdorff距离的平均价值分别地是86.5%，96.3%，90.5%，96.5%，和2.8象素。结果证明膀胱能精确地被分割。

简介：Highcustomerinterestinautomaticvehiclesisgoodnewstothemarket.Thelatestquarterly"AutomatedVehiclesIndex"issuedrecentlybyRolandBergerandfkaForschungsgesellschaftKraftfahrwesenmbHAachenpresentstherelativecompetitivepositionsofthekeymarketsintermsofindustryandmarket.

简介：Severalfeaturesofretinalvesselscanbeusedtomonitortheprogressionofdiseases.Changesinvascularstructures,forexample,vesselcaliber,branchingangle,andtortuosity,areportentsofmanydiseasessuchasdiabeticretinopathyandarterialhypertension.Thispaperproposesanautomaticretinalvesselsegmentationmethodbasedonmorphologicalclosingandmulti-scalelinedetection.First,anilluminationcorrectionisperformedonthegreenbandretinalimage.Next,themorphologicalclosingandsubtractionprocessingareappliedtoobtainthecruderetinalvesselimage.Then,themulti-scalelinedetectionisusedtofinethevesselimage.Finally,thebinaryvasculatureisextractedbytheOtsualgorithm.Inthispaper,forimprovingthedrawbacksofmulti-scalelinedetection,onlythelinedetectorsat4scalesareused.Theexperimentalresultsshowthattheaccuracyis0.939forDRIVE(digitalretinalimagesforvesselextraction)retinaldatabase,whichismuchbetterthanothermethods.

简介：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.

简介：ThispaperpresentsanautomaticcomputertablebasedonSTC89C52MCU,theheightandangleofthedeskcanbeadjustedbyMCU.ThecomputerdeskcanalsobeconnectedwiththeBluetoothofthemobilephonethroughtheMCUtorealizethewirelessremotecontrolandadjusttheheightandtheangleofthedisplayscreenofthecomputerdesk.Accordingtoman-machineengineering,thedesigncanmeettheneedsofdifferentadultpopulationsforcomputerdisplayheightandanglerequirements.Thedesignofthecomputerdeskcanmeetthedailyneedsofpeopleintheoffice,andcaneffectivelyreducethepainofcervicalspondylosis,lumbarpainandothersymptoms,whicharecausedbylongworkinghours.Thecomputerdeskcanimproveworkefficiency,strongpracticability,highperformancepriceratio.

简介：Inordertoachieveworkpiece′sautomaticloading-and-unloading,thispaperdesignsamanipulator.Usethevacuumchuckmechanismtoachievethefunctionofreclaimingandthecylinderrailstoachievethefunctionofpick-feedingmaterials.PLCcontroltechnologyisappliedtocontrolsystemandimprovetheefficiencyandreducehumanlabor.Toensurethestrength,Solidworkssimulationperformsthestressandstrainanalysistoverifymaterialstrength.

简介：

简介：Manyalgorithmshavebeenimplementedfortheproblemofdocumentcategorization.ThemajorityworkinthisareawasachievedforEnglishtext,whileaveryfewapproacheshavebeenintroducedfortheArabictext.ThenatureofArabictextisdifferentfromthatoftheEnglishtextandthepreprocessingoftheArabictextismorechallenging.ThisisduetoArabiclanguageisahighlyinflectionalandderivationallanguagethatmakesdocumentminingahardandcomplextask.Inthispaper,wepresentanAutomaticArabicdocumentsclassificationsystembasedonkNNalgorithm.Also,wedevelopanapproachtosolvekeywordsextractionandreductionproblemsbyusingDocumentFrequency(DF)thresholdmethod.TheresultsindicatethattheabilityofthekNNtodealwithArabictextoutperformstheotherexistingsystems.Theproposedsystemreached0.95micro-recallscoreswith850Arabictextsin6differentcategories.

简介：

简介：Inordertoslovethelarge-scalenonlinearprogramming(NLP)problemsefficiently,anefficientoptimizationalgorithmbasedonreducedsequentialquadraticprogramming(rSQP)andautomaticdifferentiation(AD)ispresentedinthispaper.Withthecharacteristicsofsparseness,relativelylowdegreesoffreedomandequalityconstraintsutilized,thenonlinearprogrammingproblemissolvedbyimprovedrSQPsolver.Inthesolvingprocess,ADtechnologyisusedtoobtainaccurategradientinformation.Thenumericalresultsshowthatthecombinedalgorithm,whichissuitableforlarge-scaleprocessoptimizationproblems,cancalculatemoreefficientlythanrSQPitself.

简介：ThispaperpresentstwodifferentalgorithmsthatderivethecohesionstructureintheformoflexicalchainsfromtwokindsoflanguageresourcesHowNetandTongYiCiCiLin.There-searchthatconnectsthecohesionstructureofatexttothederivationofitssummaryisdisplayed.Anovelmodelofautomatictextsummarizationisdevised,basedonthedataprovidedbylexicalchainsfromoriginaltexts.Moreover,theconstructionrulesoflexicalchainsaremodifiedaccord-ingtocharacteristicsoftheknowledgedatabaseinordertobemoresuitableforChinesesumma-rization.EvaluationresultsshowthathighqualityindicativesummariesareproducedfromChi-nesetexts.

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

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

简介：