• Journal of KIISE:Software and Applications
• /
• v.37 no.9
• /
• pp.669-675
• /
• 2010

For detecting requirement errors in early system development phase, the behaviors of a system should be described in formal methods and be analyzed with analysis techniques such as reachability analysis and cycle detection. However, since they are usually based on explicit exploration of system state space, state explosion problem may be occurred when a system becomes complex. That is, the memory and execution time for exploration exponentially increase due to a huge state space. In this paper, we analyze the fundamental causes of this problem in concurrent systems and explore the state space without composing concurrent state spaces for reducing the memory requirement for exploration. Also our new technique keeps a visited history minimally for reducing execution time. Finally we represent experimental results which show the efficiency of our technique.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.03a
• /
• pp.762-765
• /
• 2008

Shotcrete is NATM technique after tunnel excavation as major tunnel support for ground stability, curtail of execution period and reduction of execution expenses instead of general lining method. It is trend using constantly shotcrete lining. This high-strength shotcrete is require to use as constantly shotcrete lining. This brought out the solution of environmental pollution and harmfulness about human. Accordingly, in this study Specimens of strength measurement was made to develop shotcrete possible to develop in early materials with Cement Mineral Accelerator as NATM method construction. It's compared with existing shotcrete material, Unconfined Compression test, flexural strength test were experimented. The fish poison test was experimented to evaluate an influence of environment. On results of test, Unconfined Compressive Strength and flexural strength was equivalent with 28-day strength of existing material. On results of fish poison evaluation research subject material was founded environmentally friendly for existing shotcrete.

• Journal of the Korean Society of Costume
• /
• v.50 no.6
• /
• pp.47-58
• /
• 2000

This paper analyses the geometric aspect of Soma Delaunay's works on the basis of design elements and principles. Geometric pattern is one of the distinct features of early 20th century avant-garde works. The significance of its pattern and colour comes from the fact that it has not only influenced the contemporary fine art but also offered the basic principle of modern costume design. In 1925 she was designing clothes which could be worn today without appearing old-fashioned. She foresaw the future trends in fashion and interior decoration, One might claim she belongs to the avant-garde even today and no less astonishing a phenomenon than she was in 1925. Soma Delaunay's art was one of the first expressions of abstract painting and her "simultaneous contrasts"are among the earliest example of the aesthete. In Delaunay's geometric abstraction it is found that the technique of"simultaneous contrasts" is exploited almost without exception. colour as well as collage was the favourite technique Delnaunay used in creating a distinct simultaneity, Many "inobjective" paintings as she herself called unite the rigour of simple geometric forms with an inner life and poetry which emanate from the richness of the colour, the musicality of the rhythm, the vibrant breadth of the execution.rant breadth of the execution.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2018.05a
• /
• pp.171-172
• /
• 2018

Performance measurement and management in the construction industry has traditionally been regarded as the major factor for successful business execution. In addition, there is emphasis on the function of performance measurement and management that can early warn potential risks and poor performance in project execution environment changes. Previous studies have made various attempts to measure the quantitative performance of construction projects, and the research to derive the link between the results and the issue that can meet the future needs is expected to provide valuable information. The purpose of this study is to analyze the research trends based on the keywords presented in previous studies on the performance measurement and management of construction projects. Considering that the results presented in the existing literature can be an indicator of the evolution of the sector before it is applied to industry, the result of this study is expected to be used as a basic data to support the establishment of research direction in the future.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.9
• /
• pp.1658-1666
• /
• 2009

This paper proposes an approach of Mult_HPSO based on the PC cluster system to reduce or remove the stagnation on an early convergence effect of PSO, reduce an execution time and improve a search ability on an optimal solution. Hybrid PSO(HPSO) is combines the PSO(Particle Swarm Optimization) with the mutation of conventional GA(Genetic Algorithm). The conventional PSO has operated a search process in a single swarm. However, Multi_PSO operates a search process through multiple swarms, which increments diversity of expected solutions and reduces the execution time. Multiple Swarms are composed of unsynchronized PC clusters. We apply to SCED(security constrained economic dispatch) problem, a nonlinear optimization problem, which considers line flow constraints and N-1 line contingency constraints. To consider N-1 line contingency in power system, we have chosen critical line contingency through a process of Screening and Selection based on PI(performace Index). We have applied to IEEE 118 bus system for verifying a usefulness of the proposed approaches.

• Journal of Computing Science and Engineering
• /
• v.1 no.1
• /
• pp.56-73
• /
• 2007

Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.

• Journal of the Korea Convergence Society
• /
• v.13 no.3
• /
• pp.147-161
• /
• 2022

The purpose of the study was to investigate mothers' beliefs and executions in the social relations area of the 2019 revised Nuri curriculum, and to investigate the effects of beliefs and executions on the emotional intelligence and prosocial behavior of young children. For this purpose, data were collected by distributing questionnaire packets to 268 mothers of children aged 3-5 years who were enrolled in 7 early childhood education institutions in Gyeonggi-do. The collected data were analyzed using the SPSS 25.0 program. As a result of the study, first, there was a statistically significant difference in the overall belief according to the mother's personal characteristic, the educational level, and a significant difference in the sub-factor, living together, in the execution. Second, it was found that there was a significant positive correlation between all variables except for the relationship between social relation execution and the ability to regulate others, which is a sub-factor of emotional intelligence. Third, beliefs and executions in social relation were found to affect all emotional intelligence and pro-social behavior, except for the effect of social relation execution on the ability to regulate others. This study is expected to provide basic data to improve parents' interest in the improvement of young children's social ability and practical interaction in child rearing.

• Journal of the Korea Institute of Building Construction
• /
• v.23 no.1
• /
• pp.103-111
• /
• 2023

Accurate cost estimation in the early stages of a construction project is critical to the successful execution of the project. In this study, an ANFIS model was presented to predict construction costs in the early stages of a construction project. To increase the usability of the model, open construction cost data was used, and a model using limited information in the early stage of the project was presented. We analyzed existing studies related to ANFIS to identify recent trends, and after reviewing the basic structure of ANFIS, presented an ANFIS model for predicting conceptual construction costs. The variation in prediction performance depending on the type and number of membership functions of the ANFIS model was analyzed, the model with the best performance was presented, and the prediction accuracy of representative machine learning models was compared and analyzed. Through comparing the ANFIS model with other machine learning models, it was found to show equal or better performance, and it is concluded that it can be applied to predicting construction costs in the early stage of a project.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.7A
• /
• pp.586-599
• /
• 2012

This paper proposes a fast face detection and tracking method which uses depth images as well as RGB images. It consists of the face detection procedure and the face tracking procedure. The face detection method basically uses an existing method, Adaboost, but it reduces the size of the search area by using the depth image. The proposed face tracking method uses a template matching technique and incorporates an early-termination scheme to reduce the execution time further. The results from implementing and experimenting the proposed methods showed that the proposed face detection method takes only about 39% of the execution time of the existing method. The proposed tracking method takes only 2.48ms per frame with $640{\times}480$ resolution. For the exactness, the proposed detection method showed a little lower in detection ratio but in the error ratio, which is for the cases when a detected one as a face is not really a face, the proposed method showed only about 38% of that of the previous method. The proposed face tracking method turned out to have a trade-off relationship between the execution time and the exactness. In all the cases except a special one, the tracking error ratio is as low as about 1%. Therefore, we expect the proposed face detection and tracking methods can be used individually or in combined for many applications that need fast execution and exact detection or tracking.

• Korean Journal of Childcare and Education
• /
• v.12 no.3
• /
• pp.211-238
• /
• 2016

This study examines indicators and factors for identification of ASD(Autism Spectrum Disorder) characteristics of infants and toddlers and early screening of children with ASD by day care teachers. Focus group interviews were conducted with 11 teachers by a semi-structured questionnaire developed by the authors. The findings are: 1) key problems and indicators of behavioral characteristics of children with ASD included problems with social communication and interactions, restricted and unusual interests, outstanding ability in specific areas, insistence on sameness and ritualized patterns, problems with language development and communication, sensory abnormalities; 2) counseling with parents of children with ASD revealed a lack of recognition of parents, negative expressions of emotions and resistance, and difficulties in referral to and association with experts; 3) needs for ASD in the child care field included visiting by experts, provision of test scales, training of child care teachers and parents, and building cooperative systems; and 4) demands of development and execution of a Korean-style scale for early screening of children with ASD.