• Journal of Korean Philosophical Society
• /
• v.105
• /
• pp.75-94
• /
• 2008

In philosophy of mind, both reductionism and deflationism claim that the problem of mental causation is overstated, but the reason why they claim that way is quite different. On the one hand, for deflationism, since the problem of mental causation is bogus problem we need to focus on epistemology or scientific explanation rather than metaphysics. On the other hand, although the proponents of nonreductionism seem to think of the principles of causal closure of the physical and causal exclusion proposed by Jaegwon Kim as tenable, they do not go with the reductive approach to the problem of mental causation. Instead they stay with the concept of supervenience to overcome mental causation problem that, reductionists think, leads us to the dilemma situation. Of course, deflationists do not think that supervenience is plausible not as much as supervenience physicalists think that it is. If so, in what way and how do deflationists regard the problem of mental causation as a bogus problem? In this paper, I shall examine the most plausible response to mental causation problem, the contemporary version of mind-body problem by critically discussing and clarifying matters concerning the problem.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.72-72
• /
• 2004

대부분의 금속 재료는 제조 공정 중에 인장, 압축, 압연, 압출, 인발 등 소성 변형을 수반하는 가공의 단계를 거치게 된다. 가공 단계에서 가해준 변형률 및 이에 따라 형성된 전위구조 등은 생산재의 기계적 성질에 많은 영향을 미친다. 그리고 소성 변형이 수반되는 또 하나의 과정은 피로, 크리프 손상 등의 소성 변형을 수반하게 되는 기계적 손상이다 이러한 기계적 손상에 의해서도 전위가 도입되며, 전위의 집적부위에서 균열이 생성되기도 한다. 따라서 기계적 손상을 비파괴적으로 평가하는데 있어서도 소성 변형의 영향을 파악하는 것이 하나의 중요한 문제가 된다.(중략)

• Journal of the KSME
• /
• v.32 no.8
• /
• pp.706-712
• /
• 1992

이 글에서는 일반 금속 가공 공정에서 수반되는 열전달 문제가 가지는 중요한 점들을 일부 살펴 보았다. 지금까지 많은 연구와 발전이 있었으나 실험의 한계성, 물리적인 이해의 한계 등으로 인해 앞으로도 더욱 많은 일들이 이분야에 이루어져야 하며 특히 공정 설계에 있어서 열전달 효과가 무시되어서는 안되겠다.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.374-384
• /
• 1995

The mathematical adjoint solution of the Analytic Function Expansion (AFEN) method is found by solving the transposed matrix equation of AFEN nodal equation with only minor modification to the forward solution code AFEN. The perturbation calculations are then performed to estimate the change of reactivity by using the mathematical adjoint The adjoint calculational scheme in this study does not require the knowledge of the physical adjoint or the eigenvalue of the forward equation. Using the adjoint solutions, the exact and first-order perturbation calculations are peformed for the well-known benchmark problems (i.e., IAEA-2D benchmark problem and EPRI-9R benchmark problem). The results show that the mathematical adjoint flux calculated in the code is the correct adjoint solution of the AFEN method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.207-210
• /
• 2000

지금까지 인간이나 다른 생물체의 전체 유전체 염기서열을 밝혀내는 작업은 크게 세가지 방법으로 진행되었다. Clone-by-clone approach, sequence tagged connector approach, random shotgun approach(1)가 그것인데 마지막의 random shotgun approach는 fragment assembly problem을 비롯한 여러 가지 전산학적인 문제들을 수반한다. 이 논문은 저자들의 국내 최초로 미생물체의 전체 염기서열을 random shotgun approach를 이용하여 밝혀낸 경험을 바탕으로 그에 따르는 문제인 fragment assembly problem에 대해 소개하고 그에 수반되는 몇 가지 전산학적인 문제와 몇 가지 해결책에 대해 설명하려 한다.

• Geotechnical Engineering
• /
• v.1 no.2
• /
• pp.81-92
• /
• 1985

Braced excavation for a new building was carried out at a very close proximity of an existing tall building of T.hick columns are supported by indict.ideal spread footings on sand layer The excavation was planned to reach far below the footing level of the existing building. To assess the foundation performance and stability of the existing building, the behavior of 9round subjected to loss of confinement from excavation was analytically studied using finite element method. Field instrumentation was also conducted to monitor the actual ground responses during excavation. Based on these studies, various remedial measures weere taken to minimize the adverse effects to the building, and excavation was successfully completed. This paper presents the results from the analytical studies and field monitoring, and measured and measured responses at different stages of excavation.

• Journal of Educational Research in Mathematics
• /
• v.23 no.4
• /
• pp.449-466
• /
• 2013

Mathematical discussion has been highlighted so that what students do actually guides their learning of mathematics and mathematical practice. However, the work of leading mathematical discussions has not yet been specified in such a way that it can be adequately studied and taught to teachers. This study analyzes a teacher's lessons that show full engagement in leading discussions, and examines the work of leading mathematical discussions in elementary classrooms. It identifies and illustrates the central tasks of leading mathematical discussions with single case questions with five steps. This article argues several key issues in leading mathematical discussions: helping students engage in struggling with important mathematical ideas, treating mathematical connections in an explicit and public way to have coherent and structured discussions, and parsing the work of teaching at a grain size that is usable in educating teachers.

• ETRI Journal
• /
• v.10 no.3
• /
• pp.62-72
• /
• 1988

HARP(High-performance Architecture for Risc-type Processor)는 한국전자통신연구소에서 개발하고 있는 고유 모델의 RISC형 32비트 CPU이다. HACAM은 HARP의 캐쉬 메모리 및 MMU를 1칩의 VLSI로 구현한 것으로서 virtual cache 구조를 갖는다. Virtual cache 시스팀에서는 synonym문제가 수반되는데, 이 문제는 multitasking을 하는 single CPU 시스팀에서도 발생하지만, multiprocessor 시스팀에서는 데이터 coherency 문제와 함께 해결하여야 되기 때문에 더욱 어렵다. 본 논문에서는 HACAM이 virtual cache 구조로 구현하게 된 배경 및 이의 타당성을 논하였고, 아울러 virtual cache 구조를 갖기 때문에 발생하는 synonym 문제를 설명하고, 이의 해결 방안을 제시하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1257-1268
• /
• 1993

본 논문에서는 퍼지보상(compensative) 연산자를 이용하는 정보융합(information fusion) 방법을 제안하였다. 제안된 정보융합 방법에서는 보상적인 성질을 갖는 퍼지 총체화(aggregation) 연산자를 역오류전파(back-propagation)신경회로망의 활성화함수(activation function)로 간주하고, 이들 연산자에 수반된 파라메터들을 학습에 의해 결정한다. 결정된 연산자의 파라메터들은 학습자료에 나타난 의사 결정에 수반된 보상도를 표현할 수 있으며, 평가에 불필요한 정보원을 제거하는 성질도 가지고 있다. 제안된 정보융합 구조는 평가지수(sub-criterion)들의 만족도를 입력으로 학습에 의해 결정된 보상연산자에 의해 총체화된 만족도를 제공한다. 제안된 방법은 패턴 인식 문제와 칼라영상의 분할과 인식등 컴퓨터비죤 문제에 적용하여 그 정당성을 입증하였다.

• The Korean Publising Journal, Monthly
• /
• s.171
• /
• pp.18-18
• /
• 1995

멀티미디어의 저작권법상 문제점은 여러가지가 있다. 편집저작물의 창작성의 구체적인 기준, 출판권의 범위, 원저작물의 이용 복제의 개념, 통신상 공개된 저작물의 저작권 침해여부 등의 문제가 수반된다.