• 한국ITS학회 논문지
• /
• 제11권4호
• /
• pp.51-62
• /
• 2012

Lighthill과 Whitham의 충격파모형에 따르면 동일한 속도를 유지하는 교통류 흐름상태에서도 충격파가 존재하며, 이는 라디오 전파처럼 보이지도 않고 관측할 수도 없다고 하였다. 최근의 한 논문은 이 문제에 대해 새로운 접근방법을 통해 위와 같은 모순이 어떻게 발생하였는지를 보여주었고, 이를 개선하기 위해 점근적 충격파모형 (asymptotical shock wave model) 을 제시하였다. 점근적 충격파모형은 동일한 속도로 이동하는 균일한 교통류에서 라디오 전파와 같은 관측 불가능한 충격파가 존재하지 않는 것을 증명하였다. 그러나 상기 논문은 모형의 유도와 증명에 치중하였고 모형으로서의 해석이나 구체적인 수치를 적용한 모형의 검증은 아직 실행된 적이 없다. 본 논문은 점근적 충격파모형의 내포된 의미를 해석하고, 구체적인 수치를 바탕으로 한 시나리오를 통해 모형의 성능을 시험하였다. 그 결과 점근적 충격파모형은 기존 모형에 비해 수식상의 큰 차이는 없었지만, 유일한 차이인 등식의 세 번째 항목이 모형 결과에 결정적인 차이를 나타냄을 확인하였다. 새 모형에 도입된 파라메터는 적용된 수치의 대소에 따라 그 결과가 다르게 나타났다. 이는 기존의 충격파모형에는 없는 특징으로서, 적절한 수치를 선정한다면 다양한 교통흐름에 신축적으로 모형을 적용할 수 있을 것으로 판단된다. 또한 구체적인 수치를 적용한 점근적모형의 시나리오별 시험 결과 동일한 조건에서 새로운 모형은 기존 모형에 비해 충격파가 교통류의 하류 측으로 더 진행됨을 확인하였다. 양 모형간의 이러한 차이는 통계적 유의성 검토에서도 확인되었으며, 향후 현장 자료를 적용한 추가적 비교연구가 필요한 것으로 사료된다.

• 한국콘텐츠학회논문지
• /
• 제7권1호
• /
• pp.21-31
• /
• 2007

지적재산권 제도는 21세기 정보화 사회의 발전에 있어서도 중요한 역할을 하고 있다. 국가 경쟁력 제고를 위해서도 디지털콘텐츠에서 확대하여 소프트웨어 소스 코드에 대한 지적재산권 제도와 기술의 정비는 매우 중요한 의미를 지닌다. 소프트웨어 소스코드의 소유권 분쟁이 발생 시 소유권을 증명하기 위해서는 원본의 소프트웨어 소스코드를 판별해야만 하는 문제점을 갖고 있다. 본 연구에서는 소프트웨어 소스코드의 원본 판별을 지원하기 위한 소프트웨어 소스코드의 디지털 라이센스는 소스코드의 예약어를 파싱하여 계층구조를 갖는 XML 파일로 표현하며, 복잡한 소스코드 대신에 소프트웨어 소스코드의 아키텍처를 트리구조 형태로 표현할 수 있다. 그리고 디지털 라이센스를 검색하기 위한 색인 및 검색에 대한 연구를 수행한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제36권5호
• /
• pp.366-373
• /
• 2009

이 논문은 이미지 데이터베이스를 위한 유사도 순위 매김 알고리즘을 제시한다. 이미지 검색의 문제점 중 하나가 이미지로부터 자동적으로 계산한 하위 레벨 특성과 인간 지각과의 의미 차이이며, 검색시에 이미지 유사도 측정을 위해 많은 알고리즘에서는 민코프스키 측정법($L_p$-norm)을 사용하고 있다. 그러나 민코프스키 측정법은 인간 시각 시스템의 비선형적 특성과 문맥 정보를 반영하지 못한다. 본 알고리즘에서는 인간 지각의 비선형성과 문맥 정보를 반영하는 유사도와 탐색 알고리즘을 통해 이 문제를 해결한다. 본 알고리즘을 필기체 숫자 이미지 데이터베이스에 적용하여 성능의 우수성과 효과를 증명하였다.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1404-1409
• /
• 2015

본 논문에서는 벤치마크용이 아닌 실제 자바스크립트 프로그램을 효과적으로 분석하기 위해서 정확도와 확장성을 조절하는 정적 분석 프레임워크를 제시한다. 본 논문에서 제안하는 방식은 전분석과 본분석의 두 단계로 구성된다. 전분석은 분석 대상을 조절해서 분석의 정확도를 결정하기 위한 분석 대상의 윤곽을 계산한다. 본분석은 주어진 분석 대상의 윤곽 안에서 실행 의미를 빠뜨리지 않고 안전하게 분석한다. 두 단계 분석 기법을 소개한 후, 전분석에서 분석 대상의 윤곽을 조절하여 본분석의 정확도와 확장성을 조절할 수 있음을 보이고 그 방식의 올바름을 증명한다.

• 한국컴퓨터정보학회논문지
• /
• 제11권2호
• /
• pp.239-251
• /
• 2006

Zheng이 제안한 Signcryption 기법은 전자 서명과 대칭키 암호화를 논리적으로 한 단계에 수행함으로써 기존의 서명 후 암호화 기법들에서 요구되는 계산비용보다 적은 비용을 가지는 새로운 암호학적인 기법이다. 현재까지 제안되어 온 Signcryption 기법들에서는 송신 부인이 발생하여 제3자가 이를 검증해야 할 경우 수신측의 비밀키 노출이 불가피하였다. 이 문제를 해결하기 위해 이 논문에서는 익명성과 Unlinkability를 지원하는 다목적의 ID기반 Signcryption기법을 제안한다. 제안된 기법은 Weil-pairing을 암호화에 이용하면서 random oracle 모델의 안전성을 유지하고, 결정적 쌍선형 Diffie-Hellman 의미론적 보안의 형식적 증명을 따르기 때문에 기존 Signcryption기법들보다 안전하면서 효율적이다.

• 컴퓨터교육학회논문지
• /
• 제3권1호
• /
• pp.75-86
• /
• 2000

인터넷을 활용한 수업은 학생들에게 학습에 대한 자신감을 부여할 뿐 아니라 전에는 직접 경험할 수 없었던 조사, 가설설정, 실험, 탐구, 증명, 문제해결 등을 직접 경험할 수 있음이 제시되어 왔다. 그러나 아무리 인터넷 활용 수업이 교육적 활용 가치가 높다고 해도 교사가 이용하지 않는다면 인터넷의 가치는 별 의미가 없을 것이다. 이에 본 연구는 정보화 사회의 새로운 수업 환경으로 주목받고 있는 인터넷 활용 수업의 성공적 확산을 위한 노력의 일환으로, 현장 교사들의 인터넷 활용 수업에 관해 조사연구하고 이를 바탕으로 고등학교에서 인터넷의 효과적 수업과정 활용을 위한 발전 방안을 탐구, 제언하고자 하였다.

• 디지털콘텐츠학회 논문지
• /
• 제15권5호
• /
• pp.621-630
• /
• 2014

본 연구는 G. 레이코프와 M. 존슨이 제시한 '개념적 은유'를 적용해 소셜 네트워크 서비스의 은유적 특성을 분석하는 것을 목적으로 한다. 소셜 네트워크 서비스는 일방향적 소통만 가능했던 기존 매체와는 달리, 사용자가 참여적으로 자신의 일상을 표현하고 타인의 서사를 해석하는 과정을 통해서 그 텍스트를 확장한다. 기존 매체에서 수동적이던 독자가, SNS에서 적극적인 발화자로 전환될 수 있었던 가장 큰 이유는 SNS에 내재된 은유적 속성 때문이다. 이에 본 연구에서는 SNS 사용자 텍스트의 생성 및 해석 과정을 '근원영역'과 '목표영역'을 중심으로 고찰했다. 이후 은유적 속성을 통해 나타난 사용자 텍스트의 생성구조를 폴 리쾨르의 삼중 미메시스를 통해 증명했다. SNS를 환유로 전제했던 기존의 연구 관점과 달리, 본 연구는 SNS의 은유적 특성 및 의미를 제시했다는 점에서 그 의의가 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.1348-1351
• /
• 2009

패킷 재배치(packet reodering)는 전송한 패킷의 순서가 처음과 다르게 뒤섞여 수신지에 도착하는 현상을 의미한다. 패킷 재배치는 불필요한 재전송이나 불필요한 혼잡 제어를 수행하여 TCP의 성능을 저하시킨다. 패킷 재배치에 의한 TCP 성능 저하를 막기 위해 다양한 접근 방법이 소개되었다. TCP-DAD는 기존 TCP에서 3으로 고정된 중복 응답 임계값을 동적으로 조절하여, 잘못된 혼잡 제어를 예방하고 있다. 일반적으로 전송한 패킷의 수가 많을 때, 패킷 재배치를 경험할 확률이 높으며, 패킷 재배치에 의해 잘못된 혼잡 제어가 일어날 가능성 많다. 고속 네트워크 환경에서는 혼잡 윈도우 크기 변화의 폭이 매우 크다는 점을 고려할 때, 중복 응답 임계값을 조절하는 TCP-DAD는 한계가 있다. 본 논문에서는 고속 네트워크 환경에서의 패킷 재배치 현상으로 인한 TCP 성능저하를 완화하기 위한 새로운 알고리즘 TCP-DT를 소개한다. 이는 중복 응답 수에 의존하지 않고 타이머를 통해 혼잡 제어를 수행하는 메커니즘 이다. 본 논문은 NS-2를 사용하여 고속 네트워크 환경에서의 시뮬레이션을 통해 제안한 TCP-DT의 성능 향상을 증명하였다.

• 한국콘텐츠학회논문지
• /
• 제5권6호
• /
• pp.31-40
• /
• 2005

포스트 게놈 시대에는 단백질에 대한 연구의 필요성이 증대되고 있다. 특히 단백질-단백질 상호작용 및 단백질 네트워크에 대한 연구를 기반으로 전체 생물 체계를 분석하는 연구가 중요하게 대두되고 있다. 기존에 생물학자들이 실험을 통해서 증명한 사실들을 논문이나 기타 매체를 통해서 공개를 하고 있다. 하지만 공개된 정보의 양이 방대하므로 생물학자들이 정보를 효율적으로 이용하지 못하는 경우가 많다. 다행히도 인터넷의 발달로 하루에도 수 없이 쏟아져 나오는 연구 성과들에 쉽게 접근이 가능해졌다. 이러한 매체로부터 생물학적 의미를 가지는 정보를 효과적으로 추출하는 일이 중요하게 대두되었다. 따라서 본 연구에서는 인터넷상에 공개된 다량의 논문 및 기타 정보 매체로부터 단백질 정보를 추출한 데이터베이스로부터 단백질 네트워크를 구성하고, 단백질 네트워크를 통해서 생물학적 의미를 가지는 여러가지 경로 분석 알고리즘을 설계하고 구현한다.

• 한국HCI학회논문지
• /
• 제6권1호
• /
• pp.17-20
• /
• 2011

Fred.E Fiedler는 상황 리더쉽 이론에서 사회 문화적 특성에 따른 Work-style을 근거하여 문화집단을 과업지향적인(Task-oriented) 집단과 관계지향적인 (Relationship-oriented)집단으로 나눈다. 본 연구는 제품사용에 있어 Task를 수행하는 성향의 정도가 제품 인터렉션에 영향을 미칠 것이라는 가설을 세우고, 이를 검증하기 위하여 Fred.E Fiedler의 상황 리더쉽 이론을 근거로 하는 LPC 실험결과의 성향 정도에 따른 제품 사용 인터렉션을 연구한다. Task-oriented 성향과 가까운 문화권 집단은 제품사용에 있어 의도한 목적을 단 시간 빠르게 수행(usability)하는 퍼포먼스의 인터렉션을 중시하고, Relationship-oriented 성향과 가까운 문화권 집단은 제품사용에 있어 목적을 수행(usability)할 때 의미부여(refelctive)적인 측면을 더 중요하게 생각할 것이라는 가설을 증명하기 위한 실험으로 비교적 Task의 의미부여(refelctive)가 동등하고 빈번하게 잘 일어나는 기기인 모바일 단말기 사용에 있어 이 두 집단의 주소록의 주기능과 부기능 사용행태를 비교하고 데이터를 수집, 분석하여 가설을 검증한다. 이 연구결과, 주소록 사용에 있어서 피들러의 상황이론에 의한 Task 수행성향은 모바일 단말기 인터렉션 사용에 영향과의 연관성은 다소 낮게 나타났으며, 관련하여 본 실험 도중 몇 가지 흥미로운 패턴을 발견할 수 있었는데, 이를 기반으로 향후 모바일 단말기의 주소록의 사용자 지향적인 디자인 방향성에 대한 가이드라인을 제시하였다.