• Proceedings of the Korean Society for Rock Mechanics Conference
• /
• 2006.09a
• /
• pp.37-45
• /
• 2006

우리나라에는 현재 고리, 월성, 영광 등 11기의 원자력 발전소가 운영되면서 전체 전력생산량의 40% 이상을 담당하고 있으며, 2006년까지는 12기가 추가 건설되어 총 23기의 원자력 발전소가 운영되어 국내 총 전력생산량의 절반 이상을 담당하게 될 예정이다. 하지만 이러한 원자력 발전은 필연적으로 인체에 유해한 각종 방사성 폐기물을 생산하게 되므로 이에 대한 처분기술은 대단히 높은 안전율을 고려하여 확보되어야 한다. 한국원자력연구소의 기초연구에 의하면 국내 실정상 지하 암반내 심층처분이 가장 유리한 시스템인 것으로 보고되고 있으며, 그 중에서도 심도 500m 이상의 고심도 지하 암반내에 터널을 뚫고 터널 바닥면에 처분공을 일렬로 굴착하여 이 처분공 내에 canister로 밀봉된 방사성폐기물을 유기하는 KBS-3 처분 시스템을 제안하고 있다. 본 연구에서는 KBS-3 처분 시스템을 고려할 경우, 필연적으로 야기되는 고심도 지하에서의 초기응력성분이 처분 시스템에 미치는 영향을 분석하기 위해 수치해석을 실시하였으며 이와 함께 제반 설계정수 중에서 초기응력값이 어떠한 비중을 차지하는지를 살펴보았다.

• Proceedings of the KIEE Conference
• /
• 2004.04a
• /
• pp.262-265
• /
• 2004

프로토콜 명세의 검정과 적합성 시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS:Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지의 검사를 실험적으로 증명하였다. 구현되어진 형식 검정기는 Modal mu-calculus를 사용하며 Modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 HO(Unique Input Output) 방법fl 의한 적합성 시험 계열 생성 방법을 제시하였다.

• Journal of Korean Philosophical Society
• /
• no.114
• /
• pp.177-212
• /
• 2016

Kants Begriff der Freiheit des Willens ist sehr kompliziert und verwirrend. Denn sowie es Ziel der ${\gg}$Kritik der praktischen Vernunft${\ll}$ ist, die reine praktische Vernunft zu beweisen, liegt der Fokus von Kants Begriff der Freiheit auf der Freiheit von Zwang, wobei Kant eine unbestimmte Haltung zur Freiheit von Notwendigkeit einnimmt und sie dann $schie{\ss}lich$ leugnet. Leibnizens Begriff der Freiheit dagegen hebt die Freiheit von Notwendigkeit hervor, denn er sagt, dass der menschliche Wille nicht nur vom Zwang der Leidenschaft, sondern auch von Notwendigkeit frei sei. Die Struktur von Leibnizens Freiheitslehre unterscheidet sich zwar sehr von der Kants, aber die Charakterlehren beider Denker, in denen die $M{\ddot{o}}glichkeit$ der Vereinbarkeit von Freiheit und Notwendigkeit behandelt werden, weisen viele Parallelen auf. Zudem ist Leibnizens Begriff der Freiheit sehr eindeutig. Daher ist ein Vergleich von Leibnizens und Kants Begriff der Freiheit nicht nur sinnvoll und $f{\ddot{u}}hrt$ zu einem besserem $Verst{\ddot{a}}ndnis$ von Kants Freiheitsbegriff, durch die vergleichende Analyse stellt sich zudem auch heraus, dass auch bei Kant nicht nur Freiheit von Zwang, sondern auch Freiheit von Notwendigkeit $m{\ddot{o}}glich$ ist. Leibniz geht $f{\ddot{u}}r$ seine Freiheitslehre von dem Begriff der Freiheit vom Zwang der Leidenschaft, welcher von allen Rationalisten anerkannt wird, sowie von dem Begriff der Freiheit von der Notwendigkeit, welcher von Spinoza negiert wird, aus. Kant dagegen definiert Freiheit als $Unabh{\ddot{a}}ngigkeit$ von den Naturgesetzen, was diesen Begriff von Anfang an unklar macht. Kant war sich anfangs der Zweideutigkeit dieses Konzepts nicht $bewu{\ss}t$ und hat es undeutlich gebraucht, doch in der Neuauflage von ${\gg}$Die Religion innerhalb der $blo{\ss}en$ Vernunft${\ll}$ erkennt er den Unterschied in den zwei Begriffen der Willensfreiheit, weshalb er bei der Rechtslehre in der ${\gg}$Metaphysik der Sitten${\ll}$ dazu kommt, die Wahlfreiheit zu negieren. Aber in den Abschnitten, wo Kant in der ${\gg}$Kritik der reinen Vernunft${\ll}$ und der ${\gg}$Kritik der praktischen Vernunft${\ll}$ die Vereinbarkeit von Freiheit und Notwendigkeit behandelt, $f{\ddot{u}}hrt$ Kant aus, so wie auch Leibniz, dass der intelligible Charakter des Menschen sich durch wiederholte freie Wahl formt, womit sich $best{\ddot{a}}tigt$, dass auch Kant die Freiheit der Wahl anerkannt hat. Kant leugnet die Wahlfreiheit, weil er der Ansicht ist, dass der Begriff der Freiheit als ein einheitlicher Begriff definiert werden muss. Doch Freiheit muss nicht zwingend einheitlich definiert werden. Da Freiheit von Zwang und Freiheit von Notwendigkeit nicht $widerspr{\ddot{u}}chliche$ Begriffe sind, $k{\ddot{o}}nnen$ sie dem selben Willen gleichzeitig zugeteilt werden. Auch wird erst hierdurch Autonomie $m{\ddot{o}}glich$ gemacht.

• 전기의세계
• /
• v.44 no.11
• /
• pp.34-43
• /
• 1995

본 원고에서는 가동율향상, 안전성확보 및 경제성 제고를 위해 현대제어 및 기타의 제어 기법을 이용하는 문제는 필연적일 수밖에 없으므로 원자력 발전소에 대한 현대제어 연구현황을 분석하여 향후 연구방향에 기여하고자 한다.

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.59-98
• /
• 2006

유아론에 대한 비트겐슈타인의 철학적 투쟁을 조명하는 것은 그의 전체 철학의 핵심을 조명하는 것에 상당한다. 요컨대 유아론의 문제는 언어놀이, 놀이와 언어의 유사성, 가족 유사성, 규칙 따르기, 규칙 따르기의 역설, 사적 언어 논변, 뜻함, 봄과 -로서 봄, 모순, 논리적 필연성, 함 또는 실천과 같은 후기 비트겐슈타인의 핵심 개념이나 주제와 얽혀 있다. 이를 보이기 위해서 이 글에서는 유아론의 개념, 유아론에 대한 청년 비트겐슈타인의 생각, 후기 비트겐슈타인의 진단을 논의하게 될 것이다. 이러한 과정에서 우리는 비트겐슈타인이 유아론(넓게는 데카르트주의, 영국경험론, 현상학)에서 실천으로 나아가는 패러다임의 전환을 수행하고 있다는 것을 확인하게 될 것이다. 이러한 논의가 진행되면 우리는 유아론에 대한 후기 비트겐슈타인의 비판과 '사적 언어'가 어떻게 연결되는지 자연스럽게 문제 삼게 된다. 많은 학자들이 주장하는 바에 따르면, 비트겐슈타인은 사적 언어가 불가능하다고 간주했다. 그러나 나는 이러한 주장은 비트겐슈타인이 처한 패러다임의 전환 상황을 간과하는 처사로서 설득력 없는 것임을 보이고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.377-380
• /
• 2002

본 논문에서는 대표적인 데이터 마이닝 기법 중 하나인 연관 규칙 마이닝에 대해 PC 성능의 급속한 발전으로 인한 PC 클러스터 시스템의 이종화의 필연성을 효과적으로 대처할 수 있는 부하 분산 알고리즘을 제안한다. 제안한 부하 분산 기법은 실행 전 성능을 미리 측정할 필요가 없이 실행 중에 성능을 측정할 수 있는 동적 부하 분산 알고리즘으로써 노드들 사이에 성능 정보의 교환 비용밖에 요구되지 않는다. 실험 결과는 제안한 알고리즘이 이종의 클러스터 시스템의 효율성을 극대화함을 보여준다. 또한 본 논문에서는 부하 분산 알고리즘의 성능을 분석할 수 있는 방법을 제시한다.

• Journal of Energy Engineering
• /
• v.1 no.1
• /
• pp.1-2
• /
• 1992

21세기에 인류가 당면한 문제는 둘로 요약할 수 있지 않을까 한다. 첫째는 인구문제이고 둘째는 많은 인구가 살기 위해 벌리는 경제활동에 필연적으로 부수되는 에너지·환경문제이다. 인구문제는 생명의 존엄성에 관한 것이라 에너지 공학의 차원과는 별개의 것임으로 논외로 하고 에너지·환경문제의 본질을 분석코자 한다. (중략)

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.996-1000
• /
• 2009

There can be three objectives why we apply 3D graphics in TV interface. First, inevitable usability. 3D space is the most inevitable way for product-user interaction deviating from the current aesthetic or technical purpose of use. Second, enhance emotional satisfaction by merging interface into real life. Beyond digilog(analog+digital), we wanted users to naturally use the interface as if they are using everyday objects. And in order to do this properly, we analyzed the behaviors of users how they use their everyday objects and then analyzed the attributes beyond each behavior. Third, capaticy for enourmous contents of the incorporated TV. The most efficient way to display enormous amounts of contents in a limited screen is 3D. And that 3D space gives us almost unlimited capacity in accepting contents. Now to conclude, using 3D graphics for TV interface has significance in many ways but the issue is how we can maintain the 3D effects while customizing them into real products.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2000.11a
• /
• pp.16-17
• /
• 2000

폭발적인 편재성의 증가로 인해 테크날러지는 이제 인간에게 어디서든 접근 가능한 것이 되었음과 동시에, 모순적이게도 "보이지 않게" 되었다. 그러나, 이러한 모순적인 이중성은 필연적이며 테크날러지의 시대상을 바라보는 데에 더없이 유용하다. 어떻게 하면 이러한 테크날러지와 함께 살아갈 것인가\ulcorner (중략)

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.175-207
• /
• 2018

Since Kit Fine's influential paper, Essence and Modality (1994), many philosophers have doubted the prospects of modalism, according to which we can analyze the concept of essence with that of de re modality. However, some philosophers have tried to save modalism against Fine's counterexamples seriously. In this paper, we examine two such attempts which appeal to some kind of 'impossible possibilities.' We argue that such attempts have strong tendency to end in either a metaphysical picture which is very similar to Fine's or a concept of essence which is quite different from Fine's. For this reason, we claim that Fine has no reason to worry about such attempts.