• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Journal of KIISE:Information Networking
• /
• v.28 no.4
• /
• pp.508-516
• /
• 2001

This paper proposes multicast routing algorithm that operates for non-interactive multimedia applications such as VOD(Video On Demand) and real-time data broadcasting. It is possible that there exist multiple senders in non-interactive multimedia applications. This paper designs multicast routing algorithm in this environment. The simulation of algorithm proposed in this paper shows much better performancetcost, delay) than that of only one source. To guarantee the performance of algorithm, Broadband ATM network is modelled in simulation.

• Proceedings of the Korean Fiber Society Conference
• /
• 1998.10a
• /
• pp.453-456
• /
• 1998

고분자들을 배합하여 기계적, 물리적, 화학적 성질이 우수한 새로운 고분자 재료를 제조할 때 이들 고분자의 상용성을 증가시켜 줄 수 있는 상용화제의 존재가 필수적인데, 주로 블록이나 그라프트 공중합체들이 많이 이용되고 있다. 이러한 공중합체들은 아주 최소량이 사용되고서도 소기의 목적을 달성할 수 있어야 하는데, 이를 위해서는 이러한 공중합체들은 분자구조상 몇 가지 조건을 만족해야 한다. 예를 들면 계면에 존재하면서 넓은 표면적을 감싸주어야 하고 블렌드되는 고분자들과 아주 잘 섞여야 한다는 것 등이 그것이다. (중략)

• Management & Information Systems Review
• /
• v.32 no.3
• /
• pp.1-23
• /
• 2013

In this study, we try to investigate the spillover effects of volatility in international tourists arrivals between Korea and US, Japan, China by using the multivariate BEKK model from January 2005 to January 2013. In the results of this study, after the global financial crisis, we found a cointegration relationship and tourist arrivals of Japan were adjusted to recovery in the short term. Also tourists arrivals from China and Japan showed the long-term elasticity. In the conditional mean equation of a BEKK model, there were the spillover effects. And in the conditional variance equation, ARCH(${\epsilon}^2_t$) coefficients showed a strong influence on the arrivals of their own and the spillover effects and the asymmetric effects on the volatility of China and Japan arrivals. In GARCH(${\sigma}^2_t$) coefficients showed the asymmetric effects and the spillover effects of the conditional volatility among source arrivals. Therefore, we examined the asymmetric reaction of one-way or two-way tourist arrivals between source countries and Korea and the spillover effects related to tourists arrivals of source countries to Korea. We has confirmed a causal relationship between some of the tourists arrivals from source countries to korea.

• The Korean Journal of Rheology
• /
• v.8 no.2
• /
• pp.92-102
• /
• 1996

두 종류의 열방성 액정고분자와 세종류의 엔지니어링 고분자와의 블렌드들에 대해 유변학적/형구학적 연구를 한 결과 블렌드의 유동거동과 물성이현저히 다른 두 그룹으로 나 뉘어짐을 발견하였다. 즉 연속상의 조업온도가 분산상의 전이온도보다 높은 그룹A에 속하 는 블렌드의 전단점도/신장점도는 액정고분자를 첨가할수록 첨가할수록 감소하고 블렌드의 신장점도는 연속상의 그것처럼 신장변형률속도가 커질수록 증가하였다. 또한 분산상의 점도 가 연속상의 그것보다 작아서 분산상이 미세섬유구조의 형태로 존재하였다. 이와 대조적으 로 연속상의 조업온도가 액정고분자의 전이온도보다 낮은 그룹 B에 속하는 블렌드는 반대 의 거동을 보였고 분산상의 미세섬유구조가 존재하지 않았다. 그러나 연신변형이 주가 되는 방사공정을 거치면 그룹A와 B블렌드 공히 분산상이 비슷한 미세섬유구조의 형태로 존재하 고 기계적 성질도 크게 향상되는 결과를 보였다. 이는 블렌드내의 신장유동이 분산상의 섬 유구조형상에 결정적 역할을 하기 때문이라 판단된다.

• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.59-76
• /
• 2018

What are the conditions make a being x a moral agent? Can an artifact be moral agent? A moral agent is considered to be a rational being capable of distinguishing between right and wrong. This study critically analyzed Davidson's position on the condition of the rational being and argued that the network of beliefs with propositional attitude and the beliefs as their background cannot be a requisite for the rational being. Later, it proves that the conditions proposed by $Proke{\check{s}}ov{\acute{a}}$ are merely paratactically listed superficial elements. The moral agent in this study includes the rational agent and it is proven that the strong first person viewpoint is the necessary and sufficient condition for rational agent and moral agent. In conclusion, it suggested a the sketch of moderate skepticism which sets the tentative limit on the agent potential in an artifact by suggesting conditions for moral agent instead of intense skepticism that strongly denies the potential as the moral agent.

• The Korean Publising Journal, Monthly
• /
• s.169
• /
• pp.28-28
• /
• 1995

저마다 가슴속에 품었던 '그리움'이 사란진 뒤 존재 자체에 대해 갖는 의문은 존재를 분산시키기도 방황하게도 한다. 그 여정의 괴로움으로 김영현은 어떤 신비로운 존재자에 숨고자 하기도 하고, 호영송은 비생산적인 연애행각으로 시간을 낭비하기도 한다. 그들 모두 '존재하지 않는 어떤 것'에 대한 향수를 버리지 못하고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.333-336
• /
• 2006

HERMES(tHE Retrieval framework for visual MEdia Service)는 웹 상에 존재하는 그림, 영상 등 시각미디어 검색을 위한 시스템이다. 복수의 서비스 제공자와 하나의 서비스 중계자가 있는 분산 환경에서, 사용자의 질의가 왔을 때 서비스 중계자는 적절한 서비스 제공자를 효율적으로 찾는 것이 매우 중요하다. 그래서 다양한 서비스 제공자가 존재하는 분산환경에서 서비스 제공자들간의 랭킹은 매우 중요하다. 본 논문에서는 온톨로지를 사용하여 서비스 제공자들을 랭킹하는 방법을 제안하고 기존의 서비스 제공자 랭킹과 비교하여 본 논문에서 제안한 방법이 더욱 우수함을 보인다.

• Journal of the Korean Data and Information Science Society
• /
• v.27 no.1
• /
• pp.121-130
• /
• 2016

An ansemble of N players arranged in a circle play a spatially dependent Parrondo game B. One player is randomly selected to play game B, which is based on the toss of a biased coin, with the amount of the bias depending on states of the selected player's two nearest neighbors. The player wins one unit with heads and loses one unit with tails. In game A' the randomly chosen player transfers one unit of capital to another player who is randomly chosen among N - 1 players. Game A' is fair with respect to the ensemble's total profit. The games are said to exhibit the Parrondo effect if game B is losing and the random mixture game C is winning and the reverse-Parrondo effect if game B is winning and the random mixture game C is losing. We compute the exact mean profits for games B and C by applying a state space reduction method with lumped Markov chains and we sketch the Parrondo and reverse-Parrondo regions for $3{\leq}N{\leq}6$.

• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.91-104
• /
• 1997

CALS에서 기술도면 관리의 중요성이 날로 커지고 있고, CITIS에 대한 관심이 고조되고 있다. CITIS는 계약자와 공급자간의 환경에 따라서 다르게 구현될 수 있는데, 본 연구에서는 CITIS에서 계약자와 공급자간의 기술도면 정보를 서비스하는 구조를 제시하고, CITIS 접근 제어에 필요한 요소 기술들을 설명하고자 한다. CITIS는 크게 두 가지로 구성되어 있는데, 하나는 CAD 도면 같은 디지털 데이터와 그 데이터를 사용하는 어플리케이션이다. 데이터와 어플리케이션은 모두 계약자 측의 CITIS 컴퓨터에 존재하고, 사용자의 컴퓨터에는 존재하지 않는다. CITIS의 주요 목적은 권한을 갖고 있는 사용자가 업무를 수행하는 데 필요한 데이터와 어플리케이션에 온라인으로 접근할 수 있도록 서비스해 주는 데 있다 이러한 서비스를 위해 필요한 접근 제어의 방법으로는 firewall, Unix OS, Proxy Server, 상용 데이터베이스, SSL 등을 사용한다.