• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제11권8호
• /
• pp.315-324
• /
• 2022

이 논문에서는 자연어로 구성된 수학 문장제 문제 자동 풀이하기 위한 Transformer 기반의 생성 모델인 KoEPT를 제안한다. 수학 문장제 문제는 일상 상황을 수학적 형식으로 표현한 자연어 문제이다. 문장제 문제 풀이 기술은 함축된 논리를 인공지능이 파악해야 한다는 요구사항을 지녀 최근 인공지능의 언어 이해 능력을 증진하기 위해 국내외에서 다양하게 연구되고 있다. 한국어의 경우 문제를 유형으로 분류하여 풀이하는 기법들이 주로 시도되었으나, 이러한 기법은 다양한 수식을 포괄하여 분류 난도가 높은 데이터셋에 적용하기 어렵다는 한계가 있다. 본 논문은 이에 대해 '식' 토큰과 포인터 네트워크를 사용하는 KoEPT 모델을 사용했다. 이 모델의 성능을 측정하기 위해 현존하는 한국어 수학 문장제 문제 데이터셋인 IL, CC, ALG514의 분류 난도를 측정한 후 5겹 교차 검증 기법을 사용하여 KoEPT의 성능을 평가하였다. 평가에 사용된 한국어 데이터셋들에 대하여, KoEPT는 CC에서는 기존 최고 성능과 대등한 99.1%, IL과 ALG514에서 각각 89.3%, 80.5%로 새로운 최고 성능을 얻었다. 뿐만 아니라 평가 결과 KoEPT는 분류 난도가 높은 데이터셋에 대해 상대적으로 개선된 성능을 보였다. KoEPT가 분류 난도의 영향을 덜 받으며 좋은 성능을 얻게 된 이유를 '식' 토큰과 포인터 네트워크 때문이라는 것을 ablation study를 통해서 밝혔다.

• 전자공학회논문지S
• /
• 제35S권11호
• /
• pp.144-151
• /
• 1998

논문에서는 템플릿과 입력/출력사이에 퍼지논리를 결합한 CNN의 구조를 갖는 FCNN에 미리 정의된 가중구조적 요소의 조합으로 최소/최대 연산을 수행하기 위하여 수학적 형태학의 분해특성을 적용하였다. 본 논문에서는 잡음이 포함된 영상에 퍼지 estimator를 적용함으로써 잡음을 제거함과 동시에 에지 검출이 가능함을 컴퓨터 모의 실험을 통해 확인하였다. 형태학의 erosion 연산을 적용한 FCNN과 CNN, 메디안필터를 이용한 에지 검출 결과를 비교분석 하였으며, 양자화 퍼지 함수를 이용한 FCNN에 고정 템플릿과 가변적 템플릿을 적용한 결과 FCNN의 성능이 향상됨을 컴퓨터 모의실험을 통하여 확인하였다.

• 정보처리학회논문지C
• /
• 제8C권5호
• /
• pp.607-614
• /
• 2001

정보통신과 컴퓨터기술의 발전으로 인하여 불법침입으로 인한 정보 파괴, 서비스거부공격 그리고 컴퓨터 바이러스 등에 의한 역기능이 날로 증가하고 있는 추세이다. 또한, 이러한 공격들로부터 네트워크를 보호하기 위해서 침입차단시스템(일명：방화벽), 침입탐지시스템, 접근제어시스템 등 많은 보안제품들이 개발 및 적용되고 있다. 그러나 이러한 보안 제품들에 대한 관리를 위해서는 많은 작업과 비용이 소요된다. 따라서, 이들 보안제품들에 대한 효율적인 관리와 일관된 보안 정책을 적용할 수 있는 정책 기반의 통합보안관리시스템의 정책모델이 필요하게 되었다. 본 논문에서는 정책계층의 개념을 기반으로 상위계층의 추상적이고 개념적인 정책을 보다 구체적인 형태의 정책으로 정제(refinement)하는 정책기반의 통합보안관리시스템의 계층적 정책모델을 제시하였다. 정책의 정형화된 표현을 위해서 Z-Notation을 적용하였으며, 이는 수학적 논리와 집합이론을 기반으로 스키마형태로 표현된다.

• 한국포장학회지
• /
• 제19권2호
• /
• pp.61-65
• /
• 2013

Modified atmosphere (MA) of reduced $O_2$ and elevated $CO_2$ concentrations has been used for keeping the quality of fresh produce and extending the shelf life. As a way to attain the beneficial MA package around the produce, a gas diffusion tube or perforation can be attached onto the container and controlled on real time in its opening/closing responding to $O_2$ and $CO_2$ concentrations measured by gas sensors. The timely-controlled opening of the gas diffusion tube can work in harmony with the produce respiration and help to create the desired MA. By use of the mathematical modeling, the effect of tube dimension on the controlled container atmosphere was figured out in this study. Spinach and king oyster mushroom were used as typical commodities for designing the model container system (0.35 and 0.9 kg in 13 L, respectively) because of their respiration characteristics and the optimal MA condition ($O_2$ 7~10%/$CO_2$ 5~10% for spinach; $O_2$ 2~5%/$CO_2$ 10~15% for mushroom). With a control logic for the gas composition to stay as close as possible to optimum MA window without invading injurious low $O_2$ and/or high $CO_2$ concentrations, the atmosphere of the sensor-controlled container could stay at its lower $O_2$ boundary or upper $CO_2$ limit under certain tube dimensional conditions. There were found to be the ranges of the tube diameter and length allowing the beneficial MA. The desired range of the tube dimension for spinach consisted of combinations of larger diameter and shorter length in the window of 0.3~2 cm diameter and 0.2~10 cm length. Similarly, that for king oyster mushroom was combinations of larger diameter and shorter length in the window of 0.9~2 cm diameter and 0.2~3 cm in length. Clear picture on generally affordable tube dimension range may be formulated by further study on a wide variety of commodity and pack conditions.

• 한국디지털건축인테리어학회논문집
• /
• 제9권3호
• /
• pp.95-102
• /
• 2009

An architectural space can be considered a life form that interconnects a number of architectural elements such as the humans who live in it. It is difficult to understand and evaluate the complexity of the interrelation between each element, but there have been various attempts to understand and evaluate this architectural space. The Space Syntax that emerged in 1980s has been studied and used more frequently than other methods. Space Syntax is the space analysis tool that analyzes the physical structure of space and represents it as a graph. Space syntax enables its various applications in space analysis by quantifying each spatial property of a whole structure, analyzing it systemically and objectively based on mathematical logic, and representing the results as a quantitative value. Integration of Space Syntax, a widely used index, reflects human behavior in spatial configuration. Meanwhile, there have been various studies in the field of architectural environmental psychology about the relationships between space and human behavior by applying behavioral science to architectural plan. One of the most widely used one is spatial behavior simulation which uses models and simulates the behavioral characteristics to anticipate practical situations and investigate the behavior related spatial problems. In this study, which focuses on the accessibility of the space syntax model, the usefulness of space will be analyzed through the simulation of human behavior that moves through each space. Furthermore, the validity of index will be verified by displaying several examples and compared with integration in space syntax, which represents the usefulness of space.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.480-480
• /
• 2000

In this paper, we proposed a fuzzy-neuro controller to control the speed of wound rotor induction motor with slip energy recovery. The speed is limited at some range of sub-synchronous speed of the rotating magnetic field. Control speed by adjusting resistance value in the rotor circuit that occurs the efficiency of power are reduced, because of the slip energy is lost when it passes through the rotor resistance. The control system is designed to maintain efficiency of motor. Recently, the emergence of artificial neural networks has made it conductive to integrate fuzzy controllers and neural models for the development of fuzzy control systems, Fuzzy-neuro controller has been designed by integrating two neural network models with a basic fuzzy logic controller. Using the back propagation algorithm, the first neural network is trained as a plant emulator and the second neural network is used as a compensator for the basic fuzzy controller to improve its performance on-line. The function of the neural network plant emulator is to provide the correct error signal at the output of the neural fuzzy compensator without the need for any mathematical modeling of the plant. The difficulty of fine-tuning the scale factors and formulating the correct control rules in a basic fuzzy controller may be reduced using the proposed scheme. The scheme is applied to the control speed of a wound rotor induction motor process. The control system is designed to maintain efficiency of motor and compensate power factor of system. That is: the proposed controller gives the controlled system by keeping the speed constant and the good transient response without overshoot can be obtained.

• 에너지공학
• /
• 제6권1호
• /
• pp.41-51
• /
• 1997

단일 드럼형 보일러를 갖는 발전 플랜트의 동특성 해석을 위한 프로세스 모델이 모듈 개념을 기반으로 묘사된다. 현재의 프로세스 모델은 플랜트 전체 구성 요소 및 고부하에서의 부하 변동을 포함하며 lumped parameter에 의해 물리적으로 접근된다. 플랜트 성분을 의미하는 모듈은 필수적으로 성분 특성을 잘 묘사하며 사용자에 의해 결정된 배열에 대해 압력점 방식에 의해 상호 연결된다. 프로세스 모델의 발전 플랜트 시스템에 대한 적용성 여부를 조사하기 위해 100MW발전 플랜트의 실제 운전 LOG-IC을 갖는 제어 시스템에 연결하여 3MW/min 부하 변동율로 75MW에서 95MW, 95MW에서 75MW조건에 대해 조사된다.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.115-126
• /
• 2009

소프트웨어 규모 추정은 소프트웨어 Life-Cycle 초기에 분석되어 규모와 비용의 예측에 도움을 주어야 한다. 2004년 소프트웨어 사업대가 기준에 국제표준에 기반한 기능점수 방식이 도입된 후 사용자 입장에서 소프트웨어의 규모를 바라보고 비용을 산정하는 기반이 마련되었다. 그러나 현재의 기능 점수 측정 방식은 익숙하지 않은 일반 사용자가 접근하기 쉽지 않고, 모든 시스템 및 기능의 복잡도 가중치가 획일화되어 있어 내부 계산 로직이 복잡한 공학용 소프트웨어나 과학계산용, 시뮬레이션 소프트웨어에 대한 산정 방식에서 그 규모를 적절히 산정하지 못하는 문제점을 안고 있다. 본 논문에서는 기존의 기능점수 측정 절차를 간략화하고 프로젝트 초기에 규모의 추정을 쉽고 빠르게 수행할 수 있는 모델을 제시한다. 또한 특정 조직의 특성을 반영할 수 있는 수학적 가중치 산출 모형을 제시함으로써 고정된 복잡도 가중치에 대한 논란의 여지를 없애고 조직의 데이터가 쌓일수록 해당 조직의 특성을 반영해 나갈 수 있는 수학적 가중치 산출 모형을 제시한다. 제시한 모델은 평가 결과 기존의 FPA(Function Point Analysis) 방식보다 빠르게 규모를 측정할 수 있고 LOC(Line of Code)와의 상관관계도 더 높은 장점이 있다.

• 대한수학교육학회지:학교수학
• /
• 제5권2호
• /
• pp.151-165
• /
• 2003

그 동안 우리나라 수학과교육과정에 대하여 간헐적으로 이루어져 왔던 수량적, 외형적 분석에서 나아가 의미론적 파악을 위하여 우리나라 초등학교 수학과교육과정의 변화 경향을 수학교육철학적 견지에서 재고해 보았다. 일반적으로 수학과교육과정은 해당 시기 학교수학의 내용이 되는 수학에 대한 철학적 입장과 교육과정 실천의 장인 수학 수업 현장이 내포해야되는 사회학적 입장을 동시에 반영하게 된다. 본 연구에서는 수학교육에 대한 수리철학적 분석과 사회학적 분석을 조화롭게 다룬 Paul Ernest의 사회적 구성주의 중심의 수학교육철학적 관점을 도구로 우리나라 20세기 중반이후의 초등학교 수학과교육과정의 변화 경향을 재음미해 보았다. 그 결과 대체로 진보주의(1차)에서 과학기술적 실용주의(2차)로, 그리고 구인본주의(3, 4차)에서 진보주의 경향(5, 6차)으로, 그리고 사회적 구성주의(7차)로 변화하는 경향을 갖고 있음을 알 수 있었다.

• 대한기계학회논문집
• /
• 제16권8호
• /
• pp.1468-1484
• /
• 1992

본 연구에서는 유한요소법을 이용해서 초기형상을 결정하는 새로운 방법으로 서 전방 투사법을 제안하고자 한다. 전방 투사법으로서 선형 보간을 이용한 방법과 소성 문제의 물리적인 특성을 고려하여 퍼지 로직을 도입한 퍼지시스템을 개발하려 한 다. 선형보간을 이용한 전방투사법은 임의의 초기 형상에 대한 유한 요소 해석 결과 얻어진 최종 형상에서의 미 충만 부피를 선형 보간하여 초기 형상에 적용함으로서 최 적 초기 형상을 결정하는 방법이다. 그러나 미 충만 부피의 변화가 미소할때에는 쉽 게 최적 초기 값을 찾지 못하는 경우가 발생하므로 유동 특성을 고려한 퍼지 로직을 구성하여 퍼지 시스템을 개발하였다. 이 방법을 리브-웨브(rbi-web)형태의 축대칭 단조 문제에 적용하고 유한 요소법에 의한 해석중 격자 재구성의 필요에 의해 단위체 격자 재구성법을 이용한다. 결정해야될 초기 형상의 변수로서는 형상비(aspect ra- tio=높이/지름)을 고려하기로 한다.