<function is_available at 0x000001F5A0D15AF0>

时间: 2023-12-05 20:03:02 浏览: 117
`is_available`是一个函数,用于检查当前环境是否可用特定的硬件或功能。在这种情况下,`is_available`应该指的是PyTorch中的`torch.cuda.is_available()`函数。 `torch.cuda.is_available()`函数用于检查当前环境是否可用CUDA加速。如果返回True,则表示当前环境可以使用CUDA加速,否则表示不可用。 你可以在代码中使用`torch.cuda.is_available()`函数来检查CUDA是否可用,例如: ```python import torch if torch.cuda.is_available(): # 可以使用CUDA加速 device = torch.device("cuda") else: # 使用CPU运行 device = torch.device("cpu") ``` 这样可以根据CUDA的可用性来选择在GPU上运行还是在CPU上运行代码。请确保在使用CUDA相关功能之前先检查其是否可用,以避免在不支持CUDA的环境中发生错误。
相关问题

import torch print(torch.cuda.is_available) 输出为<function is_available at 0x000001F5A0D15AF0>

抱歉,我之前给出的回答有误。`torch.cuda.is_available`是一个函数,你需要调用它才能获取CUDA是否可用的结果请使用`()`在`is_available`面添加括号来调用函数,并打印结果,如下所示: ```python import torch print(torch.cuda.is_available()) ``` 这样将会打印出CUDA是否可用的布尔值结果,即`True`表示CUDA可用,`False`表示CUDA不可用。如果你的显卡支持CUDA并且正确设置了CUDA相关环境和驱动程序,那么输出应该为`True`。

module test_bench (clk, data ); output clk; reg clk1; output data; wire data; wire [31:0] data_in; assign data_in = 32'h000fff00; reg [5:0] addr; reg clk_en; assign clk= clk1&clk_en&!addr[5]; initial begin clk1=1'b0; //data=1'b0; addr=5'b0; clk_en=1'b0; #2000 clk_en=1'b1; #100000 $finish; end always #50 clk1=~clk1; always @ (posedge clk ) begin addr <= addr+1; end assign data= data_in[addr[4:0]]; /*always @ (posedge clk) begin case(addr[4:0]) 5'd0: data <= data_in[31]; 5'd1: data <= data_in[30]; 5'd2: data <= data_in[29]; 5'd3: data <= data_in[28]; 5'd4: data <= data_in[27]; 5'd5: data <= data_in[26]; 5'd6: data <= data_in[25]; 5'd7: data <= data_in[24]; 5'd8: data <= data_in[23]; 5'd9: data <= data_in[22]; 5'd10: data <= data_in[21]; 5'd11: data <= data_in[20]; 5'd12: data <= data_in[19]; 5'd13: data <= data_in[18]; 5'd14: data <= data_in[17]; 5'd15: data <= data_in[16]; 5'd16: data <= data_in[15]; 5'd17: data <= data_in[14]; 5'd18: data <= data_in[13]; 5'd19: data <= data_in[12]; 5'd20: data <= data_in[11]; 5'd21: data <= data_in[10]; 5'd22: data <= data_in[9]; 5'd23: data <= data_in[8]; 5'd24: data <= data_in[7]; 5'd25: data <= data_in[6]; 5'd26: data <= data_in[5]; 5'd27: data <= data_in[4]; 5'd28: data <= data_in[3]; 5'd29: data <= data_in[2]; 5'd30: data <= data_in[1]; 5'd31: data <= data_in[0]; default: data <= 1'b0; endcase end */ endmodule

这段代码实现了一个简单的 Verilog testbench,用于测试某个模块。模块的输入是一个时钟信号 clk 和一个数据信号 data。在 testbench 中,时钟信号 clk 被定义为输出,数据信号 data 被定义为输出。同时,也定义了一个 32 位宽度的数据线 data_in,用于存储输入数据。该模块的功能是按顺序输出 data_in 中的数据,直到所有的数据都被输出完毕。 在 testbench 中,时钟 clk1 通过 always 块以 50 个时钟周期的间隔进行翻转。同时,addr 初始值为 0,clk_en 初始值为 0。当时钟信号 clk_en 被设置为 1 时,addr 以每个时钟周期加 1 的方式递增,直到 addr 的最高位(即 addr[5])为 1,表明所有的数据都已被读取。在每个时钟上升沿时,data 被赋值为 data_in 中对应地址的数据。在这里,使用了 assign 语句实现了这个功能。 注释掉的代码块是一种不同的实现方式,使用了 case 语句来对每个地址进行显式的分配。这种方法不如 assign 语句方便和简单,但也可以实现相同的功能。

相关推荐

Unity "System.ArgumentException: JSON must represent an object type.\r\n at (wrapper managed-to-native) UnityEngine.JsonUtility.FromJsonInternal(string,object,System.Type)\r\n at UnityEngine.JsonUtility.FromJson (System.String json, System.Type type) [0x0005c] in <d773524469e64e608a0d15b877a002d5>:0 \r\n at UnityEngine.JsonUtility.FromJson[T] (System.String json) [0x00001] in <d773524469e64e608a0d15b877a002d5>:0 \r\n at GameConfig+<>c__DisplayClass13_01[T].<LoadListAsync>b__0 (UnityEngine.TextAsset asset) [0x00014] in E:\\work\\ShootingRumble\\shootingrumble\\Assets\\_Scripts\\Config\\GameConfig.cs:95 \r\n at AssetsManager+<>c__DisplayClass1_01[T].<LoadAssetsAsyncByLabel>b__0 (T handle) [0x00001] in E:\\work\\ShootingRumble\\shootingrumble\\Assets\\_Scripts\\Core\\Manager\\AssetsManager.cs:35 \r\n at UnityEngine.ResourceManagement.ResourceManager+<>c__DisplayClass92_01[TObject].b__0 (UnityEngine.ResourceManagement.AsyncOperations.AsyncOperationHandle x) [0x00000] in E:\\work\\ShootingRumble\\shootingrumble\\Library\\PackageCache\\com.unity.addressables@1.19.19\\Runtime\\ResourceManager\\ResourceManager.cs:746 \r\n at UnityEngine.ResourceManagement.AsyncOperations.AsyncOperationBase1+<>c__DisplayClass57_0[TObject].<add_CompletedTypeless>b__0 (UnityEngine.ResourceManagement.AsyncOperations.AsyncOperationHandle1[TObject] s) [0x00000] in E:\\work\\ShootingRumble\\shootingrumble\\Library\\PackageCache\\com.unity.addressables@1.19.19\\Runtime\\ResourceManager\\AsyncOperations\\AsyncOperationBase.cs:286 \r\n at DelegateList1[T].Invoke (T res) [0x00038] in E:\\work\\ShootingRumble\\shootingrumble\\Library\\PackageCache\\com.unity.addressables@1.19.19\\Runtime\\ResourceManager\\Util\\DelegateList.cs:69 "

module seg_decode( input wire clk, input wire rst_n, input wire [4:0] seg_value_1, input wire [4:0] seg_value_2, output reg [5:0] sel, output reg [7:0] seg ); parameter CNT_20US = 10'd999; reg [3:0] number; wire [2:0] change_l; wire [2:0] change_h; reg [9:0] cnt; //计时模块 always@(posedge clk or negedge rst_n)begin if(!rst_n)begin cnt <= 10'd0; end else if(cnt == CNT_20US)begin cnt <= 10'd0; end else begin cnt <= cnt + 10'd1; end end always @(posedge clk or negedge rst_n) begin if(!rst_n)begin sel <= 6'b011111; end else if(cnt == CNT_20US)begin sel <= {sel[0],sel[5:1]}; end else begin sel <= sel; end end always @(posedge clk or negedge rst_n) begin if(!rst_n)begin number <= 4'd0; end else begin case(sel) 6'b011111: number <= seg_value_1 % 10; 6'b101111: number <= seg_value_1 / 10; 6'b110111: number <= seg_value_2 % 10; 6'b111011: number <= seg_value_2 / 10; 6'b111101: begin if(seg_value_2 < seg_value_1) number <= 4'd15; else number <= change_l; end 6'b111110: begin if(seg_value_2 < seg_value_1) number <= 4'd14; else number <= change_h; end default:number <= 4'd0; endcase end end always @(posedge clk or negedge rst_n) begin if(!rst_n)begin seg <= 8'b1100_0000; end else begin case(number) 4'd0: seg <= 8'b1100_0000; 4'd1: seg <= 8'b1111_1001; 4'd2: seg <= 8'b1010_0100; 4'd3: seg <= 8'b1011_0000; 4'd4: seg <= 8'b1001_1001; 4'd5: seg <= 8'b1001_0010; 4'd14: seg <= 8'b1000_0110; 4'd15: seg <= 8'b1100_1110; default:seg <= 8'b1100_0000; endcase end end assign change_l = (seg_value_2 - seg_value_1) % 10; assign change_h = (seg_value_2 - seg_value_1) / 10; sel_drive sel_drive_u ( .clk (clk), .rst_n (rst_n), .sel_2 () ); endmodule

给下列代码加注释和图形化界面module fifo #( parameter integer DWIDTH = 32, parameter integer AWIDTH = 4 ) ( input clock, reset, wr_en, rd_en, input [DWIDTH-1:0] data_in, output f_full, f_empty, output [DWIDTH-1:0] data_out ); reg [DWIDTH-1:0] mem [0:2**AWIDTH-1]; //parameter integer DEPTH = 1 << AWIDTH; //wire [DWIDTH-1:0] data_ram_out; //wire wr_en_ram; //wire rd_en_ram; reg [AWIDTH-1:0] wr_ptr; reg [AWIDTH-1:0] rd_ptr; reg [AWIDTH-1:0] counter; wire [AWIDTH-1:0] wr; wire [AWIDTH-1:0] rd; wire [AWIDTH-1:0] w_counter; //Write pointer always@(posedge clock) begin if (reset) begin wr_ptr <= {(AWIDTH){1'b0}}; end else if (wr_en && !f_full) begin mem[wr_ptr]<=data_in; wr_ptr <= wr; end end //Read pointer always@(posedge clock) begin if (reset) begin rd_ptr <= {(AWIDTH){1'b0}}; end else if (rd_en && !f_empty) begin rd_ptr <= rd; end end //Counter always@(posedge clock) begin if (reset) begin counter <= {(AWIDTH){1'b0}}; end else begin if (rd_en && !f_empty && !wr_en) begin counter <= w_counter; end else if (wr_en && !f_full && !rd_en) begin counter <= w_counter; end end end assign f_full = (counter == 4'd15)?1'b1:1'b0;//DEPTH- 1) ; assign f_empty = (counter == 4'd0)?1'b1:1'b0;//{AWIDTH{1'b0}}); assign wr = (wr_en && !f_full)?wr_ptr + 4'd1:wr_ptr + 4'd0; assign rd = (rd_en && !f_empty)?rd_ptr+ 4'd1:rd_ptr+ 4'd0; assign w_counter = (rd_en && !f_empty && !wr_en)? counter - 4'd1: (wr_en && !f_full && !rd_en)? counter + 4'd1: w_counter + 4'd0; //assign wr_en_ram = wr_en; //assign rd_en_ram = rd_en; assign data_out = mem[rd_ptr];//data_ram_out; /* dp_ram #(DWIDTH, AWIDTH) RAM_1 ( .clock(clock), .reset(reset), .wr_en(wr_en_ram), .rd_en(rd_en_ram), .data_in(data_in), .wr_addr(wr_ptr), .data_out(data_ram_out), .rd_addr(rd_ptr) ); */ endmodule

always @(posedge clk or negedge rst_n) if(!rst_n) begin key_v <= 4'b0000; new_value <= 4'd0; new_rdy <= 1'b0; end else begin case(cstate) K_IDLE: begin key_v <= 4'b0000; new_value <= 4'd0; new_rdy <= 1'b0; end K_H1OL: begin key_v <= 4'b1110; new_value <= 4'd0; new_rdy <= 1'b0; end K_H2OL: begin case(key_h) 4'b1110: begin key_v <= 4'b0000; new_value <= 4'd0; new_rdy <= 1'b1; end 4'b1101: begin key_v <= 4'b0000; new_value <= 4'd1; new_rdy <= 1'b1; end 4'b1011: begin key_v <= 4'b0000; new_value <= 4'd2; new_rdy <= 1'b1; end 4'b0111: begin key_v <= 4'b0000; new_value <= 4'd3; new_rdy <= 1'b1; end default: begin key_v <= 4'b1101; new_value <= 4'd0; new_rdy <= 1'b0; end endcase end K_H3OL: begin case(key_h) 4'b1110: begin key_v <= 4'b0000; new_value <= 4'd4; new_rdy <= 1'b1; end 4'b1101: begin key_v <= 4'b0000; new_value <= 4'd5; new_rdy <= 1'b1; end 4'b1011: begin key_v <= 4'b0000; new_value <= 4'd6; new_rdy <= 1'b1; end 4'b0111: begin key_v <= 4'b0000; new_value <= 4'd7; new_rdy <= 1'b1; end default: begin key_v <= 4'b1011; new_value <= 4'd0; new_rdy <= 1'b0; end endcase end K_H4OL: begin case(key_h) 4'b1110: begin key_v <= 4'b0000; new_value <= 4'd8; new_rdy <= 1'b1; end 4'b1101: begin key_v <= 4'b0000; new_value <= 4'd9; new_rdy <= 1'b1; end 4'b1011: begin key_v <= 4'b0000; new_value <= 4'd10; new_rdy <= 1'b1; end 4'b0111: begin key_v <= 4'b0000; new_value <= 4'd15; new_rdy <= 1'b1; end default: begin key_v <= 4'b0000; new_value <= 4'd0; new_rdy <= 1'b0; end endcase end default: ; endcase end

最新推荐

recommend-type

BSC绩效考核指标汇总 (2).docx

BSC(Balanced Scorecard,平衡计分卡)是一种战略绩效管理系统,它将企业的绩效评估从传统的财务维度扩展到非财务领域,以提供更全面、深入的业绩衡量。在提供的文档中,BSC绩效考核指标主要分为两大类:财务类和客户类。 1. 财务类指标: - 部门费用的实际与预算比较:如项目研究开发费用、课题费用、招聘费用、培训费用和新产品研发费用,均通过实际支出与计划预算的百分比来衡量,这反映了部门在成本控制上的效率。 - 经营利润指标:如承保利润、赔付率和理赔统计,这些涉及保险公司的核心盈利能力和风险管理水平。 - 人力成本和保费收益:如人力成本与计划的比例,以及标准保费、附加佣金、续期推动费用等与预算的对比,评估业务运营和盈利能力。 - 财务效率:包括管理费用、销售费用和投资回报率,如净投资收益率、销售目标达成率等,反映公司的财务健康状况和经营效率。 2. 客户类指标: - 客户满意度:通过包装水平客户满意度调研,了解产品和服务的质量和客户体验。 - 市场表现:通过市场销售月报和市场份额,衡量公司在市场中的竞争地位和销售业绩。 - 服务指标:如新契约标保完成度、续保率和出租率,体现客户服务质量和客户忠诚度。 - 品牌和市场知名度:通过问卷调查、公众媒体反馈和总公司级评价来评估品牌影响力和市场认知度。 BSC绩效考核指标旨在确保企业的战略目标与财务和非财务目标的平衡,通过量化这些关键指标,帮助管理层做出决策,优化资源配置,并驱动组织的整体业绩提升。同时,这份指标汇总文档强调了财务稳健性和客户满意度的重要性,体现了现代企业对多维度绩效管理的重视。
recommend-type

管理建模和仿真的文件

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

【进阶】Flask中的会话与用户管理

![python网络编程合集](https://media.geeksforgeeks.org/wp-content/uploads/20201021201514/pythonrequests.PNG) # 2.1 用户注册和登录 ### 2.1.1 用户注册表单的设计和验证 用户注册表单是用户创建帐户的第一步,因此至关重要。它应该简单易用,同时收集必要的用户信息。 * **字段设计:**表单应包含必要的字段,如用户名、电子邮件和密码。 * **验证:**表单应验证字段的格式和有效性,例如电子邮件地址的格式和密码的强度。 * **错误处理:**表单应优雅地处理验证错误,并提供清晰的错误消
recommend-type

卷积神经网络实现手势识别程序

卷积神经网络(Convolutional Neural Network, CNN)在手势识别中是一种非常有效的机器学习模型。CNN特别适用于处理图像数据,因为它能够自动提取和学习局部特征,这对于像手势这样的空间模式识别非常重要。以下是使用CNN实现手势识别的基本步骤: 1. **输入数据准备**:首先,你需要收集或获取一组带有标签的手势图像,作为训练和测试数据集。 2. **数据预处理**:对图像进行标准化、裁剪、大小调整等操作,以便于网络输入。 3. **卷积层(Convolutional Layer)**:这是CNN的核心部分,通过一系列可学习的滤波器(卷积核)对输入图像进行卷积,以
recommend-type

BSC资料.pdf

"BSC资料.pdf" 战略地图是一种战略管理工具,它帮助企业将战略目标可视化,确保所有部门和员工的工作都与公司的整体战略方向保持一致。战略地图的核心内容包括四个相互关联的视角:财务、客户、内部流程和学习与成长。 1. **财务视角**:这是战略地图的最终目标,通常表现为股东价值的提升。例如,股东期望五年后的销售收入达到五亿元,而目前只有一亿元,那么四亿元的差距就是企业的总体目标。 2. **客户视角**:为了实现财务目标,需要明确客户价值主张。企业可以通过提供最低总成本、产品创新、全面解决方案或系统锁定等方式吸引和保留客户,以实现销售额的增长。 3. **内部流程视角**:确定关键流程以支持客户价值主张和财务目标的实现。主要流程可能包括运营管理、客户管理、创新和社会责任等,每个流程都需要有明确的短期、中期和长期目标。 4. **学习与成长视角**:评估和提升企业的人力资本、信息资本和组织资本,确保这些无形资产能够支持内部流程的优化和战略目标的达成。 绘制战略地图的六个步骤: 1. **确定股东价值差距**:识别与股东期望之间的差距。 2. **调整客户价值主张**:分析客户并调整策略以满足他们的需求。 3. **设定价值提升时间表**:规划各阶段的目标以逐步缩小差距。 4. **确定战略主题**:识别关键内部流程并设定目标。 5. **提升战略准备度**:评估并提升无形资产的战略准备度。 6. **制定行动方案**:根据战略地图制定具体行动计划,分配资源和预算。 战略地图的有效性主要取决于两个要素: 1. **KPI的数量及分布比例**:一个有效的战略地图通常包含20个左右的指标,且在四个视角之间有均衡的分布,如财务20%,客户20%,内部流程40%。 2. **KPI的性质比例**:指标应涵盖财务、客户、内部流程和学习与成长等各个方面,以全面反映组织的绩效。 战略地图不仅帮助管理层清晰传达战略意图,也使员工能更好地理解自己的工作如何对公司整体目标产生贡献,从而提高执行力和组织协同性。
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

【进阶】Flask中的请求处理

![【进阶】Flask中的请求处理](https://img-blog.csdnimg.cn/20200422085130952.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3pqMTEzMTE5MDQyNQ==,size_16,color_FFFFFF,t_70) # 1. Flask请求处理概述** Flask是一个轻量级的Web框架,它提供了一个简洁且灵活的接口来处理HTTP请求。在Flask中,请求处理是一个核心概念,它允许
recommend-type

transformer模型对话

Transformer模型是一种基于自注意力机制的深度学习架构,最初由Google团队在2017年的论文《Attention is All You Need》中提出,主要用于自然语言处理任务,如机器翻译和文本生成。Transformer完全摒弃了传统的循环神经网络(RNN)和卷积神经网络(CNN),转而采用全连接的方式处理序列数据,这使得它能够并行计算,极大地提高了训练速度。 在对话系统中,Transformer模型通过编码器-解码器结构工作。编码器将输入序列转化为固定长度的上下文向量,而解码器则根据这些向量逐步生成响应,每一步都通过自注意力机制关注到输入序列的所有部分,这使得模型能够捕捉到
recommend-type

BSC绩效考核指标汇总 (3).pdf

BSC(Balanced Scorecard,平衡计分卡)是一种企业绩效管理系统,它将公司的战略目标分解为四个维度:财务、客户、内部流程和学习与成长。在这个文档中,我们看到的是针对特定行业(可能是保险或保险经纪)的BSC绩效考核指标汇总,专注于财务类和非财务类的关键绩效指标(KPIs)。 财务类指标: 1. 部门费用预算达成率:衡量实际支出与计划费用之间的对比,通过公式 (实际部门费用/计划费用)*100% 来计算,数据来源于部门的预算和实际支出记录。 2. 项目研究开发费用预算达成率:同样用于评估研发项目的资金管理,公式为 (实际项目研究开发费用/计划费用)*100%。 3. 课题费用预算达成率、招聘费用预算达成率、培训费用预算达成率 和 新产品研究开发费用预算达成率:这些都是人力资源相关开支的预算执行情况,涉及到费用的实际花费与计划金额的比例。 4. 承保利润:衡量保险公司盈利能力的重要指标,包括赔付率和寿险各险种的死差损益(实际死亡率与预期死亡率的差异)。 5. 赔付率:反映保险公司的赔付情况,是业务健康度的一个关键指标。 6. 内嵌价值的增加:代表了保单的价值增长,反映了公司长期盈利能力。 7. 人力成本总额控制率:通过比较实际人力成本与计划成本来评估人力成本的有效管理。 8. 标准保费达成率:衡量公司的销售业绩,即实际收取保费与目标保费的比率。 9. 其他费用比率,如附加佣金、续期推动费用、业务推动费用等,用来评估营销费用的效率。 非财务类指标: 1. 销售目标达成率:衡量销售团队完成预定目标的程度,通过实际销售额与计划销售额的比率计算。 2. 理赔率:体现客户服务质量和效率,涉及保险公司处理理赔请求的速度和成功率。 3. 产品/服务销售收入达成率:衡量产品或服务的实际销售效果,反映市场响应和客户满意度。 这些指标集合在一起,提供了全面的视角来评估公司的经营效率、财务表现以及战略执行情况。通过定期跟踪和分析这些数据,企业可以持续优化策略,提升业绩,确保与整体战略目标的一致性。每个指标的数据来源通常来自于相关部门的预算和实际操作记录,确保信息的准确性。
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·恩