XiaoMi-AI文件搜索系统
World File Search System海运业
Zevenwacht，2017 年 9 月 11 日至 13 日 - HIPER
欢迎参加第 11 届 HIPER 大会 HIPER 2017 赞助人 Giampiero Soncini 致辞 海运业面临着巨大的挑战，需要大胆创新的解决方案。政治和客户的期望不断上升，而市场环境比几十年前更加严峻。我们海运界的一些巨头跌跌撞撞，而新的挑战者不断涌现。新常态是昨天的秘诀不再有效。“颠覆”已经成为我们词汇中经常使用的词。变化正在发生，令人鼓舞的是，我们行业中似乎至少有与挑战一样多的聪明想法。看看今年的高性能船舶 - 未来船舶技术会议的计划就知道了。HIPER 一直并将继续促进海事行业及相关领域的技术领袖之间的对话，在学术界、研究机构和行业之间架起桥梁。该会议于 18 年前发起，我唯一的遗憾是我没有成为创始团队的一员。事实上，我们可以在一个值得骄傲的传统的基础上，扩展到未来技术这个令人兴奋的主题，而科幻小说正是从这个主题开始的。我很自豪能成为其中的一员。虽然未来的航运有很多方面，但智能互联船舶的主题是我特别关注的。大数据分析、协作机器人和各种人工智能的应用取得了快速进展，我们在 HIPER 2017 会议记录中看到了各种开创性的应用。1988 年，我曾说过，当时在船上配备 40 到 44 名船员是多么愚蠢。我谈到了船舶如何能够完全无人驾驶机械室。对于我的大多数同时代人来说，这听起来就像现在完全 3D 打印的船舶和智能机器人群进行深海探索的想法一样遥不可及。时间站在我这一边，让我能够实现我的愿景，我相信我们将看到这些会议中发现的许多愿景和前卫概念不仅会成为现实，而且会比大多数人现在想象的更快。我们将共同管理进展。Volaris 集团成员 SpecTec 很荣幸能够赞助 HIPER 2017，我很自豪能够参与到这一激动人心的旅程中，共同迈向船舶和航运的未来——我们的未来。祝大家交流思想，激发灵感！Giampiero Soncini
经济快讯
实际 GDP：过去两个季度的预测结果非常不准确，但这是好事。亚特兰大联邦储备银行的 GDPNow 预测显示，第一季度经济增长略高于 3.3%。这比预期要强劲得多。目前的预测仍然显示，第二、第三和第四季度经济略有收缩。收缩幅度并不大，最终可能会软着陆，这取决于银行业的健康状况和那里发生的事情。原材料价格/供应情况：全球伦敦金属交易所仓库中，铜、锌、铅、铝、镍和其他主要初级金属等原材料的库存处于数十年来的最低水平。这在很大程度上被全球经济放缓所掩盖，但许多材料的短缺开始引发一些担忧，即通胀很容易加速，尽管经济放缓，但主要原材料的短缺/缺货仍可能是一个问题。一些显示整体原材料需求的关键指数正在飙升。波罗的海干散货指数（衡量全球海运业原材料运输成本和运输量）目前在过去 30 天内上涨了近 200%。这表明原材料需求正在激增，请警惕由此导致的库存紧张状况和价格上涨。劳动力状况/劳动力成本：建筑业就业成本指数显示，总体劳动力成本继续处于或接近历史最高水平。第四季度的最新数据仍显示，该指数环比增长 1.4%，比去年同期增长 4.8%。建筑业的职位空缺也仍然很高，截至 2023 年 1 月，职位空缺数量仍为 248,000 个。与去年的峰值相比，这一数字大幅下降，环比下降 49.2%，同比下降 37.4%。职位空缺大幅减少（受独户住宅建设减少的影响），但劳动力成本尚未开始大幅调整。制造业（材料）：目前有 12 个国家的制造业部门处于萎缩状态（低于上个月的 19 个）。从全球角度看待制造业很重要，因为它显然是建筑业的材料供应源。目前，中国和欧洲的许多行业刚刚从今年冬天的产出中断中恢复过来。全面恢复生产的速度比预期的要慢，一些材料的供应可用性也存在一些不确定性。一些供应商开始进一步推迟订单履行预测，这可能会继续带来一些供应不确定性。但是，制造业回暖对原材料价格来说是一个好兆头，最终将有助于提高产品供应。风险
加拿大每日新闻和更新 2025 年 1 月 8 日
阅读 The Loadstar 文章了解更多。Ocean 更新 中国最大航运公司被列入美国军方黑名单 美国将中国最大的航运公司和两家造船厂列入黑名单，原因是涉嫌与中国人民解放军有联系，华盛顿方面将注意力转向了中国庞大的海运业。 周二，《联邦公报》将中远海运控股有限公司列入名单，五角大楼认定其与中国船舶工业集团公司和中国船舶贸易公司一起属于中国军方公司。虽然黑名单没有具体处罚，但它不鼓励美国公司与这些公司打交道。随着唐纳德·特朗普准备重返白宫，这也意味着对海运和造船业的审查将更加严格。 中国拥有世界上最大的造船业，生产了全球一半以上的商船，而美国的造船业在过去的一代人中实际上已经崩溃。船舶经纪商 BRS 的数据显示，去年第一季度，中国造船厂的订单占全球订单的近 60%。美国对这种主导地位感到紧张之际，航运公司和港口作为地缘政治竞争舞台变得越来越重要，而 COVID 19 及其后果暴露了全球供应链的脆弱性。去年，华盛顿在参议院听证会上表达了对中国船舶工业的不安。详情请阅读雅虎财经的一篇文章。国际码头工人协会和港口所有者在新一轮罢工迫在眉睫之际举行秘密会议讨论自动化问题国际码头工人协会和 USMX 港口所有权集团的代表于周日举行秘密会议，就港口自动化问题取得进展，该问题需要在 1 月 15 日之前解决，以避免美国东部和墨西哥湾沿岸港口发生新一轮罢工。会议上产生的一份文件表明，港口愿意将任何新技术与新的工会工作岗位结合起来，但这可能会给协议带来新的风险，增加的劳动力成本威胁到 10 月份达成的工会工人加薪 62% 的条款。正式谈判定于周二恢复，目前尚不清楚整个港口所有权集团是否会支持有关自动化的新措辞。详情请阅读 CNBC 的一篇文章。迪拜环球港务集团与 Gemini Cooperation 合作，加强加拿大货运业务迪拜环球港务集团宣布与马士基航运公司和赫伯罗特航运公司之间的 Gemini Cooperation 建立新的合作伙伴关系，以加强整个加拿大的货运业务。从 2 月份开始，迪拜环球港务集团将在其温哥华港、鲁珀特王子港和圣约翰港的码头推出几项新的集装箱服务。
海事系统设计与验证的形式化方法...
摘要 海上自主水面舰艇 (MASS) 正在接近现实，为海上控制系统带来了新的复杂性和关键性。在本文中，我们研究了如何使用形式化方法 (FM) 来设计和验证海上控制系统，以实现安全有效的 MASS。FM 是一系列基于数学的规范和验证方法。我们首先对 FM 进行高级介绍。我们讨论了当前的海上控制系统认证实践和走向自主化的需求。我们给出了三个具体示例，说明如何应用 FM 来满足这些需求：COLREG 的形式化规范、基于合同的设计和基于模拟的测试的自动化。最后，讨论了 FM 的一些局限性。我们得出结论，FM 似乎是满足部分自主性需求的有希望的候选者，并鼓励对 MASS 的 FM 进行进一步研究。关键词 海上自主水面舰艇、形式化方法、验证、规范、保证 简介 海上自主水面舰艇 (MASS) 正在接近现实，正在进行的项目众多，从小型研究原型到全尺寸工业船舶。虽然存在几种程度的自主性，但 MASS 的典型特点是能够在非平凡操作中独立于人类操作员运行，需要态势感知和规划能力。这些特点使得 MASS 开发人员需要新的设计方法，监管机构 (IMO 2021、NMD 2020) 和船级社 (DNV 2018) 也需要新的安全保证方法和流程。形式化方法 (FM) 是一类基于数学的规范和验证方法，源自理论计算机科学 (Woodcock 等人2009)。FM 提供高水平的保证，因此几十年来一直被积极用于其他行业（如航空航天和铁路）关键系统的开发和验证。随着自主系统的出现，FM 被认为是解决它们带来的一些保证挑战的有希望的候选者。这导致了过去十年来对应用于自动驾驶汽车和飞行器的 FM 的积极研究（Luckcuck 等人2019）。海运业尚未看到 FM 的广泛采用。然而，这种情况似乎正在改变，因为去年发表了一些文章。Shokri-Manninen 等人。福斯特等人。(2020) 创建了一个基于自动机的单船相遇正式模型，并综合了一种构造正确的导航策略。Park 和 Kim (2020) 基于可达性分析，综合了一种构造正确的船舶自动停靠控制器。(2020) 提出了一种混合动力系统形式的自主船舶控制器，并使用自动定理证明器来验证一些安全不变量。本文旨在通过首先进行高级介绍，引起海事界对 FM 的关注。接下来，我们回顾当前海事控制系统设计和验证的实践，并讨论一些走向自主化的需求。然后，我们在三个特定用例中激励并演示了 FM 的使用，以满足这些需求。最后，我们讨论一下 FM 的一些局限性。
海洋气候行动计划 | 白宫
拜登总统和哈里斯副总统从第一天起就明确表示，气候变化对我们家庭和社区的健康和安全、我们的经济和全球安全构成了严重威胁，需要各级政府、民间社会和地球各个地方采取紧急和变革性的行动。作为海洋政策委员会 (OPC) 的联合主席，我们知道海洋具有尚未实现的潜力，可以催化应对这一威胁的行动。海洋——包括公海、海岸、河口、美国北极、五大湖和美国领土——覆盖了全球 70% 的面积，从浅海湾到深海和任何国家管辖范围以外的地区。尽管气候变化对海洋产生了许多前所未有的影响，但海洋也有潜力推进一套强有力的解决方案来应对气候危机。这就是为什么在 2022 年世界海洋日，拜登总统宣布他的政府将制定并实施有史以来第一个全政府海洋气候行动计划 (OCAP)——并且他要求我们这样做。我们的方法体现了总统和副总统对科学作为可能性的关注，特别是利用知识、科学、技术和创新的力量来打开大门，这样我们就可以超越今天的局限，进入一个不同的明天——一个更美好的明天。我们寻求释放有助于实现这个国家每个人的抱负的好处——在这种情况下，是稳定的气候、良好的工作和健康的经济，以及公平公正的社会。拜登-哈里斯政府的这些关键优先事项贯穿了整个 OCAP。我们为海洋政策委员会的工作感到自豪，他们致力于推进海洋科学和技术，确定优先的海洋研究和技术需求，并利用资源和专业知识最大限度地提高联邦对海洋研究和海洋资源管理的投资效率。我们特别渴望向公众介绍 OCAP。OCAP 概述了三个目标，动员联邦政府和民间社会采取有效和创新的海洋气候行动：（1）创造一个碳中和的未来，不产生导致气候变化和危害人类健康的排放，（2）加速利用自然沿海和海洋系统的力量吸收和储存温室气体、减少气候威胁、保护社区和生态系统免受不可避免的变化影响的解决方案，（3）通过开发基于海洋的解决方案，帮助社区适应和在不断变化的气候中茁壮成长，增强社区对海洋变化的适应力。OCAP 中描述的行动还提供了其他好处——高薪工作、劳动力创新、有弹性的粮食生产、生态系统健康和科学知识。为了实现这些雄心勃勃的目标，OCAP 规划了八项优先行动——包括增加海上风能和海洋能源、使海运业脱碳、保护和恢复自然储存碳的沿海和海洋栖息地（“蓝碳”），以及扩大海洋保护区（“海洋保护区”）——以增强海洋生态系统的弹性，提供食物、工作、娱乐机会、文化认同等。指导这些行动的承诺是成为健康和可持续海洋的负责任的管家；推进环境正义；与社区、部落国家和土著人民接触；基于证据、科学和土著知识采取行动；并整合和协调联邦政府的行动。
海洋气候行动计划
拜登总统和哈里斯副总统从第一天起就明确表示，气候变化对我们家庭和社区的健康和安全、我们的经济和全球安全构成了严重威胁，需要各级政府、民间社会和地球各个地方采取紧急和变革性的行动。作为海洋政策委员会 (OPC) 的联合主席，我们知道海洋具有尚未实现的潜力，可以催化应对这一威胁的行动。海洋——包括公海、海岸、河口、美国北极、五大湖和美国领土——覆盖了全球 70% 的面积，从浅海湾到深海和任何国家管辖范围以外的地区。尽管气候变化对海洋产生了许多前所未有的影响，但海洋也有潜力推动一套强有力的解决方案来应对气候危机。这就是为什么在 2022 年世界海洋日，拜登总统宣布他的政府将制定并实施有史以来第一个全政府海洋气候行动计划 (OCAP)——并要求我们这样做。我们的方法体现了总统和副总统对科学可能性的关注，特别是利用知识、科学、技术和创新的力量来打开大门，这样我们就可以超越今天的局限，走向一个不同的明天——一个更美好的明天。我们寻求释放有助于实现这个国家每个人的抱负的利益——在这种情况下，就是稳定的气候、良好的工作和健康的经济，以及公平公正的社会。拜登-哈里斯政府的这些关键优先事项已贯穿整个 OCAP。我们为海洋政策委员会的工作感到自豪，他们推进海洋科学和技术，确定优先的海洋研究和技术需求，并利用资源和专业知识来最大限度地提高联邦对海洋研究和海洋资源管理的投资效率。我们特别渴望向公众介绍 OCAP。 OCAP 概述了三个目标，动员联邦政府和民间社会采取有效和创新的海洋气候行动：（1）创造一个碳中和的未来，没有导致气候变化和危害人类健康的排放，（2）加速利用自然沿海和海洋系统的力量吸收和储存温室气体、减少气候威胁、保护社区和生态系统免受不可避免的变化影响的解决方案，以及（3）通过开发基于海洋的解决方案增强社区对海洋变化的适应力，帮助社区适应和在不断变化的气候中茁壮成长。OCAP 中描述的行动还提供了其他好处——高薪工作、劳动力创新、有弹性的粮食生产、生态系统健康和科学知识。为了实现这些雄心勃勃的目标，OCAP 列出了八项优先行动——包括增加海上风电和海洋能源、使海运业脱碳、保护和恢复自然储存碳的沿海和海洋栖息地（“蓝碳”），扩大海洋保护区（“海洋保护区”）——以增强海洋生态系统的恢复力，提供食物、工作、娱乐机会、文化认同等。指导这些行动的是承诺成为健康和可持续海洋的负责任的管理者；促进环境正义；与社区、部落国家和土著人民接触；基于证据、科学和土著知识采取行动；并整合和协调联邦政府的行动。