for j in range(0, Num_J): # 计量间 for t in range(Num_T): build_mixpump[j,t] = m.addVar(vtype=GRB.BINARY) # 计量间新建加热炉 for j in range(0, Num_J + Num_Z): for t in range(Num_T): T_in_CZ[j, t] = m.addVar() # 计量间、转油站进站温度 for j in range(0, Num_J + Num_J * Num_Z): for t in range(Num_T): T_in_CZ_mid[j, t] = m.addVar() # 计量间、转油站j的进站温度这段代码是用来干什么的

时间: 2024-04-06 07:35:18 浏览: 15
这段代码是用来为一个优化模型添加变量的,具体来说,它定义了三个变量矩阵 `build_mixpump`, `T_in_CZ`, `T_in_CZ_mid`,并使用 Gurobi 提供的 `addVar()` 方法将它们添加到了模型 `m` 中。其中 `build_mixpump` 是二进制变量,`T_in_CZ` 和 `T_in_CZ_mid` 是连续变量。这段代码中的循环语句可以理解为对这些变量进行初始化。
相关问题

import torch import torch.nn as nn from torchtext.datasets import AG_NEWS from torchtext.data.utils import get_tokenizer from torchtext.vocab import build_vocab_from_iterator # 数据预处理 tokenizer = get_tokenizer('basic_english') train_iter = AG_NEWS(split='train') counter = Counter() for (label, line) in train_iter: counter.update(tokenizer(line)) vocab = build_vocab_from_iterator([counter], specials=["<unk>"]) word2idx = dict(vocab.stoi) # 设定超参数 embedding_dim = 64 hidden_dim = 128 num_epochs = 10 batch_size = 64 # 定义模型 class RNN(nn.Module): def __init__(self, vocab_size, embedding_dim, hidden_dim): super(RNN, self).__init__() self.embedding = nn.Embedding(vocab_size, embedding_dim) self.rnn = nn.RNN(embedding_dim, hidden_dim, batch_first=True) self.fc = nn.Linear(hidden_dim, 4) def forward(self, x): x = self.embedding(x) out, _ = self.rnn(x) out = self.fc(out[:, -1, :]) return out # 初始化模型、优化器和损失函数 model = RNN(len(vocab), embedding_dim, hidden_dim) optimizer = torch.optim.Adam(model.parameters()) criterion = nn.CrossEntropyLoss() # 定义数据加载器 train_iter = AG_NEWS(split='train') train_data = [] for (label, line) in train_iter: label = torch.tensor([int(label)-1]) line = torch.tensor([word2idx[word] for word in tokenizer(line)]) train_data.append((line, label)) train_loader = torch.utils.data.DataLoader(train_data, batch_size=batch_size, shuffle=True) # 开始训练 for epoch in range(num_epochs): total_loss = 0.0 for input, target in train_loader: model.zero_grad() output = model(input) loss = criterion(output, target.squeeze()) loss.backward() optimizer.step() total_loss += loss.item() * input.size(0) print("Epoch: {}, Loss: {:.4f}".format(epoch+1, total_loss/len(train_data)))改错

在代码中出现了一个错误:缺少 `Counter` 的导入语句。需要在开头添加 `from collections import Counter`。 另外,在模型训练时,需要将模型设置为训练模式(`model.train()`),以启用 dropout 和 batch normalization 等功能。同时,还需要将输入和目标数据转移到 GPU 上进行计算,以加速训练过程。具体修改如下: ``` import torch import torch.nn as nn from torchtext.datasets import AG_NEWS from torchtext.data.utils import get_tokenizer from torchtext.vocab import build_vocab_from_iterator from collections import Counter # 数据预处理 tokenizer = get_tokenizer('basic_english') train_iter = AG_NEWS(split='train') counter = Counter() for (label, line) in train_iter: counter.update(tokenizer(line)) vocab = build_vocab_from_iterator([counter], specials=["<unk>"]) word2idx = dict(vocab.stoi) # 设定超参数 embedding_dim = 64 hidden_dim = 128 num_epochs = 10 batch_size = 64 # 定义模型 class RNN(nn.Module): def __init__(self, vocab_size, embedding_dim, hidden_dim): super(RNN, self).__init__() self.embedding = nn.Embedding(vocab_size, embedding_dim) self.rnn = nn.RNN(embedding_dim, hidden_dim, batch_first=True) self.fc = nn.Linear(hidden_dim, 4) def forward(self, x): x = self.embedding(x) out, _ = self.rnn(x) out = self.fc(out[:, -1, :]) return out # 初始化模型、优化器和损失函数 model = RNN(len(vocab), embedding_dim, hidden_dim) optimizer = torch.optim.Adam(model.parameters()) criterion = nn.CrossEntropyLoss() # 将模型设置为训练模式 model.train() # 将数据转移到 GPU 上 device = torch.device("cuda" if torch.cuda.is_available() else "cpu") model.to(device) train_iter = AG_NEWS(split='train') train_data = [] for (label, line) in train_iter: label = torch.tensor([int(label)-1]).to(device) line = torch.tensor([word2idx[word] for word in tokenizer(line)]).to(device) train_data.append((line, label)) train_loader = torch.utils.data.DataLoader(train_data, batch_size=batch_size, shuffle=True) # 开始训练 for epoch in range(num_epochs): total_loss = 0.0 for input, target in train_loader: optimizer.zero_grad() output = model(input) loss = criterion(output, target.squeeze()) loss.backward() optimizer.step() total_loss += loss.item() * input.size(0) print("Epoch: {}, Loss: {:.4f}".format(epoch+1, total_loss/len(train_data))) ```

def build_gwc_volume_cos(refimg_fea, targetimg_fea, maxdisp, num_groups): refimg_fea = refimg_fea/(torch.sum(refimg_fea**2, dim=1,keepdim=True).pow(1/2)+1e-05) targetimg_fea = targetimg_fea/(torch.sum(targetimg_fea**2, dim=1,keepdim=True).pow(1/2)+1e-05) B, C, H, W = refimg_fea.shape volume = refimg_fea.new_zeros([B, num_groups, maxdisp, H, W]) for i in range(maxdisp): if i > 0: volume[:, :, i, :, i:] = groupwise_correlation(refimg_fea[:, :, :, i:], targetimg_fea[:, :, :, :-i], num_groups) else: volume[:, :, i, :, :] = groupwise_correlation(refimg_fea, targetimg_fea, num_groups) volume = volume.contiguous() return volume

这是一个构建视差体积的函数,输入参数包括参考图像特征(refimg_fea)、目标图像特征(targetimg_fea)、最大视差(maxdisp)和分组数(num_groups)。首先,对参考图像特征和目标图像特征进行归一化处理。然后,根据最大视差和分组数创建一个大小为[B, num_groups, maxdisp, H, W]的零张量(volume)。接下来,通过循环遍历每个视差值i,计算对应视差的分组相关性并将结果存储在volume张量中。最后,返回计算完成的volume张量。

相关推荐

def train_gan(generator, discriminator, gan, dataset, latent_dim, epochs): notes = get_notes() # 得到所有不重复的音调数目 num_pitch = len(set(notes)) network_input, network_output = prepare_sequences(notes, num_pitch) model = build_gan(network_input, num_pitch) # 输入,音符的数量,训练后的参数文件(训练的时候不用写) filepath = "03weights-{epoch:02d}-{loss:.4f}.hdf5" checkpoint = tf.keras.callbacks.ModelCheckpoint( filepath, # 保存参数文件的路径 monitor='loss', # 衡量的标准 verbose=0, # 不用冗余模式 save_best_only=True, # 最近出现的用monitor衡量的最好的参数不会被覆盖 mode='min' # 关注的是loss的最小值 ) for epoch in range(epochs): for real_images in dataset: # 训练判别器 noise = tf.random.normal((real_images.shape[0], latent_dim)) fake_images = generator(noise) with tf.GradientTape() as tape: real_pred = discriminator(real_images) fake_pred = discriminator(fake_images) real_loss = loss_fn(tf.ones_like(real_pred), real_pred) fake_loss = loss_fn(tf.zeros_like(fake_pred), fake_pred) discriminator_loss = real_loss + fake_loss gradients = tape.gradient(discriminator_loss, discriminator.trainable_weights) discriminator_optimizer.apply_gradients(zip(gradients, discriminator.trainable_weights)) # 训练生成器 noise = tf.random.normal((real_images.shape[0], latent_dim)) with tf.GradientTape() as tape: fake_images = generator(noise) fake_pred = discriminator(fake_images) generator_loss = loss_fn(tf.ones_like(fake_pred), fake_pred) gradients = tape.gradient(generator_loss, generator.trainable_weights) generator_optimizer.apply_gradients(zip(gradients, generator.trainable_weights)) gan.fit(network_input, np.ones((network_input.shape[0], 1)), epochs=100, batch_size=64) # 每 10 个 epoch 打印一次损失函数值 if (epoch + 1) % 10 == 0: print("Epoch:", epoch + 1, "Generator Loss:", generator_loss.numpy(), "Discriminator Loss:", discriminator_loss.numpy())

class Detect(nn.Module): stride = None # strides computed during build onnx_dynamic = False # ONNX export parameter def __init__(self, nc=80, anchors=(), ch=(), inplace=True): # detection layer super().__init__() self.nc = nc # number of classes self.no = nc + 5 # number of outputs per anchor self.nl = len(anchors) # number of detection layers self.na = len(anchors[0]) // 2 # number of anchors self.grid = [torch.zeros(1)] * self.nl # init grid a = torch.tensor(anchors).float().view(self.nl, -1, 2) self.register_buffer('anchors', a) # shape(nl,na,2) self.register_buffer('anchor_grid', a.clone().view(self.nl, 1, -1, 1, 1, 2)) # shape(nl,1,na,1,1,2) self.m = nn.ModuleList(nn.Conv2d(x, self.no * self.na, 1) for x in ch) # output conv self.inplace = inplace # use in-place ops (e.g. slice assignment) def forward(self, x): z = [] # inference output for i in range(self.nl): x[i] = self.m[i](x[i]) # conv bs, _, ny, nx = x[i].shape # x(bs,255,20,20) to x(bs,3,20,20,85) x[i] = x[i].view(bs, self.na, self.no, ny, nx).permute(0, 1, 3, 4, 2).contiguous() if not self.training: # inference if self.grid[i].shape[2:4] != x[i].shape[2:4] or self.onnx_dynamic: self.grid[i] = self._make_grid(nx, ny).to(x[i].device) y = x[i].sigmoid() if self.inplace: y[..., 0:2] = (y[..., 0:2] * 2. - 0.5 + self.grid[i]) * self.stride[i] # xy y[..., 2:4] = (y[..., 2:4] * 2) ** 2 * self.anchor_grid[i] # wh else: # for YOLOv5 on AWS Inferentia https://github.com/ultralytics/yolov5/pull/2953 xy = (y[..., 0:2] * 2. - 0.5 + self.grid[i]) * self.stride[i] # xy wh = (y[..., 2:4] * 2) ** 2 * self.anchor_grid[i].view(1, self.na, 1, 1, 2) # wh y = torch.cat((xy, wh, y[..., 4:]), -1) z.append(y.view(bs, -1, self.no)) return x if self.training else (torch.cat(z, 1), x) @staticmethod def _make_grid(nx=20, ny=20): yv, xv = torch.meshgrid([torch.arange(ny), torch.arange(nx)]) return torch.stack((xv, yv), 2).view((1, 1, ny, nx, 2)).float()

class DistributedSampler(_DistributedSampler): def __init__(self, dataset, num_replicas=None, rank=None, shuffle=True): super().__init__(dataset, num_replicas=num_replicas, rank=rank) self.shuffle = shuffle def __iter__(self): if self.shuffle: g = torch.Generator() g.manual_seed(self.epoch) indices = torch.randperm(len(self.dataset), generator=g).tolist() else: indices = torch.arange(len(self.dataset)).tolist() indices += indices[:(self.total_size - len(indices))] assert len(indices) == self.total_size indices = indices[self.rank:self.total_size:self.num_replicas] assert len(indices) == self.num_samples return iter(indices) def build_dataloader(dataset_cfg, class_names, batch_size, dist, root_path=None, workers=4, seed=None, logger=None, training=True, merge_all_iters_to_one_epoch=False, total_epochs=0): dataset = __all__[dataset_cfg.DATASET]( dataset_cfg=dataset_cfg, class_names=class_names, root_path=root_path, training=training, logger=logger, ) if merge_all_iters_to_one_epoch: assert hasattr(dataset, 'merge_all_iters_to_one_epoch') dataset.merge_all_iters_to_one_epoch(merge=True, epochs=total_epochs) if dist: if training: sampler = torch.utils.data.distributed.DistributedSampler(dataset) else: rank, world_size = common_utils.get_dist_info() sampler = DistributedSampler(dataset, world_size, rank, shuffle=False) else: sampler = None dataloader = DataLoader( dataset, batch_size=batch_size, pin_memory=True, num_workers=workers, shuffle=(sampler is None) and training, collate_fn=dataset.collate_batch, drop_last=False, sampler=sampler, timeout=0, worker_init_fn=partial(common_utils.worker_init_fn, seed=seed) ) return dataset, dataloader, sampler

最新推荐

recommend-type

VMP技术解析:Handle块优化与壳模板初始化

"这篇学习笔记主要探讨了VMP(Virtual Machine Protect,虚拟机保护)技术在Handle块优化和壳模板初始化方面的应用。作者参考了看雪论坛上的多个资源,包括关于VMP还原、汇编指令的OpCode快速入门以及X86指令编码内幕的相关文章,深入理解VMP的工作原理和技巧。" 在VMP技术中,Handle块是虚拟机执行的关键部分,它包含了用于执行被保护程序的指令序列。在本篇笔记中,作者详细介绍了Handle块的优化过程,包括如何删除不使用的代码段以及如何通过指令变形和等价替换来提高壳模板的安全性。例如,常见的指令优化可能将`jmp`指令替换为`push+retn`或者`lea+jmp`,或者将`lodsbyteptrds:[esi]`优化为`moval,[esi]+addesi,1`等,这些变换旨在混淆原始代码,增加反逆向工程的难度。 在壳模板初始化阶段,作者提到了1.10和1.21两个版本的区别,其中1.21版本增加了`Encodingofap-code`保护,增强了加密效果。在未加密时,代码可能呈现出特定的模式,而加密后,这些模式会被混淆,使分析更加困难。 笔记中还提到,VMP会使用一个名为`ESIResults`的数组来标记Handle块中的指令是否被使用,值为0表示未使用,1表示使用。这为删除不必要的代码提供了依据。此外,通过循环遍历特定的Handle块,并依据某种规律(如`v227&0xFFFFFF00==0xFACE0000`)进行匹配,可以找到需要处理的指令,如`push0xFACE0002`和`movedi,0xFACE0003`,然后将其替换为安全的重定位值或虚拟机上下文。 在结构体使用方面,笔记指出壳模板和用户代码都会通过`Vmp_AllDisassembly`函数进行解析,而且0x8和0x10字段通常都指向相同的结构体。作者还提到了根据`pNtHeader_OptionalHeader.Magic`筛选`ESI_Matching_Array`数组的步骤,这可能是为了进一步确定虚拟机上下文的设置。 这篇笔记深入解析了VMP技术在代码保护中的应用,涉及汇编指令的优化、Handle块的处理以及壳模板的初始化,对于理解反逆向工程技术以及软件保护策略有着重要的参考价值。
recommend-type

管理建模和仿真的文件

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

【进阶】音频处理基础:使用Librosa

![【进阶】音频处理基础:使用Librosa](https://picx.zhimg.com/80/v2-a39e5c9bff1d920097341591ca8a2dfe_1440w.webp?source=1def8aca) # 2.1 Librosa库的安装和导入 Librosa库是一个用于音频处理的Python库。要安装Librosa库,请在命令行中输入以下命令: ``` pip install librosa ``` 安装完成后,可以通过以下方式导入Librosa库: ```python import librosa ``` 导入Librosa库后,就可以使用其提供的各种函数
recommend-type

python中字典转换成json

在Python中,你可以使用`json`模块将字典转换为JSON格式的字符串。下面是一个简单的示例: ```python import json # 假设我们有一个字典 dict_data = { "name": "John", "age": 30, "city": "New York" } # 使用json.dumps()函数将字典转换为JSON json_string = json.dumps(dict_data) print(json_string) # 输出:{"name": "John", "age": 30, "city": "New York"}
recommend-type

C++ Primer 第四版更新:现代编程风格与标准库

"Cpp Primer第四版中文版(电子版)1" 本书《Cpp Primer》第四版是一本深入浅出介绍C++编程语言的教程,旨在帮助初学者和有经验的程序员掌握现代C++编程技巧。作者在这一版中进行了重大更新,以适应C++语言的发展趋势,特别是强调使用标准库来提高编程效率。书中不再过于关注底层编程技术,而是将重点放在了标准库的运用上。 第四版的主要改动包括: 1. 内容重组:为了反映现代C++编程的最佳实践,书中对语言主题的顺序进行了调整,使得学习路径更加顺畅。 2. 添加辅助学习工具:每章增设了“小结”和“术语”部分,帮助读者回顾和巩固关键概念。此外,重要术语以黑体突出,已熟悉的术语以楷体呈现,以便读者识别。 3. 特殊标注:用特定版式标注关键信息,提醒读者注意语言特性,避免常见错误,强调良好编程习惯,同时提供通用的使用技巧。 4. 前后交叉引用:增加引用以帮助读者理解概念之间的联系。 5. 额外讨论和解释:针对复杂概念和初学者常遇到的问题,进行深入解析。 6. 大量示例:提供丰富的代码示例,所有源代码都可以在线获取,便于读者实践和学习。 本书保留了前几版的核心特色,即以实例教学,通过解释和展示语言特性来帮助读者掌握C++。作者的目标是创作一本清晰、全面、准确的教程,让读者在编写程序的过程中学习C++,同时也展示了如何有效地利用这门语言。 《Cpp Primer》第四版不仅适合C++初学者,也适合想要更新C++知识的老手,它全面覆盖了C++语言的各个方面,包括基础语法、类、模板、STL(Standard Template Library)等,同时引入了现代C++的特性,如智能指针、RAII(Resource Acquisition Is Initialization)、lambda表达式等,使读者能够跟上C++语言的发展步伐,提升编程技能。
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

【基础】网络编程入门:使用HTTP协议

![【基础】网络编程入门:使用HTTP协议](https://img-blog.csdnimg.cn/direct/4fbc6b5a6d744a519429654f56ea988e.png) # 1. 网络编程基础** **1.1 网络基础知识** 网络是连接计算机和设备的系统,允许它们交换数据和资源。它由节点(计算机、服务器、路由器等)和连接它们的数据链路组成。网络可以是局域网(LAN)、广域网(WAN)或互联网。 **1.2 TCP/IP协议栈** TCP/IP协议栈是一组通信协议,用于在网络上传输数据。它分为四层: * **链路层:**处理物理连接和数据传输。 * **网络层:
recommend-type

matlab画矢量分布图

在MATLAB中,绘制矢量分布图通常用于可视化二维或三维空间中的向量场,这有助于理解力场、风速、磁场等现象的分布情况。以下是使用MATLAB创建矢量分布图的基本步骤: 1. 准备数据:首先,你需要有一个表示向量场的矩阵,其中每个元素代表一个点的x、y坐标及其对应的矢量分量。 2. 使用`quiver`函数:MATLAB提供了一个内置函数`quiver(x, y, U, V)`,其中`x`和`y`是网格的行和列坐标,`U`和`V`是对应于每个网格点的x和y分量的向量值。 ```matlab [X, Y] = meshgrid(x, y); % 创建网格 quiver(X,
recommend-type

计算机系统基础实验:缓冲区溢出攻击(Lab3)

"计算机系统基础实验-Lab3-20191主要关注缓冲区溢出攻击,旨在通过实验加深学生对IA-32函数调用规则和栈结构的理解。实验涉及一个名为`bufbomb`的可执行程序,学生需要进行一系列缓冲区溢出尝试,以改变程序的内存映像,执行非预期操作。实验分为5个难度级别,从Smoke到Nitro,逐步提升挑战性。实验要求学生熟悉C语言和Linux环境,并能熟练使用gdb、objdump和gcc等工具。实验数据包括`lab3.tar`压缩包,内含`bufbomb`、`bufbomb.c`源代码、`makecookie`(用于生成唯一cookie)、`hex2raw`(字符串格式转换工具)以及bufbomb的反汇编源程序。运行bufbomb时需提供学号作为命令行参数,以生成特定的cookie。" 在这个实验中,核心知识点主要包括: 1. **缓冲区溢出攻击**:缓冲区溢出是由于编程错误导致程序在向缓冲区写入数据时超过其实际大小,溢出的数据会覆盖相邻内存区域,可能篡改栈上的重要数据,如返回地址,从而控制程序执行流程。实验要求学生了解并实践这种攻击方式。 2. **IA-32函数调用规则**:IA-32架构下的函数调用约定,包括参数传递、栈帧建立、返回值存储等,这些规则对于理解缓冲区溢出如何影响栈结构至关重要。 3. **栈结构**:理解栈的工作原理,包括局部变量、返回地址、保存的寄存器等如何在栈上组织,是成功实施溢出攻击的基础。 4. **Linux环境**:实验在Linux环境下进行,学生需要掌握基本的Linux命令行操作,以及如何在该环境下编译、调试和运行程序。 5. **GDB**:GNU Debugger(GDB)是调试C程序的主要工具,学生需要学会使用它来设置断点、查看内存、单步执行等,以分析溢出过程。 6. **Objdump**:这是一个反汇编工具,用于查看二进制文件的汇编代码,帮助理解程序的内存布局和执行逻辑。 7. **C语言编程**:实验涉及修改C源代码和理解已有的C程序,因此扎实的C语言基础是必不可少的。 8. **安全性与学术诚信**:实验强调了学术诚信的重要性,抄袭将受到严厉的处罚,这提示学生必须独立完成实验,尊重他人的工作。 9. **编程技巧**:实验要求学生能够熟练运用编程技巧,如缓冲区填充、跳转指令构造等,以实现对bufbomb的溢出攻击。 10. **实验等级与挑战**:不同级别的实验难度递增,鼓励学生逐步提升自己的技能和理解,从基础的缓冲区溢出到更复杂的攻击技术。 通过这个实验,学生不仅可以学习到安全相关的概念和技术,还能锻炼实际操作和问题解决能力,这对于理解和预防现实世界中的安全威胁具有重要意义。
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·恩