简介:*NationalQualitySupervision&InspectionCenterforRefractoriesBusinessscope:Selectiveexaminationfornationalqualitysupervision;Identificationofproductionlicense;Arbitrationinspectionandtechnicalachievementsevaluation;CommoditiesinspectionandotherqualityinspectionsAdd:No.39XiyuanRoad,Luoyang471039,HenanProvince,ChinaTel:+86-379-64205929Fax:+86-379-64205955E-mail:nqtc@public2.lyptt.ha.cn
简介:Duetotheindividualelectricalandmechanicalcharacteristicsofresistanceweldingmachines,choiceoftherightmachineandweldingparametersforanoptimizedproductionisoftendifficult.Thisisespeciallythecaseinprojectionweldingofcomplexjoints.Inthispaper,anewapproachofcharacterizingtheelectricalpropertiesofACresistanceweldingmachinesispresented,involvingtestingandmathematicalmodellingoftheweldcurrent,thefiringangleandtheconductionangleofsiliconcontrolledrectifierswiththeaidofaseriesofproofresistances.Themodelpredictstheweldcurrentandtheconductionangle(orheatsetting)ateachsetcurrent,whentheworkpieceresistanceisgiven.
简介:Thispaperpresentsoureffortstoexplainwhymammalshavelargethighmuscleswhileinsectshavesmallones.Afteradiscussionofthisobservationadefinitionofbodyfootratioisdefinedwhichdescribeshowanimalsstandandhowtheirlegsarearranged.Toinvestigatethemechanics,wepresentaclosedoptimumsolutionofthebodyfootratiofora2Dtwo-legwalkingmachine.Amulti-walkerisusedasacasefor3Dgeneralanalysis,andthenumericalsimulationispresented.Both2Dand3Dcasestudiescanexplaintheaboveobservationsofmammalsandinsects.Thesefindingscanalsobeusedasaguideforthedesignofman-madelimbedmachines.
简介:TheLeastSquaresSupportVectorMachines(LS-SVM)isanimprovementtotheSVM.CombinedtheLS-SVMwiththeMulti-ResolutionAnalysis(MRA),thisletterproposestheMulti-resolutionLS-SVM(MLS-SVM).TheproposedalgorithmhasthesametheoreticalframeworkasMRAbutwithbetterapproximationability.AtafixedscaleMLS-SVMisaclassicalLS-SVM,butMLS-SVMcangraduallyapproximatethetargetfunctionatdifferentscales.Inexperiments,theMLS-SVMisusedfornonlinearsystemidentification,andachievesbetteridentificationaccuracy.
简介:1IntroductionTheexpertsystemsapproachiscurentlybeingappliedtocomputer-aideddesign(CAD)forsimplehydrauliccircuits.Mostoftheexp...
简介:Aspect-orientedprogrammingmodularizescrosscuttingconcernsintoaspectswiththeadviceinvokedatthespecifiedpointsofprogramexecution.Aspectscanbeusedinaharmfulwaythatinvalidatesdesiredpropertiesandevendestroystheconceptualintegrityofprograms.Toassurethequalityofanaspect-orientedsystem,rigorousanalysisanddesignofaspectsarehighlydesirable.Inthispaper,wepresentanapproachtoaspect-orientedmodelingandverificationwithfinitestatemachines.Ourapproachprovidesexplicitnotations(e.g.,pointcut,adviceandaspect)forcapturingcrosscuttingconcernsandincrementalmodificationrequirementswithrespecttoclassstatemodels.Forverificationpurposes,wecomposetheaspectmodelsandclassmodelsinanaspect-orientedmodelthroughaweavingmechanism.ThenwetransformthewovenmodelsandtheclassmodelsnotaffectedbytheaspectsintoFSP(FiniteStateProcesses),whicharetobecheckedbytheLTSA(LabeledTransitionSystemAnalyzer)modelcheckeragainstthedesiredsystemproperties.Wehaveappliedourapproachtothemodelingandverificationofthreeaspect-orientedsystems.Tofurtherevaluatetheeffectivenessofverification,wecreatedalargenumberofflawedaspectmodelsandverifiedthemagainstthesystemrequirements.Theresultsshowthattheverificationhasrevealedallflawedmodels.Thisindicatesthatourapproachiseffectiveinqualityassuranceofaspect-orientedstatemodels.Assuch,ourapproachcanbeusedformodel-checkingstate-basedspecificationofaspect-orienteddesignandcanuncoversomesystemdesignproblemsbeforethesystemisimplemented.
简介:Thedynamicalequationsforainertialreciprocatingmachineexcitedbytworotatingeccentricweightswerebuiltbythematrixmethodologyforestablishingdynamicalequationsofdiscretesystems.Amathematicalmodelofelectromechanicalcouplingsystemforthemachinewasformedbycombiningthedynamicalequationswiththestateequationsofthetwomotors.Thecomputersimulationtothemodelwasperformedforseveralvaluesofthedampingcoefficientorthemotorpower,respectively.Thesubstanceoftransientbehaviorofthemachineisunveiledbyanalyzingtheresultsofthecomputersimulation,andnewmethodsarepresentedfordiminishingthetransientamplitudeofthevibratingmachineandimprovingthetransientbehavior.Thereliablemathematicalmodelisprovidedforintelligentcontrolofthetransientbehaviorandengineeringdesignoftheequipment.
简介:是因为SVM的训练复杂性高度依赖于设置的数据的尺寸,至于模式识别和机器学习为大规模数据采矿赞成了支持机器(SVM)不是的向量,这篇论文论述几何基于距离的SVM(GDB-SVM)。Ittakes在一个点和是的分类亢奋的飞机之间的距离分类根据理论分析和几何直觉统治,并且被设计。试验性的代码作为翻译并且编辑的系统是有MicrosoftVisualC++6.0的导出的fromLibSVM。五GDB-SVM的四预言的结果比对所有(OAA)的方法的那些好。五GDB-SVM的三预言的结果比对(天体观测卫星)的方法的那些好。Experimentson真实数据集合证明GDB-SVM比OAA和天体观测卫星的方法优异不仅,但是为大数据集合高度可伸缩当产生高分类精确性时。
简介:NondeterminismofPROLOGexecutionrequiresthatablockofcontrolinformationorachoicepointforeachprocedurecallbestoredwhenthereareothercandidateclausestobeused.Whenthecurrentlyselectedclausefails,thebindingsmadebytheclausemustbeundoneandthestoredchoicepointisreactivated,andthenanotherclauseofthecandidateonesischosentorunonit.StoringandreactivatingchoicepointsandundoingaccountforthegreatoverheadarerequiredtocontrolPROLOGexecution,whichisquitedifferentfromconventionalprograms.ThispaperfocusesonthetechniquesusedinSequentialPROLOGEngine(SPE)toreducetheoverheadofcontroloperations.ThecontrolinstructionsofSPEstorenomorechoicepointsthanthenecessary.Itsarchitecturetakestheapproachesofanalysingthepotentialparallelisminthecontroloperationsanddevelopingafractionofitduetothecost-effectconsideration.TheresultsofexecutingtwosampleprogramsonSPEintheformofhandtimingsarepresented,whichfavortheapproach.
简介:Anintelligentmethodforimprovingpositionlinearityofposition-sensitivedetector(PSD),basedonsupportvectormachines(SVMs),isdeveloped.TheSVMisestablishedbasedonthestructuralriskminimizationprincipleratherthanminimizingtheempiricalerrorcommonlyimplementedinneuralnetworks.SVMcanachievehighergeneralizationperformance.TrainingSVMisequivalenttosolvingalinearlyconstrainedquadraticprogrammingproblem,thusthesolutionofSVMisalwaysuniqueandgloballyoptimal.Theimprovingpositionlinearityprocedurehasbeenillustratedusingatwo-dimensional(2D)PSD.ItispointedoutthatthepositionlinearityofthemeasuringsystemwithaproperSVMcorrectionisimprovedbytwoordersofmagnitudeinthemeasurementrange.
简介:在一个现代电的驱动程序,转子地面向的控制(RFOC)方法被用来完成好表演和适当短暂回答。在这个方法,转子流动的空间向量来由转子抵抗价值方便。转子抵抗是根据马达速度和房间温度改变变化的重要参数之一。在这份报纸,一个新联机评价方法被利用由使用沃尔什功能领域获得转子抵抗。沃尔什功能是在piecewise常数基础功能(PCBF)的最适用的功能之一解决动态方程。在另一方面,一个不可分的运作的矩阵被用来简化计算算法的过程和速度。模拟结果证明建议方法能够在要用体力地与注射噪音在对比估计转子抵抗的时间间隔上在一台电的机器解决动态方程。
简介:泛音分析,传统的潮汐的预报方法,不能考虑noncyclical因素的影响,并且也基于是的潮汐的预言模型容易由数据的数量限制了的BP神经网络。根据天的身体的运动,并且就被非周期性的天气影响的历史的数据的不够的潮汐的特征而言,一个潮汐的预言方法基于支持向量机器(SVM)被设计由从厦门使用潮汐的数据执行模拟实验潮计量器,Luchaogang潮计量器和Weifang潮个别地计量。并且结果证明模型令人满意地执行被noncyclical因素影响的潮预言。同时,它也证明建议预言方法,它什么时候与泛音分析方法和BP相比神经网络方法,让更快的建模加速,更高的预言精确和更强壮的归纳能力。
简介:Thegeneralconceptofdatacompressionconsistsinremovingtheredundancyexistingindatatofindamorecompactrepresentation.Thispaperisconcernedwithanewmethodofcompressionusingthesecondgenerationwaveletsbasedontheliftingscheme,whichisasimplebutpowerfulwaveletconstructionmethod.Ithasbeenprovedbyitssuccessfulapplicationtoareal-timemonitoringsystemoflargehydraulicmachinesthatitisapromisingcompressionmethod.