최근 몇 년 동안 발생한 자연재해로 인한 인명피해 및 재산피해의 규모가 매우 크며, 발생빈도가 조금씩 늘어나고 있는 추세이다. 이러한 자연재해는 근본적으로 차단할 수 있는 방법이 없...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82666883
2011
Korean
004
학술저널
302-305(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
최근 몇 년 동안 발생한 자연재해로 인한 인명피해 및 재산피해의 규모가 매우 크며, 발생빈도가 조금씩 늘어나고 있는 추세이다. 이러한 자연재해는 근본적으로 차단할 수 있는 방법이 없...
최근 몇 년 동안 발생한 자연재해로 인한 인명피해 및 재산피해의 규모가 매우 크며, 발생빈도가 조금씩 늘어나고 있는 추세이다. 이러한 자연재해는 근본적으로 차단할 수 있는 방법이 없기 때문에, 적절한 사전대비 또는 대응을 통해 그 피해를 줄이는 노력이 요구된다. 국가적 차원에서 이러한 자연재해 및 위기상황에 대한 대처방안을 정리하여 위기대응 매뉴얼을 만들어 배포하고 있다. 하지만, 위기대응 매뉴얼 자체에 대한 검증은 이루어진 바가 없다. 본 논문에서는 위기대응 매뉴얼이 포함할 수 있는 잠재적 문제점을 찾기 위해 위기대응 매뉴얼에 대해 정형언어를 사용에 모델링을 하고 모델체킹 기법을 통해 원하는 속성이 만족될 수 있는지를 살펴보았다.
목차 (Table of Contents)
Revisiting Fragment Marking Scheme
Rendezvous in Cognitive Radio Networks without Common Control Channel