• Annual Conference on Human and Language Technology
• /
• 1993.10a
• /
• pp.91-98
• /
• 1993

하이퍼텍스트는 문서검색 전산화의 새로운 대안을 제시하고 있으나 저작에 많은 시간과 노력이 요구되는 단점이 있다. 본 연구에서는 기존의 한글문서를 하이퍼텍스트 문서로 자동 변환하는 변환시스팀을 설계, 구현하였다. 문서는 사용자가 제공한 부제목형식의 정규표현식(regular expression)으로부터 논리적 구조가 분석되며 문서분할, 형태소분석, 대표카드결정 및 링크생성의 과정을 거쳐 하이퍼텍스트 문서로 변환된다. 시험운용 결과 본 시스팀은 대량의 한글문서를 적은 노력으로 실용성있는 하이퍼텍스트 문서로 자동 변환할 수 있음을 입증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.850-852
• /
• 2003

이 논문에서는 여러 가지 도구를 논리적인 순서로 사용함으로써 이루어지는 작업을 워크플로우로 보고, 이러한 관점에서 바이오인포매틱스 도구를 통합하는 새로운 멀티에이전트 시스템을 제안한다. 제안한 시스템은 기존의 도구를 랩퍼 에이전트로 구현하고, 에이전트간의 통신은 XML 형식의 메시지로 이루어진다. 수신 에이전트는 송신 에이전트가 전송하는 정보를 명시적으로 알리지 않고도 메시지로부터 필요한 정보를 추출할 수 있다. 제안한 시스템의 이러한 특징은 바이오인포매틱스 도구와 데이터베이스의 통합을 용이하게 한다. 또한, 제안한 시스템에서는 워크플로우를 여러 가지 제어 구조를 이용하여 정의할 수 있으며. 워크플로우 진행을 모니터링할 수 있는 기능을 제공한다. 제안한 시스템의 가용성을 보이기 위해 박테리아 Sphingomonas Chungbukensis DJ77 의 유전자 주해(gene annotation) 작업에 제안한 시스템을 적용하여 구현하고 있다.

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

Web Services가 차세대 e-Business를 주도할 것으로 많은 주목을 받으면서 XML(extensible Markup Language)을 기반으로 하여 폭넓게 성장해 가고 있다. 하지만 안전한 서비스의 측면에서 Web Services 는 폐쇄환경에서는 존재하지 않았던 새로운 보안 고려사항들을 부각시키고 있다. 이에 대한 해결을 위해 본 논문에서는 XML을 기반으로 하는 Web Services의 특성에 맞추어, 플랫폼 독립적이며 언어 중립적인 특징을 유지한 XML-Signcryption을 제안하는데, 이것은 논리적으로 한번에 전자 서명과 암호화를 함께 수행하도록 하여 기존의 서명 후 암호화에서 요구되는 계산 비용보다 더 적은 비용을 가지고 있는 Zheng의 Signcryption 기법을 XML 보안에 응용한 것이다. 본 논문에서 처음으로 XML 구문 형식을 따라 XML-Signcryption이란 명칭으로 설계하여 제안하는 XML-Signcryption은 암호화와 전자서명을 따로 구현한 W3C(World Wide Web Consortium)의 XML-Encryption이나 XML-Signature 스펙과 비교해, 전자서명과 암호화의 두 가지 보안 메커니즘을 위한 각각의 구현을 따로 할 필요 없이 한번에 할 수 있다는 면에서 개발자들에게 편리성을 제공할 뿐만 아니라 계산 비용 측면에서도 효율적인 장점을 제공한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.9
• /
• pp.108-115
• /
• 1997

This paper presents a robust controller design for uncertain nonlinear systems with input saturation. In actual application, the robust controller may require a high input torque so that it faces input saturation due to power limitation of the system. The satruation problem may cause instability of the system. To improve this problem, a robust controller using a fuzzy logic control is proposed. The proposed controller keeps state errors bounded. To validate the proposed controller, an invert pendulum and its control system is set up. The experimental result shows bounded angular position errors under saturated input torques.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.1
• /
• pp.79-85
• /
• 2001

In this paper, we propose a new technology mapping algorithm for CPLD consider area under time constraint(TMFCPLD). This technology mapping algorithm detect feedbacks from boolean networks, then variables that have feedback are replaced to temporary variables. Creating the temporary variables transform sequential circuit to combinational circuit. The transformed circuits are represented to DAG. After traversing all nodes in DAG, the nodes that have output edges more than two are replicated and reconstructed to fanout free tree. This method is for reason to reduce area and improve total run time of circuits by TEMPLA proposed previously. Using time constraints and delay time of device, the number of graph partitionable multi-level is decided. Initial cost of each node are the number of OR-terms that it have. Among mappable clusters, clusters of which the number of multi-level is least is selected, and the graph is partitioned. Several nodes in partitioned clusters are merged by collapsing, and are fitted to the number of OR-terms in a given CLB by bin packing. Proposed algorithm have been applied to MCNC logic synthesis benchmark circuits, and have reduced the number of CLBs by 62.2% than those of DDMAP. And reduced the number of CLBs by 17.6% than those of TEMPLA, and reduced the number of CLBs by 4.7% than those of TMCPLD. This results will give much efficiency to technology mapping for CPLDs.

• Journal of Korean Philosophical Society
• /
• v.129
• /
• pp.267-290
• /
• 2014

The slippery slope argument means that if we accept a type of action A, we are committed to accepting B, C and eventually N. Then, N is situation which we must not accept morally. It works causal mechnism that B because A is raised, C because B is raised. But in the logic textbooks and treatises, the slippery slope argument is classified as fallacy. The reason is that the argument is not a causal argument. Actually, it is a probable. Also it is argued that the argument is wrong because it fears about the future extremely. But We can not say all slippery slope argument is fallacy even though a slippery slope argument is sometimes fallacy. I think it is persuasive argument in a significant place. Therefore I argue that the argument is not simple logic as a form of thinking, but practical reasoning applied the context of dialogue. So in order to find it to be practical reasoning we demand the new understanding to fallacy theory. In traditionally, fallacy is defined to wrong reasoning logically, but according to Walton, fallacy means a verbal tactic or deceptive trick that can be used to cause someone to fall down in argument. That is to say, whether or not the argument is successful depends on how it uses as argument tactic in a given context of dialogue. Therefore I argue that whether or not the argument is successful, because of it is practical problem used in a context of dialogue, is to be approached to pragma and dialectical method, not semantic.

• (The)Study of the Eastern Classic
• /
• no.35
• /
• pp.275-295
• /
• 2009

The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

• (The)Study of the Eastern Classic
• /
• no.68
• /
• pp.35-67
• /
• 2017

This paper examines the petition to the king of Doam(陶菴) Leejae(李縡), one of the key figures of 18th century. He wrote a total of 49 he petition to the king, mostly resignation petition to the king. He emphasized the genuine feelings and emphasized the accurate persuasion logic when he was writing a petition to the king. It is not contradictory to these elements, looking at his actual situation he wrote. He wrote the resignation petition to the king three times to resign Daejehak (大提學), he changed his persuasion logic in each of the resignation petition to the king. We can look at the aspect of transforming persuasion logic on the same topic. His resignation petition to the king, for the first time, was particularly well structured in terms of composition, and used a proper accent method. His resignation petition to the king has the beautiful literary art of gomun(古文), such as the expression of the so-called munjongjasoon(文從字順) and the composition of paragraph organically corresponding. The best work of his resignation petition to the king is Maneonso(萬言疏). The contents criticized Yeongjo(英祖)'s tangpyeongchaek(蕩平策) while evaluating Sinimoksa(辛壬獄事). It consists of a total of 5,300 letters. This work repeatedly used the irony, the method of seolui(設疑), and the incremental method to criticize the tangpyeongchaek(蕩平策), and put Yeongjo(英祖)'s position to the corner. This work is an example of other the resignation petition to the king.

• The Korean Nurse
• /
• v.15 no.6 s.86
• /
• pp.42-60
• /
• 1976

1.행동특성별 제언 1 기본 지식면 첫째, 간호원리, 법칙에 관한 지식을 갖게 한다. 둘째, 간호학의 용어, 기호, 단어 및 개념에 대한 지식을 갖게 한다. 셋째, 간호원리, 의견, 활동을 검증하고 판단하는 기준에 관한 지식을 갖게 한다. 넷째, 간호현상의 과정, 경향, 원인, 순서에 관한 지식을 갖게 한다. 다섯째, 간호문제 요구를 처리하는데 필요한 수단 형식, 체제, 용법에 관한 지식을 갖게 한다. 여섯째, 학설에 관한 지식을 갖게 한다. 일곱째, 간호학 분야에서의 특수한 문제나 현상을 다루는데 쓰이는 탐구방법에 관한 지식을 갖게 한다. 여덟째, 간호 문제나 자료의 분류에 관한 지식을 갖게 한다. 아홉째, 특수한 사실의 성질, 특징, 정확성에 관한 지식을 갖게 한다. 제언 2 이해능력면 첫째, 간호문제를 창조적으로 해결하고 연구, 발전 시킬 수 있는 능력을 기른다. 둘째 간호현상을 정확하게 추리하고 검증하여 결론을 추출하며 진술하는 능력을 기른다. 셋째, 간호문제를 해석하고 자료를 재정리, 재배열, 또한 새로운 견지에서 해설하는 능력을 기른다. 넷째, 관찰된 간호현상을 설문화 또는 도표화 하는 능력을 기른다. 제언 3 태도면 첫째, 정서적 안정감을 유지하면서 환자와의 인간 관계를 원만하게 유지할 수 있는 태도를 기른다. 둘째, 확신을 갖고 간호활동에 임하는 태도를 기른다. 셋째, 한국사회가 필요로 하는 간호원의 역할을 스스로 감지 적응하고 간호활동 개선에 이바지하는 태도를 기른다. 넷째, 약품을 신중히 다루는 태도를 기른다. 다섯째, 새로운 직을 배워 개척하고자 하는 의욕을 갖게 한다. 제언 4 기능면 첫째, 환자를 이해하고 안정시킬 수 있는 능력을 갖게 한다. 둘째, 간호를 포괄적으로 수행할 수 있는 능력을 기른다. 셋째, 간호문제를 창의적으로 처리할 수 있는 능력을 기른다. 넷째, 새로운 간호지식이나 기술에 대해서 자율적으로 연수, 학습할 수 있는 능력을 기른다. 다섯째, 간호 문제에 대한 흥미와 호기심을 갖게 한다. 여섯째, 병실기구를 과학적이고 합리적으로 관리하는 기능을 기른다. 일곱째, 의료(진료)기구를 조작할 수 있는 능력을 기른다. 제언5 비판능력면 첫째, 간호문제나 현상 방법에 있어서 그 가치를 논리적 또는 주관적 기준에 의해 자료를 평가하는 능력을 기른다. 둘째, 일반적인 이론, 학설, 표준 사실에 입각해서 자료를 평가할 수 있는 능력을 기른다. 제언 6 분석능력면 첫째, 요소 및 부분들간의 관련과 상호작용 또는 인간관계를 관찰하고 분석할 수 있는 능력을 기른다. 둘째, 복잡한 간호문제를 부문별, 요소별로 분석하는 능력을 기른다. 셋째, 자료의 형태, 구조, 형식의 특징과 조직을 분석하는 능력을 기른다. 제언 7 종합 능력면 첫째, 간호계획 절차를 창안할 수 있는 능력을 기른다. 둘째, 자기의 생각을 효율적으로 전달하는 능력을 기른다. 셋째, 특수한 간호 현상이나 기본적 명제에서 어떤 추상적 관계를 연역해 낼 수 있는 능력을 기른다. 제언 8 응용능력면 첫째, 간호문제를 해결하는데 실제로 응용 할 수 있는 교육을 시킨다. 둘째, 간호이론을 구체적인 상황에 효율적으로 응용할 수 있는 능력을 기른다. 셋째, 지역사회의 특성에 알맞은 간호기술이나 간호절차를 창안할 수 있는 능력을 기른다. 넷째, 간호방법을 모색하고 이용하는 능력을 기른다. 다섯째, 조사를 통해 합리적이고 논리적인 결론을 내릴 수 있는 능력을 기른다.

• Journal of Korea Water Resources Association
• /
• v.51 no.4
• /
• pp.335-346
• /
• 2018

A vast amount of riverine spatial dataset have recently become available, which include hydrodynamic and morphological survey data by advanced instrumentations such as ADCP (Acoustic Doppler Current Profiler), transect measurements obtained through building various river basic plans, riverine environmental and ecological data, optical images using UAVs, river facilities like multi-purposed weir and hydrophilic sectors. In this regard, a standardized data model has been subsequently required in order to efficiently store, manage, and share riverine spatial dataset. Given that riverine spatial dataset such as river facility, transect measurement, time-varying observed data should be synthetically managed along specified river network, conventional data model showed a tendency to maintain them individually in a form of separate layer corresponding to each theme, which can miss their spatial relationship, thereby resulting in inefficiency to derive synthetic information. Moreover, the data model had to be significantly modified to ingest newly produced data and hampered efficient searches for specific conditions. To avoid such drawbacks for layer-based data model, this research proposed a relational data model in conjunction with river network which could be a backbone to relate additional spatial dataset such as flowline, river facility, transect measurement and surveyed dataset. The new data model contains flexibility to minimize changes of its structure when it deals with any multi-dimensional river data, and assigned reach code for multiple river segments delineated from a river. To realize the newly developed data model, Seom river was applied, where geographic informations related with national and local rivers are available.