• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1025-1034
• /
• 1997

Inference process of resolution-based automated reasoning easily consumes the memory of computer without giving any useful result by priducing lots of fruioless information which are not necessary for the conslusion. This paper suggests a control strategy for saving the space of computer memory and reducing the inference time. The strategy uses a restriction that comparatively irrelevant axioms do mot take pare in the resoluition. In order to analyze and determine the priorities of the input axioms of joning the inference process, the system employs the fuzzy relational products.

• Journal of the KSME
• /
• v.35 no.4
• /
• pp.337-346
• /
• 1995

급변하는 기업 환경에 적절히 대응하여 기업의 궁극적인 목적인 이윤 추구의 극대화를 위해서는 단순한 노동생산성 향상, 국부적인 개선/합리화, 일부분의 전산화, 단위 공정의 자동화 등을 통한 부문별(기능별) 자동화로는 생산성 향상에 한계가 있을 것으로 여겨진다. 보다 체계적이고 종 합적으로 관련 업무를 추진하려면 진단 업무를 통하여 대상부문의 문제점들을 도출하여 그 문 제점들을 종합적으로 해결하는 차원에서 일관성 있게 추진하여야 될 것이다. 이러한 진단 활동을 통하여 체계적이고 효율적인 생산 시스템을 구축하려면 관련된 모든 부문의 현상 파악 및 문 제점 도출에 직접적으로 지원을 할 수 있는 핵심 요원으로 구성된 전담 추진 팀을 구성함은 물 론이고 전문 기관 또는 학계와 공동으로 추진하는 것이 효율적일 것으로 여겨진다. 현대중공업 에서는 이러한 요구에 적절히 대응하기 위하여 엔진사업본부의 POPICS와 플랜트 사업본부의 PINES가 학계와 공동연구로 추진 중에 있다. 이러한 일련의 TFT 활동을 통해 좋은 결실을 얻기 위해서는 참여하는 핵심 요원은 물론이고 해당되는 부문의 모든 임직원의 Mind 형성 및 적극적인 참여가 절실히 요구된다. 또한, 이와 같은 사업본부 단위의 대형 과제를 추진하려면 시스템화 지향이 우선 전제되어야 하기 때문에 부분적인 최적화 노력보다는 전체적인 접근이 필요할 것이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.329-331
• /
• 2015

본 논문에서는 도로, 하천건설, 댐건설 등 공익사업 중에 발생하는 보상업무와 관련하여 보상민원을 감소시키고 투명한 보상체계 수립을 위해 첨단 ICT 기술을 활용한 선진화된 보상체계 개발에 필요한 12개의 핵심요소기술을 도출하였다. 핵심요소 기술도출을 위해 전문가 설문 및 면담 등을 통해 18개의 후보군을 도출하였으며 6개의 체크리스트를 활용하여 12개의 핵심요소기술을 도출하였다. 도출된 주요내용으로는 보상민원을 줄일 수 있는 다양한 의사결정 및 사전검토 기술, 보상물건 측정 및 계측 자동화 기술, 클라우드 기반의 표준화된 보상자료 관리시스템 개발, 보상 민원 처리 및 공개기술 등이 포함되었다. 본 논문에서 도출된 핵심요소기술을 기반으로 보상업무 체계를 개편할 경우 보상업무 스마트화 및 첨단화가 가능할 것으로 판단된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.491-491
• /
• 2021

댐·보 운영은 과거부터 많은 양의 데이터를 근간으로 분석 및 의사결정을 진행하였으나, 자연 현상의 복잡성 및 다양한 영향 관계로 인해 기술개발은 답보 상태에 머물러 있다. 또한 댐·보 운영의 기술개발은 개별적인 일부 요소기술에 국한되어 있는 실정으로 댐·보 운영의 전체 의사결정체계에 대한 미래의 방향성에 대한 전략이 부재한 상황이다. 이에 기후변화, 물관리일원화, 환경대응용수의 활용, 복합적 제약사항 도출 등 최적 댐·보 운영을 위한 의사결정지원 고도화에 대한 사회적 니즈가 증가를 반영하고, 기존의 재래적 의사결정지원 시스템 및 홍수분석기술에서 탈피하여 AI, Big Data 등 혁신 기술적용 및 최신기술 트렌드를 반영한 미래 물관리 로드맵의 제시가 필요한 상황이다. 본 연구의 목적은 홍수기 댐운영을 위해 기존 반복 분석하는 일련의 절차 자동화와 운영자의 경험에 따라 달라지는 운영방법의 일반화를 위한 AI의 도입에 있다. 기존 홍수분석체계를 살펴보면 저수지 홍수분석, 저수지 수위계산, 방류량 결정, 분석결과와 제약사항의 비교 같은 일련의 절차에 대해서 합리적인 결과가 도출될 때까지 반복 분석을 수행하여야 한다. 분석모형간 연계와 재래적 방법의 자동화를 도입하면 홍수분석에 소요되는 시간을 줄일 수 있어, 사전에 대비할 수 있는 시간을 추가적으로 확보할 수 있게 된다. 또한 홍수기 댐운영 방법이 운영자의 경험에 의존하다 보니 운영자마다 다른 운영방법을 도출하게 되는데, 과거사례의 최적 운영방안을 학습시킨 AI를 도입하게 되면 일관성있는 최적 댐운영이 가능할 것으로 판단된다. 이에 본 연구에서는 홍수분석 절차의 자동화, DB 및 통계모형 구축, 분석결과 및 제약사항의 직관적인 표출화, AI 도입을 통한 운영방안의 일반화 등 기존 재래기술의 개선을 통해 최적 댐운영 의사결정지원시스템의 고도화를 추진하고자 한다.

• Journal of Engineering Education Research
• /
• v.3 no.1
• /
• pp.42-52
• /
• 2000

A Factory/Production Facilities Automation involves compound techniques as well as various applied engineering fields. Therefore, there exist lots of difficult problems related with its introduction, operation and management in small and medium scale companies. In this paper, we extract major contents for its effective traininng program reflected from industrial needs and propose a prototype model for the enhancement of its field capabilites.

• Journal of Internet Computing and Services
• /
• v.17 no.6
• /
• pp.61-69
• /
• 2016

Software testing is an activity to find defects included in software through creating test cases from the software system specification. In order to perform software testing effectively, it is required to prepare the full test plan, to create well-defined test cases, and to execute test monitoring activities systematically. Most existing researches for the test approaches focus on automating the activities from the test cases generation to the test execution. Contrary to those approaches, we study automatic approaches for test monitoring activities. For this, we identify the research issues that should be solved to automate test monitoring activities. Next, with those solutions, we suggest the construction method for an automatic framework for test monitoring.

• Journal of Korean Society of Steel Construction
• /
• v.23 no.5
• /
• pp.637-646
• /
• 2011

This study is related to the development of a design automation system for the construction design phase of steel structures. The system intended for beam splice friction connections using high-strength bolts. The standard design method and standardization principles that are suggested in the design manual for standard connections using high-strength bolts published by the Korean Society of Steel Construction(KSSC) were reviewed. A structural analysis algorithm was formulated from the review. A design automation system that can automatically calculate the structural design of connections and automatically generate the connection model without separate inputs was developed. To verify the validity of the developed system, its results were compared with the date in the table for the connection design in the Design Manual. The development system was also applied to the sample model. Then the structural design results were compared with the properties of the connection models and drawings created from the results.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.230-233
• /
• 2009

3D(Difficult, Dirty, Dangerous) 산업의 대표적인 산업으로 인식되는 건설업은 현재 노무기능인력의 고령화와 신규 기능인력 육성의 어려움이라는 문제에 당면하였으며, 이러한 3D 산업이라는 이미지의 탈피 및 노동집약적 사업구조에 대한 변화에 대한 대안으로써 타산업과의 융복합을 통한 이미지 쇄신 및 생산성 향상을 위해 자동화 및 정보화를 위한 노력을 경주하고 있다. 본 연구에서는 건설 자동화 및 정보화를 위한 알고리즘 개발 연구방법론에 대한 기초연구로써, 초고층 공사에서의 물류 효율화를 위한 장비간 통신방법에 대한 모델을 설정하고, 해당 모델에 대해 적용 가능한 알고리즘을 도출하는 프로세스를 규명함으로써, 건설 자동화 및 정보화 연구를 진행하는 단계에서 최적화(Optimization)를 위한 알고리즘 규명에 대한 방안을 제시하고자 한다.

• KEPCO Journal on Electric Power and Energy
• /
• v.5 no.3
• /
• pp.181-188
• /
• 2019

In this study, the Heat & Mass balance design optimization tool has developed by linking the design input/output variables with the Heat & Mass balance calculation solver and optimization algorithm and also automating the iterative calculation process. As a result of testing this optimization tool for 10 kinds of power plant, it was expected to improve the NPV and IRR compared with general design methods.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.09a
• /
• pp.217-218
• /
• 1992

S사는 생산량 증대에 따른 물동량 증가에 대비하기 위하여 물류 시스템 개선안을 수립한 수 , 타다성을 검증하기 위해 시뮬레이션 기법을 채택하여 물류관점에서 현행 시스템 및 개선안에 대한 진단을 실시하였다. 컴퓨터 시뮬레이션 기법은 생산공정에 실질적인 물리적 변화를 가하지 않고도 "What-if" 라는 다양한 시나리오를 작성하고 이들에 대한 분석 및 평가를 통하여 그 가능성을 타진하며 최적안을 도출하는데 유용하게 이용되는 도구이다. 본 진단을 통하여 현행 시스템의 문제점을 정량적으로 파악하였다. 그리고, 물류 개선안에 대한 기대효과를 예측하고 발생가능한 문제점을 사전에 도출하여 시행착오를 최소화하는데 기여하고자 하였다.기여하고자 하였다.