《厦门大学软件学院2010届《毕业实习与毕业设计（论文）》要求》由会员分享，可在线阅读，更多相关《厦门大学软件学院2010届《毕业实习与毕业设计（论文）》要求（24页珍藏版）》请在金锄头文库上搜索。
1、厦门大学软件学院2010届毕业实习与毕业设计（论文）要求软件工程专业的毕业实习与毕业设计（论文）是理论与实际相结合的重要环节，由学院教师或企业中经过学院审核的资深技术人员或业务主管负责指导，由学院指定教师负责监督和管理。毕业实习与毕业设计（论文）主要分为“工程项目技术报告类”和“研究类”两种形式，所撰写的技术报告或研究类论文应围绕正在进行的软件工程实践的主题展开。1 学位论文要求论文选题一般应直接来源于企事业单位，具有明确的应用背景和实用价值，同时应具有先进性、一定的技术难度和工作量，能体现学生综合运用科学理论、方法和技术手段解决工程实际问题的能力。技术报告类论文1. 要求有一定的工程应用背景
2、和项目效益分析；2. 突出以解决实际工程问题为宗旨。在实际的工程环境下，能综合应用相关领域的理论、方法和技术手段，遵循软件过程管理规范；3 .提交阶段性成果（如：可行性分析报告、项目整体计划、项目阶段实施计划、需求分析文档、分析与设计文档等）和最终的总结报告；4 . 技术报告内容完整，书写规范，软件文档俱全；5论文格式按照厦门大学本科毕业论文规范执行。研究类论文 1. 对所研究的工程项目的理论、方法和技术途径有较全面、较深入的了解，并有一定的独到见解；2. 应突出以解决实际工程问题为宗旨，针对所研究的工程问题，能综合应用相关领域的理论、方法和技术手段，遵循软件过程管理规范，提出或实现既新颖又有
3、价值的解决途径或分析结论； 3. 应有工程实践、实验或仿真，给以佐证；4. 应具有较明显的经济效益和社会效益，促进企业的技术进步；5. 论文结构合理，逻辑性强，层次清楚，论据充分；6. 论文格式按照厦门大学本科毕业论文规范执行。2、毕业实习与毕业设计（论文）评审与答辩毕业实习与毕业设计（论文）的评阅着重审核学生综合运用科学理论、方法和技术手段解决工程实际问题的能力；审核论文工作的技术难度和工作量；审核其解决工程实际问题的新思想、新方法和新进展；审核其新技术和新设计的先进性和实用性；审核其创造的经济效益和社会效益。每位学生必须通过由学院组织的毕业设计（论文）答辩，答辩时学生采用PowerPoin
4、t对论文的主要内容进行报告，同时对所完成的软件系统进行演示，时间为20-30分钟。由答辩小组按优、良、及格、不及格四个等级评定成绩，不及格者，不能毕业。3、时间安排(1).2009年11月16日-2010年6月5日：学生参加毕业实习与毕业设计（论文），在2010年1月11日前完成毕业设计（论文）的开题报告，交指导教师，并由指导教师签署意见后上交学院；2010年3月19日前提交毕业设计（论文）的中期检查报告；2010年5月24日前撰写好毕业设计（论文），交指导教师；(2).2010年6月8日6月10日：学院组织举行毕业设计（论文）公开答辩。4、附件附件一：厦门大学软件学院本科毕业论文封面格式要求
5、附件二：厦门大学软件学院本科毕业论文中英文摘要示例附件三：厦门大学软件学院本科毕业设计（论文）开题报告 附件四：厦门大学软件学院本科毕业设计（论文）中期检查报告 附件五：厦门大学软件学院本科毕业设计（论文）任务书 附件六：厦门大学软件学院本科毕业设计（论文）分阶段进度安排 附件七：厦门大学软件学院本科毕业设计（论文）教师分阶段指导记录 附件八：厦门大学软件学院本科毕业设计（论文）评分表 附件九：厦门大学软件学院本科毕业论文格式规范 附件十：厦门大学本科毕业论文数据库字段要求 附件十一：教育部办公厅关于加强普通高等学校毕业设计（论文）工作的通知软件学院2009年11月附件一：（注：此封面用于在校
6、外做毕业设计的论文）（宋体小2号加粗）（黑体2号加粗）本 科 毕 业 论 文面向非结构化企业指标信息的智能处理和可视分析Indicators of the Unstructured Enterprise Information for Intelligence Processing and Visualization（Times New Roman 3号加粗）姓 名：XXX 学 号：XXXXXXXX学院：软件学院系：软件工程（宋体3号）专 业：软件工程年 级：200X级校外指导教师：XXX(姓名)XXX(职称)校内指导教师：XXX(姓名)XXX(职称)姓名与职称间留1个全角空格（宋体4号加粗）
7、二一 年 六 月（注：此封面用于在校内做毕业设计的论文）（宋体小2号加粗）（黑体2号加粗）本 科 毕 业 论 文面向非结构化企业指标信息的智能处理和可视分析Indicators of the Unstructured Enterprise Information for Intelligence Processing and Visualization（Times New Roman 3号加粗）姓 名：XXX 学 号：XXXXXXXX学院：软件学院系：软件工程（宋体3号）专 业：软件工程年 级：200X级指导教师：XXX(姓名) XXX(职称)姓名与职称间留1个全角空格二一 年 六 月（宋体4
8、号加粗）附件二：中英文摘要示例黑体小3号加粗，居中，“摘要”两字中间留1个全角空格摘要宋体小4号基于模型诊断是近年来兴起的一项新的诊断技术，它克服了传统诊断技术的一些缺陷，因而能获得更好的效果。但是在目前已有的诊断系统中，一般都默认其有完备而可靠的模型，这在实际中却常常无法实现，因而造成诊断理论与现实过程的脱节。本文在目前已知的对待诊断设备的可靠描述之外，提出了可加入一部分假设性信息作为对无法完备模型的补充，并且这些假设采用了从规范缺省理论中的规则转化而成的公式形式。这些假设将加入到可以肯定为真的对待诊断设备的已知可靠描述中，形成对设备的新描述，并在新描述的基础上进行推断得出诊断结果。这样做的
9、目的在于希望加上可修正的假设后，能缩小最终的诊断结果空间。本文进一步给出了在加入这些假设后诊断系统的相关基本概念，包括含缺省约束的基于模型诊断、最小诊断、部分诊断、中心诊断、蕴含、蕴含式及本原蕴含等等。在此基础上，对于新提出的含缺省约束的基于模型诊断给出了描述诊断空间的不同方法，即分别用最小诊断和中心诊断的方法来刻画新系统的诊断空间。本文同时指出，在含缺省约束的基于模型诊断系统中，最小诊断的错误部件集的超集仍旧构成诊断的充要条件是该系统的所有冲突均为正冲突。黑体小4号加粗，顶格宋体小4号，关键词间用分号分隔另外，本文还给出了对于含缺省约束的最小诊断和中心诊断的刻画方法，其中还包括两种刻画含缺省
10、约束的中心诊断的方法及其比较。这两种方法提出了含缺省约束的中心诊断与缺省本原蕴含/蕴含式的直接关系，并指出了这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断刻画的一般化情形，从而将理论与实现联系了起来。关键词：含缺省假设的诊断问题；基于模型的中心诊断；缺省本原蕴含/蕴含式AbstractTimes New Roman小4号Times New Roman小3号加粗，居中Model-based diagnosis was a rising technology for diagnosis in recent years. It covered some disadvantages of t
11、he traditional diagnosis and gets better results. But a complete and sound model was considered as default in model-based diagnosis systems, and such a criteria was often difficult to reach in practice, which disconnected the diagnosis theory and reality.This paper added some assumptions into the so
12、und descriptions of the device to be diagnosed as a supplement of the incomplete model, and all the assumptions were described by formulae transformed from default rules of normal default theory. These assumptions with the sound descriptions of the device that were sure to be true formed a new descr
13、iption of the device to be diagnosed. The diagnosis was concluded from the new descriptions. The aim of such a practice is to shrink the diagnosis result set by adding the assumptions.The basic concepts of the diagnosis system with some new assumptions were also listed including model-based diagnosi
14、s with default assumptions, minimal diagnosis, partial diagnosis, kernel diagnosis, implicant, implicate and prime implicant, etc. And the paper showed different methods to characterize the new diagnosis system which were minimal diagnosis and kernel diagnosis respectively. Times New Roman小4号加粗，顶格Ti
15、mes New Roman小4号，关键词间以分号分隔And this paper also characterized the minimal diagnosis and kernel diagnosis, including two methods for kernel diagnosis and their compare. The methods showed of the straight link between model-based diagnosis and the prime implicants / implicates in this assumption-added model-based diagnosis system. In the end, this paper indicates that the link is the gen
