XiaoMi-AI文件搜索系统
World File Search System挑选的
PTPT：通过多目标贝叶斯优化进行物理设计工具参数调整
摘要 — 在先进的集成电路设计中，与电子设计自动化 (EDA) 工具相关的物理设计流程起着至关重要的作用。大多数情况下，输入物理设计工具的参数主要是基于专家的领域知识手动挑选的。然而，由于技术节点的不断缩小以及参数组合所跨越的设计空间的复杂性，甚至再加上耗时的仿真过程，这种对物理设计工具参数配置的手动探索变得极其费力。在设计流程参数调整领域存在一些工作。然而，非常有限的现有技术探索了多个感兴趣的结果质量 (QoR) 指标（例如延迟、功率和面积）之间的复杂相关性并同时明确优化这些目标。为了克服这些弱点并寻求物理设计工具的有效参数设置，在本文中，我们提出了一个多目标贝叶斯优化 (BO) 框架，以多任务高斯模型作为替代模型。采用基于信息增益的获取函数依次选择工具模拟候选对象，以有效逼近帕累托最优参数配置。在 7 纳米技术节点下的三个工业基准上的实验结果证明了所提出的框架相对于前沿作品的优越性。
PTPT：通过多物理设计工具参数调整...
摘要 — 在先进的集成电路设计中，与电子设计自动化 (EDA) 工具相关的物理设计流程起着至关重要的作用。大多数情况下，输入物理设计工具的参数主要是基于专家的领域知识手动挑选的。然而，由于技术节点的不断缩小以及参数组合所跨越的设计空间的复杂性，甚至再加上耗时的仿真过程，这种对物理设计工具参数配置的手动探索变得极其费力。在设计流程参数调整领域存在一些工作。然而，非常有限的现有技术探索了多个感兴趣的结果质量 (QoR) 指标（例如延迟、功率和面积）之间的复杂相关性并同时明确优化这些目标。为了克服这些弱点并寻求物理设计工具的有效参数设置，在本文中，我们提出了一个多目标贝叶斯优化 (BO) 框架，以多任务高斯模型作为替代模型。采用基于信息增益的获取函数依次选择工具模拟候选对象，以有效逼近帕累托最优参数配置。在 7 纳米技术节点下的三个工业基准上的实验结果证明了所提出的框架相对于前沿作品的优越性。
具身语义和语言的大脑特征
根据具身理论（包括具身、嵌入、扩展、演绎、情境和扎根认知方法），语言表征与我们与周围世界的互动有着内在联系，这反映在语言处理和学习过程中的特定大脑特征中。从具身理论与非模态理论的原始竞争开始，这篇共识论文讨论了一系列精心挑选的问题，旨在确定运动和感知过程何时以及如何参与语言过程，而不是是否参与。我们的研究领域非常广泛，从具身语义的神经生理特征（例如事件相关电位和场以及神经振荡）到语义处理和语义启动对具体和抽象词的影响，到第一和第二语言学习，最后，使用虚拟现实来检查具身语义。我们的共同目标是更好地理解运动和感知过程在语言理解和学习所代表的语言表征中的作用。我们达成共识，基于该领域开展的开创性研究，未来的发展方向是通过承认具体和情境语言和语义过程的多模态性、多维性、灵活性和特质来提高研究结果的外部有效性。
角色、受众、格式、主题 (RAFT) 作为提高学习者语法写作能力的创新教学策略
摘要：向小学学生教授语法写作需要很高的创造力，必须鼓励学生努力学习以获得写作能力。此外，学生自己也面临许多问题：缺乏写作作品、缺乏接触书籍和阅读资源以及语法问题。本研究的目的是利用 RAFT 策略提高英语 5 学生的语法写作技能。本研究旨在找出角色、受众、格式、主题 (RAFT) 策略的实施如何提高学生的语法写作技能。研究的受访者是经过精心挑选的，他们由布拉坎省圣何塞德尔蒙特学校区的 Bagong Buhay G. 小学的三十 (30) 名学生组成。此外，在进行了前测和后测后，研究人员发现，学生能够更有效地写作，因为他们知道他们在写信给谁、他们在写信给谁、他们的写作格式是什么以及他们的写作主题。因此，在引入 RAFT 写作策略后，学生的写作更有目的性和针对性。最后，研究显示，在利用角色、受众、格式、主题 (RAFT) 提高英语 5 学生的语法写作技能方面，学生的前测和后测分数存在显著差异。
博伊德：改变孙子兵法的战斗机飞行员
这是一部关于一位迷人军官的传记，也是所有飞行员的必读书籍。它将吸引各种各样的兴趣。机组人员和未来的战斗机飞行员将喜欢阅读极具竞争力的“40 秒博伊德”的书籍，他在内利斯战斗机武器学校保持了在 40 秒内击败所有对手的惊人记录。具有技术偏见的读者会喜欢博伊德，他是一名研究飞行员，开发并记录了第一本美国空军战斗机战术手册，然后是空中机动理论（违背了他的指挥系统的明确意愿），并将他的想法提交给美国空军规划人员，使 F-16 等战斗机获得空中优势。那些研究领导力的人会发现博伊德是一名狂热的特立独行者，他要求并得到了他精心挑选的助手的坚定忠诚和承诺。最后，天马行空的思想家们会欣赏博伊德这位富有远见的人，他研究战略和战争，提出了一种制胜理论，这种理论帮助改变了我们对空中力量使用的看法，推动了美国海军陆战队的机动战理论，并且仍然在推进商业大师们的竞争理念。
基于数字孪生的信息物理系统测试
背景：信息物理系统对测试人员提出了挑战，为安全关键和协作环境带来了复杂性和规模。数字孪生通过与物理系统耦合的数据驱动和基于模拟的模型增强了这些系统，以提供可视化、预测未来状态和通信。由于数字世界和物理世界之间的耦合，数字孪生为信息物理系统测试提供了一个新的视角。 目标：本研究的目的是总结现有的基于数字孪生的测试文献。我们旨在发现新兴的采用领域、这些领域中使用的测试技术并确定未来的研究领域。 方法：我们进行了系统的文献综述，回答了以下研究问题：数字孪生目前用于测试哪些信息物理系统？如何为信息物理系统定义测试预言？在测试环境中，用于数字孪生的白盒、黑盒和灰盒建模技术的分布情况如何？如何定义测试用例以及这会如何影响测试输入？结果：我们通过精心挑选的搜索查询从 480 项研究中发现了 26 项相关研究。这些研究表明，在数字孪生引入行业后，人们开始采用基于数字孪生的测试，并且该技术的可访问性不断提高。测试中使用的预言机就是数字孪生本身，因此依赖于这两个系统
![arxiv：2208.01582v3 [CS.CV] 2023年6月19日](/simg/g:\will\search\icon\source\8\81d9c6fdbb81024376d5297f0c946c4017919ecf.webp)
arxiv：2208.01582v3 [CS.CV] 2023年6月19日
安全。感知和预测是现有的自主驾驶软件管道中的两个单独的模块，其中它们之间的接口通常被定义为手工挑选的几何和语义特征，例如历史代理轨迹，代理类型，代理人大小等。这样的接口导致可以在轨迹预测中使用的有用感知信息的丢失。例如，尾灯和刹车灯指示了车辆的意图，行人的头姿势和身体姿势告诉他们他们的注意力。此信息（如果未明确建模）在外部管道中被忽略。此外，随着感知和预测的分离，累积错误，无法在以后的阶段缓解。具体而言，轨迹预测因子使用的历史轨迹来自上游的pepleption模块，该模块不可避免地包含错误，从而导致预测性能下降。设计一个对上游输出误差可靠的trajectory预测变量是一个非平凡的任务[61]。最近的作品，例如Intentnet [3]，FAF [35]，PNPNET [31]提出了基于LIDAR的轨迹预测的端到端模型。他们遭受了几个限制：（1）他们无法利用相机中丰富的细粒度视觉信息； （2）这些模型使用卷积特征图作为其内部和跨框架内部的中间反复限制，因此遭受了多种可差异操作，例如在多对象跟踪中的对象解码中的非最大最大弹药和对象关联。总而言之，本文的贡献是三倍：1。为了应对所有这些挑战，我们提出了一条新型的管道，该管道利用以查询为中心的模型设计来预先轨迹，称为VIP3D（VI Sual Sual轨迹P缩减3D代理查询）。VIP3D消耗了来自周围摄像机和高清图的多视频视频，并以端到端和简洁的流方式使代理级级的未来轨迹预测，如图1所示。具体来说，VIP3D将3D代理查询作为整个管道的接口，每个查询都可以映射到（最多最多）环境中的代理。在每个时间步骤中，查询来自多视图图像的汇总视觉特征，学习代理的时间动力学，对代理之间的关系建模，并最终为每个代理产生可能的未来传播。在整个时间内，3D代理查询都在存储库中维护，该查询库可以初始化，更新和丢弃以跟踪环境中的代理。此外，与以前的预测方法不同，VIP3D仅使用先前的时间戳和当前时间戳的传感器特征的3D代理查询，这些预测方法是使用历史框架的历史轨迹和特征地图，从而使其成为简洁的流媒体方法。vip3d是第一种完全可区分的基于视力的方法，可以预测拟驱动器的未来轨迹。而不是使用手工挑选的fea-
家禽技术工具包目录
关于 TAAT。粮食商品生产和供应薄弱是造成非洲粮食不安全、需要过度进口粮食以及非洲粮食出口扩张未实现的原因。由国际热带农业研究所 (IITA) 领导的 TAAT 计划正在开拓向非洲农民部署成熟技术的新方法。TAAT 是 IITA 和非洲开发银行 (AfDB) 共同努力的结果；是后者“养活非洲战略”的重要组成部分。目前，TAAT 正在通过围绕 15 个“契约”在 31 个国家开展的 88 项干预措施推进 100 多项精心挑选的技术，这些“契约”代表了实现非洲实现粮食安全和提升其在全球农业贸易中的作用方面的优先事项。其中九项契约涉及鱼类、小型牲畜（包括家禽）、普通豆、大米、小麦、玉米、木薯、红薯、高粱和小米的特定优先价值链。这些契约与国家计划共同设计干预措施，以引进技术和创新，实现农业发展的宏伟目标。在许多情况下，这些目标是通过实施开发银行授予的主权国家贷款项目来实现的，而 TAAT 在这些贷款项目的设计、规划和执行中的作用是这些项目成功和被接受的关键因素。
FUTURE-AI：医学成像领域值得信赖的人工智能指导原则和共识建议
人工智能 (AI) 的最新进展与当今临床系统生成的大量数据相结合，推动了整个医学成像价值链中成像 AI 解决方案的开发，包括图像重建、医学图像分割、基于图像的诊断和治疗计划。尽管 AI 在医学成像领域取得了成功并具有未来潜力，但许多利益相关者仍担心成像 AI 解决方案的潜在风险和伦理影响，这些解决方案被认为复杂、不透明且难以理解、利用和信任关键临床应用。尽管存在这些担忧和风险，但目前还没有具体的指导方针和最佳实践来指导未来医学成像领域的 AI 发展，以提高信任度、安全性和采用率。为了弥补这一差距，本文介绍了从五个大型欧洲健康成像 AI 项目中积累的经验、共识和最佳实践中精心挑选的指导原则。这些指导原则被称为 FUTURE-AI，其基本要素包括 (i) 公平性、(ii) 普遍性、(iii) 可追溯性、(iv) 可用性、(v) 稳健性和 (vi) 可解释性。通过循序渐进的方法，这些指南进一步转化为具体建议框架，用于指定、开发、评估和部署技术上、临床上和伦理上值得信赖的 AI 解决方案到临床实践中。
Buckland：数字环境中的参考图书馆服务。
http://people.ischool.berkeley.edu/~buckland/libref.pdf 论文发表于《图书馆与情报科学研究》第 30 卷第 2 期第 81-85 页。发表版本可能略有不同。数字环境中的参考图书馆服务 Michael K. Buckland 摘要 参考图书馆在印刷环境中发挥着重要作用，至少有两个目的：直接参考、查找或核实基本事实；查找人物、地点、事件、时期或其他主题的背景方面。对于第一项任务，需要合适的单一来源；对于第二项任务，需要精心挑选的不同参考资源，如词典、百科全书、地图集、参考书目和传记词典。参考图书馆服务尚未有效过渡到数字图书馆环境。研究主要集中在增强参考图书管理员的能力。需要同时强调增强图书馆用户的能力、重新关注书目访问以及更全面的视角。简介 图书馆与信息科学研究 ( LISR ) 已成功出版三十年，其成就令人瞩目。未来三十年如何能做得更好？Ellen Altman 的早期社论告诫我们要关注图书馆服务中的问题，这些问题在本期刊或其他期刊中尚未得到充分解决，而新的研究和开发投资可能会产生重大的实际影响 (Altman