• Geomechanics and Engineering
• /
• v.37 no.1
• /
• pp.65-72
• /
• 2024

Water ingress poses a common and intricate geological hazard with profound implications for tunnel construction's speed and safety. The project's success hinges significantly on the precision of estimating water inflow during excavation, a critical factor in early-stage decision-making during conception and design. This article introduces an optimized model employing the gene expression programming (GEP) approach to forecast tunnel water inflow. The GEP model was refined by developing an equation that best aligns with predictive outcomes. The equation's outputs were compared with measured data and assessed against practical scenarios to validate its potential applicability in calculating tunnel water input. The optimized GEP model excelled in forecasting tunnel water inflow, outperforming alternative machine learning algorithms like SVR, GPR, DT, and KNN. This positions the GEP model as a leading choice for accurate and superior predictions. A state-of-the-art machine learning-based graphical user interface (GUI) was innovatively crafted for predicting and visualizing tunnel water inflow. This cutting-edge tool leverages ML algorithms, marking a substantial advancement in tunneling prediction technologies, providing accuracy and accessibility in water inflow projections.

• Journal of Astronomy and Space Sciences
• /
• v.37 no.2
• /
• pp.117-129
• /
• 2020

In a Satellite communication system, a link budget analysis is the detailed investigation of signal gains and losses moving through a channel from a sender to receiver. It inspects the fading of passed on data signal waves due to the process of spreading or propagation, including transmitter and receiver antenna gains, feeder cables, and related losses. The extent of the proposed tool is to make an effective, efficient, and user-friendly approach to calculate link budget analysis. It is also related to the satellite communication correlation framework by building up a graphical interface link analysis tool utilizing STK^® software with the interface of C# programming. It provides better kinds of graphical display techniques, exporting and importing data files, printing link information, access data, azimuth-elevation-range (AER), and simulation is also possible at once. The components of the link budget analysis tool include transmitter gain, effective isotropic radiated power (EIRP), free space loss, propagation loss, frequency Doppler shift, flux density, link margin, elevation plot, etc. This tool can be useful for amateur users (e.g., CubeSat developers in the universities) or nanosat developers who may not know about the RF communication system of the satellite and the orbital mechanics (e.g., orbit propagators) principle used in the satellite link analysis.

• Journal of the Society of Naval Architects of Korea
• /
• v.29 no.4
• /
• pp.27-35
• /
• 1992

By the help of computer graphics and rapid development of hardwares. GUI(Graphic User Interface) represented by WYSIWYG(What You See Is What You Get) changed user interface from liguistic model(e.g : command, etc.) to spatial model(e.g : pulldown menu, scroll bar, icon, itc.). This graphical user interface model for the ship conceptual design(MBASWIN) adopted event-driven programming technique and object-oriented concepts. Different from traditional design programs, MBASWIN is separate from the design program completely and controls all design modules. This enable a designer to accomplish a flexible designs.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.54 no.8
• /
• pp.486-494
• /
• 2005

This paper presents a design experience of a supervisory control system. For effective programming of job commands, a petri net-type graphical language (PGL) is proposed applied to various tasks having concurrency and synchronization. Our PGL based supervisory control system is composed of PGL editor and PGL compiler; PGL editor is designed to help us to generate a job program using graphical symbols. PGL compiler includes analyzer, scheduler, and tranlator, PGL analyzer prevents a deadlock or resource allocation of unit cell, PGL scheduler generates a adequate job sequence of unit cell. and PGL translator translate the scheduled sequence into the iob program of each unit cell.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.136-140
• /
• 2004

A power-plant simulation tool has been developed for training the plant operators and testing a plant control system. The simulation tool is composed of a graphic editor, a component model builder and a system simulation solver. Such new programing techniques as object-oriented modeling and GUI(Graphical User Interface) are employed in developing the simulation tool. The graphic editor is based on the OpenGL library for effective implementation of GUI while the component model builder is based on object-oriented programming for efficient generalization of component models. The developed tool has been verified through the simulation of a real power plant.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.1
• /
• pp.1-8
• /
• 2002

This study is discussed research on management of items in PC's GUI(Graphical User Interface) environment. A items are general knowledge data like books, musical CD, English CD, and game CD, which are the time when we don't seek the right items in the case of re-reading and re-listening the items. In this paper, We propose an example designed to be used in the management of a items. The proposed example is implemented by educational VC＋＋(Visual C＋＋) programming language. This program and discussions for management of a items will understand the development procedure of searching and storing data, which will provide some basics into designing large database systems.

• The Journal of Korea Robotics Society
• /
• v.14 no.4
• /
• pp.340-347
• /
• 2019

Due to advances in machine intelligence and increased demands for autonomous machines, the complexity of the underlying software platform is increasing at a rapid pace, overwhelming the developers with implementation details. We attempt to ease the burden that falls onto the developers by creating a graphical programming framework we named Splash. Splash is designed to provide an effective programming abstraction for autonomous machines that require stream processing. It also enables programmers to specify genuine, end-to-end timing constraints, which the Splash framework automatically monitors for violation. By utilizing the timing constraints, Splash provides three key language semantics: timing semantics, in-order delivery semantics, and rate-controlled data-driven stream processing semantics. These three semantics together collectively serve as a conceptual tool that can hide low-level details from programmers, allowing developers to focus on the main logic of their applications. In this paper, we introduce the three-language semantics in detail and explain their function in association with Splash's language constructs. Furthermore, we present the internal workings of the Splash programming framework and validate its effectiveness via a lane keeping assist system.

• Digital Contents
• /
• no.12 s.127
• /
• pp.170-172
• /
• 2003

미네소타 에덴프레리에 소재한 스텔런트(www.stellent.com)는 최근 유니버셜 콘텐츠 매니지먼트 7.0을 발표했다. 이 제품은 하나의 공통 제품 아키텍처 내에서 문서 관리, WCM(웹 콘텐츠관리), 협업, 레코드 관리, DAM(디지털자산관리)을 통합하는 유일한 ECM(기업콘텐츠관리) 솔루션이다. 본질적으로 다른 기술들을 통합시킨 ECM 시스템을 활용한 최신 업그레이드 제품과 달리 이번에 내놓은 ECM 시스템 7.0 버전은 공 통 GUI(Graphical User Interface)와 공 통API(Application Programming Interface)를 통해 단일 서버에서 모든 애플리케이션 모듈을 지원한다는 게 회사측 설명이다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.3 no.3
• /
• pp.126-135
• /
• 2008

The development of an unmanned vehicle basically requires the robust and reliable performance of major functions which include global localization, lane detection, obstacle avoidance, path planning, etc. The implementation of major functional subsystems are possible by integrating and fusing data acquired from various sensory systems such as GPS, vision, ultrasonic sensor, encoder, and electric compass. This paper focuses on implementing the functional subsystems, which are designed and developed by a graphical programming tool, NI LabVIEW, and also verifying the autonomous navigation and remote control of the unmanned vehicle.