简介：Theanalyticembedded-atompotentialforoxygenisdevelopedfromtheexperimentaldataandtheresultsofthefirst-principle.ThepotentialisusedtopredictthegeometriesandenergiesofO3,fcc,bcc,scanddiamond.Thepredictionsareingoodagreementwithexperimentaldataavailableandothertheoreticalresults.

简介：

简介：Averticalantennaembeddedinearthwithconductivecoatinghasbeeninvesti-gatedbyemployingthemethodofintegralequation.ThistopicisavailabletoEM-MWD(Elec-tromagneticMeasurement-While-Drilling)system,whichisanewrealtimesystemfordrillingmeasurement.Undertheconditionthatthewavenumberoftheearthismuchlargerthanthatoftheair,acurrentintegralequationhasbeenderived.Afterthecurrentdistributionhavingbeendetermined,theelectricfieldstrengthontheearthsurfacehasbeenpredictedanditsdependencesontheoperatingfrequencyandthedepthofthewellhavebeendiscussedaswell.

简介：Inthispaper,thecycle’sstructureofembeddedgraphsinsurfacesarestudied.Accordingtothemethodoffundamentalcycles,thesetC(Ccontainsallshortest)isfound.AundirectedgraphGwithnverticeshasatmostO(n5)manyshortestcycles;IftheshortestcycleofGisoddcycle,thenGhasatmostO(n3)manyshortestcycles;IfGhasbeenembeddedinasurfaceSg(Ng,gisaconstant),thenithasatmostO(n3)shortestcycles,moreover,iftheshortestcycleofGisoddcycle,then,GhasatmostO(n2)manyshortestcycles.WecanfindacyclebaseofG,thenumberofoddcyclesofG,thenumberofevencyclesofG,thenumberofcontractiblecyclesofG,thenumberofnon-contractiblecyclesofG,arealldecided.IftheΠ-embeddedgraphGhasΠ-twosidedcycles,then,CcontainsashortestΠ-twosidedcycleofG,thereisapolynomiallyboundedalgorithmthatfindsashortestΠ-twosidedcycleofaΠ-embeddedgraphG,thenewandsimplesolutionsabouttheopenproblemofBojanMoharandCarstenThomassenareobtained.

简介：在大约431nm的蓝光在C+培植以后从取向附生的硅被获得，在顺序蚀刻的氢环境和化学药品退火。随化学蚀刻的增加，蓝山峰起初被一座红山峰最后提高，然后减少了并且代替。C=O混合物在C+培植期间被介绍并且在纳米Si的表面嵌入在退火期间形成了，并且最后被形成纳米硅与嵌入结构，它贡献蓝排放。介绍是光致发光的可能的机制。

简介：Anembeddedcylinderisalarge-diametercylinderembeddedinasoilfoundation.Thestateoffailureofsuchanembeddedcylindricalstructureshowslargedeflectioninsteadofslideandoverturnofthetraditionalgravitytypeofstructureplacedonarubblebaseorfoundationbase.Thecriticalvalueofdeflectionoftheembeddedcylindricalstructure,whichisthemaximumallowabledeflectionforstabilitycalculationofthecylinder,isavitalcontrolvalue.Throughinvestigationondeflectionandsoilpressuresonanembeddedcylinderbymodelexperiments,thevariationsoftheangleofrotationθofacylinderwitheffectiveanti-overturningratioηandmomentMHofthrustarediscussed.Onthebasisofexperimentalstudy,thecriticalvalueofdeflectionofthecylindricalstructureisproposedinthepaper.Meanwhile,theformulasforcalculatingdeflectionofcylindersarederived.

简介：让H是有限的组G的亚群。如果，H在G是将近嵌入SS的在那里存在G的S-quasinormal亚群K，以便HK是在G和HKH的S-quasinormal在哪儿的seG,HseG是H的亚群，由S-quasinormally在G被嵌入的H的所有那些亚群产生了。在这份报纸，作者在有限的组的结构上调查将近嵌入SS的亚群的影响。

简介：

简介：IARSystems发布最新的开发工具IAREmbeddedWorkbench4．42，支持意法半导体（ST）最新的基于ARMCortex—M3内核的STM32系列微控制器。STM32具有很好的性能，特别适用于有高性能、低功耗、低成本需求的嵌入式应用。IARSystems公司与意法半导体紧密合作，即时发布相应的开发工具。

简介：Becauseoflimitedresourceofembeddedplatforms,thecomputationalcomplexityofadvancedcontrolalgorithmsraisessignificantchallengesfortheuseofembeddedsystemsincomplexcontrolfield.AScilab/Scicosbasedembeddedcontrollerisdevelopedonwhichvariouscontrolsoftwarecanbeeasilymodeled,simulated,implemented,andevaluatedtomeettheever-expandingrequirementsofindustrialcontrolapplications.BuiltontheCirrusLogicEP9315ARMsystems-on-chipboard,thisembeddedcontrollerispossibletodevelopcomplexembeddedcontrolsystemsthatemployadvancedcontrolstrategiesinarapidandcost-efficientfashion.Duetothefreeandopensourcenatureofthesoftwarepackagesused,thecostoftheembeddedcontrollerisminimized.

简介：Inthispaper,aschemeofcombiningmodelcheckingandtheoremprovingtechniquestoverifyhightrustworthyembeddedsoftwareisproposed.Thesoftwaremodeldescribedinstatemachineofunifiedmodellanguageistransformedintotheinputmodelinglanguageofamodelcheckerinwhichthemodelisanalyzedwithassociatedpropertyspecificationsexpressedintemporallogic.Thesoftwaremodelwhichhasbeenverifiedbymodelcheckeristhentransformedintoabstractspecificationsofatheoremprover,inwhichthemodelwillberefined,verifiedandtranslatedintosourceCcode.Thetransformationrulesfromstatemachinetoinputlanguageofmodelcheckerandabstractspecificationsoftheoremproveraregiven.Theexperimentshowsthattheproposedschemecaneffectivelyimprovethedevelopmentandverificationofhightrustworthyembeddedsoftware.

简介：在这研究，为评估自然频率和模式的准确解决方案的分析关系与嵌入的形状存储器横梁塑造合金(SMA)电线被介绍。横梁根据Euler-Bernoulli，Timoshenko和第三根顺序横梁(瑞迪)理论被建模。一种关系为决定预先拉紧的SMA电线的恢复行动产生的轴的负担的效果被获得。由定义一些无尺寸的数量，频率和系统的模式形状上的不同机械性质的效果小心地被检验。轴的负担的效果与弄弯由SMA电线产生了负担和频率跳精确地被学习。

简介：Themainresultsareasfollows.

简介：Inrecentyears,accordingtotheneedofintelligentvideosurveillancesystemincreasingrapidlyinmetropolitancities,adesignbasedonS3C2440microprocessorandembeddedLinuxoperatingsystemisadoptedforreal-timevideotargettracking.However,itisverychallengingasembeddedsystemsusuallyaffordlimitedprocessingpowerandlimitedresources.Therefore,toaddressthisproblem,areal-timetrackingalgorithmusingmulti-featuresbasedoncompressivesensingisproposedandimplemented.Thealgorithmusesmultiplematrixastheprojectionmatrixofthecompressivesensingandthecompresseddateasthemultiplefeaturestoextractusefulinformationneededbytrackingprocess.FunctionsandlibrariesinOpenCVwhichweredevelopedbyIntelCorporationareutilizedforbuildingthetrackingalgorithms.Itistestedwithvariantvideosequencesandtheresultsshowthatthealgorithmachievesstabletrackingforthetargetmovedofthelightchanged.

简介：DynamicbehaviorofsinglepileembeddedintransverselyisotropiclayeredmediaisinvestigatedusingthefiniteelementmethodcombinedwithdynamicstiffnessmatricesofthesoilderivedfromGreen’sfunctionforringloads.Theinfluenceofsoilanisotropyonthedynamicbehaviorofpilesisexaminedthroughaseriesofparametricstudies.

简介：PresentedisaschemeofanembeddedvideoremotemonitoringsystembasedonTMS320DM642.UsingDM642asthedataprocessingcore,theremotemonitoringsystemiscomposedofvideoacquisitionmodule,videoprocessingmoduleandcommunicationmodule,whichgivesanimplementationofclass/minidrivermoduleinDSP/BIOSintegrateddevelopingenvironmentandalsoacommontaskmoduleinapplicationlayerisachieved.Thesystemrealizestheentirefunctionsoftheanalogvideosignalacquisition,H.264videocodingandInternettransmission.Itprovidesthegeneralconnectionforthefuturedevelopmentandhasgoodflexibilityandextendibility.Thesystemusesamodulardesignandoveralldevelopmentofprogrammingmethodstoimprovetheefficiencyofsystemdevelopment.

简介：TheshearlagtheoryisusedtoanalyzethestresstransferfromconcretematrixtoFBGsensorsbasedonthattheFBGsensorandtheconcretematrixarecomposite.Thestresstransferformulaandthecoefficientareobtained.Theexperimentsprovethatthetheoreticalresultsofthestresstransferbythestresstransferformulaareinwellagreementwiththeexperimentaldata.

简介：ＡｒｔｉｆｉｃｉａｌＩｎｔｅｌｌｉｇｅｎｃｅＥｍｂｅｄｄｅｄＯｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＭｅｔｈｏｄｏｌｏｇｙＦｏｒＭｏｄｅｌＢａｓｅｄＤｅｃｉｓｉｏｎＳｕｐｐｏｒｔ￥ＦｅｎｇＳｈａｎ；ＴｉａｎＹｕａｎ；ＬｉＴｏｎｇ＆ＣａｉＪｕｎ（Ｉｎｓｔｉｔｕｔ...

简介：DigitalnetworkedcommunicationsarethekeytoallInternet-of-Thingsapplications,especiallytosmartmeteringsystemsandthesmartgrid.Inordertoensureasafeoperationofsystemsandtheprivacyofusers,thetransportlayersecurity(TLS)protocol,amatureandwellstandardizedsolutionforsecurecommunications,maybeused.WeimplementedtheTLSprotocolinitslatestversioninawaysuitableforembeddedandresource-constrainedsystems.ThispaperoutlinesthechallengesandopportunitiesofdeployingTLSinsmartmeteringandsmartgridapplicationsandpresentsperformanceresultsofourTLSimplementation.Ouranalysisshowsthatgivenanappropriateimplementationandconfiguration,deployingTLSinconstrainedsmartmeteringsystemsispossiblewithacceptableoverhead.

简介：