• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Smart Media Journal
• /
• v.5 no.3
• /
• pp.35-41
• /
• 2016

In this paper, we propose hand-gesture signal recognition based on EPS(Electronic Potential Sensor) using Deep learning model. Extracted signals which from Electronic field based sensor, EPS have much of the noise, so it must remove in pre-processing. After the noise are removed with filter using frequency feature, the signals are reconstructed with dimensional transformation to overcome limit which have just one-dimension feature with voltage value for using convolution operation. Then, the reconstructed signal data is finally classified and recognized using multiple learning layers model based on deep learning. Since the statistical model based on probability is sensitive to initial parameters, the result can change after training in modeling phase. Deep learning model can overcome this problem because of several layers in training phase. In experiment, we used two different deep learning structures, Convolutional neural networks and Recurrent Neural Network and compared with statistical model algorithm with four kinds of gestures. The recognition result of method using convolutional neural network is better than other algorithms in EPS gesture signal recognition.

• Journal of Korea Society of Industrial Information Systems
• /
• v.27 no.5
• /
• pp.145-156
• /
• 2022

In recent years, as there is growing concern with ESG (Environmental, Social, and Governance), the strategic direction of business management is changing from maximizing shareholders wealth to maximizing stakeholders value. ESG is reshaping a corporation's supply chain management strategies. The purpose of this study is to explore the ESG challenges in supply chain management. As a result of network text analysis and topic modeling analysis on 3226 news articles, 'Suppliers', 'Sustainability', 'Shared Growth' 'Carbon Neutral', 'Safety and Health', 'Responsible Business Alliance', 'Supply Chain Due Diligence Law' were identified as the main issue. Since ESG initiatives in the supply chain are not limited to the efforts of individual firms, future research should focus on figuring out what difficulties and challenges exist in the diffusion of ESG practices along multi-tiered supply chains, and how to overcome them.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Journal of the Korean Society for Library and Information Science
• /
• v.58 no.1
• /
• pp.285-302
• /
• 2024

For this article, we conducted frequency analysis, topic modeling, and network analysis on eleven texts related to collection development policy found in the National Library of Korea. We deduced the main keywords related to collection development policies and analyzed the relationship between them. We subsequently conducted a pie coefficient analysis to identify the characteristics of collection development policies of university libraries and public libraries by category. The results showed that keywords such as "material," "library," "collection development," "user," and "collection" were the main keywords in frequency analysis and network centrality. Meanwhile, the pie coefficient analysis revealed that keywords such as "university," "construction," "student," "target," and "cost" were prevalent in university libraries, indicating that the academic needs of users and the discussion of digital resources were primary issues, while keywords related to the information needs of various user groups-including "adults," "survey," "feature," and "religion" -appeared in public libraries.

• Journal of KIISE:Software and Applications
• /
• v.41 no.7
• /
• pp.481-491
• /
• 2014

The power production using renewable energy is more important because of a limited amount of fossil fuel and the problem of global warming. A concentrative photovoltaic system comes into the spotlight with high energy production, since the rate of power production using solar energy is proliferated. These systems, however, need to sophisticated tracking methods to give the high power production. In this paper, we propose a hierarchical tracking system using modular Bayesian networks and a naive Bayes classifier. The Bayesian networks can respond flexibly in uncertain situations and can be designed by domain knowledge even when the data are not enough. Bayesian network modules infer the weather states which are classified into nine classes. Then, naive Bayes classifier selects the most effective method considering inferred weather states and the system makes a decision using the rules. We collected real weather data for the experiments and the average accuracy of the proposed method is 93.9%. In addition, comparing the photovoltaic efficiency with the pinhole camera system results in improved performance of about 16.58%.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.12
• /
• pp.704-715
• /
• 2004

Recently, a single or multi processor system uses the hierarchical memory structure to reduce the time gap between processor clock rate and memory access time. A cache memory system includes especially two or three levels of caches to reduce this time gap. Moreover, one of the most important things In the hierarchical memory system is the hit rate in level 1 cache, because level 1 cache interfaces directly with the processor. Therefore, the high hit rate in level 1 cache is critical for system performance. A victim cache, another high level cache, is also important to assist level 1 cache by reducing the conflict miss in high level cache. In this paper, we propose the advanced high level cache management scheme based on the processor reuse information. This technique is a kind of cache replacement policy which uses the frequency of processor's memory accesses and makes the higher frequency address of the cache location reside longer in cache than the lower one. With this scheme, we simulate our policy using Augmint, the event-driven simulator, and analyze the simulation results. The simulation results show that the modified processor reuse information scheme(LIVMR) outperforms the level 1 with the simple victim cache(LIV), 6.7% in maximum and 0.5% in average, and performance benefits become larger as the number of processors increases.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.5A
• /
• pp.649-656
• /
• 2008

The enhancement of the service life of damaged or cracked structures is a major issue for researchers and engineers. The hierarchic void element based on the integrals of Legendre polynomials is used to characterize the fracture behaviour of unpatched crack as well as repaired crack with bonded composite patches by computing the stress intensity factors and stress contours at the crack tip. Since the equivalent single layer approach is adopted in this study, the proposed element is necessary to represent a discontinuous crack part as a continuum body with zero stiffness. Thus the aspect ratio of this element to represent the crack should be extremely slender. The sensitivity of numerical solution with respect to energy release rate, displacement and stress has been tested to show the robustness of zero stiffness element as the aspect ratio is increased up to 2000. The stiffness derivative method and displacement extrapolation method have been applied to calculate the stress intensity factors of Mode I problem. It is noted that the proposed hierarchical void element can be one of alternatives to analyze the patched crack problems.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.3
• /
• pp.133-141
• /
• 2013

As a work analysis technique, Work Domain Analysis (WDA) aims to identify the design knowledge structure of a work domain that human operators interact with through human-system interfaces. Abstraction hierarchy (AH) is a multi-level, hierarchical knowledge representation framework for modeling the functional structure of any kinds of systems. Thus, WDA based on AH aims to identify the functional knowledge structure of a work domain. AH has been used in a range of work domains and problems to model their functional knowledge structure and has proven its generality and usefulness. However, many of researchers and system designers have reported that it is never easy to understand the concepts underlying AH and use it effectively for WDA. This would be because WDA is a form of work analysis that is different from other types of work analysis techniques such as task analysis and AH has several unique characteristics that are differentiated from other types of function analysis techniques used in systems engineering. With this issue in mind, this paper introduces the concepts of WDA based on AH and offers a comprehensive list of references. Next, this paper proposes a set of principles for effectively applying AH for work domain analysis, which are developed based on the author's experiences, consultation with experts, and literature reviews.

• Journal of KIBIM
• /
• v.1 no.2
• /
• pp.12-18
• /
• 2011

The BIM techniques which manages information over the life cycle of construction project based on the 3-dimensional model are developing in the direction of integrated construction management including planning, design, analysis, estimation, 3D simulation and so on. The estimation model based on the BIM has different detail level and model information. In this study, the LOD of estimation model is catched for the bridge structures. The library classes are defined with construction information classification system, and the quantities of resources are calculated by class parameter using Microstation API. Finally, the automated estimation system using BIM based library is verified by the integrated model for adjustments of level of detail.