QueryWrapper<Student> qw = new QueryWrapper<>(); qw.isNotNull("username"); int stuNum = Math.toIntExact(studentMapper.selectCount(qw));解释一下这段代码的意思

时间: 2023-05-18 13:04:07 浏览: 174
这段代码使用了 MyBatis-Plus 框架中的 QueryWrapper 类,用于构建查询条件。其中,isNotNull 方法表示查询条件为 username 不为空的记录,selectCount 方法表示查询满足条件的记录数,最后使用 Math.toIntExact 方法将结果转换为 int 类型并赋值给 stuNum 变量。
相关问题

@RequestMapping("/stayoutlateList") public String stayoutlateList(Model model, HttpSession session) { Student student = (Student) session.getAttribute("loginUserinfo"); LambdaQueryWrapper<StayOutLate> stayOutLateLambdaQueryWrapper = new LambdaQueryWrapper<>(); stayOutLateLambdaQueryWrapper.eq(StayOutLate::getStuNum,student.getStudentNumber()); List<StayOutLate> stayOutLates = stayOutLateService.list(stayOutLateLambdaQueryWrapper); SimpleDateFormat sdf1 = new SimpleDateFormat("yyyy-MM-dd HH:mm"); stayOutLates.forEach(stayOutLate -> { String format = sdf1.format(stayOutLate.getCreatTime()); String format1 = sdf1.format(stayOutLate.getStayTime()); stayOutLate.setCreatTimeStr(format); stayOutLate.setStayTimeStr(format1); }); model.addAttribute("stayoutlateList", stayOutLates); return "stayoutlateList"; }请详细解释每一行代码

1. `@RequestMapping("/stayoutlateList")`: 声明一个映射到 `/stayoutlateList` 的请求处理方法。 2. `public String stayoutlateList(Model model, HttpSession session) {`: 声明一个名为 `stayoutlateList` 的公共方法,该方法需要 `Model` 对象和 `HttpSession` 对象作为参数,返回一个 `String` 对象。 3. `Student student = (Student) session.getAttribute("loginUserinfo");`: 从 HttpSession 对象中获取名为 `loginUserinfo` 的属性值,并将其转换为 `Student` 对象。 4. `LambdaQueryWrapper<StayOutLate> stayOutLateLambdaQueryWrapper = new LambdaQueryWrapper<>();`: 创建一个 `LambdaQueryWrapper` 对象,并指定其泛型类型为 `StayOutLate`。 5. `stayOutLateLambdaQueryWrapper.eq(StayOutLate::getStuNum,student.getStudentNumber());`: 在 `LambdaQueryWrapper` 对象中添加一个查询条件,查询 `StayOutLate` 对象中的 `stuNum` 字段是否等于当前学生的学号。 6. `List<StayOutLate> stayOutLates = stayOutLateService.list(stayOutLateLambdaQueryWrapper);`: 使用 `stayOutLateLambdaQueryWrapper` 对象查询数据库,获取符合条件的 `StayOutLate` 对象,并将其封装到一个 `List` 集合中。 7. `SimpleDateFormat sdf1 = new SimpleDateFormat("yyyy-MM-dd HH:mm");`: 创建一个名为 `sdf1` 的 `SimpleDateFormat` 对象,用于将日期类型转换为指定格式的字符串。 8. `stayOutLates.forEach(stayOutLate -> {`: 遍历 `stayOutLates` 集合中的每个元素,并执行花括号中的代码块。 9. `String format = sdf1.format(stayOutLate.getCreatTime());`: 将 `stayOutLate` 对象中的 `creatTime` 字段转换为指定格式的字符串,并将其赋值给 `format` 变量。 10. `String format1 = sdf1.format(stayOutLate.getStayTime());`: 将 `stayOutLate` 对象中的 `stayTime` 字段转换为指定格式的字符串,并将其赋值给 `format1` 变量。 11. `stayOutLate.setCreatTimeStr(format);`: 将 `format` 变量的值设置到 `stayOutLate` 对象的 `creatTimeStr` 字段中。 12. `stayOutLate.setStayTimeStr(format1);`: 将 `format1` 变量的值设置到 `stayOutLate` 对象的 `stayTimeStr` 字段中。 13. `});`: 结束 `forEach` 循环。 14. `model.addAttribute("stayoutlateList", stayOutLates);`: 将 `stayOutLates` 集合添加到 `Model` 对象中,属性名为 `stayoutlateList`。 15. `return "stayoutlateList";`: 返回一个字符串 `"stayoutlateList"`,表示要跳转到名为 `stayoutlateList` 的视图。

@RequestMapping("/askforleaveList") public String askforleaveList(Model model, HttpSession session) { Student student = (Student) session.getAttribute("loginUserinfo"); LambdaQueryWrapper<Vacate> vacateLambdaQueryWrapper = new LambdaQueryWrapper<>(); vacateLambdaQueryWrapper.eq(Vacate::getStuNum,student.getStudentNumber()); List<Vacate> vacates = vacateService.list(vacateLambdaQueryWrapper); SimpleDateFormat sdf1 = new SimpleDateFormat("yyyy-MM-dd HH:mm"); vacates.forEach(vacate -> { String format = sdf1.format(vacate.getCreatTime()); String format1 = sdf1.format(vacate.getStartTime()); String format2 = sdf1.format(vacate.getEndTime()); vacate.setCreatTimeStr(format); vacate.setStartTimeStr(format1); vacate.setEndTimeStr(format2); }); model.addAttribute("askforleaveList", vacates); return "askforleaveList"; }请详细解释每一行代码

好的,我来为你解释每一行代码的作用: ``` @RequestMapping("/askforleaveList") public String askforleaveList(Model model, HttpSession session) { ``` 这是一个Spring MVC的注解,表示将HTTP请求映射到Controller中的一个方法。当用户访问“/askforleaveList”时,该方法会被调用。该方法接受两个参数:Model和HttpSession。 ``` Student student = (Student) session.getAttribute("loginUserinfo"); ``` 从HttpSession中获取名为“loginUserinfo”的属性,并将其转换为Student类型。假设该属性是之前存储在session中的登录用户信息。 ``` LambdaQueryWrapper<Vacate> vacateLambdaQueryWrapper = new LambdaQueryWrapper<>(); vacateLambdaQueryWrapper.eq(Vacate::getStuNum,student.getStudentNumber()); ``` 创建一个LambdaQueryWrapper对象,用于构建查询条件。这里使用eq()方法指定查询条件:Vacate表中的StuNum字段等于当前登录学生的学号。 ``` List<Vacate> vacates = vacateService.list(vacateLambdaQueryWrapper); ``` 调用vacateService的list()方法,根据之前构建的查询条件,从数据库中查询Vacate表中符合条件的记录,并将查询结果存储到List<Vacate>中。 ``` SimpleDateFormat sdf1 = new SimpleDateFormat("yyyy-MM-dd HH:mm"); vacates.forEach(vacate -> { String format = sdf1.format(vacate.getCreatTime()); String format1 = sdf1.format(vacate.getStartTime()); String format2 = sdf1.format(vacate.getEndTime()); vacate.setCreatTimeStr(format); vacate.setStartTimeStr(format1); vacate.setEndTimeStr(format2); }); ``` 创建一个SimpleDateFormat对象,用于将Date类型转换为指定格式的字符串。遍历之前查询到的Vacate记录列表,将Vacate中的CreatTime、StartTime和EndTime字段转换为字符串类型,并存储到对应的CreatTimeStr、StartTimeStr和EndTimeStr字段中。 ``` model.addAttribute("askforleaveList", vacates); ``` 将查询到的Vacate记录列表存储到Model中,以便在视图页面中使用。 ``` return "askforleaveList"; ``` 返回视图页面的名称,即“askforleaveList”,用于告知Spring MVC框架渲染哪个页面。
阅读全文

相关推荐

以下是我的代码:import sqlite3 conn = sqlite3.connect('C:\\Users\\Dell\\Desktop\\studentsTXL.db') conn.execute('create table if not exists students (stunum primary key,name,number)') #conn.execute('CREATE TABLE students(stunum INT PRIMARY KEY NOT NULL,name TEXT NOT NULL,number INT NOT NULL);') def add_student(): student_number = int(input('请输入学生学号:')) name = input('请输入学生姓名:') number = int(input('请输入学生电话:')) conn.execute(f"insert into sudents (stunum,name,number) values ({student_number},'{name}',{number})") conn.commit() print('学生信息添加成功') def delete_student(): student_number= int(input('请输入要删除的学生学号:')) conn.execute(f"delete from students where stunum={student_number}") conn.commit() print('学生信息删除成功') def modify_student(): student_number = int(input('请输入要修改的学生的学号:')) name = input('请输入学生姓名:') number = int(input('请输入学生电话:')) conn.execute(f"update students set name='{name}', number={number} where stunum={student_number}") conn.commit() print('学生信息修改成功') # 查询学生信息 def query_student(): student_number = int(input('请输入要查询的学生学号:')) cursor = conn.execute(f"select * from students where stunum={student_number}") row = cursor.fetchone() if row is None: print('无学生信息') else: print(f'学生学号:{row[0]},姓名:{row[1]},电话:{row[2]}') # 主程序 while True: print('这是学生信息管理系统') print('1. 添加学生信息') print('2. 删除学生信息') print('3. 修改学生信息') print('4. 查询学生信息') print('5. 退出系统') choice = int(input('请选择要执行的操作:')) if choice == 1: add_student() elif choice == 2: delete_student() elif choice == 3: modify_student() elif choice == 4: query_student() elif choice == 5: break else: print('无此项选择') conn.close(),在运行且输入学生信息后,查询显示无学生信息,请问如何改正

大家在看

recommend-type

计算机组成与体系结构(性能设计)答案完整版-第八版

计算机组成与体系结构(性能设计)答案完整版-第八版
recommend-type

蓝牙室内定位服务源码!

蓝牙室内定位服务源码!
recommend-type

如何降低开关电源纹波噪声

1、什么是纹波? 2、纹波的表示方法 3、纹波的测试 4、纹波噪声的抑制方法
recommend-type

S7-200处理定时中断.zip西门子PLC编程实例程序源码下载

S7-200处理定时中断.zip西门子PLC编程实例程序源码下载S7-200处理定时中断.zip西门子PLC编程实例程序源码下载S7-200处理定时中断.zip西门子PLC编程实例程序源码下载S7-200处理定时中断.zip西门子PLC编程实例程序源码下载 1.合个人学习技术做项目参考合个人学习技术做项目参考 2.适合学生做毕业设计项目参考适合学生做毕业设计项目参考 3.适合小团队开发项目模型参考适合小团队开发项目模型参考
recommend-type

国自然标书医学下载国家自然科学基金面上课题申报中范文模板2023

国自然标书医学下载国家自然科学基金面上课题申报中范文模板2023(全部资料共57 GB+, 5870个文件) 10.第10部分2022国自然清单+结题报告(12月 更新)) 09·第九部分2022面上地区青年国自然申请书空白模板 08.第八部分 2021国自然空白模板及参考案例 07第七部分2022超全国自然申请申报及流程经 验 06·第六部分国家社科基金申请书范本 05.第五部分 独家最新资料内涵中标标 书全文2000 04.第四部分八大分部标书 00.2023年国自然更新

最新推荐

recommend-type

降低成本的oracle11g内网安装依赖-pdksh-5.2.14-1.i386.rpm下载

资源摘要信息: "Oracle数据库系统作为广泛使用的商业数据库管理系统,其安装过程较为复杂,涉及到多个预安装依赖包的配置。本资源提供了Oracle 11g数据库内网安装所必需的预安装依赖包——pdksh-5.2.14-1.i386.rpm,这是一种基于UNIX系统使用的命令行解释器,即Public Domain Korn Shell。对于Oracle数据库的安装,pdksh是必须的预安装组件,其作用是为Oracle安装脚本提供命令解释的环境。" Oracle数据库的安装与配置是一个复杂的过程,需要诸多组件的协同工作。在Linux环境下,尤其在内网环境中安装Oracle数据库时,可能会因为缺少某些关键的依赖包而导致安装失败。pdksh是一个自由软件版本的Korn Shell,它基于Bourne Shell,同时引入了C Shell的一些特性。由于Oracle数据库对于Shell脚本的兼容性和可靠性有较高要求,因此pdksh便成为了Oracle安装过程中不可或缺的一部分。 在进行Oracle 11g的安装时,如果没有安装pdksh,安装程序可能会报错或者无法继续。因此,确保pdksh已经被正确安装在系统上是安装Oracle的第一步。根据描述,这个特定的pdksh版本——5.2.14,是一个32位(i386架构)的rpm包,适用于基于Red Hat的Linux发行版,如CentOS、RHEL等。 运维人员在进行Oracle数据库安装时,通常需要下载并安装多个依赖包。在描述中提到,下载此依赖包的价格已被“打下来”,暗示了市场上其他来源可能提供的费用较高,这可能是因为Oracle数据库的软件和依赖包通常价格不菲。为了降低IT成本,本文档提供了实际可行的、经过测试确认可用的资源下载途径。 需要注意的是,仅仅拥有pdksh-5.2.14-1.i386.rpm文件是不够的,还要确保系统中已经安装了正确的依赖包管理工具,并且系统的软件仓库配置正确,以便于安装rpm包。在安装rpm包时,通常需要管理员权限,因此可能需要使用sudo或以root用户身份来执行安装命令。 除了pdksh之外,Oracle 11g安装可能还需要其他依赖,如系统库文件、开发工具等。如果有其他依赖需求,可以参考描述中提供的信息,点击相关者的头像,访问其提供的其他资源列表,以找到所需的相关依赖包。 总结来说,pdksh-5.2.14-1.i386.rpm包是Oracle 11g数据库内网安装过程中的关键依赖之一,它的存在对于运行Oracle安装脚本是必不可少的。当运维人员面对Oracle数据库安装时,应当检查并确保所有必需的依赖组件都已准备就绪,而本文档提供的资源将有助于降低安装成本,并确保安装过程的顺利进行。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

云计算术语全面掌握:从1+X样卷A卷中提炼精华

![云计算术语全面掌握:从1+X样卷A卷中提炼精华](https://ask.qcloudimg.com/http-save/yehe-1475574/696453895d391e6b0f0e27455ef79c8b.jpeg) # 摘要 本文全面解析了云计算的基础概念,并深入理解了云计算服务模型,包括IaaS、PaaS和SaaS的区别及其应用。文章详细探讨了云计算部署模型,包括公有云、私有云及混合云的架构优势和选择策略。同时,本文也实践应用了云计算的关键技术,如虚拟化、容器技术以及云安全策略。此外,文章探讨了云服务管理与监控的工具、最佳实践、性能监控以及合规性和可持续发展问题。最后,本文通
recommend-type

. 索读取⼀幅图像,让该图像拼接⾃身图像,分别⽤⽔ 平和垂直 2 种。要求运⾏结果弹窗以⾃⼰的名字全拼命名。

在Python中,我们可以使用PIL(Pillow)库来处理图像并实现您所描述的功能。首先,你需要安装PIL库,如果还没有安装,可以使用pip install pillow命令。以下是简单的步骤来实现这个功能: 1. 打开图像文件: ```python from PIL import Image def open_image_and_display(image_path): img = Image.open(image_path) ``` 2. 创建一个新的空白图像,用于存放拼接后的图像: ```python def create_concat_image(img, directi
recommend-type

Java基础实验教程Lab1解析

资源摘要信息:"Java Lab1实践教程" 本次提供的资源是一个名为"Lab1"的Java实验室项目,旨在帮助学习者通过实践来加深对Java编程语言的理解。从给定的文件信息来看,该项目的名称为"Lab1",它的描述同样是"Lab1",这表明这是一个基础的实验室练习,可能是用于介绍Java语言或设置一个用于后续实践的开发环境。文件列表中的"Lab1-master"表明这是一个主版本的压缩包,包含了多个文件和可能的子目录结构,用于确保完整性和便于版本控制。 ### Java知识点详细说明 #### 1. Java语言概述 Java是一种高级的、面向对象的编程语言,被广泛用于企业级应用开发。Java具有跨平台的特性,即“一次编写,到处运行”,这意味着Java程序可以在支持Java虚拟机(JVM)的任何操作系统上执行。 #### 2. Java开发环境搭建 对于一个Java实验室项目,首先需要了解如何搭建Java开发环境。通常包括以下步骤: - 安装Java开发工具包(JDK)。 - 配置环境变量(JAVA_HOME, PATH)以确保可以在命令行中使用javac和java命令。 - 使用集成开发环境(IDE),如IntelliJ IDEA, Eclipse或NetBeans,这些工具可以简化编码、调试和项目管理过程。 #### 3. Java基础语法 在Lab1中,学习者可能需要掌握一些Java的基础语法,例如: - 数据类型(基本类型和引用类型)。 - 变量的声明和初始化。 - 控制流语句,包括if-else, for, while和switch-case。 - 方法的定义和调用。 - 数组的使用。 #### 4. 面向对象编程概念 Java是一种面向对象的编程语言,Lab1项目可能会涉及到面向对象编程的基础概念,包括: - 类(Class)和对象(Object)的定义。 - 封装、继承和多态性的实现。 - 构造方法(Constructor)的作用和使用。 - 访问修饰符(如private, public)的使用,以及它们对类成员访问控制的影响。 #### 5. Java标准库使用 Java拥有一个庞大的标准库,Lab1可能会教授学习者如何使用其中的一些基础类和接口,例如: - 常用的java.lang包下的类,如String, Math等。 - 集合框架(Collections Framework),例如List, Set, Map等接口和实现类。 - 异常处理机制,包括try-catch块和异常类层次结构。 #### 6. 实验室项目实践 实践是学习编程最有效的方式之一。Lab1项目可能包含以下类型的实际练习: - 创建一个简单的Java程序,比如一个控制台计算器。 - 实现基本的数据结构和算法,如链表、排序和搜索。 - 解决特定的问题,比如输入处理和输出格式化。 #### 7. 项目组织和版本控制 "Lab1-master"文件名暗示该项目可能采用Git作为版本控制系统。在项目实践中,学习者可能需要了解: - 如何使用Git命令进行版本控制。 - 分支(Branch)的概念和合并(Merge)的策略。 - 创建和管理Pull Request来协作和审查代码。 #### 8. 代码规范和文档 良好的代码规范和文档对于保持代码的可读性和可维护性至关重要。Lab1项目可能会强调: - 遵循Java编码标准,例如命名约定、注释习惯。 - 编写文档注释(Javadoc),以便自动生成API文档。 通过Lab1项目的实践和指导,学习者能够逐步掌握Java编程语言的核心知识,并为后续更深入的学习和项目开发打下坚实的基础。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

【OPC UA基础教程】:C#实现与汇川PLC通讯的必备指南

# 摘要 随着工业自动化和智能制造的发展,OPC UA (Open Platform Communications Unified Architecture) 协议已成为实现设备间安全通信的关键技术。本文首先概述了OPC UA协议的基础知识,随后介绍了C#语言的基础和开发环境的配置,特别是如何在C#中集成OPC UA客户端库。文章重点讨论了OPC UA在C#环境中的应用,包括实现客户端、进行数据读写操作以及订阅机制。此外,还详细探讨了如何在C#环境中实现与汇川PLC的通讯,并提供了解决异常和通讯中断情况下的策略。最后,文章分析了OPC UA在工业自动化中的高级应用,包括面对工业4.0挑战的优势
recommend-type

华三路由器acl4000允许源mac地址

ACL (Access Control List) 是华为路由器中用于网络访问控制的一种机制,它可以根据MAC地址、IP地址等信息对数据包进行过滤。在华三路由器上,比如配置ACL 4000时,如果要允许特定源MAC地址的数据包通过,你可以按照以下步骤操作: 1. 登录到路由器管理界面,通常使用telnet或者Web UI(如AR命令行或者WebACD界面)。 2. 创建一个新的访问列表,例如: ``` acl number 4000 rule permit source mac-source-address ``` 其中,`mac-source-address`
recommend-type

前端开发基础三部曲:HTML、CSS、JavaScript实例教程

资源摘要信息:"前端开发入门实例代码.zip" 这份资源包含了初学者在前端开发领域中所需的HTML、CSS和JavaScript的基础知识。通过实例代码的方式,初学者可以快速上手并理解这三种核心技术。 HTML部分的文件名称为“第1部分 HTML基础”,它将介绍HTML的结构和基本标签的使用。HTML(超文本标记语言)是构建网页内容的骨架。初学者将学习如何使用各种HTML元素来创建网页结构,包括头部、导航栏、主要内容区域、侧边栏、页脚等。此外,还将涉及表单、图片、列表等常用HTML标签的使用方法。掌握这些基础知识点,能够帮助初学者构建一个标准的网页布局,并为后续的样式和行为脚本编写奠定基础。 CSS部分的文件名称为“第2部分 CSS基础”,这部分内容将引导初学者如何通过CSS来美化网页。CSS(层叠样式表)是用来描述HTML文档呈现样式的语言。在这个部分中,初学者将了解如何选择HTML元素,并对其应用样式,包括字体、颜色、背景、边框、尺寸、定位和布局等。此外,还会介绍CSS的盒模型概念、浮动和清除浮动的技巧,以及响应式设计的基本原理。通过这些知识,初学者可以将原本简单的网页变得具有现代感,并且在不同屏幕尺寸上都能有良好的显示效果。 JavaScript部分的文件名称为“第3部分 JavaScript基础”,JavaScript是网页中实现动态交互效果的关键技术。在这个部分中,初学者将开始学习JavaScript的基本语法,包括变量、数据类型、运算符、控制结构(如if语句和循环)、函数等。接着,将会教授如何操作DOM(文档对象模型),这是一种允许JavaScript与HTML文档动态交互的方式。通过学习事件处理、表单验证、简单的动画和交互式功能的实现,初学者能够理解如何在网页上加入动态效果,并且提升用户交互体验。 这份“前端开发入门实例代码.zip”资源非常适合那些希望入门前端开发领域的初学者,它将通过实例代码结合理论知识的方式,让学习者在实践中掌握前端开发的基础技能。无论是对于未来想要从事Web开发的程序员,还是对于有志于构建个人网站的爱好者,这都是一个非常好的起点。通过本资源的学习,初学者将能够创建结构合理、样式美观并且具有基本交互功能的网页,并为进一步深入学习前端技术打下坚实的基础。
recommend-type

关系数据表示学习

关系数据卢多维奇·多斯桑托斯引用此版本:卢多维奇·多斯桑托斯。关系数据的表示学习机器学习[cs.LG]。皮埃尔和玛丽·居里大学-巴黎第六大学,2017年。英语。NNT:2017PA066480。电话:01803188HAL ID:电话:01803188https://theses.hal.science/tel-01803188提交日期:2018年HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaireUNIVERSITY PIERRE和 MARIE CURIE计算机科学、电信和电子学博士学院(巴黎)巴黎6号计算机科学实验室D八角形T HESIS关系数据表示学习作者:Ludovic DOS SAntos主管:Patrick GALLINARI联合主管:本杰明·P·伊沃瓦斯基为满足计算机科学博士学位的要求而提交的论文评审团成员:先生蒂埃里·A·退休记者先生尤尼斯·B·恩