简介:TheCprogramminglanguageisexpressiveandflexible,butnotsafe;asitsexpressivepowerandflexibilityareobtainedthroughunsafelanguagefeatures,andimproperuseofthesefeaturescanleadtoprogrambugswhosecausesarehardtoidentify.SinceCiswidelyused,anditisimpracticaltorewriteallexistingCprogramsinsafelanguages,sowaysmustbefoundtomakeCprogramssafe.ThispaperdealswiththeunsafefeaturesofCandpresentsasurveyonexistingsolutionstomakeCprogramssafe.Wehavestudiedbinary-levelinstrumentationtools,sourcecheckers,source-levelinstrumentationtoolsandsafedialectsofC,andpresentacomparisonofdifferentsolutions,summarizedthestrengthsandweaknessesofdifferentclassesofsolutions,andshowmeasuresthatcouldpossiblyimprovetheaccuracyoralleviatetheoverheadofexistingsolutions.
简介:本文介绍由三片集成块CS8204、WE9140A、TEA1061组成的典型电话机电路,主要分析电话机的电源供给电路、振铃电路、拨号电路和通话电路。
简介:
简介:ThegrowinginterestintheuseofGalliumArsenidssemiconductormaterialshaspresentedmanyopportunitiesfordeviceoperationalspeedimprovementsbuthasalsopresentedmanyproblemsforthedevicemaker,Anoveldeep-submicronx-raylithographyprocessforT-shapedgatepatternsusefulforhigh-electron-mobilitytransistors(HEMT)isintroducedinthiswork.InthefabricationofT-shapedgateatherrlayerresistsmethodisused.Thex-rayexposureexperimentswerefinishedbyBeijingSynchrotronRadiationFacility(BSRF)3B1Abeamline,andgoodresulthasbeenobtained.
简介:Catalyticcombustionofpropane-airmixturewasinvestigated.Platinumcatalystsoveraflatstainlesssteelwithγ-aluminawashcoatwereemployed.Theemployedburnerhasthreecatalystssetparalleltothemixtureflow,spacedatanintervalof5,10and15mm.Bothexperimentandnumericalsimulationweremadeatinlettemperatureof553K,inletvelocityof3to7m/sandequivalenceratioof0.3to0.5.Inthenumericalsimulation,two-dimensional,steadystatemodelwasdevelopedtocalculatethetemperatureandspeciesconcentrationingas-phase.Inthismodel.chemicalreactiononthecatalystsurfaceandthatinthegasphasewereassumedtooccurinthree-steps.Thenumericalresultsshowgoodagreementwithexperimentalresults.Itwasfoundthatthepropertiesofthecatalyststronglyaffectthecatalystsurfacetemperature.Especially,thethermalconductivityofcatalysthasagreateffect,whiletheemissivityofcatalysthaslesseffect.
简介:Thelittle-Higgsmodelstypicallycontainanewvector-liketopquarkT,whichplaysakeyroleinbreakingtheelectroweaksymmetry.InthecontextofthelittlestHiggs(LH)model,westudysingleproductionofthiskindofnewparticlesviatheprocessep→eb→veTinthefuturelinac-ring-typeepcollider(LCО×LHC).Wefindthattheproductioncrosssectionisintherangeof1.2×10^-40.48pbattheLCО×LHCwith√s=3.7TeV.