CPCI投稿论文模板.docx

单栏页面尺寸：页边距：上：4.44厘米，下：3.17厘米，左：2.12厘米，右：2.12厘米纸张：A4,宽度：21厘米，高度：297厘米，无网格ArticleTitleHereInTitleCase（A"+A）（题目字体：TimesNewRoman,字号20,加粗，居中）SubtitleInTitleCase（Optional）（AIt+S）（副标题：TimesNewRoman,字号三号，加粗，居中，段后8磅，多倍行距108）FirstnameLastnameh*FirstnameLastname2（Alt+A）（作者名字字体TimesNewROnIan,字号四号，居中，段前6磅，段后6磅，L5倍行距）,EnterAuthorAffiliation1（Alt+L）2EnterAuthorAffiliation2（Alt+L）（作者单位字体TinleSNeWROnlan,字号10,倾斜）4Correspondingauthor.Email:COm（Alt+C）（作者邮箱字体TimesNewRoman,字号10,倾斜,段后6磅，L5倍行距）ABSTRACT（ABSTRACTTimesNewRoman,字号10,力口粗，最小值13磅）TheAtlantisPressProceedingsarticletemplatehasmanypredefinedparagraphstylesforyoutouse/applyasyouwriteyourpaper.Toformatyourabstract,usetheMicrosoftWordtemplatestyle:Abstract.Eachpapermustincludeanabstract.Begintheabstractwiththetitle“Abstract“inboldfont,followedbyaparagraphwithnormal10-pointfont.Donotcitereferencesintheabstract.Pleasedonotplaceorcitetablesandfiguresintheabstracteither.（ABSTRACT的内容字体TimeSNeWROman,字号10,最小值13磅）Keywords:Keywordsareyourowndesignatedkeywordsseparatedbycommas（,）.Keyword1,Keyword2,Keyword3,Keyword4.（关键词字体TimeSNeWRomat,字号H,倾斜,段前12磅,段后22磅最小值13磅）双栏的页面尺寸：页边距：上：2.54厘米，下：2.54厘米，左：2.12厘米，右2.12厘米纸张：A4大小，宽度21厘米，高度：29.7厘米，无网格分栏间距1.93字符1.FIRSTLEVELHEADING(HEAD1)(级标题字体TIMESNEWRoMAN,字号11.5,加粗，段后9磅，最小值12.05磅)Thebodytextstartswithastandardfirst-levelheadinglikeINTRODUCTIONoranyotherheadingsuitabletothecontentandcontext.Firstlevelheadingsareinallcaps.Copythecontentandreplaceitforotherfirst-levelheadingsinremainingtext.Referencecitationsshouldbewithinsquarebracket1.Headingsshouldalwaysbefollowedbytext.（正文内容字体TimesNewRoman,字号10,首行缩进0.51厘米，段后6磅，最小值12磅）Thistemplate,modifiedinMSWord2007andsavedasa“Word97-2003Documenf,forthePC,providesauthorswithmostoftheformattingspecificationsneededforpreparingelectronicversionsoftheirpapers.Allstandardpapercomponentshavebeenspecifiedtorthreereasons:(1)easeofusewhenformattingindividualpapers,(2)automaticcompliancetoelectronicrequirementsthatfacilitatetheconcurrentorlaterproductionofelectronicproducts,and(3)conformityofstylethroughoutaconferenceproceedings.7.7.SecondLevelHeading(Head2)(二级标题字体TimesNewRoman,字号11.5,加粗,倾斜,段前12磅,段后9磅,最小值12.05磅)First,confirmthatyouhavethecorrecttemplateforyourpapersize.ThistemplatehasbeentailoredforoutputontheA4papersize.Inthistemplate,the“Styles“menushouldbeusedtoformatyourtextifneeded.Highlightthetextyouwanttodesignatewithacertainstyle,andthenselecttheappropriatenameontheStylemenu.Thestylewilladjustyourfontsandlinespacing.Useitalicsforemphasis;donotunderline.ToinsertimagesinWord,positionthecursorattheinsertionpointandeitheruseInsertPictureFromFileorcopytheimagetotheWindowsclipboard.1.1.1.ThirdLevelHeading(Head3)(三级标题字体TimesNewRoman,字号1L5,倾斜,段前12磅,段后9磅)Headingsmaybenumberedorunnumbered(ttlIntroduction”and41.2Numberedlevel2head"),withnoendingpunctuation.Asdemonstratedinthisdocument,theinitialparagraphafteraheadingisnotindented.1.1.12FOUrthLeVelHeadin2(四级标题字体TimeSNeWROm字号五号,倾斜,加横线,段前12磅,段后9磅)Thisisafourthlevelheading.Youcanreplicateitwheresuitable.2. STYLEPALETTEStylescanbeappliedusingthestylepaletteavailablewithinthetemplate.ToactivateitthepressCtrl+Shift+s.Applythestyleasrequiredbasedonthecontentandcontext.(Pleasedon,thighlightyourtextinyellow.)3. MATHANDEQUATIONSScalarvariablesandphysicalconstantsshouldbeitalicized,andabold(non-italics)fontshouldbeusedforvectorsandmatrices.Donotitalicizesubscriptsunlesstheyarevariables.Equationsshouldbeeitherdisplay(withanumberinparentheses)orinline.Usethebuilt-inEquationEditororMathTypetoinsertcomplexequations.Displayequationsshouldbeflushleftandnumberedconsecutively,withequationnumbersinparenthesesandflushright.First,usetheequationeditortocreatetheequation.Then,selecttheequation,andsetthe“Equation”Style.Pressthetabkeyandtypetheequationnumberinparentheses.-b±Vb2-4ac2aBesurethesymbolsinyourequationhavebeendefinedbeforetheequationappearsorimmediatelyfollowing.Pleasereferto4fcEquation(I)Jnot"Eq.(1)”or"equation(1).”4. FIGURESANDTABLESFiguresandtablesshouldbeplacedeitheratthetoporbottomofthepageandclosetothetextreferringtothemifpossible.2kWV1-WWlkd1k6VFigure1Captioncontent.Thetitle“Figure”andthelabelshouldbeinbold.(图片标题字体TimesNewRoman,字号10,居中，段后8磅，多倍行距1.08)Forsmalltables,pleaseplaceitwithinacolumnandbiggertablebeplacedinatextframespanningtobothcolumns.UsetheTablefacilityavailablewithintheMSWord.Thefontintherowheadershouldbeboldandyoucanusethestyleavailablefromthestylepalette.Table1.Shortcutkeysforthetemplate(表格标题字体TimeSNeWRoman,字号1(),居中,段后6磅，多倍行距1.08)StylesShortcutsStylesShortcutsArticle-TitleAlt+AHead2Ctl+2Author-NameAlt+NHead3Ctl+3AffiliationAlt+LHead4Ctl+4CorrespondingAft+CListBuIIetAlt+UAbstractAlt+BListNumberedAlt+Ctl+NKeywordsAlt+KTablefootAlt+Ctl+FEquationAlt+EFigcaptionAlt+GParaAlt+PAcknowledgmentAlt+WHead1Ctl+1ReferencetitleAlt+TReferenceitemAlt+R表格里面的内容字体：AriallJnicodeMS,字号小五AUTHORS,CONTRIBUTIONS(字体TimesNewRoman,字号11.5,加粗，段前12磅，段后8磅)Thetitle,AUTHORS,CONTRIBUTIONS11shouldbeinallcaps.ACKNOWLEDGMENTS(字体TimeSNeWRoman,字号1L5,加粗，段前12磅，段后8磅)Thetitle"ACKNOWLEDGMENTS"shouldbeinallcapsandshouldbeplacedabovethereferences.Thereferencesshouldbeconsistentwithinthearticleandfollowthesamestyle.Listallthereferenceswithfulldetails.REFERENCES(字体TimesNewRoman,字号1L5,加粗，段前12磅，段后8磅)11E.M.Clarke,E.A.Emerson,Designandsynthesisofsynchronizationskeletonsusingbranchingtimetemporallogic,in:D.Kozen(Eds.),WorkshoponLogicsofPrograms,LectureNotesinComputerScience,vol.131,Springer,Berlin,Heidelberg,1981,pp.52-71.DOI:https:doi.org/10.1(X)7/BFboO257742 J.P.Queille,J.Sifakis,SpecificationandverificationofconcurrentsystemsinCESAR,in:M.Dezani-CiancagliniandU.Montanari(Eds.),Proceedingsofthe5thInternationalSymposiumonProgramming,LectureNotesinComputerScience,vol.137,Springer,Berlin,Heidelberg,1982,pp.337-351.DOI:https:/doi.org/10.1007/3-540-l1494-7_223 C.Baier,J-P.Katoen,PrinciplesofModelChecking,MITPress.2008.4 M.Kwiatkowska,G.Norman,D.Parker,Stochasticmodelchecking,in:M.Bemardo,J.Hillston(Eds.),ProceedingsoftheFormalMethodsfortheDesignofComputer.CommunicationandSoftwareSystems:PerformanceEvaluation(SFM),Springer,Berlin,Heidelberg,2007,pp.220-270.DOI:https:/doi.Org/l0.1007/978-3-540-72522-0.65 V.Forejt,M.Kwiatkowska,G.Norman,D.Parker,Automatedverificationtechniquesforprobabilisticsystems,in:M.Bemardo,V.Issamy(Eds.),ProceedingsoftheFormalMethodsforEternalNetworkedSoftwareSystems(SFM),Springer,Berlin,Heidelberg,2011,pp.53-113.DOI:https:/doi.org/10.1(X)7978-3-642-21455-4_36 G.D.Penna,B.Intrigila,I.Melatti,E.Tronci,M.V.Zilli,Boundedprobabilisticmodelcheckingwiththemuralphaverifier,in:A.J.Hu,A.K.Martin(Eds.),ProceedingsoftheFormalMethodsinComputer-AidedDesign,Springer,Berlin,Heidelberg,2004,pp.214-229.DOI:https:/doi.org/10.1007/978-3-540-30494-4_167 E.Clarke,O.Grumberg,S.Jha,etal.,Counterexample-guidedabstractionrefinement,in:E.A.Emerson,A.P.Sistla(Eds.),ComputerAidedVerification,Springer,Berlin,Heidelberg,2000,pp.154-169.DOI:https:/doi.org/10.1(X)7/10722167_158 H.Barringer,R.Kuiper,A.Pnueli,Nowyoumaycomposetemporallogicspecifications,in:ProceedingsoftheSixteenthAnnualACMSymposiumontheTheoryofComputing(STOC),ACM,1984,pp.51-63.DOI:hHDs:doi.org/l().1145/8(4X)57.8086659 A.Pnueli,Intransitionfromglobaltomodulartemporalreasoningaboutprograms,in:K.R.Api(Ed.),LogicsandModelsofConcurrentSystems,Springer,Berlin,Heidelberg,1984,pp.123-144.DOI:https:/doi.org/10.1007/978-3-642-82453-l510 B.Meyer,Applying"DesignbyConlracl",Computer25(10)(1992)40-51.DOI:hies:doi.o1110.U09/2.16127911 S.Bensalem,M.Bogza,A.Legay,T.H.Nguyen,J.Sifakis,R.Yan,Incrementalcomponent-basedconstructionandverificationusinginvariants,in:ProceedingsoftheConferenceonFormalMethodsinComputerAidedDesign(FMCAD),IEEEPress,Piscataway,NJ,2010,pp.257-256.12 H.Barringer.C.S.Pasareanu,D.Giannakopolou,Proofrulesforautomatedcompositionalverificationthroughlearning,inProc,ofthe2ndInternationalWorkshoponSpecificationandVerificationofComponentBasedSystems,2003.13 M.G.Bobaru,C.S.Pasareanu,D.Giannakopoulou,Automatedassume-guaranteereasoningbyabstractionrefinement,in:A.Gupta,S.Malik(Eds.),ProceedingsoftheComputerAidedVerification,Springer,Berlin,Heidelberg,2008,pp.135-148.DOI:https:doi.org/10.1007/9783540-70545-114(参考文献正文字体TimeSNewRoman,字号10,悬挂缩进07厘米，段前6磅,多倍行距1.08)