Accum TrustedAccum::TEEaccum(Stats &stats, Nodes nodes, Vote<Void, Cert> votes[MAX_NUM_SIGNATURES]) { View v = votes[0].getCData().getView(); View highest = 0; Hash hash = Hash(); std::set<PID> signers; for(int i = 0; i < MAX_NUM_SIGNATURES && i < this->qsize; i++) { Vote<Void, Cert> vote = votes[i]; CData<Void, Cert> data = vote.getCData(); Sign sign = vote.getSign(); PID signer = sign.getSigner(); Cert cert = data.getCert(); bool vd = verifyCData(stats, nodes, data, sign); bool vc = verifyCert(stats, nodes, cert); if(data.getPhase() == PH1_NEWVIEW && data.getView() == v && signers.find(signer) == signers.end() && vd && vc) { if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "inserting signer" << KNRM << std::endl; } signers.insert(signer); if(cert.getView() >= highest) { highest = cert.getView(); hash = cert.getHash(); } } else { if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "vote:" << vote.prettyPrint() << KNRM << std::endl; } if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "not inserting signer (" << signer << ") because:" << "check-phase=" << std::to_string(data.getPhase() == PH1_NEWVIEW) << "(" << data.getPhase() << "," << PH1_NEWVIEW << ")" << ";check-view=" << std::to_string(data.getView() == v) << ";check-notin=" << std::to_string(signers.find(signer) == signers.end()) << ";verif-data=" << std::to_string(vd) << ";verif-cert=" << std::to_string(vc) << KNRM << std::endl; } } } bool set = true; unsigned int size = signers.size(); std::string text = std::to_string(set) + std::to_string(v) + std::to_string(highest) + hash.toString() + std::to_string(size); Sign sign(this->priv,this->id,text); return Accum(v, highest, hash, size, sign); }

时间: 2024-04-17 18:29:53 浏览: 318
PDF

计算机图形学(修订版)附录A OpenGL函数简介

这段代码是一个函数定义,函数名为`TEEaccum`,返回类型为`Accum`。 函数接受以下参数: - `Stats &stats`:一个`Stats`对象的引用。 - `Nodes nodes`:一个`Nodes`对象。 - `Vote<Void, Cert> votes[MAX_NUM_SIGNATURES]`:一个最大长度为`MAX_NUM_SIGNATURES`的`Vote<Void, Cert>`数组。 函数的主要功能是根据给定的投票数组,计算并返回一个`Accum`对象。 函数内部的操作如下: - 通过取第一个投票的视图号,获取变量`v`的值。 - 初始化变量`highest`为0,表示最高视图号。 - 初始化变量`hash`为一个空的`Hash`对象。 - 创建一个空的`std::set<PID>`来存储签名者。 - 使用循环遍历投票数组中的每个投票,最多遍历`MAX_NUM_SIGNATURES`次或者当前队列大小(`qsize`)次。 - 对于每个投票,获取其关联的数据对象和签名对象。 - 验证数据对象和签名对象的有效性,如果通过验证,则继续进行下一步操作。 - 如果数据对象的阶段为`PH1_NEWVIEW`,且视图号与变量`v`相等,且签名者不在已存在的签名者集合中,并且数据对象和证书对象都通过了验证,则执行以下操作: - 将签名者插入到签名者集合中。 - 如果证书对象的视图号大于等于当前最高视图号,则更新最高视图号为证书对象的视图号,同时更新`hash`为证书对象的哈希值。 - 否则,输出调试信息,指示为什么不将签名者插入到集合中。 - 检查签名者集合是否为空,并将结果保存到变量`set`中。 - 计算签名者集合的大小,并保存到变量`size`中。 - 将一些相关的信息转换为字符串,并使用私钥和节点ID创建一个签名对象`sign`。 - 返回一个`Accum`对象,该对象包含视图号`v`、最高视图号`highest`、哈希值`hash`、签名者集合的大小`size`以及生成的签名对象`sign`。 该函数的作用是根据给定的投票数组计算并返回一个累加对象,用于在TEE环境中验证和累加投票。
阅读全文

相关推荐

def train(train_loader, model, optimizer, epoch, best_loss): model.train() loss_record2, loss_record3, loss_record4 = AvgMeter(), AvgMeter(), AvgMeter() accum = 0 for i, pack in enumerate(train_loader, start=1): # ---- data prepare ---- images, gts = pack images = Variable(images).cuda() gts = Variable(gts).cuda() # ---- forward ---- lateral_map_4, lateral_map_3, lateral_map_2 = model(images) # ---- loss function ---- loss4 = structure_loss(lateral_map_4, gts) loss3 = structure_loss(lateral_map_3, gts) loss2 = structure_loss(lateral_map_2, gts) loss = 0.5 * loss2 + 0.3 * loss3 + 0.2 * loss4 # ---- backward ---- loss.backward() torch.nn.utils.clip_grad_norm_(model.parameters(), opt.grad_norm) optimizer.step() optimizer.zero_grad() # ---- recording loss ---- loss_record2.update(loss2.data, opt.batchsize) loss_record3.update(loss3.data, opt.batchsize) loss_record4.update(loss4.data, opt.batchsize) # ---- train visualization ---- if i % 400 == 0 or i == total_step: print('{} Epoch [{:03d}/{:03d}], Step [{:04d}/{:04d}], ' '[lateral-2: {:.4f}, lateral-3: {:0.4f}, lateral-4: {:0.4f}]'. format(datetime.now(), epoch, opt.epoch, i, total_step, loss_record2.show(), loss_record3.show(), loss_record4.show())) print('lr: ', optimizer.param_groups[0]['lr']) save_path = 'snapshots/{}/'.format(opt.train_save) os.makedirs(save_path, exist_ok=True) if (epoch+1) % 1 == 0: meanloss = test(model, opt.test_path) if meanloss < best_loss: print('new best loss: ', meanloss) best_loss = meanloss torch.save(model.state_dict(), save_path + 'TransFuse-%d.pth' % epoch) print('[Saving Snapshot:]', save_path + 'TransFuse-%d.pth'% epoch) return best_loss

解释代码def train(train_loader, model, optimizer, epoch, best_loss): model.train() loss_record2, loss_record3, loss_record4 = AvgMeter(), AvgMeter(), AvgMeter() accum = 0 for i, pack in enumerate(train_loader, start=1): # ---- data prepare ---- images, gts = pack images = Variable(images).cuda() gts = Variable(gts).cuda() # ---- forward ---- lateral_map_4, lateral_map_3, lateral_map_2 = model(images) # ---- loss function ---- loss4 = structure_loss(lateral_map_4, gts) loss3 = structure_loss(lateral_map_3, gts) loss2 = structure_loss(lateral_map_2, gts) loss = 0.5 * loss2 + 0.3 * loss3 + 0.2 * loss4 # ---- backward ---- loss.backward() torch.nn.utils.clip_grad_norm_(model.parameters(), opt.grad_norm) optimizer.step() optimizer.zero_grad() # ---- recording loss ---- loss_record2.update(loss2.data, opt.batchsize) loss_record3.update(loss3.data, opt.batchsize) loss_record4.update(loss4.data, opt.batchsize) # ---- train visualization ---- if i % 20 == 0 or i == total_step: print('{} Epoch [{:03d}/{:03d}], Step [{:04d}/{:04d}], ' '[lateral-2: {:.4f}, lateral-3: {:0.4f}, lateral-4: {:0.4f}]'. format(datetime.now(), epoch, opt.epoch, i, total_step, loss_record2.show(), loss_record3.show(), loss_record4.show())) print('lr: ', optimizer.param_groups[0]['lr']) save_path = 'snapshots/{}/'.format(opt.train_save) os.makedirs(save_path, exist_ok=True) if (epoch+1) % 1 == 0: meanloss = test(model, opt.test_path) if meanloss < best_loss: print('new best loss: ', meanloss) best_loss = meanloss torch.save(model.state_dict(), save_path + 'TransFuse-%d.pth' % epoch) print('[Saving Snapshot:]', save_path + 'TransFuse-%d.pth'% epoch) return best_loss

最新推荐

recommend-type

dnSpy-net-win32-222.zip

dnSpy-net-win32-222.zip
recommend-type

GitHub图片浏览插件:直观展示代码中的图像

资源摘要信息: "ImagesOnGitHub-crx插件" 知识点概述: 1. 插件功能与用途 2. 插件使用环境与限制 3. 插件的工作原理 4. 插件的用户交互设计 5. 插件的图标和版权问题 6. 插件的兼容性 1. 插件功能与用途 插件"ImagesOnGitHub-crx"设计用于增强GitHub这一开源代码托管平台的用户体验。在GitHub上,用户可以浏览众多的代码仓库和项目,但GitHub默认情况下在浏览代码仓库时,并不直接显示图像文件内容,而是提供一个“查看原始文件”的链接。这使得用户体验受到一定限制,特别是对于那些希望直接在网页上预览图像的用户来说不够方便。该插件正是为了解决这一问题,允许用户在浏览GitHub上的图像文件时,无需点击链接即可直接在当前页面查看图像,从而提供更为流畅和直观的浏览体验。 2. 插件使用环境与限制 该插件是专为使用GitHub的用户提供便利的。它能够在GitHub的代码仓库页面上发挥作用,当用户访问的是图像文件页面时。值得注意的是,该插件目前只支持".png"格式的图像文件,对于其他格式如.jpg、.gif等并不支持。用户在使用前需了解这一限制,以免在期望查看其他格式文件时遇到不便。 3. 插件的工作原理 "ImagesOnGitHub-crx"插件的工作原理主要依赖于浏览器的扩展机制。插件安装后,会监控用户在GitHub上的操作。当用户访问到图像文件对应的页面时,插件会通过JavaScript检测页面中的图像文件类型,并判断是否为支持的.png格式。如果是,它会在浏览器地址栏的图标位置上显示一个小octocat图标,用户点击这个图标即可触发插件功能,直接在当前页面上查看到图像。这一功能的实现,使得用户无需离开当前页面即可预览图像内容。 4. 插件的用户交互设计 插件的用户交互设计体现了用户体验的重要性。插件通过在地址栏中增加一个小octocat图标来提示用户当前页面有图像文件可用,这是一种直观的视觉提示。用户通过简单的点击操作即可触发查看图像的功能,流程简单直观,减少了用户的学习成本和操作步骤。 5. 插件的图标和版权问题 由于插件设计者在制作图标方面经验不足,因此暂时借用了GitHub的标志作为插件图标。插件的作者明确表示,如果存在任何错误或版权问题,将会进行更改。这体现了开发者对知识产权尊重的态度,同时也提醒了其他开发者在使用或设计相关图标时应当考虑到版权法律的约束,避免侵犯他人的知识产权。 6. 插件的兼容性 插件的兼容性是评估其可用性的重要标准之一。由于插件是为Chrome浏览器的用户所设计,因此它使用了Chrome扩展程序的标准格式,即.crx文件。用户需要通过浏览器的扩展程序管理界面进行安装。尽管目前插件仅支持.png图像格式,但对于希望在GitHub上浏览.png图像文件的用户来说,已经提供了非常实用的功能。未来,若开发者计划拓展插件支持的文件格式或适用于其他浏览器,则需要考虑到对现有代码的扩展和兼容性测试。 总结: "ImagesOnGitHub-crx"插件通过创新的用户体验设计,解决了GitHub在浏览图像文件时的一些局限性,使得图像浏览更加直观和便捷。尽管目前该插件存在一些限制,如仅支持.png格式和仅在Chrome浏览器中可用,但它为用户和开发者提供了良好的思路和实践。对于希望提高效率和增强功能的用户来说,这类工具扩展了GitHub的实用性,是开发人员工具箱中的一个有益补充。
recommend-type

管理建模和仿真的文件

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

【OPPO手机故障诊断专家】:工程指令快速定位与解决

![【OPPO手机故障诊断专家】:工程指令快速定位与解决](https://www.consumerelectronicstestdevelopment.com/media/2hlomnxy/oppo.jpg?anchor=center&mode=crop&width=1002&height=564&bgcolor=White&rnd=132773815380200000) # 摘要 本文综述了OPPO手机故障诊断的技术细节,涵盖了工程指令的基础理论、实践应用、高级技巧以及未来发展方向。首先介绍了工程指令的定义、分类、执行环境及其与手机系统交互的重要性。随后,深入探讨了工程指令在初步故障诊断
recommend-type

求[100,900]之间相差为12的素数对(注:要求素数对的两个素数均在该范围内)的个数

求解 [100, 900] 范围内相差为 12 的素数对,首先我们需要确定哪些数在这个区间内是素数。然后筛选出它们成对出现且差值为 12 的情况。 1. 确定素数范围内的素数:我们可以编写一个简单的程序来检查每个数字是否为素数,如果数字大于 1,并且除 2 到其平方根之间的所有整数都不能整除它,那么这个数字就是素数。 2. 遍历并寻找符合条件的素数对:从较大的素数开始向下遍历,找到的第一个素数作为“较大”素数,然后查看比它小 12 的下一个数,如果这个数也是素数,则找到了一对符合条件的素数。 3. 统计素数对的数量:统计在给定范围内找到的这种差距为 12 的素数对的数量。 由于计算素数
recommend-type

Android IPTV项目:直播频道的实时流媒体实现

资源摘要信息:"IPTV:直播IPTV的Android项目是一个基于Android平台的实时流式传输应用。该项目允许用户从M3U8或M3U格式的链接或文件中获取频道信息,并将这些频道以网格或列表的形式展示。用户可以在应用内选择并播放指定的频道。该项目的频道列表是从一个预设的列表中加载的,并且通过解析M3U或M3U8格式的文件来显示频道信息。开发者还计划未来更新中加入Exo播放器以及电子节目单功能,以增强用户体验。此项目使用了多种技术栈,包括Java、Kotlin以及Kotlin Android扩展。" 知识点详细说明: 1. IPTV技术: IPTV(Internet Protocol Television)即通过互联网协议提供的电视服务。它与传统的模拟或数字电视信号传输方式不同,IPTV通过互联网将电视内容以数据包的形式发送给用户。这种服务使得用户可以按需观看电视节目,包括直播频道、视频点播(VOD)、时移电视(Time-shifted TV)等。 2. Android开发: 该项目是针对Android平台的应用程序开发,涉及到使用Android SDK(软件开发工具包)进行应用设计和功能实现。Android应用开发通常使用Java或Kotlin语言,而本项目还特别使用了Kotlin Android扩展(Kotlin-Android)来优化开发流程。 3. 实时流式传输: 实时流式传输是指媒体内容以连续的流形式进行传输的技术。在IPTV应用中,实时流式传输保证了用户能够及时获得频道内容。该项目可能使用了HTTP、RTSP或其他流媒体协议来实现视频流的实时传输。 4. M3U/M3U8文件格式: M3U(Moving Picture Experts Group Audio Layer 3 Uniform Resource Locator)是一种常用于保存播放列表的文件格式。M3U8则是M3U格式的扩展版本,支持UTF-8编码,常用于苹果设备。在本项目中,M3U/M3U8文件被用来存储IPTV频道信息,如频道名称、视频流URL等。 5. Exo播放器: ExoPlayer是谷歌官方提供的一个开源视频播放器,专为Android优化。它支持多种特性,如自定义字幕、HDR视频播放、无缝直播等。ExoPlayer通常用于处理IPTV应用中的视频流媒体播放需求。 6. 电子节目单(EPG): 电子节目单是IPTV应用中一项重要功能,它为用户提供频道的节目指南,包括当前播放的节目以及未来节目的安排。电子节目单一般以网格或列表形式展示,方便用户浏览和搜索节目信息。 7. 开源贡献文化: 该项目提到了欢迎贡献者,表明这是一个开源项目。在开源文化中,开发者社区鼓励用户、开发者贡献代码来改进项目,这是一个共享知识、共同进步的过程。参与者通过贡献代码、报告问题或提供文档帮助等方式参与项目。 8. Kotlin编程语言: Kotlin是一种运行在Java虚拟机上的静态类型编程语言,它与Java完全兼容并可以无缝集成Java代码。Kotlin以其简洁、安全和富有表现力的特点被越来越多的Android开发者采用。在本项目中,使用Kotlin可以简化代码结构,提高开发效率和应用性能。 总结而言,本项目是一个面向Android平台的实时流媒体IPTV应用开发项目,它整合了实时流式传输、M3U/M3U8文件解析、Exo播放器使用、电子节目单功能等关键技术点,并在开源社区中寻求贡献者的参与。通过本项目,开发者可以深入了解如何在Android平台上实现IPTV服务,并学习到使用Kotlin和Java等编程语言进行Android应用开发的相关知识。
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

【OPPO手机工程模式终极指南】:掌握这些秘籍,故障排查不再难!

![【OPPO手机工程模式终极指南】:掌握这些秘籍,故障排查不再难!](https://i02.appmifile.com/mi-com-product/fly-birds/redmi-note-13/M/23e4e9fd45b41a172a59f811e3d1406d.png) # 摘要 OPPO手机工程模式是为高级用户和开发者设计的一组调试和诊断工具集,它能够帮助用户深入了解手机硬件信息、进行测试和故障诊断,并优化设备性能。本文将对OPPO工程模式进行系统性的介绍,包括如何进入和安全退出该模式,详述其中的基础与高级功能,并提供实用的故障诊断和排查技巧。同时,本文还将探讨如何利用工程模式对
recommend-type

前端在json文件里写模板,可以换行 有空格现在在文本框的时候

前端在 JSON 文件中通常不会直接写模板,并且 JSON 格式本身是基于键值对的,不支持换行和空格的保留。JSON 是一种数据交换格式,它要求数据结构紧凑、易于解析。如果你需要在前端显示模板内容,推荐使用 JavaScript 的模板字符串 (Template literals) 或者 Handlebars、Mustache 等前端模板引擎。 当你想在文本框中显示 JSON 数据时,会先将 JSON 转换成 HTML 可渲染的内容。例如: ```javascript let jsonData = { "template": "这是一个<br>换行示例", "text": "这是文
recommend-type

机器学习在医院再入院率预测中的应用分析

资源摘要信息:"readmission-prediction:使用机器学习方法预测医院入院率" 1. 机器学习在医疗领域的应用 机器学习技术在医疗领域具有广泛的应用潜力,特别是在疾病的预测、诊断、治疗方案的制定以及患者的管理等方面。本项目专注于使用机器学习方法来预测糖尿病患者的医院再入院率,这是医疗数据科学中的一个重要分支,其目的是为了优化医疗资源的分配,降低医疗成本,以及提升患者的生活质量。 2. 糖尿病患者再入院率的预测 糖尿病是一种常见的慢性疾病,患者需要长期管理和监控。然而,即使在管理得当的情况下,糖尿病患者仍可能因为并发症或其他健康问题而需要再次入院治疗。通过机器学习技术,可以分析患者的医疗记录、生活习惯、治疗响应等数据,以预测哪些患者存在高风险的再次入院可能性。 3. 数据集与数据处理 本项目中所使用的数据集是公开可获得的,这使得其他研究者或开发者可以复制或扩展这项研究。数据预处理是机器学习项目中的关键步骤,它包括清洗数据(如处理缺失值、异常值)、数据标准化或归一化、特征选择(确定哪些变量对于预测模型最为重要)、数据转换(如编码分类变量)等。 4. Jupyter Notebook的使用 Jupyter Notebook是一个开源的Web应用程序,允许创建和共享包含代码、可视化和解释性文本的文档,非常适合于数据分析、机器学习、统计建模等工作。在本项目中,Jupyter Notebook被用作演示和解释数据预处理和模型构建过程的工具。它也方便了结果的可视化展示,比如绘制各种图表和图形,以直观地展示模型的性能和预测结果。 5. 机器学习建模 机器学习模型的构建是通过选择适当的算法来完成的,可能包括决策树、随机森林、支持向量机、神经网络等。在建模过程中,需要对算法进行训练和验证,通常使用交叉验证的方法来评估模型的泛化能力。最终的模型需要在测试集上进行评估,以确保其准确性和可靠性。 6. 输出文件的生成 生成的最终输出文件可能包括模型的性能指标(如准确率、召回率、F1分数等)、关键特征的重要性排名、预测结果的可视化展示等。这些输出文件对于理解模型的预测能力以及将模型应用于实际医疗决策中都至关重要。 7. 项目团队与贡献 项目的成功往往需要一个跨学科的团队合作。这样的团队可能包括数据科学家、医疗专家、软件开发人员等。每个成员都根据自己的专业背景贡献于项目的不同方面,共同完成从数据收集、处理到模型构建和验证的全过程。 8. 教程与文档 本项目还包含详细说明和教程,这为学习者和使用者提供了宝贵的学习资源。通过阅读这些文档,用户不仅能够理解项目的实施步骤,还能学会如何应用机器学习技术于解决实际问题。这些教程可能是以文本、图表、代码注释等多种形式存在。 9. 开源精神与学术诚信 通过公开数据集和代码,本项目体现了开源精神,促进了知识共享和技术进步。这同时也强调了学术诚信的重要性,确保了研究成果的透明度和可验证性。 综上所述,本项目通过综合运用数据科学和机器学习方法,提供了一个预测糖尿病患者再入院率的有效框架,这对于医疗行业具有重要的实践意义和潜在的经济效益。通过开源的方式,也促进了相关知识的普及和技术的传播。