blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
[[파일:Unmanned Vehicles – the increasing challenge of autonomy1..tiff|섬네일|다양한 무인차량]]
'''무인차량'''(uncrewed vehicle)은 사람이 탑승하지 않은 [[탈것]]을 말한다. 무인차량은 원격 제어 또는 원격 유도 차량인 원격 로봇 제어를 받거나 환경을 감지하고 스스로 탐색할 수 있는 자동 제어(자율 차량)일 수 있다.

== 종류 ==
다양한 종류의 무인차량이 존재한다:<ref>{{서적 인용|last1=Huang |first1=Hui-Min |title=Autonomy Levels for Unmanned Systems (ALFUS) Framework. Volume I: Terminology |date=September 2004 |publisher=National Institute of Standards and Technology |url=https://www.nist.gov/document-15099 |ref=NIST Special Publication 1011}}</ref>
* [[무선조종 자동차]]나 [[무선조종 항공기]]와 같은 원격제어차량
* [[무인 자동차]]나 무인 [[전투 차량]]과 같은 [[무인지상차량]]
* [[무인 항공기]]
** [[UCAV]]
** [[배달 드론]]
** [[타깃 드론]]
* [[무인 우주선]]

== 같이 보기 ==
* [[차량 자동화]]
* [[자동 열차 운전 장치]]
* [[로봇]]

== 각주 ==
{{각주}}

{{전거 통제}}

[[분류:무인차량]]
{{위키데이터 속성 추적}}
'''차량 자동화'''(Vehicular automation)에는 [[기전공학]], [[인공지능]] 및 [[다중 에이전트 시스템]]을 사용하여 자동차, 트럭, 항공기 또는 선박과 같은 [[탈것]]의 운전자를 지원하는 작업이 포함된다. 인간의 제어를 용이하게 하지만 대체하지 않기 위해 내비게이션과 같은 작업에 자동화를 사용하는 차량은 반자율 차량인 반면 완전 자율 차량은 자율 차량이라고 한다.

자동화 차량에는 [[무인 자동차|자율 주행 차량]], 무인 지상 차량, 자율 열차, 첨단 여객기 자동 조종 장치, 드론 항공기, 행성 탐사선, 유도 로켓 및 미사일이 포함될 수 있다.

유럽 연합 법률에서 자동화된 차량은 더욱 구체적으로 자동차(자동차, 트럭 또는 버스)를 의미한다. 이는 도로 교통 차량이다. 이러한 차량의 경우 운전자 및 차량을 운전하는 주체의 책임 차이로 인해 [[첨단 운전자 지원 시스템]]과 (더 진보된) 자율/자동 차량 간에 구체적인 차이가 법적으로 정의된다.

자율주행차 구현에 관련된 기술은 차량 변경부터 주행 환경 지원 제공까지 다양하다.

자동화된 차량은 운전의 복잡성, 지리적/문화적 차이, 도로 상황을 고려할 때 특히 육상 운송 및 도로 교통에서 안전 문제를 제기한다. 자율주행차를 강력하고 확장 가능하게 만들기 위해서는 다양한 기술적 과제를 극복해야 한다.

차량 자동화 주제는 차량 수와 운전자 수로 인해 도로 교통에 주목할 만하지만 다른 도로 사용자와 도로를 공유해야 하기 때문에 교통 충돌이 발생할 수 있는 환경에서 특별한 우려 사항을 제시한다.

자율성은 차량이 모든 지각, 모니터링 및 제어 기능을 담당한다는 것을 의미한다. 자동화된 시스템은 모든 조건에서 작동할 수 없으며 나머지는 인간 운영자에게 맡겨진다. 더욱 미묘한 점은 차량이 모든 상황에서 작동을 시도할 수 있지만 예상치 못한 상황이 발생하거나 차량이 오작동할 때 차량이 인간에게 통제권을 요구할 수 있다는 것이다.

== 같이 보기 ==
* [[무인 자동차]]
* [[대시캠]]
* [[지능형 교통 체계]]

== 외부 링크 ==
* [http://ec.europa.eu/information_society/activities/intelligentcar/index_en.htm European Commission Intelligent Car website]
* [http://www.its.dot.gov/automated_vehicle/index.htm U.S. Department of Transportation - Intelligent Transportation Systems Joint Program Office website]
* {{웹 인용|last=Sheth |first=Aadit |title=Indian AI And Robotics Startup Claims Level 5 Autonomy |url=https://www.neatprompts.com/p/indian-ai-and-robotics-startup-claims-level-5-autonomy |date=January 3, 2024|access-date=2024-01-27 |website=Prompt Engineering Daily |language=en}}
{{전거 통제}}
[[분류:무인차량]]
[[분류:과학기술 윤리]]
{{위키데이터 속성 추적}}
[[수학]]에서 [[중복집합]]의 한 개체의 '''중복도'''(multiplicity)는 중복집합에 나타나는 횟수이다. 예를 들어, 주어진 [[다항식]]이 주어진 점에서 [[근 (수학)]]을 갖는 횟수는 해당 근의 중복도이다.

중복도의 개념은 예외를 지정하지 않고 올바르게 계산할 수 있는 데 중요하다(예: 이중 근이 두 번 계산됨). 따라서 "중복도로 계산된다"라는 표현이 사용되었다.

중복도가 무시되면 "개별 루트의 수"에서와 같이 개별 요소의 수를 세어 강조할 수 있다. 그러나 [[집합]](중복집합과 반대)이 형성될 때마다 "고유"라는 용어를 사용할 필요 없이 중복도는 자동으로 무시된다.

== 참고 문헌 ==
*Krantz, S. G. ''Handbook of Complex Variables''. Boston, MA: Birkhäuser, 1999. {{isbn|0-8176-4011-8}}.

{{토막글}}

[[분류:집합론]]
[[분류:해석학 (수학)]]
{{위키데이터 속성 추적}}
[[컴퓨터 과학]]에서 '''생성 및 테스트'''라고도 알려진 '''무차별 대입 검색'''(brute-force search) 또는 '''완전 검색'''(exhaustive search)은 각 후보가 문제의 설명을 만족하는지 여부에 대해 가능한 모든 후보를 체계적으로 확인하는 것으로 구성된 매우 일반적인 문제 해결 기술 및 알고리즘 패러다임이다.

[[자연수]] n의 [[약수|제수]]를 찾는 무차별 대입 알고리즘은 1부터 n까지의 모든 정수를 열거하고 각각이 n을 나머지 없이 나누는지 확인한다. [[여덟 퀸 문제]]에 대한 무차별 접근 방식은 64제곱 체스판에서 8개 조각의 가능한 모든 배열을 검사하고 각 배열에 대해 각(퀸) 조각이 다른 조각을 공격할 수 있는지 확인한다.<ref>{{웹 인용|date=2020-01-06|title=Brute Force Algorithms Explained|url=https://www.freecodecamp.org/news/brute-force-algorithms-explained/|access-date=2021-04-11|website=freeCodeCamp.org|language=en}}</ref>

무차별 대입 검색은 [[소프트웨어|구현]]하기 간단하고 솔루션이 존재하는 경우 항상 솔루션을 찾는 반면, 구현 비용은 후보 솔루션의 수에 비례한다. 많은 실제 문제에서 문제의 규모가 커짐에 따라 매우 빠르게 증가하는 경향이 있다.<ref>{{웹 인용|title=Complexity of brute force search |url=https://www.coursera.org/learn/ml-clustering-and-retrieval/lecture/5R6q3/complexity-of-brute-force-search |website=coursera |access-date=14 June 2018}}</ref> 따라서 무차별 대입 검색은 일반적으로 문제 크기가 제한되어 있거나 후보 솔루션 세트를 관리 가능한 크기로 줄이는 데 사용할 수 있는 문제별 휴리스틱이 있는 경우에 사용된다. 이 방법은 처리 속도보다 구현의 단순성이 더 중요한 경우에도 사용된다.

예를 들어, [[알고리즘]]의 오차가 매우 심각한 결과를 초래할 수 있는 중요한 응용 프로그램이나 컴퓨터를 사용하여 수학적 정리를 증명하는 경우가 이에 해당한다. 무차별 검색은 다른 알고리즘이나 메타 휴리스틱을 벤치마킹할 때 기본 방법으로도 유용하다. 실제로 무차별 대입 검색은 가장 간단한 [[메타휴리스틱]]으로 볼 수 있다. 무차별 대입 검색은 [[퇴각검색]]과는 구별된다. 여기서는 명시적으로 열거되지 않고 대규모 솔루션 세트를 삭제할 수 있다(위의 여덟 퀸 문제에 대한 교과서 컴퓨터 솔루션에서와 같이). 테이블에서 항목을 찾는 무차별 대입 방법, 즉 후자의 모든 항목을 순차적으로 확인하는 방법을 [[순차 검색 알고리즘|선형 검색]]이라고 한다.

== 같이 보기 ==
* [[무차별 대입 공격]]
* [[점근 표기법]]
* [[반복문]]

== 각주 ==
{{각주}}

[[분류:검색 알고리즘]]
{{위키데이터 속성 추적}}
{{심리학 사이드바}}
'''인지신경과학'''(Cognitive neuroscience)은 [[인식]]의 기초가 되는 [[생물학]]적 과정과 측면을 연구하는 과학 분야로, 특히 정신적 과정에 관여하는 뇌의 신경 연결에 중점을 두고 있다.<ref>Gazzaniga, Ivry and Mangun 2002, cf. title</ref> [[인식]] 활동이 뇌의 신경 회로에 의해 어떻게 영향을 받거나 제어되는지에 대한 질문을 다룬다. 인지 신경과학은 신경과학과 심리학의 한 분야로, 행동 신경과학, 인지 심리학, 생리 심리학, 정서 신경과학 등의 학문 분야와 중첩된다. 인지 신경과학은 신경생물학 및 [[계산신경과학|계산모델링]]의 증거와 결합된 인지 과학 이론에 의존한다.

뇌의 일부는 이 분야에서 중요한 역할을 한다. [[신경 세포|뉴런]]은 가장 중요한 역할을 한다. 주요 요점은 [[대뇌 피질]]의 다양한 엽과 함께 신경 관점에서 인지에 대한 이해를 확립하는 것이기 때문이다.

인지 신경과학에 사용되는 방법에는 정신물리학, 인지 심리학, 기능적 신경영상, 전기생리학, 인지 유전체학, 행동 유전학의 실험 절차가 포함된다.

뇌 병변으로 인한 인지 장애가 있는 환자에 대한 연구는 인지 신경과학의 중요한 측면을 구성한다. 손상된 뇌의 손상은 건강하고 완벽하게 기능하는 뇌와 관련하여 비슷한 출발점을 제공한다. 이러한 손상은 뇌의 신경 회로를 변화시키고 기억이나 학습과 같은 기본적인 인지 과정에서 기능 장애를 유발한다. 사람들은 학습 장애와 그러한 손상을 가지고 있으며 건강한 신경 회로가 어떻게 기능하는지 비교할 수 있으며 영향을 받는 인지 과정의 기초에 대한 결론을 도출할 수도 있다. 뇌의 학습 장애의 예로는 베르니케 영역, 측두엽 왼쪽, 전두엽에 가까운 브로카 영역 등이 있다.

또한 발달인지신경과학의 하위분야에서는 뇌발달에 기초한 인지능력을 연구, 조사한다. 이는 시간이 지남에 따라 두뇌 발달을 보여주고, 차이점을 분석하고 그러한 차이점에 대한 가능한 이유를 만들어낸다.

이론적 접근법에는 [[계산신경과학]]과 [[인지심리학]]이 포함된다.

== 같이 보기 ==
* [[인지심리학]]
* [[체화된 인지]]
* [[실험 심리학]]
* [[생리심리학]]
* [[신경화학]]
* [[신경행동학]]
* [[신경과학]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* [http://cogneurosociety.org/ Cognitive Neuroscience Society Homepage]

{{심리학}}
{{신경과학}}
{{진화 심리학}}
{{전거 통제}}

[[분류:인지신경과학| ]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 집
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = [[1986년]] [[4월 27일]]
| 방송 횟수 = 111회
| 방송 국가 = {{KOR}}
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 김양득
| 조연출 = 
| 원작 = [[박훈정]]
| 극본 = 지상학
| 비고 = 
}}
《'''집'''》은 1986년 4월 27일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 줄거리 ==

== 출연 ==
* [[박은수 (배우)|박은수]]
* [[송옥숙]]
* [[정욱 (1938년)|정욱]]
* [[김인문]]
* [[김연자]]
* [[남영진]]
* [[김성찬 (배우)|김성찬]]
* [[유판웅]]
* [[최선균]]
* [[김지영 (1938년)|김지영]]
* [[서권순]]
* [[강미]]
* [[한규희]]
* 이운우
* [[이창환 (배우)|이창환]]
* [[김혜정 (1961년)|김혜정]]
* [[맹상훈]]
* [[송영웅]]
* [[문용민 (배우)|문용민]]

== 각주 ==
{{각주}}

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = '''110회 : '''[[지지배배]]<br>(1986.04.20)
|작품명 = '''111회 : '''집<br>(1986.04.27)
|다음 작품 = '''112회 : '''[[아들 (드라마)|아들]]<br />(1986.05.04)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
'''안정성 이론'''(Stability theory)은 [[수학]]에서 초기 조건의 작은 섭동 하에서 [[미분방정식]]의 해와 [[동역학계]]의 궤적의 안정성을 다룬다. 예를 들어, [[열 방정식]]은 초기 데이터의 작은 변동이 최대 원리의 결과로 나중에 온도의 작은 변화로 이어지기 때문에 안정적인 편미분 방정식이다. 편미분 방정식에서는 [[르베그 공간|Lp 노름]]이나 초노름(sup norm)을 사용하여 함수 사이의 거리를 측정할 수 있는 반면, 미분기하학에서는 [[그로모프-하우스도르프 거리]]를 사용하여 공간 사이의 거리를 측정할 수 있다.

동역학계에서 어떤 지점의 전방 궤도가 충분히 작은 이웃에 있거나 작은(그러나 아마도 더 큰) 이웃에 머무르는 경우 궤도를 [[랴푸노프 안정성]]이라고 한다. 궤도의 안정성이나 불안정성을 입증하기 위해 다양한 기준이 개발되었다. 유리한 상황에서 문제는 행렬의 고유값과 관련된 잘 연구된 문제로 축소될 수 있다. 보다 일반적인 방법에는 랴푸노프 함수가 포함된다. 실제로는 다양한 안정성 기준 중 하나가 적용된다.

== 같이 보기 ==
* [[혼돈 이론]]
* [[랴푸노프 안정성]]

== 외부 링크 ==
* [http://demonstrations.wolfram.com/StableEquilibria/ Stable Equilibria] by Michael Schreiber, [[The Wolfram Demonstrations Project]].

{{혼돈 이론}}
{{전거 통제}}

[[분류:안정성 이론]]
[[분류:극한 집합]]
[[분류:수리적 방법과 정량적 방법 (경제학)]]
{{위키데이터 속성 추적}}
'''디자인 매트릭스'''(design matrix), '''계획행렬''', '''설계행렬'''은 일련의 개체에 대한 설명 변수 값의 [[행렬]]이다. 각 행은 개별 개체를 나타내며, 연속 열은 해당 개체에 대한 변수 및 특정 값에 해당한다. 디자인 매트릭스는 일반 선형 모델과 같은 특정 [[통계 모델]]에 사용된다.<ref>{{서적 인용|last=Everitt |first=B. S. |year=2002 |title=Cambridge Dictionary of Statistics |edition=2nd |location=Cambridge, UK |publisher=Cambridge University Press |isbn=0-521-81099-X }}</ref><ref>{{서적 인용|last1=Box |first1=G. E. P. |author-link=George E. P. Box|author2-link=George Tiao |last2=Tiao |first2=G. C. |year=1992 |orig-year=1973 |title=Bayesian Inference in Statistical Analysis |location=New York |publisher=John Wiley and Sons |isbn=0-471-57428-7 }} (Section 8.1.1)</ref><ref>{{서적 인용|last=Timm |first=Neil H. |title=Applied Multivariate Analysis |publisher=Springer Science & Business Media |year=2007 |page=107 |isbn=9780387227719 |url=https://books.google.com/books?id=vtiyg6fnnskC&pg=PA107 }}</ref> 분산 분석에서 그룹 구성원을 나타내는 표시 변수(1과 0)를 포함하거나 연속 변수 값을 포함할 수 있다.

디자인 매트릭스에는 반응 변수(종종 종속 변수라고도 함)에 대한 관측 데이터를 설명하기 위한 통계 모델의 독립 변수(설명 변수라고도 함)에 대한 데이터가 포함되어 있다. 이러한 모델과 관련된 이론은 일부 선형 대수학에 대한 입력으로 디자인 매트릭스를 사용한다. 디자인 매트릭스 개념의 주목할만한 특징은 [[분산 분석|ANOVA]], [[공변량 분석|ANCOVA]] 및 선형 회귀와 같은 다양한 실험 설계 및 통계 모델을 나타낼 수 있다는 것이다.

== 같이 보기 ==
* [[야코비 행렬]]
* [[그람 행렬]]
* [[방데르몽드 행렬]]

== 각주 ==
{{각주}}

== 참고 문헌 ==
*{{서적 인용|first=Albert |last=Verbeek |chapter=The Geometry of Model Selection in Regression |title=Misspecification Analysis |editor-first=Theo K. |editor-last=Dijkstra |location=New York |publisher=Springer |year=1984 |pages=20–36 |isbn=0-387-13893-5 }}

{{행렬의 종류}}

[[분류:행렬]]
[[분류:회귀분석]]
[[분류:실험 설계]]
[[분류:다변량 통계]]
[[분류:자료]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 아들
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = [[1986년]] [[5월 4일]]
| 방송 횟수 = 112회
| 방송 국가 = {{KOR}}
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 김한영
| 조연출 = 
| 원작 = [[윤정모]]
| 극본 = 김정수
| 비고 = 
}}
《'''아들'''》은 1986년 5월 4일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 줄거리 ==

== 출연 ==
* [[박인환 (배우)|박인환]]
* [[안용남]]
* [[한애경]]
* [[신충식]]
* [[이영후]]
* [[이수나]]
* [[박상조]]
* [[송기윤]]
* [[윤석오]]
* 최상규
* [[노정아]]
* [[변은영]]

== 각주 ==
{{각주}}

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = '''111회 : '''[[집 (1986년 드라마)|집]]<br>(1986.04.27)
|작품명 = '''112회 : '''아들<br>(1986.05.04)
|다음 작품 = '''113회 : '''[[다시 나는 새]]<br />(1986.05.11)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
'''비단조 논리'''(Non-monotonic logic)는 [[논리적 귀결|결론]] 관계가 단조롭지 않은 [[논리학|형식적 논리]]이다. 즉, 비단조 논리는 파기 가능한 추론, 즉 추론자가 잠정적인 결론을 도출하여 추론자가 추가 증거를 기반으로 결론을 철회할 수 있도록 하는 일종의 추론을 포착하고 표현하기 위해 고안되었다.<ref>{{웹 인용|last1=Strasser|first1=Christian|last2=Antonelli|first2=G. Aldo|title=Non-Monotonic Logic|url=http://plato.stanford.edu/entries/logic-nonmonotonic/|website=plato.stanford.edu/index.html|publisher=Stanford Encyclopedia of Philosophy|access-date=19 March 2015}}</ref> 대부분의 연구된 형식 논리는 단조로운 수반 관계를 가지고 있다. 즉, 가설에 공식을 추가해도 일련의 결론이 결코 정리되지 않는다는 의미이다. 직관적으로 단조성은 새로운 지식을 학습해도 알려진 지식의 집합을 줄일 수 없음을 나타낸다. 단조 논리(Monotonic logic)는 기본 추론(반대의 증거가 부족하기 때문에 결론이 도출될 수 있음), 귀추적 추론(결론은 가장 그럴듯한 설명으로만 추론됨), 지식 추론에 대한 몇 가지 중요한 접근 방식과 같은 다양한 추론 작업을 처리할 수 없다.

== 같이 보기 ==
* [[논리형 프로그래밍]]
* [[부정 허위 가정]](Negation as failure)

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{cite SEP |url-id=logic-nonmonotonic |title=Non-monotonic logic |last=Antonelli |first=G. Aldo}}
* {{PhilPapers|category|nonmonotonic-logic}}
* {{InPho|idea|1208}}
[[분류:신념 수정]]
[[분류:논리학]]
[[분류:비고전 논리]]
[[분류:이성]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 다시 나는 새
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = [[1986년]] [[5월 11일]]
| 방송 횟수 = 113회
| 방송 국가 = {{KOR}}
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 김문옥
| 조연출 = 
| 원작 = 김호운
| 극본 = 권재우
| 비고 = 
}}
《'''다시 나는 새'''》는 1986년 5월 11일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 줄거리 ==

== 출연 ==
* 김광배
* [[이상숙]]
* [[임현식]]
* [[국정환]]
* [[윤순홍]]
* [[한영숙 (성우)|한영숙]]
* [[심양홍]]
* [[노경주]]
* [[김순경]]
* [[이수나]]
* [[홍순창]]
* [[문시경]]
* [[박경순]]
* [[강미]]
* [[나성균]]
* [[홍민우]]

== 각주 ==
{{각주}}

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = '''112회 : '''[[아들 (드라마)|아들]]<br>(1986.05.04)
|작품명 = '''113회 : '''다시 나는 새<br>(1986.05.11)
|다음 작품 = '''114회 : '''[[늦은 귀로]]<br />(1986.05.18)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
{{multiple image
| direction = vertical
| width = 256
| footer =
| image1 = 512x512-No-Noise.jpg
| alt1 = 잡음 없음
| caption1 = 잡음 없음
| image2 = 512x512-Gaussian-Noise.jpg
| alt2 = 가우스 잡음 있음
| caption2 = 가우스 잡음 있음
}}
[[신호 처리]] 이론에서 [[카를 프리드리히 가우스]](Carl Friedrich Gauss)의 이름을 딴 '''가우스 잡음'''(Gaussian Noise)은 [[정규 분포]](가우스 분포)와 동일한 확률 밀도 함수(pdf)를 갖는 신호 잡음의 일종이다.<ref name="Barbu">{{저널 인용| title=Variational Image Denoising Approach with Diffusion Porous Media Flow | author=Tudor Barbu | journal=Abstract and Applied Analysis | year=2013 | volume=2013 | pages=8 | doi=10.1155/2013/856876| doi-access=free }}</ref><ref name="Handbook">{{웹 인용|url=https://www.sfu.ca/sonic-studio/handbook/Gaussian_Noise.html |title=Handbook for Acoustic Ecology |edition=Second |year=1999 |publisher=Cambridge Street Publishing |editor=Barry Truax |access-date=2012-08-05 |archive-url=https://web.archive.org/web/20171010053540/http://www.sfu.ca/sonic-studio/handbook/Gaussian_Noise.html |archive-date=2017-10-10 |url-status=dead }}</ref> 즉, 노이즈가 취할 수 있는 값은 가우스 분포이다.

가우스 확률 변수 z의 확률 밀도 함수 p는 다음과 같이 지정된다.

: <math>\varphi(z) = \frac 1 {\sigma\sqrt{2\pi}} e^{ -(z-\mu)^2/(2\sigma^2) }</math>

여기서 z는 그레이 레벨, u는 [[평균값|평균]] 그레이 값, a는 이 값의 [[표준 편차]]이다.

== 같이 보기 ==
* [[가우시안 과정]]
* [[가우시안 블러]]

== 각주 ==
{{각주}}

[[분류:확률 과정]]
[[분류:정규 분포]]
[[분류:음향학]]
{{위키데이터 속성 추적}}
[[형식 언어]] 이론에서 '''어휘'''(vocabulary)라고도 불리는 '''알파벳'''(alphabet)은 일반적으로 문자, 숫자, 음소 또는 단어<ref name=Ebbinghaus1994>{{서적 인용|last1=Ebbinghaus |first1=H.-D. |authorlink1=Heinz-Dieter Ebbinghaus |last2=Flum |first2=J. |last3=Thomas |first3=W. |date=1994 |title=Mathematical Logic |edition=2nd |publisher=[[Springer Science+Business Media|Springer]] |location=[[New York City|New York]] |isbn=0-387-94258-0 |page=11 |quote=By an ''alphabet'' <math>\mathcal{A}</math> we mean a nonempty set of ''symbols''. |url=https://www.springer.com/mathematics/book/978-0-387-94258-2}}</ref><ref name=Rosen>Rosen, Kenneth H. "Discrete Mathematics and Its Applications, Seventh Edition" McGraw-Hill 2012. Pages 847-851. From page 849: "A vocabulary (or alphabet) V is a finite, nonempty set of elements called symbols. A word (or sentence) over V is a string of finite length of elements of V."</ref>를 나타내는 것으로 간주되는 분할할 수 없는 기호/문자/[[자체]]의 비어 있지 않은 집합이다.<ref>{{서적 인용|last1=Fletcher |first1=Peter |last2=Hoyle |first2=Hughes |last3=Patty |first3=C. Wayne |year=1991 |title=Foundations of Discrete Mathematics |publisher=PWS-Kent |isbn=0-53492-373-9 |page=114 |quote=An '''alphabet''' is a nonempty finite set the members of which are called '''symbols''' or '''characters'''.}}</ref> 집합(set)이라는 기술적 의미의 알파벳은 논리학, 수학, 컴퓨터 과학, 언어학을 포함한 다양한 분야에서 사용된다. 알파벳은 임의의 카디널리티("크기")를 가질 수 있으며, 목적에 따라 유한할 수도 있고(예: 문자 "a"에서 "z"까지의 알파벳) 셀 수 있을 수도 있고(예: <math>\{v_1, v_2, \ldots\}</math>) 아니면 셀 수 없는 경우도 있다(예: <math>\{v_x : x \in \mathbb{R} \}</math>).

알파벳 위의 "단어" 또는 "문장"이라고도 하는 [[문자열]]은 알파벳 집합의 기호 시퀀스로 정의된다. 예를 들어, 소문자 "a"부터 "z"까지의 알파벳을 사용하여 "iceberg"와 같은 영어 단어를 형성할 수 있으며, 대문자와 소문자 모두의 알파벳을 사용하여 "Wikipedia"와 같은 고유명사를 형성할 수도 있다. 일반적인 알파벳은 이진 알파벳인 {0,1}이고, "00101111"은 이진 문자열의 예이다. 무한한 기호 시퀀스도 고려할 수 있다.

실용적인 목적을 위해서는 해석 시 모호하지 않도록 알파벳 기호를 제한하는 것이 필요한 경우가 많다. 예를 들어, 두 멤버 알파벳이 {00,0}인 경우 종이에 "000"으로 쓰여진 문자열은 세 개의 "0" 기호, "00" 다음에 "00"이 이어지는 순서인지 확실하지 않기 때문에 모호하다. "0" 또는 "0" 뒤에 "00"이 온다.

== 각주 ==
{{각주}}

{{수리 논리학}}

[[분류:형식 언어]]
{{위키데이터 속성 추적}}
'''퍼지 제어 시스템'''(fuzzy control system)은 [[퍼지 논리]]를 기반으로 한 [[제어 시스템]]이다. 이 수학적 시스템은 [[아날로그]] 입력 값을 0과 1 사이의 연속 값을 취하는 [[수리 논리학|논리]] 변수 측면에서 분석하는 것이다. 즉, 1 또는 0(각각 참 또는 거짓)을 취한다.<ref name = "Pedrycz">{{서적 인용|last1=Pedrycz|first1=Witold|title=Fuzzy control and fuzzy systems|year=1993|publisher=Research Studies Press Ltd.|edition=2}}</ref><ref name="Hájek">{{서적 인용|last1=Hájek|first1=Petr|authorlink = Petr Hájek|title=Metamathematics of fuzzy logic|year=1998|publisher=Springer Science & Business Media|edition=4}}</ref>

퍼지 논리는 기계 제어에 널리 사용된다. "퍼지"라는 용어는 관련된 논리가 "참" 또는 "거짓"으로 표현될 수 없고 오히려 "부분적으로 참"으로 표현되는 개념을 처리할 수 있다는 사실을 의미한다. [[유전 알고리즘]] 및 [[인공 신경망|신경망]]과 같은 대체 접근 방식은 많은 경우 퍼지 논리와 마찬가지로 성능을 발휘할 수 있지만 퍼지 논리는 문제에 대한 해결책을 인간 운영자가 이해할 수 있는 관점에서 제시할 수 있다는 장점이 있다. 컨트롤러 설계에 사용된다. 이를 통해 인간이 이미 성공적으로 수행한 작업을 기계화하는 것이 더 쉬워진다.<ref name = "Pedrycz" />

== 같이 보기 ==
* [[베이즈 추론]]
* [[이력 현상]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{Scholarpedia|curator=Robert Babuska and Ebrahim Mamdani|title=Fuzzy control|access-date=31 December 2022|urlname=Fuzzy_control|date=2008}}
* [http://inside.mines.edu/~msimoes/documents/Intro_Fuzzy_Logic.pdf Introduction to Fuzzy Control] {{Webarchive|url=https://web.archive.org/web/20100805204047/http://inside.mines.edu/~msimoes/documents/Intro_Fuzzy_Logic.pdf |date=2010-08-05 }}
* [http://www.bytecraft.com/downloads/fuzlogic.pdf Fuzzy Logic in Embedded Microcomputers and Control Systems]
* [http://www.fuzzytech.com/binaries/ieccd1.pdf IEC 1131-7 CD1] {{Webarchive|url=https://web.archive.org/web/20210304150537/https://www.fuzzytech.com/binaries/ieccd1.pdf |date=2021-03-04 }} IEC 1131-7 CD1 PDF
* [http://demonstrations.wolfram.com/InferenceWithFuzzyIFTHENRules/ Online interactive demonstration of a system with 3 fuzzy rules]
* [https://link.springer.com/book/10.1007/978-3-7908-1771-3 Data driven fuzzy systems]
{{전거 통제}}
[[분류:퍼지 논리]]
[[분류:제어공학]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 늦은 귀로
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = [[1986년]] [[5월 18일]]
| 방송 횟수 = 114회
| 방송 국가 = {{KOR}}
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 윤정수
| 조연출 = 
| 원작 = [[김창동]]
| 극본 = 홍종원
| 비고 = 
}}
《'''늦은 귀로'''》는 1986년 5월 18일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 줄거리 ==

== 출연 ==
* [[현석 (배우)|현석]]
* [[오수비]]
* [[최불암]]
* [[이정길 (1944년)|이정길]]
* [[김동주 (배우)|김동주]]
* [[남영진]]
* [[박윤배 (배우)|박윤배]]
* [[정대홍]]
* [[박경순]]
* [[차윤회]]
* [[한규희]]
* [[나성균]]
* [[김성일 (배우)|김성일]]
* [[오현섭]]
* [[견미리]]

== 각주 ==
{{각주}}

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = '''113회 : '''[[다시 나는 새]]<br>(1986.05.11)
|작품명 = '''114회 : '''[[늦은 귀로]]<br>(1986.05.18)
|다음 작품 = '''115회 : '''[[환화]]<br />(1986.05.25)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
{{사이보그}}
'''지능 증폭'''(Intelligence amplification, IA, 인지 증강, 기계 증강 지능 및 향상된 지능)은 인간 [[지능]]을 증강하는 데 [[정보기술]]을 효과적으로 사용하는 것을 의미한다. 이 아이디어는 1950년대와 1960년대에 [[사이버네틱스]]와 초기 컴퓨터 개척자들에 의해 처음 제안되었다.

IA는 때로 AI([[인공지능]]), 즉 컴퓨터나 로봇 등 자율 기술 시스템의 형태로 인간과 유사한 지능을 구축하는 프로젝트와 대조되기도 한다. AI는 이미 작동하는 것으로 입증된 자율 지능에 대한 추가 지원으로서만 기술이 필요하기 때문에 IA에게는 이론적인 것뿐만 아니라 실용적이고 많은 근본적인 장애물에 직면했다. 더욱이 IA는 주판부터 인터넷 글쓰기에 이르기까지 모든 형태의 정보 기술이 기본적으로 인간 마음의 [[정보 처리]] 능력을 확장하기 위해 개발되었기 때문에 오랜 성공의 역사를 가지고 있다.

== 같이 보기 ==
* [[뇌-컴퓨터 인터페이스]]
* [[찰스 샌더스 퍼스]]
* [[집단 지성]]
* [[지식 노동자]]
* [[누트로픽]]

== 외부 링크 ==
* [http://www.turnkeylinux.org/blog/practical-intelligence-amplification Intelligence Amplification using speech synthesis technology]
* [http://www.itconversations.com/shows/detail378.html IT Conversations: Doug Engelbart - Large-Scale Collective IQ]
* [http://www.rossashby.info/journal/page/3609.html 7 December 1951, Ashby first wrote about the possibility to build an 'information amplifier'.]
* [http://www.rossashby.info/journal/page/4584.html 12 August 1953, Ashby mentioned an objection to his 'intelligence-amplifier'.]
[[분류:사이버네틱스]]
[[분류:트랜스휴머니즘]]
[[분류:지능]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 환화
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = 1986년 5월 25일
| 방송 횟수 = 
| 방송 국가 = 대한민국
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 장수봉
| 조연출 = 
| 원작 = [[이병주]]
| 극본 = 이환경
| 비고 = 
}}

《'''환화'''》는 1986년 5월 25일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 출연 ==
* [[정욱 (1938년)|정욱]]
* [[송옥숙]]
* [[나종미]]
* [[권성덕]]
* [[김상순 (배우)|김상순]]
* [[이영후]]
* [[서학]]
* [[박희우]]
* [[전국환]]
* [[최한호]]
* [[김종구 (배우)|김종구]]
* [[이은철]]
* [[권경숙]]

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = 114회: [[늦은 귀로]]<br>(1986. 5. 18.)
|작품명 = 115회: [[환화]]<br>(1986. 5. 25.)
|다음 작품 = 116회: [[청춘의 한낮]]<br>(1986. 6. 1.)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
'''모놀리식 시스템'''(monolithic system)은 [[모놀리스]]와 유사하게 하나의 전체로 통합된 시스템이다. 이 문구는 컴퓨터 소프트웨어와 하드웨어의 맥락에서 약간 다른 의미를 가질 수 있다.

==응용 소프트웨어에서==
[[응용 소프트웨어]]에서 기능적으로 구별 가능한 측면(예: 데이터 입력 및 출력, 데이터 처리, 오류 처리 및 사용자 인터페이스)이 구조적으로 분리된 것을 포함하는 것이 아니라 모두 서로 얽혀 있는 모놀리식 아키텍처를 갖는 경우 소프트웨어를 "모놀리식"이라고 한다.<ref name="Stephens2015">{{서적 인용|author=Rod Stephens|title=Beginning Software Engineering|url=https://books.google.com/books?id=SyHWBgAAQBAJ&pg=PA94|date=2 March 2015|publisher=John Wiley & Sons|isbn=978-1-118-96916-8|page=94}}</ref> 이와 같은 소프트웨어 시스템은 모놀리식 애플리케이션의 예이다.<ref name=atlas>{{웹 인용|url=https://www.atlassian.com/microservices/microservices-architecture/microservices-vs-monolith|website=atlassian.com|title=Microservices vs. monolithic architecture: When monoliths grow too big it may be time to transition to microservices|first=Chandler|last=Harris|year=2022}}</ref>

==하드웨어에서==
[[멀티 코어]] 프로세서와 같은 전자 [[컴퓨터 하드웨어|하드웨어]] 시스템을 해당 부품이 단일 [[집적 회로]]에 함께 통합된 경우 "모놀리식"이라고 한다. 이러한 시스템은 구조적으로 별도의 부품으로 구성될 수 있다. 멀티 코어 시스템에서는 각 코어가 단일 다이에서 구현되는 한 별도의 부품을 형성한다.

==시스템 소프트웨어에서==
[[시스템 소프트웨어]]에서 [[모놀리식 커널]]은 전체 OS가 [[사용자 공간|커널 공간]]에서 작동하는 [[운영체제]](OS) 아키텍처이다.

== 각주 ==
{{각주}}

[[분류:소프트웨어 구조]]
{{위키데이터 속성 추적}}
{{텔레비전 프로그램 정보
| 방송명 = 청춘의 한낮
| 그림 = 
| 그림 설명 = 
| 장르 = [[텔레비전 드라마|드라마]]
| 방송 시간 = 일요일 밤 9:30~11:00
| 방송 분량 = 1시간 30분
| 방송 기간 = [[1986년]] [[6월 1일]]
| 방송 횟수 = 116회
| 방송 국가 = {{KOR}}
| 방송 채널 = [[MBC]]
| 기획 = 
| 제작 = [[MBC 프로덕션]]
| 책임프로듀서 = 
| 프로듀서 = 
| 연출 = 박철수
| 조연출 = 
| 원작 = [[박범신]]
| 극본 = 이환경
| 비고 = 
}}
《'''청춘의 한낮'''》은 1986년 6월 1일에 [[MBC]]에서 방영되었던 [[MBC 베스트셀러극장|베스트셀러극장]]이다.

== 줄거리 ==

== 출연 ==
* [[이미진]]
* [[천호진]]
* [[박찬환]]
* [[오승명]]
* 전혜성
* [[정혜선]]
* [[이묵원]]
* [[김영인 (1940년)|김영인]]
* [[김지영 (1938년)|김지영]]
* [[박종관 (배우)|박종관]]
* [[임미미]]
* [[정태섭]]
* [[송영웅]]
* [[윤철형]]
* 이정미
* [[노정운]]
* [[이건주]]
* [[김재관]]
* 이형석
* 이현주
* 김광수
* [[이대환]]
* [[배응명]]
* [[김찬수]]
* 한진수
* [[김진제]]

== 각주 ==
{{각주}}

{{전작후작
|방송개요 = [[MBC 베스트셀러극장]]
|이전 작품 = '''115회 : '''[[환화]]<br>(1986.05.25)
|작품명 = '''116회 : '''청춘의 한낮<br>(1986.06.01)
|다음 작품 = '''117회 : '''[[도주 (드라마)|도주]]<br />(1986.06.08)
}}

[[분류:1986년 드라마]]
[[분류:MBC 베스트셀러극장]]
[[분류:1980년대 대한민국의 텔레비전 프로그램]]
[[분류:1983년에 시작한 대한민국 TV 프로그램]]
[[분류:1989년에 종료한 대한민국 TV 프로그램]]
{{위키데이터 속성 추적}}
'''전이 시스템'''(transition system)은 [[이론 컴퓨터 과학]]에서 [[컴퓨테이션|계산]] 연구에 사용되는 개념이다. 이는 개별 시스템의 잠재적인 동작을 설명하는 데 사용된다. 이는 상태와 상태 간 전환으로 구성되며 세트에서 선택한 레이블로 레이블이 지정될 수 있다. 동일한 레이블이 둘 이상의 전환에 나타날 수 있다. 레이블 세트가 싱글톤인 경우 시스템은 기본적으로 레이블이 지정되지 않으며 레이블을 생략하는 더 간단한 정의가 가능하다.

전환 시스템은 [[추상 재작성 시스템]] 및 [[유향 그래프]]와 수학적으로 일치한다. 이는 여러 가지 면에서 [[유한 상태 기계|유한 상태 오토마타]]와 다르다.

* 상태 집합은 반드시 유한하거나 심지어 셀 수 있는 것도 아니다.
* 전환 세트는 반드시 유한하거나 셀 수 있는 것은 아니다.
* "시작" 상태나 "최종" 상태는 제공되지 않는다.
전환 시스템은 유향 그래프로 표현될 수 있다.

== 같이 보기 ==
* [[크립키 구조]]
* [[유한 상태 기계]]

{{전거 통제}}

[[분류:계산 모형]]