hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
电磁黑洞

电磁黑洞，在广义相对论与经典电磁学的框架中，通常指带电的黑洞或在强电磁场环境下研究的黑洞时空解。典型的精确解包括赖斯纳－诺德斯特伦度规（静态、带电、无旋）与克尔－纽曼度规（带电且有旋），它们来自爱因斯坦场方程与麦克斯韦方程组的耦合。电荷与电磁场会改变时空结构、事件视界位置、奇点性质以及热力学行为。

在天体物理语境中，“电磁黑洞”一词也被宽泛用于讨论黑洞附近的强电磁过程，如吸积盘与喷流中的磁场、相对论性等离子体、同步加速辐射、以及通过布兰德福德－兹奈克机制从旋转黑洞中抽取能量的情形。严格而言，天体物理黑洞在宏观尺度上趋于电中性，带电黑洞更常作为理论研究对象或引力—电磁相互作用的理想化模型。
三亚市文物保护单位
Section: 附录

三亚市旅游和文化广电体育局. . 三亚市人民政府. 2025-05-30  [2025-12-02] （中文）.

海南省境内的全国重点文物保护单位列表

海南省文物保护单位

吉阳区各级文物保护单位列表、海棠区各级文物保护单位列表、天涯区各级文物保护单位列表、崖州区各级文物保护单位列表

市博物馆. . 三亚市史志工作办公室  (编). . 海南省海口市: 海南出版社. 2008-08: 260–261. ISBN 978-7-5443-2554-7 （中文（简体））.  使用|accessdate=需要含有|url= (帮助)
行動機器人

行動機器人（mobile robot）是可以自行行動的機器人。行動機器人學一般算是机器人学和資訊工程的子領域。

行動機器人可以在其環境中行動，不需固定在某特定位置。行動機器人可以是自主式的（自主机器人，AMR），是指在沒有物理或是電磁的導引裝置下，有可以在不受控環境下探索的能力。相對地，行動機器人也可以配合導引設備，使其在相對受控的空間下，以事先定義的導引路徑行進。相反的，工业机器人多半是比較固定式的，括機械手臂（多連桿機械臂）以及機器人終端執行器（或是末端执行器）。

行動機器人的零件包括有控制器、感測器、致動器以及動力系統。控制器一般會是微處理器、嵌入式微控制器或是個人電腦。感測器依機器人的需求而定。其需求可能包括航位推測、触觉感知和接近感測、三角測距（triangulation ranging）、碰撞避免（collision avoidance）、定位以及其他特殊應用。致動器一般是指電動機，可以帶動機器人的輪或是腳使其行動。其動力來源一般會是直流電源（電池），不會使用交流電源。
塔塔尔学校旧址
Section: 相关历史

学校是展开“新式教学法（即扎吉德）”教育的学校，教授算术、作文、自然、刺绣等课程。学校除招收塔塔尔族学生外，也招收维吾尔族、哈萨克族、柯尔克孜族、锡伯族、回族、汉族学生。然而学校因为新式教学法，常受到保守势力及当权者的骚扰。十月革命爆发后，光明学校校长阿力甫·哈比托夫在次年的3月8日国际妇女节组织师生、员工、群众近千人在伊宁市游行示威。此次运动遭镇压，校长阿力甫·哈比托夫等人或被捕或下落不明。但学校仍开展新式教育法。至民国十六年（1927年），光明学校在伊宁塔塔尔寺旁组织成立塔塔尔家长委员会，并新建光明学校小学部。最初，小学部仅为三个班的学校。

现存的塔塔尔学校旧址最初为光明学校（或译曙光小学）小学部。光明学校的建立源自于1910年初，伊宁市塔塔尔族居民的一次启蒙运动的高潮。此次启蒙运动中，女子教育得到重视。于是，塔塔尔族知识分子决定在伊宁市建立女子学校，并从喀山聘请教师。随之，塔塔尔族商人们也参与到学校的建设中。将伊宁塔塔尔寺的经文学校拆除，修建起有10间教室的两层教学楼。此学校为新疆和俄罗斯境内塔塔尔族（鞑靼族）开办的首所女子中小学，其影响力扩及至喀山。1914年，学校以光明学校之名招生开学，并开名为“光明”的设阅览室。
RiRi
Section: 發展歷程

2024年，Gyuri在Serri宣傳《Spotlight》時被她深深打動，於是邀請她一起合作。同時，Serri也在考慮是否要復出，覺得策劃雙人企劃會很有趣所以就組成團體出道。

10月22日，報導稱Serri和Gyuri組成了二人組合RiRi，並將於11月1日發行迷你專輯出道，11 月1日，RiRi發行了迷你專輯《Rush (Yes Yes, Call It Love)》。

在RiRi出道之前，兩位成員都已活躍於演藝圈：
Serri於2011年以Dalshabet成員身分出道，並於2020年開始以個人歌手身分活動。她也涉足多個領域，包括創立冰淇淋品牌以及進入時尚界。

Gyuri（真名崔呈媛）曾是韓國小姐，在中國和韓國都活躍於模特兒、演員和TikTok網紅領域。她也曾是練習生，並於2021年以個人歌手身分出道。
張聖奘
Section: 生平

1931年1月至1932年1月，張聖奘受聘為上海美術專科學校的世界文學教授，並參與該校的課程改革。同時期，他活躍於上海文化界，在《現代學術》等刊物發表文章，並參與各類書畫展覽與文化活動。據其自述履歷，此期間他亦曾在復旦大學外國文學系、上海外國語專門學校等多校任教。

1934年秋，張聖奘受聘為重慶大學文學院史學系講師。1937年重大商學院成立後，他轉任商學院專任教授，講授經濟地理等課程，並於1942年擔任校務會議代表，1944年獲得教育部頒發的三等服務獎。他參與了營救被捕的商學院院長馬寅初的活動。
模型检测

在计算机科学领域，模型检测或属性检测是一种用于验证系统的有限状态模型是否满足给定规范（即正确性）的方法。这种方法通常应用于硬件或软件系统；在此类系统中，规范不仅包含安全性需求（例如避免导致系统崩溃的状态），同时也包含活性需求（例如避免活锁现象）。

为了能够通过算法解决此类问题，系统的模型及其规范均需使用精确的数学语言进行形式化表述。为此，该问题被转化为逻辑范畴下的任务，即验证某个特定的结构是否满足给定的逻辑公式。这一通用概念适用于多种逻辑类型及各类结构。最基础的模型检测问题，即是验证给定的结构是否满足命题逻辑中的某个公式。
熱力學儀器
Section: 熱力學量測儀器

根據］理想气体状态方程，此氣體的體積可以用來指其溫度。以此方式可以定義溫度。壓力是用力學的方式定義。但气压表也可以用定溫下的理想氣體來建構。热量计是量測並定義系統內能的設備。

常見的熱力學量測儀器有：

溫度計：用上述的方式量測溫度

氣壓表：量測壓力的儀器，最常見的是量測大氣壓力。理想氣體氣壓表可以用在理想氣體隔熱的情形下，機械連接待測系統。其體積可以用來量測壓力，關係如理想氣體方式所述P = NkT/V。
劳埃德·凯利
Section: 俱乐部生涯

2018年3月19日，凯利入选英冠联赛第38周“周度最佳阵容”，因“成熟的防守表现”，外加在对阵伊普斯威奇的比赛中助攻全场唯一一枚进球，获得表扬。

2019年5月18日，在布里斯托尔城效力了八年，凯利签约英超俱乐部伯恩茅斯，转会费用未公开，据报高达1300万英镑。9月25日，在对阵伯顿阿尔比恩的英格蘭足球聯賽盃比赛中攻入伯恩茅斯生涯首球。2020年6月，首度参加英超联赛，在对阵狼队的比赛中替补上场。2021年4月17日，再攻入伯恩茅斯生涯首球，帮助伯恩茅斯3比1战胜诺里奇城。

凯利12岁被布里斯托尔中城（Bristol Central）队的球探发掘，加入球队。2015至16赛季，凯利入选布里斯托尔城与葡萄牙俱乐部季前赛的名单。2017年8月8日，凯利正式代表布里斯托尔城参加比赛，帮助球队在英格蘭足球聯賽盃5比0战胜普利茅斯。同年12月23日，首次参加联赛，对阵女王公园巡游者，三天后在对阵雷丁的比赛中攻入联赛首球。2017至18赛季结束后，获评球队年度最佳年轻球员。