shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
전통적으로 이슬람 세계에서 매춘은 포주가 일시적으로 자신의 노예를 고객에게 팔고, 고객은 성교 후 불만에 대한 구실로 노예 소유권을 반환하는 방식으로 이루어졌다.
이슬람 법은 공식적으로 매춘을 금지했다. 그러나 이슬람 법은 남성이 자신의 개인 성노예와 성관계를 가질 수 있도록 허용했기 때문에, 매춘은 포주가 자신의 여성 노예를 노예 시장에서 고객에게 팔고, 고객은 1~2일 후에 불만을 이유로 그녀의 소유권을 반환하는 방식으로 이루어졌는데, 이는 이슬람 세계에서 합법적이고 용인된 매춘 방법이었다.
이러한 형태의 매춘은 예를 들어 여행 중에 여러 여성 노예를 얻었던 이븐 바투타에 의해 행해졌다.
오스만 제국 하렘은 첩들을 위한 훈련 기관과 유사했으며, 오스만 엘리트에 더 가까워지는 방법으로 기능했다. 하류층 가정의 여성들은 황실 하렘에서 특히 좋은 사회적 이동성 기회를 가졌는데, 고위 군 관리들을 위한 첩으로 훈련받을 수 있었기 때문이다. 첩들은 술탄의 총애를 받으면 오스만 사회에서 훨씬 더 큰 권력을 가질 기회를 얻었다. 술탄은 신궁에 많은 수의 소녀들을 첩으로 두었으며, 그 결과 16세기와 17세기에는 "소녀들의 궁전"으로 알려지게 되었다. 이 첩들은 주로 젊은 기독교 노예 소녀들로 구성되었다. 기록에 따르면 술탄은 신궁에 첩을 두 달 동안 두었고, 그 기간 동안 그는 그녀를 마음대로 다루었다고 한다. 그녀들은 임신할 때까지 술탄의 성적 관심 대상이 될 자격이 있었고, 만약 첩이 임신하면 술탄은 그녀를 아내로 삼고 왕실 자녀를 준비할 구궁으로 옮길 수도 있었다. 두 달이 끝날 때까지 임신하지 않으면 술탄의 고위 군인 중 한 명에게 결혼시켰다. 첩이 임신하여 딸을 낳으면 여전히 술탄의 추가 성적 관심 대상이 될 수 있었다. 하렘 시스템은 오스만 이집트 사회에서도 중요한 부분이었으며, 하렘 부분의 비밀 유지, 즉 여성들이 가족 외의 남성들로부터 숨겨져 있는 것, 흑인 환관들에 의한 여성 보호, 그리고 첩이 되기 위한 훈련 기능 등을 포함하여 여러 면에서 황실 하렘을 모방하려고 했다.
아르메니아인 집단학살의 성노예.
아르메니아인 집단학살 이전에 오스만 정부는 지즈야 납부와 아르메니아 공동체의 보호받는 지위 사이의 연관성을 강조했다. 그러나 1915년 이전에 아르메니아 지도자들이 외부 세력에 호소하여 오스만인들에게 기독교인을 위한 개혁을 강요한 것은 나중에 국가와의 계약 위반으로 간주되어 노예화로부터의 보호를 포함한 그들의 보호받는 지위를 제거하는 구실이 되었다.
아르메니아인 집단학살 동안 수많은 아르메니아 여성들이 강간당하고 성노예가 되었으며, 여성들은 강제로 매춘을 하거나 비아르메니아인과 강제 결혼했으며, 군 관리들에게 성노예로 팔렸다. 납치된 아르메니아 소녀들은 나이, 미모, 결혼 여부에 따라 분류되었다. "첫 번째 선택권"은 고위 오스만 관리들에게 주어졌다. 한 독일인은 라스알아인에서 소녀들의 판매를 보고했으며, 경찰관들이 소녀 거래를 수행했다고 증언했다. 몇몇 노예 시장은 정부 건물 근처에 설치되었고, 아르메니아인 포로 성노예들은 트라브존의 적신월 병원에 수용되었다. 연구에 따르면 터키 여성들은 아르메니아 여성들에 대한 범죄에 종종 공모하여 성노예로 파는 것을 도왔다.
황실 하렘의 노예들.
황실 하렘에 대해 실제로 알려진 것은 거의 없으며, 알려져 있다고 생각되는 대부분은 실제로는 추측과 상상이다. 이 주제에 대한 정확한 기록이 부족한 두 가지 주요 이유가 있다. 첫째는 오스만 사회에서 부과된 장벽 때문인데, 황실 하렘은 일반인들이 물리적으로 접근할 수 없었고 내부자들의 침묵이 강요되었기 때문에 작동 방식에 대해 알기 어려웠다. 둘째는 이 시기의 모든 기록이 유럽 여행자들에 의한 것인데, 이들은 비무슬림(카피르) 외국인이었기 때문에 왕실 하렘의 내부 구조를 더욱 알기 어려웠을 것이기 때문이다. 그럼에도 불구하고 황실 하렘과 술탄들의 성적 관행에 대한 스캔들성 이야기는 감각주의적인 주장이든 불편한 진실에서 비롯되었든 인기가 있었다. 무라트 4세의 뒤를 이어 1640년에 즉위했으며 이브라힘이 궁전에서 대규모 난교를 너무 자주 벌여 공금을 탕진하였다는 술탄의 성적 과잉에 대한 선정적인 이야기는 17세기 내내 황실 생활의 이미지가 되었다.
그러나 황궁에서 시종으로 일했던 포로 유럽인들의 기록과 이스탄불에 거주하던 대사, 그들의 비서, 수행원들의 보고, 전보, 서신은 다른 종교적 동기를 가진 유럽 자료보다 더 신뢰할 만한 통찰력을 제공한다. 또한 이 중에서 16세기 베네치아인들의 저술은 광범위한 분량, 포괄성, 정교함, 정확성 면에서 특히 뛰어나다다.
오스만 술탄의 첩은 주로 매매된 노예들로 구성되었다. 술탄의 첩들은 일반적으로 기독교도(대개 유럽인, 체르케스인, 압하스인 또는 조지아인) 출신이었다. 오스만 제국 하렘 내의 상류층은 술탄의 어머니, 총애받는 첩들, 왕실 첩들, 자녀들(왕자/공주), 행정 직원 등 많은 여성들으로 구성되어 있었다. 궁정 하렘의 행정 직원들은 많은 고위 노예 여성 관리들로 구성되었으며, 그들은 내부 업무를 위한 자리예 훈련을 담당했다.
술탄의 어머니는 공식적으로는 노예였지만, 노예 여성의 자녀가 노예주에게 인정된 경우 움 알-왈라드 규정에 따라 술탄이 사망하면 자유를 얻었으며, 술탄의 자유로운 어머니로서 제국 통치에 상당한 비공식적 영향력을 행사할 수 있는 발리데 술탄이라는 높은 지위의 칭호를 받았다(여인들의 술탄 시대 참조). 술탄의 어머니는 황실 하렘에서 의사 결정에 상당한 역할을 했다. 한 주목할 만한 예는 그리스 정교회 사제의 딸인 쾨셈 술탄으로, 그녀는 17세기 초 수십 년 동안 오스만 제국을 지배했다. 또 다른 주목할 만한 예인 록셀라나(휘렘 술탄으로도 알려짐)는 쉴레이만 1세의 총애하는 아내였다. 오스만 제국을 연구하는 많은 역사학자들은 16세기와 17세기 이슬람 관찰자들의 사실적 증거에 의존한다. 하렘 기관의 엄청난 성장은 왕조 권력 구조에서 여성들의 경력과 역할을 재구성했다. 하렘 여성들 중에는 오스만 술탄의 어머니, 법적 아내, 칼파, 첩들이 있었다. 그러나 이 하렘 여성들 중 극소수만이 노예 신분에서 해방되어 배우자와 결혼했다.
첩들은 환관 노예들에 의해 감시되었는데, 이들은 종종 아프리카 이교도 출신이었다. 환관들은 '키즐라르 아가'(노예 소녀들의 아가)가 이끌었다. 일부 이슬람 법 해석은 남성의 거세를 금지했지만, 에티오피아 기독교인들은 그러한 거리낌이 없었다. 따라서 그들은 남쪽 영토 주민들을 노예로 삼고, 그 결과로 얻은 환관들을 오스만 포르테에 팔았다. 헨리 G. 스푸너는 상이집트의 아부 게르베 수도원에 있는 콥트 사제들이 환관 노예 무역에 광범위하게 참여했다고 주장했다. Spooner는 콥트 사제들이 약 8세 소년들의 음경과 고환을 거세 수술로 잘라냈다고 언급한다.
환관 소년들은 오스만 제국으로 팔려갔다. 스푸너에 따르면, 오스만 환관의 대다수는 아부 게르베 수도원의 콥트인들에 의해 거세당했다. 소년들은 아프리카 대호수 지역과 다르푸르 및 코르도판과 같은 수단의 다른 지역에서 납치되어 노예가 된 후 이집트의 고객들에게 팔렸다.
대부분의 환관은 아프리카 출신이었지만, 대부분의 백인 환관은 데브쉬르메 즉 오스만 발칸반도와 아나톨리아 그리스인 중에서 모집된 기독교 소년들 중에서 선발되었다. 흑인 환관들은 출신지에서 거세되었던 것과 달리, 이들은 궁정에서 거세되었다. 데브쉬르메 출신 환관들 중 상당수는 대재상 하듬 알리 파샤, 시난 보로비니치, 하듬 하산 파샤와 같은 오스만 군대와 정부에서 중요한 직책을 맡았다.
오스만 노예 제도의 쇠퇴와 억압.
1830년부터 오스만 제국은 노예 제도와 노예 무역을 점차적으로 제한하는 여러 개혁을 발표했다. 오스만 제국에서 노예 제도를 공식적으로 폐지하는 과정의 일환으로 1830년 칙령, 이스탄불 노예 시장 폐지(1847), 페르시아만 노예 무역 억제(1847), 체르케스 및 조지아 노예 무역 금지(1854–1855), 흑인 노예 무역 금지(1857), 그리고 1880년 영국-오스만 협정이 있었고, 이어서 1889년 카눈나메와 1908년 헌법에서 노예 제도가 제외되었다.
그러나 이러한 개혁들은 주로 명목상이었다. 서방의 압력으로 외교적 이유 때문에 도입되었으며, 실제로는 20세기 제국이 멸망할 때까지 오스만 제국에 의해 노예 제도와 노예 무역이 모두 용인되었다.
19세기에 유럽 국가들의 영향력과 압력에 대응하여, 제국은 제국 초기부터 오스만 법에 따라 합법적으로 유효했던 노예 무역을 제한하기 위한 조치를 취하기 시작했다. 오스만 노예 제도 및 노예 무역에 반대하는 중요한 캠페인 중 하나는 러시아 당국에 의해 캅카스에서 수행되었다.
일련의 칙령이 공포되어 처음에는 백인 노예 제도를 제한했으며, 나중에는 모든 인종과 종교의 노예 제도를 제한했다. 술탄 마흐무트 2세의 1830년 칙령은 백인 노예에게 자유를 주었다. 이 범주에는 자신들의 자녀를 파는 관습이 있던 체르케스인, 1821년에 제국에 대항하여 반란을 일으킨 노예 그리스인, 그리고 다른 몇몇 사람들이 포함되었다. 실제로는 서방에서 큰 주목을 받았던 그리스 독립 전쟁 동안 노예가 된 그리스인 포로들에 관한 것이었다.
1847년 이스탄불 노예 시장 폐지는 오스만 수도의 공개 노예 시장을 폐쇄했다. 이는 비판을 피하기 위해 노예 무역을 실내로 옮기는 미용적인 개혁이었다. 같은 해, 페르시아만 노예 무역 억제는 명목상 페르시아만을 통한 아프리카 노예의 오스만 영토 수입을 금지했다. 그러나 이 금지령은 명목상이었다.
하렘을 위한 주로 백인 소녀들의 노예 무역은 서방의 주목을 받았다. 이 관행을 억압하기 위해 1854년 10월 체르케스인과 조지아인 무역을 폐지하는 또 다른 칙령이 발표되었다. 이 칙령은 노예 제도 자체를 폐지한 것이 아니라 새로운 노예 수입만 금지했다. 그러나 1858년 3월, 오스만 트라페준트 총독은 영국 영사에게 1854년 금지령이 외세 압력으로 인한 일시적인 전시 금지령이었으며, 콘스탄티노폴리스로 향하는 흑해 항로의 노예선 통행을 허용하라는 명령을 받았다고 알렸다. 그리고 12월에는 공식적인 세금 규정이 도입되어 체르케스 노예 무역을 다시 합법화했다. 이른바 체르케스 노예 무역은 20세기까지 계속될 예정이었다.
성노예(첩)를 위한 백인 소녀들의 성노예 무역은 멈추지 않았고, 영국의 여행 작가 존 머레이는 1870년대 중동에서 백인 노예 소녀들을 다음과 같이 묘사했다.
서방도 아프리카 노예 폐지에 압력을 가하기 시작했다. 1857년 영국의 압력으로 오스만 술탄은 1857년 칙령을 발표하여 수단에서 오스만 이집트로, 홍해를 가로질러 오스만 히자즈로의 노예 무역을 금지했다. 그러나 이전의 1854년 칙령은 이미 히자즈 지방에서 히자즈 반란을 일으켰고, 그 결과 히자즈의 노예 무역은 홍해 노예 무역의 1857년 금지령에서 제외되었으며, 금지령은 서류상으로만 존재했다. 1857년 칙령은 노예 제도 자체를 금지하지 않았고, 노예 무역도 금지하지 않았다. 단지 외국에서 오스만 제국 국경을 넘어 새로운 노예를 수입하는 것을 금지했을 뿐이다.
나중에 노예 밀매는 이슬람법인 샤리아에서 노예 제도에 대한 특정 조건을 강제함으로써 사실상 금지되었다. 예를 들어, 한 조항에 따르면 포로로 잡힌 사람이 포획되기 전에 이미 무슬림이었다면 노예로 유지될 수 없었다. 또한, 공식적인 선전포고 없이 합법적으로 포획될 수 없었으며, 오직 술탄만이 그러한 선전포고를 할 수 있었다. 후기 오스만 술탄들은 노예 제도를 중단하기를 원했기 때문에 노예를 포획하기 위한 습격을 허가하지 않았고, 그로 인해 새로운 노예를 조달하는 것을 사실상 불법화했지만, 이미 노예 상태에 있던 사람들은 노예로 남아있었다. 1874년 11월, 영국 대사관은 노예 무역을 제한하기 위한 조치를 시행할 목적으로 오스만 정부와 북아프리카의 노예 밀매 증가에 대해 논의했다. 그러나 그 당시에도 영국은 지중해를 통한 노예 운송(예: 북아프리카에서 이스탄불로)을 막을 권리를 확보하지 못했다.
1880년 영국-오스만 협정은 홍해 노예 무역을 금지했고, 영국은 오스만 해역에서 노예 밀매가 의심되는 모든 선박을 정지시키고 통제할 권리를 부여받았다. 그러나 실제로는 히자즈 지방에서 이 금지령이 시행되지 않았다.
탄지마트 반노예제 개혁은 노예 제도 자체보다는 공개적인 노예 무역에 초점을 맞추었다. 19세기 말에서 20세기 초에는 노예 판매가 종종 공개 노예 시장에서 노예 상인들의 개인 주택으로 옮겨갔고, 종종 어린 아이들로 구매되던 노예 구매는 공식적으로 입양이라고 불리게 되었으며, 개인 가정의 노예들은 공식적으로 "하인"이라고 불리며, 동산 노예와 가사 노예 사이에 구별이 없어졌다.
금지와 여파.
1887년 제국 칙령에서 동산 노예 제도는 공식적으로 폐지되어 더 이상 법적으로 인정되지 않는다고 선언되었다. 칙령은 "제국 정부는 노예 상태를 공식적으로 인정하지 않으므로, 제국에 사는 모든 사람을 법적으로 자유인으로 간주한다"고 명시했다.
그러나 이 법은 명목상이었고 노예 무역은 계속되었다. 영국의 압력으로 압뒬하미트 2세 술탄은 1889년 12월 30일 아프리카 노예 무역에 반대하는 법인 1889년 카눈나메를 공포했다. 그러나 이 법은 제국 내 노예 무역에 대한 특별한 처벌을 포함하지 않았고, 효율적이지 않다고 여겨졌다.
오스만 제국과 16개국은 1890년 1890년 브뤼셀 회의법에 서명하여 노예 무역을 억압하기로 했다. 이 법은 오스만 제국에게 국경 내의 모든 불법 밀매 노예를 해방하고, 모든 서명국에게 1889년 이후 오스만 제국에 노예로 끌려온 모든 자국민을 해방하거나 해방을 요구할 권리를 부여했으며, 이 법은 1892년에 시행되었다.
은밀한 노예 제도는 20세기 초까지 계속되었다. 1895년 10월 내무부 회람은 지방 당국에 일부 증기선이 잔즈 선원들의 "해방 증명서"를 빼앗고 노예로 만들었다고 경고했다. 같은 해의 또 다른 회람은 새로 해방된 잔즈 노예들이 근거 없는 혐의로 체포되어 투옥되고 그들의 주인에게 강제로 돌아가야 했음을 밝혔다.
1897년 내무부가 바스라의 발리에게 내린 지시는 해방된 노예의 자녀들에게는 노예가 되는 것을 피하고 부모와 분리되는 것을 막기 위해 별도의 해방 증명서를 발급하도록 명령했다.
콘스탄티노폴리스 주재 영국 대사관 제2서기관 조지 영은 1905년에 출판된 자신의 오스만 법전에 따르면, 저술 당시 제국 내 노예 무역이 밀수품으로만 이루어지고 있다는 인상을 받았다고 썼다.
하인 노예, 즉 종종 여성과 어린이였던 이들은 20세기 초에 이르러 입양아와 가정부로 불렸지만, 사실 여전히 노예였으며, 거의 돈을 받지 못하거나 전혀 받지 못했다.
1908년에는 종종 스스로 매춘을 강요당했던 전직 여성 노예들을 돕기 위해 국립 하인 기관인 히즈메트치 이다레시가 설립되었지만, 실제로는 여성과 어린이를 위한 사실상의 노예 시장 바자르로 기능했다.
1908년에도 여성 노예는 오스만 제국의 노예 시장에서 여전히 공개적으로 판매되고 있었다.
청년 튀르크당은 20세기 초 반노예제 입장을 채택했다.
오스만 지식인들은 노예 제도 폐지 자체에는 거의 관심을 보이지 않았고, 노예 제도의 가장 상징적인 기관 중 하나인 황실 하렘 노예들의 폐쇄에 초점을 맞추었으며, 이들은 1909년 3월 31일에 공식적으로 해방되었다.
압뒬하미트 2세 술탄의 개인 노예들은 1909년에 해방되었지만, 오스만 왕조의 구성원들은 노예를 계속 소유하는 것이 허용되었다. 상류층 사람들은 술탄의 하렘 노예가 해방된 후에도 일반적으로 노예를 계속 소유했다.
무역은 제1차 세계 대전까지 계속되었다. 1913년부터 1916년까지 콘스탄티노폴리스 주재 미국 대사를 지낸 헨리 모건소는 자신의 모건소 대사의 이야기에서 그 해 동안 백인 노예를 거래하는 갱단이 있었다고 보고했다. 모건소의 저술은 1915년 아르메니아인 집단학살 동안 아르메니아 소녀들이 노예로 팔리고 있다는 보고도 확인했다.
1915년에서 1917년 사이 아르메니아인 집단학살 동안, 아르메니아 여성과 어린이들이 오스만 시리아의 다마스쿠스에서 벌거벗은 채 전시되어 노예 시장에서 팔렸다. 오스만 제국이 멸망할 무렵, 동산 노예 제도는 대부분의 지방에서 오스만 당국에 의해 여전히 용인되었다.
무스타파 케말 아타튀르크는 튀르키예 공화국에서 법적 노예 제도를 종식시켰다. 튀르키예는 1933년까지 국제연맹의 1926년 노예제 협약을 비준하지 않았다. 그럼에도 불구하고 불법적인 소녀 판매는 적어도 1930년대 초까지 계속되었다고 보고되었다. 노예 제도를 명시적으로 금지하는 법률은 1964년에 최종적으로 채택되었다.
1830년부터 오스만 제국에서 노예제도와 노예무역을 제한하기 위해 도입된 내부 개혁에도 불구하고, 동산 노예제는 1917~1920년 오스만 제국의 해체 이후 중동의 옛 오스만령 지역에서 잔존했다. 이집트의 노예제는 1877~1884년 노예무역 금지 협약 이후 점차 폐지되었지만, 기존 노예는 1931년까지 남아있던 것으로 기록되었다. 이라크의 노예제는 1924년 영국의 압력으로 금지되었다. 요르단의 노예제는 1929년 영국에 의해 종식되었다. 레바논의 노예제와 시리아의 노예제는 1931년 프랑스에 의해 금지되었다. 팔레스타인의 노예제는 1934년에도 후견이라는 명목으로 존재했다. 리비아의 노예제는 1930년대에도 여전히 존재했고, 사우디아라비아의 노예제는 1962년 미국의 압력으로 폐지될 때까지 지속되었으며, 예멘의 노예제는 1962년에서 1967년 사이에 금지되었다.
수학의 한 분야인 순서론에서 부분 순서 집합("포셋"으로 줄여서)에서 자기 자신으로 가는 함수의 최소 고정점(least fixed point, lfp 또는 LFP, 때로는 가장 작은 고정점)은 포셋의 순서에 따라 다른 모든 고정점보다 작은 고정점이다. 함수는 최소 고정점을 가질 필요는 없지만, 만약 가진다면 그 최소 고정점은 유일하다.
실수에 대한 일반적인 순서에서, 실수 함수 f(x) = x2의 최소 고정점은 x = 0이다 (다른 유일한 고정점은 1이고 0 &lt; 1이기 때문이다). 대조적으로, f(x) = x + 1은 고정점이 전혀 없으므로 최소 고정점이 없으며, f(x) = x는 무한히 많은 고정점을 가지지만 최소 고정점은 없다.
formula_1가 유향 그래프이고 formula_2가 정점이라고 하자. formula_2에서 접근 가능한 정점의 집합은 formula_4 함수에 대한 최소 고정점으로 정의할 수 있으며, 이 함수는 formula_5로 정의된다.
formula_2에서 공동 접근 가능한 정점의 집합은 유사한 최소 고정점으로 정의된다. formula_2의 강한 연결 요소는 이 두 최소 고정점의 교집합이다.
formula_8가 문맥 자유 문법이라고 하자. 빈 문자열 formula_9을 생성하는 기호의 집합 formula_10는 함수 formula_4의 최소 고정점으로 얻을 수 있으며, 이 함수는 formula_12로 정의되며, 여기서 formula_13는 formula_14의 멱집합을 나타낸다.
많은 고정점 정리는 최소 고정점을 찾는 알고리즘을 제공한다. 최소 고정점은 종종 임의의 고정점이 갖지 않는 바람직한 특성을 갖는다.
표시적 의미론.
컴퓨터 과학에서 표시적 의미론 접근 방식은 주어진 프로그램 텍스트에서 그 의미론이라고 불리는 해당 수학적 함수를 얻기 위해 최소 고정점을 사용한다. 이를 위해 예외적인 값 "정의되지 않음"을 나타내는 인공적인 수학적 객체 formula_15가 도입된다.
예를 들어, 프로그램 데이터 형식 codice_1가 주어지면, 그 수학적 대응물은 formula_16으로 정의되며, 그림과 같이 각 formula_17에 대해 formula_18을 정의하고, 두 개의 서로 다른 멤버 formula_19는 formula_20에 대해 비교할 수 없도록 정의함으로써 부분 순서 집합이 된다.
프로그램 정의 codice_2의 의미론은 어떤 수학적 함수 formula_21이다. 프로그램 정의 codice_3가 특정 입력 codice_4에 대해 종료되지 않는다면, 이는 수학적으로 formula_22으로 표현될 수 있다. 모든 수학적 함수의 집합은 각 formula_23에 대해 formula_24 관계가 성립할 때, 즉 formula_25이 formula_26보다 덜 정의되거나 같을 때 formula_27를 정의함으로써 부분 순서가 된다. 예를 들어, 식 codice_5의 의미론은 codice_6의 의미론보다 덜 정의되는데, 전자는 후자와 달리 formula_28을 formula_29으로 매핑하고, 그 외에는 일치하기 때문이다.
어떤 프로그램 텍스트 codice_3가 주어지면, 그 수학적 대응물은 codice_3를 "번역"하여 얻을 수 있는 함수에서 함수로의 어떤 매핑의 최소 고정점으로 얻어진다.
예를 들어, C 정의
는 다음과 같은 매핑으로 번역된다
매핑 formula_32는 codice_9가 재귀적으로 정의되었음에도 불구하고 비재귀적으로 정의된다.
예제에서 충족되는 특정 제약 조건(클레이니 고정점 정리 참조) 하에서, formula_32는 반드시 최소 고정점 formula_34를 가지며, 이는 모든 formula_35에 대해 formula_36이다.
formula_32의 더 큰 고정점은 예를 들어 formula_39 함수이며, 다음과 같이 정의된다.
그러나 이 함수는 음수 formula_41에 대한 위 프로그램 텍스트의 동작을 정확하게 반영하지 않는다. 예를 들어, codice_10 호출은 전혀 종료되지 않으며, codice_11을 반환하지도 않는다.
오직 최소 고정점인 formula_42만이 수학적 프로그램 의미론으로 합리적으로 사용될 수 있다.
이머만
과 바르디
는 독립적으로 서술 복잡도 결과를 보여주었는데, 선형으로 순서화된 구조의 다항 시간 계산 가능한 속성은 FO(LFP), 즉 최소 고정점 연산자가 있는 1차 논리로 정의 가능하다는 것이다. 그러나 FO(LFP)는 비순서 구조의 모든 다항 시간 속성(예를 들어 구조가 짝수 크기를 갖는다는 것)을 표현하기에는 너무 약하다.
최대 고정점.
함수의 최대 고정점은 최소 고정점과 유사하게, 포셋의 순서에 따라 다른 모든 고정점보다 큰 고정점으로 정의할 수 있다. 컴퓨터 과학에서 최대 고정점은 최소 고정점보다 훨씬 덜 일반적으로 사용된다. 특히, 도메인 이론에서 발견되는 포셋은 보통 최대 원소를 갖지 않으므로, 주어진 함수에 대해 여러 개의 서로 비교 불가능한 극대 고정점이 있을 수 있으며, 해당 함수의 최대 고정점은 존재하지 않을 수도 있다. 이 문제를 해결하기 위해, 최적 고정점은 다른 모든 고정점과 호환되는 가장 잘 정의된 고정점으로 정의되었다. 최적 고정점은 항상 존재하며, 최대 고정점이 존재한다면 그것이 최대 고정점이다. 최적 고정점은 최소 고정점으로는 수렴하지 않는 재귀 및 공동재귀 함수의 형식적 연구를 가능하게 한다. 불행히도, 클레이니 재귀 정리가 최소 고정점이 효과적으로 계산 가능함을 보여주는 반면, 계산 가능 함수의 최적 고정점은 비계산 함수일 수 있다.
리튬 인산철 배터리(Lithium iron phosphate battery, 배터리) 또는 LFP 배터리(LFP battery, 리튬 철인산염)는 인산철 리튬 ()을 캐소드 재료로 사용하고, 금속성 지지대가 있는 흑연 탄소 전극을 애노드로 사용하는 리튬 이온 전지의 한 종류이다.
낮은 비용, 높은 안전성, 낮은 독성, 긴 수명 주기 등의 요인으로 인해 LFP 배터리는 차량용, 유틸리티 규모의 정지형 애플리케이션 및 백업 전원 등 여러 분야에서 사용되고 있다. LFP 배터리에는 코발트가 없다. 2022년 9월 기준으로, EV용 LFP 배터리 시장 점유율은 31%에 달했으며, 그 중 68%는 테슬라와 비야디 단 두 EV 제조사에서 나왔다. 중국 제조사들은 현재 LFP 배터리 생산 시장을 거의 독점하고 있다. 2022년부터 특허 만료가 시작되고 더 저렴한 EV 배터리에 대한 수요가 증가함에 따라, LFP 유형 생산량은 더욱 증가하여 리튬 니켈 망간 코발트 산화물 (NMC) 유형 배터리를 능가할 것으로 예상된다. 2024년까지 LFP 세계 시장은 110억~170억 달러로 추정되었다.
LFP 배터리의 비에너지는 니켈 망간 코발트 (NMC) 및 니켈 코발트 알루미늄 (NCA)와 같은 다른 일반적인 리튬 이온 배터리 유형보다 낮다. 2024년 현재, CATL의 LFP 배터리 비에너지는 셀 수준에서 205 와트시 매 킬로그램 (Wh/kg)이라고 주장된다. 비야디의 LFP 배터리 비에너지는 150 Wh/kg이다. 최고의 NMC 배터리는 300 Wh/kg 이상의 비에너지 값을 나타낸다. 특히, 테슬라의 2020년 모델 3 중형 세단에 사용되는 파나소닉의 "2170" NCA 배터리의 비에너지는 약 260 Wh/kg으로, 이는 "순수 화학물질" 값의 70%에 해당한다. LFP 배터리는 또한 다른 리튬 이온 배터리 유형보다 낮은 작동 전압을 나타낸다.
는 트리필라이트로 알려진 천연 광물이다. 아루무감 만티람과 존 B. 구디너프는 리튬 이온 전지의 캐소드 재료인 폴리아니온 클래스를 처음으로 확인했다. 는 1996년 Padhi 외 연구진에 의해 배터리에 사용되는 폴리아니온 클래스에 속하는 캐소드 재료로 확인되었다. 에서 리튬의 가역적 추출 및 로의 리튬 삽입이 시연되었다. 낮은 비용, 무독성, 철의 자연적 풍부성, 우수한 열 안정성, 안전 특성, 전기화학적 성능 및 비축전 용량 (170 mA·h/g 또는 610 C/g) 덕분에 상당한 시장 점유율을 얻었다.
상용화의 주요 장벽은 본질적으로 낮은 도전율이었다. 이 문제는 입자 크기를 줄이고, 입자를 탄소 나노튜브와 같은 전도성 물질로 코팅하거나 두 가지 방법을 모두 사용하여 극복되었다. 이 접근법은 2015년 하이드로 퀘벡과 몬트리올 대학교의 미셸 아르망과 그의 동료들에 의해 개발되었다.
옛 밍 치앙의 MIT 연구팀의 또 다른 접근법은 LFP를 양이온으로 도핑하는 것이었다. 알루미늄, 나이오븀, 지르코늄과 같은 재료의 이온들을 사용했다.
초기 리튬 이온 전지에는 석유코크스로 만든 음극(방전 시 애노드)이 사용되었으며, 후기 유형에는 천연 또는 합성 흑연이 사용되었다.
다른 배터리 유형과의 비교.
LFP 배터리는 리튬 이온 기반 화학을 사용하며 다른 리튬 이온 배터리 화학과 많은 장단점을 공유한다. 그러나 상당한 차이가 있다.
자원 가용성.
철과 인산염은 지각에 매우 흔하다. LFP는 니켈이나 코발트를 포함하지 않는데, 이 둘은 공급이 제한적이고 비싸다. 리튬과 마찬가지로 코발트 사용에 대해 인권 및 환경 문제가 제기되었다. 니켈 추출과 관련해서도 환경 문제가 제기되었다.
에너지부에서 2020년에 발표한 보고서는 LFP와 NMC로 구축된 대규모 에너지 저장 시스템의 비용을 비교했다. 그 결과 LFP 배터리의 kWh당 비용이 NMC보다 약 6% 저렴했으며, LFP 셀이 약 67% 더 오래(더 많은 사이클) 지속될 것으로 예상되었다. 셀의 특성 차이로 인해 저장 시스템의 다른 일부 구성 요소 비용은 LFP에서 다소 높을 수 있지만, 전반적으로 kWh당 비용은 NMC보다 여전히 저렴하다.
2020년 최저 보고된 LFP 셀 가격은 $80/kWh (12.5 Wh/$)이었으며 평균 가격은 $137/kWh였고, 2023년에는 평균 가격이 $100/kWh로 떨어졌다.
2024년 초까지 VDA 크기의 LFP 셀은 0.5위안/Wh ($/kWh) 미만으로 구매할 수 있었고, 중국 자동차 제조업체인 립모터는 LFP 셀을 0.4위안/Wh ($/kWh)에 구매하며 0.32위안/Wh ($/kWh)까지 떨어질 수 있다고 밝혔다. 2024년 중반까지 조립된 LFP 배터리는 미국 소비자들에게 약 $115/kWh에 판매되었다.
향상된 노화 및 수명 주기 특성.
LFP 화학은 다른 리튬 이온 화학보다 훨씬 긴 수명 주기를 제공한다. 대부분의 조건에서 3,000회 이상의 사이클을 지원하며, 최적의 조건에서는 10,000회 이상의 사이클을 지원한다. NMC 배터리는 조건에 따라 약 1,000회에서 2,300회 사이클을 지원한다.
LFP 셀은 용량 손실률이 코발트 (), 망가니즈 산화물 첨정석 (), 리튬이온 중합체 전지 또는 리튬 이온 전지와 같은 리튬 이온 배터리 화학보다 느리다(즉, 더 긴 달력 수명).
납 축전지의 유효한 대안.
공칭 3.2 V 출력으로 인해 4개의 셀을 직렬로 연결하여 공칭 전압 12.8 V를 얻을 수 있다. 이는 6셀 납 축전지의 공칭 전압과 비슷하다. LFP 배터리의 우수한 안전 특성과 함께, LFP는 자동차 및 태양광 애플리케이션과 같은 분야에서 납 축전지를 대체할 좋은 잠재력을 가지고 있다. 다만, 충전 시스템이 과도한 충전 전압(충전 중 셀당 3.6볼트 DC 초과), 온도 기반 전압 보상, 균등화 시도 또는 지속적인 트리클 충전을 통해 LFP 셀이 손상되지 않도록 개조되어야 한다. LFP 셀은 팩을 조립하기 전에 최소한 초기 균형이 맞춰져야 하며, 인산철 리튬에서 인산철로의 비가역적 탈리튬화로 인해 대부분의 경우 셀이 2.5V 미만으로 방전되지 않도록 보호 시스템이 구현되어야 한다.
다른 리튬 이온 화학에 비해 중요한 장점 중 하나는 열 및 화학적 안정성으로, 배터리 안전성을 향상시킨다. 는 코발트를 생략함으로써 및 이산화 망가니즈 첨정석보다 본질적으로 안전한 캐소드 재료이다. 코발트는 저항의 음의 온도 계수가 열폭주를 유발할 수 있다. P–O 결합은 이온의 Co–O 결합보다 강하여, 남용될 때(단락되거나, 과열되는 등) 산소 원자가 더 느리게 방출된다. 이러한 산화환원 에너지의 안정화는 또한 더 빠른 이온 이동을 촉진한다.
셀에서 리튬이 캐소드 밖으로 이동할 때, 는 셀의 구조적 무결성에 영향을 미치는 비선형 팽창을 겪는다. 의 완전히 리튬화된 상태와 탈리튬화된 상태는 구조적으로 유사하여 셀이 셀보다 구조적으로 더 안정적이라는 것을 의미한다.
완전히 충전된 LFP 셀의 캐소드에는 리튬이 남아 있지 않다. 셀에서는 약 50%가 남아 있다. 는 산소 손실에 매우 강하며, 이는 일반적으로 다른 리튬 셀에서 발열 반응을 초래한다. 결과적으로, 셀은 오용(특히 충전 중) 시 점화하기 어렵다. 배터리는 고온에서 열분해되지 않는다.
낮은 에너지 밀도.
2008년 기준 새로운 LFP 배터리의 에너지 밀도 (에너지/부피)는 새로운 배터리보다 약 14% 낮았다. 방전율은 배터리 용량의 백분율이므로, 저전류 배터리를 사용해야 하는 경우 더 큰 배터리(더 많은 암페어시)를 사용하여 더 높은 방전율을 얻을 수 있다.
가정용 에너지 저장.
엔페이스는 비용 및 화재 안전을 이유로 LFP와 SunFusion Energy Systems LiFePO₄ Ultra-Safe ECHO 2.0 및 Guardian E2.0 가정용 또는 상업용 에너지 저장 배터리를 개척했다. 비록 시장은 여전히 경쟁적인 화학 물질들로 나뉘어 있지만 말이다. 다른 리튬 화학 물질에 비해 낮은 에너지 밀도는 질량과 부피를 증가시키지만, 정적 적용에서는 둘 다 더 용인될 수 있다. 2021년에는 SonnenBatterie와 엔페이즈를 포함하여 최종 사용자 가정 시장에 여러 공급업체가 있었다. 테슬라는 2023년 파워월 3 출시 전까지 가정용 에너지 저장 제품에 NMC 배터리를 계속 사용했다. 테슬라의 유틸리티 규모 배터리는 2021년에 LFP로 전환했다. EnergySage에 따르면, 미국에서 가장 자주 인용되는 가정용 에너지 저장 배터리 브랜드는 엔페이즈이며, 2021년에는 테슬라와 LG를 넘어섰다.
가속에 필요한 높은 방전율, 낮은 무게, 긴 수명은 이 배터리 유형을 지게차, 자전거 및 전기차에 이상적으로 만든다. 12볼트 LiFePO₄ 배터리는 캐러밴, 캠핑카 또는 보트의 두 번째(주) 배터리로도 인기를 얻고 있다.
테슬라는 2021년 10월 이후 생산된 모든 모델 3 및 모델 Y의 표준 범위 모델에 LFP 배터리를 사용하고 있다. 단, 2022년부터 4680 셀로 제작된 표준 범위 차량은 NMC 화학을 사용한다.
2022년 9월 기준으로, LFP 배터리는 전체 EV 배터리 시장 점유율을 31%로 늘렸다. 이 중 68%는 테슬라와 비야디 두 회사에 의해 배치되었다.
리튬 인산철 배터리는 2021년에 설치 용량의 52%를 차지하며 공식적으로 삼원계 배터리를 추월했다. 분석가들은 2024년에는 시장 점유율이 60%를 넘어설 것으로 추정한다.
2023년 2월, 포드는 미시간에 35억 달러를 투자하여 일부 전기차용 저비용 배터리를 생산하는 공장을 건설할 것이라고 발표했다. 이 프로젝트는 포드 자회사가 전적으로 소유하지만, 중국 배터리 회사인 Contemporary Amperex Technology Co., Limited (CATL)로부터 기술을 라이선스할 예정이다.
태양광 조명 시스템.
안정적인 작동 전압(약 3.2V)과 높은 안전성으로 잘 알려진 리튬 인산철 (LiFePO₄) 배터리는 태양광 조명 시스템에 널리 사용되어 왔다. 기존의 NiCd 또는 NiMH 배터리와 비교하여, LiFePO₄ 배터리는 더 긴 수명 주기와 우수한 열 안정성을 제공하여, 빈번한 충전 및 방전이 필요한 태양광 애플리케이션에 매우 적합하다.
또한 LiFePO₄ 배터리는 충전 과정 중 과충전에 대한 높은 내성을 보여, 복잡한 충전 제어 회로 없이도 태양 전지판에 직접 연결될 수 있다. 이는 태양광 정원등, 가로등, 그리고 다른 야외 조명 시스템에 이상적인 에너지원이 된다.
2013년까지, 더 나은 태양열 충전 PIR 센서 보안 램프가 등장했다. AA 크기 LFP 셀의 용량이 600 mAh에 불과하고(램프의 밝은 LED는 60 mA를 소모할 수 있음), 이 장치는 최대 10시간 동안만 빛을 발한다. 그러나 트리거링이 가끔만 발생하는 경우, 램프 전자기기가 야간 "유휴" 전류를 1 mA 미만으로 보장하므로, 이러한 장치는 낮은 햇빛에서도 만족스러울 수 있다.
일부 전자 담배는 이러한 유형의 배터리를 사용한다. 다른 응용 분야로는 해양 전기 시스템 및 추진, 손전등, 무선 조종 모형, 휴대용 모터 구동 장비, 아마추어 무선 장비, 산업용 센서 시스템 및 비상등이 있다.
리튬-티탄산염 배터리(lithium-titanate battery) 또는 리튬-티타늄 산화물 배터리(lithium-titanium-oxide battery, LTO 배터리)는 다른 리튬 이온 전지보다 충전 속도가 빠르다는 장점이 있지만 에너지 밀도가 훨씬 낮다는 단점이 있는 이차 전지의 한 종류이다.
티탄산염 배터리는 미쓰비시 자동차공업의 미쓰비시 i-MiEV 전기차량의 특정 일본 전용 버전과 혼다의 EV-neo 전기 자전거 및 Fit EV에 사용된다. 또한 토사 콘셉트 전기 버스에도 사용된다. 배터리의 높은 안전성과 재충전 능력 덕분에 LTO 배터리는 카 오디오 애플리케이션뿐만 아니라 모바일 의료 기기에도 사용된다.
LTO 배터리는 삼성그룹 갤럭시 노트20 울트라 5G에 함께 제공되는 S펜에도 사용된다.
Weatherflow Co. 기사에 따르면, 템페스트 날씨 관측 장치에는 1300 mAh LTO 배터리가 포함되어 있으며, 4개의 태양광 패널을 통해 충전되며 "2주마다 최소 4시간의 적절한 햇빛"이 필요하다.
연소 예측 온도계는 LTO 배터리를 사용한다고 설명된다. Combustion Inc.에 따르면, 이를 통해 오븐 내부에서 최대 105 °C(221 °F)의 온도를 안전하게 견딜 수 있다.
리튬 티탄산염 배터리는 탄소 대신 애노드 표면에 리튬-티탄산염 나노결정을 사용하는 변형된 리튬 이온 전지이다. 이것은 애노드에 탄소의 경우 그램당 3제곱미터에 비해 약 그램당 100제곱미터의 표면적을 제공하여 전자가 애노드에 빠르게 들어가고 나갈 수 있게 한다. 또한, 티타늄 산화물에 Li+가 삽입될 때의 산화환원 전위는 흑연에 Li+가 삽입될 때보다 더 양의 값을 갖는다. 이로 인해 리튬 덴드라이트가 전자의 경우보다 후자의 경우에 덜 형성될 가능성이 있기 때문에 티탄산염의 경우 탄소의 경우보다 훨씬 더 안전하게 고속 충전(더 높은 충전 전류)이 가능하다. 리튬-티탄산염 셀은 6000회에서 30000회의 충전 주기 동안 지속된다. 표준 대신 에서 충전 및 방전될 경우 80% 용량에 도달하기 전까지 약 1000회 주기 수명이 가능하다.
리튬 티탄산염 배터리의 단점은 낮은 고유 전압(2.4 V)으로, 이는 고유 전압이 3.7 V인 기존 리튬 이온 전지 기술보다 낮은 비에너지(약 30–110 Wh/kg)를 초래한다. 그러나 일부 리튬 티탄산염 배터리는 최대 177 Wh/L의 부피 에너지 밀도를 갖는다.
브랜드 및 용도.
로그 9 과학 재료.
로그9 회사는 리튬 인산철(LFP)과 리튬-티타늄 산화물(LTO) 배터리 화학을 기반으로 한 자사의 열대 이온 배터리(TiB)를 도입하기 위해 노력하고 있다. LFP와 LTO와 달리, 더 인기 있는 NMC(니켈 망간 코발트) 화학은 인도와 같은 가장 따뜻한 조건에서 생존하는 데 필요한 온도 저항성을 가지고 있다. LTO는 온도 저항성뿐만 아니라 수명도 길다.
알테어나노.
알테어나노는 주로 배터리식 전기자동차용으로 "나노세이프" 라인 아래에서 리튬 티탄산염 배터리를 생산한다. 알테어나노 배터리 사용 계획을 발표한 차량 제조업체로는 전기 스포츠카인 라이트닝 GT에 이를 사용할 계획인 라이트닝 자동차 회사가 있다. 피닉스 모터카스는 전기 스포츠 유틸리티 차량에 사용할 계획이다. 그리고 프로테라의 전기 EcoRide BE35 경량 35피트 버스에도 사용된다.
알테어나노는 또한 전기 그리드 보조 서비스 및 군사 애플리케이션를 위해 리튬-티탄산염 에너지 저장 시스템을 배치했다.
그리너지.
그리너지는 2017년에 설립된 대한민국의 배터리 제조사이다. 상업용 및 전사급 군용 LTO 배터리 기술을 제공한다. 그리너지는 2023년 CES 혁신상 수상자이다.
레클란체.
레클란체는 1909년에 설립된 스위스 배터리 제조업체이다. 2006년 독일의 Bullith AG를 인수하여 독일에 리튬이온 생산 라인을 설립했다. 2014년에는 "TiBox" 제품이 시장에 출시되었다. TiBox의 에너지 용량은 3.2 kWh이며, 예상 수명은 15,000회 주기이다.
마이크로배스트.
텍사스주 휴스턴에 본사를 둔 마이크로배스트는 "LpTO"라고 부르는 리튬 티탄산염 배터리를 만든다. 2011년 중국 충칭시에서 세계 최초로 초고속 충전 버스 차량이 출시되었다. 37대의 12미터 전기 버스에 80 kWh LpTO 배터리 시스템이 설치되었으며, 400 kW 충전기로 10분 이내에 완전히 충전할 수 있다.
2014년부터 영국 버스 OEM인 라이트버스는 1,000대의 2층 버스 New Routemaster에 마이크로배스트 LpTO 배터리를 사용하기 시작했다. 초기 리튬 인산철 배터리가 성능 문제에 직면했기 때문에 18 kWh LpTO 배터리 시스템이 이를 대체하는 데 사용되었다.
2015년부터 유럽 ZeEUS(제로 배출 도시 교통 시스템)가 처음 제공되었다. VDL 버스는 마이크로배스트의 62.5 kWh LpTO 배터리 시스템을 사용한다. 시범 프로젝트용이다.
2016년부터 세계 최대 자동화 항만인 PSA 투아스는 수평 컨테이너 운송 프로젝트의 1단계로 22대의 전기 AGV에 마이크로배스트 LpTO를 사용하기 시작했다.
삼성그룹 갤럭시 노트 10 및 10+에 포함된 블루투스 지원 S-Pen에는 대기 시간이 10시간인 리튬 티탄산염 배터리가 포함되어 있다.
세이코.
세이코홀딩스는 키네틱(자동 쿼츠) 손목시계에 리튬 티탄산염 배터리를 사용한다. 초기 키네틱 시계는 에너지를 저장하기 위해 축전기를 사용했지만, 이 배터리는 더 큰 용량과 더 긴 서비스 수명을 제공한다. 기술자는 용량이 결국 허용할 수 없는 수준으로 저하될 때 배터리를 쉽게 교체할 수 있다.
슈타들러.
슈타들러 레일이 제작한 영국 철도 93형 삼중 모드 기관차는 리튬 티탄산염 배터리를 사용하여 기차가 비전철화된 선로를 운행할 수 있도록 한다. 이 액체 냉각 셀은 가공선 아래에서 또는 전체 출력이 견인에 필요하지 않을 때 온보드 디젤 엔진으로 충전할 수 있다.
도시바.
2007년 도시바는 "슈퍼 충전 이온 배터리"(SCiB)라는 리튬 티탄산염 배터리를 출시했다. 이 배터리는 10분 만에 90% 충전 용량을 제공하도록 설계되었다.
SCiB 배터리는 슈윈 테일윈드 전기 자전거에 사용된다. 도시바는 또한 프로토타입 노트북 배터리로의 사용을 시연했다. 도시바 SCiB 배터리는 미쓰비시 자동차공업의 미쓰비시 i-MiEV 및 미니캡 MiEV 전기차량의 일본 전용 버전에 사용되며, 혼다는 2012년 여름에 출시된 EV-neo 전기 자전거 및 Fit EV에 이를 사용한다. JR 센트럴의 N700S 신칸센은 가공 전원 공급에 문제가 발생할 경우 저속으로 운행하기 위해 SCiB 배터리를 사용한다.
도시바 리튬 티탄산염 배터리는 저전압(공칭 전압 2.3V), 저에너지 밀도(납축전지와 리튬 인산철 사이)이지만, 극도의 수명, 충전/방전 능력 및 넓은 작동 온도 범위를 가지고 있다.
2024년 도시바는 "고출력" 2.9 Ah SCiB 셀의 경우 10C에서 45,000사이클의 예상 수명, "고에너지" 23 Ah 셀의 경우 3C에서 20,000사이클의 예상 수명을 명시했다. 예상 사이클 수명에 약간의 손실이 있지만, 이 셀은 0%에서 80% 용량까지 극히 빠르게 충전할 수 있다. 2.9 Ah 셀의 경우 1분(즉, 48C), 23 Ah 셀의 경우 6분(즉, 8C)이다. 2024년 4월, 4대의 지멘스 미레오 플러스 B 배터리-전기 열차가 도시바 LTO 셀을 탑재하여 15년의 예상 수명으로 운행에 들어갔다.
YABO.
YABO 파워 테크놀로지는 2012년 리튬 티탄산염 배터리를 출시했다. 표준 모델 YB-LITE2344 2.4 V/15 Ah 배터리 셀은 전기차 및 에너지 저장 시스템에 사용되었다.
인롱 에너지.
그리 일렉트릭은 극한 온도 조건에서 작동할 수 있는 고속 충전 LTO(리튬-티탄산염) 배터리 유형인 인롱 배터리 기술을 도입했다. 이 배터리는 최대 10년의 작동 수명을 갖는다. 인롱 에너지는 자동차 및 에너지 저장과 같은 용도로 배터리를 제공한다.
루스드라()는 아나톨리아 중부에 있던 도시로, 현재는 튀르키예의 일부이다. 신약성경에 여섯 번 언급된다. 루스드라는 사도 바울로가 바르나바 또는 실라 (성경 인물)와 함께 여러 번 방문했다. 바울로가 젊은 제자인 디모테오를 만난 장소이기도 하다. 리카오니아, 이사우리아, 또는 갈라티아에 포함된 장소로 추정되었다.
루스드라 유적지는 콘야(신약성경의 이고니온)에서 남쪽으로 떨어진 곳, 하툰사라이 마을 북쪽, 그리고 아코렌이라는 작은 마을에서 북쪽으로 약 떨어진 곳에 위치한 것으로 추정된다. 하툰사라이 마을 내의 작은 박물관에는 고대 루스드라에서 발굴된 유물들이 전시되어 있다.
루스드라는 사도 바울로가 방문했던 마을의 옛 이름이다. 현재 콘야주 메람 지구의 괴큐르트 근처에는 "킬리스트라"라는 마을이 있다. 킬리스트라 근처에는 벽에 큰 십자가가 새겨진 교회, 와이너리, 주택 형태의 건물, 그리고 현지에서는 "알루수마스"라고 불리는 언덕 꼭대기에 위치한 도시 유적 등 고대 유적들이 남아 있으며, 그곳에는 또 다른 교회 유적도 볼 수 있다. 현지인들에 따르면, 잘 보이지 않는 도시는 고대 아나톨리아의 적들을 피하기 위해 언덕 위에 건설되었다고 한다. 이 유적지는 아직 발굴을 기다리고 있다.
루스드라는 에페소에서 사르디스를 거쳐 피시디아의 안티오키아, 이고니온, 루스드라, 데르베를 지나 킬리키아 문을 통과하여 타르수스, 시리아의 안티오키아, 그리고 동쪽과 남쪽 지점으로 이어지는 고대 도로에 위치해 있었다.
로마 제국은 기원전 6년에 루스드라를 콜로니아 율리아 펠릭스 게미나라는 이름의 식민지로 만들었는데, 이는 아마도 서쪽 산지의 부족들을 더 잘 통제하기 위함이었을 것이다. 후에 이 도시는 로마 속주인 갈라티아 속주에 편입되었고, 곧이어 로마인들은 루스드라와 북쪽의 이고니온을 잇는 도로를 건설했다.
사도 바울로는 48년과 51년에 그의 첫 번째와 두 번째 선교 여행에서 기독교 복음을 전파하기 위해 이곳을 다시 방문했는데, 처음에는 이고니온에서의 박해를 피해 돌아왔다.
에 따르면, 바울로는 태어날 때부터 다리가 불구였던 한 남자를 고쳤다. 그 남자는 뛰어올라 걷기 시작했고, 이는 군중에게 깊은 인상을 주어 그들은 바울로를 "주요 연설자"였기 때문에 헤르메스로, 그의 동료 바르나바를 제우스로 여겼다. 군중은 현지 리카오니아어로 말하며 그들에게 희생 제물을 바치려 했으나, 바울로와 바르나바는 낙담하여 옷을 찢으며 자신들도 단지 사람일 뿐이라고 외쳤다. 그들은 이 기회를 이용하여 '하늘에서 내리는 비와 풍성한 계절'을 하나님의 활동과 너그러움의 증거로 들며 루스드라 사람들에게 창조주 하나님을 전했다.
그러나 곧 피시디아 안티오키아와 이고니온의 유대인 지도자들의 영향으로 루스드라 사람들은 바울로를 돌로 쳐서 죽은 줄 알고 버려두었다. 제자들이 그를 에워싸자 바울로는 일어서서 다시 마을로 들어갔다. 다음 날, 그와 바르나바는 데르베로 떠났지만, 돌아오는 길에 루스드라에 다시 들러 그곳의 제자들에게 굳건함을 격려했다.
바울로는 두 번째 선교 여행 중에 이 도시를 다시 방문했다. 그곳의 젊은 제자 디모데오는 아마도 이전에 루스드라에서 바울로의 박해와 용기를 목격했던 사람들 중 한 명이었을 것이다. 디모데오는 루스드라를 떠나 나머지 두 번째 선교 여행 동안 바울로와 실라의 동반자가 되었다. 바울로가 세 번째 선교 여행을 시작할 무렵 루스드라를 다시 방문했을 가능성도 있다.
바울로가 방문했던 다른 도시들과 달리, 루스드라에는 회당이 없었던 것으로 보이지만, 디모데오의 어머니와 할머니는 유대인이었기 때문에 그가 어린 시절부터 성경 말씀에 접할 수 있었다. 루스드라는 사도들이 유대교라는 공통된 기반을 통하지 않고 그리스도의 복음을 이방인에게 직접 전한 첫 번째 장소로 보인다. 후에 아테네에서의 접근 방식과 유사하게, 바울로는 루스드라 사람들에게 하나님을 그들의 창조주이자 신성한 은혜의 공급자로 소개한다. 신학자 존 길은 바울로가 언급한 '하늘에서 내리는 비와 풍성한 계절'을 유대인 선지자 예레미야의 말씀에 연결시켰다: 열방의 헛된 우상들 중에 비를 내리게 할 자가 있는가?
기독교 시대에 루스드라에는 주교가 있었다. 이 도시는 로마 가톨릭교회의 명목상 교구 목록에 포함되어 있으며, 가장 최근의 명목상 주교는 1960년대의 엔리케 A. 안헬레리 카를레티 주교였으며, 후에 아르헨티나 라리오하의 주교가 되었다.
고고학자이자 신약성경 학자인 윌리엄 미첼 램지 경은 1907년에 "루스드라에서의 발굴은 역사와 신약성경 연구에 긴급히 필요하다"고 썼다. 그는 1941년에 "어떤 열정가가 루스드라의 지형을 밝히는 데 필요한 돈을 쓸 것이라고 희망한다. 현재 가치 없는 일부 파편들이 그의 발견으로 완전해질 수 있을 것이다"라고 썼다.
카일리 캔트럴(Kylie Cantrall, 2005년 6월 25일 ~ )은 미국의 배우, 가수, 인플루언서이다.
잠파올로 달라라(Giampaolo Dallara, 1936년 11월 16일~)는 이탈리아의 기업가이자 모터스포츠 엔지니어로, 레이싱카를 개발하는 회사 달라라 모터스포츠의 소유자이다.
달라라는 파르마에서 태어났다.
자동차 및 모터스포츠.
달라라는 밀라노 공과대학교에서 항공공학을 전공했다. 1960년 페라리에 입사한 뒤, 다음 해 마세라티로 자리를 옮겼다. 1963년에는 람보르기니에 수석 디자이너로 채용되어, 파올로 스탄차니, 밥 월리스와 함께 람보르기니 에스파다와 미우라의 섀시를 설계했다. 1969년에는 윌리엄스 F1 팀의 창립자이자 감독인 프랭크 윌리엄스를 위해 레이스카 설계에 착수했다.
1972년 달라라는 이탈리아 파르마에 달라라 오토모빌리를 설립했다. 1974년부터는 윌리엄스 팀을 위해 F1 차량인 이소-말보로 IR을 설계했다. 또 다른 프로젝트로는 포뮬러 3 규격에 맞춘 레이싱카 개발이 있었으며, 이 차는 이탈리아, 프랑스, 영국, 스위스, 독일, 일본, 미국, 러시아, 오스트리아 등에서 우승을 거두었다.
1997년부터는 인디카 시리즈에 진출하여 1998년부터 2003년까지 다수의 우승을 기록했다. 2007년부터는 인디카 시리즈의 단일 섀시 공급업체로 활동하고 있다.
달라라는 1990년대 중반 F1 프로젝트에도 참여했다. 1998년 말에는 F1 복귀를 고려하던 혼다의 요청으로 새로운 F1 섀시를 설계했으나, 혼다가 프로젝트를 취소하면서 중단되었다.
2000년부터는 혼다 프로젝트 취소 이후 프랑스 팀 오레카를 위한 르망 시리즈 레이싱카를 제작하는 새 프로젝트에 착수했다. 2004년 8월에는 러시아의 기업가 알렉스 슈나이더의 요청으로 과거 조던 팀이었던 미들랜드 팀의 섀시를 제작하기로 했고, 이를 위해 레이싱카 디자이너 개리 앤더슨을 영입했다. 그러나 2005년 중반, 달라라는 해당 프로젝트에서 철수했다.
2009년에는 스페인의 새로운 팀 캄포스 그랑프리를 위해 F1 섀시 제작에 착수했으며, 이 팀은 후에 히스파니아(Hispania)로 이름을 바꾸었다.
2015년, 달라라는 귀도 바릴라, 마우로 델 리오와 함께 파르마 칼초 1913의 투자자로 참여했다. 이 구단은 과거의 파르마 FC가 해체된 뒤 새롭게 창단된 팀이다.
《오 마이 갓》은 2025년 4월 23일 개봉한 대한민국의 코미디 드라마 영화다.
크리스티나 라폰트()는 스페인의 철학자이다. 노스웨스턴 대학교의 해럴드 H. &amp; 버지니아 앤더슨 철학 교수이다.
라폰트는 1987년 발렌시아 대학교에서 철학을 전공했다. 이후 요한 볼프강 괴테 프랑크푸르트 대학교로 옮겨 1992년 위르겐 하버마스의 지도 아래 최우등 졸업으로 철학 박사를 취득했으며, 같은 대학에서 2000년에 하빌리타치온을 취득했다. 라폰트는 영어권, 스페인어권, 독일어권 학계에서 초청강사 및 초빙교수직을 역임했다. 멕시코 국립 자치 대학교, 마드리드 카를로스 3세 대학교, 오비에도 대학교의 초빙교수를 지냈으며 프랑크푸르트 대학교에서 강사를 역임했다.