• (The)Study of the Eastern Classic
• /
• no.33
• /
• pp.131-158
• /
• 2008

While there were separation, confrontation and conflicts in Yungnam confucian group in seventeenth century, Nampa Jang Hak(1614~1669), was one of the representative figure among Yeoheon's pupils in doing the project of Yeoheon's enshrinement and strengthening the solidarity of Yeoheon's students. His family had close relationship with Yeoheon, and he started to receive instructions from Yeoheon in his early ages. Owing to the close relationship with Yeoheon, Nam pa did the leading role in the memorial projects, such as publishing the collection of works, and enshrining Yeoheon's tablet in Seowon, a private academy. Especially, he defined Yeoheon's scholarstic mantle as 'assertion that does not come from the teacher whom specifies(不由師承論)' and tried to link Yeoheon's work with other confucian saints' works. This linkage functioned as a stepstone for the projects of enshrining Yeoheon in the memorial hall of their private school, Seowon. Accordingly, in this paper, Nampa's life and academic activities are investigated, considering he was in the middle of the turmoil of separation and conflict of Yeongnam confucian group. Specifically, Nampa was most actively involved in the project of enshrining Yeoheon, and he defined Yeoheon's scholaristic mantle as 'assertion that does not come from the teacher whom specifies(不由師承論)'. Basing on this understanding, he pushed ahead the controversial project of enshrining Yeoheon's tablet in Imgo Seowon(臨皐書院). Although Nampa's scholaric key concepts cannot be found clearly, he tried to diffuse Yeoheon's academic thought over other regions, and by this activity, he tried to solidify Yeoheon's scholarstic achievement and status. His activity confirms that he was most distinctive student of Yeoheon. Ultimately, He was the central figure of late times of Yeoheon school, comparing to the most prestigious fifteen scholars(樑頌十五賢) and ten scholars(旅門十哲) who represented the early times of Yeoheon school.

• Journal of the Korean Mathematical Society
• /
• v.38 no.6
• /
• pp.1117-1123
• /
• 2001

A ring is a DICC ring if every chain of right ideals in-dexed by the integers stabilizes to the left or to the right or to both sides. A counterexample is given to an assertion of karamzadeh and Motamedi that a transfinite power of the Jacobson radical of a right DICC ring is zero. we determine the behavior of the transfinite powers of the Jacobson radical relative to a torsion theory and consequently can obtain their correct behavior in the classical setting.

• Journal of Institute of Control, Robotics and Systems
• /
• v.6 no.10
• /
• pp.923-927
• /
• 2000

This paper presents a relationship between DOP for TOA and TDOA is defined using the error covariance matrix of TDOA. It is analytically shown that the error ellipsoid of TOA is as same as that of TDOA in magnitude and in orientation, which means that DOP for TOA is identical to the DOP for TDOA. By computer simulation, the positioning performance of two methods is compared, and we verify our assertion.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.434-436
• /
• 1998

본 논문에서는 C++ 언어를 이용한 부품 개발 과정에서 단정문을 체계적으로 활용할 수 있도록 하는 기능을 제안하였다. 제안된 기능을 Eiffel의 Design-by Contract시스템과 유사하게 동작하므로 C++ 언어의 객체 모델을 이용하여 구현되었으며 별도의 소프트웨어 없이 라이브러리 형태로 간편하게 사용할 수 있도록 설계하였다. 또한 이를 C++의 표준라이브러리를 사용하여 실험적으로 구현하였다. 제안된 기능을 사용하는 경우 단정문 처리를 위한 복잡한 코드가 추상화되어 실제 프로그램 코드와 체계적으로 분리되므로 작성된 프로그램을 문서화하고 개발된 부품을 유지보수를 용이하게 한다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.565-567
• /
• 2002

SAML(Security Assertion Markup Language)은 웹 서비스 환경에 최적화된 인중과 권한 부여를 표준적이면서도 확장성 있는 구조를 제공하는 공개된 표준이다. ebXML과 같은 공개된 XML 기반 거래 프레임워크에 SAML을 적용함으로써 기업 간 협력형 비즈니스 모델 내어서 문제가 되었던 550(Single Sign-on)를 위한 사용자 관리 및 인증의 부담을 최소화 할 수 있다 본 연구에서는 SAML에 대한 기술 분석과 함께 ebXML 및 웹 서비스 비즈니스 트랜잭션 내에서 적용 방안을 논의하고 원 서비스 모델 기반의 SAML 인증 시스템을 제시한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.06a
• /
• pp.1-18
• /
• 2000

This paper describes firstly a prediction for desirable features of the machine tool in the year 2015 and beyond, and then delineates something definite in relation to some representative machine tools, which could be realised in very near future. The paper depicts furthermore another aspect of future machine tools, I. e., innovative structural designs. In addition, author asserts the importance of grass root-like knowledge, when predicting the desirable feature of machine tools future together with showing some evidences.

• SUVANNABHUMI
• /
• v.8 no.2
• /
• pp.51-77
• /
• 2016

This paper argues and shows how ethnic dimension is still very important in understanding political contestations in Malaysia. To do this, the paper reviews the political as well as population demography to back its assertion. And it is not necessarily improper to continue to use this ethnic lens, although the continued use of this approach has come under heavy criticism both within and from outside Malaysia. Raging debates in Malaysia and by Malaysians are still very much shaped by ethnicity and increasing regional differences. This is further compounded by other factors such as religion, language, and education. In fact, these tools have been more intensely used of late compared to any period before in history as they easily politicize and attract followers.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.341-368
• /
• 2016

Asserting a sentence of the form "p but I do not believe that p" sounds inappropriate, and even absurd or contradictory. The problem that Moore's paradox raises is to explain why asserting such a sentence is absurd despite the fact that there is apparently no logical contradiction in it. Many of the influential accounts of Moore's paradox try to locate its source in the nature of belief or in the nature of assertion. In this paper, I argue that these accounts are not satisfactory, and develop and defend a novel account. According to this account, the source of Moore's paradox should be located in self-reference. Self-reference is constituted by a certain disposition to form second-order beliefs. A subject who is ready to assert "p but I do not believe p" fails to conform to the disposition that is constitutive of self-reference, while at the same time referring to the relevant individual with "I."

• Journal of Distribution Science
• /
• v.15 no.12
• /
• pp.53-60
• /
• 2017

Purpose - This paper analyzes the effect of the handset subsidy and the Mobile Number Portability subscriber subsidy regulation, which are the main regulation adopted in "Law on the Improvement of the Mobile Terminal Distribution System" (Mobile Terminal Distribution Act), on the social surplus, the consumer surplus and profits of telecommunications carriers. We focus our analysis on whether the service charge competition is stimulated enough so that it can compensate for the loss of subsidies. Research design, data, and methodology - We use simple economic model to assess the impact of the handset subsidy and the Mobile Number Portability subscriber subsidy regulation. Unlike the former researches on this topic, we depart from using Hotelling model, and instead use the switching cost model, which uses switching cost as a parameter of market powers of telecommunications carriers. We also study the effect of the two different regulations when they are adopted both independently and concurrently. Results - If the market powers of telecommunications carriers are over certain threshold, contrary to the regulatory agency's assertion, the service charge competition would not be stimulated enough to compensate for the deduction in the subsidies, and thus the consumer surplus is compromised. Number Portability subsidy, especially, undermines the rival's market power and thus reduces the service charge. On the other hand, the regulations will also increase the profits of telecommunications carriers. However, social surplus is maximized when both of the regulations are present because the regulations reduces the frequency of switching handsets inefficiently. Conclusions - In enacting the Mobile Terminal Distribution Act, the telecommunications regulatory agency asserted that the regulation on subsidies will stimulate service charge competition, and in the long run, enhance the consumer surplus. However, contrary to the regulatory agency's assertion, subsidy regulation, especially the regulation on Number Portability subsidy, reduces consumer surplus. On the other hand, the Mobile Terminal Distribution Act can also increase the profits of telecommunications carriers because it decreases competition among the telecommunications carriers. However, the Mobile Terminal Distribution Act can increase the social surplus because it reduces inefficient switching of handsets.