• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 1999.10a
• /
• pp.163-167
• /
• 1999

컴퓨터가 일반화됨에 따라 대기질 관리 및 연구 분야에서 수치모델 이용이 보편화되고 있다. 현재 사용되는 대기오염 수치모델의 종류는 매우 다양하며, 구동에 필요한 전산시스템의 규모도 다양하다. 연구용 및 대형 모델들은 활용 분야가 넓고 신뢰도가 높은 반면 대형 전산시스템과 고도의 전문 인력을 요구한다. 그러나, 국내 대부분의 대기질 관련 기관의 사용 가능한 전산시스템과 담당 인력을 고려할 때 대형 모델의 사용이 일반화되기에는 한계가 있다.(중략)

• Communications of Mathematical Education
• /
• v.6
• /
• pp.383-407
• /
• 1997

가환다원환의 대수적 미분에 관한 성질들은 많은 연구의 대상이 되어 왔다. 본 논문은 가환 다원환에서 정의된 대수적 미분의 일반화로써 가환일 필요가 없는 일반다원환의 대수적 미분의 성질을 연구한 것이다. 비가환다원환의 미분정의를 바탕으로 하여 가환다원환에서 연구되어 온 보편적 미분가군의 성질을 일반다원환 의 미분가군에 적용하려고 노력하였다. 이 논문에서 사용한 정리의 증명과정이나 기본개념은 가환다원환의 미분개념에서 나타난 성질들을 바탕으로 하였다.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.105-121
• /
• 2011

The late professor Young-Jung Kim advanced a view that Existential Specification Rule (ES Rule) can be understood as a kind of polylemma. In arguing for this view, he also claimed that all propositions containing free variables are universal propositions. In this paper, I argue that his view on free variables incur numerous problems. Moreover, I introduce a new rule of inference called 'Universalized Conditionalization Rule' (UC Rule), so that I can show that his insight about ES Rule can be substantialized without an appeal to his problematic view on free variables. Finally, I show that ES Rule can be directly derived from UC Rule.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.663-666
• /
• 2009

The usage of fixed call services and public payphones decreased due to the mobile services became general communications tools and the new VoIP services are emerging. Public phone services are included in the scope of universal services and the prices of services is low and the services are easy to access anywhere. However the telecommunication markets are changed then the loss of public payphone services gets worse and the importance of public payphone have decreased. This paper reviewed the universal services regulations of public payphones in overseas countries and proposed the implications of improving the universal service regulations for public payphones.

• 전기의세계
• /
• v.53 no.5
• /
• pp.41-47
• /
• 2004

최근 들어 무선 인터넷 시장이 형성되면서 이동성을 기반으로 하는 서비스에 대한 관심이 급증하고 있다. 그리고, 휴대폰, PDA와 같은 휴대용 단말기의 사용이 일반화된 가운데 GPS를 기반으로 하는 서비스들도 점차적으로 보편화되어 가고 있다. 이러한 변화에 따라 이동성을 지원하는 무선 단말기를 기반으로 한 모바일 GIS 환경에서의 위치 정보 활용은 크나큰 관심을 불러들이고 있으며, 또한 이러한 서비스를 효율적으로 제공하기 위해서 위치 기반 서비스(LBS: Location Based Service)의 기술 개발이 절대적으로 필요하게 되었다.(중략)

• Cross-Cultural Studies
• /
• v.45
• /
• pp.109-143
• /
• 2016

This article examines distinctive linguistic shifts of translational English in an effort to verify the validity of the translation universals hypotheses, including simplification, explicitation, normalization and leveling-out, which have been most heavily explored to date. A large-scale study involving comparable corpora of translated and non-translated English newspaper texts has been carried out to typify particular linguistic attributes inherent in translated texts. The main findings are as follows. First, by employing the parameters of STTR, top-to-bottom frequency words, and mean values of sentence lengths, the translational instances of simplification have been detected across the translated English newspaper corpora. In contrast, the portion of function words produced contrary results, which in turn suggests that this feature might not constitute an effective test of the hypothesis. Second, it was found that the use of connectives was more salient in original English newspaper texts than translated English texts, being incompatible with the explicitation hypothesis. Third, as an indicator of translational normalization, lexical bundles were found to be more pervasive in translated texts than in non-translated texts, which is expected from and therefore support the normalization hypothesis. Finally, the standard deviations of both STTR and mean sentence lengths turned out to be higher in translated texts, indicating that the translated English newspaper texts were less leveled out within the same corpus group, which is opposed to what the leveling-out hypothesis postulates. Overall, the results suggest that not all four hypotheses may qualify for the label translation universals, or at least that some translational predictors are not feasible enough to evaluate the effectiveness of the translation universals hypotheses.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.73-75
• /
• 2006

휴대기기의 보편화와 멀티미디어 기술 발달로 인해 MP3 파일 및 동영상 파일, 그리고 다른 여러 가지 파일들이 휴대기기에 저장 및 관리되고, 이러한 장비의 수가 증가함에 따라 개인의 정보 및 데이터는 여러 장치로 분산되었다. 본 논문에서는 최근 보편화되는 휴대기기와 서버간의 데이터 동기화 표준인 SyncML(Synchronization Markup Language)을 소개하고, SyncML에서 정의 되지 않은 파일전송 및 파일동기화 기술을 설계 및 구현한다. 본 논문에서 제안하는 기술은 멀티미디어 기술의 발달로 일반화가 되고 있는 멀티미디어 데이터의 공유에 크게 기여할 것이다.

• Journal of the Korean Society for Library and Information Science
• /
• v.39 no.2
• /
• pp.237-258
• /
• 2005

Internet Website has become part of daily life. The public library tends to use the website for the information service and the public relations as well. This study aims to evaluate the Web Accessibility for improving universal services in five public libraries website, Seoul Area. Accessibility testing are used two method, that is A-Prompt analysis and HTML Validation Evaluation. The results of evaluation showed that they have been in error. Finally this study well be used for web accessibility in library website.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.

• Archives of design research
• /
• v.18 no.2 s.60
• /
• pp.335-344
• /
• 2005

This paper aims to examine how the history of modern design has been described and what has been turned out to be shortcomings and limitations in its description. Traditionally, description of the history of modern design shows over generalization, which means that it suppresses or distorts various and individual designs, stressing on the mainstream of design history. Also it, focusing on some selected designs in hegemony, depicts their characteristics and relations too lineally, and regards a hero-centered history as universal or absolute one. As this tradition is generalized, we are ofter reminded of 'modern design' when touched by ‘design,’ and of colonial heroes and heroism when touched by ‘modern design.’ In this context, this paper will argue that we need to accept various design histories, keeping the subjective attitudes toward history.