• Journal of KIISE
• /
• v.43 no.3
• /
• pp.314-326
• /
• 2016

Some process algebras were applied to enterprise business modelling for formal specification and verification. ${\pi}$-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) ${\pi}$-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called ${\delta}$-calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx metamodelling platform to demonstrate the concept.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.19-24
• /
• 2012

As the representative of the convergence of broadcasting and communication, the data service was expected to be a new profit source of the related industries. The data service, however, has not satisfied the expectation due to the short of killer services that make it popular with the viewers. According to the several survey reports, a lot of viewers do internet-searching using the key-words related to the TV program they are watching and, with the faith in the survey results, several trials has been performed to port established PC-based searching systems onto TV-set only to fail to get popularity among viewers. The failures are mainly caused that they did not sufficiently consider the viewers' modality that viewers seriously want not to be obstructed by anything when they are absorbed in a program. This paper proposes an MHP-based searching data service designed to minimally interrupt the viewers watching a TV program and to be synchronized with a TV program by using the searching key-words relative to it, the content of which changes as time goes on.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.6 s.336
• /
• pp.9-16
• /
• 2005

In this paper, we focus on supporting the convergence of broadcasting and communication in home network systems with E-PON based home gateway. We propose a new architecture to provide broadcasting and data services in integrated home network using overlay transport mechanism in access network and If multicast techniques of IGMP and IGMP snooping in home network. We also detail a set of mechanisms and procedures for home broadcasting service through the home gateway system. Our new scheme is composed of three parts: a) an overlay transmission model of video broadcasting signals (satellite and/or cable TV) and Internet data, b) to select a specific video broadcasting channel and to make of the selected video broadcasting stream into IP multicast packets in tuner/conversion module using multiple tuner system and c) to transfer the converted If multicast packets to L2 switch of home gateway's core module and to send them out to target port(s) by L2 multicast using IGMP snooping.

• Journal of the Korean Solar Energy Society
• /
• v.29 no.2
• /
• pp.1-7
• /
• 2009

Use of the PV(photovoltaic) generation system is increased in such areas as remote mountain places or islands at which electrical energy is not serviced. The stand alone PV system is required the power storage products such as battery, fly wheel and super capacitor. Several lead storage batteries are connected in series to get high voltages. The life of lead storage battery is shortened when over charge or over discharge takes place. So, it is needed to control batteries not to be overcharged or be discharged deeply. Voltage of each battery was ignored in former control methods in which overall voltage was used to control charge or discharge battery. In this study, the charging and discharging voltage variations of sealed lead storage batteries with l2V/l.2A were investigated step by step experiments. The results of the test show that one should consider and specify the state of each battery to prevent overcharge or deep discharge. With the basis of the experiments, we designed a monitoring unit to monitor battery voltages simultaneously using micro-controller. The unit measures voltage of 20 batteries simultaneously and displays data on the color LCD monitor with curved line graph. It also sends data to PC using the RS232C communication port. The designed unit was adapted to stand alone PV system with 1kW capacity and lead storage batteries are connected to the PV generation system. The number of lead storage batteries was 10 in series and 12V/250Ah each. Resistive load with 3kW was used for discharging.

• Journal of Digital Convergence
• /
• v.10 no.11
• /
• pp.197-202
• /
• 2012

Block Train Services(BTS) are actively studied in many countries for higher productivity and eco-friendly systems of inland freight distribution. However it is difficult for an ordinary student or researcher to approach for understanding and studying BTS because rail transport is operated monopolistically by Korea government and most freight information in each company belongs to its business secret due to the industrial characteristics. For such reasons, the study aimed to develop a BTS simulation model that it supports understanding and strategic decision required for BT operation. To build the result, expert depth-interviews were conducted with analysis of relative references through the domestic representative BT operating company K. The simulator refers to the Busan NewPort-Uiwang section and functionally, it supports scenario generation and analysis on BT operation. It makes a contribution to study a new type's technological application for learning and strategic analysis of BTS.

• Journal of Digital Convergence
• /
• v.16 no.7
• /
• pp.199-211
• /
• 2018

Ever since Korea was geopolitically divided into North and South Korea in the 1940s, South Korea has depended on maritime transportation for global trade and logistics. Now, however, South Korea is preparing to develop a new global route for trans-Eurasia logistics passing through North Korea. Even though there are difficulties to overcome, South Korea expects that a new overland route, shorter than the existing seaways in the Europe-Asia section, will bring more frequent trade with more rapid and cost-effective logistics services in the future. Related to this issue, this study aims to proactively analyze dynamic logistics changes in South Korea when a trans-Korea railway is developed and linked with the trans-China railway and the trans-Siberian railway. This study employed a system dynamics simulation approach to model the logistics system in South Korea. The simulation results indicated that the traffic of the Uiwang inland container depot near the capital area may increase but the traffic of the Port of Busan may decrease. With supplementary research, consequently, follow-up studies on adjusting the traffic capacity in Korea are required to attain successful trans-Eurasia logistics by rail.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.5_6
• /
• pp.258-264
• /
• 2003

VLIW architecture has emerged as one of the most effective architectures in dealing with multimedia applications. In multimedia applications, there is ample potential for parallelizing the execution of multiple operations because such applications typically have data intensive processing which often has limited data and/or control dependencies. As the degree of instruction-level parallelism increases, non-clustered VLIW architectures scale poorly because of the tremendous register port pressure. Therefore, clustered VLIW architecture is definitely preferred over non-clustered VLIW architecture when a higher degree of parallelizing is possible as in the case of multimedia processing However, having multiple clusters in an architecture implies that the amount of hardware is quite large, and therefore, power consumption becomes a very crucial issue. In this paper, we propose an algorithm to minimize the peak power consumption without incurring little or no delay penalty. The effectiveness of our algorithm has been verified by various sets of experiments, and up to 30.7% reduction in the peak power consumption is observed compared with the results that is optimized to minimize resources only.

• The Journal of the Acoustical Society of Korea
• /
• v.38 no.2
• /
• pp.231-239
• /
• 2019

In sonar systems, the passive ranging of a target is an active research area. This paper analyzed the performance of passive ranging based on an array invariant method for different environmental and sonar parameters. The array invariant developed for source range estimation in shallow water. The advantages of this method are that detailed environmental information is not required, and the real-time ranging is possible since the computational burden is very small. Simulation was performed to verify the algorithm. And this method is applied to sea-going experimental data in 2013 near Jinhae port. This study shows the performance of ranging for source orientation, transmission signal length, and length of a receiver through numerical simulation experiments. Also, the results using nested array and uniform line arrays are compared.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.11
• /
• pp.411-418
• /
• 2022

Incorrectly loaded containers can easily knock down by strong winds. Container collapse accidents can lead to material damage and paralysis of the port system. In this paper, We propose a deep learning-based container loading state and accident risk detection technique. Using Darknet-based YOLO, the container load status identifies in real-time through corner casting on the top and bottom of the container, and the risk of accidents notifies the manager. We present criteria for classifying container alignment states and select efficient learning algorithms based on inference speed, classification accuracy, detection accuracy, and FPS in real embedded devices in the same environment. The study found that YOLOv4 had a weaker inference speed and performance of FPS than YOLOv3, but showed strong performance in classification accuracy and detection accuracy.

• The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
• /
• v.18 no.2
• /
• pp.89-103
• /
• 2013

National demands for the ocean forecasting system have been increased to support economic activity and national safety including search and rescue, maritime defense, fisheries, port management, leisure activities and marine transportation. Further, the ocean forecasting has been regarded as one of the key components to improve the weather and climate forecasting. Due to the national demands as well as improvement of the technology, the ocean forecasting systems have been established among advanced countries since late 1990. Global Ocean Data Assimilation Experiment (GODAE) significantly contributed to the achievement and world-wide spreading of ocean forecasting systems. Four stages of GODAE were summarized. Goal, vision, development history and research on ocean forecasting system of the advanced countries such as USA, France, UK, Italy, Norway, Australia, Japan, China, who operationally use the systems, were examined and compared. Strategies of the successfully established ocean forecasting systems can be summarized as follows: First, concentration of the national ability is required to establish successful operational ocean forecasting system. Second, newly developed technologies were shared with other countries and they achieved mutual and cooperative development through the international program. Third, each participating organization has devoted to its own task according to its role. In Korean society, demands on the ocean forecasting system have been also extended. Present status on development of the ocean forecasting system and long-term plan of KMA (Korea Meteorological Administration), KHOA (Korea Hydrographic and Oceanographic Administration), NFRDI (National Fisheries Research & Development Institute), ADD (Agency for Defense Development) were surveyed. From the history of the pre-established systems in other countries, the cooperation among the relevant Korean organizations is essential to establish the accurate and successful ocean forecasting system, and they can form a consortium. Through the cooperation, we can (1) set up high-quality ocean forecasting models and systems, (2) efficiently invest and distribute financial resources without duplicate investment, (3) overcome lack of manpower for the development. At present stage, it is strongly requested to concentrate national resources on developing a large-scale operational Korea Ocean Forecasting System which can produce open boundary and initial conditions for local ocean and climate forecasting models. Once the system is established, each organization can modify the system for its own specialized purpose. In addition, we can contribute to the international ocean prediction community.