XiaoMi-AI文件搜索系统
World File Search System目标代码
CSCC24 – 编程语言原理
• 编译时间是“开销”：只做一次； • 翻译器可以进行优化； • 可以删除运行时不再需要的大量信息。 • 由于执行目标代码，调试时更难提供有用的反馈。 • 不易移植（例如，移植到不同的操作系统/架构/等）。 • 您知道哪些编译语言？
Voice.AI 网关 API 参考指南
开源软件。软件的部分内容可能是开源软件，可能受开源许可证管辖和分发，例如 GNU 通用公共许可证 (GPL) 条款、较宽松通用公共许可证 (LGPL) 条款、BSD 和 LDAP 条款，这些条款位于 https://www.audiocodes.com/services-support/open-source/ 中，并且均以引用的方式纳入本文。如果任何开源软件以目标代码提供，并且其
RLTG：多目标定向灰盒模糊测试
定向灰盒模糊测试可以引导模糊器探索特定的目标代码区域，在补丁测试等场景中取得了良好的效果。然而，如果有多个目标代码需要探索，现有的定向灰盒模糊测试器（如AFLGo和Hawkeye）往往会忽略一些目标，因为它们使用距离的调和平均值，倾向于测试可达路径较短的目标。此外，现有的定向灰盒模糊测试器由于程序中存在间接调用，无法计算出准确的距离。此外，现有的定向灰盒模糊测试器无法解决探索和利用问题，种子调度效率低下。针对这些问题，我们提出了一种动态种子距离计算方案，当可达路径遇到间接调用时，动态增加种子距离。此外，种子距离计算可以处理多目标场景下的偏差问题。利用种子距离计算方法，我们提出了一种基于置信上限算法的种子调度算法，以解决定向灰盒模糊测试中的探索和利用问题。我们实现了一个原型 RLTG，并在实际程序上对其进行了评估。原型评估表明，我们的方法优于最先进的定向模糊器 AFLGo。在多目标基准测试 Magma 上，RLTG 以 6.9 倍的速度重现错误，并且比 AFLGo 多发现 66.7% 的错误。
Voice.AI 网关 API 参考指南
开源软件。软件的某些部分可能是开源软件，可能受开源许可证管辖和分发，例如 GNU 通用公共许可证 (GPL) 条款、宽泛通用公共许可证 (LGPL) 条款、BSD 和 LDAP 条款，这些条款位于 https://www.audiocodes.com/services-support/open-source/ 并且均通过引用纳入本文。如果任何开源软件以目标代码形式提供，且其随附许可证要求也以源代码形式提供，则买方可以按照 AudioCodes 网站上的说明联系 AudioCodes 来获取此类源代码。
FAA 命令 8110.49A，软件批准指南
2. 讨论。需要进行一致性检查以确定申请人是否符合 14 CFR § 21.33(b) 以及产品和组件是否符合已批准的型号设计。对于软件，型号设计至少包括软件需求数据、设计说明、源代码、可执行目标代码、软件配置索引和软件完成摘要（参见 RTCA/DO-178B，第 9.4 节）。申请人是否符合软件型号设计主要通过整个软件开发生命周期中的 ASE 或 DER（如果获得授权）审查来评估；详细信息在本命令第 2 章中介绍。但是，在某些情况下，必须在颁发 TC、STC、ATC、ASTC 或 TSO 授权（具体而言，测试验收和安装）之前审查和记录软件的状态。因此，有两种方法可以实现这一点：（1）软件部件一致性检查，和（2）软件安装一致性检查。
FAA 命令 8110.49A，软件批准指南
2.讨论。需要进行一致性检查以确定申请人是否符合 14 CFR § 21.33(b) 以及产品和组件是否符合已批准的型号设计。对于软件，型号设计至少包括软件需求数据、设计描述、源代码、可执行目标代码、软件配置索引和软件完成摘要（参见 RTCA/DO-178B，第 9.4 节）。申请人是否符合软件型号设计主要通过整个软件开发生命周期中的 ASE 或 DER（如果获得授权）审查来评估；其详细信息在本命令的第 2 章中介绍。但是，在某些情况下，必须在颁发 TC、STC、ATC、ASTC 或 TSO 授权（具体而言，测试验收和安装）之前审查和记录软件的状态。因此，实现此目的有两种手段：（1）软件部件一致性检查，以及（2）软件安装一致性检查。
HPS 咨询协议 2024
“协议”指本咨询服务协议和业务伙伴协议，每一项均可不时以书面形式修订并由双方签署。“allsynx”指 THE Benefits HUB，d/b/a allsynx，是顾问的附属公司，提供在线福利管理平台以及可通过顾问购买的其他服务。“福利管理平台”指由 allsynx 托管和维护的 THE Benefits HUB 福利管理平台。“业务伙伴协议”指顾问与客户之间的业务伙伴协议，已纳入本协议。“工作日”指顾问工作日。“COBRA”指员工可根据 1985 年《综合预算协调法》购买的健康保险计划。“机密信息”指对另一方专有或保密的非公开信息，并且在第 13 节中明确标记为机密信息或标识为机密信息，包括但不限于以下内容：被保险人和/或潜在被保险人的健康或个人信息；所有用户数据；与产品相关的信息；定价信息；商业秘密；商业计划；商业方法；客户名单；财务预测；新产品计划；内部程序；开发、销售、财务和会计文件；密码；凭证信息；软件目标代码；软件源代码；以及与计算机代码和算法相关的文档；以及客户员工根据德克萨斯州公共信息法指定应保密的信息（例如电话号码、地址、家庭信息等）；或根据联邦或州法律法规被视为机密的其他信息。“机密信息”不包括以下信息：
计算机科学与工程系课程大纲...
数字逻辑：逻辑函数、最小化、组合和顺序电路的设计和综合；数字表示和计算机算术（定点和浮点）。计算机组织和架构：机器指令和寻址模式、ALU 和数据路径、CPU 控制设计、内存接口、I/O 接口（中断和 DMA 模式）、指令流水线、缓存和主内存、二级存储。编程和数据结构：C 语言编程；函数、递归、参数传递、范围、绑定；抽象数据类型、数组、堆栈、队列、链接列表、树、二叉搜索树、二叉堆。算法：分析、渐近符号、空间和时间复杂度概念、最坏和平均情况分析；设计：贪婪方法、动态规划、分而治之；树和图遍历、连通分量、生成树、最短路径；散列、排序、搜索。时间和空间的渐近分析（最佳、最坏、平均情况）、上限和下限、复杂性类 P、NP、NP-hard、NP-complete 的基本概念。计算理论：正则语言和有限自动机、上下文无关语言和下推自动机、递归可枚举集和图灵机、不可判定性。编译器设计：词汇分析、解析、语法制导翻译、运行时环境、中间和目标代码生成、代码优化基础。操作系统：进程、线程、进程间通信、并发、同步、死锁、CPU 调度、内存管理和虚拟内存、文件系统、I/O 系统、保护和安全。数据库：ER 模型、关系模型（关系代数、元组演算）、数据库设计（完整性约束、范式）、查询语言（SQL）、文件结构（顺序文件、索引、B 和 B+ 树）、事务和并发控制。信息系统和软件工程：信息收集、需求和可行性分析、数据流图、流程规范、输入/输出设计、流程生命周期、项目规划和管理、设计、编码、测试、实施、维护。计算机网络：ISO/OSI 堆栈、LAN 技术（以太网、令牌环）、流量和错误控制技术、路由算法、拥塞控制、TCP/UDP 和套接字、IP（v4）、应用层协议（icmp、dns、smtp、pop、ftp、http）；集线器、交换机、网关和路由器的基本概念。网络安全基本概念：公钥和私钥加密、数字签名、防火墙。Web 技术：HTML、XML、客户端-服务器计算的基本概念。
服务条款和条件
1. 定义 以下术语应具有以下含义： A.“关联方”就任何人而言，指直接或间接控制该人、受该人控制或与该人受共同控制的每个人。就本定义而言，就任何人而言，“控制”（包括具有关联含义的“受控制”和“与该人受共同控制”等术语）应指直接或间接拥有指导或促使指导该人的管理和政策的权力，无论是通过拥有投票证券、通过合同还是其他方式。 B.“协议”指本条款和条件、公司签发的称为“采购订单”和/或“合同”的文件、采购订单和/或合同中列出的“合同文件”以及采购订单和/或合同通过引用明确纳入协议的所有其他文件。 C.“变更单”指授权公司代表签发的修改协议的文件。 D.“公司”是指采购订单和/或合同首页上所列的 DTE 能源公司实体。E.“公司代表”是指采购订单和/或合同中列明的公司代表。F.“承包商”是指公司与之签订协议的个人或法人。G.“承包商人员”是指承包商的雇员、代理人、分包商和供应商（及其各自的雇员和代理人），以及承包商在根据协议执行工作时使用的任何其他人员。H.“现场”是指公司现场或其他指定地点，工作将在该地点进行。I.“分包商”是代表承包商完成全部或部分工作的任何个人或法人。除第 5 条明确规定外，协议中的任何内容均不构成公司与任何分包商之间的任何合同关系。J.“供应商”是代表承包商提供与工作有关的材料、设备或货物的任何个人或其他实体。除第 5 条明确规定外，本协议中的任何内容均不构成公司与任何供应商之间的任何合同关系。K.“第三方作品”指由第三方创作或拥有并用于执行本协议项下任何作品的任何原创作品、发明或设计，本协议以书面形式对其进行了足够详细的说明，以将此类作品与根据本协议开发或创作的工作产品区分开来。L.“保修期”指采购订单中规定的适用保修期限，或者，如果采购订单未规定保修期限，则指以下两项中较早者：1) 作品首次用于公司预期用途后 18 个月，或 2) 公司接受作品之日起四年。M.“工作”指承包商为履行其在协议下的义务而提供的服务和劳务以及设备和材料，包括任何担保下的所有维修或更换。N.“工作文件”指承包商根据协议向公司交付的所有手册、设计、规格、技术说明、图纸、计划、报告、计算、摘要和其他项目。O.“工作产品”指承包商在履行协议过程中为公司准备或开发的所有材料、笔记、报告、文件、目标代码和完整注释的源代码中的计算机程序、文学作品、图形作品、表演或展示以及任何衍生品、发明、公式、工艺、机器、制造商、物质合成设备或其任何部分和工作文件，以及对其中任何一项的任何改进。P.“法律”指所有适用的联邦、州和地方法律、条例、行业标准、法典、法规和行政命令或法令。