• Title/Summary/Keyword: 의미제약

Search Result 551, Processing Time 0.03 seconds

An Extension of SWCL to Represent Logical Implication Knowledge under Semantic Web Environment (의미웹 환경에서 조건부함축 제약 지식표현을 위한 SWCL의 확장)

  • Kim, Hak-Jin
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.39 no.3
    • /
    • pp.7-22
    • /
    • 2014
  • By the publications of RDF and OWL, the Semantic Web is confirmed as a technology through which information in the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to how to provide more useful information to users for their decision making beyond simple use of the structured data in ontologies. SWRL that makes logical inference possible by rules, and SWCL that formulates constraints under the Semantic Web environment are some of many efforts toward the achievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the language by adding one more type of constraint, implication constaint, in its repertoire. When users use binary variables to represent logical relationships in mathematical models, it requires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its need, definition and relevant technical description is presented by the use of the optimal common attribute selection problem in product design.

Design and Implementation of Educational Robot for Logical Ability Improvement (논리력 향상을 위한 교육용 로봇 설계 및 구현)

  • Moon, Chae-Young;Kim, Eui-Jeong;Kang, Shin-Cheon
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2007.06a
    • /
    • pp.304-309
    • /
    • 2007
  • 본 논문에서는 학생들의 논리력과 창의적 문제해결 능력 향상을 위한 교육용 로봇을 설계하고 구현하였다. 제작된 로봇은 센서와 프로세서 그리고 모터 구동회로를 포함하고 있는 하드웨어와 교육용 로봇 제어 소프트웨어, 로봇 구조물 제작용 기계부품 그리고 교육내용과 제작 매뉴얼이 포함된 교재로 구성되어 있다. 제작된 로봇은 컴퓨터를 사용하지 않고 로봇에 직접 프로그래밍이 가능한 특징을 갖고 있는데 이는 로봇 교육에 있어서 장소의 제약을 받지 않고 교육이 가능함을 의미하며 학생들의 프로그래밍 결과가 로봇의 움직임으로 나타나므로 기존의 정적인 컴퓨터 프로그램 교육의 한계를 넘어 동적인 프로그램 교육이 가능하다. 그리고 간단한 하드웨어 지식과 기초 명령어만으로도 로봇을 제어할 수 있도록 사용자 중심의 함수화된 명령어를 사용하여 로봇이나 컴퓨터 프로그램을 처음 접하는 학생들도 쉽게 접근이 가능하도록 설계 하였다. 로봇을 조립하고 프로그래밍 하는 과정을 통해 학생들의 창의성과 논리력 그리고 문제해결 능력 신장에 기여할 수 있을 것으로 기대한다.

  • PDF

XML Document Transcoding reflecting User and Service Provider' Annotation (사용자와 서비스 제공자의 어노테이션을 반영한 XML 문서 트랜트코딩)

  • Jung, Ssang-Yong;Sohn, Won-Sung;Lee, Jin-Sang;Lim, Soon-Bum;Choy, Yoon-Chul
    • Annual Conference of KIPS
    • /
    • 2003.11a
    • /
    • pp.613-616
    • /
    • 2003
  • 개인용 단말기의 급속한 확산으로 인해 언제, 어디서나 시간과 공간의 제약없이 웹 컨텐츠를 이용하고자 하는 욕구가 증대하고 있다. 그러나 현재 유선에서 지원되는 웹 컨텐츠를 개인용 단말기에서 지원하기에는 단말기의 성능상 한계(screen size, memory size, bandwidth 등) 때문에 여러 가지 문제가 있다. 트랜스코딩이란 이러한 기존 유선 환경에서 제공되는 웹 컨텐츠를 특정 환경에 적합한 형태로 변환하는 것을 의미한다. 그러나 이와 관련된 기존 연구에서는 사용자가 요구하는 사항만을 변환하거나 서비스 제공자가 일방적으로 변환하여 웹 컨텐츠를 제공하고 있다. 따라서 이슈변화에 따른 사용자의 대처능력이 떨어지기 때문에 사용자의 사용성이 저하되며, 사용자에게 무의미한 정보 제공의 가능성이 있다. 이러한 문제점들을 해결하기 위해 본 논문에서는 사용자 프로파일에 의한 요구사항과 서비스 제공자의 의견을 함께 제공할 수 있는 변환 기법을 제안하고, 특히 멀티미디어 뉴스 제작을 위한 표준인 NewsML을 대상으로 적용하였다. 사용자 프로파일에 의한 요구 사항은 XML 문서의 구조 정보를 이용하여 자동으로 추출하고, 서비스 제공자의 의견은 문서의 레이아웃(Layout) 정보를 가지고, 어노테이션(Annotation) 기법을 활용하여 수동으로 추출한다. 그 결과, 사용자 관점에 부합하는 변환이 이루어지고, 다양한 이슈변화에 대한 대처능력이 향상되어 사용자의 사용성이 증대되었다.

  • PDF

Fast Packet Filter ing using Network Coprocessor (네트워크 보조 프로세서를 사용한 고속 패킷 필터링)

  • Yi, Hong-Seok;Kim, Jong-Su;Chung, Ki-Hyun;Choi, Kyung-Hee
    • Annual Conference of KIPS
    • /
    • 2003.05b
    • /
    • pp.1129-1132
    • /
    • 2003
  • 사용자의 인터넷 서비스 고속화 요구가 증대되면서 스위치나 라우터 보안 장비와 같은 인터네트워킹 장비들의 성능 향상 요구도 커지고 있는데 이는 패킷을 처리하는 양과 속도를 향상시켜야 하다는 것을 의미한다. 스위치와 같은 라인 인터페이스 장치들은 주로 전용 하드웨어로 설계되므로 네트워크의 트래픽 처리 성능을 보장받을 수 있으나, 보안 장비나 네트워크 응용 장비들은 일반 서버 기반에서 트래픽을 처리하는 경우가 많아 시스템적으로 성능 향상에 제약을 받거나 성능 향상을 위해서 높은 비용을 지불해야 한다. 근래의 이러한 통신 관련 장비들에서의 패킷 처리 방식은 단순한 연결 차원을 넘어 패킷을 분석하고 연결을 제어하는 모습을 보이고 있는데 이러한 추가 작업 때문에라도 시스템에 많은 부하가 발생한다. 이러한 트래픽의 분석 처리를 빠르게 하기 위해서는 입력된 데이터와 설정된 규칙간의 비교와 판단이 빨라질 필요가 있는데, 본 논문에서는 이를 위해 기존에 연구된 몇 가지 S/W 적인 해결 방법과 H/W 적인 방법들을 분석하고, 더 나은 검색 성능을 위해 H/W 기반 네트워크 보조 프로세서를 이용한 방식을 제안하고 실험을 통하여 검증하였다.

  • PDF

Optimal Road Congestion Pricing under Inter-dependent Market Conditions (Theoretical Review) (상호의존적 교통시장하의 최적 도로혼잡통행료 연구(이론적 고찰))

  • Yun, Jang-Ho;Yeo, Hong-Gu
    • Journal of Korean Society of Transportation
    • /
    • v.24 no.7 s.93
    • /
    • pp.139-148
    • /
    • 2006
  • In order to incorporate substitution effects between different transport modes in optimal road Pricing, relating economic theories and models have been reviewed. It includes unconstrained optimization problem of maximizing separable and non-separable social net benefit functions of different substitutable urban transport modes. In doing that, the problem and limitations such as path-independent conditions with the asymmetric Jacobian of the objective function have been reviewed. Consequently, a plausible way of deriving optimal road price under interdependent market conditions has been suggested so that the idea can help identifying desirable and acceptable urban transport policy alternatives in a more comprehensive way.

Optimal ELAN Configuration for Scaling Broadcast Traffic in a LAN Emulation Network (LANE망에서의 scalable한 broadcast traffic 관리를 위한 최적 ELAN 구성방법)

  • 손종희;김도훈;차동완
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2000.04a
    • /
    • pp.691-694
    • /
    • 2000
  • 기존 LAN 환경에서 인터넷을 이용한 멀티미디어 실시간 전송과 같은 QoS 보장형 서비스에 대한 요구가 증대되면서, 고속의 ATM 기술을 LAN에 적용하는 기술들이 등장하였다. LANE(LAN Emulation)은 그러한 기술 대안들 중에서 campus network와 enterprise network에 많이 보급되고 있는 기술이다. 그러나 이러한 급격한 LANE 도입에 비하여 이의 효과적인 운용에 대한 연구는 많지 않은 실정이다. 본 논문에서는 LANE을 도입한 campus network의 최적 운영방안에 대하여 논한다. Broadcast 데이터 트래픽 관리에서 발생하는 규모성(Scalability) 문제로 인하여 전체 LANE망은 여러 개의 ELAN으로 나뉘어 관리된다. 이 때 하나의 ELAN은 마치 단위 LAN로써, Broadcast 데이터의 전송범위를 제한한다. 즉, 서로 다른 ELAN에 속하는 노드간에는 Broadcast 방식으로 데이터를 전송할 수 없게 된다. 그런데, IPX 등을 사용하는 대화형 시뮬레이션 게임 등과 같은 응용프로그램에서는 Broadcast 방식이 이용되므로, 서로 다른 ELAN에 속하는 노드간의 데이터 전송은 불가능하게 되거나 별도의 복잡한 과정을 개입시켜야 하는 비용이 발생한다. 따라서 규모성 문제해결을 위한 ELAN 구성(configuration)에는 위와 같은 비용이 수반된다. 본 연구에서는 LANE망을 여러 개의 ELAN으로 분할하는 경우에 블로킹(blocking) 되는 Broadcast 트래픽 규모를 해당 ELAN 구성의 비용으로 간주한다. 이 경우에 규모성을 고려한 ELAN의 최적 구현방안(optimal configuration)은 ELAN 구성을 위한 기술적 제약하에서 블로킹되는 Broadcast 트래픽을 최소화시키는 문제로 요약된다. 이는 다시 그래프 분할문제(graph partition problem)의 변형된 형태로 모형화 될 수 있다. 본 논문에서는 이러한 사항들을 고려하여 제시된 수리적 모형을 대상으로, genetic algorithm을 이용하여 최적 ELAN 구성을 위한 여러 파라미터들의 효과를 살펴보고, 이러한 결과들이 LANE 운영과 관련하여 가지는 함축적인 의미를 고찰한다.

  • PDF

The Impacts of Uncertainty on Investment: Empirical Evidence from Manufacturing Firms in Korea (불확실성이 투자에 미치는 영향에 관한 실증분석)

  • Lee, Hangyong
    • KDI Journal of Economic Policy
    • /
    • v.27 no.2
    • /
    • pp.89-121
    • /
    • 2005
  • This paper investigates the empirical relationship between investment and uncertainty using the firm level data of Korean manufacturing sector. Empirical results show that uncertainty is negatively correlated with investment only for the post-crisis sample period. In particular, the negative effect of uncertainty on investment is more significant for low interest coverage ratio firms, high debt-asset ratio firms and small firms. The results are consistent with the claim that firms act in a more risk-averse manner after the financial crisis. This paper also finds a significant sensitivity of investment to cash flows only for the pre-crisis sample period, suggesting that financial constraint is not relatively important in explaining low investment after the financial crisis.

  • PDF

Flash Interface Design for Home Network (플래시 기반의 감성요소를 활용한 홈 네트워크 인터페이스 디자인 연구)

  • Lee, Kun-Sik;Yang, Jung-Hwa;Shin, Sung-Won
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02b
    • /
    • pp.304-311
    • /
    • 2007
  • 플래시 기반의 wall pad에서 보여줄 수 있는 그래픽 인터페이스의 방향은 크게 세가지로 구분할 수 있다. 첫 번째, 디스플레이 내의 자유로운 공간 이동이다. Wall pad의 주요한 기능은 제품의 원격제어이며 디스플레이에서 각 제품의 위치와 상태를 표시해 주는 것이다. 그러나 한정된 디스플레이 내에서 이러한 동작은 쉽지 않다. 플래시 기반의 환경에서 자유로운 zoom in, out을 통해 제품에 대한 정보를 명확하게 전달 가능하게 된다. 두 번째, 사용자의 감성 만족도를 극대화하는 측면이다. 감성 만족도를 높이기 위하여 모바일 제품에서도 대기화면 등에 다양한 요소를 적용하고 있다. 다만 본 제품은 모바일 제품과는 달리 항상 거실의 고정된 위치에서 보여지게 된다는 환경적 제약을 가지고 있다. 따라서 이를 활용하여 그 자체로 하나의 거실 인테리어 소품이 되어 전체 거실의 분위기를 한층 돋보이게 하는 역할까지도 가능하다. 세 번째, 메뉴 전개 방식에 활용 가능하다. 기능이 다양해지고 복잡해질수록 메뉴를 찾아 들어가는 일은 어렵고 복잡해지기 쉽다. 이러한 문제는 시간과 공간의 개념을 활용한 메뉴 전개를 통해 플래시를 활용하여 좀 더 직관적이고 인공지능적인 메뉴 방식으로 접근이 가능해진다. 이와 같이 홈 네트워크 인터페이스에서 플래시를 활용하는 것은 큰 의미가 있으며 실제 제품에 최적화해 가는 과정에서 그 효과를 얼마나 유지할 수 있느냐에 대한 문제가 가장 중요한 이슈가 될 것이다.

  • PDF

Conceptual Description of Hierarchical Structure in Discourse (담화 내 계층 구조의 개념 구조적 기술)

  • 구유선
    • Korean Journal of Cognitive Science
    • /
    • v.11 no.3_4
    • /
    • pp.23-32
    • /
    • 2000
  • The distinction between main structure and side structure in discourse which was central to narrative studies has lacked an adequate. formal definition. This study supports the contention that there exists a hierarchical structure between discourse units constituting main structures, substructures, and side structures. The aim of this study is twofold: (j) to present an adequate. formal definition that provides a general identification criterion for distinguishing main structure from substructure and side structure proposed by Kuppevelt, and (jj) to propose conceptual relations representing hierarchical structures in discourse based on Sowa's Conceptual Structure Theory. The proposed conceptual relations which represent hierarchy and pragmatic relations of discourse segments are: DIGR (digression). T-SHFT (topic shift), and FRAM (frame). This s study shows pragmatic functions can be incorporated within CST in a systematic way.

  • PDF

Design and Development of Programming Instruction Robot System using Smart Phone (스마트폰을 활용한 프로그래밍 학습용 로봇시스템 설계 및 개발)

  • Moon, Chae-Young;Kim, Se-Min;Ryu, Kwang-Ki
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2012.10a
    • /
    • pp.477-480
    • /
    • 2012
  • In this study an programming instruction robot system using smart phone was designed and development. The system In this study is by direct programming using smart phone and program written using smart phone through a bluetooth module behavior is to be transferred to the robot control circuit. In this places, without the constraints of the robots in education and training means you can the robot's motion and, therefore, the results of students of programming through a smartphone is beyond the limits of the existing educational programming education.

  • PDF