XiaoMi-AI文件搜索系统
World File Search System软件技术
Oracle软件技术支持政策
许可设置许可集由（i）您的所有程序的所有许可组成，包括任何选项*（例如，数据库企业版和企业版选项；购买和购买选项），数据企业管理程序*共享相同源代码**或（iii）的程序的程序，与单个顺序中包含的程序相同的许可，（iv）用于Java嵌入的二进制程序，所有分布式单位的所有分布式单位嵌入了每个独特的Java应用程序中的java applying产品中的Java Binary许可证和REDRAIBLIBITION（you）（yyaver）（yyave yyaver）（yya） Java有限使用二进制程序，或者如果您是在Oracle Java平台集成商程序（“ OJPI”）下分发Java嵌入式二进制程序，则所有最终用户的所有最终用户的许可（S）嵌入或包含在Java应用程序产品中，根据BLRA或（vi）的许可证或（VI）的许可证或（vi）的（VI）均未购买了该许可证或（vi）。通过Oracle合作伙伴网络或Oracle技术网络获得的开发和演示许可不包括在许可集的定义中。
投资者：Kip E. Meintzer 媒体：Gil Messing Check Point 软件技术有限公司 Check Point 软件技术有限公司 +1.650.628.2040
• 计算账单*达到 26.58 亿美元，比去年同期增长 9% • 总收入：25.65 亿美元，比去年同期增长 6% • 安全订阅收入：11.04 亿美元，比去年同期增长 13% • GAAP 每股收益：7.46 美元，比去年同期增长 5% • 非 GAAP 每股收益：9.16 美元，比去年同期增长 9% “我们取得了卓越的第四季度业绩，这对我担任新执行董事长职务来说是一个极好的机会。本季度的成功得益于核心 Quantum Force 设备业务 8% 的强劲收入增长、我们行业领先的 Harmony 电子邮件解决方案以及 Infinity 平台的广泛采用。”Check Point Software 创始人兼董事会主席 Gil Shwed 表示。“我要感谢 Check Point 的客户、合作伙伴和全球 Check Point 团队为我们持续成功所做的贡献。我期待 Check Point 在新任首席执行官 Nadav Zafrir 的领导下再创高峰，”Shwed 先生总结道。“我要感谢 Gil 和董事会给我机会领导这样一家模范组织。2024 年是成功的一年，为 2025 年及以后的发展提供了良好的跳板，”Check Point Software 首席执行官 Nadav Zafrir 表示。“我上任后的前 100 天主要与客户和合作伙伴会面，了解他们在当今前所未有的威胁环境中面临的主要挑战。从迄今为止的交流中，我越来越相信 Check Point 具有独特的优势，可以满足全球企业的网络安全需求。Check Point 的未来是光明的，我们专注于扩大市场份额并将增长提升到新的水平，”Zafrir 先生表示。 Check Point Software 首席执行官 Nadav Zafrir 表示：“在第四季度和 2024 年取得成功之后，我们将在 2025 年初扩大高管团队，以平衡公司和市场营销领导角色，并更加关注面向客户的职能。”加入高管团队的新职位之一是首席营收官。Itai Greenberg 将担任此职位，推动我们全球平台的全球营收增长。他拥有 20 多年的产品管理和销售经验，最近担任 Check Point 首席战略官兼云和 SASE 业务负责人。接替 Itai
Oracle软件技术支持政策
许可设置许可集由（i）您的所有程序的所有许可组成，包括任何选项*（例如，数据库企业版和企业版选项；购买和购买选项），数据企业管理程序*共享相同源代码**或（iii）的程序的程序，与单个顺序中包含的程序相同的许可，（iv）用于Java嵌入的二进制程序，所有分布式单位的所有分布式单位嵌入了每个独特的Java应用程序中的java applying产品中的Java Binary许可证和REDRAIBLIBITION（you）（yyaver）（yyave yyaver）（yya） Java有限使用二进制程序，或者如果您是在Oracle Java平台集成商程序（“ OJPI”）下分发Java嵌入式二进制程序，则所有最终用户的所有最终用户的许可（S）嵌入或包含在Java应用程序产品中，根据BLRA或（vi）的许可证或（VI）的许可证或（vi）的（VI）均未购买了该许可证或（vi）。通过Oracle合作伙伴网络或Oracle技术网络获得的开发和演示许可不包括在许可集的定义中。
医疗保险软件技术付费
由于个人电脑、智能手机和网络服务器等多种技术平台的出现，以及通过互联网或云轻松访问和分发，软件在医疗保健领域变得越来越重要和普及。许多类型的临床软件，包括决策支持干预 (DSI) 软件、临床风险建模和计算机辅助检测 (CAD)，已越来越多地为医疗服务提供者所用。这些技术通常对诊断图像（尤其是 MRI 和计算机断层扫描 (CT) 扫描）进行数据分析。此外，一些软件产品还结合了人工智能 (AI)，它使用算法或模型来执行任务并表现出学习、决策和预测等行为。人工智能的一个子集称为机器学习 (ML)，它使用计算机算法通过数据学习来执行任务，而无需明确编程；这种类型的人工智能已成为越来越多医疗设备的重要组成部分（食品和药物管理局 2022a）。虽然其中许多技术都是新技术，但某些类型的临床软件，尤其是 CAD，几十年来一直被用来辅助或增强临床决策（医疗保险和医疗补助服务中心 2022b）。
使用量子计算从叠后地震数据中估计地震阻抗 Divakar Vashisth* 和 Rodney Lessard，SLB 软件技术创新中心
使用量子计算从叠后地震数据估计地震阻抗 Divakar Vashisth* 和 Rodney Lessard，SLB 软件技术创新中心 摘要 量子计算越来越被认为是地球物理学的一项变革性技术，它有可能显著提高计算能力和效率。这一进步有望以前所未有的速度模拟和处理复杂的地质数据。最近的研究已经开始探索将量子计算方法应用于简化版本的地震反演问题，强调该技术解决现实世界逆问题的能力。本研究的主要目的是通过使用量子计算机从地震轨迹数据估计声阻抗来解决一个现实、可扩展且与业务相关的问题。据我们所知，这是第一次通过量子计算从地震数据预测地震阻抗，并讨论了在量子处理单元 (QPU) 上解决逆问题的优势。在本文中，我们利用 D-Wave 量子退火器来解决叠后地震反演问题，采用了一种新颖的两步工作流程。在第一步中，我们利用量子退火器从地震数据中估计反射率。随后，这些估计的法向入射反射率作为使用相同量子技术预测声阻抗的基础。为了验证我们方法的有效性，我们提供了五个示例，将 D-Wave 量子退火器的阻抗预测与通过模拟退火（传统上用于地震反演的随机全局优化器）获得的阻抗预测并列。值得注意的是，从量子退火器得出的阻抗仅在一个时期内就与真实值紧密匹配，而模拟退火需要 10 个时期才能达到类似的精度。此外，我们的混合求解器中的 QPU 仅花费约 0.08 秒即可估计这些地震阻抗。与混合求解器的经典组件和模拟退火所需的时间相比，这非常高效，后两者均需要超过 10 秒。这凸显了 QPU 可以在不到一秒的时间内完全解决地震逆问题，凸显了量子计算对地球物理学领域的变革性影响。 引言 量子计算是一个新兴领域，它利用量子力学原理来处理信息，为传统计算带来了范式转变。与以比特为信息基本单位的传统计算机相比，量子计算机
投资者：Kip E. Meintzer 媒体：Gil Messing Check Point 软件技术有限公司 Check Point 软件技术有限公司 +1.650.628.2040
关于 Check Point 软件技术有限公司 Check Point 软件技术有限公司 ( http://www.checkpoint.com ) 是一家领先的人工智能驱动、云交付网络安全平台提供商，为全球 100,000 多家组织提供保护。Check Point 通过其 Infinity 平台，利用无处不在的人工智能来提高网络安全的效率和准确性，其业界领先的捕获率可实现主动威胁预测以及更智能、更快速的响应时间。该综合平台包括云交付技术，包括用于保护工作空间安全的 Check Point Harmony、用于保护云的 Check Point CloudGuard、用于保护网络的 Check Point Quantum 以及用于协作安全运营和服务的 Check Point Infinity Core Services。关于前瞻性声明的法律声明本新闻稿包含《1933 年证券法》第 27A 条和《1934 年证券交易法》第 21E 条所定义的前瞻性声明。前瞻性声明通常与未来事件或我们未来的财务或运营业绩有关。本新闻稿中的前瞻性陈述包括但不限于与我们对产品和解决方案的期望、我们的首席执行官向执行董事长角色的过渡以及相关的继任流程以及我们在 2024 年第一季度参加投资者会议有关的陈述。我们对这些事项的期望和信念可能不会实现，未来的实际结果或事件受风险和不确定性的影响，这些风险和不确定性可能导致实际结果或事件与预测大不相同。这些风险包括我们继续开发平台功能和解决方案的能力；客户对我们现有解决方案和新解决方案的接受和购买；IT 安全市场的持续发展；来自其他产品和服务的竞争；以及一般的市场、政治、经济和商业状况，包括以色列与哈马斯和以色列与真主党之间的战争和敌对行动以及 Covid-19 大流行的影响。本新闻稿中的前瞻性陈述还受其他风险和不确定因素的影响，包括我们提交给美国证券交易委员会的文件中更详细描述的风险和不确定因素，包括我们于 2023 年 4 月 27 日提交给美国证券交易委员会的 20-F 表年度报告。本新闻稿中的前瞻性陈述基于 Check Point 截至本新闻稿之日所掌握的信息，除法律要求外，Check Point 不承担更新任何前瞻性陈述的义务。非 GAAP 财务信息的使用除了根据公认会计原则 (GAAP) 报告财务结果外，Check Point 还使用非 GAAP 指标来衡量营业收入、净收入和每股摊薄收益，这些调整是根据 GAAP 得出的结果，以排除股票薪酬费用、无形资产摊销和收购相关费用以及相关税收影响（如适用）。Check Point 管理层认为，本新闻稿中提供的非 GAAP 财务信息有助于投资者了解和评估 Check Point 的持续核心业务和未来前景。从历史上看，Check Point 还公开展示了这些补充的非 GAAP 财务指标，以帮助投资界“通过管理层的眼光”看待公司，从而增强对其运营业绩的了解。这些非 GAAP 财务信息的呈现并非旨在单独考虑或替代根据 GAAP 编制的结果。本新闻稿中的财务报表包含本新闻稿中讨论的非 GAAP 财务指标与最直接可比的 GAAP 财务指标的对账表。管理层在内部评估和运营业务时同时使用 GAAP 和非 GAAP 信息，因此认为向投资者提供这些信息非常重要。
Mohamed Naija、Rihab Khemiri、Ernesto Expósito。基于 NCES 的无人机危险分析和风险缓解故障安全机制。第 15 届国际软件技术会议，2020 年 7 月，法国巴黎。�hal-02613976�
摘要：近几年，无人驾驶飞行器 (UAV) 受到越来越多的关注，以执行各种应用，如军事、农业和医疗领域。众所周知，无人机不仅容易受到软件意外故障的影响，而且容易受到环境的影响。因此，安全性应在设计时被视为主要要求，因为飞行器的任何意外行为或任何危险都会导致潜在风险。为了在任务期间保持其安全运行，提出了一种基于网络条件事件系统 (NCES) 的故障安全机制。故障安全机制是一种控制逻辑，用于指导在发生危险时执行的风险降低措施。为了使用形式化模型生成这样的控制器，所提出的过程分为三个阶段：（1）第一阶段包括根据文献中的反应方法进行危险识别和分析，（2）第二阶段允许使用标准 ISO 13849 进行风险评估，以及（3）第三阶段包括执行重新配置场景以在分析安全要求的同时降低风险。使用形式化方法的动机是，事实证明，它们有助于在早期设计阶段确保开发过程的可靠性。我们以一个医疗无人机为例，展示了我们提案的适用性和可行性。
为关键COTS的飞船系统启用软件技术
当今无人航天器和卫星的设计和实施费用以电子为主导，这是一个难以预测的，并且通常低估了成本[17]。现代应用程序对计算能力的不断增长需要复杂的计算平台，例如多核和异质体系结构。已经存在几种实施此类高级效率的商业企业解决方案（COTS）解决方案，并且太空机构对整合它们表现出极大的兴趣[18，20]。但是，就可靠性和时机而言，COTS组件通常没有必要的安全性。因此，它们在关键场景中的使用提出了许多挑战，尤其是对于处理器而言。的确，由于安全要求，COTS平台必须确保系统正确性，可以将其分为
