计算机软件与理论(081202)

宁夏大学攻读硕士学位研究生培养方案 计算机软件与理论 计算机软件与理论 081202 一 学科简介一 学科简介 计算机软件与理论专业涉及计算机科学与技术的基本理论和方法 强调计 算 算法 软件 设计等概念 主要的领域包括计算理论 算法与复杂性 系 统软件 软件自动化 程序设计语言 软件设计与理论 数据库系统 软件工 程与软件复用技术 计算机网络技术 并行处理技术 高性能计算 智能软件 信息安全理论与方法 信息系统工程等 该学科的研究方向主要有 软件方法学 信息系统工程 并行处理与高性 能计算 计算机网络与普适计算和数据库技术与应用等 以培养高素质的创新 型科学研究与工程技术人才为目的 教学科研工作中 兼顾理论研究与工程技 术实践 着力建设重基础 宽口径的特色专业 以校企联合为手段 为科学研 究和信息技术产业输送高层次的计算机专门人才 在科学研究和应用技术方面跟踪国内外前沿方向 形成基础研究与应用技 术研究结合 产学研结合的特色 通过委托 横向合作等方式将科研成果转化 为计算机应用产品 为政府 企事业等单位的公共信息平台建设进行研发 涉 及信息系统集成 Web 技术 信息安全 智能控制 图形图像处理 新农村及 制造业信息化 远程教育 软件项目管理等众多应用领域 计算机软件与理论专业是我院重点发展 进步较快的专业 目前 有教授 7 人 副教授 11 人 近年来承担国家自然科学基金项目 3 项 省部级项目 8 项 参与国家 863 项目 3 项 主持国家科技支撑项目子课题 2 项 在国际学术 刊物 国内重要期刊和国际会议发表学术论文 130 余篇 SCI EI ISTP 检索 20 余篇 学科带头人和学术骨干平均年龄约 40 岁 在各自的研究领域取得了丰厚 的科研成果 二 培养目标二 培养目标 培养目标应根据国家对学位获得者的基本要求 结合本学科专业的特点 阐明对本学科专业硕士学位获得者在德 智 体等方面的要求 宁夏大学攻读硕士学位研究生培养方案 1 较好地掌握马列主义 毛泽东思想和邓小平理论 拥护党的基本路线 树立正确的世界观 人生观和价值观 遵纪守法 具有较强的事业心和责任感 具有良好的道德品质和学术修养 愿为社会主义现代化建设事业服务 2 硕士研究生在本学科内掌握坚实的基础理论和系统的专业知识 具有从 事科学研究工作 软件系统开发 教学工作或独立担负专门技术工作的能力 硕士研究生的知识结构应达到能够读懂本专业学术论文 具有计算机软件和理 论方面的研究能力 掌握软件设计和开发技能 应具有参加完整科研过程的科 研能力 3 掌握一门外国语 硕士研究生应能运用该门外国语比较熟练地阅读本专 业外文资料 4 身心健康 三 培养方式三 培养方式 硕士研究生培养方式灵活多样 充分发挥导师指导硕士研究生的主导作用 建立和完善有利于发挥学术群体作用的培养机制 四 学习年限四 学习年限 硕士研究生的学习年限一般为 3 年 最长不得超过 5 年 含休学等中断学 习的时间 优秀硕士研究生提前完成课程学习和学位论文者 可申请提前答 辩和提前毕业 获得硕士学位 五 研究方向五 研究方向 1 软件方法学 以软件方法为研究对象 涉及指导软件设计的原理和原则 以及基于这些 原理 原则的方法和技术 中心问题是如何正确 高效地设计软件 研究目的 是寻求科学方法的指导 使软件开发过程 科学化 将软件开发活动置于坚 实的理论基础之上 软件工程需要软件方法学为依据和指导 软件方法学依赖 于软件工程环境及工具来发挥实际效用 软件方法学从性质上可分为形式方法 formal method 和非形式方法 形式方法需要健全的数学基础 如 集合论 数理逻辑 抽象代数 范畴论等 将软件和软件开发活动作为数学来重新 发现 以避免系统中的歧义性 不一致性和不完备性 寻找规范的 求解过程 来正确 高效地设计软件 2 信息系统工程 宁夏大学攻读硕士学位研究生培养方案 以计算机科学与技术和管理科学与工程为支撑 研究 Web 信息技术 信息 系统建模 企业建模 信息系统集成与开发 供应链信息系统 决策支持模型 及管理模式 数据挖掘技术及应用 3 并行处理与高性能计算 本研究方向主要研究并行计算的理论 算法 技术 方法和工具 包括 串行程序并行化 并行程序设计方法 集群计算技术 多核并行技术 图像并 行处理 符号计算的并行化以及并行处理在应用系统中的软件设计与实现等 4 计算机网络与普适计算 本研究方向以理论研究与应用开发相结合 新技术探索与多技术集成相交 融为研究特色 对计算机网络和普适计算理论与相关应用技术进行研究 主要 在网络体系结构与网络安全 网络监测与管理 下一代网络建设及应用 大型 网络环境下的软件开发 3S 技术 分布式系统 网格计算应用 普适计算和无 线网络等方面 针对不同领域的需求 开展多技术集成应用研究与新技术探索 5 数据库技术与应用 主要研究 Web 中非规范知识的获取问题 以各种非规范化的 非结构化 的信息 如文本信息 图像信息为研究对象 使之成为结构化的数据信息 同 时为 Web 用户提供个性化检索服务 具体内容包括 文本挖掘 信息抽取 语 义理解 个性化搜索和推荐等 基于 Web 的大型分布式数据库应用技术 数据 仓库和数据挖掘技术及数据库在信息系统中的应用 六 课程设置与学分计算六 课程设置与学分计算 1 课程设置原则 1 理论课设置以能读懂本专业学术论文为目的 设置本专业所必需的基 础理论和基础知识课程 2 以能熟练运用本专业常用的实验方法 计算方法 分析方法等研究方 法为目的 设置本专业必需的案例分析与强化训练课程 2 课程设置 硕士研究生课程设置按类别分为学位课和非学位课 3 学分计算 第一外国语 17 学时计 1 学分 136 学时 其它课程 17 学时计 1 学分 宁夏大学攻读硕士学位研究生培养方案 实验课 34 学时计 1 学分 补修课不计学分 总学分控制在 40 42 学分以内 其中课程学分为 33 35 学分 学位课课 程不少于 25 学分 必修环节学分为 4 学分 创新能力 3 学分 学位课课程学位课课程 2525 学分学分 科学社会主义理论与实践 34 学时 2 学分 自然辩证法 51 学时 3 学分 第一外国语 136 学时 8 学分 专业共同必修课共 6 学分 研究方向课共 6 学分 非学位课课程 非学位课课程 8 8 1010 学分学分 选修课 8 10 学分 跨学科 专业和以同等学力考入的硕士研究生 需补修本学科大学本科 3 4 门主干课程 不计学分 必修环节必修环节 4 4 学分学分 1 教学实践或专业实习 2 学分 教学实践与专业实习是硕士研究生培养过程的重要环节 每位硕士研究生 都必须参加 其评价材料是申请学位的必备材料之一 教学实践可采取多种方式进行 如辅导本科生有关课程 指导实验 协助 指导毕业设计 或论文 等 累计时间不少于 4 周 教学实践应在本学科 专 业指定的教师指导下进行 完成后填写 宁夏大学研究生教学 专业实习考核表 经指导教师及院 系审核后归入本人档案 专业实习的目的是增强硕士研究生的专业实践知识和独立工作能力 专业 实习包括进企业 进社区 下乡等方式 专业实习累计时间不少于 4 周 各学 科专业根据本学科特点确定适当的方式 专业实习结束后 由研究生本人填写 宁夏大学研究生教学 专业实习考核表 并由接受实习单位作出相应的书面 鉴定 各培养单位应制定切实可行的 便于有效考核的教学实践或专业实习方案 2 文献综述 开题报告 1 学分 宁夏大学攻读硕士学位研究生培养方案 硕士研究生文献阅读要结合课题研究方向和具体的研究领域进行 参考文 献不得少于 40 篇 其中外文参考文献不少于 10 篇 文献综述报告不少于 4000 汉字 3 学术报告 1 学分 在学期间 必须参加十次以上学术报告活动 每次 学术报告活动结束后 硕士研究生本人应手工填写学术报告登记表 各专业可 以对本硕士研究生参加学术活动做出更高的具体要求 创新能力创新能力 3 3 学分学分 达到下列条件之一者可获得 3 学分 1 主持或参加研究生创新项目 2 公开发表专业学术论文一篇 本人署名前二位 3 获得省部级以上各类学术科技竞赛奖 4 获得发明专利排名前三位的发明人或实用新型发明专利排名前三位发 明人 以上各项的署名单位必须为宁夏大学 否则不予认可 4 课程考核方式与标准 硕士研究生课程学习考核可采取多种方式 除实验 实习课可以进行考查 外其它课程一律进行考试 硕士研究生学位课程考核采取考试方式 政治理论 课亦可以采取课程论文方式 选修课程的考核可以由任课教师根据培养方案对 课程的要求决定 所有课程考核成绩实行百分制 学位课程及格标准为 75 分以上 含 75 分 非学位课程及格标准为 60 分以上 含 60 分 七 中期考核七 中期考核 硕士研究生课程学习时间为一年半 结束后进行中期考核 实行分流制 具体办法见 宁夏大学研究生中期考核办法 八 学位论文工作八 学位论文工作 学位论文是硕士生培养工作的重要组成部分 是对硕士生进行科学研究或 承担专门技术工作的全面训练 硕士生创新能力 综合运用所学知识发现问题 分析问题和解决问题的能力在学位论文中可以集中体现 硕士生应积极参与导 师承担的科研项目 注意选择有重要应用价值的课题 学位论文要有新工作和 新见解 硕士生入学后在导师指导下确定研究方向 通过查阅文献 收集资料 和调查研究确定研究课题 并在规定时间完成开题报告 学位论文必须在导师 宁夏大学攻读硕士学位研究生培养方案 指导下由硕士生独立完成 要求达到概念清楚 立论正确 分析严谨 计算正 确 数据可靠 文句简练 图表清晰 层次分明 能体现硕士生具有宽广的理 论基础 较强的独立工作能力和优良的学风 与他人合作或在前人基础上继续 进行的课题 必须在论文中应明确指出本人所做的工作 学位论文必须采用计 算机编辑和输出 具体格式参照 宁夏大学学位论文格式 书写规范 用于 学位论文的实际工作时间不得少于一年 各学科专业根据本学科专业实际和培 养目标等要求安排具体的学位论文工作 九 其它学习项目安排九 其它学习项目安排 各学科专业可根据自身特点和学位点建设要求 对在学期间硕士研究生的 科研要求给与明确规定 对于课程学习和学位论文工作以外的其他项目安排 做出具体规定的考核 办法 十 毕业与学位授予十 毕业与学位授予 硕士生在学习年限内完成培养环节各项内容并取得规定学分 通过中期考 核和论文答辨 符合毕业资格者 准予毕业 符合毕业条件且通过宁夏大学学 位英语考试者可授予相应学位 学位英语考试由研究生院组织 宁夏大学攻读硕士学位研究生培养方案 计计算算机机软软件件与与理理论论专专业业 专专业业攻攻读读全全日日制制硕硕士士学学位位研研究究生生 课课程程设设置置及及教教学学计计划划一一览览表表 类别类别课程编号课程编号课程名称课程名称 学学 时时 学学 分分 开课开课 学期学期 教学教学 方式方式 考核考核 方式方式 开课学院开课学院 X0000B00A001 科学社会主义理论与 实践 3421讲授考试 马克思主 义学院 X0000B00A002自然辩证法5132讲授考试 马克思主 义学院 公 共 必 修 课 X0000B00A003第一外国语13681 2讲授考试 外国语学 院 X0812B02B001运筹学5131讲授考试数计学院 专 业 共 同 必 修 课 X0812B02B002算法分析与设计5131讲授考试数计学院 X0812B02C001可计算性理论5131 讲授 讨论 笔试数计学院 X0812B02C002形式语义学 51 32讲授笔试数计学院 X0812B02C003智能决策支持系统 51 31 讲授 笔试 报 告 数计学院 X0812B02C004信息系统分析与集成5132 讲授 讨论 报告数计学院 X0812B02C005 计算机网络理论及应 用 5131讲授 笔试 报 告 数计学院 学 位 课 研 究 方 向 课 X0812B02C006 Ad Hoc 网络和传感器 网络 5131讲授 笔试 报 告 数计学院 宁夏大学攻读硕士学位研究生培养方案 类别类别课程编号课程编号课程名称课程名称 学学 时时 学学 分分 开课开课 学期学期 教学教学 方式方式 考核考核 方式方式 开课学院开课学院 X0812B02C007并行计算技术5131 讲授 讨论 报告数计学院 X0812B02C008数值并行算法5132 讲授 讨论 笔试 报 告 数计学院 X0812B02C009高级数据库技术5131讲授 笔试 报 告 数计学院 X0812B02C010数据仓库与数据挖掘5132讲授 笔试 报 告 数计学院 F0812B02D001高等数值分析3422讲授考查数计学院 F0812B02D002专业外语 34 22讲授考查数计学院 F0812B02D003高等数理逻辑 34 21讲授考查数计学院 F0812B02D004程序设计方法学 34 22讲授考查数计学院 F0812B02D005程序设计语言原理 34 23讲授考查数计学院 F0812B02D006IT 项目管理 34 23讲授考查数计学院 F0812B02D007Web 开发技术 34 21讲授考查数计学院 F0812B02D008Oracle 管理实务3421 讲授 讨论 考查数计学院 F0812B02D009电子商务系统理论 34 22讲授考查数计学院 F0812B02D010高级软件工程 34 23讲授考查数计学院 F0812B02D011分布式