• Title/Summary/Keyword: 동일학과

Search Result 772, Processing Time 0.029 seconds

Study of methodology for converting Fault Tree to Statecharts (폴트 트리의 상태차트 변환 방법론 연구)

  • Hyuk Lee;Jean-Ho Lee;Jin-Hyun Kim;Jin-Young Choi
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.11a
    • /
    • pp.597-600
    • /
    • 2008
  • 안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.

A RapidPLUS used Sensor Node Simulation (RapidPLUS를 이용한 센서노드 시뮬레이션)

  • SungSoon Ahn;Jeong-Bae Lee;Hyeong-Wook Han;Dae-Eung Kim
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2008.11a
    • /
    • pp.974-976
    • /
    • 2008
  • 유비쿼터스 컴퓨팅은 우리의 생활양식을 빠르게 변화시켜가고 있다. 그러한 배경에는 IT 기술 고도화와 무선 통신기술 발달로 인한 센서 네트워크 환경이 있다. 유비쿼터스 환경 속 센서 네트워크 구축에 있어서는 기존 네트워크와는 다르게 정해진 규격의 동일 장비의 네트워크가 아닌 정해진 규격의 다양한 장비들 간의 상호교류 속에서 이루어진 다는 것이 다르다. 또한 무선을 통해 정보를 주고 받기 때문에 주변 환경에 따라서 통신을 위한 추가적인 경비가 더 소모되기도 한다. 본 논문에서는 이러한 센서 네트워크 환경 구축함에 있어 효율적인 방안을 제시하고 RapidPLUS를 이용하여 시뮬레이터를 구현한다.

Convergence Study on In Vitro Lipid Digestibility of Instant Fried Noodle with HPMC (HPMC 점도의 유탕면 지방소화 지연에 대한 융합 연구)

  • Bae, In Young;Jang, Hye Lim;Choi, Yean Jung;Lee, Hyeon Gyu
    • Journal of the Korea Convergence Society
    • /
    • v.10 no.2
    • /
    • pp.41-48
    • /
    • 2019
  • The effects of HPMC (hydroxypropyl methylcellulose) on instant fried noodles regarding oil uptake and in vitro lipid digestibility were evaluated according to different viscosity levels, as well as the same apparent viscosity. The oil uptake and lipid digestibility decreased with the increasing HPMC viscosity and replacement level, demonstrating that the reduced oil uptake and lipid digestibility may be caused by the high viscosity of HPMC. Furthermore, the oil uptake and lipid digestibility of noodles with HPMC at both apparent viscosities decreased with the increasing viscosity of HPMC in spite of having the same apparent viscosity. As a result, the high viscosity of HPMC on instant fried noodles was more critical factor compared to apparent viscosity for lowering oil uptake and lipid digestibility.

NIST PQC 벤치마크 플랫폼 최신 동향

  • Hyeok-Dong Kwon;Min-Joo Sim;Gyeong-Ju Song;Min-Woo Lee;Hwa-Jeong Seo
    • Review of KIISC
    • /
    • v.33 no.2
    • /
    • pp.69-77
    • /
    • 2023
  • 미국 국립표준기술연구소에서 개최한 양자내성암호 표준화 공모전이 2022년 표준화 선정을 마치고 4라운드 추가 표준선정에 진입하였다. 공모전에 제출된 후보 알고리즘은 각자의 성능 지표를 제시하였지만, 서로 다른 환경에서 성능을 측정하였기에 객관적인 비교가 어려웠다. 이를 해결하기 위해 양자내성암호 벤치마크 플랫폼이 등장하였다. 양자내성암호 벤치마크 플랫폼은 양자내성암호 후보 알고리즘을 모두 동일한 환경에서 벤치마크하여 객관적인 결과를 제공하는데 집중하였다. 이때 각 알고리즘이 지니는 다양한 구동 의존성 때문에 알고리즘을 동일 환경에서 가동하는 데에 제한이 있다. 따라서 벤치마크 플랫폼은 알고리즘들의 의존성을 제거하고 동일한 환경을 제공하는데 집중하였으며 이를 통해 양자내성암호의 성능에 대한 접근성을 높여 사람들의 양자내성암호 연구에 큰 도움을 주었다.

Design and Implementation Algorithm of Efficient Travel Time for Mobility Groups Using Hierarchy Clusters (계층 군집을 이용한 효율적인 이동 집단의 소요 이동 시간 알고리즘 설계 및 구현)

  • Song, YeJi;Jeon, TaeHyeon;Ahn, Jinhyun;Im, Dong-Hyuk
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2020.11a
    • /
    • pp.777-780
    • /
    • 2020
  • 본 논문은 동일 목적지를 가진 다수의 사람들이 동일 이동 수단을 탑승하여 이동할 경우 발생하는 소요 시간의 감소를 위한 거점 군집에 대해 다루려 한다. 실제 도로망에서는 노드에 해당하는 사람들의 위치가 유동적으로 변화 하고 사람 간의 거리 값 또한 변화하게 된다. 따라서 동일한 목적지를 가진 다수의 사람들이 한 대의 차량을 탑승하여 이동한다고 가정할 때 차량의 최단 경로 및 소요 시간 감소를 목적을 기반으로 설계하였다. 차량의 최단 경로를 감소시키 위해서 사람들을 군집화 하는 방법을 사용하였고 그 결과 경유지가 감소 되어 차량의 이동 경로 값은 감소되었다. 또한, 전체 이동 소요 시간 역시 군집을 통해 감소시킬 수 있다. 본 논문에서는 이와 같이 군집을 이용한 최단 경로의 감소와 전체 이동시간 감소에 대한 알고리즘을 설계하고 구현하였다.

Design On a Secure Messenger Using Elliptic Curve Cryptography and IPSec (타원곡선 암호체계 및 IPSEC을 이용한 안전한 메신저 설계)

  • Park, Su-Young;Choi, Gwang-mi;Jung, Chai-Yeoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.05a
    • /
    • pp.1157-1160
    • /
    • 2004
  • 현재 사용되고 있는 대부분의 메신저는 서버에 로그 온할 때 패스워드를 RC5등으로 암호화해서 보내지만 패스워드 크래킹 프로그램들이 많이 알려져 있어 안전하지 못하다. 또한 로그 온한 후 통신하는 두 호스트들 간의 전송되는 정보가 아무런 보호 장치 없이 네트워크를 통해 전송되어 제3자에 의한 도청이 가능하게 된다. 따라서 전송되는 정보의 암호화를 포함하는 안전한 메신저 서비스의 필요성이 대두되고 있다. 본 논문에서 제안된 안전한 메신저는 동일한 키 사이즈를 갖는 다른 공개키 암호체계보다 훨씬 강하다고 알려져 있는 타원곡선 암호체계를 이용하여 빠르고 효율적이며 높은 안전도를 나타내는 패스워드 키 교환 방식을 설계하였고, 사용자간에 IPSec프로토콜을 사용하여 효율적인 데이터 전송이 가능하고 또한 보안성을 높이기 위한 방법으로 Host-to-Host간의 데이터가 인터넷에서 가상의 파이프를 통해 전달되도록 터널 모드를 제시하였다.

  • PDF

Architecture Design for Embedded Testing (임베디드 테스팅을 위한 아키텍처 설계)

  • Kim, Ji-Hyeok;Kim, Sang-Il;Rhew, Sung-Yul
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.05a
    • /
    • pp.333-336
    • /
    • 2004
  • 임베디드 소프트웨어 개발의 비중이 점차 높아져 감에 따라 임베디드 테스팅의 중요성이 부각되고 있다. 임베디드 테스팅과 일반적인 애플리케이션 테스팅은 많은 차이점이 있다. 일반 애플리케이션 테스팅은 개발 환경과 테스팅 환경이 동일하다. 그러나 임베디드 테스팅은 테스팅 대상이 플랫폼에 기반한 타겟이라는 점에서 여타의 애플리케이션 테스팅과는 다르다. 따라서 임베디드 테스팅을 위한 아키텍처 설계를 고려할 필요가 있다. 임베디드 테스팅을 위한 아키텍처들이 몇몇 제시되고는 있지만 실제 적용해서 사용하기에는 여러 가지 문제점이 존재한다. 본 연구는 애플리케이션 테스팅의 아키텍처를 비교, 분석하고 임베디드 테스팅에 적용 가능한 요소들을 추출한다. 또한 임베디드 테스팅을 위한 여러 아키텍처를 비교, 분석하여 임베디드 테스팅에 커스터마이즈 된 아키텍처를 설계하고자 한다. 향후에는 본 연구에서 제안된 아키텍처를 기반으로 실제 임베디드 테스팅에 적용하고자 한다.

  • PDF

A Study on Sound Reproduction for Adaptive Mixed-Reality Space (적응형 혼합현실 체험공간을 위한 음향재현 기술에 관한 연구)

  • Park, Ji-Woong;Lee, Ho-Jin;Kwon, Soonil
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2013.05a
    • /
    • pp.303-306
    • /
    • 2013
  • 실제공간체감을 극대화하기 위해 실제 물리적인 공간과 가상현실 공간을 융합하는 인터랙티브 아키텍쳐 기반 적응형 혼합현실 기술이 최근 연구되고 있다. 이러한 혼합현실 공간에서 동적인 사용자 위치에 따라 물리공간적 몰입감 증대를 위한 오디오 Sweet Spot 최적화 기술을 연구하였다. 이를 위해 주파수 대역 별 소리의 물리적 감쇠현상을 활용하여 주파수 별 오디오 신호 보상 전처리를 통해 동적인 사용자 위치에 원음과 동일한 음색의 오디오 Sweet Spot이 형성이 가능한지 실험한 결과 주파수 별 감쇠의 차이를 보정함으로써 원음 그대로의 음색이 재현될 수 있다는 것을 확인할 수 있었다.

Tag Value Measurement Algorithm for Personalized Recommendation (개인화 추천을 위한 태그 가치 측정 알고리즘)

  • Jeong, Kwang-Jae;Park, Gun-Woo;Lee, Sang-Hoon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.04a
    • /
    • pp.1078-1081
    • /
    • 2010
  • 웹 2.0의 영향으로 인터넷 상에 범람하는 컨텐츠를 이용함에 있어 태깅 시스템은 매우 유연하고 효과적인 분류를 가능케 한다. 대부분의 웹 2.0 사이트에서는 검색된 정보에 해당하는 태그와 연관성이 있는 태그를 나타냄으로써 또 다른 관련 컨텐츠를 이용할 수 있는 서비스를 제공한다. 컨텐츠 사용자에 의해 생성되는 태그는 개인 성향에 따라 동일 컨텐츠에 다양하게 적용될 수 있으며 이로 인해 태그를 이용한 검색은 낮은 정확도를 나타낼 수 있다. 본 논문에서는 태그 선택에 있어 인간 상호작용의 특성을 파악하여 개인이 선호하고, 필요로 하는 컨텐츠에 대한 태그를 추천할 수 있는 태그 가치 측정 알고리즘을 제안한다. 컨텐츠 선택에 있어 의사결정에 영향을 미치는 요인을 식별하고 선호영화 추천 서비스인 MovieLens 사이트의 데이터 셋을 적용하여 태그 추천의 예측 정확도를 비교 평가함으로써 향상된 태그 가치 산정 결과를 제시한다.

An Implementation of a Character Recognition System using JNI on Android Platform (JNI를 이용한 안드로이드 플랫폼기반 문자 인식 시스템 구현)

  • Lee, Woo Young;Ahn, Gee Taek;Kim, Cheong Ghil
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.1471-1473
    • /
    • 2010
  • 스마트 폰의 급속한 보급 확산에 따라 스마트 폰의 각종 센서를 이용한 응용 영역이 넓어지고 있다. 그 가운데 스마트 폰의 카메라를 이용한 인식 기술은 비전 기반 증강현실 시스템 구현의 핵심적인 부분으로 그 중요성이 부각되고 있다. 본 논문에서는 스마트 폰의 카메라를 사용하여 JNI 기술을 이용한 안드로이드 기반의 인쇄매체의 문자 검출 및 인식 시스템을 설계 구현하였다. 전체 시스템은 영상의 전처리 과정을 통한 문자 영역의 검출과 인식 알고리즘 연산 후 기본 데이터와의 비교를 통한 문자인식 과정으로 구성되어 있다. 본 구성은 PC기반의 일반적 문자 인식과 동일하다. 구현결과는 1GHz의 CPU를 가지는 스마트 폰의 제한된 하드웨어 자원에서도 플랫폼 최적화를 통한 실시간 인식의 가능성을 보여주었다.