class MultiHeadAttentionGraph(nn.Module): def __init__(self, n_head, d_model, d_k, d_v, dropout=0.1): super().__init__() self.n_head = n_head self.d_model = d_model self.d_k = d_k self.d_v = d_v self.W_Q = nn.Linear(d_model, n_head*d_k) # account for the fact that the relational edge information has double # the length self.W_K = nn.Linear(d_model*2, n_head*d_k) self.W_V = nn.Linear(d_model*2, n_head*d_v) self.W_O = nn.Linear(n_head*d_v, d_model) self.softmax = nn.Softmax(dim=-1) self.layer_norm = nn.LayerNorm(d_model) self.dropout = nn.Dropout(dropout) def forward(self, nodes, edges): n_batch, n_nodes, n_neighbors = edges.shape[:3] Q = self.W_Q(nodes).view([n_batch, n_nodes, 1, self.n_head, 1, self.d_k]) K = self.W_K(edges).view([n_batch, n_nodes, n_neighbors, self.n_head, self.d_k, 1]) attention = torch.matmul(Q, K).view([n_batch, n_nodes, n_neighbors, self.n_head]).transpose(-2,-1) attention = attention /np.sqrt(self.d_k) attention = self.softmax(attention) V = self.W_V(edges).view([n_batch, n_nodes, n_neighbors, self.n_head, self.d_v]).transpose(2,3) attention = attention.unsqueeze(-2) output = torch.matmul(attention, V).view([n_batch, n_nodes, self.d_v*self.n_head]) output = self.W_O(output) output = self.dropout(output) output = self.layer_norm(output + nodes) attention = attention.squeeze(-2).transpose(-2,-1) return output, attention

时间: 2024-02-14 18:07:12 浏览: 119
这是一个PyTorch模型的类定义,名为MultiHeadAttentionGraph。它继承自nn.Module类,表示这是一个可训练的模型。该模型实现了多头注意力机制,用于图神经网络中节点特征的更新。 该类的初始化方法中,有5个参数:n_head表示注意力头数,d_model表示输入节点特征的维度,d_k和d_v分别表示每个注意力头的查询、键、值向量的维度,dropout表示Dropout层的丢弃率。 该类的forward方法中,有2个参数:nodes表示输入的节点特征,edges表示节点之间的关系信息。其中,nodes的形状为(batch_size, num_nodes, d_model),edges的形状为(batch_size, num_nodes, num_neighbors, 2*d_model),其中2*d_model表示每条关系信息包含起点和终点的节点特征。 在forward方法中,首先通过全连接层W_Q、W_K、W_V将输入特征映射到查询、键、值向量,并对维度进行调整,得到Q、K、V三个张量。然后使用torch.matmul函数计算Q、K的点积,再进行softmax得到每个节点与邻居节点的注意力权重。接着使用torch.matmul函数计算注意力权重与V的加权和,并将结果维度调整为(batch_size, num_nodes, n_head*d_v),通过全连接层W_O得到输出特征。最后使用Dropout层和LayerNorm层对输出特征进行处理,得到最终的节点特征输出。注意力权重也作为函数的输出返回。
相关问题

class Transformer(nn.Module): def __init__(self, vocab_size: int, max_seq_len: int, embed_dim: int, hidden_dim: int, n_layer: int, n_head: int, ff_dim: int, embed_drop: float, hidden_drop: float): super().__init__() self.tok_embedding = nn.Embedding(vocab_size, embed_dim) self.pos_embedding = nn.Embedding(max_seq_len, embed_dim) layer = nn.TransformerEncoderLayer( d_model=hidden_dim, nhead=n_head, dim_feedforward=ff_dim, dropout=hidden_drop) self.encoder = nn.TransformerEncoder(layer, num_layers=n_layer) self.embed_dropout = nn.Dropout(embed_drop) self.linear1 = nn.Linear(embed_dim, hidden_dim) self.linear2 = nn.Linear(hidden_dim, embed_dim) def encode(self, x, mask): x = x.transpose(0, 1) x = self.encoder(x, src_key_padding_mask=mask) x = x.transpose(0, 1) return x

这是一段使用 PyTorch 实现的 Transformer 模型的代码,用于自然语言处理任务中的序列建模,例如文本分类、机器翻译等。 该模型的输入是一个词汇表大小为 `vocab_size`,最大序列长度为 `max_seq_len` 的词嵌入(embedding)矩阵,其中每个词嵌入的维度为 `embed_dim`。模型使用了 `n_layer` 层 TransformerEncoderLayer,每个 EncoderLayer 中包含了 `n_head` 个注意力头(self-attention)。每个 EncoderLayer 的隐藏层大小为 `hidden_dim`,Feedforward 层的大小为 `ff_dim`,并在每个 EncoderLayer 后应用了一个 `hidden_drop` 的 Dropout。在模型的输入层和第一个 EncoderLayer 之间,使用了一个 `embed_drop` 的 Dropout。 在 forward 方法中,输入的 `x` 是一个形状为 `(batch_size, seq_len)` 的整数张量,表示一个批次中的多个序列。`mask` 是一个形状为 `(batch_size, seq_len)` 的布尔型张量,用于指示哪些位置是填充值,需要被屏蔽。在 encode 方法中,模型首先将输入的 `x` 转置为 `(seq_len, batch_size)` 的形状,然后将其输入到 TransformerEncoder 中进行编码。最后,将编码结果再次转置为 `(batch_size, seq_len)` 的形状并返回。

详细解释这段代码import torch from torch import nn from einops.layers.torch import Rearrange class Transformer(nn.Module): def __init__(self, input_dim, num_class, hidden_dim) -> None: super().__init__() self.d_model = hidden_dim self.hidden_dim = 21 * self.d_model self.transformer = nn.Sequential( nn.Linear(input_dim, self.hidden_dim), Rearrange("b (n c) -> b n c", c=self.d_model), nn.TransformerEncoder( nn.TransformerEncoderLayer( d_model=self.d_model, nhead=4, dim_feedforward=self.d_model * 2, dropout=0.1, batch_first=True ), 4, torch.nn.LayerNorm(self.d_model), ), Rearrange("b n c -> b (n c)"), nn.Linear(self.hidden_dim, self.hidden_dim), nn.ReLU(), nn.Linear(self.hidden_dim, num_class), ) def forward(self,x): return self.transformer(x)

这段代码定义了一个Transformer类,它是一个神经网络模型,用于处理输入数据并输出预测结果。具体来说,模型的输入是一个大小为input_dim的向量,输出是一个大小为num_class的向量,表示预测的类别概率。 模型的主要组成部分是一个TransformerEncoder,它是由多个TransformerEncoderLayer组成的序列。每个TransformerEncoderLayer包含了一个多头自注意力层(Multi-head Attention)和两个全连接层(Feed-Forward),以及一些残差连接和层归一化操作。 在模型的前向传播过程中,输入数据首先经过一个线性变换,将其映射到一个更高维的空间中。然后,通过Rearrange操作将数据重新排列成一个三维张量,其中第一维是batch size,第二维是序列长度,第三维是特征维度,这就是TransformerEncoder的输入格式要求。接着,将数据输入到TransformerEncoder中进行处理,最后经过一系列全连接层和激活函数,得到最终的预测结果。 总的来说,这段代码实现了一个基于Transformer的神经网络模型,用于分类任务。
阅读全文

相关推荐

class ContrastiveModel(nn.Module): def __init__(self, backbone, head='mlp', features_dim=128): super(ContrastiveModel, self).__init__() self.backbone = backbone['backbone'] self.backbone_dim = backbone['dim'] self.head = head if head == 'linear': self.contrastive_head = nn.Linear(self.backbone_dim, features_dim) elif head == 'mlp': self.contrastive_head = nn.Sequential( nn.Linear(self.backbone_dim, self.backbone_dim), nn.ReLU(), nn.Linear(self.backbone_dim, features_dim)) else: raise ValueError('Invalid head {}'.format(head)) def forward(self, x): features = self.contrastive_head(self.backbone(x)) features = F.normalize(features, dim = 1) return features class ClusteringModel(nn.Module): def __init__(self, backbone, nclusters, nheads=1): super(ClusteringModel, self).__init__() self.backbone = backbone['backbone'] self.backbone_dim = backbone['dim'] self.nheads = nheads assert(isinstance(self.nheads, int)) assert(self.nheads > 0) self.cluster_head = nn.ModuleList([nn.Linear(self.backbone_dim, nclusters) for _ in range(self.nheads)]) def forward(self, x, forward_pass='default'): if forward_pass == 'default': features = self.backbone(x) out = [cluster_head(features) for cluster_head in self.cluster_head] elif forward_pass == 'backbone': out = self.backbone(x) elif forward_pass == 'head': out = [cluster_head(x) for cluster_head in self.cluster_head] elif forward_pass == 'return_all': features = self.backbone(x) out = {'features': features, 'output': [cluster_head(features) for cluster_head in self.cluster_head]} else: raise ValueError('Invalid forward pass {}'.format(forward_pass)) return out,这是什么模型啊

这是一个crossattention模块:class CrossAttention(nn.Module): def __init__(self, query_dim, context_dim=None, heads=8, dim_head=64, dropout=0.): super().__init__() inner_dim = dim_head * heads context_dim = default(context_dim, query_dim) self.scale = dim_head ** -0.5 self.heads = heads self.to_q = nn.Linear(query_dim, inner_dim, bias=False) self.to_k = nn.Linear(context_dim, inner_dim, bias=False) self.to_v = nn.Linear(context_dim, inner_dim, bias=False) self.to_out = nn.Sequential( nn.Linear(inner_dim, query_dim), nn.Dropout(dropout) ) def forward(self, x, context=None, mask=None): h = self.heads q = self.to_q(x) context = default(context, x) k = self.to_k(context) v = self.to_v(context) q, k, v = map(lambda t: rearrange(t, 'b n (h d) -> (b h) n d', h=h), (q, k, v)) # force cast to fp32 to avoid overflowing if _ATTN_PRECISION =="fp32": with torch.autocast(enabled=False, device_type = 'cuda'): q, k = q.float(), k.float() sim = einsum('b i d, b j d -> b i j', q, k) * self.scale else: sim = einsum('b i d, b j d -> b i j', q, k) * self.scale del q, k if exists(mask): mask = rearrange(mask, 'b ... -> b (...)') max_neg_value = -torch.finfo(sim.dtype).max mask = repeat(mask, 'b j -> (b h) () j', h=h) sim.masked_fill_(~mask, max_neg_value) # attention, what we cannot get enough of sim = sim.softmax(dim=-1) out = einsum('b i j, b j d -> b i d', sim, v) out = rearrange(out, '(b h) n d -> b n (h d)', h=h) return self.to_out(out) 我如何从中提取各个提示词的注意力热力图并用Gradio可视化?

最新推荐

recommend-type

俄罗斯RTSD数据集实现交通标志实时检测

资源摘要信息:"实时交通标志检测" 在当今社会,随着道路网络的不断扩展和汽车数量的急剧增加,交通标志的正确识别对于驾驶安全具有极其重要的意义。为了提升自动驾驶汽车或辅助驾驶系统的性能,研究者们开发了各种算法来实现实时交通标志检测。本文将详细介绍一项关于实时交通标志检测的研究工作及其相关技术和应用。 ### 俄罗斯交通标志数据集(RTSD) 俄罗斯交通标志数据集(RTSD)是专门为训练和测试交通标志识别算法而设计的数据集。数据集内容丰富,包含了大量的带标记帧、交通符号类别、实际的物理交通标志以及符号图像。具体来看,数据集提供了以下重要信息: - 179138个带标记的帧:这些帧来源于实际的道路视频,每个帧中可能包含一个或多个交通标志,每个标志都经过了精确的标注和分类。 - 156个符号类别:涵盖了俄罗斯境内常用的各种交通标志,每个类别都有对应的图像样本。 - 15630个物理符号:这些是实际存在的交通标志实物,用于训练和验证算法的准确性。 - 104358个符号图像:这是一系列经过人工标记的交通标志图片,可以用于机器学习模型的训练。 ### 实时交通标志检测模型 在该领域中,深度学习模型尤其是卷积神经网络(CNN)已经成为实现交通标志检测的关键技术。在描述中提到了使用了yolo4-tiny模型。YOLO(You Only Look Once)是一种流行的实时目标检测系统,YOLO4-tiny是YOLO系列的一个轻量级版本,它在保持较高准确率的同时大幅度减少计算资源的需求,适合在嵌入式设备或具有计算能力限制的环境中使用。 ### YOLO4-tiny模型的特性和优势 - **实时性**:YOLO模型能够实时检测图像中的对象,处理速度远超传统的目标检测算法。 - **准确性**:尽管是轻量级模型,YOLO4-tiny在多数情况下仍能保持较高的检测准确性。 - **易集成**:适用于各种应用,包括移动设备和嵌入式系统,易于集成到不同的项目中。 - **可扩展性**:模型可以针对特定的应用场景进行微调,提高特定类别目标的检测精度。 ### 应用场景 实时交通标志检测技术的应用范围非常广泛,包括但不限于: - 自动驾驶汽车:在自动驾驶系统中,能够实时准确地识别交通标志是保证行车安全的基础。 - 智能交通系统:交通标志的实时检测可以用于交通流量监控、违规检测等。 - 辅助驾驶系统:在辅助驾驶系统中,交通标志的自动检测可以帮助驾驶员更好地遵守交通规则,提升行驶安全。 - 车辆导航系统:通过实时识别交通标志,导航系统可以提供更加精确的路线规划和预警服务。 ### 关键技术点 - **图像处理技术**:包括图像采集、预处理、增强等步骤,为后续的识别模型提供高质量的输入。 - **深度学习技术**:利用深度学习尤其是卷积神经网络(CNN)进行特征提取和模式识别。 - **数据集构建**:构建大规模、多样化的高质量数据集对于训练准确的模型至关重要。 ### 结论 本文介绍的俄罗斯交通标志数据集以及使用YOLO4-tiny模型进行实时交通标志检测的研究工作,显示了在该领域应用最新技术的可能性。随着计算机视觉技术的不断进步,实时交通标志检测算法将变得更加准确和高效,进一步推动自动驾驶和智能交通的发展。
recommend-type

管理建模和仿真的文件

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

预测区间与置信区间:机器学习中的差异与联系

# 1. 机器学习中的统计基础 在当今数据驱动的时代,机器学习已经成为了理解大数据的关键途径。在这一章节中,我们将探索机器学习与统计学之间密不可分的关系,重点介绍统计学在机器学习中的核心地位及其应用。我们将从最基本的统计概念入手,为读者建立起机器学习中的统计基础。 ## 1.1 统计学的核心概念 统计学为我们提供了一套强大的工具,用以描述、分析以及从数据中得出结论。核心概念包括均值、方差、标准差等描述性统计指标,它们是理解数据集基本特征的关键。 ## 1.2 统计推断基础 统计推断是建立在概率论基础上的,允许我们在有限的数据样本上做出关于整体的结论。我们将解释置信区间和假设检验等基本概念
recommend-type

基于KNN通过摄像头实现0-9的识别python代码

基于KNN(K-Nearest Neighbors,最近邻算法)实现摄像头实时抓取图像并识别0-9数字的Python代码需要几个步骤,包括数据预处理、训练模型和实际应用。这里是一个简化版本的示例: ```python # 导入必要的库 import cv2 from sklearn.neighbors import KNeighborsClassifier import numpy as np # 数据预处理:假设你已经有一个包含手写数字的训练集 # 这里只是一个简化的例子,实际情况下你需要一个完整的图像数据集 # X_train (特征矩阵) 和 y_train (标签) X_train
recommend-type

易语言开发的文件批量改名工具使用Ex_Dui美化界面

资源摘要信息:"文件批量改名工具-易语言"是一个专门用于批量修改文件名的软件工具,它采用的编程语言是“易语言”,该语言是为中文用户设计的,其特点是使用中文作为编程关键字,使得中文用户能够更加容易地编写程序代码。该工具在用户界面上使用了Ex_Dui库进行美化,Ex_Dui是一个基于易语言开发的UI界面库,能够让开发的应用程序界面更美观、更具有现代感,增加了用户体验的舒适度。 【易语言知识点】: 易语言是一种简单易学的编程语言,特别适合没有编程基础的初学者。它采用了全中文的关键字和语法结构,支持面向对象的编程方式。易语言支持Windows平台的应用开发,并且可以轻松调用Windows API,实现复杂的功能。易语言的开发环境提供了丰富的组件和模块,使得开发各种应用程序变得更加高效。 【Ex_Dui知识点】: Ex_Dui是一个专为易语言设计的UI(用户界面)库,它为易语言开发的应用程序提供了大量的预制控件和风格,允许开发者快速地制作出外观漂亮、操作流畅的界面。使用Ex_Dui库可以避免编写繁琐的界面绘制代码,提高开发效率,同时使得最终的软件产品能够更加吸引用户。 【开源大赛知识点】: 2019开源大赛(第四届)是指在2019年举行的第四届开源软件开发竞赛活动。这类活动通常由开源社区或相关组织举办,旨在鼓励开发者贡献开源项目,推广开源文化和技术交流,提高软件开发的透明度和协作性。参与开源大赛的作品往往需要遵循开放源代码的许可协议,允许其他开发者自由使用、修改和分发代码。 【压缩包子文件的文件名称列表知识点】: 文件名称列表中包含了几个关键文件: - libexdui.dll:这显然是一个动态链接库文件,即DLL文件,它是由Ex_Dui库提供的,用于提供程序运行时所需的库函数和资源。DLL文件可以让程序调用相应的函数,实现特定的功能。 - 文件批量改名工具.e:这可能是易语言编写的主程序文件,带有.e扩展名,表明它是一个易语言源代码文件。 - Default.ext:这个文件名没有给出具体扩展名,可能是一个配置文件或默认设置文件,用户可以通过修改它来自定义软件的行为。 - Source:这可能是一个包含易语言源代码的目录,里面应该包含了文件批量改名工具的源代码,供开发者阅读和学习。 - Res:这个目录通常用于存放资源文件,如图形、声音等。在易语言项目中,Res目录下可能存放了程序运行所需的各种资源文件。 通过对标题、描述、标签以及文件名列表的分析,我们可以了解到这款文件批量改名工具采用了易语言编程,并且界面通过Ex_Dui库进行美化。它可能被提交到了2019年第四届开源大赛中,是开发者为用户提供的一个实用工具,用于提高处理文件时的效率。
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://img-blog.csdnimg.cn/img_convert/6158c68b161eeaac6798855e68661dc2.png) # 1. 机器学习预测区间的概念理解 在数据科学和机器学习中,预测区间是衡量模型预测不确定性和精确性的重要工具。**预测区间**是一个围绕预测值的范围,它提供了一个概率区间,旨在包含未来观测值的概率,表明模型预测的可信度。 预测区间的概念易于理解,比如在天气预报中,预报员会给出一个温度预测范围,而不是单一的数字,这个范围就是一种预测区间。它表明了在一定置信水平下,未来观测值可能落在的区间内。
recommend-type

如何修改QSpinBox的文字颜色?

在PyQt5中,你可以使用`setFontColor()`方法来修改QSpinBox内文字的颜色。下面是一个示例,展示了如何将QSpinBox的文字颜色改为红色: ```python from PyQt5.QtWidgets import QApplication, QWidget, QLabel, QSpinBox from PyQt5.QtGui import QColor, QFont app = QApplication([]) # 创建一个QSpinBox实例 spin_box = QSpinBox() # 创建一个字体对象,并设置颜色 font = QFont() font
recommend-type

爱心援助动态网页教程:前端开发实战指南

资源摘要信息:"HTML+CSS+JS+JQ+Bootstrap的爱心援助传播动态响应式网页.7z" 本资源文件是一套包含HTML、CSS、JavaScript、jQuery以及Bootstrap框架的前端开发套件,用于构建动态响应式的网页。资源名称表明其应用场景是面向爱心援助传播项目,强调了动态性和响应式设计的重要性。这不仅仅是一个简单的代码包,而是包含实战应用、详尽注释和框架特性的系统学习材料。 知识点详述: 1. HTML:超文本标记语言(HyperText Markup Language)是构建网页骨架的基石。HTML通过一系列的标签(tags)来定义网页内容的结构和类型,如段落、图片、链接等。在本资源中,HTML用于搭建信息架构,定义网页的基本内容和元素布局。 2. CSS:层叠样式表(Cascading Style Sheets)是用于设置网页样式的语言。CSS负责网页的外观和视觉表现,包括颜色、字体、布局等。通过CSS,开发者能够将网页设计转化为可视化界面,增强用户体验。资源中的CSS将专注于塑造视觉风格,让网页内容更加美观和专业。 3. JavaScript:是一种脚本语言,能够在浏览器中执行,实现网页的动态效果。JavaScript是网页交互的灵魂,通过JavaScript可以实现表单验证、动态内容更新、动画效果等功能。在本资源中,JavaScript将与jQuery结合使用,以简化DOM操作,提高开发效率。 4. jQuery:是一个快速、小巧、功能丰富的JavaScript库。jQuery通过封装大量的JavaScript操作,简化了DOM操作、事件处理、动画和Ajax交互等,使得开发者可以更加高效地编写JavaScript代码。资源中的jQuery将被用来打造动态交互,提升网站的交互体验。 5. Bootstrap:是目前最流行的前端框架之一,它基于HTML、CSS、JavaScript,主要用于响应式布局和界面设计。Bootstrap提供了一套完整的界面组件和栅格系统,可以快速设计出适应不同屏幕尺寸的网页布局。资源中的Bootstrap用以确保网站在各种设备上都能提供良好的用户体验。 实战应用与注释:资源文件中的源码将对每一个关键点进行详细注释,帮助开发者理解代码逻辑和框架机制,从而加速学习和项目开发的进程。注释的详细程度和质量直接关系到学习效果,这也是本资源相较于普通模板或者教程更加有价值的地方。 适用人群:本资源适合于前端开发专业人士提升技能,也适合初学者从零开始构建高质量网站。无论目标是构建个人品牌站点还是开发功能丰富的电子商务平台,本资源都提供了坚实的技术支撑。 深入剖析与灵活运用:开发者在学习本资源时,应当深入剖析每一行代码,理解其背后的逻辑与功能,同时灵活运用各个框架的特性。这将有助于开发者在数字世界中脱颖而出,掌握前端技术的最新趋势,迈出构建卓越网站的第一步。
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·恩