EagleBear2002 的博客

这里必须根绝一切犹豫,这里任何怯懦都无济于事

摘要

本文分析了江苏主要船舶企业的业务范围和特点。所有数据来自企业官网和研报等公开资料。

序号 单位 简称 企业性质 地区布局 业务范围 2023 年新承接船舶订单(万载重吨) 全省排名 全国排名
1 江苏扬子江船业集团公司 民企 靖江市、泰兴市和太仓市 大中型集装箱船、散货船、油轮、化学品等液货船、LNG、LEG、LPG等清洁能源船、各种多用途船和海洋工程装备 796 1 1
2 江苏新时代造船有限公司 民企 靖江市 689 2 2
3 扬州中远海运重工有限公司 央企,隶属中远海运 扬州市江都沿江开发区 中大型船舶、水上浮动装置制造 414 3 3
4 江苏新韩通船舶重工有限公司 韩通 民企 镇江扬中市 30万载重吨以下各类船舶及海洋工程 342 4 7
5 中船澄西船舶修造有限公司 中船全资子公司 江阴 船舶及海洋工程修理和改装、建造 290 5 10
6 南通象屿海洋装备有限责任公司 象屿海装 国企厦门象屿+南通民资混合 南通 10万吨以下环保节能系列散货船、油船和集装箱船,中小型不锈钢/特涂化学品船以及其他工程船 246 6 11
7 新大洋造船有限公司 国企苏美达旗下 扬州广陵区 没有官网 209 7 13
8 招商局金陵船舶(南京)有限公司 国企招商局集团旗下 南京市鼓楼区 没有官网 108.4 8 21
9 南通中远海运川崎船舶工程有限公司 NACKS 中远海运+川崎重工合资 南通市 散货船、汽车运输船,超大型集装箱船、油轮、矿砂船,特种船、双燃料船等主流商船 103.2 9 22
10 江苏海通海洋工程装备有限公司 民企 78.4 10 25

摘要

航空母舰、豪华游轮和 LNG 船因设计建造难度高、附加值高,被合称为造船工业的三大明珠。本文依次举例介绍了三种船型的技术难点和技术突破的重要意义,并分析了中国造船业发展的道路优势和体制优势。

原视频合集链接:飞羽社的个人空间-飞羽社个人主页-哔哩哔哩视频 (bilibili.com)

003 航母下水

国产豪华邮轮交付

阅读全文 »

摘要

本文从行业周期、替换周期和订单交付周期分析了中国船舶行业,重点分析了中国船舶(600150)股票走势与船舶周期的相关性。本文从公司业务、财务、南北船重组三个角度分析了中国船舶这一企业。笔者在原研报的基础上补充了和环保法规相关的内容。

本研报的视频讲解:https://www.bilibili.com/video/BV14s4y1F7Fh/?spm_id_from=333.999.0.0&vd_source=bd427f91dee5122f5f148ab719220125

有道云笔记原文:https://note.youdao.com/ynoteshare/index.html?id=b181408093cf461258274f9997221073&type=note&_time=1712844592632

结论前置

阅读全文 »

温竣岩:经济学视角的船舶产业

【十大产业】中国造船业:从寒冬中走来的制造业长子:https://www.bilibili.com/video/BV1RN41157MW/?spm_id_from=333.337.search-card.all.click&vd_source=bd427f91dee5122f5f148ab719220125

该视频分为以下几部分:

上海外高桥船厂:智改数转样板

走进工厂 | 他好像真的想教会我怎么造船:https://www.bilibili.com/video/BV1MP41187Ks/?spm_id_from=333.337.search-card.all.click&vd_source=bd427f91dee5122f5f148ab719220125

阅读全文 »

\[ % \def\w{mathsf{w}} % \def\r{mathsf{r}} \def\rd{\textcolor{orange}{\overset{rd}\Longrightarrow}} \def\b{\textcolor{green}{\overset{b}\rightsquigarrow}} \def\rf{\textcolor{green}{\mathsf{rf}}} \def\co{\textcolor{orange}{\mathsf{co}}} \def\fr{\textcolor{purple}{fr}} \def\br{\textcolor{purple}{br}} \def\po{\mathsf{po}} \def\porf{\po\rf} \def\init{\mathsf{init}} \def\next{\mathsf{next}} \def\Event{\mathsf{Event}} % \def\wwrr{\mathsf{w+w+rr}} \def\R{\mathsf{R}} \def\W{\mathsf{W}} \def\Previous{\mathsf{Previous}} \]

摘要

动态偏序约简(DPOR)通过探索并发程序的所有交错直至某种等价关系(例如 Mazurkiewicz 迹等价)来验证并发程序。这样做涉及空间和时间之间的复杂权衡。现有的 DPOR 算法要么是探索最优的(即仅精确探索每个等价类的交错),但可能使用程序大小的指数内存,要么保持多项式内存消耗,但可能会探索指数级的许多冗余交错。

在本文中,我们表明可以两全其美:在线性内存消耗的情况下探索每个等价类的确切一个交错。我们的算法 TruSt 在 Coq 中形式化,不仅适用于顺序一致性,还适用于满足一些基本假设的任何弱内存模型,包括 TSO、PSO 和 RC11。此外,TruSt 的可并行性令人尴尬:它的不同探索选项没有共享状态,因此可以完全并行探索。因此,TruSt 在内存和/或时间方面优于最先进的技术。

作者:

阅读全文 »

摘要

顺序一致性是多处理器内存系统中使用最广泛的正确性条件。本文研究了测试共享内存多处理器的问题,以确定它们是否确实提供了顺序一致的内存。它提出了对该问题的首次正式研究,该研究可应用于测试新的内存系统设计和实现、提供运行时容错以及检测并行程序中的错误。

本文提供了一系列结果来测试各种场景下共享内存的执行,将顺序一致性与线性化(另一个众所周知的正确性条件)进行比较。除了顺序一致性之外,线性化对共享内存施加了额外的限制;这些限制被证明在测试此类记忆时很有用。

摘要

本文介绍了使用 Github Actions 对 Hexo + Github Pages 博客进行自动部署的方案。考虑到几个月以来 Github 对 HTTPS 协议的限制,本文也列举了笔者的一些失败的实验经历,以供避雷。

关键词:Github Actions,Hexo,Github Pages

为什么要自动部署?

将部署任务从 PC 端转移到云端(例如 Github)的好处包括:

阅读全文 »

摘要

本文梳理了目前主流事务执行历史验证问题的解决方案,对比了各种工具的优劣,尝试提出新的技术路线以改进效率。

验证工具 解决思路 创新点 性能 待改进之处
Cobra1 约束求解 将验证问题建模为 Polygraph 上的约束求解问题 目前已知最高效的 SER 验证工具 未深度整合 SMT
PolySI2 约束求解 将 Polygraph 拓展为 BCpolygraph,同样将 SI 验证问题转化成 BC-polygraph 上的判环问题 PolySI 比 Viper 的性能更为优异,可扩展性也更强,最大规模可以在 40 小时内处理具有百万级事务数量、十亿级键数量的执行历史。 未深度整合 SMT
Viper3 约束求解 问题转化为 polygraph(某种变体)上的判环问题
dbcop4 暴力搜索 dbcop-SER 的性能低于 Cobra,这是因为它会产生大量的无效搜索分支 存在大量无效搜索,内存消耗极大,影响算法可扩展性

  1. Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. COBRA: Making transactional key-value stores verifiably serializable. In OSDI’20.Article 4, 18 pages.↩︎

  2. Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David Basin, Haixiang Li, and Anqun Pan. Efficient Black-box Checking of Snapshot Isolation in Databases. PVLDB, 16(6): 1264 - 1276, 2023. To appear on PVLDB 2023.↩︎

  3. Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan (2023). Viper: a fast snapshot Isolation Checker. To appear on EuroSys 2023.↩︎

  4. Ranadeep Biswas and Constantin Enea. 2019. On the complexity of checkingtransactional consistency. Proc. ACM Program. Lang. 3, OOPSLA, Article 165 (October 2019), 28 pages.↩︎