简介：NationalQualitySupervision&InspectionCen-terforRefractoriesBusinessscope:Selectiveexaminationfornationalqualitysupervision;Identificationof

简介：

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

简介：１ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｅｘｐｅｒｔｓｙｓｔｅｍｓａｐｐｒｏａｃｈｉｓｃｕｒｅｎｔｌｙｂｅｉｎｇａｐｐｌｉｅｄｔｏｃｏｍｐｕｔｅｒ－ａｉｄｅｄｄｅｓｉｇｎ（ＣＡＤ）ｆｏｒｓｉｍｐｌｅｈｙｄｒａｕｌｉｃｃｉｒｃｕｉｔｓ．Ｍｏｓｔｏｆｔｈｅｅｘｐ...

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

简介：

简介：

简介：

简介：在这篇论文，我们以速度在二台一致机器上调查安排问题的变体1；s。为这个问题，我们被给二台潜在的一致机器处理独立工作的一个序列。机器需要在开始到过程前被激活，；激活的每台机器招致固定机器激活费用。没有机器开始被激活，；当一个工作被揭示时，算法有选择激活新机器。目的是最小化makes平底锅的和；机器激活费用。我们与竞争比率设计最佳的联机算法(2s+1)为每s≥1的/(s+1)。

简介：Thedynamicalequationsforainertialreciprocatingmachineexcitedbytworotatingeccentricweightswerebuiltbythematrixmethodologyforestablishingdynamicalequationsofdiscretesystems.Amathematicalmodelofelectromechanicalcouplingsystemforthemachinewasformedbycombiningthedynamicalequationswiththestateequationsofthetwomotors.Thecomputersimulationtothemodelwasperformedforseveralvaluesofthedampingcoefficientorthemotorpower,respectively.Thesubstanceoftransientbehaviorofthemachineisunveiledbyanalyzingtheresultsofthecomputersimulation,andnewmethodsarepresentedfordiminishingthetransientamplitudeofthevibratingmachineandimprovingthetransientbehavior.Thereliablemathematicalmodelisprovidedforintelligentcontrolofthetransientbehaviorandengineeringdesignoftheequipment.

简介：在极的区域，云和内在的冰雪区域是困难的因为他们的高反照率，在红外线的乐队在可见乐队和冰雪区域的低表面温度在卫星图象区分。在南极洲的盖住的区域被介绍的在冰雪上的一个云察觉方法。由于云和ice-snowareas的不同质地特征，五个质地特征基于GLCM被提取。非线性的SVM然后被用来从训练数据获得最佳的分类超。实验结果显示这个算法在南极洲表现很好在云察觉，特别为薄触毛察觉。而且，当图象是到实际尺寸的一个季度或1/16的物件ampled时，云百分比仍然在一样的水平，当处理时间指数地减少时。

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