• Title/Summary/Keyword: logical framework

Search Result 139, Processing Time 0.025 seconds

A Logical Framework for Image Object Representation (이미지 개체 표현을 위한 논리적 프레임워크)

  • Choi, Jun-Ho;Kim, Sung-Suk;Choi, Chang;Kim, Pan-Koo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2005.05a
    • /
    • pp.197-200
    • /
    • 2005
  • 의미 기반 영상 검색은 Color, Texture, Region 정보, Spatial Color Distribution 등의 저차원 특징 정보와 이미지 데이터에 의미를 부여하기 위해 주석 처리하는 것이 일반적이다. 그리고 부여된 키워드나 시소러스와 같은 어휘 사전을 이용하여 의미기반 정보검색을 수행하고 있지만, 기존의 키워드기반 텍스트 정보검색의 한계를 벗어나지 못하는 문제를 야기 시킨다. 따라서 본 논문에서는 WordNet 어휘 사전을 확장한 개념적 어휘 체계를 갖는 대형 Ontology를 기반으로 하여 이미지 데이터 내의 객체 인식과 추출된 객체간의 관계를 정의하여 이를 논리적으로 표현할 수 있는 방법을 제시하고자 한다.

  • PDF

Investigation on the cold start characteristics of PEMFC using Axiomatic Design approach (Axiomatic Design 기법을 이용한 연료전지 냉시동 특성 개선에 관한 연구)

  • Suh, Jung-Do;Lee, Sung-Ho;Ahn, Byung-Ki;Lim, Tae-Won;Yu, Ha-Na;Lee, Dai-Gil
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2008.10a
    • /
    • pp.17-20
    • /
    • 2008
  • Cold start of a fuel cell system is a major obstacle should be overcome as to commercialize it, especially for passenger vehicle applications. However, the cold start characteristics is so complicated since it involves various phenomenon such as ice-blocking in GDL, ionic conductivity in membrane affected by water activity with phase change, heat transfer through components such as bipolarplates or endplates, electro-chemical reactions affected by circumferential temperature and humidity as well. Axiomatic design provides a systematic method to investigate the complex phenomenon although it was developed as a methodology to establish logical design procedure by Nam P. Suh in 1990s. This paper presents a framework to approach the complex cold start problem using Axiomatic Design which features simplifying a problem through hierarchical decomposition and decoupling from the view of functional requirements and design parameters.

  • PDF

Multi-level DVS Guidance and Output-feedback Path-following Control for Marine Surface Vehicles

  • Deng, Ying-Jie;Im, Nam-kyun
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2018.11a
    • /
    • pp.256-257
    • /
    • 2018
  • This paper deals with the path-following control for marine surface vehicles with underactuated characteristics. In consideration of practical limitations of actuators, an improved DVS(dynamic virtual ship) guidance algorithm is proposed with the multi-level DVS optionally selected to be tracked. To address the output-feedback control issue, an adaptive FLS(fuzzy logical systems) is devised to online approximate the kinematic states. Based on that observing framework, the path-following control law is thereafter derived. Simulations testify effectiveness of the proposed scheme

  • PDF

On System Modeling Framework for System Design Processes Using UML (시스템 모델링을 위한 설계 프로세스 단계별 UML활용 방안 연구)

  • Jang, Jae-Deok;Lee, Jae-Cheon
    • 시스템엔지니어링워크숍
    • /
    • s.6
    • /
    • pp.102-106
    • /
    • 2005
  • The MBSE design method using UML has not been well exhibited throughout the overall system design processes. There has been many different modeling usages of UML for system requirements proposed by many till now. The extension of UML to system modeling must demonstrate consistent representation rule throughout the overall processes. This study proposes the method of using UML with overal consistency to implement system design processes. to validate and verify the proposed UML approaches, a case study of ATACMS Block IA missile system design was implemented and the resulting products were shown. phases of the systems engineering design process, logical solution development, and physical solution development, were demonstrated

  • PDF

Static Control of Boolean Networks Using Semi-Tensor Product Operation (Semi-Tensor Product 연산을 이용한 불리언 네트워크의 정적 제어)

  • Park, Ji Suk;Yang, Jung-Min
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.66 no.1
    • /
    • pp.137-143
    • /
    • 2017
  • In this paper, we investigate static control of Boolean networks described in the framework of semi-tensor product (STP) operation. The control objective is to determine control input nodes and their logical values so as to stabilize the considered Boolean network to a desired fixed point or cycle. Using topology of Boolean networks such as incidence matrix and hub nodes, a set of appropriate control input nodes is selected, and based on STP operations, we assign constant control inputs so that the controlled network can converge to a prescribed fixed point or cycle. To validate applicability of the proposed scheme, we conduct a numerical study on the problem of determining control input nodes for a Boolean network representing hierarchical differentiation of myeloid progenitors.

A SIMULATION APPROACH TO CONSTRUCTION MANAGEMENT EDUCATION

  • Muhammad Imran Ghatala ;Sang-Hoon Lee ;Lingguang Song
    • International conference on construction engineering and project management
    • /
    • 2005.10a
    • /
    • pp.962-967
    • /
    • 2005
  • Construction management requires decision-making skills. Main approaches to training construction management students are: (1) analyzing sample situations involving decision-making; and (2) teaching logical decision-making procedures. The absence of 'pressure' factors in these approaches has significant impacts on the success of the training. The approaches also lack 'dynamic' effects that help create a spontaneous plan for construction projects where unforeseen changes and interruptions may occur. To minimize the adverse effects of the existing approaches, this paper proposes a framework for developing a web-based training system. The application is delivered as a game involving decision-making on the student's part in response to developments at the job-site, and where one student competes against another in an attempt to simulate a real-world scenario.

  • PDF

Generating a Simplistic 3D Model for Mobile Platform Applications

  • Ahmed, Naveed;Park, Jee Woong;Morris, Brendan
    • International conference on construction engineering and project management
    • /
    • 2022.06a
    • /
    • pp.1093-1099
    • /
    • 2022
  • The number of buildings is increasing day by day. The next logical footstep is tackling challenges regarding scarcity of resources and sustainability, as well as shifting focus on existing building structures to renovate and retrofit. Many existing old and heritage buildings lack documentation, such as building models, despite their necessity. Technological advances allow us to use virtual reality, augmented reality, and mixed reality on mobile platforms in various aspects of the construction industry. For these purposes, having a BIM model or high detail 3D model is not always necessary, as a simpler model can serve the purpose within many mobile platforms. This paper streamlines a framework for generating a lightweight 3D model for mobile platforms. In doing so, we use an existing structure's site survey data for the foundation data, followed by mobile VR implementation. This research conducted a pilot study on an existing building. The study provides a process of swiftly generating a lightweight 3D model of a building with relative accuracy and cost savings.

  • PDF

화이트헤드의 철학과 수학 교육

  • Yu, Chung-Hyun;Kim, Hye-Kyung
    • East Asian mathematical journal
    • /
    • v.25 no.3
    • /
    • pp.399-413
    • /
    • 2009
  • Whitehead's philosophy is evaluated as an applicable philosophy and an accurate, logical explanation system about the world through mathematics. Whitehead's ideological development can be divided into mathematical research, critical consciousness about sciences and philosophical exploration. Although it is presented as a whole unified conceptual framework to understand nature and human beings which is based on modern mathematics and physics in the 20th century, Whitehead's philosophy has not been sufficiently understood and evaluated about the full meaning and mathematics educational values. In this paper, we study relations of Whitehead's philosophy and the mathematical education. Moreover, we study implicity of mathematical education.

To Reveal or Conceal? Understanding the Notion of Privacy among Individuals

  • Sana Ansari;Sumeet Gupta
    • Asia pacific journal of information systems
    • /
    • v.28 no.4
    • /
    • pp.258-273
    • /
    • 2018
  • What is individuals' privacy notion, and does it change with the social roles taken up by them? We explored these questions using a qualitative interpretive research approach. We found that individuals have mixed notion of privacy. Individuals view privacy either as a commodity or as a control. Further, we found that an individual's privacy notion is a function of their social role within the society and their privacy preferences. Our research points to the importance of expanding the notion of privacy to encompass a broader understanding of privacy preferences. We theorize our findings using social penetration theory and presents a privacy model which provides the logical framework for interpreting people's views on privacy.

Development of the Constructing Integrated Interface for a MP3 Service Vending Machine (MP3 자판기를 위한 통합적 인터페이스 구축에 관한 연구)

  • 홍석기;김상일
    • Archives of design research
    • /
    • v.13 no.1
    • /
    • pp.139-148
    • /
    • 2000
  • Development of the digital technology made possible the Integrated media that is combined computer with information network technology. Integrated media is the data transferring method through the multimedia, and has been developed by the similar form with the human's information transferring system. For that reason, interface has been developed as the important theme, Human Computer Interaction, according to the formal development. Using interface is not activated yet for the lack of connection with various divisions and the system of the product development although interfaces formatic development is re-arranged and re-established in design. This is the try to construct new model of the interface by re-arrange of the factors for the information transferring form development on the ground of the mp3 service vending machine development. Interface is divided into logical I formatic and hardware I software for he systematic classification and also arranged so that anybody can understand. Consequently, presenting of the new integrated interface paradigm can make possible to suggest the fundamental framework that is the new direction of the design re-arranged by the integrated media.

  • PDF