逻辑关键词检索结果

无人海战:幽灵舰队的黎明

Unmanned Naval Combat: The Dawn Of Ghost Fleets

无人海战并不是科幻小说——它是现在正在加速走向未来。技术已经存在;战略逻辑是必然的。海洋一直是钢铁与火的领域,各国通过布满枪支和导弹的巨大船体投射力量。但海战的未来将变得越来越无声、无人化和致命。无人海军作战——包括水面、水下和空中的无人机——正在重塑海上力量的行使方式。从装有炸药的小型快艇到城市公交车大小的自主潜艇,这些系统有望颠覆几个世纪的航海传统。这......无人海战:幽灵舰队的黎明后首次出现在航空和国防市场报告中。

UCSB 案例:自定义模糊测试确认工业软件符合俄罗斯 FSTEC 的要求

Кейс УЦСБ: кастомный фаззинг подтвердил соответствие промышленного ПО требованиям ФСТЭК России

IT 公司 UCSB 为供应商 ComCont Technologies 实施了一个项目,以实施安全开发并确保其软件符合俄罗斯联邦技术和出口管制局第 239 号命令第 29.3 条的规定。这使客户能够巩固其作为关键信息基础设施 (CII) 设施的可靠供应商的地位。 ComCont Technologies LLC 专注于为基于第三方供应商的工业可编程逻辑控制器的涡轮机组控制系统提供技术支持,以及为工业企业的涡轮机组控制系统开发自己的程序和应用程序。该公司遵守俄罗斯 FSTEC 在 CII 设施中供应和实施其软件的严格监管要求。作为该项目的一部分,UCSB 团队不仅完成了从生成文档到进行测试的标

12 月 24 日 - 圣诞老人圣诞行动的经济学

December 24 - The economics of Santa Claus' Christmas Operation

圣诞老人圣诞节运营的经济学也许是有史以来最雄心勃勃的物流问题。每年 12 月,一家大型全球企业都会动员起来,在 24 日晚上和 25 日早上为数亿儿童送去礼物。民间传说的背后隐藏着一个高效的经济体系,在一夜之间就实现了生产、库存、运输和分配的平衡。如果人们不把圣诞老人的工作室视为魔法,而是将其视为一种经济模型,那么它就会成为应用经济学中一项令人着迷的练习——一种不太可能但内部一致的运作,遵循规模、激励和协调的逻辑。

塞尔维亚航空正在与阿提哈德航空及其他合作伙伴就贝尔格莱德航线进行谈判

Air Serbia in talks with Etihad and other partners over Belgrade service

塞尔维亚航空正在寻求吸引更多航空公司开通飞往贝尔格莱德的航班,为其网络提供服务。该航空公司已确认正在与阿提哈德航空公司讨论返回塞尔维亚首都的事宜,而在最近推出 SCAT 航空公司从阿斯塔纳出发的航班后,中亚航空公司也对此产生了兴趣。塞尔维亚航空首席执行官 Jiri Marek 告诉 EX-YU Aviation News:“这些讨论通常需要时间,因为你需要说服他们并清楚地解释飞往贝尔格莱德和使用二级、利基枢纽的好处。”约旦皇家航空最近宣布将于 4 月推出飞往贝尔格莱德的航班,而哈萨克斯坦 SCAT 计划在推出阿斯塔纳航班后推出从塞尔维亚首都飞往摩洛哥的航班。 “与皇家约旦航空公司的讨论花了相当

美国军队的胡子战争不会结束

The U.S. Military Beard War Just Won’t End

要点和总结 – 胡子在内战中很常见,但第一次世界大战的防毒面具逻辑和统一性推动美国军队走向刮胡子的标准。 - 1970 年,在埃尔莫·朱姆沃尔特 (Elmo Zumwalt) 上将的 Z-gram 领导下,海军短暂改变了方向,但在 1984 年詹姆斯·沃特金斯 (James Watkins) 上将的领导下再次禁止留胡子。 -自反恐战争以来,[...]美国军队胡子战争不会结束的帖子首先出现在 19FortyFive 上。

如何在两天内搭建一个办公室的数据网络? UCSB 和 Sofinet 案例

Как за два дня построить сеть передачи данных в офисе? Кейс УЦСБ и Sofinet

国外企业网络设备制造商离开后,俄罗斯出现了数十种新的解决方案,理论上可以提供大公司所需的功能。然而,在现实中,认证和测试并不总是能够有效地进行,因此在实施此类解决方案时,可能会出现与第三方外设不兼容或堆叠在一起的多台交换机运行不稳定等问题。当设备的所述特性与其实际功能不匹配时,公司会发现为其网络基础设施找到合适的解决方案变得更加困难。在这种情况下,选择错误可能会导致以后的操作出现问题。我们告诉您,在这种情况下,IT 公司 UCSB 如何找到现有制造商设备的替代品,并在两天之内在新办公室部署了数据传输网络。寻找解决方案:为什么我们选择 Sofinet 在为新办公室准备数据网络时,UCSB 团队面

为什么我们讨厌托马斯·霍布斯

Why We Hate Thomas Hobbes

Ryan 和 Josh Mawhorter 谈论托马斯·霍布斯如何在近 400 年后仍然是几乎无限的国家权力的受欢迎的代言人。事实上,按照霍布斯的逻辑,世界应该由单一的全球独裁政权统治。

了解 Vibe 证明

Understanding Vibe Proving

如何让法学硕士通过可验证的、逐步的逻辑进行推理(第 1 部分)《理解氛围证明》一文首先出现在《走向数据科学》上。

机器学习“降临节日历”第 15 天:Excel 中的 SVM

The Machine Learning “Advent Calendar” Day 15: SVM in Excel

本文不是从边距和几何形状开始,而是从熟悉的模型逐步构建支持向量机。通过改变损失函数并重新使用正则化,SVM 自然地表现为经过优化训练的线性分类器。这种观点将逻辑回归、SVM 和其他线性模型统一到一个单一的、连贯的框架中。机器学习“降临日历”第 15 天:Excel 中的 SVM 帖子首先出现在走向数据科学上。

AIhub 博文亮点 2025

AIhub blog post highlights 2025

在这一年里,我们很高兴与来自世界各地的许多才华横溢的研究人员合作。 2025 年即将结束,我们回顾一下贡献者的一些优秀博客文章。 TELL:使用逻辑解释神经网络 作者:Alessio Ragno 这项工作有助于 [...]