论文网
计算机方面有关论文范文例文,与电子商务经典教材国语相关论文怎么写
本论文是一篇计算机方面有关论文怎么写,关于电子商务经典教材国语相关学士学位论文范文。免费优秀的关于计算机及操作系统及嵌入式方面论文范文资料,适合计算机论文写作的大学硕士及本科毕业论文开题报告范文和学术职称论文参考文献下载。
nkeyimplementationtechniquesofmodernopensourceoperatingsystemssuchasLinux.Asaconsequence,studentsarerequiredtoprisegroupsbytheirown,tochooseprojectaboutoperatingsystemanalysis,moduledesignandimplementation.Furthermore,studentsareencouragedingrouptointroducetheresearch,designorimplementationoftheirprojectstotheclass.Thelecturerandotherstudentswillgiveadvicesandmakediscussionabouttheprojects.Byuseofwork-basedinstructionandvirtualclassroom,studentsarerequiredtotakepartindiscussiononthewebsitedevelopeddedicatedlyfortheadvancedoperatingsystemcourse.
Theprojectresearchandpracticegivestudentsanidealopportunitytoimprovetheirabilityofproductivity.
教材或讲义:李善平等,《边干边学:Linux内核指导》,浙江大学出版社,2002年
参考书:
[1]AbrahamSilberschatz,PeterBaerGalvin,GregGagne.OperatingSystemConcepts,SixthEdition.JohnWiley&,Sons,Inc.高等教育出版社影印出版.2002年5月.
[2]AlessandroRubiniandJonathanCorbet.LINUXDeviceDrivers,3rdEdition.O'Reilly&,Associates.June2005.
[3]DanielP.Bovet,MarcoCesati.UnderstandingtheLinuxKernel,3rdEdition.O'Reilly&,Associates.Dec.2005.
[4]李善平等,Linux与嵌入式系统(第2版),清华大学出版社,2006年
撰写人:李善平
课程编号:2122019
课程名称:高级形式化方法
英文名称:AdvancedFormalMethods
总学时:32学分:2
预修课程:无
内容简介:本课程主要讲述形式化方法的基本概念,原理和方法,包括命题与谓词逻辑,相等与确定性的描述,关系与函数的描述,对象的定义等,并介绍几种逻辑语言及一种逻辑推理与证明系统.通过课程的学习,使学生能够利用所学的方法解决系统描述中的一些实际问题.最早的形式化方法是逻辑与逻辑推理,它的目标是使推理机械化.形式化方法原则上就是用数学与逻辑的方法描述和验证软件.从描述上讲,一方面是系统或程序的描述,另一方面是性质的描述.
英文简介:Thecourseispreparedtointroducethebasicconcepts,theoriesandmethodsofformalmethods.Thecourseisdesignedforstudentstounderstandsomeformallanguagesanddescriptionmethods,andtosolvesomepragmaticproblemsinsystemdescriptionsbyusingthemethodswehavelearnt.Theearliestformalmethodsarelogicsandlogicalinfer,itsaimismakinginfermechanised.Formalmethodsarethosemethodsbywhichwecandescribeandverifysoftwareinmathematicandlogicway.Inthedescriptionaspect,therearetwokinds,oneissystemsandprograms'description,theotherisproperty'sdescription.
教材或讲义:JimWoodcock等着,《UsingZspecification,Refinement,andProof》,牛津大学出版,2002.
参考书:
1.BenjaminC.Pierce着,《TypesandProgrammingLanguages》,MIT出版,2002.
2.BengtNordstrom等着,宋方敏译,《Martin-Lof类型论程序设计导引》,南京大学出版社,2002.
撰写人:李莹
课程编号:2122022
课程名称:高级数据库技术
英文名称:AdvancedDatabaseTechnologies
总学时:32学分:2
预修课程:C语言,数据结构,数据库原理
内容简介:本课程主要讲授数据库领域的最新技术,对新型数据库系统及应用中所采用的一般研究方法进行系统的讲解.内容涵盖目前数据库设计和研究领域的一系列关键问题,如数据仓库与决策支持,数据挖掘,XML技术,搜索引擎原理,多维和高维空间数据库,并发控制,并行数据库,数据访问控制等.通过阅读参考书,文献资料和课堂讲解等一系列方法使得学生既广泛地涉猎学术界的新成果,又深刻地理解所学的关键知识.课程还通过小组在课外撰写研究报告的方式,使学生了解目前相关技术的最新研究动向,结合课堂讨论,促进学生对高级数据库技术的掌握,扩大学生在该领域的知识面,提高学生的研究能力和动手能力.
本课程要求学生了解数据库领域的最新发展趋势,研究进展,要求学生掌握其中的一部分关键技术,能灵活运用新一代数据库技术,围绕系统设计的主题开展具体案例的研究与开发.
英文简介:Thismoduleprovidesanintroductorystudyoftheconceptsandimplementationissuesrelatedtoadvancedtopicsindatabasemanagementsystems.Itcoversaseriesofkeytopicsofstate-of-the-artdatabasedesignandresearch,suchasDataWarehouseandDecisionSupport,DataMining,XMLTechnology,WebSearchEngine,SpatialDatabases,HighDimensionalData,ConcurrencyControl,ParallelDatabase,DataAccessMethodsandsoon.Themoduleistargetedathelpingstudentstolearnthelatestdevelopmentsindatabaseresearch,andtogainresearchcapabilitiesinrelevantareas.
Uponpletionofthecourse,thestudentsarerequiredtohavegoodknowledgeinthelatestdevelopmentsofthedatabaseresearchandindustryareas,tomasterthekeyknowledgeinthesetopics,andtoabletoemploythesetechniquesinspecificcase-studyanddevelopment.
教材或讲义:DatabaseManagementSystems(3rdEdition),RaghuRamakrishnanandJohannesGehrke,清华大学出版社(影印版),2003年
参考书:
1.DatabaseSystemConcepts(4thEdition),AviSilberschatz,HenryF.Korth,S.Sudarshan,高等教育出版社(影印版),2002年
2.RudolfBayer,TheUniversalB-TreeforMultidimensionalIndexing:generalConcepts,WWCA1997:pp198-209
3.MovingObjectsInformationManagement:TheDatabaseChallenge(visionpaper),5thWorkshoponNextGenerationInformationTechnologiesandSystems(NGITS),2002
4.CuiYu,StéphaneBressan,BengChinOoi,Kian-LeeTan:Queryinghigh-dimensional
计算机方面有关论文范文例文,与电子商务经典教材国语相关论文怎么写参考文献资料：