• Title/Summary/Keyword: Fixed way point

검색결과 90건 처리시간 0.03초

혼합 도달성 분석을 이용한 상태 불변식의 단순화 (Simplification of State Invariant with Mixed Reachability Analysis)

  • 권기현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권3_4호
    • /
    • pp.212-218
    • /
    • 2003
  • 상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

전신 질환을 동반한 환아에서 나타난 제1대구치 이소맹출의 처치 (TREATMENT OF ECTOPICALLY ERUPTING FIRST PERMANENT MOLAR IN CHRONIC MYELOGENOUS LEUKEMIA)

  • 김현정;김민정;노홍석;김신;정태성
    • 대한장애인치과학회지
    • /
    • 제7권1호
    • /
    • pp.33-37
    • /
    • 2011
  • 제1대구치의 이소맹출은 국소적 원인과 유전적 원인의 조합에 의한 다양한 요소에 의해서 유발된다. 주기적인 검진과 방사선학적 검사를 통해 비가역적 이소맹출로 판단 될 경우, 제2유구치 조기 상실에 의해 제1대구치의 근심경사나 회전 및 복잡한 교정적인 문제를 일으킬 수 있으므로 적절한 개입이 필요하다. 본 증례는 항암치료의 기왕력이 있는 만성 골수성 백혈병 환아에서 나타난 제1대구치의 이소맹출을 Halterman appliance를 이용하여 정상적인 맹출로 유도할 수 있었다.

GeoGebra를 활용한 교수.학습이 과학고등학교 수학영재들의 인지적 측면에 미치는 영향 (Development of teaching and learning materials by using GeoGebra and it's application effects for high school mathematically gifted students)

  • 김무진;이종학;김원경
    • 한국학교수학회논문집
    • /
    • 제17권3호
    • /
    • pp.359-384
    • /
    • 2014
  • 본 연구는 고등학교 수학영재를 대상으로 한 GeoGebra 기반 수학영재 교수 학습 자료를 개발하여 수업에 적용해보고, 이 과정에서 나타나는 수학영재들의 인지적 특성을 알아보는데 있다. 실험 수업에 적용하기 위해 개발한 GeoGebra를 활용한 수학영재 교수 학습 자료는 기본도형의 작도, 슬라이더 도구를 이용한 애니메이션 만들기(함수의 그래프, 도형의 자취, 정적분, 고정점의 탐구, 매개변수 곡선 그리기 등), 이차곡선 탐구 등이며, 14차시 분량의 주제 탐구형으로 구성되었다. 그리고 개발한 자료를 적용하여 B과학고등학교 수학 동아리반 학생 14명을 연구 대상으로 약 4주간 동안 GeoGebra를 활용한 수업을 진행한 결과, 수업에서 수학영재들은 다양한 창의적 사고, 직관과 통찰, 논리적 사고, 수학적 추론 능력, 사고의 유연성 등의 인지적 특성을 나타냈다.

  • PDF

패널 데이터모형을 적용한 국내일반은행 연체율 결정요인 추정에 관한 연구 (Estimating the Determinants for Rate of Arrearage in Domestic Bank: A Panel Data Model Approach)

  • 김희철;박형근
    • 한국산학기술학회논문지
    • /
    • 제11권1호
    • /
    • pp.272-277
    • /
    • 2010
  • 국내일반은행 연체율은 그룹(대출형태)별로 다양한 원인에 의해서 연체율 결정이 이루어지고 있어 복잡성을 띠고 있다. 본 연구에서는 복잡성을 띠고 있는 연체율의 제 변인들을 파악하기 위해 패널 데이터 모형을 이용한 연구모형을 설정하고 이를 통해 연체율에 결정적으로 영향을 미치는 제 변인에 대하여 조사, 분석, 검증한다. 본 연구는 3 그룹(기업대출, 가계대출, 신용카드 대출)을 분석대상으로 하였다. 분석기간은 2005년 1월부터 2009년 6월 까지 자료를 이용하였고. 국내은행 연체율을 종속변수로 설정하고 소비자물가지수, 종합주가지수, 환율, 동행(경기)종합지수, 국민주택채권, 고용률을 독립 변수로 투입하였다. 국내일반은행 연체율 요인을 추정한 결과 소비자물가 지수는 정(+)의 영향을 미치는 유의한 변수로 나타나고 동행(경기)종합지수와 종합주가지수는 음(-)의 영향을 나타내는 유의적인 변수이지만 환율, 국민주택채권 그리고 고용률은 각각 음(-)의 영향을 나타내는 비유의적인 변수로서 연체율에 큰 영향을 주지는 않은 것으로 나타났다.

Process Fault Probability Generation via ARIMA Time Series Modeling of Etch Tool Data

  • Arshad, Muhammad Zeeshan;Nawaz, Javeria;Park, Jin-Su;Shin, Sung-Won;Hong, Sang-Jeen
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 2012년도 제42회 동계 정기 학술대회 초록집
    • /
    • pp.241-241
    • /
    • 2012
  • Semiconductor industry has been taking the advantage of improvements in process technology in order to maintain reduced device geometries and stringent performance specifications. This results in semiconductor manufacturing processes became hundreds in sequence, it is continuously expected to be increased. This may in turn reduce the yield. With a large amount of investment at stake, this motivates tighter process control and fault diagnosis. The continuous improvement in semiconductor industry demands advancements in process control and monitoring to the same degree. Any fault in the process must be detected and classified with a high degree of precision, and it is desired to be diagnosed if possible. The detected abnormality in the system is then classified to locate the source of the variation. The performance of a fault detection system is directly reflected in the yield. Therefore a highly capable fault detection system is always desirable. In this research, time series modeling of the data from an etch equipment has been investigated for the ultimate purpose of fault diagnosis. The tool data consisted of number of different parameters each being recorded at fixed time points. As the data had been collected for a number of runs, it was not synchronized due to variable delays and offsets in data acquisition system and networks. The data was then synchronized using a variant of Dynamic Time Warping (DTW) algorithm. The AutoRegressive Integrated Moving Average (ARIMA) model was then applied on the synchronized data. The ARIMA model combines both the Autoregressive model and the Moving Average model to relate the present value of the time series to its past values. As the new values of parameters are received from the equipment, the model uses them and the previous ones to provide predictions of one step ahead for each parameter. The statistical comparison of these predictions with the actual values, gives us the each parameter's probability of fault, at each time point and (once a run gets finished) for each run. This work will be extended by applying a suitable probability generating function and combining the probabilities of different parameters using Dempster-Shafer Theory (DST). DST provides a way to combine evidence that is available from different sources and gives a joint degree of belief in a hypothesis. This will give us a combined belief of fault in the process with a high precision.

  • PDF

몸의 인식론과 기독교교육에 관한 연구 (A Study on Epistemology of the Body and Christian Education)

  • 양금희
    • 기독교교육논총
    • /
    • 제62권
    • /
    • pp.43-74
    • /
    • 2020
  • 이 논문은 몸의 인식론을 고찰하고, 그것을 바탕으로 하는 기독교교육의 방향을 고찰한 논문이다. 본고는 메를로 퐁티, 다마지오, 넬슨의 몸의 인식론을 살펴보았는바, 이들은 철학과 뇌과학과 몸의 신학에서 각각 상이하게 연구하였지만, 모두 몸은 감각적이고 직접적 방법으로 세계를 인식하는 주체이며, 인간과 세계를 매개하는 통로가 되고, 인간의 자아형성에 결정적 역할을 한다고 보는 것에서 공통점을 가진다는 것을 발견하였다. 특별히 몸의 신학은 몸이 세상을 이해하는 통로가 되는 것과 마찬가지로 하나님을 이해하는 통로가 되며, 무엇보다 몸을 '하나님의 육화(embodiment of God)'의 자리로 봄으로써, 결국은 육화된 우리의 몸이 참여하는 세상 또한 '하나님의 육화'의 자리가 되어야 함을 밝혔다. 본고는 또한 그러한 몸의 인식론을 바탕으로 하는 기독교교육을 '감각으로부터 시작하는 교육', '참여로서의 교육', 그리고 '성육신적 교육'을 중심으로 살펴보았다. 이 세 개념으로부터 본고는 몸의 인식이 전통적 지식중심교육이나 학교식(schooling) 교육의 대안적 관점을 제시하는바, 교리중심, 객관적 지식의 매개, 언어중심, 교육내용중심의 고정되고 패쇄적 패러다임을 넘어서서, 감각과 경험, 인격적 참여, 비언어적 경험, 교육의장 중심의 개방적 패러다임을 제시한다는 것을 발견하였다. 더 나아가 몸은 교육에 관한 새로운 메타포를 발견할 수 있는 자리로서 추후적으로도 기독교교육을 재개념화하는 기초적 은유를 퍼 올릴 수 있는 우물과 같은 개념임을 발견하였다.

페널 데이터모형을 적용한 한국의 해외 직접투자 결정요인 추정에 관한 연구 (Estimating the Determinants of foreign direct investment of korea : A Panel Data Model Approach)

  • 김희철;신현대
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권4호
    • /
    • pp.231-240
    • /
    • 2008
  • 해외 직접투자는 그룹(지역)별, 시간별로 다양한 원인에 의해서 투자결정이 이루어지고 있어 복잡성을 띠고 있다. 본 연구에서는 복잡성을 띠고 있는 해외 직접투자의 제 변인들을 파악하기 위해 패널 데이터를 이용한 연구 모형을 설정하고 이를 통해 해외 직접투자에 결정적으로 영향을 미치는 제 변인에 대하여 조사, 분석, 검증한다. 본 연구는 7그룹(아시아, 북미, 유럽, 중남미, 대양주, 아프리카, 중동)을 분석대상으로 하였다. 분석기간은 2002년 6월부터 2007년 12월 까지의 자료를 이용하였고, 해외직접투자액을 종속변수로 설정하고 국내총생산, 경상수지, 환율, 고용율, 평균가동률(제조업), 소비자물가지수, 수출액, 임금(사업 서비스업)을 설명(독립)변수로 투입하였다. 본 연구에서는 실증분석을 위하여 LIMDEP 8.0 소프트웨어를 이용하고 결정요인 추정에 있어서 TWECRT모형의 임의모형 중심으로 분석하였다. 한국의 해외 직접투자 결정요인을 추정한 결과 고용율과 임금(사업서비스업)의 계수 값이 각각 유의적인 정(+)의 영향을 미치는 것으로 나타나고 환율, 소비자물가지수 및 수출액 부(-)의 영향을 미치는 것으로 나타났다. 제조업 평균 가동률은 정 (+), 국내총생산 및 경상수지는 부(-)의 영향을 미치지만 해외직접투자에 큰 영향을 주지는 않은 것으로 나타났다.

  • PDF

부부갈등 설화 속 전생(前生) 화소의 역할과 문학치료적 의미 - <전생의 인연으로 부부가 된 중과 이[蝨]와 돼지>를 중심으로 - (Role of Therapeutic Literature Regarding Motifs "Past Life" in a Tale of Marital Discord -Focusing on )

  • 박재인
    • 고전문학과교육
    • /
    • 제37호
    • /
    • pp.185-215
    • /
    • 2018
  • 이 글은 설화 <전생의 인연으로 부부가 된 중과 이[蝨]와 돼지>를 중심으로 전생론에 대한 새로운 해석을 시도하였다. 설화 전승주체들의 발언이나 독특한 방식으로 설화를 기억하는 사례를 통해, 부부갈등 설화 속 전생화소는 '막강한 운명에 대한 체념'을 강화하는 역기능을 발휘할 수 있다는 점을 확인하였다. 본고는 이 점에 문제를 제기하고, 이 설화 속 주인공이 품은 "왜?"라는 질문을 시작으로 이어지는 진중한 사유의 과정이야말로 좌절 속에서 극복의 가능성을 찾아내는 구비설화의 본질적 가치라고 주장한 것이다. 그리고 또 한 편의 각편 사례를 들어, '전생 발견하기' 화소가 이 설화에서 '존재와 삶을 스스로 선택할 수 있는 계기'로 의미하고 있음을 논하였다. 설화와 전생 화소에 이러한 해석은 운명에 대한 수동적 태도나 비극적 운명을 신념화하는 비관과는 달리 삶에 대한 긍정과 주체성인데, 이는 고정된 자아를 고집하지 않는 불가의 무아윤회론으로 풀이될 수 있었다. 이에 본고는 설화 속 주인공의 변화를 '전생 발견하기' 과정을 '"왜?"라는 질문을 던지고, 나와 아내의 존재를 사유하기 시작함 ${\rightarrow}$ 현존재적 '나'의 기억(혹은 인지)이 지닌 한계를 인정함 ${\rightarrow}$ 나와 아내의 존재를 재규정하고, 새로운 실존으로 거듭남'의 사유 과정으로 분석하였다. 설화의 서사 맥락에 따라 이러한 사유의 과정을 경험하는 것이 전생 화소를 포함한 부부갈등 설화의 효용성을 확인하는 문학치료 활동이 될 것이다.

Structural Changes of Zona Pellucida Surface of Immature, In vivo and In vitro Matured Canine Oocytes Using Scanning Electron Microscopy

  • Choi, Byung-Hyun;Mesalam, Ayman;Song, Seok-Hwan;Joo, Myeong-don;Hwang, Ji-Yoon;Oh, Seon-Hwa;Lee, Kyeong-Lim;Kong, Il-Keun
    • 한국수정란이식학회지
    • /
    • 제33권4호
    • /
    • pp.281-286
    • /
    • 2018
  • Zona pellucida (ZP), a primarily representative coat of mammalian egg and embryo, has an extremely heterogeneous morphology during different developmental stages. The objective of the present study was to compare the morphological changes of the ZP surface of immature, in vitro and in vivo matured canine oocytes by using scanning electron microscopy (SEM). Canine ovaries were collected from local veterinary hospitals to recover immature oocytes. The ovaries were sliced and the released cumulus oocyte complexes (COCs) were washed with TL-HEPES. The selected COCs were randomly divided into two groups, first group was processed immediately at immature state and the second group was processed 72 h after in vitro maturation, and compared with in vivo derived oocytes. Oocytes were fixed, critical point dried and examined under SEM. The diameters of oocyte and outer holes of the ZP were measured on a total of 249 oocytes; the results were analyzed using One-way ANOVA. Our results showed that, the diameter of immature oocytes significantly differed (p < 0.05) from that of in vivo matured oocytes ($79.60{\pm}0.77{\mu}m$ vs. $101.46{\pm}1.07{\mu}m$, respectively). Similarly, a significant difference (p < 0.05) in the diameters between those of in vitro and in vivo matured oocytes were found ($79.51{\pm}2.36{\mu}m$ vs. $101.46{\pm}1.07{\mu}m$, respectively). Moreover, the diameters of the outer holes of the ZP were significantly (p < 0.05) larger in in vivo matured ($1.48{\pm}0.42{\mu}m$) than in vitro matured for 72 and immature oocytes ($1.10{\pm}0.16$ and $0.43{\pm}0.12{\mu}m$, respectively). Taken together, these data indicates that the ZP surface is related to oocyte maturity in canine.

디자인의 형태와 기능에 관한 연구 (Essay on Form and Function Design)

  • 이재국
    • 디자인학연구
    • /
    • 제2권1호
    • /
    • pp.63-97
    • /
    • 1989
  • There is nothing more important than the form and function in design, because every design product can be done on the basis of them. Form and Function are already existed before the word of design has been appeared and all the natural and man-made things' basic organization is based on their organic relations. The organic relations is the source of vitality which identifies the subsistance of all the objects and the evolution of living creatures has been changed their appearances by the natural law and order. Design is no exception. Design is a man-made organic thing which is developed its own way according to the purposed aim and given situations. If so, what is the ultimate goal of design. It is without saying that the goal is to make every effort to contribute to the -human beings most desirable life by the designer who is devoting himself to their convenience and well-being. Therefore, the designer can be called the man of rich life practitioner. This word implies a lot of meanings since the essence of design is improving the guality of life by the man-made things which are created by the designer. Also, the things are existed through the relations between form and function, and the things can keep their value when they are answered to the right purpose. In design, thus, it is to be a main concern how to create valuable things and to use them in the right way, and the subject of study is focused on the designer's outlook of value and uk relations between form and function. Christopher Alexander mentioned the importance of form as follows. The ultimate object of design is form. Every design problem begins with an effort to achieve fittness between the form and its context. The form is the solution to the problem: the context defmes the problem. In other words, when we speak of design, the real object of discussion is not form alone, but the ensemble comprising the form and its context. Good fit is a desirable property of this ensemble which relates to some particular division of the ensemble into form and context. Max Bill mainatined how important form is in design. Form represents a self-contained concept, and its embodiment in an object results in that object becoming a work of art. Futhermore, this explains why we use form so freguently in a comparative sense for determining whether one thing is less or more beautiful than another, and why the ideal of absolute beauty is always the standard by which we appraise form, and through form, art itself. Hence form has became synonymous with beauty. On the other hand, Laszlo Moholy-Nagy stated the importance of function as follows. Function means the task an object is designed to fulfill the task instrument is shaping the form. Unfortunately, this principle was not appreciated at the same time but through the endeavors of Frank Lloyd Wright and of the Bauhaus group and its many collegues in Europe, the idea of functionalism became the keynote of the twenites. Functionalism soon became a cheap slogan, however, and its original meaning blurred. It is neccessary to reexamine it in the light of present circumstances. Charles William Eliot expressed his idea on the relations between function and beauty. Beauty often results chiefly from fittness: indeed it is easy to manitain that nothing is fair except what is fit its uses or functions. If the function of the product of a machine be useful and valuable, an the machine be eminently fit for its function, it conspicuously has the beauty of fittness. A locomotive or a steamship has the same sort of beauty, derived from the supreme fittness for its function. As functions vary, so will those beauty..vary. However, it is impossible to study form and function in separate beings. Function can't be existed without form, and without function, form is nothing. In other words, form is a function's container, and function is content in form. It can be said that, therefore, the form and function are indispensable and commensal individuals which have coetemal relations. From the different point of view, sometimes, one is more emphasized than the other, but in this case, the logic is only accepted on the assumption of recognizing the importance of the other's entity. The fact can be proved what Frank Hoyd wright said that form and function are one. In spite of that, the form and function should be considered as independent indivisuals, because they are too important to be treated just as the simple single one. Form and function have flexible properties to the context. In other words, the context plays a role as the barometer to define the form and function, also which implies every meaning of surroun'||'&'||'not;dings. Thus, design is formed under the influence of situations. Situations are dynamic, like the design process itself, in which fixed focus can be cripping. Moreover, situations control over making the good design. Judging from the respect, I defined the good design in my thesis An Analytic Research on Desigh Ethic, "good design is to solve the problem by the most proper way in the situations." Situations are changeable, and so is design. There is no progress without change, but change is not neccessarily progress. It is highly desirable that there changes be beneficial to mankind. Our main problem is to be able to discriminate between that which should be discarded and that which should be kept, built upon, and improved. Form and Function are no exception. The practical function gives birth to the inevitable form and the $$\mu$ti-classified function is delivered to the varieties of form. All of these are depended upon changeable situations. That is precisely the situations of "situation de'||'&'||'not;sign", the concept of moving from the design of things to the design of the circumstances in which things are used. From this point of view, the core of form and function is depended upon how the designer can manage it efficiently in given situations. That is to say that the creativity designer plays an important role to fulfill the purpose. Generally speaking, creativity is the organization of a concept in response to a human need-a solution that is both satisfying and innovative. In order to meet human needs, creative design activities require a special intuitive insight which is set into motion by purposeful imagination. Therefore, creativity is the most essential quality of every designer. In addition, designers share with other creative people a compulsive ingenuity and a passion for imaginative solutions which will meet their criteria for excellence. Ultimately, it is said that the form and function is the matter which belongs to the desire of creative designers who constantly try to bring new thing into being to create new things. In accordance with that the main puppose of this thesis is to catch every meaning of the form and function and to close analyze their relations for the promotion of understanding and devising practical application to gradual progression in design. The thesis is composed of four parts: Introduction, Form, Function and Conclusion. Introduction, the purpose and background of the research are presented. In Chapter I, orgin of form, perception of form, and classification of form are studied. In Chapter II, generation of function, development of function, and diversification of function are considered. Conclusion, some concluding words are mentioned.ioned.

  • PDF