특허청구의범위청구항 1 특정영역에서제한된개수의센서들의배치를결정하는방법으로서, 상기센서들의배치가상기영역내에있는모든위치들에게커버리지레벨들을제공하고, 상기방법은, 노드들및지향된링크들을포함하는특정영역의네트워크표현을생성하는단계로서, 각노드는감시될서브영역또는센서가배치될수도있는서브
|
|
- 서진 애
- 6 years ago
- Views:
Transcription
1 (19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2013년03월12일 (11) 등록번호 (24) 등록일자 2013년03월06일 (51) 국제특허분류 (Int. Cl.) H04L 12/28 ( ) H04L 12/26 ( ) H04W 8/08 ( ) H04W 84/18 ( ) (21) 출원번호 (22) 출원일자 ( 국제 ) 2008 년 02 월 14 일 심사청구일자 2011 년 02 월 24 일 (85) 번역문제출일자 2009 년 09 월 14 일 (65) 공개번호 (43) 공개일자 2009 년 11 월 26 일 (86) 국제출원번호 PCT/US2008/ (87) 국제공개번호 WO 2008/ 국제공개일자 (30) 우선권주장 2008 년 08 월 21 일 11/725, 년 03 월 20 일미국 (US) 60/901, 년 02 월 16 일미국 (US) (56) 선행기술조사문헌 (73) 특허권자 티티아이인벤션스씨엘엘씨 미국델라웨어윌밍톤스위트 400 센터빌로드 2711 ( 우 : 19808) (72) 발명자 러스하난 미국뉴저지 말보로트루먼드라이브 14 (74) 대리인 특허법인코리아나 KR B1 전체청구항수 : 총 22 항 심사관 : 김대성 (54) 발명의명칭광역감시를위한제한된개수의센서들의공정한배치방법 (57) 요약 제한된개수의센서들이감시될필요가있는모든위치에공정한커버리지레벨들을달성하기위해선택된위치에배치된다. 어떤특정위치에제공된커버리지레벨은객체검출확률과오류경보의확률을포함하며, 상기위치를감시하는모든센서들과상기센서들의속성에의존한다. 이들확률들은감시하는그리고감시되는위치들에의존한다. 모든위치에대한공정한커버리지레벨들중사전편찬식으로가장큰벡터를찾음으로써얻어진다. 여기서, 이들커버리지레벨들은증가하는순서로소팅된다. 방법은솔루션이공정한커버리지레벨들을제공하는사전편찬식의맥시민모델을생성한다. 계산을수행하기위하여, 솔루션이사전편찬식의맥시민최적화모델로서같은커버리지레벨들을제공하는비선형정수최적화모델이생성된다. 대표도 - 도 3-1 -
2 특허청구의범위청구항 1 특정영역에서제한된개수의센서들의배치를결정하는방법으로서, 상기센서들의배치가상기영역내에있는모든위치들에게커버리지레벨들을제공하고, 상기방법은, 노드들및지향된링크들을포함하는특정영역의네트워크표현을생성하는단계로서, 각노드는감시될서브영역또는센서가배치될수도있는서브영역을나타내거나감시될서브영역및센서가배치될수도있는서브영역양자모두를나타내며, 각각의지향된링크는노드쌍들 (node-pairs) 중에서감시관계를나타내며, 노드쌍은센서가배치될수도있는노드들의집합내의제1 노드와, 감시될노드들의집합내의관련된제2 노드를포함하는, 상기특정영역의네트워크표현을생성하는단계 ; 객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로센서들을특징화하는단계로서, 상기확률들은다른노드쌍들에대하여상이할수도있는, 상기센서들의속성들로센서들을특징화하는단계 ; 감시될각노드들을감시하는센서들의위치의함수로서감시될각노드들에제공되는커버리지레벨에대한감시수행함수들을생성하는단계 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는단계로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기벡터의요소들은증가하는순서로정렬된, 감시되는노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을제공하는, 상기센서위치모델을생성하는단계 ; 및비선형정수최적화모델로서사전편찬식의맥시민최적화모델을생성하는단계로서, 상기비선형정수최적화모델의솔루션은커버리지레벨들을모든노드들에게제공하며, 상기비선형정수최적화모델의솔루션은기존의최적화방법들에의해계산되는, 상기사전편찬식의맥시민최적화모델을생성하는단계를포함하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 2 특정영역에서제한된개수의센서들의배치를결정하는방법으로서, 상기센서들의배치는상기영역내에있는모든위치들에게커버리지레벨들을제공하고, 상기방법은, 노드들및지향된링크들을포함하는특정영역의네트워크표현을생성하는단계로서, 각노드는감시될서브영역또는센서가배치될수도있는서브영역을나타내거나감시될서브영역및센서가배치될수도있는서브영역양자모두를나타내며, 각각의지향된링크는노드쌍들중에서감시관계를나타내며, 노드쌍은센서가배치될수도있는노드들의집합내의제1 노드와, 감시될노드들의집합내의관련된제2 노드를포함하는, 상기특정영역의네트워크표현을생성하는단계 ; 감시될각노드들을감시하는센서들의위치의함수로서감시될각노드들에제공되는커버리지레벨에대한감시수행함수들을생성하는단계 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는단계로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기제공된벡터의요소들은증가하는순서로정렬된, 감시되는노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을제공하는, 상기센서위치모델을생성하는단계 ; 및실행가능한센서위치모델을포함하는비선형정수최적화모델로서사전편찬식의맥시민최적화모델을생성하는단계로서, 비선형정수최적화모델의솔루션은커버리지레벨들을상기영역내에서감시될필요가있는모든위치들에제공하는, 상기사전편찬식의맥시민최적화모델을생성하는단계를포함하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 3-2 -
3 제2항에있어서, 객체함수가사전편찬식으로가장큰벡터를특정하며, 상기특정된벡터의요소들은증가하는순서로정렬된, 감시되는서브영역들에대한커버리지레벨들이며, 제약조건들은배치된센서의개수에대한제한을특정하며, 결정변수들은센서배치결정들을나타내는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 4 제2항에있어서, 상기노드들은감시될서브영역들을나타내는노드집합 N을포함하며, 노드집합 S는센서들이배치될수있는위치들을나타내며, 집합 S 내의노드로부터집합 N 내의관련된노드까지의링크는집합 S내의노드가노드쌍으로집합 N에있는관련된노드를감시할수있는것을표시하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 5 제4항에있어서, 감시수행함수들은집합 N 내의임의의특정된노드에제공되는커버리지레벨을집합 N 내의상기특정된노드를감시할수있는집합 S 내의노드들에배치된모든센서들의함수로서계산하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 6 제5항에있어서, 객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로센서들을특징화하는단계를더포함하며, 상기확률들은노드들의집합 N과 S 내의각노드쌍에대하여서로다를수도있으며, 상기감시수행함수들은센서들의속성들을입력으로이용하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 7 제2항에있어서, 실행가능한센서위치모델을포함하는상기비선형정수최적화모델은상기센서위치모델로부터생성되며, 상기실행가능한센서위치모델의최적솔루션은감시되는모든노드들에커버리지레벨들을제공하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 8 제7항에있어서, 상기실행가능한센서위치모델의최적솔루션은알려진최적화방법들을적용함으로써생성되는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는방법. 청구항 9 노드들의집합 N 내의노드들에커버리지레벨들을제공하는노드들의집합 S 내의제한된개수의센서들의배치를결정하는방법으로서, 객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로센서들을특징화하는단계로서, 각노드쌍은그것의관련된확률들을가지는, 상기센서들을특징화하는단계 ; 집합 N 내의관련된노드를감시하는집합 S 내의노드들에배치된센서들의함수로서집합 N 내의노드들의각각에제공된커버리지레벨을위해감시수행함수들을생성하는단계 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는단계로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기제공된벡터의요소들은증가하는 - 3 -
4 순서로정렬된, 집합 N 내의노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을집합 N 내의모든노드들에제공하는, 상기센서위치모델을생성하는단계 ; 및실행가능한센서위치모델을생성하는단계로서, 상기실행가능한센서위치모델의솔루션은집합 N 내의모든노드들에커버리지레벨들을제공하는기존의최적화방법에의해계산되는, 상기실행가능한센서위치모델을생성하는단계를포함하는것을특징으로하는센서들의배치를결정하는방법. 청구항 10 제9항에있어서, 적어도하나의센서들의위치는한주기로부터다음주기사이에변경되는것을특징으로하는센서들의배치를결정하는방법. 청구항 11 제10항에있어서, 각주기에서, 상기실행가능한센서위치모델은가능한센서위치들의수정된집합을이용하여해가구해지는것을특징으로하는센서들의배치를결정하는방법. 청구항 12 특정영역에서제한된개수의센서들의배치를결정하는시스템으로서, 상기센서들의배치가상기영역내에있는모든위치들에게커버리지레벨들을제공하고, 상기시스템은, 노드들및지향된링크들을포함하는특정영역의네트워크표현을생성하는수단으로서, 각노드는감시될서브영역또는센서가배치될수도있는서브영역을나타내거나감시될서브영역및센서가배치될수도있는서브영역양자모두를나타내며, 각각의지향된링크는노드쌍들중에서감시관계를나타내며, 노드쌍은센서가배치될수도있는노드들의집합내의제1 노드와, 감시될노드들의집합내의관련된제2 노드를포함하는, 상기특정영역의네트워크표현을생성하는수단 ; 객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로특징화된복수의센서들로서, 상기확률들은다른노드쌍들에대하여상이할수도있는, 상기복수의센서들 ; 감시될각노드들을감시하는센서들의위치의함수로서감시될각노드들에제공되는커버리지레벨에대한감시수행함수들을생성하는수단 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는수단으로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기벡터의요소들은증가하는순서로정렬된, 감시되는노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을제공하는, 상기센서위치모델을생성하는수단 ; 및비선형정수최적화모델로서사전편찬식의맥시민최적화모델을생성하는수단으로서, 상기비선형정수최적화모델의솔루션은커버리지레벨들을모든노드들에게제공하며, 상기비선형정수최적화모델의솔루션은기존의최적화방법들에의해계산되는, 상기사전편찬식의맥시민최적화모델을생성하는수단을포함하며, 상기복수의센서들은상기사전편찬식의최적화모델의솔루션에따라배치되는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 13 특정영역에서제한된개수의센서들의배치를결정하는시스템으로서, 상기센서들의배치는상기영역내에있는모든위치들에게커버리지레벨들을제공하고, 상기시스템은, 노드들및지향된링크들을포함하는특정영역의네트워크표현을생성하는수단으로서, 각노드는감시될서 - 4 -
5 브영역또는센서가배치될수도있는서브영역을나타내거나감시될서브영역및센서가배치될수도있는서브영역양자모두를나타내며, 각각의지향된링크는노드쌍들중에서감시관계를나타내며, 노드쌍은센서가배치될수도있는노드들의집합내의제1 노드와, 감시될노드들의집합내의관련된제2 노드를포함하는, 상기특정영역의네트워크표현을생성하는수단 ; 감시될각노드들을감시하는센서들의위치의함수로서감시될각노드들에제공되는커버리지레벨에대한감시수행함수들을생성하는수단 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는수단으로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기제공된벡터의요소들은증가하는순서로정렬된, 감시되는노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을제공하는, 상기센서위치모델을생성하는수단 ; 및실행가능한센서위치모델인비선형정수최적화모델로서사전편찬식의맥시민최적화모델을생성하는수단으로서, 상기비선형정수최적화모델의솔루션은커버리지레벨들을모든노드들에제공하며, 상기비선형정수최적화모델의솔루션은기존의최적화방법들에의해계산되는, 상기사전편찬식의맥시민최적화모델을생성하는수단을포함하며, 상기영역내의감시될필요가있는모든위치들에커버리지레벨들을제공하기위해상기실행가능한센서위치모델의솔루션에따라복수의센서들이배치되는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 14 제13항에있어서, 객체함수가사전편찬식으로가장큰벡터를특정하며, 상기특정된벡터의요소들은증가하는순서로정렬된, 감시되는서브영역들에대한커버리지레벨들이며, 제약조건들은배치되는센서들의개수에대한제한을특정하며, 결정변수들은센서배치결정들을나타내는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 15 제13항에있어서, 상기노드들은감시될서브영역들을나타내는노드집합 N을포함하며, 노드집합 S는센서들이배치될수있는위치들을나타내며, 집합 S 내의노드로부터집합 N 내의관련된노드까지의링크는집합 S내의노드가노드쌍으로집합 N 내의관련된노드를감시할수있는것을표시하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 16 제15항에있어서, 감시수행함수들은집합 N 내의임의의특정된노드에제공되는커버리지레벨을집합 N 내의상기특정된노드를감시할수있는집합 S 내의노드들에배치된모든센서들의함수로서계산하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 17 제16항에있어서, 상기복수의센서들은객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로특징화되며, 상기확률들은상이한노드쌍들에대해상이할수도있으며, 상기감시수행함수들은상기복수의센서들의속성들을입력으로서이용하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 18 제13항에있어서, - 5 -
6 비선형정수최적화모델인상기실행가능한센서위치모델은상기센서위치모델로부터생성되며, 상기실행가능한센서위치모델의최적솔루션은감시될모든노드들에커버리지레벨들을제공하는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 19 제18항에있어서, 상기실행가능한센서위치모델의최적솔루션은알려진최적화방법들을적용함으로써생성되는것을특징으로하는특정영역에서제한된개수의센서들의배치를결정하는시스템. 청구항 20 노드들의집합 N 내의노드들에커버리지레벨들을제공하는노드들의집합 S 내의제한된개수의센서들의배치를결정하는시스템으로서, 객체검출의확률들과오류경보의확률들을포함하는센서들의속성들로특징화되는복수의센서들로서, 각노드쌍은그것의관련된확률들을가지는, 상기복수의센서들 ; 집합 N 내의관련된노드를감시하는집합 S 내의노드들에배치된센서들의함수로서집합 N 내의노드들의각각에제공된커버리지레벨을위해감시수행함수들을생성하는수단 ; 사전편찬식의맥시민최적화모델로서센서위치모델을생성하는수단으로서, 상기사전편찬식의맥시민최적화모델의솔루션은사전편찬식으로가장큰정렬된벡터를제공하며, 상기제공된벡터의요소들은증가하는순서로정렬된, 집합 N 내의노드들에제공되는커버리지레벨들이며, 상기사전편찬식의맥시민최적화모델의솔루션은커버리지레벨들을집합 N 내의모든노드들에제공하는, 상기센서위치모델을생성하는수단 ; 및실행가능한센서위치모델을생성하는수단으로서, 상기실행가능한센서위치모델의솔루션은집합 N 내의모든노드들에커버리지레벨들을제공하는기존의최적화방법들에의해계산되는, 상기실행가능한센서위치모델을생성하는수단을포함하며, 상기복수의센서들은상기실행가능한센서위치모델의솔루션에따라배치되는것을특징으로하는센서들의배치를결정하는시스템. 청구항 21 제20항에있어서, 적어도하나의센서들의위치는한주기로부터다음주기사이에변경되는것을특징으로하는센서들의배치를결정하는시스템. 청구항 22 제21항에있어서, 각주기에서, 상기실행가능한센서위치모델은가능한센서위치들의수정된집합을이용하여해가구해지는것을특징으로하는센서들의배치를결정하는시스템. 명세서 [0001] 기술분야 본출원은 2007 년 2 월 16 일에제출된미국예비특허출원번호 60/901,909 의우선권을주장하고, 그내용을여 기에원용한다. [0002] 배경기술 본발명은모든위치들에적절한보호를제공하기위하여선택된위치들에서제한된개수의센서들을최적배치 하는것에관한것이다
7 [0003] [0004] [0005] [0006] [0007] [0008] 발명의상세한설명광범위한영역들에대하여효과적인감시 (surveillance) 를하는센서들의사용은점차보편화되어가고있다. 폭약들, 생물학적약품들, 또는화학물질과같은위험한객체들이배치될수도있는특정영역을고려해보자. 고정된개수의센서들이그영역전체에걸쳐설치되며, 이들각각의센서들은그영역내의하나이상의위치들에대한관찰을제공한다. 이들센서들의관찰들은하나이상의관찰된위치에서객체가실질적으로존재하는지의여부를평가하기위하여데이터융합프로세스를통하여결합된다. 배치될수있는센서들의개수가제한되기때문에, 이들센서들에대한최적의위치들을결정하는것이매우중요하다. 일부애플리케이션들에서는많은센서들이설치될수도있으나, 이들센서들의제한된수량만이동시에활성화될수있다. 센서들은또한침입검출을위해사용된다. 침입에대한방어는국가들간의국경, 기름과가스파이프라인, 핵원자로와같은전략시설들, 산업단지, 군사기지들등과같은큰영역을보호하기위해필요할수도있다. 부언하면, 센서들을최적으로배치하는것은상이한방향들로부터보호된영역에접근할수도있는침입자에대한적절한보호를달성하기위하여극히중요하다. 관련된주제는비상룸, 소방서및경찰서와같은비상시설의최적의위치결정에대하여초점이맞추어져있다. 각노드가이웃을나타내는예컨대, 미터치수의정사각형을나타내는네트워크에의해영역을나타내는것은편리하다. 한쌍의노드를서로연결하는링크는한노드로부터다른노드로가능한움직임을나타내며, 링크메트릭 (metric) 은말단노드들간의거리 ( 또는이동시간 ) 를나타낸다. 전형적인문제는임의의노드에서가장가까운시설까지거리 ( 또는이동시간 ) 가최소가되도록이들노드들의부분집합 (subset) 에제한된개수의비상시설을배치하는것이다. 이것은문헌에잘알려진문제이며, 네트워크미니맥스위치결정문제 (network minimax location problem) 또는정점중심문제 (vertex center problem) 라고불린다. 집합커버링문제 (set covering problem) 로서문헌에알려진관련된문제는각각의노드가최근접시설로부터특정거리 ( 또는이동시간 ) 내에있도록노드들의부분집합에설비를설치하는비용을최소화한다. L. V. Green 과 P. J. Kolesar, " 경영과학으로긴급사태응답성을개선하는것 (Improving Emergency Responsiveness with Management Science)", Management Science, 50, , 2004년문헌은최신의긴급사태응답모델을제시한다. 네트워크미니맥스위치결정문제하에서비상시설의최적위치들은가장좋은가능한서비스를최악의경우가없는위치에제공하는많은솔루션 (solution) 들이있을수도있기때문에고유하지않다. 그러므로, 모든미니맥스솔루션들중에서어느솔루션이선택되어야하는지를알아내는것은흥미로운일일것이다. W. Ogryczak, " 위치결정문제에대한사전편찬식의미니맥스접근법에대하여 (On the Lexicographic Minimax Approach to Location Problems)", European Journal of Operational Research, 100, , 1997년의문헌은위치결정문제에대한사전편찬식의미니맥스솔루션을발견하기위한알고리즘을제시한다. 미니맥스네트워크위치결정문제에서와같이, 임의의특정위치는단일시설구체적으로는그위치에가장가까운시설에의해서비스된다. 사전편찬식의미니맥스솔루션은최악의경우로부터최선의경우까지 ( 최근접시설로부터의거리또는이동시간의관점에서 ) 위치들에게제공되는서비스를순서화할때, 결과적으로정렬된벡터는사전편찬식으로가장작은가능한정렬된벡터라는점에있어서, 최선의미니맥스솔루션이다. 그러한솔루션은공정한 (equitable) 솔루션으로불린다. K. Chakrabarty, S.S.Iyengar, H.Qi 그리고 E.Cho, " 분산된센서네트워크에서의감시와표적위치를위한그리드커버리지 (Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks)", IEEE Transactions on Computers, 51, , 2002년문헌은각노드가특정된개수의센서들로부터특정된거리 ( 또는이동시간 ) 내에위치하도록, 노드들의부분집합에서센서설치비용을최소화하는집합커버링문제로서센서위치문제를공식화한다. 본발명은사전편찬식맥시민개체 (lexicographic maxmin objective) 를이용하여모든위치들의공정한커버리지를달성하기위해제한된개수의센서를배치하는데중점을두고있다. 임의의특정위치에제공되는커버리지레벨이위치를감시하는다중센서들의위치와센서들의속성에의존할수도있다. 이것은 W. Ogryczak에의한상기문헌의중요확장이며, 거기에사용된방법은본발명에의해제기된문제들을해결하기위해확장될수없다. H. Luss, " 공정한리소스할당문제에대하여 (On Equitable Resource Allocation Problems): 사전편찬식미니맥스접근 (A Lexicographic Minimax Approach)", Operations Research, 47, , 1999 문헌은다양한공정한리소스할당모델들과해결방법들을제시한다. 그러나, 이들중어느것도본발명에적용될수없다
8 발명의요약 [0009] [0010] [0011] 본발명은감시 (monitor) 될필요가있는모든위치들에대하여공정한커버리지레벨들을달성하기위해선택된위치들에서제한된개수의센서들을배치하는데초점을두고있다. 감시하에있는영역은네트워크로서표현되며, 노드는위치를표시하고, 연결하는링크는감시관계들을나타낸다. 노드 j에있는센서를고려하자. 노드 j를감시하는것에부가하여, 노드 j로부터노드 i까지의링크는노드 j에있는센서가노드 i를또한감시할수있다는것을의미한다. 임의의특정한위치에제공된커버리지레벨은그위치를감시하는모든센서들과그센서들의속성에의존한다. 센서의속성은표적이특정위치에존재할때그특정위치에서표적을검출할확률 (probability) 과, 표적이그곳에존재하지않을때동일한위치에서표적을잘못검출할확률을포함한다. 이확률은각 (i,j) 노드쌍 (node-pair) 에대하여상이할수도있다. 센서들의위치들이특정된다고가정하자. 이위치들이주어지면, 각위치에제공된커버리지레벨이계산된다. 각위치들에제공된커버리지레벨들의벡터를고려하기로한다. 이위치들에서이벡터의요소들 ( 즉, 커버리지레벨들 ) 은증가하는순서 (nondecreasing order) 로정렬된다. 모든위치에대한공정한커버리지레벨들은커버리지레벨들의사전편찬식으로가장큰그러한정렬된벡터로서정의된다. 모든위치에대해공정한커버리지레벨이달성되도록본발명은제한된개수의센서들의최적의위치들을결정한다. 본발명은사전편찬식의맥시민최적화한모델 (lexicographic maximin optimization model ) 로서공정한센서위치모델을생성하고, 상기사전편찬식의맥시민최적화한모델의솔루션은모든위치에공정한커버리지레벨을제공한다. 현재의최신최적화솔루션수단은상기한사전편찬식의맥시민최적화모델을직접해결할수없다. 본발명은비선형정수최적화모델을생성하며, 이모델의솔루션은또한모든위치에공정한또는거의공정한커버리지레벨들을제공한다. 상기비선형정수최적화모델의솔루션은모의어닐링 (simulated annealing) 과타부서치 (tabu search) 를포함하는다이내믹프로그래밍과다양한메타-발견적지도법 (meta-heuristics) 과같은알려진최적화방법들을적용하여얻어질수있다. 센서위치모델은정적인 ( 한번 ) 상황또는동적인 ( 다중기간 ) 상황에서사용되는시스템의일부일수있다. 동적인상황에, 적에의한위치에대한학습을방지하기위해센서위치들은주기적으로변경된다. 본발명은다음설명이첨부도면과관련하여읽힐때명료하게이해될것이다. [0015] [0016] 실시예도면들과특히도 1을참조하면, 감시하에있는영역을나타내는네트워크 (100) 의예가도시되어있다. 영역은 6개의노드 ( ) 에의해표시된다. 블랙노드 (101, 104, 106) 에의해표시된것과같이 3개의센서가위치한다. 센서들의최적의위치는본발명에의한교시에따라결정될것이다. 지향된링크들 (107 내지 115) 은감시관계 (surveillance relation) 를나타낸다. 예를들면, 107은노드 (101) 로부터노드 (102)( 지향된 (directed) 굵은선링크에의해표시됨 ) 까지그리고노드 (102) 로부터노드 (101)( 지향된점선링크에의해표시됨 ) 까지의감시관계를표시한다. 지향된굵은선링크는노드 (101) 가노드 (102) 를감시하는센서를가진다는것을나타낸다. 지향된점선링크는센서가노드 (102) 에위치한다면, 노드 (102) 가노드 (101) 를감시할수있다는것을나타낸다. 예컨대, 노드 (101) 에위치한센서는노드 (101, 102, 105, 106) 를감시하고, 노드 (101) 는노드 (101) ( 센서는그것이위치한노드를항상감시한다.) 와노드 (106) 에있는센서에의해감시된다는것을주목해야한다. 다음표기법이사용되어진다. [0017] N = 감시될필요가있는노드의집합. N에서의노드는 i에의해색인된다. 도 1에서 N = {101, 102, 103, 104, 105, 106}. 실제적인상황에서, N은클수도있으며, 여기서그특정값은노드에의해표현된영역과영역사이즈에의존한다. 예를들면, 만일감시하에있는영역이 10km x 10km의정사각형이고, 각노드가 100m x 100m의정사각형을나타낸다면, N = 10,000이된다. [0018] S= 센서들이위치할수있는노드들의집합. S 에있는노드들은 j 에의해색인된다. 예컨대, 네트워크 (100) 에서 S = N 이라고가정될지라도, N 과 S 집합들은동일하지않을수도있다
9 [0019] J(i)= 노드 i 를감시할수있는 S 에서노드들의부분집합. 집합 J(i) 가노드 i 플러스로지향된링크를가지는 모든노드를포함하며, 만약 i S 인경우에는노드 i 자체가된다. 예컨대, 도 1 에서, J(101) = {101, 102, 105, 106} 그리고 J(102) = {101, 102, 103, 106} 이다. [0020] 본발명은가용센서의개수가제한될때최적의위치를결정하는방법을제공한다. 비록센서들이동일한것으 로가정될지라도노드 j 에위치한센서가노드 i 에제공하는커버리지레벨은센서속성과특정노드들 i 와 j 에 의존한다. 센서속성들은전형적으로다음의확률들에의해특정된다. [0021] p ij = 노드 i 에객체가있는경우, 노드 j 에있는센서가노드 i 에있는객체를검출할확률. [0022] q ij = 노드 i 에객체가없는경우, 노드 j 에있는센서가노드 i 에있는객체를잘못검출할확률 ( 오류경보 ). 우리는 q ij < p ij 로가정한다. [0023] 위치 i 에제공되는커버리지레벨은집합 J(i) 에있는노드들에위치한모든센서들에기초하여결정된다. 센서 위치문제에대한최적솔루션은 N 에서모든노드들에공정한커버리지를제공하는솔루션일것이다. 공정한커 버리지솔루션은나중에정의될것이다. [0024] 도 2에서센서위치모델의다른네트워크 (200) 표현의예가도시되어있으며, 여기서모델은상호간의네트워크로도시되어있다. 노드 ( ) 는센서가위치할수있는노드 S의집합이다. 이노드들은네트워크 (100) 에서노드 ( ) 에대응한다. 센서들은네트워크 (200) 에서노드 (201, 204, 206)( 블랙노드 ) 에위치하며, 네트워크 (100) 에서노드 (101, 104, 106) 에있는센서위치와대응한다. 노드 ( ) 의각각은네트워크 (200) 의우측에복제된다. 따라서, 노드 (207) 는노드 (201) 의복제이며, 노드 (208) 는노드 (202) 의복제이다. 노드 ( ) 는감시될필요가있는노드들 N의집합을나타낸다. 이예에서, 집합들 N과 S는동일한노드들 ( 네트워크 (100) 에서이루어진것과같은가정 ) 을포함할지라도, 이것은그경우일필요는없다. S와 N이동일하지않다면, S에서의일부노드들은 N에서복제노드들을갖지않을수도있으며, N에서의일부노드들은 S에서의대응된노드를갖지않을수도있다. 네트워크 (200) 의링크는감시관계를표시한다. 그러므로, 예컨대, 노드 (201) 는노드 (207, 208, 211, 212) 에대한각각의링크들 (213a-d) 을가지며, 노드 (202) 는노드 (207, 208, 209, 212) 에대한각각의링크들 (216a-d) 을가진다. 이링크들은집합 S의노드로부터집합 N에있는그것의복제노드까지의링크를추가하여네트워크 (100) 에서링크들에대한명백한일대일대응을가진다. 굵은선링크들은하나의센서를갖는한노드와 N에있는관련노드들을연결시키고, 점선링크들은센서가없는한노드와 N에있는관련노드들을연결시킨다는것을주목해야한다. 집합들 J(i) 는네트워크 (200) 로부터쉽게유도되며, 예를들면 J(207) = {201, 202, 205, 206} 이된다. 그러므로, 이예에서노드 (207) 는노드 (201, 206) 에있는 2개의센서에의해감시된다. 노드 (101) 가노드 (101, 106) 에있는 2개의센서에의해감시되는네트워크 (100) 에서 J(207) 가 J(101) = {101, 102, 105, 106} 에유일하게대응한다는것에주목해야한다. [0025] 도 3 은모든위치에공정한커버리지레벨들을제공하는센서위치를결정하는방법 (300) 의흐름도를도시한다. [0026] 방법에대한입력준비 ( 단계 301 과 302) [0027] 도 1, 2 을참조하여상술된바와같이특정영역의네트워크표현이생성된다 (301). 네트워크에서노드들의개 수는영역크기와단일노드에의해표시되는영역에의존한다. 요구되는정확도는특정애플리케이션들에의존 한다. 감시의품질에영향을미칠수있는센서들의속성의특징화가명시된다 (302). 이들속성은확률 p ij 와 q ij 를포함할수도있지만, 이에한정되지는않는다. 모든센서들이동일타입이라고가정될지라도, 이들확률들 은센서위치와감시되는위치에의존한다는점에주목해야한다. 상이한센서위치들로부터의상이한확률들은 - 9 -
10 이들위치들로부터노드 i 까지의상이한거리들또는이들위치와노드 i 간의일부장애물에기인할수도있다. 네트워크표현 ( 도 1 의네트워크 (100) 또는도 2 의네트워크 (200)) 과센서들의속성은센서위치모델에대한주 된입력들이다. [0028] 감시수행함수들의생성 ( 단계 303) [0029] [0030] 이방법의목적은제한된개수의가용센서들에대한최적의위치를결정하기위한것이다. x j = 결정변수. 만일센서가노드 j 에위치하면 x j = 1 이고, 그렇지않으면 x j = 0 이된다. x 는모든결정변 수들 x j 의벡터, j S 로하자. [0031] f i (x) = 노드 i 에대한감시수행함수이며, i N 이다. 벡터 x 의특정값에대하여, 이함수의결과값은또한 노드 i 에제공되는커버리지레벨로서불리운다. f i (x) 에영향을미치는유일한결정변수 x j 는 j J(i) 에대한 결정변수임을주목하자. [0032] [0033] [0034] 가능한감시수행함수들에대하여아래 2가지예들이제공된다. 본발명은이들특정수행함수들에한정되지않는다. 예 1 모든확률들이 q ij =0 및 0<p ij <1임을가정하자. 그러면, x의함수로서, 노드 i에대한감시수행함수는노드 i 에위치한객체가적어도하나의센서에의해검출될것이라는확률에대해설정될수있다. 이것은다음수학 식 1 로나타낼수있다. 수학식 1 [0035] [0036] [0037] 단, 특정된 x 에대한 f i (x) 의값은노드 i 에제공되는커버리지레벨로서불리운다 ; f i (x) 의값이보다클수록노드 i 에제공되는커버리지레벨은더좋아진다. 수학식 1 은또한 질수있다. 로쓰여 [0038] [0039] 예 2 모든확률 q ij 는 0<q ij <p ij 를만족한다고가정한다. 그러면, 위치 i 에서객체를검출하기위한위치 j 에있는센 서의효율성은비율 (1-p ij )/(1-q ij ) 에의해추정될수있다 ; 이비율이작을수록센서는더효율적이다. 명백히, q ij 와 p ij 가거의동일하다면, 노드 i 를감시하기위해노드 j 에서센서를배치하는것은그센서로부터 수집된정보가어떠한의미가있는정보도제공하지않을것이기때문에소용없다. 드 i 에서의객체가있는경우, 노드 i 를감시하는어떠한센서들도노드 i 에있는객체를검출하지못할조건부 는노 의확률이며, 는노드 i에서의객체가없는경우, 노드 i를감시하는어떠한센서들도노드 i에서객체를잘못검출하지않을조건부의확률임을주목해야한다. 수학식 1과유사하게, 1 마이너스이들조건부확률의비는다음수학식 2와같은감시수행함수를형성하기위해선택될수있다
11 수학식 2 [0040] [0041] 단, [0042] [0043] 수학식 2 는또한과같이쓰여질수있다. 다양한다른감시함수들이사용될수있다. 특정 i 를고려하고, x 1 과 x 2 를 2 개의벡터로하고, 단모든 j J(i) 에대하여적어도하나의 j J(i) 에대해이라고하자. 감시수행함수들은다음특징을 만족해야한다 : [0044] [0045] [0046] [0047] 속성 (i) 함수 f i (x) 는변수 j J(i), 즉 f i (x 1 )<f i (x 2 ) 와함께증가한다. 속성 (ii) x 1 및 x 2 에서 0이되는몇몇변수 j J(i) 가양쪽 x 1 및 x 2 에서 1로설정되며, 결과적으로벡터들 x 1+ 및 x 2+ 를 각각초래함을가정하자. 그러면, f i (x 1+ )-f i (x 1 ) f i (x 2+ )f i (x 2 ); 즉 f i (x) 는 j J(i) 에대한 x j 의정수값들에대 해오목하다. 속성 (i) 및속성 (ii) 는수학식 1 및수학식 2 에대해유지된다는것에주목해야한다. [0048] [0049] [0050] [0051] 공정한센서위치모델-ESLM(Equitable Sensor Location Model) 의생성 ( 단계 304) 모델은 i N에대한감시수행함수 f i (x) 를이용하여공식화된다. 다음과같이설정한다. f (n) (x)= 증가하는순서로소팅된모든 f i (x) 들의벡터. 즉, 수학식 3a [0052] [0053] 수학식 3a 에서수학식 3b 의조건을만족한다. 수학식 3b [0054] [0055] P= 가용한센서의개수로서,. 이들센서들은노드들 S 의집합에있는노드의부분집합에노드당많아야 하나의센서가배치된다. 로고려할필요가없다. 인경우는센서가집합 S 에있는각노드에위치되는사소한문제가초래되므 [0056] 공정한솔루션은사전편찬식의가장큰벡터 f (n) (x) 를제공하는솔루션이다. ESLM 이라고불리는공정한센서 위치모델은사전편찬식의맥시민최적화모델로서공식화된다
12 [0057] ESLM 수학식 4a [0058] [0059] 단, 다음수학식들을만족한다. 수학식 4b [0060] 수학식 4c [0061] 수학식 4d [0062] 수학식 4e [0063] [0064] 객체함수인수학식 4a 는사전편찬식의가장큰벡터 V f 를찾는다. 여기서, 스테이트먼트수학식 4b 및 4c 에 의해이벡터는감소되지않은순서로소팅된모든감시수행함수 f i (x) 를포함한다. 제약조건수학식 4d 및 4e 는배치된센서의개수를 P 로제한하며, 집합 S 의각노드에는많아야한개의센서가배치된다. 위에서논의 된바와같이, 감시수행함수의예는수학식 1, 2 로주어진다. ESLM 은이함수들이증가하는한 ( 단계 303 에서 속성 (i)), 감시수행함수들을위해사용되는특정형식과는상관없다. [0065] 실행가능한공정한센서위치모델의생성 ( 단계 305) [0066] [0067] ESLM 이공정한솔루션을계산하기위해완전하고정확한공식을제공할지라도, 이공식은알려진최적화방법 에의해직접적으로해가구해질수없다. 위에서논의한바와같이, i N 에대한감시수행함수 f i (x) 의각각이증가하는함수이고 ( 단계 303 에서속성 (i) 과속성 (ii) 에의해정의된바와같이 ) j J(i) 에대한 x j 의정수값에대하여오목하다라고가정되기때문에, 공정한솔루션 ( 사전편찬식의맥시민솔루션 ) 은관련된비선형정수최적화모델을푸는것에의해얻어질것이다. 수학식 1 및수학식 2에서정의된감시수행함수들은단지설명을위한목적을위해주어진다 ; 요구되는모든것은함수들이단계 303에서정의된속성 (i) 와 (ii) 를만족시키는것이다. K는임의로큰매개변수인것으로하자. 다음비선형정수최적화모델의솔루션은 ESLM에의해공식화된것과같이공정한위치센서모델에대한공정한솔루션을제공할것이다. 새로운모델은실행가능한공정한센서위치모델 (ESLM-EX) 로서언급된다. [0068] ESLM-EX
13 수학식 5a [0069] [0070] 수학식 5a 는수학식 5b 와 5c 를만족시킨다. 수학식 5b [0071] [0072] [0073] 수학식 5c x j = 0, 1, j S 단, ε는객체함수수학식 5a에서무한항들을피하기위하여계산적목적을위해도입된임의적으로작은매개변수이다. K가매우클때, ESLP-EX가공정한솔루션또는동등하게사전편찬식의맥시민솔루션을제공할것이다. f 1 (x) < f 2 (x) 라고가정하자. 그러면, 단계 303에서의속성 (i) 은큰 K에대하여객체함수인수학식 5a 에서 i=1에대한항이객체함수인수학식 5a에서 i=2에대한항보다현저히크다는것을암시한다. 이모든요지는 N에있는모든노드쌍에적용된다. 단계 303에서의속성 (ii) 은객체함수인수학식 5a에서 i번째항에서의향상은 x 2 가 x 2+ 까지증가되었을때실현된향상보다 x l 이 x l+ 로증가되었을때에더크다는것을암시한다. 따라서, 충분히큰값 K에대하여 ESLM-EX의최적의솔루션은증가하는순서로소팅된수행함수값들의사전편찬식으로가장큰가능한벡터일것이다. K의심지어작은값 ( 예를들면, K 4) 에서도 ESLM-EX의솔루션은근접된공정한솔루션을제공할것으로예상된다는점을주목해야한다. K의적절한값은실험을통하여결정될수있다. [0074] 공정한솔루션의계산 ( 단계 306) [0075] 본발명은모델 ESLM-EX를생성하며, 그모델의솔루션은공정한센서위치모델에대한공정한솔루션을제공한다. 여기서, 솔루션은다양한기존의최신의최적화방법들에의해계산될수있다. 이방법들은모의어닐링과타부서치와같은동적프로그래밍과메타-발견적지도법을포함하지만, 이에한정되지는않는다. T. Ibaraki 및 N. Katoh의책은, " 리소스할당문제 : 알고리즘적접근 (Resource Allocation Problems:Algorithmic Approaches)", MIT Press, Cambridge, Massachusetts, 1988의문헌은섹션 3.2에서 ESLM-EX의해를구하는동적프로그래밍알고리즘을제공한다. C. R. Reeves ( 편집자 ), " 조합의문제들을위한현대의발견적지도법기술 (Modern Heuristic Techniques for Combinatorial Problems) Halsted Press an imprint of John Wiley, New York, 1993년, 은그의책지도서들에서모의어닐링및타부서치를포함하는다양한메타-발견적지도법에대하여제시하고있다. [0076] ESLM-EX는정적 ( 단일주기 ) 이거나동적 ( 다중주기 ) 환경에서사용될수도있다. 예를들면, 데이터가 15분마다모든센서로부터수집되고, 데이터분석이객체가어떠한위치에서도출현하지않는다는것을반복적으로제안하는동적환경을고려해야한다. 더욱이, 얼마지난후, 예컨대, 하루지난후에, 적이어디에센서가위치하는지습득하지못하도록센서위치의일부를변경하는것이바람직하다. 예컨대, 이것은가능한센서위치의집합 S를변경하고, ESLM-EX의해를구함으로써이루어질수있다. 집합 S에서변경들은어떤랜덤화된선택계획을이용하여선택될수도있다. 일부애플리케이션들에서, 센서들은 S에있는모든노드에서설치되며, 하지만, 모든시점에서단지이들센서들의는동작의제약조건에기인하여할성화된다. 그러한애플리케이션들에서, 할성화된센서들의위치들은 ESLM-EX의해를구함으로써주기적으로변경될것이며, 집합 S는어떤랜덤화된선택계획을사용하여변경된다
14 [0077] 마지막으로, 데이터분석이객체들이그위치들의부분집합에서, 일명노드들 N present 의부분집합에서, 존재할 우려가있음을암시하고있다고가정하자. 그러면, ESLM-EX 는새로운네트워크의각노드가원래의네트워크에 서보다훨씬더작은영역을표시하도록 N present 에서노드들의급격한증가를포함하는새로운네트워크표현에적용될수있다. 그후, ESLM-EX는혐의가있는영역의보다정확한감시를수집하기위해, 새로운네트워크에의해표시된영역에서제한된개수의제2 타입센서예컨대, 모바일센서들을배치할공정한솔루션을발견할것이다. [0078] [0079] [0080] 상술된알고리즘과모델링은연산장치와같은명령어실행시스템, 장치또는디바이스에서수행될수있다. 알고리즘그자체는컴퓨터와같은명령어실행시스템, 장치또는디바이스에의한사용또는그것들과관련된사용을위해프로그램을포함또는저장, 통신, 전파, 전송할수있는어떠한수단도될수있는컴퓨터로판독가능한매체상에포함될수도있다. 모든위치에대하여공정한커버리지레벨을달성하기위해, 선택된위치들에서제한된개수의센서들의최적의배치를위한방법을기술하고설명하였으나, 그것은단지본원에첨부된청구항들의범위에의해제한되는본발명의넓은교시와범위로부터일탈함이없이변형과변경이가능함은당업자에게명백할것이다. [0012] [0013] [0014] 도면의간단한설명도 1은센서위치모델의네트워크표현을도시한다. 도 2는센서위치모델의상호간의네트워크표현을도시한다. 도 3은모든위치에공정한커버리지레벨을제공하는센서위치를결정하는방법의흐름도이다. 도면 도면
15 도면 2 도면
특허청구의범위청구항 1 복수의영상검출부로부터출력되는영상의히스토그램 (histogram) 을계산하는단계 ; 상기복수의영상검출부로부터출력되는영상을히스토그램평활화 (histogram equalization) 하는단계 ; 상기복수의영상검출부중하나의영상검출부를선택하는단계 ; 및
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2014년12월18일 (11) 등록번호 10-1473415 (24) 등록일자 2014년12월10일 (51) 국제특허분류 (Int. Cl.) G06T 5/40 (2006.01) H04N 5/217 (2011.01) (21) 출원번호 10-2012-0156871 (22) 출원일자 2012
More information특허청구의 범위 청구항 1 복수개의 프리캐스트 콘크리트 부재(1)를 서로 결합하여 연속화시키는 구조로서, 삽입공이 형성되어 있고 상기 삽입공 내면에는 나사부가 형성되어 있는 너트형 고정부재(10)가, 상기 프리캐스 트 콘크리트 부재(1) 내에 내장되도록 배치되는 내부
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) E01D 19/12 (2006.01) E01D 2/00 (2006.01) E01D 21/00 (2006.01) (21) 출원번호 10-2011-0036938 (22) 출원일자 2011년04월20일 심사청구일자 2011년04월20일 (65) 공개번호 10-2012-0119156
More information<33312D312D313220C0CCC7D1C1F820BFB0C3A2BCB12E687770>
Journal of the Society of Korea Industrial and Systems Engineering Vol No pp March 8 Scatter Search를 이용한 신뢰성 있는 네트워크의 경제적 설계 * ** * ** Economic Design of Reliable Networks Using Scatter Search HanJin Lee*
More informationA Hierarchical Approach to Interactive Motion Editing for Human-like Figures
단일연결리스트 (Singly Linked List) 신찬수 연결리스트 (linked list)? tail 서울부산수원용인 null item next 구조체복습 struct name_card { char name[20]; int date; } struct name_card a; // 구조체변수 a 선언 a.name 또는 a.date // 구조체 a의멤버접근 struct
More informationI
I II III (C B ) (C L ) (HL) Min c ij x ij f i y i i H j H i H s.t. y i 1, k K, i W k C B C L p (HL) x ij y i, i H, k K i, j W k x ij y i {0,1}, i, j H. K W k k H K i i f i i d ij i j r ij i j c ij r ij
More informationÆí¶÷4-¼Ö·ç¼Çc03ÖÁ¾š
솔루션 2006 454 2006 455 2006 456 2006 457 2006 458 2006 459 2006 460 솔루션 2006 462 2006 463 2006 464 2006 465 2006 466 솔루션 2006 468 2006 469 2006 470 2006 471 2006 472 2006 473 2006 474 2006 475 2006 476
More informationchap 5: Trees
5. Threaded Binary Tree 기본개념 n 개의노드를갖는이진트리에는 2n 개의링크가존재 2n 개의링크중에 n + 1 개의링크값은 null Null 링크를다른노드에대한포인터로대체 Threads Thread 의이용 ptr left_child = NULL 일경우, ptr left_child 를 ptr 의 inorder predecessor 를가리키도록변경
More informationMicrosoft PowerPoint - 26.pptx
이산수학 () 관계와그특성 (Relations and Its Properties) 2011년봄학기 강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계
More informationMicrosoft PowerPoint Relations.pptx
이산수학 () 관계와그특성 (Relations and Its Properties) 2010년봄학기강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계
More information본 발명은 중공코어 프리캐스트 슬래브 및 그 시공방법에 관한 것으로, 자세하게는 중공코어로 형성된 프리캐스트 슬래브 에 온돌을 일체로 구성한 슬래브 구조 및 그 시공방법에 관한 것이다. 이를 위한 온돌 일체형 중공코어 프리캐스트 슬래브는, 공장에서 제작되는 중공코어 프
(51) Int. Cl. E04B 5/32 (2006.01) (19)대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 (11) 등록번호 (24) 등록일자 2007년03월12일 10-0693122 2007년03월05일 (21) 출원번호 10-2006-0048965 (65) 공개번호 (22) 출원일자 2006년05월30일 (43) 공개일자 심사청구일자
More information3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로
3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로성립한다. Theorem 7 두함수 f : X Y 와 g : X Y 에대하여, f = g f(x)
More information이도경, 최덕재 Dokyeong Lee, Deokjai Choi 1. 서론
이도경, 최덕재 Dokyeong Lee, Deokjai Choi 1. 서론 2. 관련연구 2.1 MQTT 프로토콜 Fig. 1. Topic-based Publish/Subscribe Communication Model. Table 1. Delivery and Guarantee by MQTT QoS Level 2.1 MQTT-SN 프로토콜 Fig. 2. MQTT-SN
More information(52) CPC 특허분류 B01D 53/62 ( ) Y02C 10/10 ( ) (72) 발명자 이정현 대전광역시서구대덕대로 246 넥서스밸리 B 동 1417 호 박영철 대전광역시유성구반석동로 33 반석마을 5 단지아파트 505 동 201 호 이발명
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (51) 국제특허분류 (Int. Cl.) B01D 53/22 (2006.01) B01D 53/62 (2006.01) (52) CPC 특허분류 B01D 53/225 (2013.01) B01D 53/228 (2013.01) (21) 출원번호 10-2015-0076621 (22) 출원일자 2015 년
More information특허청구의 범위 청구항 1 소스 컴퓨팅 디바이스로부터 복수의 컴퓨팅 디바이스들 중 적어도 하나의 컴퓨팅 디바이스로의 무선 액세스 포 인트를 통한 데이터 송신들에 대한 (i) 현재 데이터 레이트 및 (ii) 최고 데이터 레이트를 구축하는 단계; 상기 복수의 컴퓨팅 디바이
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 2013년11월27일 (11) 등록번호 10-1333908 (24) 등록일자 2013년11월21일 (51) 국제특허분류(Int. Cl.) H04W 28/10 (2009.01) H04W 28/22 (2009.01) (21) 출원번호 10-2011-7031262 (22) 출원일자(국제)
More information이 발명을 지원한 국가연구개발사업 과제고유번호 A1100-0801-2739 부처명 지식경제부 연구관리전문기관 연구사업명 IT핵심기술개발 연구과제명 융합형 포털서비스를 위한 이용자 참여형 방송기술개발 기여율 주관기관 전자부품연구원 연구기간 2008년 03월 01일 ~ 2
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 등록특허공보(B1) G06Q 30/00 (2006.01) G06Q 50/00 (2006.01) (21) 출원번호 10-2008-0133476 (22) 출원일자 2008년12월24일 심사청구일자 2008년12월24일 (65) 공개번호 10-2010-0074918 (43) 공개일자 2010년07월02일
More information이발명을지원한국가연구개발사업 과제고유번호 NRF-2012R1A1A4A 부처명 교육과학기술부 연구관리전문기관 한국연구재단 연구사업명 지역대학우수과학자지원사업 연구과제명 저주파신호와바이스태틱레이다를동시에이용한스텔스형표적의인식에관한연구 기여율 1/1 주관기관
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2014년11월12일 (11) 등록번호 10-1460591 (24) 등록일자 2014년11월05일 (51) 국제특허분류 (Int. Cl.) G01S 13/44 (2006.01) G01S 13/02 (2006.01) (21) 출원번호 10-2013-0049810 (22) 출원일자
More informationchap 5: Trees
Chapter 5. TREES 목차 1. Introduction 2. 이진트리 (Binary Trees) 3. 이진트리의순회 (Binary Tree Traversals) 4. 이진트리의추가연산 5. 스레드이진트리 (Threaded Binary Trees) 6. 히프 (Heaps) 7. 이진탐색트리 (Binary Search Trees) 8. 선택트리 (Selection
More information한것으로스마트단말기에의하여드론조종앱을설치하는제 1 단계 ; 스마트단말기에의하여드론의불루투스통 신부에부여된고유식별번호를입력저장하고드론의불루투스를인식하며드론의블루투스통신부로부터회신되 는신호의수신레벨을분석하여최대통신거리를확인하여저장하는제 2 단계 ; 스마트단말기에의하여최대통
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (51) 국제특허분류 (Int. Cl.) B64C 13/20 (2006.01) B64C 39/02 (2006.01) G05D 1/00 (2006.01) H04M 1/725 (2006.01) (52) CPC 특허분류 B64C 13/20 (2013.01) B64C 39/024 (2013.01) (21)
More informationChap 6: Graphs
5. 작업네트워크 (Activity Networks) 작업 (Activity) 부분프로젝트 (divide and conquer) 각각의작업들이완료되어야전체프로젝트가성공적으로완료 두가지종류의네트워크 Activity on Vertex (AOV) Networks Activity on Edge (AOE) Networks 6 장. 그래프 (Page 1) 5.1 AOV
More information특허청구의 범위 청구항 1 지그비 통신 망에서 지그비 노드들의 우선 순위를 부여하는 방법에 있어서, (a) 상기 지그비 노드들 각각의 CCA 수행 시간들을 전송할 데이터의 우선 순위에 따라 가변시키는 단계와; (b) 상기 가변되는 CCA 수행 시간들은 우선 순위가 높은
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) H04W 84/18 (2009.01) H04W 74/08 (2009.01) (21) 출원번호 10-2011-0040204 (22) 출원일자 2011년04월28일 심사청구일자 2011년04월28일 (65) 공개번호 10-2012-0122182 (43) 공개일자 2012년11월07일
More information(72) 발명자 오인환 서울 노원구 중계로 195, 101동 803호 (중계동, 신 안동진아파트) 서혜리 서울 종로구 평창14길 23, (평창동) 한훈식 서울 강남구 언주로71길 25-5, 301호 (역삼동, 영 훈하이츠) 이 발명을 지원한 국가연구개발사업 과제고유번호
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 2014년04월14일 (11) 등록번호 10-1384704 (24) 등록일자 2014년04월07일 (51) 국제특허분류(Int. Cl.) F16L 9/18 (2006.01) F17D 1/00 (2006.01) F16L 3/00 (2006.01) (21) 출원번호 10-2012-0113933
More information특허청구의범위청구항 1 영상제공서버에서의실시간으로영상을제공하는방법에있어서, 클라이언트로부터매장의종류를포함하는검색어를수신하는단계 ; 수신된검색어에기초하여특정지역내에서상기매장의종류에해당하는적어도하나의매장을검색하고검색결과를상기클라이언트에전송하는단계 ; 상기클라이언트로부터발생
(51) Int. Cl. (19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) G06Q 50/00 (2006.01) (21) 출원번호 10-2008-0075000 (22) 출원일자 2008 년 07 월 31 일 심사청구일자 2008 년 07 월 31 일 (65) 공개번호 10-2010-0013469 (43) 공개일자 2010 년 02 월 10 일 (56)
More information실용신안 등록청구의 범위 청구항 1 톤백마대가 설치될 수 있도록 일정간격을 두고 설치되는 한 쌍의 지지프레임과, 상기 지지프레임과 지지프레임의 상부를 서로 연결하는 한 쌍의 연결프레임과, 상기 연결프레임의 상부에 일정간격을 두고 다수 설치되어 상기 톤백마대와 그 투입구
(19) 대한민국특허청(KR) (12) 공개실용신안공보(U) (51) 국제특허분류(Int. Cl.) B65B 67/12 (2006.01) B65D 88/16 (2006.01) (21) 출원번호 20-2012-0003587 (22) 출원일자 2012년05월01일 심사청구일자 2012년05월01일 (11) 공개번호 20-2013-0006479 (43) 공개일자
More information설계란 무엇인가?
금오공과대학교 C++ 프로그래밍 jhhwang@kumoh.ac.kr 컴퓨터공학과 황준하 6 강. 함수와배열, 포인터, 참조목차 함수와포인터 주소값의매개변수전달 주소의반환 함수와배열 배열의매개변수전달 함수와참조 참조에의한매개변수전달 참조의반환 프로그래밍연습 1 /15 6 강. 함수와배열, 포인터, 참조함수와포인터 C++ 매개변수전달방법 값에의한전달 : 변수값,
More information특허청구의 범위 청구항 1 복수의 FA(Frequency Allocation)를 사용하는 광대역 무선통신 시스템에서 프리앰블 의사 잡음(Pseudo Noise : PN) 코드 할당 방법에 있어서, 각 FA에 고유의 인덱스를 정의하는 과정과, 기준 FA 인덱스를 사용하는
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 2011년03월02일 (11) 등록번호 10-1017970 (24) 등록일자 2011년02월21일 (73) 특허권자 (51) Int. Cl. 삼성전자주식회사 H04L 9/20 (2006.01) H04L 9/28 (2006.01) 경기도 수원시 영통구 매탄동 416 (21) 출원번호
More information서 인코딩한 데이터를 무선으로 송신하기 위한 무선 송신 수단; 및 통화중 상기 입력 수단으로부터의 음원 데이터 전송신 호에 따라 상기 저장 수단에 저장되어 있는 해당 음원 데이터를 상기 디코딩 수단에 의해 디코딩하고, 상기 디코딩한 음원 데이터와 상기 입력 수단을 통해
(51) Int. Cl. H04B 1/40 (2006.01) (19)대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 (11) 등록번호 (24) 등록일자 2006년11월23일 10-0646983 2006년11월09일 (21) 출원번호 10-2004-0053063 (65) 공개번호 10-2006-0004082 (22) 출원일자 2004년07월08일
More information특허청구의 범위 청구항 1 제1 내지 제6 암이 각각의 관절부를 가지며 형성되며, 상기 제1 내지 제6 암 각각은 제1 내지 제6 링크에 의해 링크되고, 상기 제1 내지 제6 암 내부에는 각각의 암을 구동하는 구동모듈이 각각 내장되며, 상기 구동모듈 각각의 선단에는 1
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) B25J 9/06 (2006.01) B25J 19/02 (2006.01) (21) 출원번호 10-2011-0079361 (22) 출원일자 2011년08월10일 심사청구일자 2011년08월10일 (65) 공개번호 10-2013-0017122 (43) 공개일자 2013년02월20일
More information게시판 스팸 실시간 차단 시스템
오픈 API 2014. 11-1 - 목 차 1. 스팸지수측정요청프로토콜 3 1.1 스팸지수측정요청프로토콜개요 3 1.2 스팸지수측정요청방법 3 2. 게시판스팸차단도구오픈 API 활용 5 2.1 PHP 5 2.1.1 차단도구오픈 API 적용방법 5 2.1.2 차단도구오픈 API 스팸지수측정요청 5 2.1.3 차단도구오픈 API 스팸지수측정결과값 5 2.2 JSP
More informationPowerPoint 프레젠테이션
국제특허심사공유시스템 OPD 사용자매뉴얼 1 목차 A B C OPD 개요 메인화면구성 구성화면설명 1. 조회 2. 전체패밀리정보 3. 전체인용 & 분류정보 4. 전체심사정보 5. ( 국가별 ) 패밀리정보 6. ( 국가별 ) 인용 & 분류정보 7. ( 국가별 ) 심사목록정보 8. ( 국가별 ) 심사문서정보 9. 심사문서 Viewer 설치 10. 게시판 2 B.
More informationPowerPoint Presentation
Class - Property Jo, Heeseung 목차 section 1 클래스의일반구조 section 2 클래스선언 section 3 객체의생성 section 4 멤버변수 4-1 객체변수 4-2 클래스변수 4-3 종단 (final) 변수 4-4 멤버변수접근방법 section 5 멤버변수접근한정자 5-1 public 5-2 private 5-3 한정자없음
More informationMicrosoft PowerPoint - chap06-2pointer.ppt
2010-1 학기프로그래밍입문 (1) chapter 06-2 참고자료 포인터 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 포인터의정의와사용 변수를선언하는것은메모리에기억공간을할당하는것이며할당된이후에는변수명으로그기억공간을사용한다. 할당된기억공간을사용하는방법에는변수명외에메모리의실제주소값을사용하는것이다.
More information이 발명을 지원한 국가연구개발사업 과제고유번호 08921-01304 부처명 방송통신위원회 연구사업명 방송통신기술개발사업 연구과제명 안전한 전자파환경 조성 주관기관 한국전자통신연구원 연구기간 2008.01.01 ~ 2012.12.31-2 -
(19) 대한민국특허청(KR) (12) 공개특허공보(A) (51) 국제특허분류(Int. Cl.) H05K 9/00 (2006.01) H04B 1/38 (2006.01) (21) 출원번호 10-2011-0134285 (22) 출원일자 2011년12월14일 심사청구일자 없음 기술이전 희망 : 기술양도, 실시권허여, 기술지도 전체 청구항 수 : 총 1 항 (54)
More information많이 이용하는 라면,햄버그,과자,탄산음료등은 무서운 병을 유발하고 비만의 원인 식품 이다. 8,등겨에 흘려 보낸 영양을 되 찾을 수 있다. 도정과정에서 등겨에 흘려 보낸 영양 많은 쌀눈과 쌀껍질의 영양을 등겨를 물에 우러나게하여 장시간 물에 담가 두어 영양을 되 찾는다
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 공개실용신안공보(U) A23L 1/307 (2006.01) C02F 1/68 (2006.01) (21) 출원번호 20-2011-0002850 (22) 출원일자 2011년04월05일 심사청구일자 2011년04월05일 (11) 공개번호 20-2011-0004312 (43) 공개일자 2011년05월03일
More information명세서청구범위청구항 1 일단이아래로경사지게형성되고타단의측면은제 1 링크 (11) 및제 2 링크 (12) 를갖는원형링크 (13) 의상기제 2 링크에연결되고상기원형링크를매개로회전가능한사용자의안착을위한좌석 (10); 일단이상기좌석의일단과상응하게아래로경사지게형성되고제 3 링크
(19) 대한민국특허청 (KR) (12) 공개특허공보 (A) (51) 국제특허분류 (Int. Cl.) A61G 5/14 (2006.01) A47C 7/62 (2006.01) (21) 출원번호 10-2014-0162951 (22) 출원일자 2014 년 11 월 20 일 심사청구일자 전체청구항수 : 총 6 항 2016 년 05 월 19 일 (11) 공개번호 10-2016-0060891
More informationU.Tu System Application DW Service AGENDA 1. 개요 4. 솔루션 모음 1.1. 제안의 배경 및 목적 4.1. 고객정의 DW구축에 필요한 메타정보 생성 1.2. 제품 개요 4.2. 사전 변경 관리 1.3. 제품 특장점 4.3. 부품화형
AGENDA 1. 개요 4. 솔루션 모음 1.1. 제안의 배경 및 목적 4.1. 고객정의 DW구축에 필요한 메타정보 생성 1.2. 제품 개요 4.2. 사전 변경 관리 1.3. 제품 특장점 4.3. 부품화형 언어 변환 1.4. 기대 효과 4.4. 프로그램 Restructuring 4.5. 소스 모듈 관리 2. SeeMAGMA 적용 전략 2.1. SeeMAGMA
More information특허청구의범위청구항 1 물을여과하는필터부 ; 상기필터부에물을유동시키는정수관 ; 상기정수관에설치되고, 상기정수관의수류를이용하여전기를발생시키는발전모듈 ; 및상기정수관에배치되고, 상기발전모듈에서발생된전기가공급되고, 상기정수관을따라유동되는정수를전기분해하여살균하는살균모듈 ; 을
(51) Int. Cl. (19) 대한민국특허청 (KR) (12) 공개특허공보 (A) B01D 35/00 (2006.01) C02F 1/461 (2006.01) C02F 1/467 (2006.01) (21) 출원번호 10-2009-0019000 (22) 출원일자 2009 년 03 월 05 일 심사청구일자 없음 전체청구항수 : 총 4 항 (54) 정수기 (11)
More informationSNU =10100 =minusby by1000 ÇÁto0.03exÇÁto0.03exÇÁ=10100 =minusby by1000 ·Îto0.03ex·Îto0.03ex·Î=10100 =minusby by1000
SNU 4190.210 프로그래밍 원리 (Principles of Programming) Part III Prof. Kwangkeun Yi 차례 1 값중심 vs 물건중심프로그래밍 (applicative vs imperative programming) 2 프로그램의이해 : 환경과메모리 (environment & memory) 다음 1 값중심 vs 물건중심프로그래밍
More information제 3강 역함수의 미분과 로피탈의 정리
제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (
More information특허청구의범위청구항 1 다관절로봇의각축별시간에대한위치함수를 4차다항식, 속도함수를 3차다항식, 가속도함수를 2차다항식으로정의하고, 상기위치함수, 속도함수및가속도함수의경계조건을이용하여계수들을계산하여가속구간, 등속구간및감속구간에서의시간에대한위치함수을구하고, 상기가속구간,
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2014년08월01일 (11) 등록번호 10-1425057 (24) 등록일자 2014년07월24일 (51) 국제특허분류 (Int. Cl.) B25J 13/00 (2006.01) G06F 17/00 (2006.01) (21) 출원번호 10-2013-0028521 (22) 출원일자
More information슬라이드 제목 없음
5.2 ER 모델 ( 계속 ) 관계와관계타입 관계는엔티티들사이에존재하는연관이나연결로서두개이상의엔티티타입들사이의사상으로생각할수있음 관계집합은동질의관계들의집합 관계타입은동질의관계들의틀 관계집합과관계타입을엄격하게구분할필요는없음 요구사항명세에서흔히동사는 ER 다이어그램에서관계로표현됨 ER 다이어그램에서다이어몬드로표기 관계타입이서로연관시키는엔티티타입들을관계타입에실선으로연결함
More information이발명을지원한국가연구개발사업 과제고유번호 NRF-2012M3C4A 부처명 미래창조과학부 연구관리전문기관 한국연구재단 연구사업명 차세대정보컴퓨팅기술개발사업 연구과제명 소셜및정보네트워크빅데이터마이닝소프트웨어원천기술개발 기여율 1/1 주관기관 서울대학교 연구기간
(19) 대한민국특허청 (KR) (12) 공개특허공보 (A) (11) 공개번호 10-2016-0147525 (43) 공개일자 2016년12월23일 (51) 국제특허분류 (Int. Cl.) H04L 12/24 (2006.01) (52) CPC 특허분류 H04L 41/12 (2013.01) H04L 41/142 (2013.01) (21) 출원번호 10-2015-0084387
More information특허청구의 범위 청구항 1 일반전화를 이용한 위험 알림시스템 및 실시간 영상전송 장치에서 CID(콜백넘버) 장치를 포함한 서버 및 그 장 비를 포함하며, 영상서버와 연동한 형태를 상황실에 전송하여 출동하는 시스템을 포함하는 것을 특징으로 하는 일반전화를 이용한 위험 알
(19) 대한민국특허청(KR) (12) 공개특허공보(A) (11) 공개번호 10-2014-0008486 (43) 공개일자 2014년01월21일 (51) 국제특허분류(Int. Cl.) G08B 25/08 (2014.01) G08B 21/02 (2006.01) G08B 13/196 (2006.01) (21) 출원번호 10-2012-0075069 (22) 출원일자
More information특허청구의 범위 청구항 1 앵커(20)를 이용한 옹벽 시공에 사용되는 옹벽패널에 있어서, 단위패널형태의 판 형태로 구성되며, 내부 중앙부가 후방 하부를 향해 기울어지도록 돌출 형성되어, 전면이 오 목하게 들어가고 후면이 돌출된 결속부(11)를 형성하되, 이 결속부(11
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 등록특허공보(B1) E02D 29/02 (2006.01) E02D 17/20 (2006.01) E02B 3/14 (2006.01) (21) 출원번호 10-2010-0089517 (22) 출원일자 2010년09월13일 심사청구일자 (56) 선행기술조사문헌 JP2006037700 A* KR100920461
More information특허청구의 범위 청구항 1 삭제 청구항 2 단일 개의 운영체제를 갖는 클라이언트 단말에 있어서, 제1 운영체제와, 상기 제1 운영체제 하에서 사용되는 파일을 저장하는 메모리; 및 상기 메모리에 저장된 파일을 운영체제 제공장치로 전송하고 상기 메모리를 포맷하며, 상기 운
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) G06F 9/22 (2006.01) (21) 출원번호 10-2012-0020563 (22) 출원일자 2012년02월28일 심사청구일자 2012년02월28일 (65) 공개번호 10-2013-0098775 (43) 공개일자 2013년09월05일 (56) 선행기술조사문헌
More information(72) 발명자 박세웅 서울특별시관악구신림동산 56-1 서울대학교뉴미디어통신공동연구소 최진구 서울특별시영등포구당산동 2 가대우메종아파트 101 동 909 호 - 2 -
(51) Int. Cl. (19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) H04B 7/26 (2006.01) H04B 7/155 (2006.01) H04Q 7/30 (2006.01) H04Q 7/20 (2006.01) (21) 출원번호 10-2006-0085572 (22) 출원일자 2006 년 09 월 06 일 심사청구일자 2006 년 09 월
More information1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut
경영학을 위한 수학 Fial Eam 5//(토) :-5: 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오.. (각 6점) 다음 적분을 구하시오 4 ( ) (a) ( )4 8 8 (b) d이 성립한다. d C C log log (c) 이다. 양변에 적분을 취하면 log C (d) 라 하자. 그러면 d 4이다. 9 9 4 / si (e) cos si
More information이발명을지원한국가연구개발사업 과제고유번호 부처명 미래창조부 연구관리전문기관 한국산업기술평가관리원 연구사업명 산업융합원천기술개발 연구과제명 단일노드 48TB 이상을지원하는개방형하둡스토리지어플라이언스 (Hadoop Storage Appliance) 개발 기
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2015년12월03일 (11) 등록번호 10-1573375 (24) 등록일자 2015년11월25일 (51) 국제특허분류 (Int. Cl.) G06F 12/08 (2006.01) (21) 출원번호 10-2013-0131411 (22) 출원일자 2013 년 10 월 31 일 심사청구일자
More information장연립방정식을풀기위한반복법 12.1 선형시스템 : Gauss-Seidel 12.2 비선형시스템 12.1 선형시스템 : Gauss-Seidel (1/10) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정
. 선형시스템 : GussSedel. 비선형시스템. 선형시스템 : GussSedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. GS 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j j b j j 여기서 j b j j j 현재반복단계
More information특허청구의 범위 청구항 1 커넥터 인서트(connector insert)와 커넥터 리셉터클(connector receptacle) 사이에 접속을 형성하는 방법으로 서, 복수의 리셉터클 패드 사이의 접속들을 식별하는 단계; 상기 복수의 리셉터클 패드 사이의 접속들의 식별
(19) 대한민국특허청(KR) (12) 공개특허공보(A) (51) 국제특허분류(Int. Cl.) G06F 13/40 (2006.01) (21) 출원번호 10-2013-7030838 (22) 출원일자(국제) 2012년04월24일 심사청구일자 2013년11월20일 (85) 번역문제출일자 2013년11월20일 (86) 국제출원번호 PCT/US2012/034822
More information슬라이드 1
장연립방정식을 풀기위한반복법. 선형시스템 : Guss-Sedel. 비선형시스템 . 선형시스템 : Guss-Sedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j b j j j
More information(72) 발명자 방하연 울산 남구 대암로 82, 201동 701호 (야음동, 신정 현대홈타운2단지아파트) 하지현 대구 동구 둔산로 311-1, 3동 504호 (검사동, 공군 관사) 최지혜 대구 수성구 노변공원로 22, 102동 1403호 ( 시지동, 동서우방아파트) -
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) A61F 5/03 (2006.01) A61F 5/02 (2006.01) A61F 5/01 (2006.01) (21) 출원번호 10-2012-0127357 (22) 출원일자 2012년11월12일 심사청구일자 2012년11월12일 (65) 공개번호 10-2014-0060713
More informationadfasdfasfdasfasfadf
C 4.5 Source code Pt.3 ISL / 강한솔 2019-04-10 Index Tree structure Build.h Tree.h St-thresh.h 2 Tree structure *Concpets : Node, Branch, Leaf, Subtree, Attribute, Attribute Value, Class Play, Don't Play.
More information출원일자 2013.12.30 관인생략출원번호통지서 특기사항심사청구 ( 무 ) 공개신청 ( 무 ) 출원번호 10-2013-0167898 ( 접수번호 1-1-2013-1208820-10) 출원인명칭 주식회사케이티 (2-1998-005456-3) 외 1 명 대리인성명특허법인명문 (9-2004-100021-1) 발명자성명 발명의명칭 정현호김봉기리샤드알리예프서동원이시형이희조입누무바로크황영헌
More information이 발명을 지원한 국가연구개발사업 과제고유번호 20110026962 부처명 교육과학기술부 연구사업명 기초사업연구-일반연구자지원사업-기본연구지원사업(유형II) 연구과제명 시공간 부호 협력 통신을 위한 동기 알고리즘 연구 기 여 율 1/1 주관기관 서울시립대학교 산학협력단
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) H04J 11/00 (2006.01) (21) 출원번호 10-2012-0038191 (22) 출원일자 2012년04월13일 심사청구일자 2012년04월13일 (65) 공개번호 10-2013-0115668 (43) 공개일자 2013년10월22일 (56) 선행기술조사문헌
More informationchap x: G입력
재귀알고리즘 (Recursive Algorithms) 재귀알고리즘의특징 문제자체가재귀적일경우적합 ( 예 : 피보나치수열 ) 이해하기가용이하나, 비효율적일수있음 재귀알고리즘을작성하는방법 재귀호출을종료하는경계조건을설정 각단계마다경계조건에접근하도록알고리즘의재귀호출 재귀알고리즘의두가지예 이진검색 순열 (Permutations) 1 장. 기본개념 (Page 19) 이진검색의재귀알고리즘
More information뉴스95호
인도 특허 절차의 주요 내용 1 특허 해설 2 특허 해설 지식재산권 관련 정보 11월말 국내 최대의 지식재산권 통합 전시회 개최 7월 20일부터 2015 대한민국지식재산대전 출품작 접수 시작 미국특허, 빨리 받는데 비용은 줄어... - 한-미 협력심사 프로그램(CSP, Collaborative Search Pilot Program) 시행 - 3 지식재산권 관련
More informationMicrosoft PowerPoint - e pptx
Import/Export Data Using VBA Objectives Referencing Excel Cells in VBA Importing Data from Excel to VBA Using VBA to Modify Contents of Cells 새서브프로시저작성하기 프로시저실행하고결과확인하기 VBA 코드이해하기 Referencing Excel Cells
More information다른 JSP 페이지호출 forward() 메서드 - 하나의 JSP 페이지실행이끝나고다른 JSP 페이지를호출할때사용한다. 예 ) <% RequestDispatcher dispatcher = request.getrequestdispatcher(" 실행할페이지.jsp");
다른 JSP 페이지호출 forward() 메서드 - 하나의 JSP 페이지실행이끝나고다른 JSP 페이지를호출할때사용한다. 예 ) RequestDispatcher dispatcher = request.getrequestdispatcher(" 실행할페이지.jsp"); dispatcher.forward(request, response); - 위의예에서와같이 RequestDispatcher
More information(72) 발명자 신일훈 경기 수원시 영통구 영통동 황골마을1단지아파트 151동 702호 나세욱 서울 용산구 용산동2가 18-5 김효준 경기 용인시 기흥구 상갈동 금화마을주공아파트 407동 1204호 윤송호 경기 용인시 수지구 풍덕천2동 삼성5차아파트 523-702 신동
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 등록특허공보(B1) G11C 16/10 (2006.01) G11C 16/34 (2006.01) (21) 출원번호 10-2006-0112411 (22) 출원일자 2006년11월14일 심사청구일자 2006년11월14일 (65) 공개번호 10-2008-0043633 (43) 공개일자 2008년05월19일
More information저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
More information특허청구의 범위 청구항 1 고유한 USB-ID를 가지며, 강제 포맷이나 프로그램 삭제가 불가능한 CD영역과 데이터의 읽기, 쓰기가 가능한 일 반영역으로 분할되어 있고 상기 CD영역에 임산부 도우미 프로그램이 임산부 PC(200)에 연결되면 자동 설치 및 실행되게 탑재된
(19) 대한민국특허청(KR) (12) 공개특허공보(A) (11) 공개번호 10-2010-0042502 (43) 공개일자 2010년04월26일 (51) Int. Cl. G06Q 50/00 (2006.01) (21) 출원번호 10-2008-0101675 (22) 출원일자 2008년10월16일 심사청구일자 전체 청구항 수 : 총 13 항 2008년10월16일 (71)
More informationChap 6: Graphs
그래프표현법 인접행렬 (Adjacency Matrix) 인접리스트 (Adjacency List) 인접다중리스트 (Adjacency Multilist) 6 장. 그래프 (Page ) 인접행렬 (Adjacency Matrix) n 개의 vertex 를갖는그래프 G 의인접행렬의구성 A[n][n] (u, v) E(G) 이면, A[u][v] = Otherwise, A[u][v]
More information특허청구의 범위 청구항 1 맨홀 일부분에 관통되게 결합되는 맨홀결합구와; 상기 맨홀결합구의 전방에 연통되게 형성되어 토양속에 묻히게 설치되고, 외주면에는 지하수가 유입될 수 있는 다수의 통공이 관통 형성된 지하수유입구와; 상기 맨홀결합구의 후방에 연통되고 수직으로 세워
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 공개특허공보(A) G01F 23/02 (2006.01) G01F 23/00 (2006.01) (21) 출원번호 10-2007-0096769 (22) 출원일자 2007년09월21일 심사청구일자 전체 청구항 수 : 총 5 항 (54) 지하수위 관측장치 2007년09월21일 (11) 공개번호 10-2009-0031004
More informationMicrosoft PowerPoint - ch07 - 포인터 pm0415
2015-1 프로그래밍언어 7. 포인터 (Pointer), 동적메모리할당 2015 년 4 월 4 일 교수김영탁 영남대학교공과대학정보통신공학과 (Tel : +82-53-810-2497; Fax : +82-53-810-4742 http://antl.yu.ac.kr/; E-mail : ytkim@yu.ac.kr) Outline 포인터 (pointer) 란? 간접참조연산자
More informationiii. Design Tab 을 Click 하여 WindowBuilder 가자동으로생성한 GUI 프로그래밍환경을확인한다.
Eclipse 개발환경에서 WindowBuilder 를이용한 Java 프로그램개발 이예는 Java 프로그램의기초를이해하고있는사람을대상으로 Embedded Microcomputer 를이용한제어시스템을 PC 에서 Serial 통신으로제어 (Graphical User Interface (GUI) 환경에서 ) 하는프로그램개발예를설명한다. WindowBuilder:
More information(72) 발명자 김현석 인천광역시남구관교동신비마을아파트 110 동 차홍파 중국길림성연길시공원가원춘위 7 조, 연변대학교 19 빌딩 4 단원 1 층서 김영환 경상북도포항시남구효자동산 31 번지포항공과대학교전자전기공학과 배태일 경상북도포항시남구
(51) Int. Cl. (19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) G06F 17/50 (2006.01) H01L 21/00 (2006.01) (21) 출원번호 10-2008-0129152 (22) 출원일자 2008 년 12 월 18 일 심사청구일자 2008 년 12 월 18 일 (65) 공개번호 10-2010-0070560 (43) 공개일자
More information공개 SW 기술지원센터
- 1 - 일자 VERSION 변경내역작성자 2007. 11. 20 0.1 초기작성손명선 - 2 - 1. 문서개요 4 가. 문서의목적 4 나. 본문서의사용방법 4 2. 테스트완료사항 5 가. 성능테스트결과 5 나. Tomcat + 단일노드 MySQL 성능테스트상세결과 5 다. Tomcat + MySQL Cluster 성능테스트상세결과 10 3. 테스트환경 15
More information탄도미사일 방어무기체계 배치모형 연구 (Optimal Allocation Model for Ballistic Missile Defense System by Simulated Annealing Algorithm)
탄도미사일 방어무기체계 배치모형 연구 (Optimal Allocation Model for Ballistic Missile Defense System by Simulated Annealing Algorithm) 이 상 헌 국방대학교 운영분석학과 우 122-875 서울시 은평구 수색동 205번지 Abstract The set covering(sc) problem
More information2002년 2학기 자료구조
자료구조 (Data Structures) Chapter 1 Basic Concepts Overview : Data (1) Data vs Information (2) Data Linear list( 선형리스트 ) - Sequential list : - Linked list : Nonlinear list( 비선형리스트 ) - Tree : - Graph : (3)
More information제 12강 함수수열의 평등수렴
제 강함수수열의평등수렴 함수의수열과극한 정의 ( 점별수렴 ): 주어진집합 과각각의자연수 에대하여함수 f : 이있다고가정하자. 이때 을집합 에서로가는함수의수열이라고한다. 모든 x 에대하여 f 수열 f ( x) lim f ( x) 가성립할때함수수열 { f } 이집합 에서함수 f 로수렴한다고한다. 또 함수 f 을집합 에서의함수수열 { f } 의극한 ( 함수 ) 이라고한다.
More informationMicrosoft PowerPoint - ºÐÆ÷ÃßÁ¤(ÀüÄ¡Çõ).ppt
수명분포및신뢰도의 통계적추정 포항공과대학교산업공학과전치혁.. 수명및수명분포 수명 - 고장 까지의시간 - 확률변수로간주 - 통상잘알려진분포를따른다고가정 수명분포 - 확률밀도함수또는 누적 분포함수로표현 - 신뢰도, 고장률, MTTF 등신뢰성지표는수명분포로부터도출 - 수명분포추정은분포함수관련모수의추정 누적분포함수및확률밀도함수 누적분포함수 cumulav dsbuo
More information항목
Cloud 컴퓨팅기반분산파일시스템개요 개발실 UPDATE : 2012. 11 18 INDEX 1. 가용성 2. 확장성 3. PrismFS 4. Q&A 2 가용성 3 Gmail 장애 2011년 2월 27일 34000명의 Gmail 사용자들이일어나보니메일, 주소록, 채팅기록등이사라진것을발견 2011년 2월 28일 스토리지소프트웨어업데이트를진행하는중 Bug로인해발생했다고공지
More information(72) 발명자 김준기 경기 군포시 광정동 한양목련아파트 1226동 805호 유세훈 인천광역시 연수구 송도동 성지리벨루스 110동 50 1호 방정환 인천 연수구 연수동 578-1 고용호 인천광역시 연수구 해송로30번길 송도 웰카운티 4 단지 20 (송도동) 407동 4
(19) 대한민국특허청(KR) (12) 등록특허공보(B1) (51) 국제특허분류(Int. Cl.) H05K 3/34 (2006.01) B23K 1/19 (2006.01) (21) 출원번호 10-2012-0091105 (22) 출원일자 2012년08월21일 심사청구일자 (56) 선행기술조사문헌 JP2004172398 A JP2004255426 A KR1020080083127
More information<322EBCF8C8AF28BFACBDC0B9AEC1A6292E687770>
연습문제해답 5 4 3 2 1 0 함수의반환값 =15 5 4 3 2 1 0 함수의반환값 =95 10 7 4 1-2 함수의반환값 =3 1 2 3 4 5 연습문제해답 1. C 언어에서의배열에대하여다음중맞는것은? (1) 3차원이상의배열은불가능하다. (2) 배열의이름은포인터와같은역할을한다. (3) 배열의인덱스는 1에서부터시작한다. (4) 선언한다음, 실행도중에배열의크기를변경하는것이가능하다.
More informationMicrosoft Word - Lab.4
Lab. 1. I-V Lab. 4. 연산증폭기 Characterist 비 tics of a Dio 비교기 ode 응용 회로 1. 실험목표 연산증폭기를이용한비교기비교기응용회로를이해 응용회로를구성, 측정및평가해서연산증폭기 2. 실험회로 A. 연산증폭기비교기응용회로 (a) 기본비교기 (b) 출력제한 비교기 (c) 슈미트트리거 (d) 포화반파정류회로그림 4.1. 연산증폭기비교기응용회로
More informationexp
exp exp exp exp exp exp exp exp exp exp exp log 第 卷 第 號 39 4 2011 4 투영법을 이용한 터빈 블레이드의 크리프 특성 분석 329 성을 평가하였다 이를 위해 결정계수값인 값 을 비교하였으며 크리프 시험 결과를 곡선 접합 한 결과와 비선형 최소자승법으로 예측한 결과 사 이 결정계수간 정도의 오차가 발생하였고
More informationPoison null byte Excuse the ads! We need some help to keep our site up. List 1 Conditions 2 Exploit plan 2.1 chunksize(p)!= prev_size (next_chunk(p) 3
Poison null byte Excuse the ads! We need some help to keep our site up. List 1 Conditions 2 Exploit plan 2.1 chunksize(p)!= prev_size (next_chunk(p) 3 Example 3.1 Files 3.2 Source code 3.3 Exploit flow
More information특허청구의 범위 청구항 1 알람을 출력하기 위한 출력 인터페이스; 사용자의 안구전도값을 측정하기 위한 안구전도 측정부; 및 상기 안구전도 측정부가 측정한 안구전도값을 이용하여 사용자의 졸음 상태를 감지하고, 그에 따라 상기 출력 인터페이스로 알람을 출력하는 졸음상태 판
(51) Int. Cl. (19) 대한민국특허청(KR) (12) 등록특허공보(B1) A61B 5/0496 (2006.01) A61B 5/18 (2006.01) (21) 출원번호 10-2009-0051767 (22) 출원일자 2009년06월11일 심사청구일자 2009년06월11일 (65) 공개번호 10-2010-0133070 (43) 공개일자 2010년12월21일
More information04 Çмú_±â¼ú±â»ç
42 s p x f p (x) f (x) VOL. 46 NO. 12 2013. 12 43 p j (x) r j n c f max f min v max, j j c j (x) j f (x) v j (x) f (x) v(x) f d (x) f (x) f (x) v(x) v(x) r f 44 r f X(x) Y (x) (x, y) (x, y) f (x, y) VOL.
More information최소비용흐름문제의선형계획모형 최소비용흐름문제는선형계획문제로표현할수있다. 예 4.1 의최소비용흐름문제는다음과같은선형계획문제가된다. min z = 5x 12 +4x 13 +7x 14 +2x x 34 +8x 35 +5x 45 sub.to x 12 +x 13 +x
최소비용흐름문제의선형계획모형 최소비용흐름문제는선형계획문제로표현할수있다. 예. 의최소비용흐름문제는다음과같은선형계획문제가된다. min z = 5x 2 +x +7x +2x 25 +0x +8x 5 +5x 5 sub.to x 2 +x +x = 0, x 2 +x 25 =, x +x +x 5 = -, x x +x 5 = -, x 25 x 5 x 5 = -7, x 2 apple,
More information명세서청구범위청구항 1 갠트리의헤드로부터방사선을조사하는선형가속기에사용되고, 상기헤드에설치되고, 방사선이조사되는환자의치료중심을향해레이저를쏘고환자의체표면에서반사된레이저를감지하여환자의체표면까지의거리를측정하는레이저거리측정기 ; 상기레이저거리측정기의데이터를수신하여 SSD(sou
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (51) 국제특허분류 (Int. Cl.) A61N 5/10 (2006.01) (21) 출원번호 10-2014-0107105 (22) 출원일자 2014 년 08 월 18 일 심사청구일자 (56) 선행기술조사문헌 JP2012024909 A* JP2012501792 A* US20100280374 A1
More information항은 발명의 상세한 설명에는 그 발명이 속하는 기술분야에서 통상의 지식을 가진 자 (이하 통상의 기술자 라고 한다)가 용이하게 실시할 수 있을 정도로 그 발명의 목적 구성 및 효과를 기재하여야 한다고 규정하고 있다. 이는 특허출원된 발명의 내용을 제 3자가 명세서만으로
대 법 원 제 2 부 판 결 사 건 2013후518 권리범위확인(특) 원고, 상고인 코오롱인더스트리 주식회사 소송대리인 변리사 경진영 외 2인 피고, 피상고인 토요보 가부시키가이샤(변경 전: 토요 보세키 가부시키가이샤) 소송대리인 변호사 박성수 외 4인 원 심 판 결 특허법원 2013. 1. 25. 선고 2012허6700 판결 판 결 선 고 2015. 9.
More informationWINDOW FUNCTION 의이해와활용방법 엑셈컨설팅본부 / DB 컨설팅팀정동기 개요 Window Function 이란행과행간의관계를쉽게정의할수있도록만든함수이다. 윈도우함수를활용하면복잡한 SQL 들을하나의 SQL 문장으로변경할수있으며반복적으로 ACCESS 하는비효율역
WINDOW FUNCTION 의이해와활용방법 엑셈컨설팅본부 / DB 컨설팅팀정동기 개요 Window Function 이란행과행간의관계를쉽게정의할수있도록만든함수이다. 윈도우함수를활용하면복잡한 SQL 들을하나의 SQL 문장으로변경할수있으며반복적으로 ACCESS 하는비효율역시쉽게해결할수있다. 이번화이트페이퍼에서는 Window Function 중순위 RANK, ROW_NUMBER,
More information<32392D342D313020C0FCB0C7BFED2CC0CCC0B1C8F12E687770>
Journal of the Society of Korea Industrial and Systems Engineering Vol 9 No 4 pp75 8 December 006 유전자 알고리즘을 이용한 시간제약 차량경로문제 * ** * ** 1 Vehicle Routing Problems with Time Window Constraints by Using Genetic
More informationMicrosoft PowerPoint - ch10 - 이진트리, AVL 트리, 트리 응용 pm0600
균형이진탐색트리 -VL Tree delson, Velskii, Landis에의해 1962년에제안됨 VL trees are balanced n VL Tree is a binary search tree such that for every internal node v of T, the heights of the children of v can differ by at
More information(72) 발명자 배홍민 울산광역시 동구 전하로 34 (전하동) 윤규상 울산광역시 동구 문현6길 19, 102동 304호 ( 방어동, 문현아이파크) 배대원 울산광역시 남구 월평로 253, 101동 409호 ( 삼산동, 삼산현대아파트) - 2 -
(19) 대한민국특허청(KR) (12) 공개특허공보(A) (11) 공개번호 10-2013-0082991 (43) 공개일자 2013년07월22일 (51) 국제특허분류(Int. Cl.) G06Q 10/06 (2012.01) (21) 출원번호 10-2011-0142753 (22) 출원일자 2011년12월26일 심사청구일자 없음 전체 청구항 수 : 총 1 항 (54)
More informationMicrosoft PowerPoint - C++ 5 .pptx
C++ 언어프로그래밍 한밭대학교전자. 제어공학과이승호교수 연산자중복 (operator overloading) 이란? 2 1. 연산자중복이란? 1) 기존에미리정의되어있는연산자 (+, -, /, * 등 ) 들을프로그래머의의도에맞도록새롭게정의하여사용할수있도록지원하는기능 2) 연산자를특정한기능을수행하도록재정의하여사용하면여러가지이점을가질수있음 3) 하나의기능이프로그래머의의도에따라바뀌어동작하는다형성
More information(72) 발명자 김현태 부산광역시수영구광안 2 동 SK 뷰아파트 김규영 부산광역시동래구온천 동 803 호 이발명을지원한국가연구개발사업 과제고유번호 B 부처명 지식경제부 연구사업명 정보통신기반구축사
(19) 대한민국특허청 (KR) (12) 공개특허공보 (A) (51) 국제특허분류 (Int. Cl.) G06T 7/20 (2006.01) (21) 출원번호 10-2011-0125814 (22) 출원일자 2011 년 11 월 29 일 심사청구일자 전체청구항수 : 총 5 항 2011 년 11 월 29 일 (54) 발명의명칭터널유고시스템의객체인식방법 (11) 공개번호
More information(72) 발명자 김도규 서울특별시성북구장위 3 동 박준일 서울특별시강서구등촌동 서광아파트 103 동 803 호 유형규 경기도광명시광명 4 동한진아파트 101 동 1801 호 - 2 -
(51) Int. Cl. (19) 대한민국특허청 (KR) (12) 공개특허공보 (A) F25B 30/06 (2006.01) (21) 출원번호 10-2008-0088941 (22) 출원일자 2008 년 09 월 09 일 심사청구일자 전체청구항수 : 총 7 항 2008 년 09 월 09 일 (54) 지중열교환기의공급파이프 (11) 공개번호 10-2010-0030143
More information11장 포인터
누구나즐기는 C 언어콘서트 제 9 장포인터 이번장에서학습할내용 포인터이란? 변수의주소 포인터의선언 간접참조연산자 포인터연산 포인터와배열 포인터와함수 이번장에서는포인터의기초적인지식을학습한다. 포인터란? 포인터 (pointer): 주소를가지고있는변수 메모리의구조 변수는메모리에저장된다. 메모리는바이트단위로액세스된다. 첫번째바이트의주소는 0, 두번째바이트는 1, 변수와메모리
More informationChapter ...
Chapter 4 프로세서 (4.9절, 4.12절, 4.13절) Contents 4.1 소개 4.2 논리 설계 기초 4.3 데이터패스 설계 4.4 단순한 구현 방법 4.5 파이프라이닝 개요*** 4.6 파이프라이닝 데이터패스 및 제어*** 4.7 데이터 해저드: 포워딩 vs. 스톨링*** 4.8 제어 해저드*** 4.9 예외 처리*** 4.10 명령어 수준
More informationPowerPoint 프레젠테이션
Chapter 06 반복문 01 반복문의필요성 02 for문 03 while문 04 do~while문 05 기타제어문 반복문의의미와필요성을이해한다. 대표적인반복문인 for 문, while 문, do~while 문의작성법을 알아본다. 1.1 반복문의필요성 반복문 동일한내용을반복하거나일정한규칙으로반복하는일을수행할때사용 프로그램을좀더간결하고실제적으로작성할수있음.
More information17장 클래스와 메소드
17 장클래스와메소드 박창이 서울시립대학교통계학과 박창이 ( 서울시립대학교통계학과 ) 17 장클래스와메소드 1 / 18 학습내용 객체지향특징들객체출력 init 메소드 str 메소드연산자재정의타입기반의버전다형성 (polymorphism) 박창이 ( 서울시립대학교통계학과 ) 17 장클래스와메소드 2 / 18 객체지향특징들 객체지향프로그래밍의특징 프로그램은객체와함수정의로구성되며대부분의계산은객체에대한연산으로표현됨객체의정의는
More information<B3EBC6AE322E687770>
특허등록건수 120000 100000 80000 60000 40000 20000 0 63 66 69 72 75 78 81 84 87 90 93 96 99 180000 160000 140000 120000 100000 80000 60000 40000 20000 0 특허출원건수 내 국 인 에 의 한 특 허 등 록 건 수 내 국 인 에 의 한 특 허 출 원 4000
More information(72) 발명자 오승용 경기도안산시상록구오목로 11 길 45, 202 호 ( 본오동 ) 박영욱 경기도수원시권선구당진로 31 번길 16, 한라비발디 202 동 1201 호 ( 당수동 ) 고대화 경기도수원시권선구금호로 189 번길 82-12, 202 호 ( 구운동 ) 김준
(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2013년06월24일 (11) 등록번호 10-1278021 (24) 등록일자 2013년06월18일 (51) 국제특허분류 (Int. Cl.) B65G 1/12 (2006.01) B65G 1/06 (2006.01) H01L 21/677 (2006.01) B25J 5/00 (2006.01)
More informationMicrosoft PowerPoint - LA_ch6_1 [호환 모드]
Chapter 6 선형변환은무질서한과정과공학제어시스템의설계에관한연구에사용된다. 또한전기및음성신호로부터의소음여과와컴퓨터그래픽등에사용된다. 선형변환 Liear rasformatio 6. 6 변환으로서의행렬 Matrices as rasformatios 6. 변환으로서의행렬 6. 선형연산자의기하학 6.3 핵과치역 6.4 선형변환의합성과가역성 6.5 컴퓨터그래픽 si
More information슬라이드 1
www.altsoft.co.kr www.clunix.com COMSOL4.0a Cluster 성능테스트 2010 년 10 월 클루닉스 / 알트소프트 개요 개요 목차 BMT 환경정보 BMT 시나리오소개 COMSOL4.0a MPP 해석실행조건 BMT 결과 COMSOL4.0a 클러스터분석결과 ( 메모리 / 성능 ) COMSOL4.0a 클러스터최종분석결과 -2- 개요
More informationIP 심화 라우팅프로토콜적용시 라우팅테이블에서 이니셜이있는네트워크를설정하는것 : onnected 직접연결된네트워크를의미한다. 그러므로라우팅은 나는이런네트워크와연결되어있다. 를직접연결된라우터들에게알려주는것 1>en 1#conf t 1(config)#router rip 1
IP 심화 º 각 P 의게이트웨이는해당네트워크의마지막주소를사용한다. - P1 (210.220.10.1/26) 의게이트웨이 (5의 Fa0/0) : 210.220.10.63 /26 = 255.255.255.192 호스트비트수 : 32-26 = 6 비트 => = 64 그러므로 P1의 IP 210.220.10.1 중서브넷마스크에의거 26비트는변함이없고, 나머지 6비트가호스트비트로변하므로
More information(19) 대한민국특허청 (KR) (12) 등록특허공보 (B1) (45) 공고일자 2014년07월10일 (11) 등록번호 10-1418046 (24) 등록일자 2014년07월03일 (51) 국제특허분류 (Int. Cl.) H03K 5/156 (2006.01) H03K 7/08 (2006.01) (21) 출원번호 10-2012-0148658 (22) 출원일자 2012
More informationFrama-C/JESSIS 사용법 소개
Frama-C 프로그램검증시스템소개 박종현 @ POSTECH PL Frama-C? C 프로그램대상정적분석도구 플러그인구조 JESSIE Wp Aorai Frama-C 커널 2 ROSAEC 2011 동계워크샵 @ 통영 JESSIE? Frama-C 연역검증플러그인 프로그램분석 검증조건추출 증명 Hoare 논리에기초한프로그램검증도구 사용법 $ frama-c jessie
More information