• TTA Journal
• /
• s.137
• /
• pp.22-27
• /
• 2011

정보통신기술(ICT)은 우리 일상생활에 너무나 깊숙이 스며들어 이제 정보통신기술 없이는 행정서비스, 경제활동, 사회참여, 문화활동 등을 향유하는데 많은 제약이 따르는 시대로 접어들었다. 정보통신기술에 접근하고 이용할 수 있는 사람과 그렇지 못한 사람들의 정보격차 (Digital Divide)가 경제격차와 사회문화적 격차를 유발하여 사회 불평등을 심화시키고 궁극적으로 사회통합을 저해할 가능성이 크다. 정보통신 접근성(ICT Accessibility)은 신체적, 인지적 제약으로 정보통신기기나 서비스에 접근하는데 어려움이 있는 장애인이나 고령자가 일반인과 차별 없이 정보통신의 유용성을 향유할 수 있도록 정보통신기기나 서비스에 대한 접근을 보장해 주는 것을 의미한다. 우리나라는 미국이나 유럽 등 선진국들에 비해 정보통신 접근성을 위한 법 제도적인 출발이 늦었지만, 최근 수년간 관련 법률의 제정, 정보통신 접근성 보장을 위한 지침 및 표준의 제정 등 다각적인 노력을 경주하여 빠른 속도로 선진국 수준을 향해 나아가고 있다. 지금까지 '한국형 웹 콘텐츠 접근성 지침 2.0', '금융자동화기기 접근성 지침' 등 12개에 이르는 표준을 제정한 바 있으며, 정보통신 보조기기의 개발 보급, 관련 전문인력 양성 및 교육 홍보 등을 통해 정보통신 접근성 수준 향상을 위한 노력을 지속해 왔다. 앞으로도 모바일 시대, 디지털 융합의 스마트 시대에 대응하여 다양한 정보통신기기 및 서비스에 대한 접근성 표준 제정, 관련 기술의 연구 등을 지속적으로 추진하여 모든 사람이 정보화의 혜택을 누리는 디지털 통합 (Digital Inclusion) 시대를 열어나가야 할 것이다.

• Korean Journal of Cognitive Science
• /
• v.20 no.1
• /
• pp.1-28
• /
• 2009

The expression KES, one of the most commonly used words in the Korean language, has various usages. This expression is also used to express English-like cleft constructions. Korean seems to employ at least three different types of cleft constructions: predicational, identificational, and eventual. The paper tries to provide a constraint-based analysis of these three types of Korean cleft constructions and implement the analysis in the LKB(Linguistic Knowledge Building) system to check the feasibility of the analysis. In particular, the paper shows how a typed feature structure grammar, couched upon HPSG, can provide a robust basis for parsing Korean cleft constructions.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.348-355
• /
• 2001

세종전자사전은 한국어 어휘의 정보를 총체적으로 표상하는 전산어휘자료체이다. 세종전자사전은 궁극적으로 다양한 유형과 기능의 한국어 자동처리에의 활용을 목표로 한다. 세종체언전자사전은 최종적으로 5만여 항목을 대상으로 구축될 것이다. 세종명사전자사전은 전산적 효율성을 고려하여 명사 어휘의 정보를 8개의 하위정보구획과 50여개의 세부정보항목으로 구분하여 표상한다. 특히, 명사의 어휘 통사적인 결합에 관한 정보는 한국어 명사구와 문장의 자동생성에 직접 활용될 수 있는 정보이다. 명사는 수식어 요소 또는 조사와 결합하여 명사구를 형성하고, 동사 및 형용사와 결합하여 문장의 생성에 참여한다. 개별 명사들은 이 과정에서 다양한 제약적인 양상들을 보여주고 있으며, 세종명사전자사전은 이 정보들을 명시적으로 표상한다. 또한 명사는 기능동사와 결합하는 술어명사와 그렇지 않은 비술어명사로 구분이 된다. 술어 명사가 기능동사와 결합하여 문장을 형성할 때, 명사와 그 논항들은 다양한 통사적 기능을 담당한다. 또한 술어명사는 논항과 결합하여 명사구를 형성한다. 그러나, 술어명사의 명사구 형성과 기능동사의 결합은 불규칙적이고, 명사와 기능동사의 의미적 특성에 따라 다양한 제약이 발견된다. 이 정보들의 정밀한 표상은 개별 술어명사로부터 생성될 수 있는 가능한 명사구와 문장의 형태를 구체적으로 밝혀주게 된다. 세종명사전자사전의 어휘 통사적인 결합에 관한 정보들은 명사구 또는 문장의 자동생성의 정확성과 효율성을 높여줄 것이다.

• Proceedings of the KOR-KST Conference
• /
• 1998.10a
• /
• pp.11-20
• /
• 1998

정적 통행배분모형은 도로 건설 등 공급부문에의 적용은 가능하나 통행량 및 혼잡의 시간적 공간적 변화를 고려하지 못하여 수요관리에서는 교통량 및 비용에 대한 관측치와 모형의 결과치가 상이한 문제가 있다. 이에 동적배분모형의 다양한 접근방법이 시도되고 있는데 그 중 Simulation기법을 개발하고자 하였다. 모형은 개별차량의 시공간상 움직임을 포현하고자 절대시간이 가장 이른 차량순으로 시뮬레이션을 함으로써 선입선출(FIFO)을 가능하게 하였다. 각 차량별 지체시간의 계산은 대기행렬 이론을 기초로 한 누적곡선법을 적용하여 도출하였다. 개별차량 Simulation은 시간축으로 확장된 연속류 Network상에서 각 차량의 도착 및 출발할 노드와 시간대를 결정하면 모든 지점에서 누적도착, 출발곡선을 그릴 수 있으며 이를 통해 도로구간에 있어 시간대별 통행시간, 밀도, 속도 등을 파악할 수 있다. 또한 합류부의 용량와 와해현상과 분류부의 용량변화현상 제약 및 Queue길이 제약이 이루어지도록 하였다. 개발된 모형의 검증은 영동대교 북단 강변도로 진출입부 자료를 실측하여 사용하였다. 모형은 합류부 용량와해의 적용 전과 후의 결과를 각각 실측치와 비교하였다. 용량와해현상을 적용한 모형에서 MAPE 10%미만의 우수한 예측력을 보였다. 이는 누적곡선을 이용한 Simulation모형이 현실에 가까움을 의미하는 것이며, 합류부 용량와해현상의 관계식을 보다 정교하게 도출하고 분류부에도 이를 적용한다면 모형의 예측력은 더욱 향상될 것으로 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.7
• /
• pp.359-367
• /
• 2005

This paper presents a scheduling approach for synthesizing pipelined datapaths under resource constraints. The proposed approach evaluates whether or not a scheduling solution can exist in case an operation temporarily is assigned to the earliest or latest control step among the assignable steps for the operation. If a solution cannot be found, it is impossible to assign the operation to that control step due to a violation against resource constraints, and so we can eliminate that control step among candidate assignable control steps. The proposed algorithm builds up a schedule based on gradual mobility reduction and finds a solution that yields high performance by evaluating on the impact on register assignment. Experiments on benchmarks show that this approach gains a considerable improvement over previous approaches.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.405-408
• /
• 2006

사용자들의 특성에 맞게 개인화되고 세분화된 위치 기반 서비스를 제공하기 위해서는 방대한 이동객체의 위치 이력 데이터로부터 유용한 패턴을 추출하기 위한 시간 패턴 탐사가 필요하다. 기존의 시간 패턴 탐사 기법들은 이동 객체의 시간에 따른 공간 속성들의 변화를 충분히 고려하지 못하거나, 시공간 속성을 동시에 고려한 패턴 탐사는 가능하나 제약을 가진 공간 정보를 포함하는 패턴 탐사 문제에는 적용하기 어렵다. 따라서 이동 객체의 위치 이력 데이터들에 대한 시공간적 속성들을 동시에 고려하여 다양한 이동 패턴들 중 공간 제약을 만족하는 패턴들을 추출하기 위한 새로운 이동 패턴 탐사 기법이 요구된다. 이러한 패턴 탐사 기법의 개발을 위해서는 상세 수준의 위치 이력 데이터들을 공간 영역 정보 형태로 변환하는 위치 일반화 접근법이 필요하다. 이에 본 논문에서는 객체의 위치값과 공간 영역간의 위상 관계를 고려하여 이동 객체의 위치 속성에 대한 공간영역으로의 일반화 방법을 제안한다. 이동 객체의 상세 수준의 위치 정보에서는 의미있는 패턴을 찾기가 어렵기 때문에 데이터 전처리 과정을 통해 일반화된 데이터 집합을 형성함으로써 효율적인 이동 객체의 시간 패턴 마이닝을 유도할 수 있다.

• Journal of Korea Game Society
• /
• v.19 no.2
• /
• pp.83-94
• /
• 2019

This paper analyzed the posthuman features of the open-world adventure game. These games represent the player character as Posthuman Subject through the restrictions of information and body. The player explores all of the spaces to perform the quests due to nonlinearity of open-world. The interactions are restricted conflicts and it reveals through gameplay. The experiences as Posthuman Subject allow the player to embody the Hybrid Subjectivity and think about coexistence of human and inhuman.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.379-386
• /
• 2002

This paper presents a scheduling approach for synthesizing pipelined datapaths under resource constraints. Our approach builds up a schedule based on gradual mobility reduction in contrast to other algorithms of previous researches, where an operation being scheduled is selected by using a priority function. The proposed method consists of a scheduling algorithm and a decision algorithm for detecting any violation against resource constraints. Our approach evaluates whether or not a scheduling solution can exist in case an operation temporarily is assigned to the earliest or latest control step among the assignable steps for the operation. If a solution cannot be found, it is impossible to assign the operation to that step due to a violation against resource constraints, and so we can eliminate that control step. This process is iterated until a reduction of mobility for all operations can not be obtained. Experiments on benchmarks show that this approach gains a considerable improvement over those by previous approaches.

• KNOM Review
• /
• v.22 no.3
• /
• pp.25-30
• /
• 2019

For meteorological applications, meaningful results must be derived and provided within time and resource limits. Forecasts through numerous historical data are time-consuming and still have resource limitations in the case of disaster safety-related analyses/predictions such as local typhoon forecasts. Suitable forecasts should be provided without any problems caused by limited physical environmental conditions and when results are to be drawn under time constraints, such as typhoon forecasts and forecast services for flooded areas by road. In this paper, we analyze the application of weather and climate forecasting to provide a suitable forecasting service in both temporal and resource conditions. Through the analysis of execution time according to mesh sizes, it was confirmed that a mesh adjustment can cope with the case of the temporal constraint. In addition, by analyzing the execution time through memory resource control, we confirmed the minimum resource condition that does not affect the performance and the resource usage pattern of the application through the swap and mlock analysis.