天津大学研究生e-Learning平台

《知识推荐》课程是计算机科学与技术学院为全日制学术型和专业型硕士研究生开设的公共选修课，课程的主要内容包括：推荐系统的基本理论、推荐系统相关的前沿研究、知识图谱的构建研究、拓扑型知识网路的构建研究、个性化学习资源推荐、学习路径构建研究等。该课程于2017年春季第一学期开设，根据研究生的学习特点，使用研讨性教学方式，在学习数据挖掘、信息检索、推荐系统等领域的相关知识之外，也让学生对科学研究的一般思路和方法有所了解，为今后的科研工作打下坚实的基础。

形式化方法是一种基于数学的软件和系统开发方法，研究如何把（具有清晰的数学基础的）严格性（描述形式、技术和过程等）融入软件开发的各个阶段：规范、设计、验证与演化等。该方法日益受到计算机界和工业界的高调重视。形式化方法是计算机专业一门重要的专业基础课，特别是计算机科学专业必修课，也是软件工程专业和信息管理专业一门重要的基础课。通过本课程的学习，使学生了解形式化方法的基本理论和基本原理，掌握软件形式规格，能应用基本形式化方法验证程序正确性。学会用“数学思维”去思考和用“形式化方法”去处理软件和系统开发过程的程序验证问题。

Program verification is a fundamental theory in proving correctness of a program. Model checking is an important and popular technique for automatically verifying correctness properties of finite-state systems. This course mainly focuses on the fundamental principles and methods for model checking. This course includes the syntax and the semantics of linear temporal logic (LTL), the syntax and the semantics of computation tree logic (CTL), principles of reasoning-based program verification, and methods of model checking in applications etc.

计算机综合实验（MapReduce）通过目前云计算研究与应用中广泛采用的MapReduce编程模型，解决大规模数据的高效率并行分布式处理问题，使用开源的Hadoop作为MapReduce开发平台，使用Eclipse作为开发工具，以此达到锻炼工程实践能力，培养综合实验素质的目的。

In Computer Science and Information Science, Ontology is a formal representation of knowledge as a set of concepts within a domain, and the relationships between those concepts. Ontology is the basics of knowledge representation and automated reasoning in computer systems. The theory of ontology can be applied as the method of knowledge representation and automated reasoning in the fields of Artificial Intelligence, System Engineering, Software Engineering, Bioinformatics, and Library Science. This course, taking the Semantic Web as an example, introduce and discuss the state-of-the-art theories, methods, and frontier technologies about the information representation and data management, knowledge representation and ontology languages and their querying and reasoning on the current Web.

In the course, a new software development method, user-centered design, is introduced. The essence of user-centered design is analyzed and the principle, methodology and real cases of user-centered design are included the course.

硕士生、博士生选修课。内容包括：学科概述、经典方法、现代方法、学习理论和实验设计等。结课方式：提交结课报告，含理论分析、实验对比和参考文献。

计算机图形技术是基于计算机进行图像合成的技术，重点研究三维场景渲染、图像编辑、动画效果制作、模型分析与合成等多个方向，被广泛用于虚拟现实、增强现实、游戏特效制作、仿真等应用领域。高等计算机图形学为面向研一研究生开设的选修课程，旨在夯实研究生所掌握的基础知识，结合领域的前沿技术，利用实际课题和案例教学，加深研究生对计算机图形领域的了解，提升研究生的问题意识、质疑精神以及写作能力。

本课程主要讲解信息技术领域新兴技术——云计算相关原理及应用。课程内容从分布式系统原理讲起，拓展讲解分布式系统原理在云计算中的典型应用，并通过实验掌握使用云计算技术处理数据。

       课程主要从现代嵌入式系统的五层结构出发，自底向上分别介绍引导层、驱动层、内核层、UI层以及应用层的相关概念。围绕着嵌入式系统中常用的ARM核处理器构造一个完整的嵌入式系统作为实例，贯穿课程始终。在介绍基本原理与基本概念的同时，也会对嵌入式系统各层中的主流解决方案和相关技术进行介绍。本课程以嵌入式Linux系统作为重点讲解，同时课程的内容也对WinCE、Android等商用嵌入式系统进行涉及。

       本课程是一门原理与工程技术并重的课程，帮助学生从全局和系统的角度理解嵌入式系统的软硬件的构成与整合。