XiaoMi-AI文件搜索系统
World File Search SystemAutomated
智能手机应用程序的自动化 Concolic 测试
1. 简介 具有先进计算能力和连接能力的移动设备（如智能手机和平板电脑）正变得越来越普遍。与此同时，在这些设备上运行的专用程序（称为应用程序）的开发和采用也呈激增态势。应用程序几乎渗透到从休闲到关键任务的所有活动中。因此，在应用程序生命周期的所有阶段（包括开发、测试、审计和部署）对软件质量工具的需求日益增长。应用程序具有许多使静态分析具有挑战性的特性：庞大的软件开发工具包 (SDK)、异步、进程间通信、数据库和图形用户界面 (GUI)。因此，许多现有的应用程序分析方法都是基于动态分析（例如 [7、9、10]）。任何动态分析有效性的核心问题是如何获得相关的程序输入。应用程序最不可分割和最常规的输入是事件。设备触摸屏上的点击、设备键盘上的按键和短信都是事件的实例。本文介绍了一种算法和系统，用于生成用于锻炼应用程序的输入事件。应用程序可以（实际上通常确实如此）拥有除事件之外的输入，例如磁盘上的文件和安全的 Web 内容。我们的工作与提供此类输入的方法正交且互补。应用程序是一类程序的实例，我们称之为事件驱动程序：程序 em
自动驾驶的人为因素视角
重复使用 存放在 White Rose Research Online 中的项目受版权保护，保留所有权利，除非另有说明。它们可以下载和/或打印用于个人学习，或国家版权法允许的其他行为。出版商或其他权利持有人可能允许进一步复制和重复使用全文版本。这由 White Rose Research Online 记录中该项目的许可信息指示。
自动化行政国家：合法性危机
* Lane Powell 和 D. Wayne Gittinger 法学教授；艾伦计算机科学与工程学院教授（礼节）；华盛顿大学信息学院教授（礼节）。** 弗吉尼亚大学法学院杰斐逊学者基金会申克杰出法学教授；网络民权倡议副总裁；2019 年麦克阿瑟奖获得者。我们永远感谢 Kevin De Liban，他的工作一直处于自动化行政决策的前沿，他慷慨地向我们介绍了我们的项目和他的工作。与隐私法学者会议的所有事情一样，我们的思想因同事的见解而得到加强，特别感谢 Sue Glueck，她在我们会议上对巧克力和花生酱棒的引用将继续成为指导原则，感谢 Sharon Bradford Franklin 主持了我们的会议，并感谢 Ken Bamberger、Deirdre Mulligan、John Duffy、Jon Penney 和 Paul Schwartz 提供了出色的评论。 Olivier Sylvain 也慷慨地给了我们极好的反馈。Emily Bryant-Álvarez 和 María Angel 提供了出色的研究协助。我们非常感谢 Emory Law Journal 的编辑——特别感谢 Brandon Naquin 和 Samuel Reilly。
自动化行政国家：合法性危机
行政国家的合法性建立在我们对机构专业知识的信任之上。尽管行政机构的结构超出宪法范围，但长期以来，它们一直坚定地尊重其在管理复杂、不断发展的社会中的关键作用。它们被赋予了巨大的权力，因为它们能够熟练而敏捷地应对不断变化的条件。近几十年来，州和联邦机构采用了一种新颖的运作模式：自动化。机构在履行其委托的职责时越来越依赖软件和算法。然而，自动化的行政国家显然充满了担忧。关于拒绝提供从旅行到残疾等福利和权利的法律挑战揭示了一种怪异和难以理解的结果的有害模式。迄今为止，学术界已经用特定的框架探讨了自动化的缺陷，询问我们如何确保自动化遵守现有的法律承诺，例如正当程序。对话中缺少对自动化机构合法性的更广泛、结构性的批评。自动化抛弃了行政国家所应具备的专业知识和灵活性，破坏了机构存在和权威的理由。然而，答案并不是拒绝机构使用技术。本文提出了一种积极的行政国家愿景，即只有当工具增强而不是破坏基础时，才会采用它们
自动化运输对角色、操作和...的影响
Abstract 这项国家研究是欧盟 CEF 计划项目 EU EIP 中“促进自动驾驶”工作包的一部分，重点关注自动驾驶的五个高级应用：高速公路自动驾驶仪、指定车道上的自动卡车、混合交通中的自动公交车、机器人出租车以及自动维护和道路施工车辆。报告描述了世界不同地区尤其是欧洲与自动驾驶相关的监管框架和权威策略。该研究估计了 2040 年之前芬兰新车中所检查应用的份额、整个汽车保有量和交通性能。该研究提出了对自动驾驶的规划操作环境（Operational Design Domain，ODD）特征进行分类的提案，并将其应用于选定的应用。该研究还估算了到 2040 年运营环境的实施、维护和使用所造成的成本。此外，还研究了高水平自动驾驶对汽车出行、出行、道路网络、道路特性和道路规划、交通管理、交通安全、平稳性和环境影响以及经济和就业的影响。最后，报告讨论了对道路管理员和当局的角色和责任的影响。该研究基于文献、案头分析、专家访谈和 2018 年举办的两次专家研讨会、该领域的大会和活动以及正在进行的研究结果。联系人 Alina Koskela/Eetu Pilli-Sihvola 报告语言 英语 保密 公开 总页数 137
法律委员会关于自动驾驶汽车的咨询
NPL 一直在为联网自动驾驶汽车中心和 Meridian Mobility 提供建议，以支持行业讨论如何测试和确保自动驾驶汽车的可靠性。人们已经认识到责任问题以及应该在哪里获得批准。有理由认为，所有考虑运行自动驾驶系统的车辆（路径 1 和路径 2）都应经过相同的安全保障流程。无论自动驾驶汽车是如何开发的，车辆传感器在不同环境条件下的表现都存在相同的问题。需要清楚地了解 - 并使用通用评估方法 - 这些传感器在其操作范围之外的表现方式以及与此相关的不确定性。这对于支持自动驾驶汽车操作范围的任何定义都很重要；它对于可靠的模拟建模和测试也是必要的，这被认为是任何自动驾驶汽车测试程序的重要组成部分。
自动表面观测系统 (ASOS)
20 世纪 90 年代，美国对气象服务进行了精心规划和实施。自动地面观测系统 (ASOS) 是其现代化过程中第一个投入运营的系统。因此，ASOS 处于系统部署和相关服务改进的前沿，这些改进将需要本世纪大部分时间才能完成。从这个意义上讲，ASOS 是 21 世纪气象服务的先驱。最终，ASOS 将在美国约 1,000 个机场投入运营。该系统是美国主要的地面气象观测系统，支持国家气象局 (NWS)、联邦航空管理局 (FAA) 和国防部 (DOD) 的基本航空观测计划。ASOS 的实施带来了许多机遇和挑战。机遇包括前所未有的更多地点及时、连续和客观的观测可用性。挑战通常与机构学习有关，需要充分理解和调整操作以充分利用这一新技术资源。ASOS 数据的潜在应用不仅限于为航空和预报提供基本天气信息；ASOS 还将为重要的国家项目提供增强支持，例如公共安全、水文、气候学、农业和环境保护等。ASOS 用户指南旨在为广大用户提供 ASOS 的基本参考和介绍。截至撰写本文时（1998 年 3 月），全国范围内已投入使用约 500 个 ASOS。未来几年将有另外 500 个上线。此次部署履行了政府十多年前做出的承诺，即为国家提供一套成本效益高、功能强大且可靠的自动气象观测系统，以实现安全、高效的航空运营和其他应用。这一成就得益于政府和私营行业的许多人的不懈努力，他们齐心协力，共同构思、规划、开发、测试和评估、实施、调试、监控、维护和操作系统。本 ASOS 用户指南谨献给所有为实现 ASOS 而努力工作的人。特别感谢 Jim Bradley 博士从一开始就对该计划的指导。最后，我要感谢 Dave Mannarano 协调编写和制作本 ASOS 用户指南。
智能手机应用程序的自动化 Concolic 测试
1. 简介 具有先进计算能力和连接能力的移动设备（如智能手机和平板电脑）正变得越来越普遍。与此同时，在这些设备上运行的专用程序（称为应用程序）的开发和采用也呈激增态势。应用程序几乎渗透到从休闲到关键任务的所有活动中。因此，在应用程序生命周期的所有阶段（包括开发、测试、审计和部署）对软件质量工具的需求日益增长。应用程序具有许多使静态分析具有挑战性的特性：庞大的软件开发工具包 (SDK)、异步、进程间通信、数据库和图形用户界面 (GUI)。因此，许多现有的应用程序分析方法都是基于动态分析（例如 [7、9、10]）。任何动态分析有效性的核心问题是如何获得相关的程序输入。应用程序最不可分割和最常规的输入是事件。设备触摸屏上的点击、设备键盘上的按键和短信都是事件的实例。本文介绍了一种算法和系统，用于生成用于锻炼应用程序的输入事件。应用程序可以（实际上通常确实如此）拥有除事件之外的输入，例如磁盘上的文件和安全的 Web 内容。我们的工作与提供此类输入的方法正交且互补。应用程序是一类程序的实例，我们称之为事件驱动程序：程序 em
自动吸气式推进测试设施
在新型发动机概念开发的早期，重点放在对发动机循环及其部件的分析评估上，以将设计方案的选择范围缩小到最有利于进一步开发的设计方案。重复的地面测试虽然昂贵且困难，但却是必要的下一步，因为通常不可能从第一原理对发动机的所有物理现象进行分析建模。对于新型高速（高超音速）发动机尤其如此，因为大多数技术领域（流体动力学、燃烧、材料等）的最新技术水平都超出了传统界限。因此，地面测试的重要性得到了强调。地面飞行模拟可能是一项复杂的任务。将测试发动机牢固地安装在地面上，通过将发动机放置在高速气流中来模拟飞行，该气流会在发动机内部和外部产生适当的速度、压力和温度条件。为了产生这种气流，来自高压高温供应的空气通过超音速（或高超音速）喷嘴膨胀。根据能量守恒定律，当高供应压力和温度条件下的空气膨胀到所需的超音速时，会产生适当的局部静压和温度条件来模拟所需的高度。因此，地面测试设施必须具有压缩、储存和加热大量空气的能力，并且必须配备控制系统来为这些大型喷气机提供适当的流量。此外，还必须有燃料供应系统、水供应系统、排气抽吸系统等。