• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(하)
• /
• pp.852-855
• /
• 2003

지식ㆍ정보화 사회에서는 교사가 학생에게 교과서의 지식뿐만 아니라, 학생 스스로 인지 구조를 형성할 수 있도록 다양한 정보를 제공해야 한다. 따라서, 동일한 교과를 강의하는 교사들은 웹 상의 대량의 정보 가운데서 의미 있는 정보를 서로 교환ㆍ공유하여 교수-학습활동에 활용할 필요가 있다. 기존 웹 상의 교수-학습자료 시스템은 주로 HTML을 이용하기 때문에 한정된 태그만을 사용하여 사용자가 원하는 형태의 기능을 지원할 수 없을 뿐만 아니라 이런 태그들은 정확한 의미를 전달하지 못한다. 또한 구조화 능력이 부족하여 문서의 계층 구조를 표현하지 못하며, 효과적인 저장과 검색이 불가능하다. 즉, 화면상에 보여지는 기능 외에는 색다른 기능을 제공하지 못한다. 본 논문에서는 동일한 교과를 강의하는 교사가 교수-학습자료를 웹 상에서 손쉽게 작성하여 원활하게 교환할 수 있도록 XML 문서로 생성하는 시스템을 설계 및 구현한다. XML 문서의 교수-학습자료는 의미 있는 정보 전달과 문서의 구조화가 가능하다 또한 데이터를 수정하는 기능과 다양한 표현 형식이 가능하도록 지원함으로써 기존의 교수-학습자료의 재사용을 가능케 한다. 결과적으로, 교사가 교수-학습자료 작성에 드는 시간과 노력을 절약하여 본연의 임무에 충실하도록 해줌으로써 교수-학습활동의 질을 향상시킬 수 있다.

• 한국정보처리학회논문지
• /
• 제5권7호
• /
• pp.1896-1907
• /
• 1998

확장된 마크흐름선도(EMFG: Extednded Mark Flow Graph)는 기존의 MFG를 개선한 그래프로서, 회로변수식에 의해 실제회로로 쉽게 구현가능하므로 이산제어시스템의 모델링과 설계 및 구현의 강력한 도구로 사용될 수 있다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션들이 점화완료하였을 때 각 박스들의 마크수 변화를 부울함수식과 벡터를 사용하여 표현하였다. 또한 시스템의 상태변화를 쉽게 판단할 수 있게 하는 EMFG의 동작알고리듬을 제안하였으며, 제안된 알고리듬은 3-비트 증가계수기를 설계한 EMFG와 시간트랜지션이 포함된 가상의 EMFG에서 잘 수행되었다. EMFG의 동작이 부울함수로 해석가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화된 시스템의 분석과 설계가 가능하다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 D
• /
• pp.2637-2639
• /
• 2004

무선 통신 기술의 발전으로 유선 네트워크의 단점들을 해결 할 수 있는 방법들이 계속 연구되고 있다. 본 논문에서는 유동성과 간편성 등의 장점이 있는 무선 네트워크를 블루투스 기술을 이용해 구현하는 것을 목적으로 한다. 블루투스는 소형 및 저전력의 낮은 대역폭을 갖는 개방된 무선 통신 규격으로서 패킷 형태의 데이터 전송을 통해 보안과 같은 중요한 부분에 대해서도 정의하고 있다. 블루투스는 데이터 전송을 위해서 호스트의 역할을 개인용 컴퓨터에 의존하는 경향이 많아 설치의 어려움과 높은 비용으로 인해 무선 네트워크 구현시 많은 수의 중계기 설치가 어려운 단점이 있다. 본 논문에서는 소형마이크로프로세서를 블루투스 호스트로 사용함으로써 무선 네트워크를 구현한다. 따라서 소형화뿐만 아니라 내장된 전원을 통해서 충분한 작업 시간의 확보가 가능하다. 임베디드 시스템 기반의 블루투스를 사용 하므로써 다양한 장소에 중계기 설치가 가능하며, 시스템의 효율성도 높일 수 있다. 또한 무선을 필요로 하는 많은 분야로 확대 적용도 가능할 것이다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1991년도 춘계공동학술대회 발표논문 및 초록집; 전북대학교, 전주; 26-27 Apr. 1991
• /
• pp.97-115
• /
• 1991

본 시스템은 주어진 건축 부지위에 최대 건축 가능 공간을 산정한다. 한국 건축법규와 건축조례를 검토하여 가능공간을 산정하며 입력 데이타로는 부지 및 도로의 도형정보 및 부지의 위치정보등을 사용한다. 본 시스템은 일반적인 CAD S/W와 달리 Non-geometric 데이터를 많이 포함하여 데이터 구조 부분이 타 시스템과 많은 차이가 있으므로, 그에 따른 알고리즘을 자체 개발 적용하였다. 본 시스템은 건축 법규 추론 시스템의 결과에 따라 건축 가능 공간을 솔리드 모델로 생성한다. 이를 위해 평면만을 가지는 경계 표현법(B-Rep)솔리드 모델링 기능이 사용되었으며 생성되는 솔리드 모델은 Half-Edge데이터 구조로 저장되며 물성치 계산 기능, 은선제거기능, 음영처리기능들이 개발되었다. 적용시 각 단계를 시각화하고 출력하여 지금까지의 수작업을 배제하고 정확한 결과를 얻게 하여 설계시간을 최소화하고 건축주에게 만족한 결과를 얻게 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2003년도 추계학술대회
• /
• pp.284-289
• /
• 2003

인터넷디스크 서비스는 인터넷에서 사용자가 웹브라우저를 통해 자신에게 할당된 범위 내에서 주어진 저장공간을 자신의 로컬 디스크처럼 사용할 수 있도록 하여주는 서비스이다. 인터넷디스크 서비스는 인터넷으로 연결이 가능한 경우 시간과 공간의 제약 없이 자료를 저장하거나 호출할 수 있으며 특정 그룹에 속한 사용자 사이에 저장공간의 공유를 가능하게 하는 등의 기능을 제공한다. 이러한 장점으로 인해 현재 다수의 상업용 포탈 업체에서 인터넷디스크 서비스가 제공되고 있으나, 현재의 인터넷디스크 서비스는 DAS 기반의 시스템으로써 여러 사용자 그룹 사이의 저장공간 공유와 고가용성 등을 지원하는데 문제점을 보이고 있다. 본 논문은 파일공유가 가능한 저장장치 네트워크(SAN)를 사용하여 이러한 문제를 해결할 수 있는 고가용성 인터넷디스크 서비스 시스템의 설계와 구현에 대하여 논한다.

• 정보보호학회지
• /
• 제33권2호
• /
• pp.13-20
• /
• 2023

양자 알고리즘이 구동 가능한 양자 컴퓨터는 현대 암호들이 기반하고 있는 수학적 난제들을 빠르게 해결할 수 있다, 대칭키 암호의 경우, Grover 알고리즘을 사용한 전수조사 가속화가 가능하며, 공개키 암호의 경우, Shor 알고리즘을 사용하여 RSA와 ECC가 기반하고 있는 난제들을 다항시간 내에 해결할 수 있다. 이에 다양한 대칭키 암호, 그리고 RSA와 ECC의 양자 해킹 방법론에 대한 연구들이 수행되고 있다. 물론 양자컴퓨터의 제한적인 성능으로 인해 실제 해킹이 가능한 수준은 아니지만, 양자 공격 회로를 제시하고 그에 필요한 양자 자원들을 분석하는 방식으로 실제 해킹 가능성에 대해 추정해 보는 연구 결과들이 발표되고 있다. 이에 본 기고에서는 양자 컴퓨터를 통한 대칭키 및 공개키 암호 해킹 동향에 대해 살펴보고자 한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제6권7호
• /
• pp.297-306
• /
• 2017

버스정보 시스템을 이용하는 시민들은 더 정확한 예측 정보를 원한다. 하지만 평균 기반 단기간 예측 알고리즘을 사용하는 대부분의 버스정보시스템에서는 교통흐름, 신호주기, 정차시간 등의 영향이 고려되지 않기 때문에 많은 오차를 포함하고 있는 실정이다. 따라서 본 논문에서는 오차의 영향요인 분석을 통해 예측정보의 정밀도를 향상시켜 시민들의 편의를 도모하고자 한다. 이에 현재 운영되고 있는 버스정보 시스템의 자료를 토대로 오차의 영향요인을 분석했다. 분석 데이터에서 시간대별 특성과 지리적 여건에 의한 영향이 복합적으로 나타나고, 정차시간과 단위구간속도에 미치는 영향도가 다름을 보였다. 이에 따라 정차시간은 일반화 가법 모형을 사용하여 시간, GPS 좌표, 통과 노선수의 설명변수로 패턴을 구축하고, 단위구간에 대해 은닉 마르코프 모델을 사용하여 교통흐름에 따른 영향도를 고려한 패턴을 구축했다. 패턴 구축의 결과로 정밀한 실시간예측이 가능하고, 노선 통행속도의 장기간 예측이 가능했다. 마지막으로 관측 데이터와 예측 데이터의 통계적 검정 과정을 통해 전구간 예측에 적합한 모델임을 보였다. 본 논문의 결과로 시민들에게 더 정확한 예측 정보를 제공하고, 장기간 예측은 배차시간 등의 의사결정에 중요한 역할을 수행할 수 있으리라 생각한다.

• Environmental Analysis Health and Toxicology
• /
• 제18권2호
• /
• pp.77-87
• /
• 2003

성게의 정자를 이용한 생물검정은 해양환경의 독성평가에 널리 사용되고 있다. 그러나, 국내산 성게류의 경우 산란기가 3~11월로 겨울에는 생물검정 실칩이 불가능한 단점이 있다. 이를 보완하기 위하여 겨울에 산란이 가능한 아무르불가사리(Arterias amurensis)를 생물검정용으로 개발하였다. 불가사리류의 생식과 발생과정은 성게류와 유사하므로 성게류를 이용한 실험 방법을 아무르불가사리에 적용할 수 있다. 그러나, 생물검정 실험 결과의 유효성은 실험조건에 의하여 달라질 수 있으므로, 본 연구에서는 실험 결과에 큰 영향을 미칠 수 있는 조건들 즉. 수정막의 발달 시간, 정자와 알의 비율, 정자의 활력이 유지되는 시간, 정자의 노출 시간, 그리고 시료의 염분 범위 등을 최적화 하고자 하였다. 수정막의 발달이 완전하게 이루어지는 최소 시간은 60분이었고, 시료에 주입할 정자와 알의 비율은 3,000이상일 때 수정률이 높게 유지되었다(70%이상). 정자의 활력은 해수에 희석한 후 3시간 이상이 경과하면 급격히 감소하였다. 정자의 노출시간은 20~60분의 범위에서 구리에 대한 $EC_{50}$이 크게 달라지지 않았다(변동계수: 17%).실험에 적절한 시료의 염분 범위는 26~38 psu이었다. 아무르불가사리 정자의 민감도는, 일반적으로 해양환경 평가에 흔히 사용되는 생물들의 민감도 범위의 중간 정도에 해당하였다. 따라서 아무르불가사리의 정자는 해양환경 평가를 위한 생물검정용으로 적합한 것으로 여겨진다.

• 정보처리학회논문지A
• /
• 제13A권5호
• /
• pp.421-428
• /
• 2006

본 논문에서는 복잡해져 가는 제어 컴퓨터의 높은 신뢰성 확보를 위해 시간 여분(time redundancy)의 일종인 재실행과 rollback 기법을 TMR 구조에 적절하게 혼용하는 방법을 제안한다 재실행과 rollback 기법은 약간의 추가 시간만으로 재구성(reconfiguration) 없이도 일시적인 결함(fault)에 의해 발생한 TMR 고장(failure)의 회복을 위해 상호 보완적으로 사용될 수 있다. 이를 위해 고장 검출시 가능한 모든 시스템의 고장상태 확률을 추정하였으며, 이를 바탕으로 전체 작업의 평균 실행시간이 최소가 되는 최적의 재실행과 rollback 횟수를 유도하였다. 또한 제안된 방법과 다른 고장회복 기법을 적용했을 때의 평균 실행 시간을 정량적으로 비교하여 그 우수성을 검증하였다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 춘계공동학술대회: 지식경영과 지식공학
• /
• pp.195-202
• /
• 1999

본 논문은 배전 계통에서 부하 제약조건과 운전 제약조건을 고려한 손실 감소와 부하 평형에 대해 시뮬레이티드 어닐링 알고리즘을 적용한 재구성 방법을 서술하였다. 네트워크 재구성은 수많은 연계 개폐기와 구분 개폐기의 조합에 의해 이루어지기 때문에 조합적인 최적화 문제이다. 이러한 문제는 수많은 조합에 제약조건까지 있어 해를 구하기가 쉽지 않을 뿐 아니라 국소 해에 빠질 가능성이 많다. 따라서 신경망 중에서 제약조건에 따라 신경망 구조에 영향을 미치지 않으면서 전역 최소해에 수렴하는 특성을 가진 시뮬레이티드 어닐링 기법을 이용하여 배전 계통의 선로를 재구성하였다. 시뮬레이티드 어닐링은 이론적으로 최적해가 보장되지만 무한대의 시간이 걸리기 때문에 현실적으로 적용할 때 해 공간을 탐색하는 규칙과 온도를 적절히 내리는 냉각 스케줄(cooling schedule)이 중요하다. 본 논문에서는 알고리즘 상에서 제약조건 위반 여부를 점검할 수 있는 제약조건과 페널티 상수(penalty factor)를 통해 목적함수에 반영하는 제약조건으로 나누어 모든 후보해를 가능해가 되게 하였고 기존에 사용되던 Kirkpatrick의 냉각 스케줄 대신에 후보해의 통계적 처리에 의해 온도를 내리는 다항-시간 냉각 스케줄(polynomial-time cooling schedule)을 사용하여 수행시간을 단축하고 수렴성을 높였다. 제안한 알고리즘의 효용성을 입증하기 위해 32, 69모선 예제 계통으로 테스트하였다.