• 제목/요약/키워드: logic language

검색결과 359건 처리시간 0.027초

능동문서: 서식설계자의 프로그램 (Active Documents: Programs by Form Designers)

  • 남철기;배재학;유해영
    • 정보처리학회논문지B
    • /
    • 제10B권6호
    • /
    • pp.599-610
    • /
    • 2003
  • 웹은 정보 제공원으로서 중요한 역할을 하며 대부분의 웹 응용프로그램은 문서 중심이다. 문서는 문서설계자의 의도를 함축하고 있으며 이는 업무처리 과정의 자동화에 적극적으로 활용될 수 있다. 이러한 문서기능의 본질 파악을 통해 본 논문에서는 특별한 경우, 문서를 실행 가능한 컴퓨터 프로그램으로 보는 시각으로 접근하였다. 이를 위해 서식, 지식베이스, 규칙 그리고, 질의로 구성되는 능동문서 모델을 제안하였다. 이 모델의 각 요소는 문서의 재사용과 상호 운용성을 위해 XML로 일관되게 표현된다. 소개한 능동문서는 사용자 인터페이스를 제공하는 수동적인 역할뿐만 아니라 문서설계자가 의도하는 문서처리 절차와 업무규칙을 기계가 읽고 추론하여 처리할 수 있게 하는 문서이다. 이를 통해 문서와 기계가 상호작용을 할 수 있으며 다른 응용 프로그램과 협력할 수도 있다. 이러한 능동문서의 적용 가능함을 보이기 위해 기업 간 거래(B2B) 시스템에서 구매주문 처리의 예를 보였다. 서식문서를 컴퓨터 프로그램의 시각으로 바라보는 본 논문의 접근법을 통해 본 연구는 문서중심의 지능적인 응용프로그램 개발을 가속화하는 발판을 마련할 수 있을 것이다. 요컨대 본 논문에서 제시한 능동문서는 지식표현 및 처리기능이 내장되어 있는 바, 시맨틱 웹(Semantic Web)이 추구하는 문서의 역할을 담당할 수 있을 것으로 기대한다.

2개층 사질토지반에서 정방형 기초의 지지력 특성 (Characteristics of Bearing Capacity under Square Footing on Two-layered Sand)

  • 김병탁;김영수;이종현
    • 한국지반공학회논문집
    • /
    • 제17권4호
    • /
    • pp.289-299
    • /
    • 2001
  • 본 연구는 균질 및 2개층 비균질지반에서 사질토지반 상에 놓인 정방형 기초의 극한지지력과 침하에 대하여 고찰하였다. 본 연구는 얕은기초의 거동에 대한 정방형 기초의 크기, 지반 상대밀도, 기초 폭에 대한 상부층의 두께 비(H/B), 상부층 아래 경계면의 경사($\theta$) 그리고 지반강성비의 영향을 규명하기 위하여 모형실험을 수행하였다. 동일 상대밀도에서 지지력 계수($N_{{\gamma}}$)는 일정하지 않으며 기초 폭에 직접적으로 관련되며 지지력계수는 기초 폭이 증가함에 따라 감소하였다. 기초크기의 영향과 구속압력의 영향을 고려하는 Ueno 방법에 의한 극한지지력의 예측값은 고전적인 지지력 산정식보다 더 잘 일치하며 그 값은 실험값의 65% 이상으로 나타났다. $\theta$=$0^{\circ}$인 2개층 지반의 결과에 근거하여, 극한지지력에 대한 하부층 지반의 영향을 무시할 수 있는 한계 상부층 두께는 기초 폭의 2배로 결정되었다. 그러나, 73%의 상부층 상대밀도인 경우는 침하비($\delta$B) 0.05 이하에서만 이 결과가 유효하였다. 경계면이 경사진 2개층 지반의 결과에 근거하여, 상부층의 상대밀도가 느슨할수록 그리고 상부층의 두께가 클수록 극한지지력에 대한 경계면 경사의 영향은 크지 않는 것으로 나타났다. 경계면의 경사가 증가함에 따른 극한침하량의 변화는 경계면이 수평인 경우($\theta$=$0^{\circ}$)를 기준으로 0.82~1.2(상부층 $D_{r}$=73%인 경우) 그리고 0.9~1.07(상부층 $D_{r}$=50%인 경우) 정도로 나타났다.Markup Language 문서로부터 무선 마크업 언어 문서로 자동 변환된 텍스트를 인코딩하는 경우와 같이 특정한 응용 분야에서는 일반 문자열에 대한 확장 인코딩 기법을 적용할 필요가 있을 수 있다.mical etch-stop method for the etching of Si in TMAH:IPA;pyrazine solutions provides a powerful and versatile alternative process for fabricating high-yield Si micro-membranes. the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions) for decreasing mass and increasing velocity. In particular, velocity in logistics is emphasized.

  • PDF

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼 (Unified Design Methodology and Verification Platform for Giga-scale System on Chip)

  • 김정훈
    • 대한전자공학회논문지SD
    • /
    • 제47권2호
    • /
    • pp.106-114
    • /
    • 2010
  • 본 논문은 기가 스케일 System on Chip(SoC)를 위한 통합 설계 및 검증 플랫폼을 제안한다. VLSI 집적도의 발달로 그 복잡도가 증가하여 기존의 RTL 설계 방식으로는 그 생산성 차이(Production Gap)를 극복할 수 없게 되었다. 또한, 검증 차이(Verification Gap)의 증가로 검증 방법론에도 커다란 변혁이 필요하게 되었다. 본 플랫폼은 기존의 상위 수준 합성을 포함하며, 그 결과물을 이용하여 저 전력 설계의 전원 인식 검증 플랫폼과 검증 자동화를 개발하였다. 상위 수준 합성 시 사용되는 Control and Data Row Graph (CDFG)와 고 입력인 상위 수준 언어와 RTL를 기반으로 한 검증 플랫폼 자동화와 전원 인식 검증 방법론을 개발하였다. 검증 플랫폼에는 자동 검사 기능을 포함하고 있으며 Coverage Driven Verification을 채택하고 있다. 특히 전원 인식 검증을 위하여 개발된 조건 랜덤 벡터 생성 알고리듬을 사용하여 랜덤 벡터의 개수를 최소 5.75배 감소시키는 효과를 가져왔고, 전원과 전원 셀에 대한 모델링 기법을 이용하여 일반적인 로직 시뮬레이터 툴을 통해서도 전원 인식 검증을 가능하게 하였다. 이러한 통합된 설계 및 검증 플랫폼은 시스템 수준의 설계에서 검증, 합성에 이르는 전 설계 흐름을 완전 자동화 하여 상위 수준의 설계와 검증을 가능하게 하고 있다.

스트립을 이용한 요분석시스템의 개발과 퍼지추론에 의한 검사결과 평가에 관한 연구 (A Study on the Development of Urine Analysis System using Strip and Evaluation of Experimental Result by means of Fuzzy Inference)

  • 전계록;이승진;최병철;안시훈;하광;김주열;김재형
    • 대한의용생체공학회:의공학회지
    • /
    • 제19권5호
    • /
    • pp.477-486
    • /
    • 1998
  • 본 연구에서는 요분석용 스트립을 이용하여 요의 상태를 정량적·정성적으로 측정할 수 있는 요분석시스템을 구현하였다. 요분석시스템의 분석 알고리듬은 온도 변화, 전원 노이즈 통의 외란에 강인한 특성을 나타내기 위하여 퍼지 논리를 적용하였다. 강인하고 안정적인 요분석시스템을 설계하기 위하여 스트립 9가지 패드의 분강학적 특성을 검토하였다. 요분석시스템 하트웨어와 소프트웨어로 구성되었다. 요분석시스템의 하드웨어는 단일칩 마이크로프로세서를 사용하였고, 주변장치들로는 광하부, 트레이 제어, 전치증폭부, PC와의 통신, 열전사 프린터 및 동작 상태 표시기로 구성하였다. 요분석시스템의 소프트웨어는 시스템 프로그램과 분류 프로그램으로 구성하였다. 시스템 프로그램은 시스템 제어와 데이터 취득 및 분석을 수행하도록 하였다. 분규 프로그램은 퍼지추론부와 멤버쉽함수 발생기로 구성되었다 멤버쉽함수 발생기는 정도관리의 통계학적 방법을 이용하여 삼각형 멤버쉽함수를 생성하였다. 측정된 데이터는 PC로 전송되고, 전송된 데이터는 C++로 작성된 데이터 관리 및 취득 프로그램에 의해 저장된다. 요분석시스템의 정확도와 퍼지분류기의 안정성은 표준시료를 이용하여 평가하였다. 실험결과는 검사항목과 만족한 일치를 보였다.

  • PDF

칠레의 와 한국의 <변호인>, 영화와 포스트메모리의 정치 (Film and the Politics of Post-memory in Chile's No and Korea's The Attorney)

  • 박정원
    • 비교문화연구
    • /
    • 제44권
    • /
    • pp.29-58
    • /
    • 2016
  • '포스트메모리'는 역사적 상흔을 직접적으로 경험하지 않은 이후 세대의 기억으로, 현재의 고민과 관심사가 깊숙이 투영되면서 과거를 재해석하는 행위 혹은 서사를 지칭한다. 칠레 영화 는 피노체트의 연장집권을 묻는 국민투표가 실시된 1988년으로 돌아가 당시 반대캠페인 내부를 들여다본다. 이들은 효과적인 홍보 전략과 광고 언어를 사용하여 선거에서 승리하고 민주화에 기여하지만, 그 과정에서 감독은 민주주의를 상품화의 논리로 치환시키는 소비사회와 신자유주의 체제가 도래하는 이행기 칠레사회에 대한 성찰을 시도한다. 한편, 한국의 <변호인>은 1980년대 초반 군부독재 시절, 한 세금변호사가 국가보안법 사건을 맡으면서 인권변호사로 변화하는 과정을 다룬다. 영화는 국가주의에 의해 개인과 공동체의 삶이 위협받는 상황을 보여주면서 상식과 공감을 바탕으로 민주주의의 의미를 재구성한다. 역사적 맥락의 차이에도 불구하고 비슷한 시기에 제작된 두 영화는 민주화 이후 나타난 민주주의의 위기를 과거 역사를 통해 포착하며, 이와 함께 민주주의의 재구성을 위해 지식인과 전문가집단의 역할과 책임을 강조한다.

대승불교의 진리관 -용수(龍樹)의 공(空)과 이체설(二諦說)에 대한 중관학파(中觀學派)와 유지학파(唯識學派)의 논쟁을 중심으로 (Truth of Mahāyāna Thought -The Controversy Between The Madhyamaka and The Yogācāra on Sunya and The two truth theories of Nāgārjuna)

  • 윤종갑
    • 철학연구
    • /
    • 제116권
    • /
    • pp.225-256
    • /
    • 2010
  • 불교의 궁극적인 목적은 깨달음을 성취하여 괴로움으로부터 해탈하는 것이다. 이러한 목적에 따라 불교의 진리관은 어떻게 깨달음을 얻어 해탈할 것인가에 초점을 두고 있다. 대승불교의 확립자인 용수(龍樹)($N{\bar{a}}g{\bar{a}}rjuna$)는 붓다의 무아설(無我說)과 중도설(中道說)에 입각하여 아비달마불교의 법유설(法有說)(삼세실유(三世實有) 법체항유(法體恒有))을 공(空)과 이체설(二諦說)에 의해 비판적으로 종합함으로서 대승불교의 진리관과 깨달음의 길을 논리적으로 체계화 하였다. 그 결과 공과 이제설은 대승불교의 진리관과 깨달음의 길을 대표하는 교리가 되었다. 용수에 의해 확립된 공과 이제설은 대승불교의 근간이 되어 이후 공과 이제설에 바탕한 중관학파(中觀學派)($M{\bar{a}}dhyamika$)가 형성되며, 또한 이를 비판적으로 수용한 유지학파(唯識學派)(유가행파(瑜伽行派), $Yog{\bar{a}}c{\bar{a}}ra$)가 나타나 '공과 이제설'을 둘러싸고 두 학파 간에 치열한 논쟁이 전개되었다. 본 논문은 용수의 공관과 이제설의 중심 내용을 살펴본 후, 이에 대한 중관학파와 유가행파의 논쟁이 어떻게 치루어졌는지, 또 그 비판의 핵심 내용이 무엇인지를 고찰하고자 하는 것이다. 용수는 "반야경"의 공사상을 계승하여 공이 연기(緣起) 중도(中道) 가명(假名) 무자성(無自性)임을 이제설의 진리관에 의거하여 밝히고 있다. 이러한 용수의 이제설은 청변(淸辯)(Bhvaviveka)과 월칭(月稱)(Chandrakīrti)을 비롯한 중관학파에 의해 보다 체계적으로 다듬어져 대승불교의 진리관으로 수용되었다. 중관학파의 이제설의 핵심은 모든 존재는 자성을 갖지 않은 공한 것으로, '무자성 공'을 주장하는데 있다. 그러나 유식사상에 근거하여 지(識)과 공성(空性)의 존재를 인정하는 유가행파는 중관학파의 '무자성 공'을 궁극적인 진실로서 인정하지 않는다. 즉, 일체법이 '무자성 공'으로 단지 가명에 지나지 않는다고 주장하는 것은 극단적인 허무론이며 공성의 존재를 인정하지 않는 것은 악취공(惡取空)이라고 중관학파를 비판하였다. 이와 같은 유가행파의 비판에 대해 중관학파는 승의로서 식(識)의 존재를 주장하는 것은 연기설에 어긋나며, 나아가 승의로서 공성의 존재를 주장하는 것이야말로 허무론이라고 반박하였다.

한국문학사를 가로지르는 언어·문화·역사의 계기들 - 일본 저술 한국문학사의 한국근현대문학 인식과 서술양상을 중심으로 - (Linguistic, Cultural, and Historical Momentums through History of Korean Literature -Focused on the Recognition and Descriptive Aspects of Korean Modern Literature in the History of Korean Literature Written in Japan-)

  • 윤송아
    • 비교문화연구
    • /
    • 제48권
    • /
    • pp.31-66
    • /
    • 2017
  • 본고는 일본에서 저술된 한국문학사 중에서 임전혜의 "일본에서의 조선인문학의 역사-1945년까지"와 시라카와 유타카의 "조선근대문학의 발자취", 그리고 사에구사 도시카쓰의 "한국문학을 맛본다"를 중심으로 각 문학사에 나타난 한국근현대문학의 인식방법 및 서술양상을 '문화횡단'이라는 관점 아래 고찰하고 있다. 먼저 임전혜는 일본유학생들의 문학 활동과 프롤레타리아 문학운동을 중심으로 일본에서 산출된 조선인 문학을 시기별로 고찰하면서 한 일간의 능동적인 문화교섭과 상호이해, 정치적 연대의 지점들을 짚어낸다. 시라카와 유타카는 근대문학 형성과정에서의 한중일 삼국의 동시성과 연관성에 주목하고 일본어 문학과 친일문학 등을 비중 있게 다루면서 한국과 일본의 경계에서 충돌하는 매개적 연구자로서의 중층적 위치성을 보여준다. 사에구사 도시카쓰는 동아시아를 아우르는 비교문학적 고찰, 전통과 현대를 잇는 문학적 형식과 주제의 구현, '친일문학'을 바라보는 탈경계적 시선 등을 통해 한국문학의 내적논리와 외연을 두루 살피는 흥미로운 문화횡단적 계기들을 제공한다. 이들 문학사에서 살펴볼 수 있는 문화횡단적 실천 양상은 첫째, '민족문학사'를 근간으로 한 기존의 한국근현대문학사를 '식민지 경험'과 '국가민족주의'라는 자장에서 이화(異化)시켜 다면적으로 고찰하고 있다는 점, 둘째, 기존 한국문학사의 서술양상을 보완하는 입체적이고 미시적인 문학사 서술의 가능성을 제공한다는 점, 셋째, 동아시아를 아우르는 비교문학적 관점의 수용을 통해 확장되고 열린 문학사 서술의 계기를 마련한다는 점, 넷째, 재일조선인문학, 일본어 문학의 발견을 통해 한국근현대문학사의 외연을 넓히고 토대를 풍부하게 하는 데 기여한다는 점이다.

새로운 간호윤리학 방법론;통합된 사례방법론 (An integrated Method of New Casuistry and Specified Principlism as Nursing Ethics Methodology)

  • 엄영란
    • 간호행정학회지
    • /
    • 제3권1호
    • /
    • pp.51-64
    • /
    • 1997
  • The purpose of the study was to introduce an integrated approach of new Casuistry and specified principlism in resolving ethical problems and studying nursing ethics. In studying clinical ethics and nursing ethics, there is no systematic research method. While nurses often experience ethical dilemmas in practice, much of previous research on nursing ethics has focused merely on describing the existing problems. In addition, ethists presented theoretical analysis and critics rather than providing the specific problems solving strategies. There is a need in clinical situations for an integrated method which can provide the objective description for existing problem situations as well as specific problem solving methods. We inherit two distinct ways of discussing ethical issues. One of these frames these issues in terms of principles, rules, and other general ideas; the other focuses on the specific features of particular kinds of moral cases. In the first way general ethical rules relate to specific moral cases in a theoretical manner, with universal rules serving as "axioms" from which particular moral judgments are deduced as theorems. In the seconds, this relation is frankly practical. with general moral rules serving as "maxims", which can be fully understood only in terms of the paradigmatic cases that define their meaning and force. Theoretical arguments are structured in ways that free them from any dependence on the circumstances of their presentation and ensure them a validity of a kind that is not affected by the practical context of use. In formal arguments particular conclusions are deduced from("entailed by") the initial axioms or universal principles that are the apex of the argument. So the truth or certainty that attaches to those axioms flows downward to the specific instances to be "proved". In the language of formal logic, the axioms are major premises, the facts that specify the present instance are minor premises, and the conclusion to be "proved" is deduced (follows necessarily) from the initial presises. Practical arguments, by contrast, involve a wider range of factors than formal deductions and are read with an eye to their occasion of use. Instead of aiming at strict entailments, they draw on the outcomes of previous experience, carrying over the procedures used to resolve earlier problems and reapply them in new problmatic situations. Practical arguments depend for their power on how closely the present circumstances resemble those of the earlier precedent cases for which this particular type of argument was originally devised. So. in practical arguments, the truths and certitudes established in the precedent cases pass sideways, so as to provide "resolutions" of later problems. In the language of rational analysis, the facts of the present case define the gounds on which any resolution must be based; the general considerations that carried wight in similar situations provide warrants that help settle future cases. So the resolution of any problem holds good presumptively; its strengh depends on the similarities between the present case and the prededents; and its soundness can be challenged (or rebutted) in situations that are recognized ans exceptional. Jonsen & Toulmin (1988), and Jonsen (1991) introduce New Casuistry as a practical method. The oxford English Dictionary defines casuistry quite accurately as "that part of ethics which resolves cases of conscience, applying the general rules of religion and morality to particular instances in which circumstances alter cases or in which there appears to be a conflict of duties." They modified the casuistry of the medieval ages to use in clinical situations which is characterized by "the typology of cases and the analogy as an inference method". A case is the unit of analysis. The structure of case was made with interaction of situation and moral rules. The situation is what surrounds or stands around. The moral rule is the essence of case. The analogy can be objective because "the grounds, the warrants, the theoretical backing, the modal qualifiers" are identified in the cases. The specified principlism was the method that Degrazia (1992) integrated the principlism and the specification introduced by Richardson (1990). In this method, the principle is specified by adding information about limitations of the scope and restricting the range of the principle. This should be substantive qualifications. The integrated method is an combination of the New Casuistry and the specified principlism. For example, the study was "Ethical problems experienced by nurses in the care of terminally ill patients"(Um, 1994). A semi-structured in-depth interview was conducted for fifteen nurses who mainly took care of terminally ill patients. The first stage, twenty one cases were identified as relevant to the topic, and then were classified to four types of problems. For instance, one of these types was the patient's refusal of care. The second stage, the ethical problems in the case were defined, and then the case was analyzed. This was to analyze the reasons, the ethical values, and the related ethical principles in the cases. Then the interpretation was synthetically done by integration of the result of analysis and the situation. The third stage was the ordering phase of the cases, which was done according to the result of the interpretation and the common principles in the cases. The first two stages describe the methodology of new casuistry, and the final stage was for the methodology of the specified principlism. The common principles were the principle of autonomy and the principle of caring. The principle of autonomy was specified; when competent patients refused care, nurse should discontinue the care to respect for the patients' decision. The principle of caring was also specified; when the competent patients refused care, nurses should continue to provide the care in spite of the patients' refusal to preserve their life. These specification may lead the opposite behavior, which emphasizes the importance of nurse's will and intentions to make their decision in the clinical situations.

  • PDF

대한민국환경조경대전을 통해 본 조경 설계 교육의 쟁점과 시사점 (The Implication and Issues of Landscape Design Education through National Exhibition of Korean Landscape Architecture)

  • 최정민;윤수진
    • 한국조경학회지
    • /
    • 제44권2호
    • /
    • pp.108-121
    • /
    • 2016
  • 본 연구는 '대한민국환경조경대전'에 나타난 동시대 조경의 쟁점을 통해 설계 교육을 위한 시사점을 발견하고자 하는 것이 목적이다. 이를 위해 2004년부터 2014년까지 '대한민국환경조경대전'의 주제와 수상작들의 대상지와 심사평을 분석하였다. 연구 결과는 다음과 같다. 첫째, 대한민국환경조경대전 주제는 공모 지침일 뿐만 아니라 조경의 새로운 영역이나 역할 모색과 관련되어 있다. 둘째, 가장 많이 다루어진 대상지 유형은 '산업유산과 재생공간', '녹색기반시설'이지만, 최근에는 다양한 유형의 대상지가 다루어지고 있다. 셋째, 대상지는 수도권에 집중되어 있고, 수도권 소재 대학에 비해 비수도권 소재 대학들의 참여와 성과가 매우 저조했다. 넷째, 심사평에 내포된 평가 기준을 븐석하여 '개념(아이디어)의 참신성', '설계과정의 논리성', '대상지의 선정과 분석(해석)의 충실성', '설계매체의 표현과 마스터플랜의 완성도', '주제와의 정합성', '개념(아이디어)과 결과물의 연계성', '실현가능성'이라는 일곱 가지를 평가 기준으로 도출할 수 있었다. 평가 기준은 디자인 언어의 정교함을 높이고 설계 교육 방법 모색에 유용한 시사점을 제공한다. 그 시사점은 다음과 같다. 첫째, 참신한 아이디어를 도출하는 훈련이 필수적이지만, 개념 편향적 교육은 경계할 필요가 있다. 둘째, 대상지와 관련된 문제를 정의할 수 있는 능력을 배양할 수 있는 훈련이 요구된다. 셋째, 설계 논리를 보다 중시하고, 개념이 결과물로 이어지게 하려는 진정성 있는 노력이 필요하다. 넷째, 설계 내용과 관련성 없는 '현혹적 이미지' 사용은 자제할 필요가 있다. 다섯째, 주제를 풀어나가는 과정에 대한 연습이 설계 교육의 주요 과정으로 다루어질 필요가 있다. 여섯째, '실현 가능성'과 '창의적 사고'는 서로에게 도움이 되는 호혜적 관계로 인식할 필요가 있다. 일곱째, 우리의 문제를 스스로 이야기할 수 있는 설계 언어에 대한 고민과 정체성 모색이 필요하다. 본 연구는 대한민국환경조경대전 심사평을 직접 인용하여 연구자의 주관성을 최소화하면서 동시대 조경의 쟁점을 보다 직접적이고 생생하게 추적하고자 하였다. 이는 메타크리티시즘(meta criticism)으로서 또 다른 비평을 기다리는 기록이 된다. 이런 측면에서 본 연구는, 후세의 조경가들이 현재의 조경 이론이나 설계 사고를 고찰할 수 있는 통로이자 사료가 된다는 의미가 있다.