XiaoMi-AI文件搜索系统
World File Search SystemCompile
MSITS 2010 编纂指南 - 联合国统计司
早在该进程开始时，就通过全球范围的磋商，就《编纂者指南》的注释大纲征求了各国统计机构、各国中央银行、国际和地区组织的意见。在此基础上，在 2012 年和 2013 年初举行的四次连续虚拟会议（涉及一个扩大的专家组）和 2013 年 6 月举行的一次联合国专家组面对面会议中，编写并审查了各章的初稿。除了这些会议之外，工作组还在 2012 年、2013 年和 2014 年的会议上分别讨论了指南的制定。磋商、审查以及虚拟和面对面会议由联合国统计司、经合组织和世贸组织协调。该进程从各次会议上收到的建议（和国家案例）中受益匪浅。
利用自动识别跟踪系统汇编作战现场和结构数据
16.摘要 马里兰州公路管理局 (SHA) 材料技术办公室 (OMT) 确保马里兰州道路系统上使用的材料质量符合批准的规范和标准，并经过适当设计、生产和建造。OMT 的材料质量部门分为沥青技术、混凝土技术、土壤和骨料技术以及结构材料和路面标记部门。每个部门负责运输设施建设中使用的材料的质量保证/控制测试、评估和许可。从现场对材料进行采样开始，这些材料的管理依赖于一系列密集的人工过程，包括样品收集和交付、书面报告和日志簿，以记录材料的实验室测试结果并跟踪物流信息。当材料在六个不同的实验室中移动时，材料信息被分别手动记录到本地网络数据库和材料管理系统 (MMS) 中。通过集成自动识别技术 (AIT)，可以简化当前生成样本报告和手动数据输入过程中所需的人力参与量。本研究调查了过去将 AIT 应用于土木工程和建筑应用的情况，以详细说明对 OMT 现有材料清关和 MMS 流程的必要修改；以及 AIT 系统硬件建议、软件开发和集成注意事项、估计投资成本和估计投资回报。17.关键词 自动识别、条形码、RFID、资产跟踪、资产监控、材料管理系统、材料清关流程
snip：编译器转换的投机执行和非干预保存
我们解决了在投机语义下在编译器转换之间保留非干预的问题。我们开发了一种证明方法，以确保在所有源程序中均匀保存。我们证明方法的基础是一种新的模拟关系形式。它通过指令进行操作，该指令对攻击者对微构造状态的控制进行建模，并且它解释了编译器转换可能会改变微构造状态对执行（以及指令）的影响。使用我们的证明方法，我们显示了消除死亡代码的正确性。当我们试图证明注册分配正确时，我们确定了以前未知的弱点，该弱点会引入非干预。我们已经证实了libsodium密码库中代码上主流编译器的弱点。为了再次获得安全性，我们开发了一种新颖的静态分析，该分析可在源程序和寄存器分配程序的产品上运行。使用分析，我们向现有的注册分配实现提供了一个自动修复程序。我们通过证明方法证明了固定寄存器分配的正确性。