hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
기면증 임상양상
졸음과 무기력감을 함께 느끼게 되며, 선잠이 들어 환각에 빠지게 된다. 밤에 충분히 잔다고 해도 낮에 이유 없이 졸리다. 발작적인 수면 후에 깨어나고 잠이 덜 오는 것을 느끼지만 얼마 후 다시 졸음이 온다.
기면증의 졸음 정도는 사람에 따라 다양하다. 걸어가다가 잠이 드는 정도의 심한 졸음은 매우 극단적인 경우이며 기면증 환자에서도 이런 경우를 찾기는 힘들다. 환자 상당수가 졸음 증상에 어느 정도 적응이 되어 있으므로, 졸음이 겉으로 드러나지 않는 경우도 많다. 학업 중 집중력 저하, 약한 정도의 졸음 정도만 나타나는 경우도 있다. 웃거나 화를 낼 때, 갑자기 렘수면상태로 빠져 들면서 신체근육의 힘이 빠지는 현상을 탈력발작(Cataplexy)이라고 한다.
기면증 임상양상
유사한 것으로 일상 중 참을 수 없는 수면이 오는 수면발작(Sleep attack)이 있는데, 이는 다른 과다수면과 기타 주간 졸음증(Daytime sleepiness) 등에서도 보인다.
잠이 들거나 깨려고 할 때 정신은 깨어 있으나 전신근육이 마비되어 움직일 수 없는 상태를 수면마비(가위눌림)라고 한다. 수면마비는 정상인에서도 나타날 수 있으나 기면증에서 좀 더 흔하다. 자동행동증세와 악몽, 우울증 등이 동반되기도 한다.
기면증 진단
증상이 발견되면 야간에 실시하는 수면 다원 검사(PSG)와 주간에 실시하는 다중 수면 잠복기 검사(MSLT)를 이용해 진단한다.
용담
용담(龍膽)은 용담과에 속하는 여러해살이풀로 산지의 풀밭에서 자라며, 한국·일본·만주 및 시베리아 동부 등지에 분포한다.
높이는 약 30-100cm이고 꽃은 종 모양의 자주색 또는 노란색이며 8~10월에 핀다. 잎은 바소 모양(원형)이다. 굵은 수염뿌리를 말린 것을 용담이라 하며 매우 쓴 맛이 난다. 보통 달여서 건위제로 쓴다. 열매는 10~11월에 맺으며 시든 꽃부리와 꽃받침에 달려 있다. 종자는 작은 것들이 씨방에 많이 들어 있다.
꽃말은 '애수', '당신이 슬플 때 나는 사랑한다.'
용담 관리 및 번식법
관리법 : 실내.외 어디에 심어도 좋다. 실내에서 키울 때는 가지를 6월경까지는 계속 잘라 짧게 만들어주어야 하고 7월부터 올라오는 가지는 그대로 두어야 그곳에서 꽃을 피운다. 외부에서 키울 때는 흙속에 유기질을 많이 넣어두면 꽃봉오리가 많아지고 튼튼하게 자란다. 직접적인 광을 받는 곳에서는 잎끝이 타는 현상이 발생한다.
번식법 : 봄에 올라오는 줄기를 5~6월경에 잘라 꺾꽂이를 하거나, 이른 봄에 포기나누기를 한다. 종자는 먼지처럼 씨방에 들어있기 때문에 꽃 한송이에서 얻는 종자는 상당히 많다. 하지만 종자발아율이 너무 낮기 때문에 가능한 한 많은 종자를 이른 봄 화분에 뿌리는 것이 좋다.
사군자 (식물)
사군자(使君子)는 사군자과에 속하는 덩굴나무이다. 줄기의 길이 7m 가량이다. 잎은 마주나고 달걀 모양 또는 긴 길둥근 모양으로 길이는 7~12cm이다. 여름에서 가을에 걸쳐 흰 다섯잎 꽃이 줄기 끝의 잎겨드랑이에서 이삭 모양으로 피며, 후에 붉은색으로 변한다. 열매는 길이 3cm 가량의 원뿔 모양이며 검은색으로 익는다. 동남 아시아 원산인데, 꽃이 아주 아름답고 향기가 좋아 각국에서 재배한다. 열매는 니코틴 중독의 중화제, 회충 구제, 소아 감질, 살충제 등으로 쓰인다.  천군자(川君子)로도 불린다.
사군자 (식물) 한방에서의 사용
한방에서는 열매를 한약재로 사용하는데 동의보감  탕액편에  사군자 항목이있다.
윌리엄 로언 해밀턴
윌리엄 로언 해밀턴(영어: William Rowan Hamilton IPA: [ˈwɪljəm ˈroʊən ˈhæməltən], 1805년 8월 4일 - 1865년 9월 2일)은 아일랜드의 수학자이다. 대수학에서 복소수 체를 포함하는 나눗셈 환인 사원수와 선형대수학에서 케일리-해밀턴 정리, 그래프 이론에서 해밀턴 경로가 대표적 업적이다. 수학 이외에 광학, 고전 역학 발전에도 큰 공헌을 했다. 고전 역학에서 라그랑주 역학을 더욱 발전시켜 해밀턴 역학을 만들었으며, 해밀토니안 개념은 나중에 양자역학의 발전에도 중요한 영향을 미쳤다. 해밀턴은 어린 시절부터 뛰어난 재능을 보여, 존 브링클리는 1823년 18살의 해밀턴에 대해 "앞으로는 알 수 없지만 현재 그의 나이에서 최고의 수학자이다"라고 평했다.
윌리엄 로언 해밀턴 해밀턴 원리
해밀턴은 당시 알려져 있던 라그랑지안과 라그랑주 방정식에 대한 해석을 내놓았다. 그 결과는
이다. 여기서
이고,  은 라그랑지안 함수이다.
해밀턴 원리가 의미하는 바는 '운동 경로의 시작과 끝점이 주어졌고, 중간의 운동 방정식이 미리 주어져 있지 않았을 때, 물체의 운동은 라그랑지안을 시작점에서 끝점까지 시간에 따라 적분한 값이 최소가 되는 경로를 따른다'이다.
윌리엄 로언 해밀턴 해밀턴의 복소수
2성분의 순서쌍을 확장하여 복소수 를 예상하면,
를 가정해서,
그리고 를 예정하면,
이렇게 해서 불안정한 복소수 3성분의 순서쌍 표현은 완전하지 않다.
그러나
는
오일러의 네 제곱수 항등식
에서 각각 네번째항의 특수한 경우이므로
불안정한 복소수 3성분의 순서쌍 공식의 계수가 네 제곱수 항등식의 그것과 같고,
이로써, 4성분의 순서쌍으로 복소 표현이 확장될수있음을 예상할 수 있고,
이렇게 해서 확장시킨 복소수 를 근거로해서,
에서
여기에 로 부터,
를 확장하면,
는
을 만족하겠다.
윌리엄 로언 해밀턴 허수의 확장
사원수(quaternion,해밀턴 수)에서 허수의 확장을 보면,
일때,
배은희 (1888년)
배은희(裵恩希, 1888년 1월 15일 ~ 1966년 2월 5일)는 장로교 목회자 출신의 대한민국 정치인이다. 일제 말기 신사 참배를 거부한 몇 안되는 목회자이기도 하다. 분열전 대한민국의 연합된 장로교단 총회장을 지냈다. 배은희목사는 대한민국 제2국회의원이며, 대한국민당의 첫발기준비 위원장 이기도 하다. 더불어, 배은희목사는 초대 고시위원장이기도 하다.
경상북도 경산에서 태어나 평양신학교를 졸업하고 목사가 되었다. 일제강점기 말기에 장로교 교단이 신사참배 강요에 따라 신사참배를 결의하고 목회자들의 창씨개명을 강제했을 때, 전북 지역 목회자 80여 명 가운데 창씨개명을 하지 않은 단 두 사람 중 한 명이다.
배은희 (1888년)
해방 이후 대한독립촉성국민회 창당에 참여하였고, 대한독립촉성국민회 전라북도 지부장을 거쳐 1945년 12월 신탁통치 반대 운동에 참여하였다. 그 뒤 대한민국 정부 수립 주장에 찬성하여 1948년 5.10 총선거에 출마하였으나 낙선했다. 1948년 윤치영, 신익희, 이청천, 임영신, 이인 등과 함께 대한국민당 창당에 참여하였다. 그러나 이듬해 신익희, 이청천 등의 탈당으로 약화된 대한국민당을 지도하였고 1950년 제2대 국회의원 총선거에 출마하여 당선된다.
그러나 이후 윤치영, 이범석, 임영신 등이 제거되면서 그도 정계에서 축출된다.
환경 스트레스 스크리닝
환경 스트레스 스크리닝(Environmental stress screening, ESS)은 전기적 하드웨어 시험 프로세스로 새로 제작된 제품 또는 콤포넌트를 온도와 진동 같은 환경에 노출시킴으로써 잠재된 결함을 이 프로세스를 통해 발견한다. 이 프로세스를 통과한 제품은 다른 검사 프로세스를 수행하지 않은 것에 비해 신뢰도가 높다고 할 수 있다.
전자제품의 결함을 발견하는 데 많이 사용하며, 특히 군사나 항공 제품에 넓게 적용한다. 이 시험은 전기적 스위치나 전기 시스템을 동작해 보는 간단한 노력만 필요하며 이것을 통해 최종 사용자가 처음 제품을 동작했을 때 만날 수 있는 결함 발견이 목적이다. 시험의 종류는 다음과 같다.
이 시험은 제품 생산 프로세스의 일부로 수행되거나 신제품에 품질 인증 시험에 사용된다. 시험을 위해서 시험 챔버, 콘트롤러, 치구, 연결선, 기능 확인 장비 등을 구성한다. 이런 시스템들은 다양한 회사로부터 구입할 수 있다.
신뢰성 공학
신뢰성 공학(信賴性工學, 영어: reliability engineering)은 공학의 한 분야로 신뢰성을 다룬다. 여기서 신뢰성이란 시스템 또는 부품의 능력으로 요구되는 기능을 명백히 규정된 조건 하에서 명세된 시간 동안 제공하는 것이다. 때때로 확률의 형태로 보고된다.
신뢰성 공학 개관
신뢰성을 정의하는 방법에는 여러 가지 방법이 있다.
신뢰성 공학자들은 통계, 확률이론, 신뢰성 이론에 의존한다. 많은 공학 기술이 신뢰성 공학에 사용된다; 신뢰성 예측, Weibull 분석, 열 관리, 신뢰성 검사 및 수명 가속 시험 등. 신뢰성 기술의 다양성, 비용, 상황에 따라 요구되는 신뢰성의 수준 차이로 대부분의 프로젝트는 신뢰성 계획을 수립하여 신뢰성 업무를 특정 시스템에 실시한다.
신뢰성 공학 개관
신뢰성 공학의 기능은 제품의 신뢰성 요구사항을 개발하고, 적절한 신뢰성 프로그램을 수립하고, 적절한 분석과 업무를 수행하여 제품이 그 요구사항을 만족하는 것을 보증하는 것이다. 이러한 업무는 신뢰성 공학자가 진행하는데, 보통 공인된 공학 학위를 가지고 있고, 추가적인 신뢰성 고유의 교육과 훈련을 이수받는다. 신뢰성 공학은 정비성 공학, 물류 공학과 밀접히 관련되어 있다. 다른 분야의 다양한 문제, 예를 들어 안전 공학 또한 신뢰성 공학 기술로 접근할 수 있다. 이 기사는 가장 널리 사용되는 신뢰성 공학 업무의 일부에 대한 개관을 소개한다. 더 깊이 있게 다루는 문헌을 참고에서 찾아 보기 바란다.
다양한 공학 분야에서 신뢰성 공학자를 받아들이며 신뢰성 공학 도구와 방법론을 사용하고 있다. 예를 들자면 다음과 같다:
신뢰성 공학은 어떤 시스템의 개발, 시험, 생산과 운영의 수명 주기 전체를 통하여 수행된다.
신뢰성 공학 신뢰성 이론
신뢰성 이론은 신뢰성 공학의 기초이다. 공학적 목적에서 신뢰성은 다음과 같이 정의된다:
어떤 장치가 그 의도된 기능을 명세된 기간 동안 공인된 조건 하에서 수행할 확률.
수학적으로 다음과 같이 표시된다.
,
여기서 는 고장 확률 밀도 함수이고 는 기간의 길이로 0부터 시작한다고 가정한다.
신뢰성 공학은 이 정의의 네 가지 주요 요소를 고려한다:
셋째로, 신뢰성은 정해진 기간 동안 적용된다. 실무적 용어로는, 이는 어떤 시스템이 t라는 시간 이전에 고장 없이 작동할 확률이 명시되어 있다는 것을 뜻한다. 신뢰성 공학자는 부품과 재료가 요구사항을 주어진 시간 동안 만족시키도록 확증한다. 시간 이외의 단위도 때때로 사용된다. 자동차 산업에서는 신뢰성을 거리로 명시할 수 있고, 군대에서는 총의 신뢰성을 발사한 횟수로 명시할 수 있다. 기계장비는 작동 싸이클수로 신뢰성 등급을 받을 수도 있다.
신뢰성 공학 신뢰성 프로그램 계획
다수의 절차, 방법, 도구를 사용하여 신뢰성을 달성할 수 있다. 모든 시스템은 다른 수준의 신뢰성을 요구한다. 상업용 민항기는 다양한 조건 아래서 작동해야만 한다. 고장의 영향은 심대하지만 상당히 많은 예산을 투입할 수 있다. 연필깎이는 민항기 보다 신뢰성이 높을 수도 있지만, 훨씬 다른 작동 조건, 심각하지 않은 고장 영향, 훨씬 낮은 예산을 가지고 있다.
신뢰성 프로그램은 정확히 무슨 절차, 방법, 도구, 해석 그리고 시험이 특정 시스템을 위해 요구되는지 문서화하기 위해 사용된다. 복잡한 시스템의 경우 신뢰성 프로그램 계획은 별도의 문서이다. 간단한 시스템의 경우 시스템 공학 관리 계획 또는 통합 물류 지원 계획과 복합될 수 있다. 신뢰성 프로그램 계획은 성공적인 신뢰성 프로그램을 위하여 반드시 필요하고, 시스템 개발 초기에 개발된다. 신뢰성 공학자가 무엇을 하는가 뿐 아니라 다른 사람들에 의해 이루어지는 업무절차도 명세한다. 신뢰성 프로그램 계획은 프로그램 최고위 관리자가 승인한다.
신뢰성 공학 신뢰성 요구사항
어떤 시스템에 있어서도 신뢰성 공학의 첫 번째 절차 가운데 하나는 알맞게 신뢰성 요구 사항을 명세하는 것이다. 신뢰성 요구사항은 시스템 자체, 시험 평가 요구 사항, 그리고 관련 절차와 문서를 가리킨다. 신뢰성 요구사항은 적절한 시스템/하부시스템 요구조건 사양서, 시험계획, 계약서에 포함되어있다.
신뢰성 공학 신뢰성 요구사항
요구 조건은 신뢰성 매개변수로 명세된다. 가장 일반적인 신뢰성 매개변수는 고장 간 평균 시간 Mean_Time_Between_Failures (MTBF) 으로, 명세하는 다른 방법은 실패율 또는 주어진 기간 내의 고장 수이다. 이러한 매개변수들은 늘 사용되는 시스템에 매우 유용하다. (예를 들어 자동차, 기계류, 전자장치) MTBF가 증가하면 신뢰성도 증가한다. MTBF는 보통 시간으로 명세되지만, 다른 단위, 예를 들어 km나 싸이클로도 사용될 수 있다.
다른 경우, 신뢰성 명세는 임무 성공 확률이다. 예를 들어, 일정 대로 운행하는 정규 항공편 비행의 신뢰성은 무차원 확률변수나 백분율 값으로 명세될 수 있다.
임무 성공의 특별한 경우는 1발성 장치 또는 시스템이다. 이들은 활동 없이 가만히 있다가 딱 한번만 작동한다. 예를 들어 자동차 애어백, 열 전지 thermal battery, 미사일 등이 포함된다. 일발 신뢰성은 성공 확률로 명세되거나 관련된 매개변수에 포함된다. 일발 미사일 신뢰성은 명중률 요구 조건의 일부가 될 수 있다.
신뢰성 공학 신뢰성 요구사항
그러한 시스템의 경우, 요구시 실패 확률 probability of failure on demand (PFD) 이 신뢰성 척도가 된다. 이 PFD는, 수리 불가능한 시스템의 경우에는 임무시간과 실패율로부터 유도된다. 수리 가능한 시스템의 경우, 실패율과 평균 수리전 시간 mean-time-to-repair (MTTR)으로 얻어진다. 이 척도는 한 시스템에 대해 유일하지 않을 수도 있다. 왜냐하면 척도가 요구의 종류에 따라 달라지기 때문이다. 시스템 수준 요구 사항 뿐 아니라, 신뢰성 요구사항은 중요 서브시스템에 관하여도 명세될 수 있다. 어떤 경우에나 신뢰성 매개변수는 알맞은 통계적 신뢰구간과 함께 명세되어야 한다.
신뢰성 공학 신뢰성 요구사항
신뢰성 모델링은 어떤 부품이나 시스템의 신뢰성을 예측하는 또는 이해하는 절차이다. 일반적으로 두가지 조사 영역이 적용된다: 고장의 원리로 접근하는 방식은 관련된 고장 기작, 예를 들어 크랙의 전파나 화학적 부식의 이해를 이용한다. 부품의 스트레스로 접근하는 방식은 귀납적 예측 방법으로 시스템의 부품 종류와 수를 세고 작동시 각 부품에 가해지는 스트레스에 바탕을 둔다.
분명하게 고장 시간이 정의된 시스템에 관해서는 (때때로 매개변수가 시간에 따라 변동하는 시스템의 경우에는 주어지지 않는다) 이러한 고장 시간의 귀납적 분포 함수를 구할 수 있다. 이는 일반적으로 스트레스가 증가된 가속 시험에서 얻어진다. 이러한 실험은 크게 두가지 종류로 나뉜다:
초기 고장률 연구로 구할 수 있는 것은 분포함수로, 욕조 같이 생긴 곡선의 첫 부분에 걸쳐 감소하는 고장률이다. 여기서는 일반적으로 약간의 스트레스만 가하면 된다. 스트레스가 가해지는 기간은 제한되며 이 기간은 검열 시험이라고 불린다. 따라서 처음을 포함하는 분포의 일부분만 구해진다.
신뢰성 공학 신뢰성 요구사항
소위 무결점 실험에서는 고장 분포에 관한 제한된 정보만이 구해진다. 여기서 스트레스, 스트레스 시간, 또는 사례 수가 너무 적어 고장이 일어나지 않는다. 사례 수가 충분하지 않기 때문에 초기 고장률의 상향 한계밖에 구할 수 없다. 어떤 경우에서도 고객 입장에서는 고장이 없는 경우가 좋게 보인다.
자연적 고장 분포 연구에서, 때때로 이는 재료 특성이지만, 높은 스트레스가 필요한 것은 고장을 합리적인 시간 안에 일으키기 위해서이다. 여러 단계의 스트레스를 적용 시켜 보아야 가속 모델을 결정할 수 있다. 경험적 고장 분포는 때때로 Weibull 또는 로그-정규분포로 매개변수화 된다.
신뢰성 공학 신뢰성 요구사항
일반적으로 실무에서는 초기 고장률을 지수 분포로 모형화한다. 이 모형은 복잡성이 덜하여 매개변수가 고장률 상수 하나밖에 없다. 그러한 경우에는 카이-스퀘어 (Chi-square) 분포가 예측된 고장률이 잘 맞는지 검사하기 위해 사용된다. 고장률이 감소하는 모델과 비교하면 이는 상당히 비관적이다. 무결점 실험과 복합하면 이는 더욱 비관적이 된다. 모형의 두 번째 매개변수(Weibull 분포의 형상 매개변수) 또는 그 신뢰구간(Maximum Likelihood Approach의 경우 필요)을 구할 필요가 없고 사례 수가 훨씬 작기 때문에 소요되는 노력은 크게 줄어든다.
신뢰성은 확률이므로 비록 매우 신뢰성 높은 시스템이라고 하더라도 고장의 확률은 있다. 그러나, 신뢰성 요구조건을 시험하는 것은 몇가지 이유에서 문제성이 있다. 한번의 검사로는 충분한 통계적 데이터를 얻을 수 없다. 복수 시험 또는 장기 시험은 보통 매우 비싸다. 어떤 시험은 비실용적이다. 신뢰성 공학으로 설계할 수 있는 것은 현실적이고 비용 부담이 적은 시험 프로그램으로, 시스템이 그 요구조건을 만족시킨다는 충분한 증거를 제공하는 것이다. 통계적 신뢰 수준으로 이러한 고민을 고려할 수 있다. 어떤 특정 매개변수는 신뢰 수준과 나란히 표시된다. (예: MTBF 1000시간에 90% 신뢰수준) 이러한 명세로부터 신뢰성 공학자는 요구 조건 만족 또는 불만족을 판명할 수 있는 명백한 시간 수 또는 고장 수 기준을 가진 시험을 설계할 수 있다.
신뢰성 매개변수값 조합과 신뢰수준은 개발 비용과 고객과 생산자 모두의 위험에 커다란 영향을 미친다. 조심스러이 최선의 조합을 선택하여야 한다. 신뢰성 검사는 여러 수준에서 이루어질 수 있다. (예를 들어 부품, 서브시스템, 시스템) 또한 극한 온도, 습도, 충격, 진동, 열 등 많은 시험 중 요소가 주지되어야 한다. 신뢰성 공학이 결정해야 하는 것은 효과적인 시험 전략으로 모든 부품이 적절한 환경에서 시험되어야 한다. 수년간 작동해야만 하는 시스템의 경우, 신뢰성 공학이 사용되어 가속 수명 시험을 고안할 수 있다.
신뢰성 공학은 또한 반드시 다양한 신뢰성 절차 요구사항과 시스템 개발, 시험, 생산, 그리고 운용 중의 문서화를 주지하여야 한다. 이러한 요구조건은 일반적으로 계약서 상 업무 규정에 명세되어 있으며 얼마만큼의 자유도를 계약자에게 허용하기를 원하는지에 따른다. 신뢰성 절차는 다양한 분석, 계획, 고장 보고를 포함한다. 절차 선정은 시스템의 중요성과 가격에 달려 있다. 중요한 시스템의 경우, 공식적인 고장 보고와 개발 전반에 걸친 검토 과정을 요구할 수 있다. 덜 중요한 시스템은 최종 시험 보고서만 의존할 수도 있다. 가장 일반적인 신뢰성 프로그램 절차는 신뢰성 프로그램 표준으로 문서화되어 있다. (예: MIL-STD-785, IEEE-1332) 고장 보고 분석과 보완 시스템은 제품/절차 신뢰성 관찰을 위한 일반적인 접근법이다.
신뢰성 공학 신뢰성을 위한 설계
신뢰성 Design For Reliability DFR 을 위한 설계는 새로이 떠오르는 학문 분야로 제품을 신뢰성 있게 설계하는 법에 관한 것이다. 이 방식은 몇가지 도구와 실무 절차와, 각각을 어떤 순서로 적용할지 서술한다. 일반적으로 DFR의 첫 번째 단계는 시스템의 신뢰성 요구사항을 정하는 것이다. 신뢰성은 시스템에 설계단계부터 근본적으로 포함되어야 한다. 시스템이 설계되어감에 따라 설계 공학자와 신뢰성 공학자의 협업 속에 최상위 수준의 신뢰성 요구사항이 하부 시스템에 할당된다.
신뢰성 설계는 모형 개발로부터 시작된다. 신뢰성 모형은 블록 선도와 고장 수형도 fault tree를 사용하여 그림으로 시스템의 다른 부분들 사이의 관계를 평가할 수 있게 해 준다. 이러한 모형들은 역사적인 데이터로부터 얻어진 부품수 고장률 예측을 포함한다. 비록 예측이 때때로 절대적인 입장에서는 부정확할 수도 있지만, 여러 설계안을 상대적으로 비교하는데 소중하다.
신뢰성 공학 신뢰성을 위한 설계
가장 중요한 설계 기법 가운데 하나는 중복설계다. 즉, 시스템의 한 부품이 고장나면 백업 시스템 같이 대신 물려받는 경로가 있다는 뜻이다. 자동차 제동등에 전구를 두개 쓸 수 있다. 전구 하나가 고장나면, 다른 하나로 제동등은 계속 작동할 것이다. 중복설계는 시스템 신뢰성을 크게 증가시키며 때로 유일한 방법이다. 그러나 중복설계는 어렵고 비싸며 따라서 시스템의 주요 부품에만 한정된다. 다른 설계 기법, 고장의 원리는 스트레스, 강도와 고장을 매우 자세한 수준으로 이해하는 데 의존한다. 그러고 나서 재료 또는 부품을 재설계하여 고장 확률을 낮춘다. 다른 일반적인 설계 기법은 부품 안전률이다. 부품의 허용 한도를 예상 응력 보다 상당히 상승시키는 것으로, 예를 들면 예상되는 전류에 일반적으로 사용하는 전선 보다 훨씬 굵은 것을 사용하는 것이다.
특정 산업과 응용분야별로 다수의 고유 절차, 기술, 해석방식이 있다. 일반적으로 다음이 포함된다:
시스템 설계 검토 및 조달 검토 중에 해석 결과를 발표한다. 신뢰성은 시스템의 많은 요구 사항 중 하나일 뿐이다. 공학적 취사 선택 연구로 신뢰성과 다른 요구 조건과 제한점 사이의 최적의 균형점을 찾아야 한다.
신뢰성 공학 신뢰성 시험
신뢰성 시험의 목적은 잠재적 설계 문제를 가능한 빨리 발견하고 궁극적으로 시스템이 그 신뢰성 요구 조건을 만족한다는 믿음을 주는 것이다.
신뢰성 시험은 여러 단계에서 수준에서 실행될 수 있다. 복잡한 시스템은 부품, 회로기판, 단위, 조립품, 하부시스템, 그리고 시스템 수준에서 시험될 수 있다. 시험 수준을 표기하는 방법은 응용분야에 따라 다르다. 예를 들어 환경 스트레스 걸러내기 검사를 낮은 수준, 즉 조각 부품 또는 작은 조립품 수준에서 실시하면 문제를 더 높은 수준에서 발생하기 전에 발견할 수 있다. 시험은 각 통합 수준별로 최고 수준 시험, 개발 시험, 작동 시험까지 망라하여 진행되어 따라서 프로그램 위험도를 낮춘다. 시스템 신뢰도는 각 시험 수준에서 계산된다. 신뢰성 성장 기술과 불량 보고 체제, 분석 및 수정 체제(FRACAS)가 때로 채용되어 시험이 진행됨에 따라 신뢰성을 향상시킨다. 이러한 광범위 시험의 결함은 시간과 비용이다. 고객은 더 많은 위험을 떠안는 대신 일부 또는 전부의 저수준 시험을 생략할 지도 모른다.
신뢰성 공학 신뢰성 시험
모든 시스템 요구 사항을 시험하는 것이 항상 가능한 것은 아니다. 어떤 시스템은 아마도 시험하기에는 너무 비쌀 것이다. 어떤 고장 양태는 몇 년 후에나 관찰할 수 있을 것이다. 어떤 복잡한 상호작용의 결과로 엄청난 수의 가능한 시험 예가 발생할 것이다. 어떤 시험은 제한된 시험 지역의 사용을 요구하거나 다른 제한된 자원의 사용을 필요로 할 것이다. 그러한 경우에는 시험에 대한 다른 접근 방식, 예를 들어 가속 수명 시험이나, 실험 설계 Design of Experiment DoE, 시뮬레이션이 사용될 수 있다.
희망하는 수준의 통계적 신뢰 구간도 신뢰성 시험에서 중요한 역할을 한다. 통계적 신뢰는 시험 시간을 늘리거나 시험 항목을 늘림으로써 증가한다. 신뢰성 시험 계획은 최소의 시험 단위와 시험 시간으로 명세된 신뢰성을 달성하도록 고안된다. 시험 계획이 달라지면 생산자와 고객에 대한 위험의 수준도 달라진다. 양자의 희망하는 신뢰성, 통계적 신뢰도, 그리고 위험 수준이 최종 시험 계획에 영향을 미친다. 좋은 시험 요구 사항은 고객과 개발자가 미리 어떠한 신뢰성 요구사항이 시험될 것인지 확인시켜 주는 것이다.
신뢰성 공학 신뢰성 시험
신뢰성 시험의 열쇠 중 하나는 불량을 어떻게 정의하는가 하는 것이다. 비록 이것이 뻔해 보여도 많은 경우 분명하게 불량인지 시스템 부족인지 알기 힘들다. 시험 조건의 변동, 조작자의 차이, 날씨, 예상하지 못했던 상황으로 소비자와 시스템 개발자 사이의 이견을 만들 수 있다. 이 문제에 대한 한가지 전략은 배점 회의 scoring conference를 여는 것이다. 배점 회의에는 고객, 개발자, 시험 기관, 신뢰성 기관, 그리고 때때고 독립 옵저버가 참여한다. 배점 회의 절차는 statement of work에 정의된다. 참여자 그룹이 각 시험 케이스별로 성공 또는 실패로 배점된다. 이 배점이 신뢰성 공학자가 공식적으로 사용하는 결과가 된다.
요구사항 단계의 일부로 신뢰성 공학자는 시험 전략을 고객과 함께 개발한다. 시험 전략은 가능한 많은 데이터를 원하는 신뢰성 조직의 요구와 비용, 일정, 가용 자원과 같은 제한 조건 사이에서 취사선택한다. 시험 계획과 절차가 각 신뢰성 시험을 위하여 개발되고 결과는 공식 보고서에 문서화된다.
신뢰성 공학 수명 가속 시험
수명 가속 시험의 목적은 현장에서 발생할 수 있는 불량을 실험실에서 훨씬 빨리 일으키는 것으로 더 가혹하지만 그럼에도불구하고 대표성 있는 환경을 제공하는 것이다. 수명 가속 시험의 주요 목표는 다음 가운데 하나이다:
가속 수명 프로그램은 아래의 단계로 나눌 수 있다:
일반적인 수명-스트레스 관계는:
신뢰성 공학 소프트웨어 신뢰성
소프트웨어 신뢰성은 신뢰성 공학의 특별한 면이다. 시스템 신뢰성은 그 정의에 따라 시스템의 모든 부분을 포함하며, 하드웨어, 소프트웨어, 운용자와 절차도 해당된다. 전통적으로 신뢰성 공학은 시스템의 주요 하드웨어 부품에 초점을 두었다. 디지털 집적회로가 널리 사용됨에 따라 소프트웨어가 거의 모든 시스템에서 점차로 중요한 부분이 되었다. 그러나, 소프트웨어와 하드웨어의 작동 방식에는 심대한 차이가 있다. 대부분의 하드웨어 불량은 부품 또는 재료 불량의 결과로 시스템이 그 의도된 기능을 수행하지 못하는 것이다. 하드웨어 부품을 수리 또는 교체 하는 것으로 시스템이 고장나기 전으로 돌아간다. 그러나 소프트웨어는 하드웨어가 고장나는 방식으로 고장나지 않는다. 대신, 소프트웨어 불량은 예측하지 못했던 소프트웨어 작동의 결과이다. 심지어 상대적으로 작은 소프트웨어 프로그램도 천문학적인 수의 입력 및 상태 조합이 가능하다. 소프트웨어를 초기 상태로 돌려놓아도 똑같은 입력과 상태를 만나면 똑같은 의도하지 않은 결과를 불러온다. 소프트웨어 신뢰성 공학은 이를 반드시 고려하여야 한다.
신뢰성 공학 소프트웨어 신뢰성
소프트웨어와 하드웨어 사이의 고장원인에 대한 차이점 - 소프트웨어는 마모되지 않는다 - 에도 불구하고 소프트웨어 신뢰성 공학을 연구자들 가운데는 하드웨어 신뢰성 연구에 사용되는 통계적 모델이 소프트웨어 신뢰성 척도로 유용하다고 믿는 사람들도 있다. 소프트웨어 사용자의 경험상, 소프트웨어를 오래 사용할수록 결국 시험한 적 없는 방식으로 사용하게 되고 고장으로 이어지는 숨어있던 결함을 발견하게 된다는 것이다.
하드웨어와 마찬가지로 소프트웨어 신뢰성도 양질의 요구조건과 설계와 구현에 의존한다. 소프트웨어 신뢰성 공학은 중하게 소프트웨어 공학 절차에 의존하여 의도되지 않은 결과를 예측하고 대응 설계안을 만든다. 소프트웨어 품질 공학과 소프트웨어 신뢰성 공학은 하드웨어 품질과 신뢰성 보다 많이 겹친다. 우수한 소프트웨어 개발 계획은 소프트웨어 신뢰성 프로그램의 주요 요소이다. 소프트웨어 개발 계획은 설계 및 코드 작성 표준, 동료 검토, 단위 시험 unit test, 형상 관리 configuration management, 개발중 사용될 소프트웨어 척도 software metric와 소프트웨어 모델을 서술한다.
신뢰성 공학 소프트웨어 신뢰성
일반적인 신뢰성 척도는 소프트웨어 불량의 수로, 보통 1000 라인당 불량 수로 표현된다. 이 척도는 소프트웨어 실행 시간과 함께 대부분의 소프트웨어 신뢰성 모형과 예측에 주요한 역할을 한다. 이론상 소프트웨어 신뢰성은 결함 또는 결함 밀도가 적을 수록 높아진다. 그러나 결함 밀도와 고장 사이 평균 시간 MTBF를 직접 연결시키는 것은 어렵다. 소프트웨어 결함이 코드에 분산되어 있는 방식, 결함의 위험도, 그리고 결함을 맞닥뜨리게 하는 입력의 조합의 확률 때문이다. 그럼에도 불구하고 결함 밀도는 신뢰성 공학자에게 유용한 척도로 사용된다. 다른 소프트웨어 척도, 예를 들어 복잡성도 또한 사용된다.
신뢰성 공학 소프트웨어 신뢰성
소프트웨어에 있어서 시험은 하드웨어에서보다도 더 중요하다. 비록 최선의 소프트웨어 개발 프로세스라고 하더라고 어떤 소프트웨어 결함을 초래하며 시험해 보기 전에는 거의 알 수 없다. 하드웨어에서와 같이, 소프트웨어도 개개의 단위로부터 시작하여 통합을 거쳐 최상위 수준까지 여러 수준에서 시험된다. 하드웨어와는 달리, 소프트웨어테스트에서 수준을 건너뛰는 것은 추천할만한 일이 아니다. 모든 단계에 걸쳐서 소프트웨어의 결함이 발견, 수정, 재시험된다. 신뢰성 예측은 결함 밀도와 다른 척도에 의해 갱신된다. 시스템 수준에서 MTBF 자료가 수집되고 신뢰성을 예측하기 위해 사용된다. 하드웨어와 달리, 정확히 같은 시험을 정확히 같은 소프트웨어 설정에 실시한다고 해서 통계적 신뢰도를 향상시키지는 못한다. 대신, 소프트웨어 신뢰도는 시험 실시 범위와 같은 다른 척도를 사용한다.
궁극적으로 소프트웨어는 하드웨어와 최상위 수준 시스템에서 통합되고, 소프트웨어 신뢰성이 시스템 신뢰성에 합산된다. 소프트웨어 공학 연구소의 역량 성숙도 모델이 일반적으로 신뢰성과 품질 면에서 전반적인 소프트웨어 개발 절차의 평가 수단이다.
아메리칸 쇼트헤어
아메리칸 쇼트헤어(American Shorthair)는 고양이의 품종 중 하나로, 회색이나 갈색털에 짙은 회색이나 갈색의 소용돌이 무늬가 그려져 있다.
아메리칸 쇼트헤어 기원 및 역사
이름 그대로 아메리카(미국)에서 발달한, 북아메리카의 몇 안되는 품종 중 하나다. 1620년 미국으로 가는 배에 영국 청교도들이 쥐를 잡는 고양이로 태웠는데 이 고양이들이 아메리칸 쇼트헤어의 기원이다. 1800년대 후반 미국에서 순종혈통의 고양이에 대한 관심이 증대하고 캣쇼가 주목을 받기 시작하면서 유럽, 아시아 등에서 고양이를 데려왔는데 그 고양이들이 미국의 토착고양이인 아메리칸 쇼트헤어의 기원종과 교배를 하게 되었다. 그러자 일부 사람들이 토착고양이의 보존을 위해 브리딩(breeding), 즉 순종교배를 하기 시작하였고 이런 고양이를 쇼트헤어라고 불렀다. 1966년에 미국고양이를 대표하는 아메리칸 쇼트헤어(American short-circuiting hair)란 이름으로 명명되었다.
아메리칸 쇼트헤어 전설
1620년 102명의 청교도들은 배의 식량을 축내고 사람들에게 질병을 옮기는 쥐들을 잡는 용도로 고양이 몇 마리와 함께 “메이플라워"호를 타고 대서양을 건너 미 대륙으로 개척활동을 펼쳐나갔다. 그들은 북미 광야에서 고독과 투쟁 그리고 인디언과 힘겨운 싸움을 이겨내며 개척활동을 해 나갔다. 하지만 그 해 추위와 질병 그리고 궁핍으로 반수이상 죽게 되었다. 고양이도 예외일 수는 없었다. 대부분의 고양이가 죽었지만 오직 아메리칸숏헤어 고양이만이 살아남았다. 건강과 장수의 특징을 지닌 아메리칸숏헤어는 새롭고 낯선 환경에서도 유일하게 강한 생존 본능을 발휘하였다. 수 세기 동안 이런 사역 고양이들은 개척자들을 따라서 퍼져 나갔다.
아메리칸 쇼트헤어 외형적 특성
체형은 중간 정도로 수컷은 5~6kg, 암컷은 3.6~5.4kg 정도이며, 고양이들이 1년이면 성장이 멈추는 것과는 달리 아메리칸 쇼트헤어는 3살이 되어서도 자라는 경우도 있다. 머리모양은 크고 둥글고 볼이 통통하다. 목은 짧은 편이며 눈은 크고 넓으며 밝다. 근육이 잘 발달되어 있고 뼈대가 강해서 탄탄하다. 털은 단모종으로 짧으며 굵은 편이며 뻣뻣하다. 털의 굵기는 계절에 따라 달라지고, 지역에 따라서도 다르다. 색은 매우 다양하지만 거의 80% 이상이 줄무늬(태비)를 가지고 있다. 그중에 실버 클래식 태비가 가장 유명하다. 또한 매우 건강해서 오래사는 편이기 때문에 15~20년을 산다.
아메리칸 쇼트헤어 성격적 특성
겁이 없는 성격으로 두려움이 없기 때문에 뛰어다니고 노는 것을 무척 좋아한다. 온화하고 명랑한 편으로 모난 구석이 없으며 아이들과도 잘 지내고, 다른 동물들과도 잘 지내기 때문에 키우기 어렵지 않다. 하지만 과식하는 경향이 있어 충분히 놀아주어야 하고 뛰어놀게 해주어야 한다. 독립심이 강한 편이어서 혼자 보내는 시간도 좋아한다.
고온 검사
고온 검사는 프로세스인데 제품 출하하기 전(가끔 콤포넌트로 완벽하게 조립되기 전)에 수행한다.
이 시험은 목적은 시스템 신뢰성 욕조 커브(bathtub curve)의 초기에 높은 고장률을 갖는 주기 동안에 고장을 발생시키게 함으로써 어떤 부품이 문제가 있는지를 감지한다.
디지털 신호 처리 장치
디지털 신호 처리 장치(digital signal processor, DSP)는 디지털 신호 처리를 위해 특별히 제작된 마이크로프로세서로 특히 실시간 운영 체제 계산에 사용된다.
디지털 신호 처리 장치 아키텍처 특징
디지털 신호 처리는 일반적인 목적의 마이크로프로세스 역할을 수행할 수 있다. 그러나 디지털 신호 처리기의 기능 수행을 빠른 속도로 수행하는 데에 최적인 구조이다. 이런 최적화는 또한 가격을 낮추고, 발열과 전력 소모를 줄이는 중요한 역할을 한다.
동북아시아
동북아시아(東北亞-, Northeast Asia)는 아시아의 동북부 지역을 말한다. 좁은 의미로는 러시아의 극동을 가리키는 말로 사용되며, 넓은 의미로는 몽골, 러시아의 시베리아, 중국의 만주도 포함한다. 일반적으로는 대한민국과 조선민주주의인민공화국, 중화인민공화국, 중화민국, 몽골, 일본, 러시아 극동 및 시베리아를 가리킨다. 동아시아와 비슷한 개념으로 여겨진다.
직합
직합(直合, 영어: direct sum)은 추상대수학에서 여러 개의 아벨 군(혹은 가군)을 합쳐서 더 큰 아벨 군(혹은 가군)을 만드는 연산으로, 직접곱의 쌍대 개념이다. 가군들의 직합은 여곱, 즉 그 가군들을 부분가군으로 포함하는 가장 작은 가군과 같다.
직합 벡터 공간 및 아벨 군의 직합
먼저 간단하게 두 벡터 공간의 직합 및 두 아벨 군의 직합을 정의해 보자. 더 일반적인 경우는 그 아래에서 다룬다.
V와 W가 체 K 위의 벡터 공간일 때, 두 공간의 곱집합 V × W에 연산을 정의해서 K 위의 벡터 공간으로 만들자. 임의의 V의 원소 v, v1, v2와 W의 원소 w, w1, w2 및 K의 원소 α에 대해,
로 정의하면 이는 벡터 공간이 되며, 이를 V와 W의 직합이라 한다. 이를 기호로는 로 표시한다.
V ⊕ W의 부분공간 V × {0}은 V와 동형이며, 많은 경우 이를 V와 같은 것으로 취급한다. ({0} × W와 W의 경우도 마찬가지.) 이렇게 하면 V ⊕ W의 모든 원소는 V의 원소 하나와 W의 원소 하나의 합으로 일의적으로 나타낼 수 있다. V ⊕ W의 차원은 V의 차원과 W의 차원을 합한 것 같다. 이 정의는 유한 개의 벡터 공간들의 직합으로 간단히 일반화할 수 있다.
사군자
사군자(四君子)는 매화, 난초, 국화, 대나무를 말한다. 흔히 매란국죽(梅蘭菊竹)이라고도 한다. 유교 문화권에서 군자에 비유되어 왔으며, 군자란 완전한 인격을 가졌다는 뜻이다. 이 네 가지 식물들은 동양화의 소재가 되어 왔다. 각각 봄(매화, 雪梅), 여름(난초, 蘭草), 가을(국화, 秋菊), 겨울(대나무, 靑竹)을 뜻한다.
사군자 개요
중국에서는 그림의 소재가 되기 훨씬 앞서서 시문(詩文)의 소재로서 등장하였다. 사군자라는 총칭이 생긴 시기는 확실하지 않으나 명대(明代) 이르러서이다. 수묵화가 발달하기 이전에는 대상을 윤곽선으로 그리고 속에 색을 칠하는 기법(구륵법)으로 그렸으나 10세기를 전후해서 주로 먹으로만 그리는 기법(몰골법)으로 정착되었다. 문인적인 교양의 하나로 추구되었다.
중국 예술에서는 4명의 군자 또는 4명의 고귀한 사람들 (중국어: 四君子, 병음: Sì Jūnzǐ)이라고 한다. 문자 그대로 매화, 난초, 대나무와 국화 네 가지의 군자를 나타내는 네 가지의 식물을 나타내는 용어이다. 이 4개의 식물종은 유교에서 군자라 불리는데, 서양권에서는 이것이 '신사'와 비교되기도 한다. 이 네 가지는 일반적으로 전통적인 수묵화를 통해 묘사되며 중국 미술의 새와 꽃 그림 분류에 속한다. 문학적, 예술적 작품에서의 이미지로서 자연을 광범위하게 사용함에 따라, 사군자는 중국 전통에서 가치있는 다른 미덕들 중에서도 정직, 순결, 겸손, 가혹한 조건에 대한 인내의 상징으로 되풀이되는 주제이기도 하다.
사군자 개요
사군자는 송나라 시대(960 ~ 1279)부터 세련된 아름다움 때문에 중국 회화에 자주 사용되어 왔으며, 나중에 중국, 일본, 한국의 예술가들에 의해 동아시아의 다른 곳에서 차용되었다. 봄은 매화, 여름은 난초, 가을은 국화, 겨울은 대나무를 상징하며, 사계절을 대표하기 때문에 사계절의 전개를 묘사하는 데에도 사용된다.
국소환
국소환(局所環, 영어: local ring)은 수학의 추상대수학 등에서 비교적 간단한 성질을 갖는 환의 일종으로, 대수다양체(variety) 또는 다양체(manifold)에서 정의된 함수들의 국소적 성질이나; 대수적 수체의 특정 원소(또는 소수)를 기준으로 하는 국소적인 성질을 설명한다. 국소대수학(영어: local algebra)은 가환 국소환과 그 위의 가군을 다루는 가환대수학의 세부 분야이다.
국소환 정의
환 에 대하여 다음 성질들이 서로 동치이며, 이를 만족시키는 환을 국소환이라 한다.
위의 성질들이 성립하면 유일한 극대 왼쪽 아이디얼과 극대 오른쪽 아이디얼 및 제이컵슨 근기가 전부 일치한다.
가환환에서는 좌우의 구분이 없으므로, 가환환이 국소환일 필요충분조건은 극대 아이디얼이 유일하게 존재하는 것이다.
일부 저자들은 국소환을 정의할 때 (왼쪽과 오른쪽 모두) 뇌터 환이어야 한다는 조건을 추가하고, 이 조건을 만족하지 않는 경우에 대해서는 “유사 국소환”이라 부르기도 한다. 이 글에서는 이를 적용시키지 않는다.
두 국소환 ,  사이의 국소환 준동형(영어: local homomorphism) 은 다음과 같은 함수이다.
국소환들과 국소환 준동형들은 범주를 이룬다.
국소환 성질
(비가환일 수 있는) 국소환 에 대하여, 몫환 은 항상 나눗셈환이다. 만약 가 추가로 가환환이라면, 몫환 은 체이다.
국소환은 다음 연산에 대하여 닫혀 있다.
임의의 (비가환일 수 있는) 국소환  위의 (유한 생성 가군이 아닐 수 있는) 사영 가군은 항상 자유 가군이다. 이는 어빙 커플랜스키가 증명하였다.
가환 국소환의 표수는 0이거나 (1이 아닌) 소수의 거듭제곱이다. 구체적으로, 가환 국소환 가 주어졌을 때, 와 의 표수는 다음 4가지 가운데 하나이다. 여기서 는 임의의 소수를 뜻한다.
인 경우를 동표수 국소환(同標數-, 영어: equicharacteristic local ring)이라고 하며, 아니면 형의 혼합 표수 국소환(영어: mixed characteristic local ring)이라고 한다. 가 동표수 국소환인 것은 가 어떤 체를 부분환으로 포함하는 것과 동치이다.
국소환 분류
모든 가환 국소환은 완비화를 가하여 완비 국소환으로 만들 수 있으며, 뇌터 조건 아래 코언 구조 정리(영어: Cohen structure theorem)라는 분류가 존재한다.
가환 국소환 이 주어졌다고 하자. 이 경우, 의 에서의 국소화  역시 국소환이다. 이렇게 얻어진 국소환을 가환 완비 국소환이라고 한다. 가 정칙환인 것은 가 정칙환인 것과 동치이다. 의 표수는 의 표수와 같으며, 의 잉여류체는 의 잉여류체 와 같다.
가환 완비 국소환 의 계수환(영어: coefficient ring)은 다음 성질들을 모두 만족시키는 부분환 이다.
계수환은 유일하지 않을 수 있다.
뇌터 가환 완비 국소환 가 주어졌을 때, 코언 구조 정리에 따르면 다음이 성립한다.
여기서
국소환 예
가환환 의 임의의 소 아이디얼 에서의 국소화 는 국소환이다.
모든 나눗셈환은 국소환이다. (이 경우 영 아이디얼은 유일한 진 왼쪽 아이디얼이자 진 오른쪽 아이디얼이다.)
(비가환환일 수 있는) 환  위의 왼쪽 가군 의 자기 사상환 이 국소환이라면, 은 분해 불가능 가군이다. 반대로, 만약 이 유한한 길이를 가지며 분해 불가능 가군이라면, 자기 사상환 은 (비가환환일 수 있는) 국소환이다.
양의 표수 의 체  및 p-군 가 주어졌을 때, 군환 는 국소환이다.
체  위의 2×2 행렬환 은 유일한 (극대) 양쪽 아이디얼 을 가지지만, 극대 왼쪽 아이디얼 또는 극대 오른쪽 아이디얼은 유일하지 않으며, 따라서 국소환이 아니다.
국소환 응용
대수기하학에서는 (가환) 국소환들이 자주 등장하며, 이는 보통 가환환을 소 아이디얼에서 국소화하여 얻어진다.
국소환을 아핀 스킴으로 여기면, 자리스키 위상에서 극대 아이디얼들은 닫힌 점들에 대응하므로, 국소환은 정확히 하나만의 닫힌 점을 포함하는 아핀 스킴이다. 즉, 이 점의 근방 위의 함수환으로 여길 수 있다. 실제로, 일반적 스킴을 임의의 점 (소 아이디얼)에서 국소화하면, 그 점 근방만의 정보를 담고 있는 국소환을 얻는다. 즉, 국소환은 자리스키 위상에서의 스킴의 줄기에 해당한다. 마찬가지로, 니스네비치 위상에서의 줄기는 헨젤 국소환이며, 에탈 위상에서의 줄기는 순 헨젤 국소환이다.
국소환 역사
국소환의 개념은 볼프강 크룰이 1938년에 독일어: Stellenring 슈텔렌링[*](위치환)이라는 명칭으로 도입하였다. "국소환"이라는 명칭은 오스카 자리스키가 도입하였다.
코언 구조 정리는 어빈 솔 코언이 도입하였다. (코언의 논문이 집필되었을 당시 "국소환"(영어: local ring)이라는 용어는 항상 뇌터 국소환을 의미하였다.)
역사적으로, 1960년대 이전까지는 "국소환"이라는 개념에는 왼쪽 뇌터 환이자 오른쪽 뇌터 환이어야 한다는 조건이 첨가되었으며, 뇌터 조건을 만족시키지 않는 경우 "준국소환"(영어: quasilocal ring)이라는 이름으로 불렸다. 그러나 1960년대부터 뇌터 조건이 생략되었다.
쿠프 드 프랑스
쿠프 드 프랑스(Coupe de France, 프랑스의 컵)은 이전에 쿠프 샤를 시몽(Coupe Charles Simon, 샤를 시몽 컵)으로 알려진 프랑스 축구 최상위 토너먼트 대회로, 프랑스 축구 연맹(FFF)이 주관한다. 첫 대회는 1917년에 출범해 해외령을 포함한 프랑스의 모든 프로 및 아마추어 구단이 참가했다. 1917년에서 1919년까지 이 대회 명칭은 쿠프 샤를 시몽으로 명명되었는데, 프랑스의 체육인이자 프랑스 초연맹 위원회(프랑스 축구 연맹의 전신)의 설립자로, 제1차 세계 대전에서 1915년에 전사한 샤를 시몽을 기리기 위한 조치였다. 결승전은 스타드 드 프랑스에서 열리며, 이 경기에서 승리하면 유로파리그 조별 리그와 트로페 데 샹피옹 경기를 치를 수 있게 된다. 여자 축구에도 동명의 대회를 진행한다.
쿠프 드 프랑스
무작위 추첨과 재경기 없는 단판승부로 인해, 쿠프 드 프랑스는 대규모 구단이 독주할 확률이 상대적으로 낮다. 이 대회는 아마추어 구단에도 혜택인데, 프로 구단을 비롯한 상위 구단들이 두 계단 이상 하부 리그 구단을 상대할 때 적지로 들어가야 한다. 이러한 세력 균형을 맞추려는 노력에도 불구하고, 1932년에 프랑스 축구 프로 리그가 출범한 이래 단 세 구단만이 결승전에 올랐다: 2000년의 칼레 라싱 위니옹, 2012년의 케비, 그리고 2018년의 레 에르비에르가 전부다. 리그 1 외의 구단이 우승한 사례는 두 번인데, 1959년의 르 아브르와, 2009년 갱강이 주인공이다. 현재 우승을 차지한 구단은 낭트로, 2021-22 시즌에 결승전에서 니스를 꺾고 4번째 우승을 거두었다.
쿠프 드 프랑스 역사
제1차 세계 대전중에 생겨났으며, 이 전쟁에서 죽은 축구선수인 샤를 시몽의 이름을 따왔다. 가장 많이 우승을 한 팀은 파리 생제르맹 FC(14회)이며, 올랭피크 드 마르세유가 10회 우승으로 2위를 하고 있다. 총 세명의 선수가 이 대회에서 다섯번 우승을 하였다. 1927년부터는 프랑스 대통령이 대회에 참관하며 우승 팀의 주장에게 우승컵을 수여한다.
쿠프 드 프랑스 역대 결승
하부 리그의 팀들의 홈에서 경기를 하기 때문에 쿠프 드 프랑스는 대형 클럽들이 우승하기 어려운 대회로 여겨진다. 재경기 없이 승부가 날 때까지 단판 승부로 경기를 치른다. 이 때문에 상대적으로 낮은 팀이 최고의 실력을 발휘할 경우 대형 클럽들에게 마음에 들지 않는 결과가 종종 발생하곤 한다. 최근 몇 시즌 동안에는 많은 준우승 팀들이 리그 1이 아닌 더 밑의 리그에서 배출되는 결과를 보이고 있으며, 2000년 대회에서는 4부리그의 칼레 RUFC가 준우승을 차지하는 등, 프랑스 축구의 깊이를 보여주는 동시에 이 대회의 불확정성을 보여준다. 또한 작은 클럽들이 자주 우승하기 때문에 이 대회가 독일이나 이탈리아의 컵대회보다 더 가치가 있다고 여겨짐에도 불구하고 리그 1 클럽들의 우선순위에 있지 않다고 볼 수도 있다.
과학과 종교의 관계
과학과 종교의 관계 혹은 과학과 신학의 관계는 자연 세계, 역사, 철학, 신학 연구를 상호 연결하는 논의를 포함한다. 고대와 중세 세계에서는 현대적인 의미의 과학이나 종교 개념이 존재하지 않았지만, 이 주제에 관한 현대적 사고의 일부 요소들은 역사 전반에 걸쳐 반복되어 나타났다. '종교와 과학', '과학과 종교'라는 쌍 구조의 표현은 19세기 문헌에서 처음 등장하였다. 이는 자연 철학에서 발전한 과학과, 수 세기에 걸쳐 분화된 종교가 각각 독립된 개념으로 정제되던 시기와 맞물린다. 특히 서구에서 이러한 과정은 과학의 전문화, 종교개혁, 식민주의, 세계화 등의 영향을 받았다. 이후 종교와 과학의 관계는 갈등, 조화, 복잡성, 상호 독립성 등 다양한 방식으로 특징지어져 왔다.
과학과 종교의 관계
과학과 종교는 모두 사회·문화복합적 인류 활동으로, 각 지역 문화에 따라 다양하게 나타나며 시간에 따라 변화해 왔다. 과학 혁명 이전까지 대부분의 과학적·기술적 혁신은 각 지역의 종교 전통으로 조직된 공동체들에 의해 이루어졌다. 고대 종교, 이슬람권, 기독교 학자들은 과학적 방법의 개별 요소들을 개척하였다. 과학적 방법을 체계화한 인물로 종종 언급되는 로저 베이컨은 프란체스코회 수도사였으며, 중세 기독교 학자들은 자연을 연구하면서 자연적 설명을 강조하였다. 유교 사상은 종교적이든 비종교적이든 시대에 따라 과학에 대해 다양한 관점을 가져왔다. 21세기의 많은 불교도들은 과학을 자신의 신념과 상호 보완적인 것으로 보고 있으나, 이러한 불교 근대주의의 철학적 정합성에 대해서는 비판이 제기되기도 했다. 고대 인도와 그리스에서 물질 세계를 공기, 흙, 불, 물로 분류한 것은 보다 형이상학적이었고, 아낙사고라스와 같은 인물은 그리스 신들에 대한 대중적 관념을 비판적으로 고찰하기도 했지만, 중세 중동 학자들은 실증적으로 물질을 분류하였다.
과학과 종교의 관계
한편, 유럽에서는 16세기 말, 17세기 초 조르다노 브루노 화형과 갈릴레오 종교재판 사건과 같은 일련의 사건들은 과학 혁명과 계몽주의 시대와 맞물려, 존 윌리엄 드레이퍼와 같은 학자들이 약 1874년경 《갈등 논제》(conflict thesis)를 제기하는 데 영향을 주었다. 이 논제는 종교와 과학이 역사 전반에 걸쳐 방법론적, 사실적, 정치적으로 갈등해 왔음을 주장한다. 현대의 일부 철학자와 과학자들, 예를 들어 리처드 도킨스, 로렌스 크라우스, 피터 앳킨스, 도널드 프로테로 등은 이 논제를 지지한다. 그러나 스티븐 셰이핀과 같은 과학사학자들은 "과학사 연구자들 사이에서는 이러한 태도가 받아들여지지 않은 지 오래되었다"고 지적한다.
아우구스티누스, 토마스 아퀴나스부터 프란시스코 아얄라, 케네스 R. 밀러, 프랜시스 콜린스에 이르기까지 역사 속 많은 과학자, 철학자, 신학자들은 종교와 과학 사이에 양립 가능성이나 상호 의존성을 보았다. 생물학자 스티븐 제이 굴드는 종교와 과학을 '서로 겹치지 않는 권역'으로 간주하여, 이 둘이 근본적으로 별개의 지식 형태와 삶의 측면을 다룬다고 보았다. 과학사학자와 수학자들 가운데 존 레녹스, 토마스 베리, 브라이언 스윔 등은 과학과 종교 간의 상호 연결성을 주장하고 있으며, 이언 바버와 같은 일부 학자들은 두 영역 사이에 유사성까지 존재한다고 본다. 과학적 사실에 대한 대중의 수용은 때때로 종교적 신념에 의해 영향을 받을 수 있다. 예를 들어 미국에서는 많은 사람들이 특히 인간에 관한 자연선택에 의한 진화 개념을 거부하기도 한다. 그럼에도 불구하고 미국 과학아카데미는 "진화에 대한 증거는 종교적 신앙과 충분히 양립할 수 있다"고 밝힌 바 있으며, 이는 미국 많은 기독교 주류 교단들에 의해 지지되고 있다.
과학과 종교의 관계 관점
과학과 종교와의 관계는 세가지 관점인 충돌론, 분리론, 조화론으로 요약할 수 있다. 예를 들어 진화가 직접 관찰이 가능해진 현재에도 근본주의를 위시한 창조주의를 표방하는 일부 극보수주의 종교가 존재한다. 반면에 이런 진화와 같이 명백한 과학적 사실들을 하나의 새로운 지식으로 보거나, 이런 사실들로부터 새로운 신학적 발견을 찾아가려는 움직임도 보이고 있다.
충돌론(제거론)은 과학과 종교가 상반된 입장을 취하면서 상대 분야를 적극적으로 배격하려는 행동이다. 대표적으로 과거 근세 유럽에서 벌어졌던 종교재판이나 현대에 벌어지는 진화론과 창조론간의 법정 분쟁이 그 사례이다. 갈릴레오는 기존 기독교 교회가 지지하고 있던 천동설 우주 구조에 위배되는 많은 사실들을 발견하여 코페르니쿠스의 태양 중심설을 강력히 옹호했다. 교회 당국은 코페르니쿠스의 우주론이 기독교의 교리를 위협하게 될 것이라 믿어 금지령을 내렸고, 지동설 지지자들을 종교 재판으로 강력하게 탄압하였다.