• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.204-207
• /
• 2000

Verification is one of the most critical and time-consuming tasks in today's design process. This paper describes the basic idea of Co-verification and the environment setup for the design of DVD Servo with TeakLite DSP core by using Seamless CVE, Hardware/software Co-verification too1.

• Earthquakes and Structures
• /
• 제21권5호
• /
• pp.515-530
• /
• 2021

In a tall reinforced concrete (RC) core wall system subjected to strong ground motions, inelastic behavior near the base as well as mid-height of the wall is possible. Generally, the formation of plastic hinge in a core wall system may lead to extensive damage and significant repairing cost. A new configuration of core structures consisting of buckling restrained braced frames (BRBFs) and RC walls is an interesting idea in tall building seismic design. This concept can be used in the plan configuration of tall core wall systems. In this study, tall buildings with different configurations of combined core systems were designed and analyzed. Nonlinear time history analysis at severe earthquake level was performed and the results were compared for different configurations. The results demonstrate that using enough BRBFs can reduce the large curvature ductility demand at the base and mid-height of RC core wall systems and also can reduce the maximum inter-story drift ratio. For a better investigation of the structural behavior, the probabilistic approach can lead to in-depth insight. Therefore, incremental dynamic analysis (IDA) curves were calculated to assess the performance. Fragility curves at different limit states were then extracted and compared. Mean IDA curves demonstrate better behavior for a combined system, compared with conventional RC core wall systems. Collapse margin ratio for a RC core wall only system and RC core with enough BRBFs were almost 1.05 and 1.92 respectively. Therefore, it appears that using one RC core wall combined with enough BRBF core is an effective idea to achieve more confidence against tall building collapse and the results demonstrated the potential of the proposed system.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.40-45
• /
• 1996

A new concept of equivalent homogenization is proposed. The concept employs new set of homogenized parameters: homogenized cross sections (XS) and interface matrix (IM), which relates partial currents at the celt interfaces. The idea of interface matrix generalizes the idea of discontinuity factors (DFs), proposed and developed by K.Koebke and K.Smith. The method of K.Smith can be simulated within framework of new method, while the new method approximates heterogeneous cell better in case of the steep flux gradients at the cell interfaces. The attractive shapes of new concept are: improved accuracy, simplicity of incorporation in the existing codes, equal numerical expenses in comparison to the K.Smith's approach. The new concept is useful for: (a) explicit reflector/baffle simulation; (b) control blades simulation; (c) mixed UO2/MOX core simulation, The offered model has been incorporated in the finite difference code and in the nodal code PANBOX. The numerical results show good accuracy of core calculations and insensitivity of homogenized parameters with respect to in- core conditions.

• 한국과학교육학회지
• /
• 제33권5호
• /
• pp.1041-1054
• /
• 2013

본 연구의 목적은 여러 학문에서 다루는 개념과 다양한 현상을 포괄하여 설명할 수 있는 원리가 되는 Big idea를 중심으로 교육과정에 기반을 둔 통합과학 교육과정(standard based integrated science curriculum) 틀을 설계하는 것이다. Big idea에 대한 학습을 통하여 학생들은 개별적인 사실 및 이론을 통합할 수 있을 뿐 아니라 영역 특정적인 지식들에 대한 총체적인 이해를 도모할 수 있다. 이를 위하여 2009 개정 과학과 교육과정에 제시된 초 중등학교 과학의 내용 영역을 분석하여 필수학습요소를 추출하였다. 필수학습요소들을 분석하고 범주화하는 과정을 거쳐 통합의 중심이 되는 네 개의 Big idea인 '다양성', '구조', '상호작용', '변화'를 선정하였다. 지식 피라미드를 이용하여 각각의 Big idea에 속하는 내용지식과 이들을 포괄할 수 있는 학문 내 개념, 간학문적 개념들을 위계적으로 나타내었다. 또한 Big idea를 중심으로 교육과정을 설계할 때 방향을 제시할 수 있는 본질적 질문들을 각각의 Big idea마다 제시하였다. 개발한 통합과학 교육과정 틀을 이용하여 교육 현장에 적용할 수 있는 방법을 구체화한 예시 모듈을 개발하였다.

• 논리연구
• /
• 제7권1호
• /
• pp.1-22
• /
• 2004

The Kantian idea that some judgments are synthetic even in the area of a priori judgments cannot be accepted in its original version, but a modification of the notions 'analytic' and 'synthetic' discovers a rational core of that idea. The new definition of 'analytic' concerns concepts and makes it possible to distinguish between analytic concepts, which are effective ways of computing recursive functions, and synthetic concepts, which either define non-recursive functions, or define recursive functions in an ineffective way. To justify this claim we have to construe concepts as abstract procedures not reducible to set-theoretical entities.

• 한국언론정보학보
• /
• 제59권
• /
• pp.7-30
• /
• 2012

리영희 선생은 한국 현대사에서 가장 영향력이 있었던 지식인 중의 한사람이다. 리 선생은 지난 반세기 동안 한국사회에서 '사상의 은사' 혹은 '의식화의 원흉'이라는 극단적 평가를 받았다. 리영희 철학과 언론사상의 핵심은 휴머니즘과 자유, 지식인의 사회적 책임이라고 정리할 수 있다. 리영희 선생은 평생 언론사 기자, 언론학 교수로 살았지만 리 선생의 언론활동, 언론실천, 언론사상 등에 대한 논의는 아직 초보 수준에 머물러 있다. 이 논문에서는 언론인, 언론학자로서 리영희 선생의 언론 사상과 실천 활동을 정리하고자 했다. 리 선생의 '언론인 50년'을 관통하는 핵심 의제는 사상의 자유를 위한 투쟁, 이론과 실천의 통일로서의 글쓰기, 언론과 언론인 비판이었다.

• 대한수학교육학회지:학교수학
• /
• 제19권3호
• /
• pp.495-511
• /
• 2017

본 연구는 수학 교육과정에서의 핵심 개념에 대한 향후의 연구 방향을 제시하고자, 핵심 개념의 의미를 고찰하고 국가별 수학과 교육과정에서의 핵심 개념을 비교하였다. 그 결과, 학교 수학에서의 핵심 개념은 학교 수학에서 배워야 하는 수학의 주요 내용 영역, 수학 개념의 기저 및 내용 간의 핵심 원리, 교수 학습의 초점 등의 관점에서 제시되어 왔으며, 우리나라, 미국, 캐나다, 호주, 뉴질랜드 등의 교육과정에서 다양한 방식으로 제시된 것을 알 수 있었다. 본 연구는 향후 미래를 살아갈 학생들을 위한 수학과 교육과정을 위하여 수학과의 핵심 개념이 무엇인지에 대한 중장기 연구와 수학과 교육과정에서 핵심 개념의 제시 방식에 대한 연구의 방향을 논의하였다.

• Journal of Computing Science and Engineering
• /
• 제5권1호
• /
• pp.1-18
• /
• 2011

As the first step toward real-time multi-core computing, this paper presents a novel approach to bounding the worst-case performance for threads running on multi-core processors with shared L2 instruction caches. The idea of our approach is to compute the worst-case instruction access interferences between different threads based on the program control flow information of each thread, which can be statically analyzed. Our experiments indicate that the proposed approach can reasonably estimate the worst-case shared L2 instruction cache misses by considering the inter-thread instruction conflicts. Also, the worst-case execution time (WCET) of applications running on multi-core processors estimated by our approach is much better than the estimation by simply assuming all L2 instruction accesses are misses.

• Nuclear Engineering and Technology
• /
• 제46권5호
• /
• pp.641-654
• /
• 2014

A new computer code, named CORONA (Core Reliable Optimization and thermo-fluid Network Analysis), was developed for the core thermo-fluid analysis of a prismatic gas cooled reactor. The CORONA code is targeted for whole-core thermo-fluid analysis of a prismatic gas cooled reactor, with fast computation and reasonable accuracy. In order to achieve this target, the development of CORONA focused on (1) an efficient numerical method, (2) efficient grid generation, and (3) parallel computation. The key idea for the efficient numerical method of CORONA is to solve a three-dimensional solid heat conduction equation combined with one-dimensional fluid flow network equations. The typical difficulties in generating computational grids for a whole core analysis were overcome by using a basic unit cell concept. A fast calculation was finally achieved by a block-wise parallel computation method. The objective of the present paper is to summarize the motivation and strategy, numerical approaches, verification and validation, parallel computation, and perspective of the CORONA code.

• 한국콘텐츠학회논문지
• /
• 제16권10호
• /
• pp.598-607
• /
• 2016

본 연구의 목적은 기존의 발상법의 문제점을 파악하여 우리나라 사람들에게 적합한 발상법의 필요성 제시하고 이에 맞는 그래픽 발상법을 도출하는 것이다. 많은 그래픽 디자이너들이 활용하고 있는 발상법(연상 자극법이나 발상전환법, 정보조합법)은 발상과정에서 초기 키워드를 제시하는데 효과적이지만 컨셉까지 도출해내는 과정에서 어려움이 있다. 컨셉으로 발전시키기 위해서는 핵심 키워드 도출도 중요하지만 키워드의 연결 분리, 결합 등의 과정이 중요한 역할을 차지하며 대부분의 발상법이 과정에 대한 구체적 방법을 제시하고 못하고 있다. 또한 대부분의 아이디어 발상법이 영어권에서 개발되어 전파되었기 때문에 단어위주의 사고를 하는 영어권 문화에는 적합하지만 서술 위주로 사고하는 우리나라 사람에게는 언어 사고의 차이점을 고려하지 못하고 있어 단계 별 발상에 한계를 지니고 있다. 본 연구는 기존에 발상법에 의하여 도출된 키워드를 보다 쉽게 연결, 분리, 결합 등을 위한 과정을 만들기 위해 4가지 가설을 제시하고 논증하는 방식으로 본 발상법의 가치를 증명하고 이러한 가설에 입각하여 발상법설계 제시함으로써 우리나라 사람들의 정서에 적합한 발상법을 도출하였다. 본 발상법은 서술 표현에 강한 우리나라 사람들에게 적합하도록 수사법을 활용하였다.