此版本是 TUAR v1.0.0 的更新,后者是一个部分注释的数据库。在 v1.0.0 中,使用了类似的五路系统以及额外的“空”标签。“空”标签涵盖未注释的任何内容,包括工件实例。在 v1.0.0 中,只有有限数量的工件被注释。在此更新版本中,工件的每个实例都经过注释;最终,这为用户提供了信心,即记录中未使用五个类别之一注释的任何部分都不包含工件。v2.0.0 中没有添加新文件、患者或会话。但是,数据已使用这些标准重新注释。文件总数保持不变,但工件事件的数量显着增加。注释完成并发布数据后,将提供有关语料库的完整统计数据。预计这将在 7 月初发生 - 就在 IEEE SPMB 提交截止日期之后。
免责声明 本文件为美国政府机构赞助工作的记录。美国政府、劳伦斯利弗莫尔国家安全有限责任公司及其任何雇员均不对所披露的任何信息、设备、产品或流程的准确性、完整性或实用性做任何明示或暗示的保证,也不承担任何法律责任或义务,也不表示其使用不会侵犯私有权利。本文以商品名、商标、制造商或其他方式提及任何特定商业产品、流程或服务并不一定构成或暗示美国政府或劳伦斯利弗莫尔国家安全有限责任公司对其的认可、推荐或支持。本文表达的作者观点和意见不一定代表或反映美国政府或劳伦斯利弗莫尔国家安全有限责任公司的观点和意见,不得用于广告或产品代言目的。
Form Page SF424 (R&R) 2 PHS 398 Cover Page Supplement 4 R&R Other Project Information 6 Project/Performance Site Locations(s) 7 R&R Senior/Key Person Profile (Expanded) 8 R&R Budget 9 R&R Subaward Budget Attachment Form 14 PHS 398 Modular Budget 15 PHS 398 Training Budget 16 PHS 398 Training Subaward Budget Attachment(s) 18 PHS Additional Indirect Costs Form 19 SF 424C预算信息 - 建筑计划21 PHS 398研究计划22 PHS 398职业发展奖补充表23 phs 398研究培训计划25 pHS奖学金补充表26 SBIR/STTR信息29 PHS人类受试者和临床试验信息31 PHS分配请求表格38
nist.gov › publication › get_pdf PDF 作者:V Babrauskas · 被引用次数:3 — 作者:V Babrauskas · 被引用次数:3 量子计量学。⚫电离辐射。• 时间和频率¹。• 量子物理学¹。制造工程实验室。• 精密工程。
本报告并非旨在作为任何特定技术的教程,尽管重点介绍了一些技术并进行了简要讨论。感兴趣的读者应查阅适当的文献,以获取有关使用本文所述技术的更多详细信息。最近,形式化方法在安全关键软件开发中的应用非常活跃,我们将在本报告后面概述形式化方法的类别及其使用方法。我们不专注于特定方法,因为应选择一种方法来匹配正在构建的系统。相反,我们讨论开发人员可以选择一种类型的方法而不是另一种类型的方法的选项。