吉林大学计算机学院官网

软件理论和软件设计方法

学术带头人：董韫美 院士 智能信息处理

学术带头人： 孙吉贵教授 学术团队：现有刘叙华教授、欧阳丹彤教授等教师14人 知识科学与知识工程

学术带头人：刘大有教授 学术团队：现有欧阳继红教授等教师17人 计算智能

学术带头人：周春光教授 学术团队：现有于哲周教授等教师14人 智能工程

学术带头人：梁艳春教授 学术团队：现有教师8人 软件形式化

学术带头人：刘磊教授 学术团队：现有张长海教授等教师8人

数据库与web智能

学术带头人：左万利教授 学术团队：现有赫枫龄教授、赵东范教授等教师6人 数据库与智能网络

学术带头人：李雄飞教授 学术团队：现有王德民教授等教师7人

网格计算与网络安全

学术带头人：胡亮教授 学术团队：现有徐高潮教授、魏晓辉教授、赵永哲教授等教师14 软件工程

学术带头人：张家晨教授 学术团队：现有教师11人

计算机软件与理论'

欧阳丹彤，女，博士生导师。符号计算与知识工程教育部重点实验室主任，计算机学院副院长。主要研究方向：自动推理、智能诊断与规划、模型检测、语义Web等。负责或骨干参加国家级与省部级项目20余项。发表论文120余篇。

13843006163

左万利，工学博士，教授，博士生导师，19

软件理论和软件设计方法

学术带头人：董韫美 院士 智能信息处理

学术带头人： 孙吉贵教授 学术团队：现有刘叙华教授、欧阳丹彤教授等教师14人 知识科学与知识工程

学术带头人：刘大有教授 学术团队：现有欧阳继红教授等教师17人 计算智能

学术带头人：周春光教授 学术团队：现有于哲周教授等教师14人 智能工程

学术带头人：梁艳春教授 学术团队：现有教师8人 软件形式化

学术带头人：刘磊教授 学术团队：现有张长海教授等教师8人

数据库与web智能

学术带头人：左万利教授 学术团队：现有赫枫龄教授、赵东范教授等教师6人 数据库与智能网络

学术带头人：李雄飞教授 学术团队：现有王德民教授等教师7人

网格计算与网络安全

学术带头人：胡亮教授 学术团队：现有徐高潮教授、魏晓辉教授、赵永哲教授等教师14 软件工程

学术带头人：张家晨教授 学术团队：现有教师11人

计算机软件与理论'

欧阳丹彤，女，博士生导师。符号计算与知识工程教育部重点实验室主任，计算机学院副院长。主要研究方向：自动推理、智能诊断与规划、模型检测、语义Web等。负责或骨干参加国家级与省部级项目20余项。发表论文120余篇。

13843006163

左万利，工学博士，教授，博士生导师，19

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

一、简答题（共20小题，每小题2分，共40分，不必证明，直接给出答案即可）

1. 设S={a,b,c,d}，定义ρ(S)上的二元运算“－”，使对于任意A、B?ρ(S)，A－B={x|x?A且x?B}，问：该运算满足消去律吗？ρ(S)上存在幂等元吗？ 2. 所有的4元群都同构吗？所有的7元群都同构吗？

3. 整区中是否存在零因子？整区中所有非零元素的乘法周期都相等吗？

4. 设循环群G=(a)，|G|=24，则G中是否存在周期为5的元素？是否存在8元子群？

5. 设a?GF(27)且a≠0，求6a和a26。 6. 在R13求

24-4。

7. 设（G，·）是群，请给出满足方程a·b·x·c =1的解x，其中：1是G的单位元，a、b、c?G。

8. 设G={e,a,b,c,d,f,g},（G，·）是群，e是G的单位元，计算a·b·c·d·f·g等于多少？

9. 设循环群G=(a)，H是G子群，则H是正规子群吗？ 10. 写出模12剩余环的一个极大理想。

11. 域F上的非0多项式f(x)有k（k为非负整数）重根，则f(x)一定可约吗？ 12. 给出多项式x5+5x4+2x3+3x+1的一个有理根。

13. 在R2上给出两个多项式f(x)和g(x)，

迎春不在啊？

2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注 房至一 博导 计算机系统结构 081201 13180801399 刘淑芬 博导 计算机系统结构 081201 13009108068 徐高潮 博导 计算机系统结构 081201 13009142276 胡成全 教授 计算机系统结构 081201 13610722522 魏晓辉 教授 计算机系统结构 081201 13353144533 于秀峰 副教授 计算机系统结构 081201 13604361843 正元公司 郑万波 副教授 计算机系统结构 081201 13069101816

2009年每位导师招生名额基数为2名。名额上限：博导5名；教授3名；副教授2名；客座教授1名。 2009年硕士生指导教师名单 （同职称以拼音排序）

导师姓名 职称 专业名称 专业代码 联系方式 备注

董蕴美 博导 计算机软件与理论 081202 欧阳丹彤13843006163 李占山13089115516 特聘院士

李雄飞 博导 计算机软件与理论 081202 13943095868 刘磊

一、简答题（共20小题，每小题2分，共40分，不必证明，直接给出答案即可）

1. 设S={a,b,c,d}，定义ρ(S)上的二元运算“－”，使对于任意A、B ρ(S)，A－B={x|x A且x B}，问：该运算满足消去律吗？ρ(S)上存在幂等元吗？

2. 所有的4元群都同构吗？所有的7元群都同构吗？

3. 整区中是否存在零因子？整区中所有非零元素的乘法周期都相等吗？

4. 设循环群G=(a)，|G|=24，则G中是否存在周期为5的元素？是否存在8元子群？

5. 设a GF(27)且a≠0，求6a和a26。

6. 在R13求2

4-4。

7. 设（G，·）是群，请给出满足方程a·b·x·c =1的解x，其中：1是G的单位元，a、b、c G。

8. 设G={e,a,b,c,d,f,g},（G，·）是群，e是G的单位元，计算a·b·c·d·f·g等于多少？

9. 设循环群G=(a)，H是G子群，则H是正规子群吗？

10. 写出模12剩余环的一个极大理想。

11. 域F上的非0多项式f(x)有k（k为非负整数）重根，则f(x)一定可约吗？

12. 给出多项式x5+5x4+2x3

1. 实例数据库 通过应用实例，宏观理解数据 库及其创建过程。

本 2. 数据库系 统概述

章 概 3. 三个世界 与概念模型 要4. 数据模型

数据处理技术发展历程、数据库 系统组成、功能和安全保护。 现实、信息到数据世界 ，概念模 型及表示方法，实体间关系。 4种常用数据模型的基本特征 1/106 及表示法。

5. 关系数据 关系、属性、元组、值域、关键 库基本概念 字、主关键字、外码、关系模式 和关系子模式等。

本 6. 数据模型 数据结构、数据操作、数据完 章 三个要素 整性约束 。 概7. 关系的基 关系选择操作、投影操作和连 本操作 接操作。 要8. 结构化查 询语言 由数据定义、操纵、查询和控 制语言 4部分组成。2/106

9. 常见关系数据库管理系统

第 1 节 银行储蓄 存储开户时间、储蓄类型、帐 实 数据库 号、密码、目前余额，存入明 细，提款明细等。 例 数 还有网上购物数据库、无纸化考试数据库、 据 学生选课数据库、学生信息管理数据库等。 库

铁路售票 数据库

存储日期、车辆信息(车次、 厢号、座号)、是否售出、售 出区间等。

3/106

人 工 表 、 数 据 库 表 及 转 换

对客观事物进行抽象、提取、归纳 和总结，最后通过表格

1. 实例数据库 通过应用实例，宏观理解数据 库及其创建过程。

本 2. 数据库系 统概述

章 概 3. 三个世界 与概念模型 要4. 数据模型

数据处理技术发展历程、数据库 系统组成、功能和安全保护。 现实、信息到数据世界 ，概念模 型及表示方法，实体间关系。 4种常用数据模型的基本特征 1/106 及表示法。

5. 关系数据 关系、属性、元组、值域、关键 库基本概念 字、主关键字、外码、关系模式 和关系子模式等。

本 6. 数据模型 数据结构、数据操作、数据完 章 三个要素 整性约束 。 概7. 关系的基 关系选择操作、投影操作和连 本操作 接操作。 要8. 结构化查 询语言 由数据定义、操纵、查询和控 制语言 4部分组成。2/106

9. 常见关系数据库管理系统

第 1 节 银行储蓄 存储开户时间、储蓄类型、帐 实 数据库 号、密码、目前余额，存入明 细，提款明细等。 例 数 还有网上购物数据库、无纸化考试数据库、 据 学生选课数据库、学生信息管理数据库等。 库

铁路售票 数据库

存储日期、车辆信息(车次、 厢号、座号)、是否售出、售 出区间等。

3/106

人 工 表 、 数 据 库 表 及 转 换

对客观事物进行抽象、提取、归纳 和总结，最后通过表格

简 报

.吉林大学计算机科学与技术学院 [2010-03] 总第62期

（一）、计算机学院领导探望住院学生并送去教工们的爱心捐款

8月12日中午，计算机学院院长胡亮、计算机学院党委书记郑爽、计算机学院党委副书记常有余以及08级辅导员刘星彤一行四人来到吉林大学第一医院住院部探望刚刚接受完放化疗的王凯同学。

王凯同学在上学期检查出患有脑膜瘤，随后便进行了肿瘤切除手术，手术非常成功，但需要接受放疗和化疗治疗。王凯同学家庭十分困难，难以承担如此巨额的治疗费用，郑书记和胡院长在得知此事后迅速作出决策——全院教职工为王凯同学进行捐款。经过全院教职工的努力，共筹得善款48500元，当胡院长将存折递给王凯父亲的时候，王凯一家人的眼眶都湿润了。王凯的父亲说“虽然王凯生病了，但王凯是幸福的，有领导、老师和同学们的关怀，王凯才能如此顺利的进行了手术，才能在这里继续接受治疗，感谢学院全体师生、感谢所有关心帮助王凯的好心人”

（二）、第五届计算机科学与技术前沿国际会议—FCST2010会议在吉林大学召开

第五届计算机科学与技术前沿国际会议—FCST2010（http://ccst.jlu.edu.cn/fcst/）于2010年8月18日