简介：Thispaperelaboratestheconceptandmodelofprotocolmigrationinnetworkinterconnection.Migrationstrategiesandprinciplesarediscussedandseveralcasesarestudiedindetailwhichshowthebasicprocedureandtechniquesusedinprotocolmigration.

简介：

简介：ThispaperproposesaformalapproachtoprotocolperformancetestingbasedontheextendedconcurrentTTCN,Tomeettheneedsofprotocolperformancetesting,concurrentTTCNisextended,andtheextendedconcurrentTTCN'soperationalsemanticsisdefinedintermsofInput-OutputLabeledTransitionSystem.Anarchitecturedesignofprotocolperformancetestsystemisdescribed,andanexampleoftestcasesanditstestresultaregiven.

简介：Averyinexpensiverecive-onlysatellitereceiverhighbandwidthtrafficfromafeeder.Thereforetheconnectionbetweenthefeederandthereceiverisuni-directional.Theexistingroutingprotocols,suchasLink-StateandDistance-Vector,aredesignedonthepremisethatanylinksarebidirectionalandtheycannothandletheuni-directionallinks.Inthispaper,adynamicmulticastroutingprotocolisproposed,whichcanhandleuni-directionalnetworks,Thisprotocolcanalsoadapttothedynamicchangeofthetopolgoyofthenetworkandhasgoodscalability.AformaldescriptionoftheprotocolbyPetrinetisgiven.Liveness,deadlockfreeandotherpropertiesoftheprotocolarepreoved.

简介：Militarytacticalnetworkisoneofthemostimportantapplicationsofadhocnetwork.Currentlytheexistingroutingprotocolsareputforwardbasedonthesimpleanduniversalnetworkmodelwhichhastheabilityofmulti-hoproutingbutcannotworkefficientlyinthespecialmilitaryapplications.Thenarrowbandwidthandlimitedenergyofthewirelessnetworkmakegeneralroutingprotocolsseemtobemoreredundant.Inordertosatisfymilitaryneedsproperly,thislettermakesadetailedanalysisofphysicalnodesandtrafficdistributioninmilitarynetwork,usescross-layerdesignconceptforreference,combinestrafficcharacteristicofapplicationlayerwithroutingprotocoldesign.Itcategorizedroutingproblemascrucialroutesandnon-crucialrouteswhichadoptedseparatemaintenancemethods.Itnotonlyrealizesbasictransmissionfunctionbutalsoworksefficiently.Itisquitefitformilitaryapplication.

简介：ＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭTXＡｎＩｎｖｅｓｔｉｇａｔｉｏｎｏｆＦｏｒｍａｌＴｅｃｈｎｉｑｕｅｓｏｆＰｒｏｔｏｃｏｌＢａｓｅｄｏｎＣＦＳＭＬｉＬａｙｕａｎＷｕｈａｎＪｉａｏ...

简介：

简介：

简介：随着Internet和Web的迅速发展，人们迫切需要适合于Internet和Web环境下的分布式计算技术。原有的分布式计算技术虽然在各个领域得到了广泛的应用，但是在Web环境下却难有更大的作为。因为Internet和Web环境是极其分布的、分散化的、Internet上各个程序之间、机器之间或组织之间的通讯双方都面临达成应用层传输协议的挑战。XMLProtocol就是为了开发一种允许两方或更多方在分布式环境中进行通讯的技术，并用XML作为其封装语言。相关技术主要包括SOAP、WSDL和UDDI。

简介：Atomicityisnecessaryforreliableandsecureelectroniccommercetransactionandtoguaranteetheparticipants'interests.Anatomicandefficiente-cash(electroniccash)transactionprotocolbasedontheclassicale-cashschemeispresented.Thedeliveryofdigitalgoodsisincorporatedintotheprocessofpaymentintheprotocol.Apartfromensuringallthreelevelsofatomicity,thenovelprotocolfeatureshighefficiencyandpracticabilitywithunfavorablestrongassumptionremoved.Furthermore,theproposedprotocolprovidesnon-repudiationproofsforanyfuturedisputes.Atlast,analysisoftheatomicityandefficiencyisillustrated.

简介：一个简单协议用变白的稻秧为脱氧核糖核酸抽取被建立，米饭脱氧核糖核酸由此直接在单个eppendorftube在0.5mol/LNaOH答案被提取。比较PCR分析和电气泳动的结果证明用这个方法提取的脱氧核糖核酸象那个使用的标准CTAB方法同样好、有用。

简介：Broadcastisanimportantoperationinmanynetworkprotocols.Itisutilizedtodiscoverroutestounknownnodesinmobileadhocnetworks(MANETs)andisthekeyfactorinscalingon-demandroutingprotocolstolargenetworks.ThispaperpresentstheAdHocBroadcastProtocol(AHBP)anditsperformanceisdiscussed.Intheprotocol,messagesareonlyrebroadcastbybroadcastrelaygatewaysthatconstituteaconnecteddominatingsetofthenetwork.AHBPcanefficientlyreducetheredundantmessageswhichmakeflooding-likeprotocolsperformbadlyinlargedensenetworks.Simulationsareconductedtodeterminetheperformancecharacteristicsoftheprotocol.ThesimulationresultshaveshownexcellentreductionofbroadcastredundancywithAHBP.Italsocontributestoareducedlevelofbroadcastcollisionandcongestion.

简介：

简介：

简介：AChina-EuropeinternationalforumontheConventionagainstTortureandOtherCruel,InhumanorDegradingTreatmentorPunishmentandtheoptionalprotocoltotheconventionwasheldinBeijingfromAugust12-13,2006.JointlysponsoredbytheResearchCenterfortheproceduralsystemandjudicialreformoftheRenminUniversityofChinaandtheGreatBritain-ChinaCentre,theforumwasattendedbymorethan100professionals,expertsandscholarsfromtheBritishembassyinChina,EuropeanCommissiondelegationtoChina,thehumanrightslawcenteroftheUniversityofEssexofBritain,theRightsPracticeofBritain,theMaxPlanckInstituteforFor-

简介：ThearchitectureandprotocolsofInternetcan'tworkwellinspaceenvironments.Toformareliableandsafespacenetwork,characteristicsofspacecommunicationnetworkonediscusse,briefsynthesisisperformedforconsultativecommitteeforspacedatasystem(CCSDS)spacecommunicationsprotocolstandards(SCPS),andamodelaccountingfordatasecurityproblemofspace-earthintegratednetworkisprovided.

简介：