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

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

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

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

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

简介：Anoveltypeoftwo-dimensionaldamageassessmentsystemforreal-timemonitoringthestructuralhealthofcompositestrurctureisdescribed.Theconfigura-tionoftheembeddedfiberopticsensorarrayandthemodeloftheartificialneuralnet-work(ANN)arediscussed.Theexperimentalsystemandresultsshowthatthesystemcanmonitoradamageofstructureswithpotentialapplicationinareasuschasspaceaero-uautics,civilengineering,etc.

简介：Si富有的硅氧化膜被RF磁控管劈啪作响到合成Si/SiO_2目标上扔。在在不同温度退火了以后，与硅nanocrystals嵌入的硅氧化膜被获得。从与硅nanocrystals嵌入的硅氧化膜的光致发光(PL)在房间温度被观察。强壮的山峰是at360nm，它的位置独立于退火的温度。在与硅nanocrystals嵌入的硅氧化膜的360-nmPL的起源被讨论。

简介：Thereliabilityofreal-timeembeddedsoftwaredirectlydeterminesthereliabilityofthewholereal-timeembeddedsystem,andtheeffectivesoftwaretestingisanimportantwaytoensuresoftwarequalityandreliability.Basedontheanalysisofthecharacteristicsofreal-timeembeddedsoftware,theformalmethodisintroducedintothereal-timeembeddedsoftwaretestingfieldandthereal-timeextendedfinitestatemachine(RT-EFSM)modelisstudiedfirstly.Then,thetimezonedivisionmethodofreal-timeembeddedsystemispresentedandthedefinitionanddescriptionmethodsoftime-constrainedtransitionequivalenceclass(timeCTEC)arepresented.Furthermore,theapproachesofthetestingsequenceandtestcasegenerationareputforward.Finally,theproposedmethodisappliedtoatypicalavionicsrealtimeembeddedsoftwaretestingpracticeandtheexamplesofthetimeCTEC,testingsequencesandtestcasesaregiven.Withtheanalysisofthetestingresult,theapplicationverificationshowsthattheproposedmethodcaneffectivelydescribethereal-timeembeddedsoftwarestatetransitioncharacteristicsandreal-timerequirementsandplaytheadvantagesoftheformalmethodsinaccuracy,effectivenessandtheautomationsupporting.Combinedwiththetestingplatform,thereal-time,closedloopandautomatedsimulationtestingforreal-timeembeddedsoftwarecanberealizedeffectively.