Amdahl's Law
\[ Speedup = \frac{\text{1-thread execution time}}{\text{n-thread execution time}} \\ = \frac{1}{1 - p + \frac{p}{n}} \]
其中 p 是并发执行的代码在所有代码中的比例。
Safety & Linvness 安全性和活跃性
liveness 在中文版教材中被翻译为演进条件。
中共中央关于进一步全面深化改革推进中国式现代化的决定
（2024 年 7 月 18 日中国共产党第二十届中央委员会第三次全体会议通过）
为贯彻落实党的二十大作出的战略部署，二十届中央委员会第三次全体会议研究了进一步全面深化改革、推进中国式现代化问题，作出如下决定。
进一步全面深化改革、推进中国式现代化的重大意义和总体要求
（1）进一步全面深化改革的重要性和必要性。改革开放是党和人民事业大踏步赶上时代的重要法宝。党的十一届三中全会是划时代的，开启了改革开放和社会主义现代化建设新时期。党的十八届三中全会也是划时代的，开启了新时代全面深化改革、系统整体设计推进改革新征程，开创了我国改革开放全新局面。
以习近平同志为核心的党中央团结带领全党全军全国各族人民，以伟大的历史主动、巨大的政治勇气、强烈的责任担当，冲破思想观念束缚，突破利益固化藩篱，敢于突进深水区，敢于啃硬骨头，敢于涉险滩，坚决破除各方面体制机制弊端，实现改革由局部探索、破冰突围到系统集成、全面深化的转变，各领域基础性制度框架基本建立，许多领域实现历史性变革、系统性重塑、整体性重构，总体完成党的十八届三中全会确定的改革任务，实现到党成立一百周年时各方面制度更加成熟更加定型取得明显成效的目标，为全面建成小康社会、实现党的第一个百年奋斗目标提供有力制度保障，推动我国迈上全面建设社会主义现代化国家新征程。
中国共产党第二十届中央委员会第三次全体会议公报
（2024 年 7 月 18 日中国共产党第二十届中央委员会第三次全体会议通过）
中国共产党第二十届中央委员会第三次全体会议，于 2024 年 7 月 15 日至 18 日在北京举行。
出席这次全会的有，中央委员 199 人，候补中央委员 165 人。中央纪律检查委员会常务委员会委员和有关方面负责同志列席会议。党的二十大代表中部分基层同志和专家学者也列席了会议。
全会由中央政治局主持。中央委员会总书记习近平作了重要讲话。
全会听取和讨论了习近平受中央政治局委托所作的工作报告，审议通过了《中共中央关于进一步全面深化改革、推进中国式现代化的决定》。习近平就《决定（讨论稿）》向全会作了说明。
CONCUR'15-A Framework for Transactional Consistency Models with Atomic Visibility
摘要
现代分布式系统通常依赖于数据库，这些数据库通过仅提供关于分布式事务处理一致性的弱保证来实现可扩展性。与此类数据库交互的程序的语义取决于其一致性模型，该模型定义了这些保证。不幸的是，一致性模型通常是非正式的或使用不同的形式主义，通常与数据库内部相关。为了解决这个问题，我们提出了一个框架，用于统一和声明性地指定各种事务一致性模型。
我们的规范以弱内存模型的形式给出，使用事件和关系结构。这些规范特别简洁，因为它们利用了许多一致性模型保证的原子可见性属性：事务的所有更新或所有更新都对另一个事务可见。这允许规范从事务内部的单个事件中抽象出来。我们通过指定几个现有的一致性模型来说明我们框架的使用。为了验证我们的规范，我们证明它们等同于替代操作规范，这些规范是更接近实际实现的算法。我们的工作为开发弱一致性大规模数据库中出现的新形式并发的元理论提供了严格的基础。
作者：
- Andrea Cerone, IMDEA Software Institute
- Giovanni Bernardi, IMDEA Software Institute
- Alexey Gotsman, IMDEA Software Institute
软件学报'22-分布式数据库多级一致性统一建模理论研究
\[ \def\po{\mathsf{\textcolor{red}{po}}} \def\so{\mathsf{\textcolor{purple}{so}}} \def\wr{\mathsf{\textcolor{green}{wr}}} \def\ww{\mathsf{\textcolor{red}{ww}}} \def\rw{\mathsf{\textcolor{blue}{rw}}} \def\co{\mathsf{\textcolor{orange}{co}}} \def\SO{\mathsf{\textcolor{purple}{SO}}} \def\VIS{\mathsf{\textcolor{green}{VIS}}} \]
摘要
分布式数据库系统出现了支持多协调器和多副本存储的新架构，这给事务调度的正确性带来了新的挑战，包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题。基于事务隔离级别和分布式系统一致性协议的定义，为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型。该形式化模型为事务的正确调度提供具有鲁棒性的评价标准，可以方便地对数据库事务调度情况进行动态或静态分析检验.
作者：数据工程与知识工程教育部重点实验室(中国人民大学)、中国人民大学 信息学院 水治禹、卢卫、赵展浩、何粤阳、张孝、杜小勇
基于环的数据异常与隔离级别定义
铅酸蓄电池电动车电量显示和延长续航原理
摘要
铅酸蓄电池电动车使用经验有二：电量表无法正确显示剩余电量；匀速行驶可以增加电池续航里程。本文从电化学角度和电路角度分析了铅酸蓄电池工作原理，解释了这两个工程现象。
铅酸蓄电池电化学反应
铅酸蓄电池正极材料为 \(\ce{PbO2}\)，负极材料为 \(\ce{Pb}\)，电解质为 \(\ce{H2SO4}\)。
江苏主要船舶企业
摘要
本文分析了江苏主要船舶企业的业务范围和特点。所有数据来自企业官网和研报等公开资料。
| 序号 | 单位 | 简称 | 企业性质 | 地区布局 | 业务范围 | 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）股票走势与船舶周期的相关性。本文从公司业务、财务、南北船重组三个角度分析了中国船舶这一企业。笔者在原研报的基础上补充了和环保法规相关的内容。
结论前置