南京大学软件学院在职研究生

《南京大学软件学院在职研究生》由会员分享，可在线阅读，更多相关《南京大学软件学院在职研究生（30页珍藏版）》请在装配图网上搜索。

1、南京大学软件学院在职研究生论文撰写基本要求（格式）说 明* 说明页及其之前的“论文撰写基本要求（格式）”封面不是格式模板的正式内容，使用此格式模板写作，在提交正式论文时，请整体删除这两页。在使用被模板编辑论文的时候，请注意以下几点：(1) 请您使用Word 2003版本，不要使用更高版本的Word，否则将会造成很多排版效果与模板不一致。(2) 不要另建Word文件，请直接使用该格式模板，灵活使用标题(一级、二级、三级)复制、更名、格式刷等，保证格式正确。因为您自己另建word文件，仿照这些格式不可能做到严格正确，因此，强调必须直接使用学院论文模板！这也是达到该格式要求最省事的方法。(3) 在使

2、用该格式模板时，请不要破坏各一级标题之间的分节符、分页符和页眉，每个一级标题(不同分节)的页眉设置有变化(不一样)，作者可以根据自己论文的内容，双击相应的页眉并修改相应的标题。由于本院招收的在职研究生生源来自不同学科的较多，学业水平也存在较大差异，所以对论文要求的理解和撰写的格式也不尽相同。为了规范和达到学院对在职研究生论文的基本要求，特制定本格式模板供在职研究生在撰写论文时参考。论文写作和排版是一个辛苦活，排版质量代表作者的学术态度。请开始写作前认真并仔细研读此格式模板，若不按此格式模板要求写作者，学院拒绝审核，并不安排答辩。17 / 30文档可自由编辑打印研 究 生 毕 业 论 文（申请工

3、程硕士学位）说明：1) 不要另建word文件，请直接使用该格式模板，灵活使用标题(一级、二级、三级)复制、更名、格式刷等，保证格式正确。同类格式要素可以采用复制或者格式刷的方式统一格式。因为您自己另建word文件，仿照这些格式不可能做到严格正确，因此，强调必须直接使用学院论文模板！2) 本模板对各排版要点使用批注进行了说明，在你的论文排版完成之后，请删除各项批注。论文题目 作者姓名学科、专业名称研究方向指导教师20年 月 日学 号： MG0932088论文答辩日期： 年 月 日指 导 教 师：此页“指导老师”签字为手签，排版时空着。 （签字）在线点餐系统的设计与实现作 者:指导教师:XX大学研

4、究生毕业论文(申请工程硕士学位)xx大学软件学院20年月请根据自己的实际情况更改日期。The Design and Implementation of online booking systemZhang, SanSubmitted in partial fulfillment of the requirements for the degree of Master of EngineeringSupervised byProfessor Software Institute UNIVERSITYNanjing, ChinaJune, 2011请根据自己的实际情况更改日期。与中文日期一致。摘

5、要1) 摘要前插入分节符，从摘要开始至目录页末尾使用罗马数字编排页码。摘要前不编排页码。2) 虚线矩形框内的文字表示写作说明和要求。在理解了这些诶写作说明和要求之后，使用模板时，请删除该虚线矩形框。3) 从中文摘要开始需要设置页眉，之前没有页眉，且请仔细留意各段(章)的页眉设置变化，为了达到各段(章)页眉变化，需要段(章)标题前插入分节符，并设置不同节的页眉不一样。请认真熟悉Word的页眉设置技巧。摘要的写作要领：摘要是整篇论文的浓缩，需要通过摘要告诉读者，本文做了一件什么工作，并需要简要说明：1) 为什么要做这件工作，简述其中的背景与意义；2) 用什么方法或者技术做这个工作，并简述为什么选择

6、这些方法和技术；3) 做出来之后最终的效果与结果如何。范例如下：随着我们国家信息化水平的不断提高，传统餐饮行业的服务流程也正在不断优化。便宜坊餐饮集团作为成立近600年的餐饮品牌，现在全国已有30家门店，建立一套统一的在线点餐系统，可以提升顾客的就餐体验，方便顾客预订就餐，同时也可以提升集团的运营效率，为集团积累顾客消费的大数据资源，实现传统餐饮行业的电商转型。因此，我们开发了基于B/S模式的便宜坊在线点餐系统。该在线点餐系统采用J2EE体系结构，采用标准的三层架构，使用了MVC模式的设计思想，结合了 Spring、Struts、Hibernate等先进的技术方法。段前距0.5行。注：摘要内容

7、，建议写一页篇幅。 可以考虑写成4段左右： 本文研究的问题（这是一个有趣的问题，是一个还没有得到很好解决的问题）； 本文对那些研究背景（最好是与业务方案有关，而不是.NET或J2EE）进行了综述； 本文提出或设计了什么方案，该方案具体是什么； 本文的方案的contribution，有什么优点，可以用于那些应用场合，有无实验数据支撑自己的方案关键词必须有中文关键词：MVC模式、Struts框架、Spring框架、Hibernate框架AbstractWith the rapid development of computer information technology, the office

8、information system of government is developing rapidly. The building of the information system of the Letters and Visits is very important work for comprehensive management of social security.The information system of the Letters and Visits realized to reflect social instability occurs timely and ac

9、curately, to collect information unitedly, it helps to provide an accurate basis for scientific decision making for leaders.格式：Arial字体，五号，1.5行距。英文摘要要认真检查语法。The old management of the Letters and Visits in a government department of Guangzhou mainly transfers case through paper files or the bureau inf

10、ormation platform of government,case acceptance and registration are all done by hand, the network of the Letters and Visits is not established in all districts,inefficiency,and communication cost is very high.Therefore,we develop the information system of Guangzhou Letters and Visits(GLVIS) on B/S

11、design pattern.The GLVIS uses J2EE and standard three-tier architecture,it adopts MVC pattern for designing and some advanced technologies,such as Spring,Struts,Hibernate etc.Keywords对照必须有英文keywords：MVC, Spring, Struts, Hibernate 目 录目录自动生成，参照此模板，使用插入替换法法写好正文之后，可以选中目录区域，右键菜单更新域，即可获得新的目录。检查新目录，消除自动生成目

12、录中不正确的行。摘 要IAbstractII图目录V表目录VI第一章 引言11.1 项目背景11.2 国内在线点餐的发展概况11.3 本文主要研究的工作11.3.1 可补充三级标题21.3.x 可补充三级标题21.x 可补充二级标题21.5 本文的组织结构 2第二章 技术综述32.1 MVC模式32.2 Struts42.2.1 可补充三级标题42.2.x 可补充三级标题42.x 可补充二级标题42.4 本章小结4第三章 在线点餐系统的分析与设计53.1项目总体规划53.2 系统需求分析63.3系统总体设计与模块设计63.3.1总体结构63.3.x可补充三级标题63.x 可补充二级标题63.5

13、 本章小结6第四章 在线点餐系统的实现74.1个人导航的实现74.1.1个人工作台的实现74.1.2延期审核的实现74.1.x可补充三级标题94.2订单管理94.2.1订单生成94.2.2订单查询94.2.x可补充三级标题94.3 统计分析94.x 可补充二级标题94.5 本章小结9第五章 总结与展望105.1 总结105.2 进一步工作展望10参 考 文 献11致 谢13附 录14参 与 项 目15版权及论文原创性说明16图目录图目录可以自动生成，请保证每幅图的图名与图序号一行文字的样式正确，这样就能确保所列图名与图序号能够正确进入自动生成的图目录。如果发现某个图的图名和图序号没有进入目录，

14、可以使用格式刷，把进入目录的样式传递到没有进入目录的图名和图序号上。图3.1系统总体结构6图4.1 MyWorkController类代码8表目录表目录可以自动生成，请保证每张表的表名与表序号一行文字的样式正确，这样就能确保所列表名与表序号能够正确进入自动生成的表目录。如果发现某张表的表名和表序号没有进入目录，可以使用格式刷，把进入目录的样式传递到没有进入目录的表名和表序号上。表 4.1个人工作台模块主要类7第一章 引言1） 格式为：标题1+黑体，二号字体。每章一级标题的标题格式类似。2） 第一章之前从从中文摘要到目录页，使用罗马数字编排页码，从第一章往后使用阿拉伯数字编排页码。3） 在第一章

15、标题另起一页，插入分节符和分页符。菜单操作：插入分隔符对话框中选择下面的“分节符类型”-“下一页”。4） 每一章都使用了分节符，在插入页眉的时候必须区分不同章的页眉不一样。页眉的格式：左侧为“南京大学硕士论文”，右侧为“本章章序号与标题”1.1 项目背景第一章 绪论/引言, 讲述做什么(约5页)，为什么要做这个研究工作，做这个工作的大背景和小背景各是什么，做了这个工作有什么具体的意义，在做这个研究工作的过程中会遇到哪些问题。 在本章中要说明： 本文的项目的整体背景 所要解决的问题 选题意义 本文的解决方案 本文的主要工作 本文的结构 写作本部分时必须加入参考文献的引用。 建议大约5页左右。1.

16、2 国内在线点餐的发展概况1.3 本文主要研究的工作本文所研究的在线点餐系统，是一个延伸到各个餐饮门店的网络系统；是覆盖下单、交易、支付的餐饮网上运营系统；是能够实现用户信息采集、用户身份识别、用户消费行为习惯分析的用户管理系统。(省略段落)结合上述用户的需求，在线点餐系统采用J2EE体系结构，采用MVC模式的设计思想，结合了Spring + Struts +Hibernate三种框架，在线点餐系统的展现层利用缓存、多线程机制和Ajax异步技术，提高了JSP页面的响应速度。应用Spring的IOC（依赖注入）和AOP（面向方面编程）实现业务模块化。安全方面采用Spring框架中的Acegi实现

17、访问控制，并对于一些重要的数据采取加密存储的方式。使用JavaBean实现各层之间传递数据。在系统稳定性方面，主要依靠稳妥的数据采集层和良好的数据库结构设计徐明华, 2009注意正确使用参考文献的标法，格式为：作者名，年份，如果同一作者同一年份有多篇文献，请在年份后加a、b字母后缀区分。例如，张三，2002a，张三2002b。1.3.1 可补充三级标题1.3.x 可补充三级标题1.x 可补充二级标题 1) 该论文排版时以三级标题(目录)展开，且最小的标题目录只能到三级，即不允许出现类似1.3.1.1的四级标题(目录)。如果遇到需要设置类似四级标题，请不要给出标题的章节四级编码，使用四号字体黑体

18、标记，且该类标题不列入自动生成的目录。2) 如果你需要增加一级目录(即章标题)请整行复制章标题格式，以保证得到的章标题符合一级标题格式，如果出现格式差错，请使用格式刷将其调整正确，并在章标题前插入分节符，设置该章的页眉。3) 如果需要增加二级、三级标题目录，请整行复制二级、三级标题，并灵活使用格式刷保持格式正确。1.5 本文的组织结构 注：在第一章最后一节必须清晰的陈述后续各章的主要内容。本文的组织结构如下：第一章 引言部分。介绍了项目背景，国内在该方向的研究现状。第二章 技术综述。将项目所要涉及的技术和框架做了介绍，包括MVC、Spring、Hibernate、Struts。第三章 在线点餐

19、系统的分析与设计。提出项目基本需求，并对项目总体设计思路进行了概述，对项目模块进行了划分、对系统数据结构进行了设计。第四章 在线点餐系统的具体实现。在需求分析的基础上，重点阐述了项目个人导航模块、订单管理模块、统计分析模块的实现细节。第五章 总结与展望。总结论文期间所做的工作，并且就该在线点餐系统的未来扩展作了进一步展望简述各章的内容梗概。第二章 技术综述此处为一级标题，为了达到各段(章)页眉变化，需要段(章)标题前插入分节符、分页符，并设置不同节的页眉不一样。请认真熟悉Word的页眉设置技巧。2.1 MVC模式同之前的二级标题。正文部分：小四字体，1.5倍行距。第二章 技术综述，陈述用什么做

20、。针对第一章所分析的问题，应该采用哪些方法，列出国际国内所采用的一些相关方法与技术，论述作者对于这个问题的思考与分析，论述技术选型的理由，引出本文的技术方案（约515页）。 本论文中解决的问题可能的解决方案，使用到的技术、原理的概述。比如：工作流模型，某嵌入式芯片等。 可以分为两章，也可以为一章。如果为两章，建议其中一章为主体技术，另一章为其它相关技术。相关技术写作中不要使用到过多与自己工作无关的细节技术。写作时应当考虑到与以后几章的衔接。写作本部分时必须加入参考文献的引用。 提到的技术必须在论文的后续章节得到真正应用。 请不要将业界共有的知识内容（大学本科教学内容或其它人所共知的知识）放入本

21、章。 大约5-15页。 本部分和第一章请尤其注意避免抄袭。 抄袭：原封不动的使用网站、书籍、论文中的文字和图片。除非加双引号并加入引用，否者均会被视为抄袭。 请按照论文的内容需要和行文风格分析、概述所需引用的知识内容。 学校将通过论文自动比对系统检查学位论文。MVC模式为模型-视图-控制器即Model-View-Controller的英文缩写。MVC模式由模型、视图、控制器三个部分组成。模型层Model用来实现系统的业务逻辑，一般用JavaBean或EJB实现。视图层View主要负责系统的用户交互，一般用JSP实现。控制层Controller实现了Model层与View层之间的信息交互，将用户

22、的请求以适当的视图显示，并且将用户的输入转化为Model可执行的操作。MVC模式将模型、视图、控制器进行了分离，这样一个模型可以显示多个视图，当用户改变了Model的数据，则所有依赖该Model的View都会反映出这些变化。作为一种架构模式，MVC需要和另外的模式结合起来使用飞思科技, 2004注意正确使用参考文献的标法，格式为：作者名，年份，如果同一作者同一年份有多篇文献，请在年份后加a、b字母后缀区分。例如，张三，2002a，张三2002b。2.2 Struts下面的篇幅省略，作者根据自己的论文采用与上文类似的方式排版。2.2.1 可补充三级标题2.2.x 可补充三级标题2.x 可补充二级

23、标题4) 该论文排版时以三级标题(目录)展开，且最小的标题目录只能到三级，即不允许出现类似1.3.1.1的四级标题(目录)。如果遇到需要设置类似四级标题，请不要给出标题的章节四级编码，使用四号字体黑体标记，且该类标题不列入自动生成的目录。5) 如果你需要增加一级标题(目录，即章标题)请整行复制章标题格式，以保证得到的章标题符合一级标题格式，如果出现格式差错，请使用格式刷将其调整正确，并在章标题前插入分节符，设置该章的页眉。如果需要增加二级、三级标题目录，请整行复制二级、三级标题，并灵活使用格式刷保持格式正确。2.4 本章小结1) 每章结尾段，需要有一个简短的本章小结，言简意赅。2) 每章之后另

24、起一页，不要使用空行控制分页，请数量使用分页符控制分页。第三章 在线点餐系统的分析与设计此处为一级标题，为了达到各段(章)页眉变化，需要段(章)标题前插入分节符、分页符，并设置不同节的页眉不一样。请认真熟悉Word的页眉设置技巧。第三章, 需求分析与设计，本项目或者系统有哪些共性与特点，需求是什么，怎么设计，详细方案，包括一些分析图和设计图（项目需求68页，分析与设计约15页，合计约23页）。当然，可以从功能性需求的角度论述，系统分为哪些模块，各个模块的具体需求与设计细节，以及模块之间的联系，也可以从非功能性需求的角度论述，非功能性需求包含哪些方面，需要做哪些特殊的设计。 本章为系统解决方案设

25、计，是论文写作重点。 1、给出研究或要解决的具体需求。 应该尽可能的具体，给出详细和明确的描述。 建议使用软件工程表示方法进行规范描述，比如分成功能性需求和非功能性需求；使用用例图或其它软件需求表示方法来表达项目需求。 如果没有特色，尽量少写非功能性需求，如安全和性能方面的需求。 2、解决问题的总体方案。建议将解决方案内容组成图，系统边界图，模块架构图（各模块之间关联），分层图（各层之间耦合关系），可以增加流程图。这部分作为一节总述。数据库设计. 本部分应结合软件设计方案和业务逻辑，不应该完全偏重某一方。 本部分应描述总体结构，每个部分参与者的功能（不用涉及细节，放在后面章节），以及各部分之间

26、的相互协作。 3、详细描述相关的模块，每个模块可以作为一节。关键模块、以及模块间交互等 每一节描述本部分功能和详细设计方案。 每一个部分都应当考虑自己方案的合理性，并进行说明。不光要说明是如何设计的，还应该说明为什么自己的设计是合理的。 4、设计小结。 5、本章描述中应该使用软件工程设计时使用的表示法，比如核心类图和顺序图等，以求规范、专业的描述系统设计。 建议不要少于20页。3.1项目总体规划本系统由业务处理、统计分析、知识库、系统配置四大部分组成。其中，业务处理是系统的核心部分，由它完成从受理到结案的一系列业务动作；统计分析是在业务数据的基础上，进行相关的统计和决策分析；知识库则表现在对相

27、关业务处理知识的积累；系统配置体现在数据设置、安全管理方面，为整个系统的正常运行提供必要的支撑服务。下面的篇幅省略，作者根据自己的论文采用与上文类似的方式排版。.3.2 系统需求分析3.3系统总体设计与模块设计3.3.1总体结构图3.1系统总体结构说明：1) 给插图编号使用二级编码“图x.y”，x表示该图所在章号，y表示该图在该章中出现序号。除界面图以外的插图,原则上不得使用截屏方式。2) 插图的幅面如果超过A4页面竖排的宽度,将插图向左旋转90度。3) 每幅图必须有图序号与图名，并且图序号位于图的下方。且在正文必须有关于每幅图的文字描述，即必须有类似“如图x.y所示”的文字。4) 图居中对齐

28、，图名与图序号居中对齐。5) 在遇到图的篇幅过大的情况时，需要缩小图的篇幅或者调整图与上下文的位置，使得版面紧凑，以免在页面的下方留下太大篇幅的空白。图中文字一般与正文段落的文字相当，为小四(12磅),需特别标识和强调的标题文字可以略大。如图3.11) “如图x.y所示”的字样可以置于图的上方，也可以置于图的下方，可以根据排版(特别是消除页面下方留白)的需要灵活调整。2) 数据图、结构图、流程图等必须使用微软公司的visio软件绘制清晰的矢量图，图中文字必须保持清晰。界面图在截图时请可能的提高分辨率，保证界面中的文字清晰。 绘图时请保证图中图元的间距紧凑合理、对齐、美观、简洁。所示，信访维稳系

29、统主要由信访业务模块、统计分析模块、资源维护模块、知识库模块、后台配置管理模块组成。3.3.x可补充三级标题3.x 可补充二级标题3.5 本章小结第四章 在线点餐系统的实现此处为一级标题，为了达到各段(章)页眉变化，需要段(章)标题前插入分节符、分页符，并设置不同节的页眉不一样。请认真熟悉Word的页眉设置技巧。第四章, 实现。根据第三章的分析与设计，在细节上论述是如何实现的，包括一些算法流程图、程序代码（或者伪代码）和界面截图等（约15页），也可以提供一些性能测试的数据等论证系统实现之后的运行效果。不用将所有实现列在论文中，选择系统的重点和难点部分给出实现细节。不要给出登陆设计等细节。单一代

30、码长度一般不要超过1页。太复杂的代码可以使用伪码。要和背景技术匹配。请注意代码排版美观。对代码必须要有详根据系统情况，可以给出系统的实现界面，但不用给出所有界面。可以考虑以某一应用场景为线索给出。给出界面的同时应该给出相应说明。给出每个模块的实现界面。如果有相关测试结果，可以给出。如果有使用的评估数据，可以给出。细的说明，而不仅仅是代码的黏贴。4.1个人导航的实现4.1.1个人工作台的实现（省略）.主要包含的类如表4.1所示：表 4.1个人工作台模块主要类每张表都要有表名和表序，表序为表x.y，x表示该表位于第x章，y表示该表是第x章的第y张表。且位于表的上方。表中的段落设置1.25倍行距。分

31、类主要包含的类控制类MyWorkController.java服务类MyWorkExtServiceImp.java4.1.2延期审核的实现（省略）.使用MyWorkController类，实现返回所有需要办理的工作列表，相关代码如图4.1所示：public String signAndUnsignList() throws Exception String resultStr = SIGN_UNSIGN_LIST_RESULT;Loginer loginer = this.getLoginer();Page page = null;CriteriaSetup criStp = new Cri

32、teriaSetup();try /设置界面不分页 this.ecLimit = ExtremeTablePage.getLimit(this.getHttpServletRequest(), 999999);page = this.myWorkextSvc.FindTasksOfActorId(loginer, new Long(ProcessVariable.JBPM_FLOW_TASK_ONLINE), this.ecLimit, criStp); catch (Exception ex) Log.debug(ex);throw new SysException(SysExcepType

33、.BUG_UNKNOWN_RUNTIME_EXCEPTION, ex);List list = page.getResult();/排序Comparator comp = new Comparator()public int compare(Object o1,Object o2) TaskBillVO v1=(TaskBillVO)o1; TaskBillVO v2=(TaskBillVO)o2;if(v1.getDuration()=null | v1.getDuration().equals() | v1.getDuration().equals(null) & (v2.getDurat

34、ion()!=null & !v2.getDuration().equals() & !v2.getDuration().equals(null)return 1;else if(v2.getDuration()=null | v2.getDuration().equals() | v2.getDuration().equals(null) & (v1.getDuration()!=null & !v1.getDuration().equals() & !v1.getDuration().equals(null)return 0;else return 1; ; Collections.sor

35、t(list,comp);this.setTaskbillVOs(list);getCaseNum(list);this.getHttpServletRequest().setAttribute(totalRows, page.getTotalCount();return resultStr;图4.1 MyWorkController类代码代码行格式：1) 使用Word的菜单：表格插入表格，使用1行*1列的表格框，将代码行贴入表格中，段落行距单倍，字体五号。代码行的表格下方必须标注图名与图序号。 2) 代码行原则上不宜过长，不宜超出一页，如果过长，可以省略其中的部分代码行，可以使用注释，可以使

36、用伪代码等。3) 代码行中必须附加必要的注释，且必须调整好缩进，左靠齐。4) 1行*1列表格框中的代码行段落设置“单倍行距”，五号字体。4.1.x可补充三级标题4.2订单管理4.2.1订单生成4.2.2订单查询4.2.x可补充三级标题4.3 统计分析4.x 可补充二级标题4.5 本章小结第五章 总结与展望此处为一级标题，为了达到各段(章)页眉变化，需要段(章)标题前插入分节符、分页符，并设置不同节的页眉不一样。请认真熟悉Word的页眉设置技巧。第五章，总结与展望(含进一步工作展望，12页)。总结部分应该简明陈述本文使用某项技术实现了某个系统。进一步工作展望部分简明陈述，当前工作还存在哪些不足，

37、进一步工作的方向等等。注意不要写自己项目中的学习心得体会。描述本文的工作背景、所做工作、研究贡献等。对于自己所做工作、研究贡献最好按条列出，便于别人了解。可以按照以下逻辑进行：1、本文综述了哪些理论。2、本文针对一个问题设计了一个解决方案：该方案包含以下部分.3、本方案取得了.效果本文的进一步工作。可以分为业务、技术。5.1 总结正文部分：小四字体，1.5倍行距。5.2 进一步工作展望参 考 文 献一级标题，插入分节符、分页符。参考文献中的每一篇文献在正文必须出现标引。徐明华,2009徐明华，Java Web整合开发与项目实战JSP、Ajax、Struts、Hibernate，北京：人民邮电出

38、版，2009。文献格式：1) 文献的索引采用格式 作者名，年份。特别提醒，不是x的简单序号形式！2) 菜单：格式段落缩进与行间距特殊格式选择“首行缩进”10字符。3) 参考文献的段落采用1.5行距，小四字体。4) 英文文献在前，中文文献在后，英文文献以作者姓氏的字母为序，中文文献以作者姓氏的拼音为序排列。5) 本条目只是书或者教材文献样例。更详细的各种参考文献格式要求，请参考下文样例。飞思科技,2004飞思科技产品研发中心,JSP应用开发详解，第二版，北京：电子工业出版社，2004。张三, 2002a张三，文章名称1，期刊名1，期刊期号1，2002(年份)。张三, 2002b张三，文章名称2，

39、期刊名2，期刊期号2，2002(年份)。如果同一作者同一年份有多篇文献，请在年份后加a、b字母后缀区分。例如，张三，2002a，张三2002b参考文献的前置标识采用作者加年份的方式,中文文献与英文文献分开排序,中文文献按照作者名的拼音字母顺序排列, 英文文献按照作者名的字母顺序排列,中文文献排在英文文献的前面,正文中引用文献时需写出文献的前置标识。参考文献的段落设置采用首行缩进10字符。第1类、专著著录格式 (含教材，专著，标准等)析出文献责任者，其他责任者，书名(斜体)，版本，出版地：出版者，出版年. 例：Clarke et al., 1991E. M. Clarke英文文献作者名的写法：F

40、irst name和中间名采用首字母缩写，Last Name 使用全拼，放置在First name 后面，多个作者之间使用逗号格开，最后两个作者名之间使用and链接, 书名使用斜体。, O. Grumberg, and D. A. Peled, Model Checking书名(斜体), Cambridge: MIT Press, 2001.IEEE, 1991IEEE, IEEE Standard 829-1991: Standard for Software Test Documentation书名(斜体), New York: IEEE Press, 1991.徐家福等, 1992 徐家

41、福，王志坚，翟成祥，对象式程序设计语言书名(斜体)，南京：南京大学出版社，1992。第2类、 期刊中析出的文献著录格式 (Journals or Magazines)析出文献责任者，析出文献其他责任者，析出题名，期刊名(斜体)，年份，卷号，期号，页码。例：Hoare, 1969C. A. R. Hoare, An Axiomatic Basis for Computer Programming, Communication of ACM期刊名(斜体), 1969, 12(10): 576583. 任丰原, 2003任丰原，黄海宁，林闯，无线传感器网络，软件学报期刊名(斜体)，2003， 14(

42、7):1282-1291。第3类、会议论文集的单篇文献中析出的文献著录格式 (Proceedings)析出文献责任者，析出文献其他责任者，析出题名，会议论文集名称(斜体)，页码，出版者，年份。例：Jagadeesan, 1997L. J. Jagadeesan, A. A. Porter, C. Puchol, J. C. Ramming, and L. G. Votta, Specification-based Testing of Reactive Software: Tools and Experiments, In Proceedings of International Confer

43、ence on Software Engineering (ICSE1997)会议论文集名称(斜体), pages 525535, 1997. 彭龙根, 2006彭龙根，吴志兵，陈忠平，基于分布式中间件的传感器网络软件体系结构研究，2006年全国软件与应用学术会议(NASAC2006)会议论文集名称(斜体)，计算机工程与科学，2006，28(z2): 6-8. 第4类、技术报告中析出的文献著录格式 (Technical Reports)析出文献责任者，析出文献其他责任者，技术报告题名(斜体)，大学院系或者研究机构名称, 技术报告编号,年份。例：Milner et al., 1986R. Mil

44、ner, J. Parrow and D. Walker，A Calculus of Mobile Processes技术报告题名(斜体), Laboratory for Foundations of Computer Sciences (Part 1 & 2), University of Edinburgh, ECS-LFCS-89-85 and ECS-LFCS-89-86, 1986. 吕建等, 2003吕建，陶先平，马晓星等，基于Agent的多模式软件协同技术研究技术报告题名(斜体)，技术报告，南京大学计算机软件研究所，2003。第5类、学位论文中析出的文献著录格式 (Theses

45、or Dissertations)析出文献责任者，析出文献其他责任者，学位论文题名(斜体)，大学院系或者研究机构名称，年份。例：Ballarini, 2004P. Ballarini, Towards compositional CSL model-checking学位论文题名(斜体), PhD thesis, Laboratory for Foundations of Computer Sciences, University of Edinburgh, 2004. 黄罡, 2003黄罡，反射式软件中间件原理与技术研究学位论文题名(斜体)，博士论文，北京大学信息科学技术学院，2003。第6类

46、、网站URL中析出的文献著录格式析出URL，网站主题简介，维护人或者公司。例：Spin, 2000, Spin Model Checker maintained by G. J. Holzmann, 2000.致 谢一级标题，插入分节符、分页符。首先感谢自己的指导老师，感谢与本文相关的其他工作人员，感谢他们在本文工作过程中提供的帮助与鼓励。附 录一级标题，插入分节符、分页符。非必须成分。列出与本文内容相关的附录文档，一般为篇幅较长的技术规范或者数据表。如果没有，请整页删除。参 与 项 目一级标题，插入分节符、分页符。非必须成分。列出在攻读硕士论文期间参与的项目，如果没有，请整页删除。版权及论文原创性说明任何收存和保管本论文的单位和个人，未经作者本人授权，不得将本论文转借他人并复印、抄录、拍照或以任何方式传播，否则，引起有碍作者著作权益的问题，将可能承担法律责任。本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不包含其他个人或集体已经发表或撰写的作品成果。本文所引用的重要文献，均已在文中以明确方式标明。本声明的法律结果由本人承担。 作者签名此页的“作者签名”为手签，排版时空着。： 日期： 年 月 日