EagleBear2002 的博客

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

发表于 更新于 分类于
本文字数： 255 阅读时长 ≈ 1 分钟

摘要

分布式数据库系统出现了支持多协调器和多副本存储的新架构，这给事务调度的正确性带来了新的挑战，包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题。基于事务隔离级别和分布式系统一致性协议的定义，为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型。该形式化模型为事务的正确调度提供具有鲁棒性的评价标准，可以方便地对数据库事务调度情况进行动态或静态分析检验.

基于环的数据异常与隔离级别定义

当依赖图中出现某种环结构时，我们说该依赖图违反了对应的隔离级别。

阅读全文 »

发表于 更新于 分类于
本文字数： 989 阅读时长 ≈ 1 分钟

摘要

铅酸蓄电池电动车使用经验有二：电量表无法正确显示剩余电量；匀速行驶可以增加电池续航里程。本文从电化学角度和电路角度分析了铅酸蓄电池工作原理，解释了这两个工程现象。

铅酸蓄电池电化学反应

铅酸蓄电池正极材料为 \(\ce{PbO2}\)，负极材料为 \(\ce{Pb}\)，电解质为 \(\ce{H2SO4}\)。

阅读全文 »

发表于 更新于 分类于
本文字数： 599 阅读时长 ≈ 1 分钟

摘要

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

序号 单位 简称 企业性质 地区布局 业务范围 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

发表于 更新于 分类于
本文字数： 184 阅读时长 ≈ 1 分钟

摘要

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

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

003 航母下水

国产豪华邮轮交付

阅读全文 »

发表于 更新于 分类于
本文字数： 6.3k 阅读时长 ≈ 6 分钟

摘要

本文从行业周期、替换周期和订单交付周期分析了中国船舶行业，重点分析了中国船舶（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

结论前置

阅读全文 »

发表于 更新于 分类于
本文字数： 1.9k 阅读时长 ≈ 2 分钟

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

【十大产业】中国造船业：从寒冬中走来的制造业长子：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

阅读全文 »

发表于 更新于 分类于
本文字数： 28k 阅读时长 ≈ 26 分钟

\[ % \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 在内存和/或时间方面优于最先进的技术。

作者：

阅读全文 »

发表于 更新于 分类于
本文字数： 227 阅读时长 ≈ 1 分钟

摘要

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

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