• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.31-44
• /
• 2009

Anyone wishing to understand cognitive science, a converging science, need to become familiar with three major mathematical landmarks: Turing machines, Neural networks, and $G\ddot{o}del's$ incompleteness theorems. The present paper aims to explore the mathematical foundations of cognitive science, focusing especially on these historical landmarks. We begin by considering cognitive science as a metamathematics. The following parts addresses two mathematical models for cognitive systems; Turing machines as the computer system and Neural networks as the brain system. The last part investigates $G\ddot{o}del's$ achievements in cognitive science and its implications for the future of cognitive science.

• 한국가스학회:학술대회논문집
• /
• 1997.09a
• /
• pp.284-291
• /
• 1997

배관망의 해석은 유체역학을 필요로 하며 관내의 유체의 거동과 운전 상태에 따른 유동해석을 위해 여러 식들이 사용되어왔다. 본 연구에서는 정상상태의 유량방정식을 사용해 경인지역가스 배관망에 대한 수학적 모델을 만들고 모사 및 분석을 수행하였다. 개발된 수학적 모델에서 얻어진 데이터에 통계학적인 방법을 도입해 통계학적 모델을 만듦으로써 통계학적 모델을 이용한 배관망 해석의 가능성에 대해 검토하였다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1813-1814
• /
• 2008

본 논문에서는 생물학적 운동 메카니즘을 유사하게 구현하기 위해 신경 진동자를 이용한 로봇 팔 제어 시스템을 제안한다. 인간 및 동물의 주기적인 자율 운동을 관장하는 Central Pattern Generator (CPG)를 수학적으로 모델링한 신경 진동자는 그 중요 특성의 하나인 entrainment 효과를 보여준다. 일반적으로 우리는 이 기능을 이용하여 미지의 외부 환경 변화와 같은 외란에 적절히 상호 작용할 수 있는 운동을 생성해 낼 수 있다. 이러한 결과를 보이기 위해, 각 관절에 가상의 신경 진동자 모델을 결합하였고 외부 환경의 변화나 외란의 감지를 위한 F/T센서를 팔의 말단에 부착하여 시스템을 구현하였다. 신경 진동자 모델을 결합한 2축 링크 로봇 팔 시스템(real time)은 주어진 목적운동을 (원 운동) 수행함과 동시에 미지의 외부 환경의 변화(임의의 벽)를 인지하여 적절한 모션을 생성하는 지를 살펴본다.

• Journal of the Korean Institute of Gas
• /
• v.1 no.1
• /
• pp.14-20
• /
• 1997

Pipeline network analysis requires fluid mechanics. A lot of equations have been used for flow analysis according to the behavior of fluid in pipelines and the operative situations. In this paper, simulation and analysis have been performed for the pipeline network system in Kyungin area using a steady-state mathematical model. Then, a statistical model using partial least squares(PLS) method has been developed with the data obtained from the developed mathematical model. The results showed that it is possible to simulate and analyze pipeline network systems using statistical approach.

• Journal of the Korea Convergence Society
• /
• v.10 no.5
• /
• pp.9-16
• /
• 2019

In this paper, it will analyze security problems, so technology's potential can apply to business security area. First, in order to deep learning do security tasks sufficiently in the business area, deep learning requires repetitive learning with large amounts of data. In this paper, to acquire learning ability to do stable business tasks, it must detect abnormal IP packets and attack such as normal software with malicious code. Therefore, this paper will analyze whether deep learning has the cognitive ability to detect various attack. In this paper, to deep learning to reach the system and reliably execute the business model which has problem, this paper will develop deep learning technology which is equipped with security engine to analyze new IP about Session and do log analysis and solve the problem of mathematical role which can extract abnormal data and distinguish infringement of system data. Then it will apply to business model to drop the vulnerability and improve the business performance.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.5A
• /
• pp.325-338
• /
• 2012

In this paper, a radio resource allocation scheme for a multi-hop relay transmission in cognitive radio (CR) system is proposed to support the employment of relay nodes in IEEE 802.22 standard for wireless regional area network (WRAN). An optimization problem is formulated to maximize the number of serving secondary users (SUs) under system constraints such as time-divided frame structure for multiplexing and a single resource-unit to every relay-hop. However, due to mathematical complexity, the optimization problem is solved with a sub-optimal manner instead, which takes three steps in the order of user selection, relay/path selection, and frequency selection. In the numerical analysis, this proposed solution is evaluated in terms of service rate denoting as the ratio of the number of serving SUs to the number of service-requesting SUs. Simulation results show the condition of adopting multi-hop relay and the optimum number of relaying hops by comparing with the performance of 1-hop system.

• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.745-750
• /
• 2010

To effectively retrieve mathematical documents including various equations, mathaware search engines are needed. In this paper, we propose a equation retrieval system which helps users effectively search structurally similar equations. The proposed system disassembles MathML equations into three types of heterogeneous indexing terms; operators, variables, and partial structures of equations. Then, it independently indexes the disassembled terms. When a user inputs a MathML equation, the proposed system searches and ranks equations using weighted sums of three language models for the heterogeneous indexing terms. In the experiments with 244,744 MathML equations, three proposed system showed reliable performances (a P@1 of 53% in the closed test and a P@1 of 63% in the open test).

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.10 no.3
• /
• pp.171-188
• /
• 2012

A GoldSim template program for a safety assessment of a hybrid-typed repository system, called "A-KRS," in which two kinds of pyro-processed radioactive wastes, low-level metal wastes and ceramic high-level wastes that arise from the pyro-processing of PWR nuclear spent fuels are disposed of, has been developed. This program is ready both for a deterministic and probabilistic total system performance assessment which is able to evaluate nuclide release from the repository and farther transport into the geosphere and biosphere under various normal, disruptive natural and manmade events, and scenarios. The A-KRS has been deterministically assessed with 5 various normal and abnormal scenarios associated with nuclide release and transport in and around the repository. Dose exposure rates to the farming exposure group have been evaluated in accordance with all the scenarios and then compared among other.

• The Journal of the Acoustical Society of Korea
• /
• v.43 no.1
• /
• pp.9-18
• /
• 2024

The importance of active sonar systems is emerging due to the quietness of underwater targets and the increase in ambient noise due to the increase in maritime traffic. However, the low signal-to-noise ratio of the echo signal due to multipath propagation of the signal, various clutter, ambient noise and reverberation makes it difficult to identify underwater targets using active sonar. Attempts have been made to apply data-based methods such as machine learning or deep learning to improve the performance of underwater target recognition systems, but it is difficult to collect enough data for training due to the nature of sonar datasets. Methods based on mathematical modeling have been mainly used to compensate for insufficient active sonar data. However, methodologies based on mathematical modeling have limitations in accurately simulating complex underwater phenomena. Therefore, in this paper, we propose a sonar signal synthesis method based on a deep neural network. In order to apply the neural network model to the field of sonar signal synthesis, the proposed method appropriately corrects the attention-based encoder and decoder to the sonar signal, which is the main module of the Tacotron model mainly used in the field of speech synthesis. It is possible to synthesize a signal more similar to the actual signal by training the proposed model using the dataset collected by arranging a simulated target in an actual marine environment. In order to verify the performance of the proposed method, Perceptual evaluation of audio quality test was conducted and within score difference -2.3 was shown compared to actual signal in a total of four different environments. These results prove that the active sonar signal generated by the proposed method approximates the actual signal.