ARRAY<STRING> 转化成 ARRAY<LONG>

时间: 2023-07-08 10:18:22 浏览: 113
PDF

Javascript实现Array和String互转换的方法

如果你有一个 `ARRAY<STRING>` 类型的数组,你可以使用 Hive 内置函数 `cast()` 将其转换为 `ARRAY<LONG>` 类型的数组。例如: ``` SELECT cast(my_string_array as ARRAY<LONG>) as my_long_array FROM my_table; ``` 这将返回一个 `my_long_array` 列,其中每个元素都是一个整数类型的值,对应于 `my_string_array` 中的每个字符串。请注意,如果 `my_string_array` 中有任何无法转换为整数的字符串,将会返回 NULL 值。 另外,如果你需要将 `ARRAY<STRING>` 转换为 `ARRAY<INT>` 或 `ARRAY<DOUBLE>`,只需要将函数中的 `LONG` 替换为 `INT` 或 `DOUBLE` 即可。
阅读全文

相关推荐

第一部份#include <iostream> #include <memory> #include <stack> #include <fstream> #include <vector> #include <cmath> #include <iomanip> #include <exception> #include <climits> #include <array> #include <cstdint> #include <string> using namespace std; class T { public: virtual bool isOperator() = 0; virtual ~T() {} }; class ValueToken : public T { public: long long value; long long get_value() { return value; } virtual bool isOperator() { return false; } explicit ValueToken(long long val) : value(val) {} }; class OperatorToken : public T { public: enum OpType { BGN = 0, END, ADD, MNS, NEG, MUL, DIV, POW, LBK, RBK } optr; virtual bool isOperator() { return true; } char get_char() { switch (optr) { case BGN: return '@'; case END: return '$'; case ADD: return '+'; case MNS: return '-'; case NEG: return '#'; case MUL: return '*'; case DIV: return '/'; case POW: return '^'; case LBK: return '('; case RBK: return ')'; default: return '?'; } } explicit OperatorToken(OperatorToken::OpType op) : optr(op) {} bool is_prior(const OperatorToken& r) { return prior_table[this->optr][r.optr]; } static bool prior_table[10][10]; }; bool OperatorToken::prior_table[10][10] = { //BGN, END, ADD, MNS, NEG, MUL, DIV, POW, LBK, RBK {0,0,0,0,0,0,0,0,0,0},//BGN {1,0,0,0,0,0,0,0,0,0},//END {1,1,0,0,0,0,0,0,1,0},//ADD {1,1,0,0,0,0,0,0,1,0},//MNS {1,1,1,1,0,1,1,1,1,0},//NEG {1,1,1,1,0,0,0,0,1,0},//MUL {1,1,1,1,0,0,0,0,1,0},//DIV {1,1,1,1,0,1,1,1,1,0},//POW {1,1,1,1,1,1,1,1,1,0},//LBK {1,1,0,0,0,0,0,0,1,0},//RBK };

代码解释:void CopleyAmplifier::SetNewPVTMotionStartTime(boost::posix_time::ptime time,CouchTrjType pvt_point) { //Record the time stamp and data. m_bool_pvt_started = true; m_start_motion_time_us = PosixTime2Integer<unsigned long long>(time); m_last_pvt_data.p = m_start_pos; //Send the last dummy data calculated by the motion start time. ptime current_time = microsec_clock::universal_time(); ptime couch_time = Integer2PosixTime<unsigned long long>(pvt_point.t, current_time); ptime couch_to_L1_time = Integer2PosixTime<unsigned long long>(pvt_point.timeReachToBuffer, current_time); unsigned char next_point_time = round((pvt_point.t-m_start_motion_time_us)/1000.0)-m_total_motion_time_ms; if(next_point_time<4) { GcLogInfo(m_log_id, __FUNCTION__, "<CopleyStartPVT>Motion start time:%s. First couch time:%s.First couch to L1 time:%s.", boost::posix_time::to_simple_string(time).c_str(), boost::posix_time::to_simple_string(couch_time).c_str(), boost::posix_time::to_simple_string(couch_to_L1_time).c_str()); GcLogInfo(m_log_id, __FUNCTION__, "next_point_time: %d.",next_point_time); BOOST_THROW_EXCEPTION(AxisException() <<Axis_Error_Msg("Start PVT time failed! No enough time for First PVT data!")); } AmpPVTData dummy_data = {next_point_time,0,0}; //Send the left dummy data. dummy_data.time = next_point_time; Gantry::Array seg_cmd = ComposePVTRawData(dummy_data,m_next_pvt_index,1); GcLogDebugExpect(m_need_trace, m_log_id, __FUNCTION__, "<CopleyStartPVT>The %dth PVT dummy data.", m_next_pvt_index); WriteSDO(Gantry::ODAddress(COPLEY_PVT_DATA, 0), (unsigned long long)seg_cmd.GetValue<unsigned long long>()); GcLogInfo(m_log_id, __FUNCTION__, "<CopleyStartPVT>Motion start time:%s. First couch time:%s.First couch to L1 time:%s.", boost::posix_time::to_simple_string(time).c_str(), boost::posix_time::to_simple_string(couch_time).c_str(), boost::posix_time::to_simple_string(couch_to_L1_time).c_str()); m_total_motion_time_ms += dummy_data.time; m_lasttrj_segments.push_back(seg_cmd.GetValue<unsigned long long>()); ++m_next_pvt_index; GcLogInfo(m_log_id, __FUNCTION__, "<CopleyStartPVT>Motion Started. Start position %f mm.", pvt_point.p); }

@Component public class AuthUtil { private final RedisTemplateUtil<String, Object> permRedisManager; public AuthUtil(RedisTemplateUtil<String, Object> permRedisManager) { this.permRedisManager = permRedisManager; } public static final String SYS_EMPLOYEE_NAME = "sysEmployee"; public static final String MEMBER_NAME = "member"; public static final Long MEMBER_EXPIRES_TIME = 60L * 60 * 24; public static final Long SYS_EMPLOYEE_EXPIRES_TIME = 60L * 30; public String buildToken(String id, String name, Object loginObj) { String jwt = JWTBuilder.createJWT(id, name, loginObj); permRedisManager.set(id + "RF_AUTH", jwt, MEMBER_EXPIRES_TIME); String md5 = PasswordUtil.md5(jwt); if (name.equals(AuthUtil.SYS_EMPLOYEE_NAME)) { permRedisManager.set(PasswordUtil.md5(jwt), jwt, SYS_EMPLOYEE_EXPIRES_TIME); } else if (name.equals(AuthUtil.MEMBER_NAME)) { permRedisManager.set(PasswordUtil.md5(jwt), jwt, MEMBER_EXPIRES_TIME); } return md5; } public void removeToken(long id) { Object jetObj = permRedisManager.get(id + "RF_AUTH"); if (Validator.valid(jetObj)) { String md5 = PasswordUtil.md5((String) jetObj); permRedisManager.del(id + "RF_AUTH"); permRedisManager.del(md5); } } public String buildTokenWithExpires(String id, String name, Object loginObj) { String jwt = JWTBuilder.createJWTWithExpires(id, name, loginObj, 0); permRedisManager.set(id + "RF_AUTH", jwt); return jwt; } public String buildTokenWithExpires(String id, String name, Object loginObj, long time) { String jwt = JWTBuilder.createJWTWithExpires(id, name, loginObj, time); permRedisManager.set(id + "RF_AUTH", jwt); return jwt; } public void setPerm(long id, List<?> perms) { JSONArray array = (JSONArray) JSONArray.toJSON(perms); permRedisManager.set(id + "RF_AUTH_PERM", array.toJSONString()); } }这个类用于生成token和解析token,请问登录接口用java代码怎么写?@DeleteMapping("/deleteCode/{encode}") public JsonData<User> deleteCode(@PathVariable String encode) 接口在vue前端如何访问?

请解决implementation 'com.github.AnJoiner:FFmpegCommand:1.2.2-lite' fun getFFmpegCmd(inputFilePath: String, outputFilePath: String, watermarkFilePath: String): Array<String?>{ var height = videoHeight - DisplayHelper.dip2px(this, 50f) var width = videoWidth - DisplayHelper.dip2px(this, 100f) var strCommand = "ffmpeg -y -i ${inputFilePath} -i ${watermarkFilePath} -filter_complex [0:v]scale=iw:ih[outv0];[1:0]scale=0.0:0.0[outv1];[outv0][outv1]overlay=${width}:${height} -preset superfast ${outputFilePath}" val commands: Array<String?> = strCommand.split(" ".toRegex()).toTypedArray() return commands } fun addBitmapToVideo(inputFilePath: String, outputFilePath: String, watermarkFilePath: String) { LogUtil.d("inputFilePath=${inputFilePath},\noutputFilePath=${outputFilePath}") val addWaterMark = getFFmpegCmd(inputFilePath, watermarkFilePath, outputFilePath) try { CoroutineScope(Dispatchers.IO).launch { FFmpegCommand.runCmd(addWaterMark, object : IFFmpegCallBack { override fun onCancel() { } override fun onComplete() { finishVideo(VIDEO_COMPLETE) } override fun onError(errorCode: Int, errorMsg: String?) { LogUtil.w("水印视频错误_onError=${errorCode},${errorMsg}") finishVideo(VIDEO_ERROR) } override fun onProgress(progress: Int, pts: Long) { finishVideo(VIDEO_PROGRESS, progress) } override fun onStart() { } }) } } catch (e: Throwable) { // FFmpeg 不支持当前设备 LogUtil.w("Exception-e=${e.message}") } } backtrace: #00 pc 0x00000000000dba18 /apex/com.android.runtime/lib64/bionic/libc.so (strspn+12) #01 pc 0x0000000000339dec /data/app/~~EKJofAZ4BmKzTXggwqbGhw==/com.zsyj.facefancy-LE00NsHFRSow2FsnifHViQ==/lib/arm64/libffmpeg-org.so (avfilter_graph_parse2+80)

最新推荐

recommend-type

MATLAB实现小波阈值去噪:Visushrink硬软算法对比

资源摘要信息:"本资源提供了一套基于MATLAB实现的小波阈值去噪算法代码。用户可以通过运行主文件"project.m"来执行该去噪算法,并观察到对一张256x256像素的黑白“莱娜”图片进行去噪的全过程。此算法包括了添加AWGN(加性高斯白噪声)的过程,并展示了通过Visushrink硬阈值和软阈值方法对图像去噪的对比结果。此外,该实现还包括了对图像信噪比(SNR)的计算以及将噪声图像和去噪后的图像的打印输出。Visushrink算法的参考代码由M.Kiran Kumar提供,可以在Mathworks网站上找到。去噪过程中涉及到的Lipschitz指数计算,是基于Venkatakrishnan等人的研究,使用小波变换模量极大值(WTMM)的方法来测量。" 知识点详细说明: 1. MATLAB环境使用:本代码要求用户在MATLAB环境下运行。MATLAB是一种高性能的数值计算和可视化环境,广泛应用于工程计算、算法开发和数据分析等领域。 2. 小波阈值去噪:小波去噪是信号处理中的一个技术,用于从信号中去除噪声。该技术利用小波变换将信号分解到不同尺度的子带,然后根据信号与噪声在小波域中的特性差异,通过设置阈值来消除或减少噪声成分。 3. Visushrink算法:Visushrink算法是一种小波阈值去噪方法,由Donoho和Johnstone提出。该算法的硬阈值和软阈值是两种不同的阈值处理策略,硬阈值会将小波系数小于阈值的部分置零,而软阈值则会将这部分系数缩减到零。硬阈值去噪后的信号可能有更多震荡,而软阈值去噪后的信号更为平滑。 4. AWGN(加性高斯白噪声)添加:在模拟真实信号处理场景时,通常需要对原始信号添加噪声。AWGN是一种常见且广泛使用的噪声模型,它假设噪声是均值为零、方差为N0/2的高斯分布,并且与信号不相关。 5. 图像处理:该实现包含了图像处理的相关知识,包括图像的读取、显示和噪声添加。此外,还涉及了图像去噪前后视觉效果的对比展示。 6. 信噪比(SNR)计算:信噪比是衡量信号质量的一个重要指标,反映了信号中有效信息与噪声的比例。在图像去噪的过程中,通常会计算并比较去噪前后图像的SNR值,以评估去噪效果。 7. Lipschitz指数计算:Lipschitz指数是衡量信号局部变化复杂性的一个量度,通常用于描述信号在某个尺度下的变化规律。在小波去噪过程中,Lipschitz指数可用于确定是否保留某个小波系数,因为它与信号的奇异性相关联。 8. WTMM(小波变换模量极大值):小波变换模量极大值方法是一种小波分析技术,用于检测信号中的奇异点或边缘。该技术通过寻找小波系数模量极大值的变化来推断信号的局部特征。 9. 系统开源:该资源被标记为“系统开源”,意味着该MATLAB代码及其相关文件是可以公开访问和自由使用的。开源资源为研究人员和开发者提供了学习和实验的机会,有助于知识共享和技术发展。 资源的文件结构包括"Wavelet-Based-Denoising-MATLAB-Code-master",表明用户获取的是一套完整的项目文件夹,其中包含了执行小波去噪算法所需的所有相关文件和脚本。
recommend-type

管理建模和仿真的文件

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

【交互特征的影响】:分类问题中的深入探讨,如何正确应用交互特征

![【交互特征的影响】:分类问题中的深入探讨,如何正确应用交互特征](https://img-blog.csdnimg.cn/img_convert/21b6bb90fa40d2020de35150fc359908.png) # 1. 交互特征在分类问题中的重要性 在当今的机器学习领域,分类问题一直占据着核心地位。理解并有效利用数据中的交互特征对于提高分类模型的性能至关重要。本章将介绍交互特征在分类问题中的基础重要性,以及为什么它们在现代数据科学中变得越来越不可或缺。 ## 1.1 交互特征在模型性能中的作用 交互特征能够捕捉到数据中的非线性关系,这对于模型理解和预测复杂模式至关重要。例如
recommend-type

c语言从链式队列 中获取头部元素并返回其状态的函数怎么写

在 C 语言中,如果你有一个链式队列的数据结构,通常它会包含两个指针,一个指向队首(front),一个指向队尾(rear)。以下是一个简单的链式队列头部元素获取函数的示例,假设 `Queue` 是你的链式队列结构体,并且已经包含了必要的成员变量: ```c typedef struct Queue { void* data; // 存储数据的指针 struct Queue* front; // 队首指针 struct Queue* rear; // 队尾指针 } Queue; // 获取头部元素并检查是否为空(如果队列为空,返回 NULL 或适当错误值) void*
recommend-type

易语言实现画板图像缩放功能教程

资源摘要信息:"易语言是一种基于中文的编程语言,主要面向中文用户,其特点是使用中文关键词和语法结构,使得中文使用者更容易理解和编写程序。易语言画板图像缩放源码是易语言编写的程序代码,用于实现图形用户界面中的画板组件上图像的缩放功能。通过这个源码,用户可以调整画板上图像的大小,从而满足不同的显示需求。它可能涉及到的图形处理技术包括图像的获取、缩放算法的实现以及图像的重新绘制等。缩放算法通常可以分为两大类:高质量算法和快速算法。高质量算法如双线性插值和双三次插值,这些算法在图像缩放时能够保持图像的清晰度和细节。快速算法如最近邻插值和快速放大技术,这些方法在处理速度上更快,但可能会牺牲一些图像质量。根据描述和标签,可以推测该源码主要面向图形图像处理爱好者或专业人员,目的是提供一种方便易用的方法来实现图像缩放功能。由于源码文件名称为'画板图像缩放.e',可以推断该文件是一个易语言项目文件,其中包含画板组件和图像处理的相关编程代码。" 易语言作为一种编程语言,其核心特点包括: 1. 中文编程:使用中文作为编程关键字,降低了学习编程的门槛,使得不熟悉英文的用户也能够编写程序。 2. 面向对象:易语言支持面向对象编程(OOP),这是一种编程范式,它使用对象及其接口来设计程序,以提高软件的重用性和模块化。 3. 组件丰富:易语言提供了丰富的组件库,用户可以通过拖放的方式快速搭建图形用户界面。 4. 简单易学:由于语法简单直观,易语言非常适合初学者学习,同时也能够满足专业人士对快速开发的需求。 5. 开发环境:易语言提供了集成开发环境(IDE),其中包含了代码编辑器、调试器以及一系列辅助开发工具。 6. 跨平台:易语言支持在多个操作系统平台编译和运行程序,如Windows、Linux等。 7. 社区支持:易语言有着庞大的用户和开发社区,社区中有很多共享的资源和代码库,便于用户学习和解决编程中遇到的问题。 在处理图形图像方面,易语言能够: 1. 图像文件读写:支持常见的图像文件格式如JPEG、PNG、BMP等的读取和保存。 2. 图像处理功能:包括图像缩放、旋转、裁剪、颜色调整、滤镜效果等基本图像处理操作。 3. 图形绘制:易语言提供了丰富的绘图功能,包括直线、矩形、圆形、多边形等基本图形的绘制,以及文字的输出。 4. 图像缩放算法:易语言实现的画板图像缩放功能中可能使用了特定的缩放算法来优化图像的显示效果和性能。 易语言画板图像缩放源码的实现可能涉及到以下几个方面: 1. 获取画板上的图像:首先需要从画板组件中获取到用户当前绘制或已经存在的图像数据。 2. 图像缩放算法的应用:根据用户的需求,应用适当的图像缩放算法对获取的图像数据进行处理。 3. 图像重新绘制:处理后的图像数据需要重新绘制到画板上,以实现缩放后的效果。 4. 用户交互:提供用户界面,让用户能够通过按钮、滑块等控件选择缩放比例和模式,以及触发缩放操作。 5. 性能优化:为了确保图像缩放操作流畅,需要考虑代码的执行效率和资源的合理利用。 在易语言社区中,用户可以根据自己的需求修改和扩展画板图像缩放源码,或者根据提供的API进一步开发更多高级图像处理功能,从而丰富软件的功能和用户体验。
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

【交互特征:优化与调试的艺术】:实战技巧,提升回归模型与分类模型的性能

![【交互特征:优化与调试的艺术】:实战技巧,提升回归模型与分类模型的性能](https://ask.qcloudimg.com/http-save/yehe-8871522/e113209d8f0e317542ca15c510d91a73.png) # 1. 回归模型与分类模型的理论基础 ## 1.1 回归模型与分类模型的区别 回归模型和分类模型是机器学习中最基础的两类监督学习算法,它们在处理问题的本质上存在显著不同。 - **分类模型**:旨在通过数据集中的已知类别(标签)来预测新数据的类别。例如,邮件过滤器将邮件分类为垃圾邮件或正常邮件,或者根据用户的点击行为预测用户是否会购买某个
recommend-type

用IDEA写一个高速收费系统框架附带代码

创建一个高速收费系统的框架涉及到几个步骤,这里我将以 IntelliJ IDEA(一种流行的 Java IDE)为例,简要概述一下如何构建一个基础框架,并提供一些关键代码片段。我们将用到Spring Boot作为主要的框架,因为它简化了设置和部署。 1. **初始化项目**: - 打开IntelliJ IDEA,选择"Create New Project",然后选择"Maven"并勾选"Spring Initializr"。 - 输入项目名称和依赖项,例如`highway-toll-system`,并添加Spring Web、Spring Data JPA以及相关的数据库驱动。
recommend-type

大模型推荐系统: 优化算法与模型压缩技术

资源摘要信息:"大模型推荐系统large-model-master.zip" 知识点: 1. 推荐系统概述: 推荐系统是信息过滤系统的一种,旨在向用户推荐其可能感兴趣的项目或内容。在互联网技术飞速发展的今天,推荐系统被广泛应用于电子商务、社交媒体、视频和音乐流媒体服务等领域。它们通过分析用户行为、偏好和上下文信息,来提供个性化的内容或产品推荐。 2. 大模型在推荐系统中的作用: 所谓“大模型”,通常指的是具有大量参数的复杂深度学习模型。在推荐系统中,大模型可以处理和分析大量数据,捕获用户与项目之间的复杂关系和模式。这类模型通过训练可以学习到用户的深层次偏好,并进行高度个性化的推荐。例如,它们可以利用用户的历史行为数据,了解用户的长期喜好和短期兴趣,从而做出更为精准的推荐。 3. 大模型推荐系统的应用领域: 大模型推荐系统被应用于各种场景,如在线购物平台上的商品推荐、视频平台上的内容推荐、新闻网站上的新闻文章推荐等。在这些应用中,大模型通过分析用户的行为日志、搜索历史、购买记录等信息,来学习用户偏好,并预测用户未来可能感兴趣的商品或内容。 4. 推荐系统的关键技术和算法: 推荐系统的构建涉及多种技术与算法,包括协同过滤(Collaborative Filtering)、基于内容的推荐(Content-Based Recommendation)、混合推荐(Hybrid Recommendation)、深度学习模型(如神经协同过滤、序列模型等)。大模型推荐系统往往采用深度学习技术,这些技术可以利用复杂的网络结构来提取特征和建模用户行为。 5. 大模型推荐系统的挑战与优化: 尽管大模型推荐系统在提高推荐准确性方面表现出色,但它们也面临诸多挑战,如过拟合、冷启动问题、数据稀疏性、可解释性差等问题。为应对这些挑战,研究者和工程师需要对模型进行优化和调整,例如通过正则化技术防止过拟合、采用元学习(meta-learning)来解决冷启动问题、采用嵌入技术来缓解数据稀疏性问题,以及设计模型可解释性提升策略。 6. 推荐系统的实际部署和维护: 推荐系统的部署和维护同样重要。在实际部署中,需要考虑模型的推理速度、可扩展性、实时性和系统稳定性。此外,推荐系统的维护工作包括数据更新、模型迭代和监控系统性能。需要定期评估推荐质量,并根据用户反馈和系统日志对推荐模型进行调整。 7. 本资源的结构和内容: 本资源名为“大模型推荐系统large-model-master.zip”,它可能包含一个或多个深度学习推荐模型的代码库和相关文档。该压缩包可能包含了模型的源代码、训练脚本、评估工具以及必要的配置文件。由于文件名称列表仅提供了“large-model-master”,我们可以推测这是一个包含多个子模块或组件的项目结构,可能还包含了数据集、模型训练的示例、使用说明和API文档等。 综合以上知识点,这份资源为感兴趣的开发者提供了一个大模型推荐系统的参考实现,从理论到实践,包含了从模型构建到系统部署的全过程,可作为进一步学习和研究的起点。
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·恩