• Title/Summary/Keyword: Automated Deduction

Search Result 8, Processing Time 0.032 seconds

A Conceptual Design and Feasibility Analyses of an Automated Pothole Patching Machine (도로면 포트홀 유지보수 자동화 장비의 개념디자인 및 경제적 타당성 분석에 관한 연구)

  • Yeom, Dong Jun;Yoo, Hyun Seok;Kim, Young Suk
    • Journal of the Architectural Institute of Korea Structure & Construction
    • /
    • v.34 no.4
    • /
    • pp.65-74
    • /
    • 2018
  • The primary objective of this study is to develop a conceptual design of automated pothole patching machine that improves the conventional work in safety, quality, and productivity. For this, the following research works are conducted sequentially; 1)literature review, 2)selection of element technology for conceptual design, 3)deduction of work process and conceptual design, 4)life cycle cost analysis of the conceptual design. As a result, X-Y table telescopic manipulator, pothole patching end effector, realtime pothole recognizer, 3D pothole volume profiler, automated pothole patching machine controller are selected as core technologies. Furthermore, a conceptual design and working process of an automated pothole patching machine are developed based on the core technologies. According to the life cycle cost analysis result, the cost of the automated method was 38.3% less than that of the conventional method, and the economic efficiency was also superior(ROR 77.1%, Break-even Point 23.8month). It is expected that the application range and impact on the construction industry will be enormous due to the increasing trend of road maintenance market.

Merging Taxonomies under RCC-5 Algebraic Articulations

  • Thau, David;Bowers, Shawn;Ludaescher, Bertram
    • Journal of Computing Science and Engineering
    • /
    • v.3 no.2
    • /
    • pp.109-126
    • /
    • 2009
  • Taxonomies are widely used to classify information, and multiple (possibly competing) taxonomies often exist for the same domain. Given a set of correspondences between two taxonomies, it is often necessary to "merge" the taxonomies, thereby creating a unied taxonomy (e.g., that can then be used by data integration and discovery applications). We present an algorithm for merging taxonomies that have been related using articulations given as RCC-5 constraints. Two taxa Nand M can be related using (disjunctions of) the ve base relations in RCC-5: M; N ${\subseteq}$M; N ${\supseteq}$; N ${\oplus}$M (partial overlap of Nand M); and N ! M (disjointness: N ${\cap}$M = ${\varnothing}$). RCC-5 is increasingly being adopted by scientists to specify mappings between large biological taxonomies. We discuss the properties of the proposed merge algorithm and evaluate our approach using real-world taxonomies.

Natural Language Query Framework on the Semantic Web

  • Kim, Jin-Sung
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2007.04a
    • /
    • pp.189-192
    • /
    • 2007
  • This study proposes a Natural Language Query Framework (NLQF) on the semantic web to support the intelligent deduction at semantic level. A large number of former researches are focused on the knowledge representation on the semantic web. However, to revitalize the intelligent agent (IA)-based automated e-business contract with human customers, there is a need for semantic level approach to the web information. To enable accessing web information at semantic level, this paper discusses the pattern of complex natural language processing at first, and then the semantic web-based natural language inference in e-business environment. The NL-based approach could help the IAs on the web to communicate with customers and other IAs with more natural interface than traditional HTML-based web information. Therefore, our proposed NLQF will be used in semantic web-based intelligent e-business contracts between customers and IAs.

  • PDF

A study on Cost~Estimating System based on Object- oriented Cad System (객체지향 캐드시스템을 활용한 견적관리 시스템 연구)

  • Song, Choon-Dong
    • Journal of The Korean Digital Architecture Interior Association
    • /
    • v.1 no.1
    • /
    • pp.46-50
    • /
    • 2001
  • It is known that to automate the quantity take-off process enables you to increase the productivity best among the construction business field. However, the limitation of 2D(Two-dimension) CAD System prevented a cost-estimating system which makes the great effects on the quantity take-off process from being developed. This study aims that you can automate both the itemized statements and the quantity take-off process by using commercially available object-oriented CAD system. The commercially available CAD system today does not give us entire satisfaction. This study shows the deduction of the old boundaries of the object-oriented CAD system and the solution of those problems. And it also studied about the quantity take-off process and the automated cost-estimating system that can be used in the simple and plain repair-maintenance work such as the execution drawing which doesn't need the complicated drawings.

  • PDF

Detail Design and Structural Stability Analysis for Automated PHC Pile Cutting Machine (PHC 파일 원커팅 두부정리 자동화 장비의 상세설계 및 구조적 타당성 분석)

  • Yeom, Dong Jun;Hwang, Ji Young;Park, Yesul;Kim, Young Suk
    • Korean Journal of Construction Engineering and Management
    • /
    • v.19 no.2
    • /
    • pp.117-125
    • /
    • 2018
  • The primary objectives of this study are to develop a detail design of automated PHC pile head cutting machine and structural stability analysis of detail design that improves the conventional head cutting work in safety, quality, and productivity. For this, the following research works are conducted sequentially; 1)literature review and field study, 2)expert survey and interview, 3)selection of core technology using AHP analysis, 4)deduction of detail design 5) verification of structural stability. As an outcome, it is analyzed that gripper and gripper bearing shaft are structurally stable. Their maximum stresses are shown as 15.93%, 10.58% compared to their yield strength respectively. The results of detail design and structural stability analysis in this study will be utilized for the actual development of the automated PHC pile cutting machine prototype.

Conceptual Design and Technical Feasibility Analysis of an All-in-one Attachment Based Steel Pipe Pile Cutting Robot (굴삭기 기반 강관말뚝 두부정리 및 절단 부위 핸들링 로봇의 개념디자인 및 기술적 타당성 분석)

  • Yeom, Dong Jun;Han, Jae Hyun;Jung, Eui Hyun;Kim, Young Suk
    • Journal of the Architectural Institute of Korea Structure & Construction
    • /
    • v.34 no.11
    • /
    • pp.45-54
    • /
    • 2018
  • The primary objective of this study is to develop a conceptual design of all-in-one attachment based steel pipe pile cutting robot that improves the conventional work in safety, quality, convenience and productivity. For this, the following research works are conducted sequentially; 1)literature review, 2)field investigation, 3)selection of element technology for conceptual design, 4)deduction of conceptual design and its work process, 5)technical feasibility analysis of the conceptual design and its work process. As a result, leveling laser and laser detector, plasma cutter, rotary grapple are selected as core technologies. Futhermore, a conceptual design and work process of an all-in-one attachment based steel pipe pile cutting robot are developed based on the core technologies. According to the technical feasibility analysis result, at least 76.8% of the respondents are selected positive answer about each device of the all-in-one attachment based steel pipe cutting robot. It is expected that the application range and impact on the construction industry will be enormous due to the increasing trend of the steel pipe pile market.

AN AUTOMATED FORMWORK MODELING SYSTEM DEVELOPMENT FOR QUANTITY TAKE-OFF BASED ON BIM

  • Seong-Ah Kim;Sangyoon Chin;Su-Won Yoon;Tae-Hong Shin;Yea-Sang Kim;Cheolho Choi
    • International conference on construction engineering and project management
    • /
    • 2009.05a
    • /
    • pp.1113-1116
    • /
    • 2009
  • The attempt to use a 3D model each field such as design, structure, construction, facilities, and estimation in the construction project has recently increased more and more while BIM (Building Information Modeling) that manages the process of generating and managing building data has risen during life cycle of a construction project. While the 2D Drawing based work of each field is achieved in the already existing construction project, the BIM based construction project aims at accomplishing 3D model based work of each field efficiently. Accordingly, the solution that fits 3D model based work of each field and supports plans in order to efficiently accomplish the relevant work is demanded. The estimation, one of the fields of the construction project, has applied BIM to calculate quantity and cost of the building materials used to construction works after taking off building quantity information from the 3D model by a item for a Quantity Take-off grouping the materials relevant to a 3D object. A 3D based estimation program has been commonly used in abroad advanced countries using BIM. The program can only calculate quantity related to one 3D object. In other words, it doesn't support the take-off process considering quantity of a contiguous object. In case of temporary materials used in the frame construction, there are instances where quantity is different by the contiguous object. For example, the formwork of the temporary materials quantity is changed by dimensions of the contiguous object because formwork of temporary materials goes through the quantity take-off process that deduces quantity of the connected object when different objects are connected. A worker can compulsorily adjust quantity so as to recognize the different object connected to the contiguous object and deduces quantity, but it mainly causes the confusion of work because it must complexly consider quantity of other materials related to the object besides. Therefore, this study is to propose the solution that automates the formwork 3D modeling to efficiently accomplish the quantity take-off of formwork by preventing the confusion of the work which is caused by the quantity deduction process between the contiguous object and the connected object.

  • PDF

Development of All-in-one Attachment Based Steel Pipe Pile Cutting Robot Prototype (강관말뚝 두부정리 및 절단 부위 핸들링 로봇의 프로토타입 개발)

  • Yeom, Dong Jun;Han, Jae Hyun;Jung, Eui Hyun;Kim, Young Suk
    • Korean Journal of Construction Engineering and Management
    • /
    • v.19 no.6
    • /
    • pp.115-123
    • /
    • 2018
  • The primary objective of this study is to develop an all-in-one based steel pipe pile cutting robot prototype that improves the conventional steel pipe pile head cutting work in safety, quality, and productivity. For this, the following research works are conducted sequentially; 1)literature review and expert survey, 2)selection of core technology using AHP analysis, 3)deduction of detail design, 4)verification of structural stability, 5)development of full-scale prototype. As a result leveling laser and laser detector(94.46), plasma cutter(96.72), rotary grapple(98.45) are selected as a core technologies. As an outcome, it is analyzed that gripper, cylinder pivot bracket and gripper base are structurally stable. Their maximum stresses are shown as 43.0%, 19.4%, 5.3% compared to their yield strength respectively. The development of full-scale prototype in this study will be utilized for the development of the all-in-one attachment based steel pipe pile cutting robot commercialization model.