• 논리연구
• /
• 제16권1호
• /
• pp.45-59
• /
• 2013

타카시 야기사와는 그의 저서 Worlds and Individuals: Possible and Otherwise에서 양상실재론에 대한 중요한 반론들에 대해 자신의 이론이 루이스의 이론보다 더 성공적으로 재반박할 수 있다는 것을 보임으로써 자신의 이론이 더 낫다고 주장한다. 특히 그는 자신이 양상 시제(modal tenses)를 도입함으로써 양상실재론에 대한 중요한 반론들에 대해 균일한 방식으로 재반박할 수 있다고 주장한다. 이 논문에는 나는 루이스 역시 현실 세계에서의 존재와 가능세계에서의 존재를 구별함으로써 야기사와와 동일한 방식으로 피콕의 반론에 대해 재반박할 수 있다는 것을 보이고, 반 인와겐에 대한 야기사와의 재반박은 성공적이지 않다는 것을 보인다. 결론적으로 나는 야기사와는 자신의 이론이 루이스의 이론보다 더 낫다는 것을 보이는데 실패했다고 주장한다.

• 정보처리학회논문지D
• /
• 제10D권1호
• /
• pp.117-124
• /
• 2003

본 논문에 의해 구현된 시스템은 광학 현미경을 통해 캡춰된 조직 샘플들에 대한 데이터들을 분산/병렬 시스템 상에 분한 저장한다. 사용자들은 컴퓨터 상에서 마치 현미경을 사용하듯이 이들 이미지들을 관찰할 수 있다. 이 시스템은 고객 서버 모델에 의거 고객, 조정자 노드, 데이터 관리자 노드로서 구성되고, 메시지를 통해 데이터를 송수신한다. 본 연구에서는 이미지 표시나 텍스트 주석 등 교육용 응용에 필요한 기능들을 갖춘 이미지 검색용 고객 프로그램을 구현하였고, 세 요소간 통신 규약을 정의하였다. 또한 대용량 데이터들을 저장하는 테이프 장치 도입을 위한 실험을 수행하였으며, 이러한 실험은 데이터 분할 및 인덱싱 기법에 의해 성능 향상을 나타내었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권6호
• /
• pp.558-566
• /
• 2000

객체 인식은 고성능 컴퓨팅을 필요로 하는 흥미있는 응용 분야이다. 현재 대부분의 고성능 컴퓨터는 슈퍼스칼라 구조의 범용 마이크로프로세서를 채택하고 있으나, 반도체 집적도가 증가함에 따라 슈퍼스칼라 구조를 대신할 다중처리 마이크로프로세서 구조가 제안되고 있다. 본 논문에서는 다중처리 마이크로프로세서 구조가 객체 인식 응용에 적합한지를 분석한다. 성능 특성을 확인하기 위하여 먼저 프로그램구동방식의 마이크로프로세서 시뮬레이터와 프로그래밍 환경을 개발하였다. 이를 기반으로 시뮬레이션을 수행한 결과, 다중처리 마이크로프로세서가 작은 오버헤드로 쓰레드 수준의 병렬성을 적절히 활용하고 있어 객체 인식 응용에 적합한 구조임을 확인하였다.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제54권11호
• /
• pp.519-526
• /
• 2005

This paper presents computer simulation results for developing new type of SF$_{6}$ Circuit Breaker in terms of cold gas flow after small current interruption. This cold gas flows down a nozzle into the chamber of a circuit breaker. There are many difficult problems in analyzing the gas flow due to complex geometry, moving boundary, shock wave and so on. When predicting the dielectric capability of a gas circuit breaker after interruption, the gas pressure and density distributions due to the cold gas must be considered in addition to the electrical field imposed across the gas. A self-coded computational fluid dynamics (CFD) program is used for the simulation of cold gas flow in order to evaluate the electrical field characteristic across open contacts and transient characteristics of insulations after small current interruption.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2003년도 하계학술대회 논문집 Vol.4 No.1
• /
• pp.546-549
• /
• 2003

The principle of the superconducting vortex flow transistor (SVFT) is based on control of the Abrikosov vortex flowing along a channel. The induced voltage is controlled by a bias current and a control current, instead of external magnetic field. The device is composed of parallel weak links with a nearby current control line. We explained the process to get an I-V characteristic equation and described the method to induce the external and internal magnetic field by the Biot-Savarts law in this paper. The equation can be used to predict the I-V curves for fabricated device. From the equation we demonstrated that the current-voltage characteristics were changed with input parameters. I-V characteristics were simulated to analyze a SVFT with multi-channel by a Matlab program.

• 인지과학
• /
• 제14권2호
• /
• pp.15-25
• /
• 2003

원숭이와 바나나 문제는 인공지능과 관련된 여러 문헌에서 문제 해결(problem solving) 과정을 설명하는 예제로 자주 등장한다. 그러나 이 문제에 대한 전통적인 접근 방식은 추론을 수행함에 있어 절차적(procedural) 관점의 도입을 필요로 하며, 이는 복잡한 문제 해결에 제약 조건으로 작용한다. 그러나 대규모 병렬 처리가 가능한 DNA 컴퓨팅 기법을 이용하면서, AI 본연의 의미를 퇴색시키지 않고서도 이 문제를 효과적으로 해결할 수 있다. 본 논문에서는 DNA 분자를 사용해서 원숭이와 바나나 문제를 표현하는 방법을 설계한 후, 컴퓨터 시뮬레이션을 통해 다양한 해들(solutions)이 생성됨을 확인하였다. 전통적인 방법으로 구현된 Prolog 프로그램이 단 하나의 최적해밖에 제공해 주지 못한다는 사실과 비교해 볼 때, 이것은 확실히 흥미로운 결과이다.

• 한국치위생학회지
• /
• 제18권5호
• /
• pp.763-770
• /
• 2018

Objectives: The purpose of this study was to investigate the relationship between mental healthlevel,usual lifestyle, and thelevelofsubjectivesymptoms of some adults. Methods: From 17 September-28 November 2017, 260 adults living in Seoul, Gyeonggi, and Incheon comple tedaquestionnaireconsistingofgeneral characteristics (6 items), mental health level (14 items), usual lifestyle (9 items), and subjective symptoms level (9 items) on a 5-point scale. Results: In the mental health level, there was a significant difference in sex, age, marital status, education level, andexistenceofstress, and there were differences in age, marital status, occupation, and existence of stress in usual lifestyle. There were statistically significant differences in age, marital status, occupation, and existenceofstress in the subjective symptoms of temporomandibular disorders. Conclusions: It is necessary to develop a program that can be applied in parallel with counseling therapy related to mental health during the clinical treatment of temporomandibular disorders.

• Progress in Superconductivity
• /
• 제8권2호
• /
• pp.132-137
• /
• 2007

We have studied superconducting parameters of $MgB_2$ single crystals from reversible magnetization measurements with the magnetic field both parallel and perpendicular to the c-axis of the crystals. The temperature dependence of the London penetration depth, ${\lambda}_{ab}{^{-2}}(T)$, obtained from the Hao-Clem analysis on reversible magnetization, shows a clear discrepancy from single-band theories. It is also found that the anisotropies of the London penetration depth, ${\gamma}_{\lambda}$, slowly increases with temperature while the anisotropy of the upper critical field, ${\gamma}_H$, decreases with temperature. These behaviors are in sharp contrast with the behavior of superconductors with a single band. The temperature dependence of ${\lambda}_{ab}{^{-2}}$, and the opposite temperature dependences of ${\gamma}_{\lambda}\;and\;{\gamma}_H$ can be well explained with the theory of the two-band superconductivity.

• 천문학회지
• /
• 제37권4호
• /
• pp.249-255
• /
• 2004

Here we present a linear stability analysis and an MHD 2D model for the Parker-Jeans instability in the Galactic gaseous disk. The magnetic field is assumed parallel to a Galactic spiral arm, and the gaseous disk is modelled as a multi-component, magnetized, and isothermal gas layer. The model employs the observed vertical stratifications for the gas density and the gravitational acceleration in the Solar neighborhood, and the self-gravity of the gas is also included. By solving Poisson's equation for the gas density stratification, we determine the vertical acceleration due to self-gravity as a function of z. Subtracting it from the observed gravitational acceleration, we separate the total acceleration into self and external gravities. The linear stability analysis provides the corresponding dispersion relations. The time and length scales of the fastest growing mode of the Parker-Jeans instability are about 40 Myr and 3.3 kpc, respectively. In order to confirm the linear stability analysis, we have performed two-dimensional MHD simulations. These show that the Parker-Jeans instability under the self and external gravities evolves into a quasi-equilibrium state, creating condensations on the northern and southern sides of the plane, in an alternate manner.

• 인터넷정보학회논문지
• /
• 제2권4호
• /
• pp.91-99
• /
• 2001

프로그램 수행시간의 대부분이 루프 구조에서 소비되고 있기 때문에 루프 구조를 가진 순차 프로그램에서 병렬성을 추출하는 연구들이 많이 행해지고 있고 그 연구들은 하나의 프로시저 내 루프 구조의 변환에 치중되고 있다. 그러나 대부분의 프로그램들은 프로시저 간 잠재된 병렬성을 가지고 있다. 본 논문에서는 프로시저 호출을 가진 루프에서 병렬성 추출 방식을 제안한다. 프로시저 호출을 포함하는 루프의 병렬화는 대부분 자료종속거리가 uniform 형태의 코드에서만 집중되었다. 본 논문에서는 자료종속거리가 uniform 코드, nonuniform 코드 그리고 복합된(complex) 코드를 가진 프로그램에서 적용 가능한 알고리즘을 제시하였으며, 제안된 알고리즘과 loop extraction, loop embedding 그리고 procedure cloning변환 방법을 CRAY-T3E로 성능 평가하였다. 성능평가 결과는 제안된 알고리즘이 효율적이라는 것을 보여준다.