• The Magazine of the IEIE
• /
• v.22 no.8
• /
• pp.33-43
• /
• 1995

생산시스템 분야에서의 다중로봇시스템에 대한 필요성이 증가되고 있기 때문에, 이에 대한 시스템 성능분석이 우선적으로 필요하다. 본 논문에서는 다중로봇시스템의 성능평가를 위한 컴퓨터 시뮬레이션 방법을 제시한다. 먼저 오류회복 기능만을 고려한 다중로봇시스템에 대하여 여러 가지의 모델링 방법 중에서 확장 페트리 네트 모델을 기초로 하여 컴퓨터 시뮬레이션 하는 과정을 제시하고 제시된 시뮬레이션 방법의 유효성을 입증하기 위하여 부가적으로 큐잉모델을 기초로 한 해석적 수식을 유도하여 두 가지의 결과를 비교해 본다. 그 다음, 오류회복 기능에 덧붙여서 충돌회피 기능을 고려한 다중로봇시스템은 해석적 수식을 유도하기 위해서는 강력한 가정들이 필요하며 이러한 가정들 때문에 실제 시스템을 정확히 모델에 반영하기 어려워진다. 따라서, 그 유효성이 입증된 컴퓨터 시뮬레이션을 이용하면 필요한 최적의 운용 변수를 용이하게 선택할 수 있을 것이다. Since there are Increasing demands for multirobot interconnection systems(MRIS) in Industrial manufacturing system, the performance evaluation of the MRIS is first needed. This thesis presents a computer simulation technique for the performance evaluation of the MRIS. First, we consider a error recoverable MRIS. We adopt the extended Petri net model as a computer simulation model that allows an easy evaluation of the performance. To verify the significance of the proposed computer simulation method, mathematical analysis, which is based on the given queueing model, is carried out with some design issues for the MRIS. In addition to this, it is required to analyze the MRIS considering collision avoidance as well as error recovery. In this case, methematial analysis needs hard assumptions which are the constraints for the precise description of real environment. Thus, we present a computer simulation model and its results suggest an optimal operational strategy for the MRIS under given conditions.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.481-488
• /
• 2006

FRP(Functional Reactive Programming) is a kind of embedded language in Haskell, it declaratively program reactive system based on two essential high-order types named behavior and events. This Paper design and implementation RT-FRP(Real-time Functional Reactive Programming) translator for using FRP in embedded systems with many constraints. The RT-FRP translator generates a C Program from an RT-FRP program according to the operational semantics of the RT-FRP language. To show the effectiveness of the RT-FRP translator, we loaded and executed the test program generated by the translator onto a real embedded system, LEGO Mindstorm. According to the experimental result, the reactive system software can be programmed more concisely using RT-FRP than using an imperative counter part although the size of the binary code is rather increased.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1907-1920
• /
• 1997

In this paper, we present integrated model of postal business that would be newly organized. The integrated model is developed through four phase. First, postal business is analyzed by three parts;collection, transportation and delivery. Second, the modeling criteria are developed that will be used for designing integrated postal business model. Third, object-oriented concepts are used by the steps of postal business modeling criteria captured. Finally, methods applied to developed model are grouped according to their function. Also, active-based mechanisms such as trigger and constraints are developed, and knowledge-based mechanisms such as inference are developed. These selected methods and attributes are encapsulated into objects. These constitute an object-active-knowledge based database model. Finally, Operational Scenario and Service Scenario are composed for real application according to proposed O-A-K model.

• Journal of Korea Water Resources Association
• /
• v.35 no.6
• /
• pp.639-650
• /
• 2002

Reservoir operations during the flood season should consider both the flood control and water supply objectives. This study proposed Set Control Algorithm (SCA) as a reservoir operation method, which guarantees both objectives. The concept behind SCA is to provide operators with a set of actions that guarantee feasibility, given a set of operational constraints, and to let them select decisions within a set that satisfies other considerations. The inflow sets used in this study included; observed data, synthetic data, and ESP(Ensemble Streamflow Prediction) scenarios. Applied to the Chungju Dam operations, SCA was compared to the variable flood restricted elevation, as well as the current flood restricted elevation. A 5-year simulation analysis showed that SCA performed better than the other operation methods, and that SCA coupled with ESP performed best among the SCA cases.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.158-158
• /
• 2015

대부분의 대규모 배수지는 고지대에 위치함으로써 자연유하를 통해 배, 급수지역으로 용수를 공급한다. 이를 위해 배수지 전단에는 가압장이 위치하여 정수장에서 처리된 용수를 고지대에 위치한 배수지로 송수한다. 이때 가압장에서 발생하는 전력소비량이 매우 높은 것으로 알려져 있으며, 효율적인 펌프운영을 통해 상당한 전력비용 절감이 가능할 것으로 판단된다. 일반적인 가압장의 운영은 시스템 운영자의 경험을 토대로 해당 가압장에 연결된 배수지의 수위에 따라 펌프의 작동여부를 결정하는 방법이 주로 사용되고 있다. 이러한 운영방법은 용수공급의 안전성을 우선시함으로써 배수지의 수위를 일정하게 유지하고자 빈번하게 펌프를 작동하게 되고 따라서 가압장에서 소모되는 전력량이 커서 운영효율 측면에서는 바람직하지 않다고 할 수 있다. 또한 빈번한 펌프의 작동으로 인해 펌프의 수명이 단축될 뿐만 아니라, 배수지내 용수의 수질저하 문제도 발생할 수 있다. 본 연구에서는 효율적인 펌프장 운영을 위해 급수지역의 24시간 용수사용량을 예측하고, 그에 따른 펌프장의 가압 유량 및 양정을 파악하여 적정용량의 펌프를 선정하고 운영함으로써 펌프의 운영비용의 최소화 및 안정적인 용수공급을 동시에 달성하고자 한다. 이를 위해, 실시간 최적화 모형을 개발하였다. 개발된 최적화 모형은 상수관망해석 프로그램(EPAENT)을 연계하여 수요절점의 수압조건 및 운영상황을 모의하였다. 최적화 기법으로는 유전자알고리즘을 사용하였으며, 실제 시스템의 운영상황를 반영하기 위한 다양한 제약조건(operational constraints)을 적용하였다. 개발된 모형은 정속펌프(혹은 On/Off 펌프) 뿐만 아니라, 최근 실무에서 널리 사용되고 있는 변속펌프(variable speed pump)를 추가적으로 고려하였다. 개발된 모형은 국내에서 실제 운영되고 있는 송, 배수 시스템에 적용하여 모형의 실무 적용가능성을 검증하였다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.38 no.6
• /
• pp.957-965
• /
• 2018

This study presents a geographic information system based dump truck route exploring system (DRES) which provides construction managers and hauling operators with efficient route information that can improve earthmoving productivity by reducing hauling time. The system is comprised of Network Analyst from Esri as a route exploring engine and a network data model. The network data model includes information on weight limit of bridges, height limit of pedestrian overpasses, and one way that impedes dump trucks' hauling efficiency. A construction manager is expected to input origin and destination point in the user interface, and the system generates an efficient route that avoids bridges with weight limit or pedestrian overpasses with height limit. The system was applied to a real earthmoving project to test its applicability, and it was found that the system functions as intended.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.12
• /
• pp.5701-5722
• /
• 2018

The continuous increase in the cost of energy production and concerns for environmental sustainability are leading research communities, governments and industries to amass efforts to reduce energy consumption and global $CO_2$ footprint. Players in the information and communication industry are keen on reducing the operational expenditures (OpEx) and maintaining the profitability of cellular networks. Meanwhile, network virtualization has been proposed in this regard as the main enabler for 5G mobile cellular networks. In this paper, we propose a generic framework of slice resource provisioning and customized physical resource allocation for energy-efficiency and quality of service optimization. In resource slicing, we consider user demand and population resources provisioning scheme aiming to satisfy quality of service (QoS). In customized physical resource allocation, we formulate this problem with an integer non-linear programming model, which is solved by a heuristic algorithm based on minimum vertex coverage. The proposed algorithm is compared with the existing approaches, without consideration of slice resource constraints via system-level simulations. From the perspective of infrastructure providers, traffic is scheduled over a limited number of active small-cell base stations (sc-BSs) that significantly reduce the system energy consumption and improve the system's spectral efficiency. From the perspective of virtual network operators and mobile users, the proposed approach can guarantee QoS for mobile users and improve user satisfaction.

• Steel and Composite Structures
• /
• v.44 no.2
• /
• pp.199-210
• /
• 2022

This study build finite element analysis (FEA) models describing the bending events of coiled tubing (CT) at the wellhead and trips into the hole, accurately provide the state of stress and strain while the CT is in service. The bending moment and axial force history curves are used as loads and boundary conditions in the diametrical growth models to ensure consistency with the actual working conditions in field operations. The simulation diametrical growth results in this study are more accurate and reasonable. Analysis the factors influencing fatigue and diametrical growth shows that the internal pressure has a first-order influence on fatigue, followed by the radius of the guide arch, reel and the CT diameter. As the number of trip cycles increase, fatigue damage, residual stress and strain cumulatively increase, until CT failure occurs. Significant residual stresses remain in the CT cross-section, and the CT exhibits a residual curvature, the initial residual bending configuration of CT under wellbore constraints, after running into the hole, is sinusoidal. The residual stresses and residual bending configuration significantly decrease the buckling load, making the buckling and buckling release of CT in the downhole an elastic-plastic process, exacerbating the helical lockup. The conclusions drawn in this study will improve CT models and contribute to the operational and economic success of CT services.

• Journal of Aerospace System Engineering
• /
• v.16 no.5
• /
• pp.26-34
• /
• 2022

The propulsion system of geostationary orbiting satellites is typically used to raise the orbit into a transfer orbit, maintain the orbital position in the south/north, east/west direction in regular operation, and accumulate momentum in the south/north and east/west direction. Recently, when an electric propulsion system is used in a geostationary orbit satellite, the payload capacity can be increased by about 40% compared to a chemical propulsion system. However, despite these advantages, using an electric propulsion system has several limitations that should apply to all geostationary orbiting satellites. This paper discusses the operational constraints to consider when developing an indigenous geostationary satellite using a fully electric propulsion, radiation exposure, and control mechanism design due to unit displacement and floating ground-design. A high-voltage control unit for electric drives were analyzed.

• Nuclear Engineering and Technology
• /
• v.55 no.9
• /
• pp.3409-3416
• /
• 2023

Licensing the next-generation of nuclear reactor designs requires extensive use of Modeling and Simulation (M&S) to investigate system response to many operational conditions, identify possible accidental scenarios and predict their evolution to undesirable consequences that are to be prevented or mitigated via the deployment of adequate safety barriers. Deep Learning (DL) and Artificial Intelligence (AI) can support M&S computationally by providing surrogates of the complex multi-physics high-fidelity models used for design. However, DL and AI are, generally, low-fidelity 'black-box' models that do not assure any structure based on physical laws and constraints, and may, thus, lack interpretability and accuracy of the results. This poses limitations on their credibility and doubts about their adoption for the safety assessment and licensing of novel reactor designs. In this regard, Physics Informed Neural Networks (PINNs) are receiving growing attention for their ability to integrate fundamental physics laws and domain knowledge in the neural networks, thus assuring credible generalization capabilities and credible predictions. This paper presents the use of PINNs as surrogate models for accidental scenarios simulation in Nuclear Power Plants (NPPs). A case study of a Loss of Heat Sink (LOHS) accidental scenario in a Nuclear Battery (NB), a unique class of transportable, plug-and-play microreactors, is considered. A PINN is developed and compared with a Deep Neural Network (DNN). The results show the advantages of PINNs in providing accurate solutions, avoiding overfitting, underfitting and intrinsically ensuring physics-consistent results.