• Journal of Korean Library and Information Science Society
• /
• v.53 no.2
• /
• pp.95-115
• /
• 2022

The purpose of this study is to transform the sub-categorization terms of the National Science and Technology Standards Classification System into technical keywords by applying a machine learning algorithm. For this purpose, AttentionMeSH was used as a learning algorithm suitable for topic word recommendation. For source data, four-year research status files from 2017 to 2020, refined by the Korea Institute of Science and Technology Planning and Evaluation, were used. For learning, four attributes that well express the research content were used: task name, research goal, research abstract, and expected effect. As a result, it was confirmed that the result of MiF 0.6377 was derived when the threshold was 0.5. In order to utilize machine learning in actual work in the future and to secure technical keywords, it is expected that it will be necessary to establish a term management system and secure data of various attributes.

• Korean Journal of Ecology and Environment
• /
• v.56 no.3
• /
• pp.268-279
• /
• 2023

Nowadays, artificial intelligence model approaches such as machine and deep learning have been widely used to predict variations of water quality in various freshwater bodies. In particular, many researchers have tried to predict the occurrence of cyanobacterial blooms in inland water, which pose a threat to human health and aquatic ecosystems. Therefore, the objective of this study were to: 1) review studies on the application of machine learning models for predicting the occurrence of cyanobacterial blooms and its metabolites and 2) prospect for future study on the prediction of cyanobacteria by machine learning models including deep learning. In this study, a systematic literature search and review were conducted using SCOPUS, which is Elsevier's abstract and citation database. The key results showed that deep learning models were usually used to predict cyanobacterial cells, while machine learning models focused on predicting cyanobacterial metabolites such as concentrations of microcystin, geosmin, and 2-methylisoborneol (2-MIB) in reservoirs. There was a distinct difference in the use of input variables to predict cyanobacterial cells and metabolites. The application of deep learning models through the construction of big data may be encouraged to build accurate models to predict cyanobacterial metabolites.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.45-54
• /
• 2000

실시간 시스템은 특정 시간 내에 요구하는 정보를 제공해주는 시스템이다. 즉 실시간 시스템에서 요구되는 시간을 충족하지 못할 경우 시스템의 신뢰도는 급격히 감소하며, 요구되는 시간의 범위를 넘어서서 제공되는 정보는 활용도와 가치에 있어서 거의 무의미하게 된다. 이러한 실시간 시스템의 성공적인 동작을 보장하기 위해서는 보다 정확한 시스템 설계가 중요하다. 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세 된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점(time points)과 시간 간격(time intervals), 주기(period), 이산 시간(discrete time)으로 연속적인 시간(continuous time) 표현, 다수의 타이머에 의한 지역 시간과 전역시간 등의 시간 관련 동작을 ATM(Abstract Time Machine)을 기반으로 명세하고 명세하고 명세 된 시간에 대한 분석 방법을 살펴본다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.652-655
• /
• 1997

An exploration for an intelligence paradigm has been delineated. Artificial intelligence and artificial life paradigms seem to fail to show the whole picture of human intelligence. We may understand the human intelligence better by adding the emotional part of human intelligence to the intellectual part of human intelligence. Emotional intelligence is investigated in terms of composing machine as a modern abstract art. Various algorithmic composition and performance concepts are currently being investigated and implemented. Intelligent mapping algorithms restructure the traditional predetermined composition algorithms. Music based on fractals and neural networks is being composed. Also, emotional intelligence and aesthetic aspects of Korean traditional music are investigated in terms of fractal relationship. As a result, this exploration will greatly broaden the potentials of the intelligence research. The exploration of art in the view of intelligence, information and structure will restore the balanced sense, of art and science which seeks happiness in life. The investigations of emotional intelligence will establish the foundations of intelligence, information and control technologies.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.189-192
• /
• 2011

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.

• Journal of the Korean housing association
• /
• v.15 no.6
• /
• pp.15-25
• /
• 2004

This study examined how the characteristics of abstractive form among various contenporary housing architecture have been expressed. The conclusions were: First, abstractive characteristics and types related to from expression of contemporary housing architectures were minimal form and absolute form of geometrical abstraction, plastic form and atypical form of expressive abstraction and mechanical aesthetics of industrial abstraction. Second, the typological form expression characteristics in minimal expression related to geometrical abstraction were simplicity, purity, and the properties of matter, and the characteristics in absolute expression were overlapping, obliqueness and dispensability. On the other hand, plasticity and mobility of materials were distinctive in plastic form expression, and inclination, curve and asymmetry were distinctive in atypical expression. The distinctive nature of mechanical aesthetics related to industrial abstraction included transparency, simplicity and. the properties of matter Funhermore, the study aimed at the understanding of various from expressions showed up in contemporary housing architecture, revealing the aspects of abstractive form expression characteristics.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.331-333
• /
• 2003

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링 하는데 유용하게 사용된다. 워크플로우 모델링은 이해하기 쉽고. 작업하기 쉬운 보편성을 갖고 있도록 개발되어져야 한다. 또한 모델링을 하는 기법 자체에는 정형적인 의미를 내포하고 있어야 하며 분석이 가능해야 한다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(Abstract State Machine) 시멘틱을 이용하여 액티비티 다이어그램 기반의 워크플로우 모델링에 대한 시멘틱 표현을 제안한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱 표현을 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.568-570
• /
• 2001

정형 기법으로 명세된 시스템이 구현되어 실제 물리적 환경에서 실행될 때는 시스템 행위들의 성공과 실패가 다양한 환경 요인에 의해 영향을 받는다. 본 논문에서는 PATM(Probabilistic ATM)을 이용하여 시스템의 행위에 영향을 주는 요인의 정도를 확률로써 명세하고, 명세 단계에서 시스템의 실행을 예측할 수 있는 방법을 제시한다. PATM은 실행시간에 변화하는 요인을 가변 확률로 명세하여 실행 시 발생할 수 있는 상황에 대한 능동적인 분석과 예측을 가능하도록 한다.

• Journal of Information Processing Systems
• /
• v.13 no.5
• /
• pp.1052-1070
• /
• 2017

For the autoencoder (AE) implemented as a construction component, this paper uses the method of greedy layer-by-layer pre-training without supervision to construct the stacked autoencoder (SAE) to extract the abstract features of the original input data, which is regarded as the input of the logistic regression (LR) model, after which the click-through rate (CTR) of the user to the advertisement under the contextual environment can be obtained. These experiments show that, compared with the usual logistic regression model and support vector regression model used in the field of predicting the advertising CTR in the industry, the SAE-LR model has a relatively large promotion in the AUC value. Based on the improvement of accuracy of advertising CTR prediction, the enterprises can accurately understand and have cognition for the needs of their customers, which promotes the multi-path development with high efficiency and low cost under the condition of internet finance.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.551-558
• /
• 2005

Although OMG gives a textual semantics for UML activity diagrams, some ambiguities can be caused due to the lack of rigorous semantics. That is to say it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the n activity diagram. In this paper, the alternative approach of using Abstract State Machine(ASM) to formalize UML activity diagrams is presented. It suggested that ASM semantics is extended corresponding the workflow system characteristics.