stanford-oval/wikipedia huggingface dataset:
덕원군 (함경남도)
역사

| --- | --- |
    
    
《대동여지도》
11세기 무렵 의주(宜州)라고 불렸다. 원나라가 점령했다가 공민왕이 되찾았다. 1413년 의천군(宜川郡), 1437년 덕원부(德源府)로 고쳤다. 1895년 23부제에서는 함흥부, 13도제에서는 함경남도에 속하게 되었고, 일본이 원산진의 개항을 요구하여 일본인이 들어오게 되었다.
일제강점기 직후에 원산부가 되었다가 1914년 원산부의 영역을 개항장 일대로 축소시키고, 교외 지역을 덕원군으로 분리하였다. 이때 안변군의 영풍면을 편입하여 풍하면, 풍상면으로 나누고, 원산만 주변의 몇몇 섬을 편입하게 되었다. 1914년 당시의 덕원군은 부내면(府內面), 북성면(北城面), 적전면(赤田面), 현면(縣面), 풍하면(豊下面), 풍상면(豊上面)의 6면으로 구성되었다.
1942년 적전면과 현면을 원산부에 편입하고, 부내면(이후 덕원면으로 개칭), 북성면, 풍하면, 풍상면을 문천군에 편입함으로써, 덕원군은 폐지되었다. 1952년 문천군 풍하면, 풍상면을 관할로 법동군이 생겼다.
현재, 폐지 당시의 덕원군은 풍하면, 풍상면이 법동군에, 덕원면, 적전면, 현면은 원산시에, 북성면은 문천시에 속해 있다. 단 옛 덕원면의 관산리와 풍촌리는 현재 문천시의 관풍동이 되어 있다.
문화

부내면에 있던 덕원수도원은 가톨릭 수도원으로 유명하다. 수도원 경내에 덕원신학교도 있었다.
↑  덕원 (德源) - 한국민족문화대백과사전.
비크이뮈르달

비크에 있는 마을 풍경
class=notpageimage|
비크의 위치
비크(아이슬란드어: Vík)는 아이슬란드 최남단에 위치한 도시로 정식 명칭은 비크이뮈르달(Vík í Mýrdal)이며 인구는 291명(2011년 기준)이다. 행정 구역상으로는 쉬뒤를란드에 속하며 국도 1호선을 따라 레이캬비크에서 동쪽으로 약 180km 정도 떨어진 곳에 위치한다.
기후

| Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 1월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 2월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 3월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 4월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 5월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 6월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 7월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 8월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 9월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 10월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 11월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 12월 | Vík í Mýrdal (1961-1990) Extremes (1961-2011)의 기후> 연간 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 역대 최고 기온 °C (°F) | 10.6 (51.1) | 13.0 (55.4) | 12.5 (54.5) | 15.8 (60.4) | 19.7 (67.5) | 21.5 (70.7) | 23.1 (73.6) | 24.4 (75.9) | 17.2 (63.0) | 16.5 (61.7) | 13.4 (56.1) | 11.9 (53.4) | 24.4 (75.9) |
| 일평균 최고 기온 °C (°F) | 3.5 (38.3) | 4.0 (39.2) | 4.4 (39.9) | 6.5 (43.7) | 9.0 (48.2) | 11.3 (52.3) | 13.2 (55.8) | 12.8 (55.0) | 10.3 (50.5) | 7.4 (45.3) | 4.7 (40.5) | 3.6 (38.5) | 7.6 (45.6) |
| 일일 평균 기온 °C (°F) | 1.2 (34.2) | 2.0 (35.6) | 1.9 (35.4) | 4.0 (39.2) | 6.7 (44.1) | 8.9 (48.0) | 10.8 (51.4) | 10.6 (51.1) | 8.1 (46.6) | 5.4 (41.7) | 2.6 (36.7) | 1.3 (34.3) | 5.3 (41.5) |
| 일평균 최저 기온 °C (°F) | −1.4 (29.5) | −0.6 (30.9) | −0.7 (30.7) | 1.4 (34.5) | 4.1 (39.4) | 6.7 (44.1) | 8.3 (46.9) | 8.0 (46.4) | 5.4 (41.7) | 2.8 (37.0) | −0.1 (31.8) | −1.3 (29.7) | 2.7 (36.9) |
| 역대 최저 기온 °C (°F) | −13.2 (8.2) | −15.9 (3.4) | −13.4 (7.9) | −16.9 (1.6) | −6.2 (20.8) | −1.6 (29.1) | 2.5 (36.5) | 1.2 (34.2) | −3.3 (26.1) | −9.9 (14.2) | −12.2 (10.0) | −14.0 (6.8) | −16.9 (1.6) |
| 평균 강수량 mm (인치) | 203.1 (8.00) | 178.6 (7.03) | 184.7 (7.27) | 155.9 (6.14) | 137.7 (5.42) | 171.7 (6.76) | 151.7 (5.97) | 211.0 (8.31) | 214.4 (8.44) | 242.2 (9.54) | 195.3 (7.69) | 206.2 (8.12) | 2,252.5 (88.69) |
출처: Icelandic Met Office
플라이 바이 와이어

플라이 바이 와이어(FBW, fly-by-wire)는 항공기 비행제어 시스템의 하나로, 직역하면 전선에 의한 비행이란 뜻이며 기계적 제어가 아닌 전기 신호에 의한 제어를 의미한다. 전통적인 비행 제어 시스템은 기계구조와 유압에 의존하여 조종면을 직접 연결하는 방식인데 플라이 바이 와이어는 조종석에서 조종하는 신호를 컴퓨터가 해석하여 전기적인 신호를 유압 시스템에 제공해 조종면을 조종하는 방식이다. 엔진 역시 비행 제어 컴퓨터에 의해 관리된다.
장점

조종사 임무량 감소
시스템이 기능을 제공함으로써 더 편한 인터페이스를 가지고, 조종사 판단 이전에 계산을 함으로써 정확한 비행 조정이 가능하다.
항공기 구조 안전성 증가
조종 명령을 고려해서 시스템이 동작하도록 할 수 있는데 조종사가 항공기 구조 상태를 스트레스(Stress) 또는 스톨(Stall) 받는 상황으로 가는 것을 막는다.
무게 감소
기계적인 연결 구조물 등이 없기 때문에 상당한 무게 감소가 되며 이를 통해 연료량 역시 감소된다.
고장 대비

항공기가 운용 중인 경우에는 안전을 저해하는 고장이 없어야 한다. 그래서 중복해서 센서, 컴퓨터, 액추에이터를 구성하여 시스템 고장시 성능 하락을 최소화 한다. 성능 하락시 필수 시스템은 조종이 가능하여 비행 및 착륙이 가능하도록 유지해야 한다.
성능 하락 최소화를 위한 설계 구성 예는 다음과 같다.
고장 대비 > 하드웨어 구성

3중 메인 컴퓨터는 항공기 조정과 액추에이터를 관리할 신호를 제공하는 것으로 조종면과 엔진 동작과 관련이 있다.
2중 보조 컴퓨터는 메인 컴퓨터에 대한 백업 시스템으로 메인이 고장인 경우 자동적으로 전환된다.
한 대 만이 비행 조정을 담당하고 있지만 나머지 역시 항상 준비 상태로 동작하며 전환시 동작 지연이 없어야 한다.
고장 대비 > 하드웨어 구성 > 다른 프로세스

메인과 보조 컴퓨터는 다른 제작사의 프로세스를 사용한다. 하드웨어에 발생할 수 있는 고장 확률을 줄이기 위한 것이다.
고장 대비 > 하드웨어 구성 > 데이터 비교

입력 신호를 분리하여 명령 처리 부분과 모니터 부분으로 나누고 처리 결과를 비교하여 출력한다.
컴퓨터 내부에서 명령 처리 부분과 모니터 부분이 별도의 채널로 분리한다. 각 채널은 하드웨어적으로 분리되고 다른 언어를 사용하는 소프트웨어로 구성한다. 비교기(comparator)에 의해 데이터가 상이한 경우 에러가 발생하고 다른 컴퓨터로 전환된다.
고장 대비 > 소프트웨어 다양성

다른 채널을 위한 소프트웨어는 다른 팀에 의해 다른 언어로 개발한다. 메인 및 보조 컴퓨터는 각각 다른 팀에 의해 개발된다. 보조 컴퓨터인 경우에도 다른 언어를 사용한다.
고장 대비 > 시스템 재구성

비행 조정 시스템은 시스템 자원의 손실을 만회하기 위해서 재구성이 자동적으로 일어난다. 시스템 재구성은 대체 조정 소프트웨어로 전환하는 것으로 3가지 모드가 있는 '정상', '대체', '직접'이 있다.
정상(Normal) - 완벽하게 조정하여 임무량을 감소하는 모드
대체(Alternate) - 최소한 컴퓨터로 운영하여 조정하는 모드
직접(Direct) - 컴퓨터 계산에 의해 동작하지 않은 모드
최소 2개 고장이 일어나야 정상 모드가 아닌 경우가 된다.
고장 대비 > 복수 액추에이터

컴퓨터와 조정면이 연결되어 각 조정면은 복수의 독립적인 액추에이터에 의해 동작이 된다. 각 엑추에이터는 다른 컴퓨터에 의해 관리되어 어떤 액추에이터 또는 컴퓨터의 고장으로 조정면의 동작이 불가능하도록 하지 않도록 한다. 유압 시스템은 3 중으로 구성되고, 전기선 라우트(route)를 다르게 구성한다.
고장 대비 > 플라이 바이 라이트

플라이 바이 라이트(FBL, fly-by-light)는 플라이 바이 와이어 보다 한 단계 진화한 비행 조종 시스템으로 기존의 전선을 광섬유로 대체해 보다 신속하고 많은 데이터를 전송할 수 있으며, 기상이변이나 인위적인 전파의 간섭에 의한 데이터 손실을 최소화 할 수 있다. 세계 최초로 일본의 가와사키 중공업이 제작한 P-1 해상초계기에 적용되었다.
같이 보기

FCS
HQS
FMET
검증 및 확인(IV & V)
MILS
HILS
| v t e항공기 부품 및 시스템 |
| --- | --- |
기체 구조:  꼬리 날개  윙팁 
비행 조정:  보조 날개  인공 조타 감각 장치  오토파일럿  카나드  승강키  엘러본  플래퍼론  플라이 바이 와이어  방향키 
공기역학 및 고양력 장치:  플랩  윙렛 
항공전자 및 비행계기 시스템:  ACAS  대기 데이터 컴퓨터  고도계  나침반  EICAS  비행 관리 시스템  글래스 칵핏  GPS  수평자세 지시계  INS  전파 고도계  TCAS 
추진 제어,  장치, 연료 계통:  오토스로틀  외부연료탱크  FADEC  스로틀 
착륙 및 제동 장치:  항공기 타이어  착륙 장치 
탈출 시스템:  사출 좌석  사출 승무원 캡슐 
기타 시스템:  보조 동력 장치  항공기 블랙박스  램 에어 터빈 
| --- | --- |
전거 통제: 국가 :  이스라엘  미국
593년

| --- | --- |
간지: 임자년~계축년
단기: 2926년
그레고리력: 593년  DXCIII
불기: 1137년
이슬람력: 30 BH~29 BH
황기: 1253년
히브리력: 4353~4354
아시리아력: 5343년
에티오피아력: 587~588
연호

수(隋) 개황(開皇) 13년
신라(新羅) 건복(建福) 10년
기년

수(隋) 문제(文帝) 13년
신라(新羅) 진평왕(眞平王) 15년
고구려(高句麗) 영양왕(嬰陽王) 4년
백제(百濟) 위덕왕(威德王) 40년
비키

비키는 다음 사람 등을 가리킨다.
비키(1977~): 미국의 가수. 여성 음악 그룹 디바의 일원
비키(1988~): 대한민국의 여성 음악 그룹 달샤벳 출신의 가수. 기상 캐스터, 배우
비키 로사다: 스페인의 여자 축구 선수
비키 로스티: 핀란드의 가수
비키 루이스: 미국의 배우
비키 드레이브스: 미국의 여성 다이빙 선수
비키 게레로: 프로레슬링선수 에디 게레로의 미망인
비키 레안드로스: 그리스의 가수
비키 매클루어: 잉글랜드의 배우
비키 베를린: 덴마크의 배우
비키 카: 미국의 여성 가수 및 작사가 겸 뮤지컬 배우
비키 크립스: 룩셈부르크의 배우
조웰 비키: 미국의 개혁주의 목사이며 신학자
비키 피터슨: 미국의 가수
비키 쥬디: 미국의 배우
비키 패티슨: 잉글랜드의 방송 유명인
같이 보기

제목에 "비키" 항목을 포함한 모든 문서
비비역

| 비비 |
| --- | --- |
 비비 역
ko
개괄
관할 기관 : 홋카이도 여객철도
소재지 :  일본 홋카이도 지토세시
좌표 : 북위 42° 27′ 50″ 동경 141° 25′ 26″﻿ / ﻿북위 42.463948°  동경 141.423972° ﻿ / 42.463948; 141.423972
개업일 : 1926년 8월 21일
폐지일 : 2017년 3월 4일
역 번호 : H 15
승강장수 : 2면 3선
거리표
■ 지토세 선
누마노하타 기점 13.9km
   ← H 16 우에나에  (7.5 km)  미나미치토세 H 14 → (4.5 km)
     
비비역(일본어: 美々駅)은 일본 홋카이도 지토세시에 위치한 홋카이도 여객철도 지토세 선의 철도역이었다.
역 번호는 H15이며, 단선 · 섬식의 형태를 합친 2면 3선 구조의 복합 승강장을 갖춘 지상역이었다.
타는 곳

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| 1 | ■ 지토세 선 | 상행 | 도마코마이 방면(2017년 3월 4일 폐지됨) |
| 2 | ■ 지토세 선 | 상행 대피선 | 상행 대피선 |
| 3 | ■ 지토세 선 | 하행 | 미나미치토세 · 지토세 · 삿포로 · 데이네 · 오타루 방면(2017년 3월 4일 폐지됨) |
역 주변

국도 제36호선
지토세 시 환경 센터
역사

1926년 8월 21일 : 홋카이도 철도 삿포로 선의 역으로서 개업. 여객 · 하물을 취급.
1943년 8월 1일 : 전시 매수에 의해 홋카이도 철도가 국유화. 일본국유철도 지토세 선의 역이 되었다.
1968년
8월 23일 : 우에나에 방면 복선화 공용 개시.
11월 25일 : 지토세 방면 복선화 공용 개시.
1974년 10월 1일 : 소화물 취급 폐지.
1980년 3월 말 : 과선교 설치.
1981년 10월 이전 : 역사 개축.
1984년 3월 31일 : 무인화.
1987년 4월 1일 : 일본국유철도 분할 민영화에 의해, 홋카이도 여객철도가 승계.
2008년 10월 25일 : IC카드 Kitaca 사용 개시.
2017년 3월 4일: 역 업무를 폐지.
인접 역

| 홋카이도 여객철도 지토세 선 |
| --- | --- | --- |
| H 16 우에나에 도마코마이 방면 | ■ 지토세 선 | 미나미치토세 H 14 삿포로 방면 |
| v t e지토세선 |
| --- | --- |
(무로란 방면← 도마코마이 - ) 누마노하타 - 우에나에 -  비비   - 미나미치토세 - 지토세 - 오사쓰 - 삿포로 맥주 정원 - 에니와 - 메구미노 - 시마마쓰 - 기타히로시마 - (니시노사토 신호장) - 가미놋포로 - 신삿포로 - 삿포로 화물 터미널 (화물)·헤이와 - 시로이시 ( - 나에보 - 삿포로 →오타루 방면）  ■ 지선 (공항선): 미나미치토세 - 신치토세 공항
도조촌 (지바현 아와군)

| --- | --- |
한자 표기: 東条村
가나 표기: とうじょうむら
폐지일: 1954년 7월 1일
이후 자치체: 가모가와시
폐지 당시의 정보
나라:  일본
지방: 간토 지방
도도부현: 지바현
군: 아와군
도조촌(東条村)은 지바현 나가사군·아와군에 존재했던 촌이다. 현재의 가모가와시에 해당한다.
역사

1889년 4월 1일 - 정촌제 시행에 의해 나가사군 도조촌이 성립하였다.
1897년 4월 1일 - 나가사군이 폐지되어, 아와군에 편입이후 아와군 도조촌이 되었다.
1954년 7월 1일 - 가모가와 정, 다하라 촌, 사이죠 촌과 합병해, 새로운 가모가와 정이 신설되어, 동일 도조촌은 폐지되었다.
경제

1888년에 작성된 분합조사 문서에 따르면, 주민들은 대체로 농업으로 생계를 유지하고 있었다고 한다.
1926년의 『아와군지(安房郡誌)』에 따르면, 땅이 비옥하고 농사에 적합하지만, 당시부터 약 30년 전부터 수로 정비와 경지 정리에 착수하여 군내에서도 손꼽히는 농업 개량을 실시했다. 그 결과, 보리, 콩, 자두, 자은영(겐게)의 이모작이 가능하여 쌀의 품질과 수확량에 큰 영향을 미쳐 마을의 농업은 큰 혜택을 누렸다. 쌀의 품질과 수확량에도 큰 영향을 미치는 등 마을의 농업은 큰 혜택을 받았다. 부업으로 양잠이 특히 활발했다.
교통 > 철도

국철(JR동일본
소토보선
교통 > 도로

국도 제128호선
관련링크

千葉県安房郡東条村 (12B0020029) - 歴史的行政区域データセットβ版
594913 아일로차흐님

594913 아일로차흐님(594913 ʼAylóʼchaxnim)은 항상 금성 궤도 내부를 공전하는 소행성으로 아티라 소행성군 중에서도 독자적인 소행성군으로 분류된다.
같이 보기

벌컨군
할당자

할당자(割當子) 또는 얼로케이터(allocator)는 C++의 표준 라이브러리에서 메모리 할당을 관리하는 객체이다. C++표준 라이브러리에서 이용되는 리스트, 셋 등의 다양한 컨테이너 자료구조들은 용도에 따라 동적 메모리 할당을 요구한다. 할당자는 동적 메모리 할당을 통합 관리하는데 필요한 기능이 정의된 객체이다.
예

//__gnu_cxx::new_allocator< typename > Class Template Reference
//https://gcc.gnu.org/onlinedocs/gcc-4.9.0/libstdc++/api/a00057.html
/**
 processor	: 0
 vendor_id	: AuthenticAMD
 cpu family	: 16
 model		: 6
 model name	: AMD Athlon(tm) II X2 270 Processor
 stepping	: 3
 microcode	: 0x10000c8
 cpu MHz		: 2000.000
 cache size	: 1024 KB
 ...
 processor	: 1
 vendor_id	: AuthenticAMD
 cpu family	: 16
 model		: 6
 model name	: AMD Athlon(tm) II X2 270 Processor
 stepping	: 3
 microcode	: 0x10000c8
 cpu MHz		: 800.000
 cache size	: 1024 KB
 ...
 Linux debian 3.14-2-686-pae #1 SMP Debian 3.14.15-2 (2014-08-09) i686 GNU/Linux
 ...
 gcc (Debian 4.9.1-12) 4.9.1
 Copyright (C) 2014 Free Software Foundation, Inc.
 This is free software; see the source for copying conditions.  There is NO
 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
...
java@debian:~/java/eclipse$ ldd /usr/lib/i386-linux-gnu/libstdc++.so.6.0.20
	linux-gate.so.1 (0xb7733000)
	libm.so.6 => /lib/i386-linux-gnu/i686/cmov/libm.so.6 (0xb75da000)
	libc.so.6 => /lib/i386-linux-gnu/i686/cmov/libc.so.6 (0xb742f000)
	/lib/ld-linux.so.2 (0xb7734000)
	libgcc_s.so.1 => /lib/i386-linux-gnu/libgcc_s.so.1 (0xb7411000)

 */
#include <iostream>
using namespace std;
using namespace __gnu_cxx;

class RequiredAllocation
{
public:
	RequiredAllocation ();
	~RequiredAllocation ();
	std::basic_string<char> s = "hello world!\n";
};

RequiredAllocation::RequiredAllocation ()
{
	cout << "RequiredAllocation::RequiredAllocation()" << endl;
}
RequiredAllocation::~RequiredAllocation ()
{
	cout << "RequiredAllocation::~RequiredAllocation()" << endl;
}





void alloc(__gnu_cxx ::new_allocator<RequiredAllocation>* all, unsigned int size, void* pt, RequiredAllocation* t){
	try
		{
			all->allocate (size, pt);
			cout << all->max_size () << endl;
			for (auto& e : t->s)
				{
					cout << e;
				}
		}
	catch (std::bad_alloc& e)
		{
			cout << e.what () << endl;
		}
}

int
main ()
{

	__gnu_cxx ::new_allocator<RequiredAllocation> *all =
			new __gnu_cxx ::new_allocator<RequiredAllocation> ();

	RequiredAllocation t;
	void* pt = &t;

	/**
	 * What happens when new can find no store to allocate? By default, the allocator throws a stan-
	 * dard-library bad_alloc exception (for an alternative, see §11.2.4.1)
	 * @C Bjarne Stroustrup  The C++ Programming language
	 */
	unsigned int size = 1073741824;
	alloc(all, size, &pt, &t);

	size = 1;
	alloc(all, size, &pt, &t);

	return 0;
}
보편 포락 대수

리 대수 이론에서, 보편 포락 대수(普遍包絡代數, 영어: universal enveloping algebra)는 주어진 리 대수의 리 괄호를, 결합법칙을 만족시키는 곱셈에 대한 교환자로 나타내는 대수이다.
정의

보편 포락 대수의 개념은 두 가지로 정의될 수 있다.
구체적으로, 텐서 대수의 특정한 양쪽 아이디얼에 대한 몫으로 정의될 수 있다.
추상적으로, 결합 대수를 리 대수로 여기는 망각 함자의 왼쪽 수반 함자로 정의될 수 있다.
이 두 정의는 서로 동치이다.
정의 > 구체적 정의

가환환  K에 대한 리 대수  {\mathfrak {g}}가 주어졌다고 하자. 그렇다면, 그 텐서 대수
에 다음과 같은 원소들로 생성되는 양쪽 아이디얼  {\mathfrak {I}}를 생각하자.
이 양쪽 아이디얼에 대한 몫대수
를  {\mathfrak {g}}의 보편 포락 대수  \operatorname {U} ({\mathfrak {g}})라고 한다. 이는  K-결합 대수를 이룬다.
 {\mathfrak {g}}\subset \operatorname {T} ({\mathfrak {g}})이므로, 자연스러운  K-선형 변환
이 존재한다.
보편 포락 대수  \operatorname {U} ({\mathfrak {g}})는 텐서 대수  T({\mathfrak {g}})로부터 자연스럽게 호프 대수의 구조를 물려받는다. 즉, 모든  a,b\in {\mathfrak {g}}에 대하여, 호프 대수의 연산은 다음과 같다.
곱셈:  ab
단위원:  1
쌍대곱:  \Delta (a)=a\otimes 1+1\otimes a
쌍대단위원:  \epsilon (a)=0
앤티포드:  S(a)=-a
정의 > 범주론적 정의

가환환  K가 주어졌을 때,  K-리 대수의 범주  \operatorname {LieAlg} _{K}와  K-결합 대수의 범주  \operatorname {Assoc} _{K}를 생각하자. 이 두 범주는 둘 다 대수 구조 다양체의 범주이다. 따라서, 망각 함자
는 왼쪽 수반 함자
를 갖는다. 리 대수의, 이 함자에 대한 상을 그 보편 포락 대수라고 한다.
정의 > 보편 포락 대수의 쌍대 대수

보편 포락 대수는 쌍대 가환 호프 대수이므로, 그 쌍대 공간은 가환환을 이룬다. 이는 직접적으로 정의할 수 있다.  {\mathfrak {g}}가 체  K 위의 유한 차원 리 대수라고 하자. 그렇다면, 보편 포락 대수를 정의하는  K-벡터 공간의 짧은 완전열
은 다음과 같이 쌍대화된다. (이 경우 ‘쌍대 공간’은 등급별 쌍대 공간들로 구성된 등급 벡터 공간이다.)
여기서
이며, 보편 포락 대수의 쌍대는 이러한 텐서 대수의 부분 대수이다. 구체적으로, 보편 포락 대수의 쌍대의 원소
는 다음과 같은 데이터로 구성된다.
각 자연수  i\in \mathbb {N} 에 대하여, 선형 변환  p_{i}\colon {\mathfrak {g}}^{\otimes i}\to K
이는 다음 조건을 만족시켜야 한다.
예를 들어
이다. ( p_{0}\in K는 항등식에 등장하지 않는다.)
이 위의 가환환 구조는 다음과 같다.
일반적으로  (pq)_{i}의 표현은  2^{i}개의 항을 갖는다. 그 항등원은
이다.
성질 > 환론적 성질

임의의 가환환  K 위의 아벨 리 대수의 보편 포락 대수는 가환환이다.
임의의 체  K 위의 리 대수의 보편 포락 대수는 영역이며, 만약 추가로 비아벨 리 대수라면  \operatorname {U} ({\mathfrak {g}})는 비가환환이다 (즉, 정역이 아니다).
성질 > 연산과의 호환

체  K 위의 두 리 대수  {\mathfrak {g}},  {\mathfrak {h}}의 직합  {\mathfrak {g}}\oplus {\mathfrak {h}}의 보편 포락 대수는 각 성분의 보편 포락 대수들의 (결합 대수로서의) 텐서곱이다.:63, Corollary 1.2.4
성질 > 푸앵카레-버코프-비트 정리

푸앵카레-버코프-비트 정리(-定理, 영어: Poincaré–Birkhoff–Witt theorem)에 따라, 리 대수에서 그 보편 포락 대수로 가는 선형 변환은 단사 함수이다.
또한,  U({\mathfrak {g}})는 항상  {\mathfrak {g}}로부터 생성된다.
구체적으로, 임의의 가환환  K 위의 리 대수  {\mathfrak {g}}가 주어졌다고 하고,  {\mathfrak {g}}가  K-자유 가군이라고 하자.  {\mathfrak {g}}의 (하멜) 기저  B\subseteq {\mathfrak {g}}를 고르자. 또한,  B 위에 임의의 전순서를 부여하자.
그렇다면,  U({\mathfrak {g}}) 역시  K-자유 가군이며, 집합
은  U({\mathfrak {g}})의 (하멜) 기저를 이룬다. 여기서  \mathbb {N} =\{0,1,2,\dotsc \}은 자연수의 집합이며, 특히  n=0일 경우 0개 항의 곱은 1이다.
성질 > 하리시찬드라 동형 정리

복소수체 위의 가약 리 대수(영어: reductive Lie algebra)  {\mathfrak {g}}의 보편 포락 대수  \operatorname {U} ({\mathfrak {g}})의 중심  \operatorname {Z} (\operatorname {U} ({\mathfrak {g}}))을 생각하자. 이 경우, 바일 군  \operatorname {Weyl} ({\mathfrak {g}})을 정의할 수 있다. 또한,  {\mathfrak {g}}의 카르탕 부분 대수  {\mathfrak {h}}를 고른다면,  \operatorname {Weyl} ({\mathfrak {g}})는  {\mathfrak {h}} 위에 자연스럽게 작용하며, 나아가  {\mathfrak {h}} 위의 다항식환 (대칭 대수)  \operatorname {Sym} {\mathfrak {h}} 위에도 자연스럽게 작용한다.
하리시찬드라 동형 정리(हरीश चन्द्र同型定理, 영어: Harish-Chandra isomorphism theorem)에 따르면, 다음과 같은 표준적인 결합 대수 동형이 존재한다.
여기서  (\operatorname {Sym} {\mathfrak {h}})^{\operatorname {Weyl} ({\mathfrak {g}})}는 바일 군의 작용에 불변인 원소들로 구성된 불변 부분 대수를 뜻한다.
성질 > 카시미르 불변량

n차원 복소수 단순 리 대수  {\mathfrak {g}}가 주어졌다고 하자. 그렇다면, 킬링 형식
이 존재한다. 그렇다면, 임의의  B-정규 직교 기저
가 주어졌을 때,  {\mathfrak {g}}의 카시미르 불변량(Casimir不變量, 영어: Casimir invariant)은 다음과 같은 보편 포락 대수  \operatorname {U} ({\mathfrak {g}})의 원소이다.
보다 일반적으로, 체  K 위의 유한 차원 리 대수  {\mathfrak {g}} 위의 대칭 쌍선형 형식
가 딸림표현 아래 불변이라고 하자. 즉, 다음 항등식이 성립한다고 하자.
그렇다면, 마찬가지로 카시미르 불변량  C(B)\in U({\mathfrak {g}})를 정의할 수 있다.
카시미르 불변량은 항상 보편 포락 대수의 중심에 속한다.  K=\mathbb {R} 일 경우, 단일 연결 리 군  G의 리 대수  \operatorname {Lie} (G) 위의 불변 대칭 쌍선형 형식  B는  G 위의 리만 계량을 정의하며, 이에 대한 카시미르 불변량은  G 위의 라플라스-벨트라미 연산자  \Delta _{B}와 같다.
역사

1880년대에 알프레도 카펠리(이탈리아어: Alfredo Capelli)가 리 대수  {\mathfrak {gl}}(n;K)에 대한 푸앵카레-버코프-비트 정리를 증명하였다. 그러나 그의 업적은 오랫동안 알려지지 않았다. 1900년에 앙리 푸앵카레가 푸앵카레-버코프-비트 정리를 임의의 리 대수에 대하여 증명하였다. 그러나 푸앵카레의 논문 역시 한동안 잘 알려지지 못했다.
이후 1937년에 개릿 버코프와 에른스트 비트가 독자적으로 푸앵카레-버코프-비트 정리를 재발견하였다. (버코프와 비트 둘 다 카펠리 및 푸앵카레의 업적을 인용하지 않았다.) 이후 이 정리는 “버코프-비트 정리”로 불리다가, 1960년에 니콜라 부르바키가 이를 “푸앵카레-버코프-비트 정리”(프랑스어: théorème de Poincaré–Birkhoff–Witt)로 일컫기 시작하였다.
하리시찬드라 동형 정리는 하리시찬드라가 증명하였다.
2019년 파키스탄 열차 화재

| 2019년 파키스탄 열차 화재> 요약 |
| --- | --- |
날짜: 2019년 10월 31일
시간: 6시 30분 (PST)
위치: 펀자브주 라힘야르칸 리아쿠아트푸르 역 부근
국가: 파키스탄
철도 노선: 카라치-페샤와르 선
운영자: 파키스탄 철도
사고 종류: 화재
통계
파손된 열차 수: 1편성
승객: 933명
사망자: 75명
부상자: 43명
2019년 10월 31일 파키스탄 카라치에서 라왈핀디로 달리던 열차에서 화재가 발생하였다. 원인은 승객이 기차에서 요리하기 위해 휴대용 버너를 불법 사용으로 인한 화재로 추측하고 있다. 적어도 75명이 사망하였으며, 이 사고는 2005년에 발생한 고트키 열차 충돌 사고 다음으로 파키스탄에서 발생한 철도 사고 중 가장 사상자가 많다.
골디락스 경제

골디락스(Goldilocks)는 뜨겁지도 차갑지도 않은 적당한 무언가를 일컫는 용어이다. 영국 전래동화 《골디락스와 곰 세 마리(Goldilocks and the Three Bears)에 등장하는 소녀의 이름 골디락스(Goldilocks)에서 유래한 것으로, 소녀는 곰이 끓인 세가지 스프 중 뜨거운 것과 차가운 것, 그리고 적당한 것 중에서 적당한 것을 먹고 기뻐한 것에서 따온 말이다. 대표적인 예시로 경제학에서 뜨겁지도, 차갑지도 않은 호황을 일컫는 골디락스 경제가 있다.
골디락스 경제

골디락스 경제(Goldilocks economy)는 경제가 높은 성장을 이루고 있더라도 물가상승이 없는 이상적인 상황을 지칭하는 경제용어이다.
골디락스란 용어가 경제분야에서 자주 사용된 것은 1990년대 후반이다. 당시 미국경제는 수년간 4%이상의 고성장을 달성하면서도 낮은 실업률과 인플레이션 상태를 유지하는 이례적인 호경기를 누렸다. 많은 전문가들은 1990년대 후반 미국 경제상황을 가리켜 골디락스 혹은 골디락스 경제라고 표현하고 있다. 당시 미국경제는 정보기술(IT)등으로 대변되는 신기술의 발달로 생산성이 향상되어 물가상승을 동반하지도 않고도 높은 경제성장을 달성할 수 있었다. 한편 영국의 '파이낸셜타임스'지는 2004년 중국경제가 9.5%의 고도성장을 이루면서 물가상승이 거의 없었다며, 중국경제가 골디락스에 진입하였다고 기사화하기도 하였다.
골디락스 가격

골디락스라는 용어는 판매전략에도 응용되고 있는데 골디락스 가격(Goldilocks Pricing)이란 판촉기법의 하나로 가격이 아주 비싼 상품과 싼 상품, 중간가격의 상품을 함께 진열하여 소비자가 중간가격 상품을 선택하도록 유도하는 전략을 말한다. 극단적인 선택보다는 평균값에 가까운 것을 선택하는 경향을 이용한 판매기법으로, 예를 들면 레스토랑에서 주요 판매대상 와인은 병당 3만원 내외의 와인이지만 1만원 이하 저가와인과 10만원 이상의 고가와인을 같이 판매하는데, 이는 고가와인을 판매할 의도보다는 중간가격 와인을 많이 팔리게 하려는 전략이다.
액티브 매트릭스

액티브 매트릭스(active matrix)는 평판 디스플레이에서 사용되는 어드레싱 스키마의 한 형태이다. RCA의 버나드 J. 레치너에 의해 발명되었다.
액티브 매트릭스 어드레싱은 구동을 위한 저장공간과 signal 별로 프로그래밍이 가능한 트랜지스터를 픽셀마다 가지고 있다. 고해상도의 디스플레이에 적합하며, 고대비율을 가지고 있다. 다만 단점으로는 매 픽셀마다 능동회로소자를 박아야 하므로 가격이 올라간다는 점이 있다. ( cf. Temporal Contrast Sensitivity Function )
캐패시터는 기전력을 저장하는 역할을 담당한다.  1/scanline 에 해당 하는 시간동안은 signal에 해당하는 프로그래밍이 되며 나머지 시간에는 이 캐패시터로 인해 그 전압이 유지되어 계속 빛이 난다.
같이 보기

액티브 매트릭스 액정 디스플레이
대한민국 형법 제301조

대한민국 형법 제301조는 강간 등 상해·치상에 대한 형법각칙의 조문이다.
조문

第301條(強姦 등 傷害·致傷) 第297條 내지 第300條의 罪를 犯한 者가 사람을 傷害하거나 傷害에 이르게 한 때에는 無期 또는 5年 이상의 懲役에 處한다.
제301조(강간 등 상해·치상) 제297조, 제297조의2 및 제298조부터 제300조까지의 죄를 범한 자가 사람을 상해하거나 상해에 이르게 한 때에는 무기 또는 5년 이상의 징역에 처한다.
참고 조문

특정강력범죄의 처벌에 관한 특례법 제2조(적용 범위) (1) 이 법에서 "특정강력범죄"란 다음 각 호의 어느 하나에 해당하는 죄를 말한다.
3. 「형법」 제2편제32장 강간과 추행의 죄 중 제301조(강간등 상해·치상), 제301조의2(강간등 살인·치사)의 죄 및 흉기나 그 밖의 위험한 물건을 휴대하거나 2명 이상이 합동하여 범한 제297조(강간), 제298조(강제추행), 제299조(준강간·준강제추행), 제300조(미수범) 및 제305조(미성년자에 대한 간음, 추행)의 죄
판례 > 강간치상죄 또는 강간상해죄에 의한 상해

피해자가 성경험을 가진 여자로서 특이체질로 인해 새로 형성된 처녀막이 파열된 경우
강간으로 인하여 피해자로 하여금 보행불능, 수면장애, 식욕감퇴 등 기능의 장해를 일으키게 한 경우
강간 과정에서 피해자의 얼굴과 머리를 때려 피해자가 코피를 흘리고 콧등이 부은 경우
판례 > 강간치상죄 또는 강간상해죄에 의한 상해가 아닌 것

강간 행위 과정에서 피해자에게 발생한 동전 크기의 상처
같이 보기

성폭행
상해
강간치상죄
강간상해죄
특정강력범죄의 처벌에 관한 특례법
1999년 FIFA 여자 월드컵 선수 명단

이 문서에서는 1999년 FIFA 여자 월드컵에 참여한 선수 명단을 정리한다.
A조 > 덴마크

| v t e덴마크 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 라르센  2 H. 크리스텐센  3 K. 크리스텐센  4 테르프 (주장)  5 M. 크리스텐센  6 악셀센  7 L. 한센  8 라스무센  9 페테르센  10 크로그  11 M. 페데르센  12 L. 옌센  13 크누센  14 K. 페데르센  15 M. 한센  16 C. 옌센  17 뇌레고르  18 쇠네르고르  19 요한센  20 A. 크리스텐센  감독: 흐비데모세  |  1 라르센  2 H. 크리스텐센  3 K. 크리스텐센  4 테르프 (주장)  5 M. 크리스텐센  6 악셀센  7 L. 한센  8 라스무센  9 페테르센  10 크로그  11 M. 페데르센  12 L. 옌센  13 크누센  14 K. 페데르센  15 M. 한센  16 C. 옌센  17 뇌레고르  18 쇠네르고르  19 요한센  20 A. 크리스텐센  감독: 흐비데모세  |  |
A조 > 나이지리아

| v t e나이지리아 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 A. 치에지네  2 쿠다이시  3 타르헴바  4 은와네리  5 오파라  6 아자이  7 음바추  8 은와디케  9 우시에타  10 오군  11 에메아푸  12 치메  13 오코시에메  14 오마그베미 (주장)  15 음마두  16 이웨타  17 에그베  18 아브레  19 아키데  20 I. 치에지네  감독: 이스마일라  |  1 A. 치에지네  2 쿠다이시  3 타르헴바  4 은와네리  5 오파라  6 아자이  7 음바추  8 은와디케  9 우시에타  10 오군  11 에메아푸  12 치메  13 오코시에메  14 오마그베미 (주장)  15 음마두  16 이웨타  17 에그베  18 아브레  19 아키데  20 I. 치에지네  감독: 이스마일라  |  |
A조 > 조선민주주의인민공화국

| v t e조선민주주의인민공화국 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 리정희  2 윤인실  3 조성옥  4 김순희  5 김순혜  6 설영숙  7 리향옥  8 김성려  9 리경애  10 김금실 (주장)  11 조정란  12 김혜란  13 리애경  14 박정애  15 진별희  16 리금숙  17 양경희  18 계영순  19 장옥경  20 김은옥  감독: 명동찬  |  1 리정희  2 윤인실  3 조성옥  4 김순희  5 김순혜  6 설영숙  7 리향옥  8 김성려  9 리경애  10 김금실 (주장)  11 조정란  12 김혜란  13 리애경  14 박정애  15 진별희  16 리금숙  17 양경희  18 계영순  19 장옥경  20 김은옥  감독: 명동찬  |  |
A조 > 미국

| v t e미국 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 우승 (2회) |
| --- | --- | --- |
|  1 스커리  2 페어  3 피어스  4 오버벡 (주장)  5 로버츠  6 채스테인  7 웨일런  8 맥밀런  9 햄  10 에이커스  11 파우디  12 팔로  13 릴리  14 포셋  15 벤튜리니  16 밀브렛  17 포토풀로스  18 웨버  19 듀카  20 소브레로  감독: 디시코  |  1 스커리  2 페어  3 피어스  4 오버벡 (주장)  5 로버츠  6 채스테인  7 웨일런  8 맥밀런  9 햄  10 에이커스  11 파우디  12 팔로  13 릴리  14 포셋  15 벤튜리니  16 밀브렛  17 포토풀로스  18 웨버  19 듀카  20 소브레로  감독: 디시코  |  |
B조 > 브라질

| v t e브라질 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 3위 |
| --- | --- | --- |
|  1 마라빌랴  2 네네  3 일라니 (주장)  4 타니아  5 시지냐  6 줄리아나  7 마이콩  8 포르미가  9 카치아  10 시시  11 수자나  12 안드레이아  13 판타  14 그라지엘리  15 하케우  16 마리자  17 프레치냐  18 프리실라  19 발레리아  20 데바  감독: 지 올리베이라 히카  |  1 마라빌랴  2 네네  3 일라니 (주장)  4 타니아  5 시지냐  6 줄리아나  7 마이콩  8 포르미가  9 카치아  10 시시  11 수자나  12 안드레이아  13 판타  14 그라지엘리  15 하케우  16 마리자  17 프레치냐  18 프리실라  19 발레리아  20 데바  감독: 지 올리베이라 히카  |  |
B조 > 독일

| v t e독일 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 로텐베르크  2 슈테게만  3 힝스트  4 존스  5 피첸 (주장)  6 호프만  7 포스  8 슈미제크  9 프린츠  10 비크만  11 마이네르트  12 뮐러  13 미네르트  14 T. 분더리히  15 앙거러  16 링고어  17 P. 분더리히  18 그링스  19 브란데부제마이어  20 마이어  감독: 토이네마이어  |  1 로텐베르크  2 슈테게만  3 힝스트  4 존스  5 피첸 (주장)  6 호프만  7 포스  8 슈미제크  9 프린츠  10 비크만  11 마이네르트  12 뮐러  13 미네르트  14 T. 분더리히  15 앙거러  16 링고어  17 P. 분더리히  18 그링스  19 브란데부제마이어  20 마이어  감독: 토이네마이어  |  |
B조 > 이탈리아

| v t e이탈리아 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 브렌찬  2 데 이아나  3 찬니  4 마르키오  5 타발라치  6 미니아티  7 구아리노  8 테세  9 파니코  10 카르타 (주장)  11 스베르티  12 코민  13 두오  14 다스톨포  15 프롤라니  16 초리  17 탈리아카르네  18 피오리니  19 팔로티  20 스테파넬리  감독: 파킨  |  1 브렌찬  2 데 이아나  3 찬니  4 마르키오  5 타발라치  6 미니아티  7 구아리노  8 테세  9 파니코  10 카르타 (주장)  11 스베르티  12 코민  13 두오  14 다스톨포  15 프롤라니  16 초리  17 탈리아카르네  18 피오리니  19 팔로티  20 스테파넬리  감독: 파킨  |  |
B조 > 멕시코

| v t e멕시코 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 키노네스  2 S. 모라  3 무어  4 오세게라 (주장)  5 페레스  6 레이바  7 베르가라  8 로데바우그  9 나녜스  10 도밍게스  11 헤라르도  12 발데스  13 곤살레스  14 I. 모라  15 힐  16 핀손  17 미크너  18 루발카바  19 알마라스  20 이레타  감독: 쿠에야르  |  1 키노네스  2 S. 모라  3 무어  4 오세게라 (주장)  5 페레스  6 레이바  7 베르가라  8 로데바우그  9 나녜스  10 도밍게스  11 헤라르도  12 발데스  13 곤살레스  14 I. 모라  15 힐  16 핀손  17 미크너  18 루발카바  19 알마라스  20 이레타  감독: 쿠에야르  |  |
C조 > 캐나다

| v t e캐나다 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 라이트  2 스미스  3 노넨  4 프랭크  5 닐  6 도널리  7 모르노  8 머글리오  9 헬런드  10 후퍼  11 로즈나우  12 하비  13 월시  14 졸리  15 뮤어  16 하스  17 버티니 (주장)  18 보위  19 하즈  20 르블랑  감독: 턴불  |  1 라이트  2 스미스  3 노넨  4 프랭크  5 닐  6 도널리  7 모르노  8 머글리오  9 헬런드  10 후퍼  11 로즈나우  12 하비  13 월시  14 졸리  15 뮤어  16 하스  17 버티니 (주장)  18 보위  19 하즈  20 르블랑  감독: 턴불  |  |
C조 > 일본

| v t e일본 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 오노데라  2 야마키  3 나가도메  4 나카치  5 사카이  6 니시나  7 도메이  8 하라  9 우치야마  10 사와  11 오타케  12 이소자키  13 야나기타  14 미쓰이  15 이사카  16 고바야시  17 오마쓰  18 야마고  19 안도  20 니시가이  감독: 미야우치  |  1 오노데라  2 야마키  3 나가도메  4 나카치  5 사카이  6 니시나  7 도메이  8 하라  9 우치야마  10 사와  11 오타케  12 이소자키  13 야나기타  14 미쓰이  15 이사카  16 고바야시  17 오마쓰  18 야마고  19 안도  20 니시가이  감독: 미야우치  |  |
C조 > 노르웨이

| v t e노르웨이 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 4위 |
| --- | --- | --- |
|  1 노르뷔  2 산다우네  3 크링엔  4 예르겐센  5 비케르  6 리세  7 프루스퇼  8 크누센  9 오뢰네스  10 메달렌 (주장)  11 페테르센  12 요한네센  13 R. 굴브란센  14 뉘마르크 안데르센  15 멜그렌  16 S. 굴브란센  17 라프  18 퇸네센  19 외르멘  20 렌  감독: 회그모  |  1 노르뷔  2 산다우네  3 크링엔  4 예르겐센  5 비케르  6 리세  7 프루스퇼  8 크누센  9 오뢰네스  10 메달렌 (주장)  11 페테르센  12 요한네센  13 R. 굴브란센  14 뉘마르크 안데르센  15 멜그렌  16 S. 굴브란센  17 라프  18 퇸네센  19 외르멘  20 렌  감독: 회그모  |  |
C조 > 러시아

| v t e러시아 여자 축구 국가대표팀  –  1999년 FIFA 여자 월드컵 |
| --- | --- | --- |
|  1 페티코  2 유시케비치  3 부라코바  4 N. 카라쇼바  5 체베르다  6 코마로바  7 예고로바  8 그리고리예바 (주장)  9 스베틀리츠카야  10 바르바시나  11 레튜쇼바  12 볼코바  13 포미나  14 O. 카라쇼바  15 사비나  16 필리포바  17 리사초바  18 스코트니코바  19 자이체바  20 카피토노바  감독: 비스트리츠키  |  1 페티코  2 유시케비치  3 부라코바  4 N. 카라쇼바  5 체베르다  6 코마로바  7 예고로바  8 그리고리예바 (주장)  9 스베틀리츠카야  10 바르바시나  11 레튜쇼바  12 볼코바  13 포미나  14 O. 카라쇼바  15 사비나  16 필리포바  17 리사초바  18 스코트니코바  19 자이체바  20 카피토노바  감독: 비스트리츠키  |  |