简介：

简介：推进器的数学模型被创造在推进器表演的预言上调查周期的边界条件的影响。相应于DTMB4119的不同进展系数的戳和转矩系数，4382，和4384个推进器被计算。在不同的节的DTMB4119推进器的压力系数分发身体上也被测试。比较显示了在实验和模拟的结果之间的好同意。它证明周期的边界条件能被用来讲道理地预言一个推进器的开的水表演。由为计算分析三个确定的模式，划分格子用花键曲线方法被显示那能比使用切的耙子更好为精确遇见计算要求方法。

简介：Inthispapersomeresultsinoperatortheoryandintegro-differentialequationsareextendedtosomesemi-admissiblecases.

简介：ThispaperisconcernedwithapplicationsofintegratedsemigroupstothefollowingCauchyproblem:（ACPn）xn（t）=sumfromi=0ton-1Bixi（t）,xi（0）=xi,0（?）i（?）n-1whereBi（0（?）i（?）n-1）areclosedlinearoperatorsonaBanachspaceX.Auniquenesstheorem,aconditionofthesolvability,aconditionoftheexponentialwell-posedness,andsomeresultsforthespecialcasethatBn-1isboundedandD(Bn-2)（?）D（Bi）（0（?）i（?）n-3）areobtained.

简介：

简介：构造生物网络是在系统生物学的最重要的问题之一。然而，手工地从数据构造一个网络拿一可观大量时间，因此，一个自动化过程被倡导。自动化网络建设的过程，在这个工作，我们使用二种聪明的计算技术，基因编程和神经计算，推断使用连续变量的二种网络模型。验证介绍途径，实验被进行了，初步的结果证明两条途径能被用来成功地推断网络。

简介：

简介：Usingagentdevelopmenttoolstoconstructanagent-basedsystemisawellappliedapproach.However,thedevelopmenttoolsusuallydonothavethefunctiontocheckthefeasibilityabouttheworkflowoftheagentsystemduringitimplementationstage.Therefore,todevelopanevaluationapproachtoanalyzethefeasibilityofadevelopingagentsystemsuchthattheimproperworkflowofanagentsystemcanbefoundintheearlydesignstageisanecessarytasktoreducetheriskofimplementation.Inthisresearch,aPetriNet(PN)basedthree-stageevaluationapproachwasdeveloped.Intheconceptualstage,thepitfallofthecurrentagentsystemdevelopingprocesswasexaminedandanimprovementanalysisprocesswasspecified.Then,inthesystemdesignstage,anevaluationapproachwhichextractedtheprocesslogfilefromadevelopingagentsystemintoaPNmodelintermsofaprocessminingapproach-αalgorithmwasproposed.ThismodelwassimulatedinaPNsimulationpackage.TheagentsystemperformancewasevaluatedintermsofanalyzingthedeadlockphenomenaofthePNmodel.Finally,intheimplementationstage,theproposedconceptwasimplementedbyusinganagentdevelopingtoolJADEandaPNsimulationtoolCPN.Anagent-basedroboticassemblysystemwasusedtoexaminethepossibledeadlockoftheagentsystem.

简介：

简介：Inthispaper,weprovideanecessaryinfrastructuretodefineanabstractstateexplorationintheHOLtheoremprover.OurinfrastructureisbasedonadeepembeddingoftheMultiwayDecisionGraphs(MDGs)theoryinHOL.MDGsgeneralizeReducedOrderedBinaryDecisionDiagrams(ROBDDs)torepresentandmanipulateasubsetoffirst-orderlogicformulae.TheMDGsembeddingisbasedonthelogicalformulationofanMDGasDirectedFormulae(DF).Then,theMDGsoperationsaredefinedandthecorrectnessproofofeachoperationisprovided.TheMDGreachabilityalgorithmisthendefinedasaconversionthatusesourMDGtheorywithinHOL.Finally,asetofexperimentationsoverbenchmarkcircuitshasbeenconductedtoensuretheapplicabilityandtomeasuretheperformanceofourapproach.

简介：Thefastturnoverofsoftwaretechnologies,inparticularinthedomainofinteractivity(coveringuserinterfaceandvisualisation)makesitdifficultforasmallgroupofpeopletoproducecompleteandpolishedsoftware-toolsbeforetheunderlyingtechnologiesmakethemobsolete.AttheHepVis'99workshop,aworkinggrouphasbeenformedtoimprovetherpoductionofsoftwaretoolsfordataanalysisinHENP.Besidepromotingadistributeddevelopmentorganisation,onegoalofthegroupistosystematicallydesignasetofabstractinterfacesbasedonusingmodernOOanalysisandOOdesigntechniques.Aninitialdomainanalysishascomeupwithseveralcategories(componets)foundintypicaldataanalysistools:historams,Ntuples,Functions,Vectors,Fitter,Plotter,AnalyzerandController,SpecialEmphasiswasputonreducingthecouplingsbetweenthecategoriestoaminimum,thusoptimisingre-useandmaintainabilityofanycomponentindividually.TheinterfaceshavebeendefinedinJavaandC++andimplementationsexistintheformoflibrariesandtoolsusingC++(Anaphe/Lizard,Openscientist)andJava(JavaAnalysisStudio),AspecialimplementationaimsataccessingtheJavaLiraries(throughtheirAbstractInterfaces)fromC++.ThispapergiveranoverviewofthearchitectureanddesignofthevariouscomponentsfordataanalysisasdiscussedinAIDA.

简介：Thepresentpaperdealswiththemethodfortheradarcross-section(RCS)computationsofarbitrarilycomplicatedtargetsbasedontheworkbyD.Klementetal.(1988).Thismethodisconvenientinuse,fastinoperationandpreciseincalculatingRCSofacomplicatedtarget.Withthismethod,theRCSofclassicscatterers,forexample,aconeandacylinder,arecomputedwiththeresultofgoodagreementwithexperimentaldata.Furthermore,theRCS’ofanaircraftmodelatvariousattitudesarecalculatedwiththeresultofgoodagreementwithexperimentaldataalso.

简介：

简介：

简介：

简介：

简介：

简介：

简介：TopromotetheapplicationofMgalloytomotorcyclewheeltoreduceweight,thefatigueanalysesofwheelsmadeofA356,AM60BandredesignedAM60Bunderthesameserviceconditionwerecarriedout,revealingthatthepeakstressisreducedby25.6%andstressdistributionbecomesmoreuniforminMg-alloywheelduetoitslowerelasticmodulusincomparisonwithAlalloys.TheservicestresslevelofredesignedMgwheelisrelaxedfurtherbecauseofitsoptimizedstructurebyalteringthespokeconfigurationandincreasingthefilletbetweenspokeandring,satisfyingthedesiredreliabilitywith30%weightsaving.

简介：Thispaperpresentstheresultsofourinvestigationsofbreakdownmechanisms,aswellasadescriptionoftheirinfluenceonthedistributionsoftimedelaydistributions,foragastubefilledwithnitrogenat4mbar.Thevaluesofthetimedelayaremeasuredfordifferentvoltages,andthevaluesoftherelaxationtimesandtheirdistributionsandprobabilityplotsareanalyzed.TheobtaineddensitydistributionshaveGaussiandistributionsandexponentialdistributionsfordifferentvaluesofrelaxationtimes(Gaussianforsmallvaluesandexponentialforlargevaluesofrelaxationtime).ItisshownthatformiddlevaluesofrelaxationtimethedelaydistributionshaveashapebetweenGaussianandexponentialdistributions,whichisaresultofthedifferentinfluencesofelectricalbreakdown.