英语Ⅰ计算机算法设计与分析Word格式.docx
《英语Ⅰ计算机算法设计与分析Word格式.docx》由会员分享，可在线阅读，更多相关《英语Ⅰ计算机算法设计与分析Word格式.docx（63页珍藏版）》请在冰点文库上搜索。
本课程是硕士研究生必修的马克思主义理论课，要求学生理解自然辩证法的原理和方法，重视培养学生的科学精神和创新精神，提高学生在科研实践和工程实践中解决问题的能力。
内容提要：
第一篇绪言
自然辩证法学科的研究对象、内容、性质以及学习研究的意义。
第二篇科学研究方法论
一、观察实践方法
二、归纳与演绎
三、分析与综合
四、科学抽象与理想化方法
五、公理化方法
六、控制论、信息论、系统论方法要点
第三篇创造性原理
一、创造的基本概念
二、创造性与智力
三、创造性与性格
四、创造性与年龄、性别
第四篇技术创新方法
一、技术创新的目标
二、技术创新构思的技巧
三、技术创新构思应注意的原则
四、创新思考的辅助方法
五、技术创新与情报资料
六、技术创新中的研制
主要参考书：
1、陈昌曙主编:
自然辩证法概论新编，东北大学出版社，1995
2、贝弗里奇：
科学研究的艺术，科学出版社
3、刘二中：
技术创新及知识产权保护，中国科学技术大学出版社，1999
4、刘二中：
世界发明史，中国科学技术大学出版社，1998
撰写人：
中国科学院研究生院刘二中
日期：
2002年8月
计算机算法设计与分析
DesignandAnalysisofAlgorithmsSyllabus
公共基础课学时/学分：
Bookrequired:
T.H.Cormen,C.E.Leiserson,R.L.Rivest,CliffordStein,
IntroductiontoAlgorithms,SecondEdition,McGraw-Hill,2001.
Contents:
（5hours）PartI:
Introduction（coversChapter1toChapter4）
•Whatisanalgorithm
•Timeandspacecomplexity
•Asymptoticnotations
•Notionsofupperbound,lowerbound,worstcase,bestcase,andaveragecaseanalysis
•Recurrencesandthemastertheorem.
（10hours）PartII:
SortingandOrderstatistics（Chapter6toChapter9）
•Insertionsort
•Mergesort
•Heapsort
•Quicksort
•Sortinginlineartime
•MediansandOrderStatistics
PartIII:
DataStructures（skipped）
（9hours）PartIV:
AdvancedDesignandAnalysisTechniques（Chapter15–16）
•DynamicProgramming
•GreedyAlgorithms
（3hours）Review（July2）
（3hours）TESTONE（July2）
（14hours）PartVI:
GraphAlgorithms（Chapter22-24,26）
•ElementaryGraphAlgorithms
•MinimumSpanningTrees
•Single-SourceShortestPaths
•MaximumFlow
（10hours）PartVII:
SelectedTopics（Chapter34）
•NP-Completeness
（3hours）Review（July30）
（3hours）TESTTWO（July30,evening）
Therewillbe6homeworkassignments.
撰写人：
沈孝钧
撰写日期：
2006年5月
主流数据库技术与实践
EssentialDatabaseTechnologyandPractice
课程属性：
专业基础课学时/学分：
预修课程：
本课程的主要预备知识包括：
有一定的计算机程序设计经验，英文阅读能力较好，学员具有一定软件开发经验；
完成本科段《数据库技术基础》课程学习。
在完成本课程后，学员应能够：
1.知道数据库技术在软件系统开发中的地位和作用。
2.针对一个软件系统的具体的应用需求，能写出选择何种主流数据库的技术评估报告。
3.分析对比较各种流行的数据库技术的应用模型及其变体，解释每种特定模型的优缺点。
4.深入理解和掌握一种主流数据库技术并应用到一个小的课程项目中。
Topic1绪论：
基本概念
数据库系统发展、数据库体系结构、数据模型
Topic2数据模型
ER模型、关系模型
Topic3数据库语言
（1）
基本数据库标准语言SQL
Topic4数据库语言
（2）
完整性与安全性、其他数据库语言
Topic5基于对象的数据库
面向对数据库、
对象-关系数据库、XML
Topic6数据存储与索引
存储与文件结构、
索引与散列
Topic7查询处理及优化
查询算法及查询策略、查询优化
Topic8数据库分析与设计
数据库的设计过程、函数依赖、范式、
ER模型
Topic9事务处理
事务、并发控制、恢复系统
Topic10SQLServer
（1）
SQLServer体系结构、
存储和访问
Topic11SQLServer
（2）
查询处理和优化.、
事务处理、
并发与恢复
Topic12数据仓库
（1）
DSS的发展、数据仓库环境
Topic13数据仓库
（2）
数据预处理、数据模型、数据仓库设计
Topic14数据仓库（3）
粒度、数据集市、EIS
Topic15数据仓库（4）
SQLServerAnalysisServices
Topic16高级查询和信息检索
OLAP、DataMining、信息检索
Topic17其他数据库介绍
《数据库系统概念》英文版第四版AbrahamSilberchatz贝尔实验室
主要参考：
“Slides”
“DatabaseSystem,APracticalApproachtoDesign,…”
“SQLServer”
“DataMining”
“DataWarehouse”
撰写人：
赵亚伟
撰写日期：
2005年12月
计算机体系结构ComputerSystemArchitecture
课程属性：
学位课学时/学分：
60/3
递归概念及应用、程序设计的数学基础、形式语义学、计算机系统结构、操作系统。
本课程为计算机科学与技术学科研究生的学科基础课。
计算机体系结构作为算法的执行环境，范围很广。
本课程主要内容有：
计算模型，机器模型、基本理论与原型技术、近代体系结构、计算机体系结构中的语义间隔。
通过本课程的学习，要求学生能对计算机体系结构的基本问题和发展趋势有充分的认识和一定的把握，为进一步学习计算机科学和技术与从事专业研究打下基础。
第一章计算机的一般归结即问题
计算机的一般归结，问题变量及算子，赋值公理；
赋值语句与冯狭道，计算机体系结构的基本问题。
第二章计算机体系结构整体目标与关键设计问题
整体设计目标，原形技术，指令级并行，线程级并行，互连设计，大规模数据并行处理，网络与协议，负载与平衡，分析与评估。
第三章必要的数学准备
能行可计算，可计算与难处理，部分递归函数类，图灵机，二值算术与布尔代数，布尔演算与布尔逻辑。
第四章算法与计算机体系结构的语义间隔
系统问题变量，定义域，规模与状态空间，算法对计算机体系结构的映射，编程模型与性能，算不准原理，语义间隔。
第五章
大规模；
多变量；
强交互；
强时变问题的建模与表达，逐步求精与满意解，按自然法则计算，人工神经网络计算，网络计算，现实计算环境的潜力，新计算理论和模型。
（1）董占球等，《计算机体系结构技术》，科学出版社，北京，1987。
（2）KaiHwang,AdvancedComputerArchitecture-Parallelism,Scalability,Programmability
McGraw-Hill1993.
（3）JohnHennesy,DavidAPatterson,ComputerArchitecture–AQuantitativeApproach.
MorganKaufmannPublishers.1966.
（4）DavidE.cullerandotherParallelComputerArchitectureAHardware/softwareApproach.
MorganKaufmannPublishers,Inc.1966.
（5）RajkumanBuYYa,HighperformanceClusterComputing:
ArchitecuresandSystemsVolume1,
Prentice-Hall.Inc.1999.
董占球（中国科学院研究生院）
2001.9.
软件体系架构
SoftwareArchitecture
课程描述
面向对象软件系统的软件架构介绍了沿着模型驱动开发（MDD）软件工程过程有效运用由用例捕获的系统需求（用例模型）去驱动一个强壮的模型驱动的架构（MDA）的开发所必须的理（概）念和技巧。
在这门紧凑并且实用的课程里，学员将学会如何进行架构的描述、记录、分析、设计、实施和评估等关键任务。
通过在整个软件项目生命期中用UML去捕获和交流软件架构决策，我们在一个用例驱动的、以架构为中心的以及迭代的和增量的软件工程过程中教会学员如何构架符合软件架构目标（质量属性）的软件系统的架构。
课程目标
学完本课程后，学员将具备以下能力：
∙熟练掌握软件架构的定义、目标、风格、描述、表示、构架过程和评估等；
∙熟练掌握软件架构师的定义、定位、职责、评估、培养以及与系统分析师和软件设计师的重要区别和内在联系等；
∙熟练掌握几种重要的架构风格，特别是MDA和SOA；
∙熟练掌握几种常用的软件架构模式和一些设计模式；
∙熟练掌握不同层级的架构机制，例如：
分析机制、设计机制和实施机制；
∙熟练掌握UML模型驱动的系统开发（MDD）过程；
∙熟练掌握分析模型、设计模型、实施模型、部署模型的开发；
课程内容
∙软件架构的定义
∙软件架构师的定义
∙软件构架过程
∙架构描述和软件架构文档
∙MDA和MDD
∙需求学科概述
∙架构分析和架构模式
∙用例分析和分析机制
∙用例设计和设计机制
∙面向对象设计的原理
∙设计模式
∙子系统设计
∙架构实施和实施机制
课程对象
此门课程适合于已经积累了面向对象的软件系统开发经验的软件架构师和软件设计师。
前提课程
∙统一建模语言（UML）和建模工具
∙统一软件开发过程
∙软件需求工程
∙面向对象的设计模式
后续课程
∙无
《软件架构》课程安排
此课程包括讲授和实验，具体教学内容安排如下表：
内容
课程内容简介
第一部分
软件架构的定义、描述和表示
软件开发四要素
UML语言综述
UML语言的元模型
软件架构
软件架构师的定义、定位、职责、评估、培养以及与系统分析师和软件设计师的重要区别和内在联系
软件架构的描述和软件架构文档
第二部分
架构过程和MDD
统一软件开发过程
构架过程（Architecting）
MDA
模型驱动的开发（MDD）
用例模型
第三部分
软件架构的分析
分析模型
架构分析
用例分析
架构机制架构风格
SOA
架构模式
第四部分
软件架构的设计
设计模型
用例设计
设计机制
子系统设计
面向对象设计的基本原理
设计模式
第五部分
软件架构的实施
架构实现工作流
架构实现机制
部署模型
软件架构的实施中的注意事项
课程总结
撰写人：
叶红星博士,客座教授撰写日期：
2008年12月
软件测试与质量保证
SoftwareTestingandQualityAssurance
**********课程属性：
专业课学时/学分：
高质量软件工程过程
Thiscoursewillfocusonhowtobuildqualityintosoftwareratherthanjustcontrollingqualityattheend,andprovidesaframeworkforunderstandingtheapplicationofsoftwaretestingandSQAprocessesandtechniquesthroughoutthesoftwaredevelopmentlifecycle.Thiscoursewilladdresstechnicalandmanagementviewsofsoftwaretestingandsoftwarequalityassurance（SQA）:
fundamentalconceptsandbasicmathematicalknowledge;
testingtechniques;
levelsoftesting;
testorganization;
testingprocessmanagementandimprovement;
modelsforqualityassurance;
methodsandtechniquesforassessingsoftwarequality.Thiscoursealsodescribestheeconomicsofsoftwarequality,emphasizesthetradeoffsbetweensoftwarecost,scheduletime,andquality,andtheintegrationofqualityintothesoftwaredevelopmentprocess.Thiscourseprovidesthestudentwithanindepthknowledgeofconcepts,techniques,andprocessesassociatedwithsoftwaretestingandSQA.
Topic1OverviewandBasics
Chapter1OverviewandBasics
SoftwareQuality;
GeneralQualityPrinciples;
SoftwareQualityAssurance（SQA）;
SQAActivitiesinContext;
CostofSoftwareQuality
Topic2SoftwareTesting
Chapter2TestingFundamentals
BasicsofSoftwareTesting;
TestingActivitiesandContext;
ExamplesUsedInTestingDiscussions;
DiscreteMathematicsforTesters;
GraphTheoryforTesters
Chapter3FunctionalTesting
BoundaryValueTesting（BVT）;
BoundaryValueAnalysis;
EquivalenceClassTesting;
DecisionTableBasedtesting;
RetrospectiveonFunctionalTesting
Chapter4StructuralTesting
GeneralConcepts;
PathTesting;
DataFlowTesting;
RetrospectiveonStructuralTesting
Chapter5IntegrationTesting
ProcessModelsandIntegrationTesting;
TheSATMSystemExample;
DecompositionBasedIntegration;
CallGraphBasedIntegration;
PathBasedIntegration;
CaseStudy-NextDateProgram
Chapter6SystemTesting
Threads;
BasisConceptsforRequirementsSpecification;
FindingThreads;
StructuralStrategiesforThreadTesting;
FunctionalStrategiesforThreadTesting;
SATMTestThreads;
SystemTestingGuidelines;
AdditionalSystemTestCategories
Chapter7OtherTestingTechniques
ExploratoryTesting;
ErrorGuessing&
MutationTesting;
OOTesting;
GUITesting;
Web-basedTesting;
TestingofEmbeddedSoftware
Chapter8SoftwareTestingAutomation
TestAutomationContext;
Capture-ReplayandTestAutomation;
ScriptingTechniques;
OtherIssuesofTestAutomation;
ChoosingaTooltoAutomateTesting
Topic3QualityAssuranceBeyondTesting
Chapter9ReviewsandAudits
BasicReviewPrinciples;
A“Generic”InspectionProcess;
InspectionCriticalSuccessFactors;
SQAAudit;
AssessmentandStandard
Chapter10StatisticalProcessControl&
SoftwareReliability
FundamentalPrinciples;
StatisticalProcessControl（SPC）forSoftware;
UnderstandingSixSigma;
SixSigmaMethodologies;
RolesandResponsibilitiesofSixSigma;
OverviewofSoftwareReliability;
SoftwareReliabilityEngineering（SRE）
Topic4SoftwareQualityManagement
Chapter11SoftwareQualityInfrastructure
SoftwareProcessDefinitionandImprovement;
SoftwareConfigurationManagement;
SCM）;
SoftwareQualityMeasurement;
ProblemReportingandTracking
Chapter12OrganizingandPlanningforQualityAssurance
OrganizingforQualityAssurance;
SoftwareQualityAssurancePlanning;
TestPlanningandTestDocumentation;
ManagingaTestingGroup
TheRoadAhead…
教材和主要参考书：
教材:
1.PaulC.Jorgensen,SoftwareTesting:
ACraftsman’sApproach,2ndEdition,CRCPress,2002
2.D.Galin:
SoftwareQualityAssurance:
FromTheorytoImplementation,Addison-Wesley,2004
3.C.Kaner,J.Falk,&
H.Q.Nguyen,TestingComputerSoftware,2ndEdition,JohnWiley&
Sons,1999
4.M.Fews
升级会员 