항목
-
정형기법 定型技法, Formal Methods컴퓨터 과학이나 소프트웨어 공학 분야에서 하드웨어나 소프트웨어에 요구되는 사항을 수학이나 논리를 사용하여 검증하는 기법. 대상 시스템의 기능을 논리식과 같은 정형언어로 기술하여 수학적인 증명기법을 적용, 검증하는 분석기법으로 안전성과 신뢰성, 보안성 등을 확인을 하는 이론적 토대를 제공한다. 정형기법...
-
펄스 정형 펄스 성형, -整形전송되는 펄스의 파형을 변형하는 것. 통신 채널에서 부호 간 간섭(ISI: Inter-Symbol Interference)을 최소화하고 점유 대역폭을 제한하기 위하여 사용된다. 펄스 정형 기법으로는 변조(modulation) 후 각각의 부호(symbol)에 펄스 정형 필터를 사용하는 기법을 사용한다. 사용하는 필터의 종류로는 싱크 필터(sinc...
-
-
AI, 데이터 채굴 응용마트(data mart) 등과 방대한 규모의 데이터를 분석하는 분산 처리 기술 등이 사용된다. 분석 방법으로는 목표 변수에 따라 진행되는 정형 데이터 채굴 기법과 비정형 데이터 채굴 기법이 있다. 데이터 채굴은 데이터 처리를 위한 다양한 분야에 적용할 수 있으며, 마케팅, 생산, 금융, 미디어, 순수 과학 등 다양한...
-
데이터 분석 처리 시각화, 데이터 마이닝 data mining등과 방대한 규모의 데이터를 분석하는 분산 처리 기술 등이 사용된다. 데이터 마이닝 분석 방법으로는 목표 변수에 따라 진행되는 정형 데이터 마이닝 기법과 비정형 데이터 마이닝 기법이 있다. 데이터 마이닝은 데이터 처리를 위한 다양한 분야에 적용할 수 있으며, 마케팅, 생산, 금융, 미디어, 순수 과학 등 여러...
-
-
진경산수화 眞景山水畵화풍의 정형을 수립하였다. 그의 진경 화풍은 기존 화법과 남종화법을 우리 산천의 형상에 어울리는 필법으로 소화하여 낸 것이다. 실경의 단순한 재현이 아니라 회화적 재구성을 통하여 경관에서 받은 감흥과 정취를 감동적으로 구현하였다는 데 그 특색이 있다. 양식적으로는 부감법(俯瞰法)의 시각에 동적인 대각선...
- 시대 :
- 조선후기
- 유형 :
- 개념용어
- 분야 :
- 예술·체육/회화
-
-
충돌 방지 코드 衝突防止-, Crash-Proof Code정형 기법을 소프트웨어 검증에 적용하여 안전을 개선하는 기술. 항공기나 의료 장비 같은 안전이 중요한 부문에서 소프트웨어 오류에 따른 참사나 위험을 예방하는 데 꼭 필요한 기술이다. 소프트웨어 검증을 위해 정형기법을 주로 도입하고 있다.
