• 대한토목학회논문집
• /
• 제13권3호
• /
• pp.25-34
• /
• 1993

지하구조물은 일반적으로 영역의 무한성, 다양한 하중, 복합적인 구성재료 등으로 인하여 그 거동의 해석이 난이하다. 특히, 장기거동이 중요시되는 연약지반의 굴착문제 등에 있어서는 시간에 의존하는 점탄소성거동을 해석에 고려하여야만 한다. 본 연구에서는 점탄소성거동을 해석하는 방법으로서, 내부요소를 사용하지 않은 경계요소 해석방법을 유도하고, 정계요소와 유한요소를 조합하여 해석하는 방법을 도출하였다. 점탄소성을 고려한 지배적분방정식에서 점소성응력에 대한 영역적분은 극좌표를 이용한 직접적분방법을 적용하여 경계적분화하였고, 이에 따른 계방정식을 이용하여 프로그램화하였다. 또한 경제요소 프로그램을 점소성 유한요소 프로그램과 조합하여 굴착면 주위에 발생하는 시간의존 비탄성거동을 합리적으로 해석하도록 하였다. 경계요소해석 및 조합해석 결과는 정해 및 유한요소해석의 결과와 비교하여 검토하였다. 비교결과 내부요소를 사용하지 않은 경계요소법으로는 국부적인 응력집중으로 인한 비선형성이 충분히 고려되지 못함을 알 수 있었다. 반면에 유한요소-경계요소 조합방법으로는 상대적으로 많은 자유도를 가진 타 방법에 비교하여 합리적인 결과를 얻음을 알 수 있었다. 따라서 시간에 의존되는 비탄성체의 해석에 있어서 조합방법을 사용하면 하중조건과 경계조건에 따르는 구조물의 거동을 합리적으로 예측할 수 있으며, 유한요소와 경계요소의 장점을 살려 보다 효용적인 해석의 수행이 가능할 것으로 판단된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.323-339
• /
• 2010

임베디드 시스템은 오늘날 우리 일상에서 널리 사용되고 있고 그 중요성은 더욱 증대되고 있다. 이에 비례하여 임베디드 시스템의 복잡도와 이를 개발하려는 노력 또한 더욱 더 증가하고 있다. 하드웨어와 소프트웨어로 구성되어 있는 임베디드 시스템의 이질적인 특성은 시스템 개발 및 통합 시에 에러를 야기하는 주원인이 된다. 그 중에서도, 하드웨어와 소프트웨어 간의 인터페이스에서 발생하는 에러가 시스템 에러의 13%를 차지하고 있으며 이 비율은 더욱 증가하는 추세이다. 우리는 하드웨어와 소프트웨어 동시설계를 위한 실제적인 인터페이스 동시 검증 기법을 제안하고 이를 지원하는 도구를 구현하였다. 먼저, 이 논문은 하드웨어와 소프트웨어간의 상호작용을 기술할 수 있는 인터페이스 명세를 정의한다. 이 명세 방법은 하드웨어와 소프트웨어 서로간의 특성을 잘 표현할 수 있고, 소프트웨어 명세로부터 하드웨어 명세로의 변환이 가능하여 전체 시스템이 소프트웨어의 입장에서 기술될 수 있도록 한다. 둘째, 작성된 하드웨어 설계와 소프트웨어 설계에 대해 명시된 인터페이스의 의미대로 동작하는지를 검증하는 기법을 제시한다. 주어진 명세로부터 소프트웨어의 동작을 가정하고 이를 하드웨어 설계로 모델링하여 하드웨어 인터페이스에 대한 모델검증을 수행하고, 그 후 소프트웨어의 동작에 대해 검증을 수행하는 가정-보증 추론(assume-guarantee reasoning) 방식의 검증을 수행한다. 마지막으로 기존의 검증 연구들이 저수준의 인터페이스를 추상화하여 현실적 적용이 힘들었던 반면 우리는 디바이스 API, 디바이스 드라이버, 디바이스 컨트롤러 등의 저수준의 인터페이스 코드들을 자동으로 생성하여 검증된 하드웨어와 소프트웨어 코드가 바로 통합되어 시스템을 구축할 수 있는 실제적인 해결책을 제시한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제22권4호
• /
• pp.619-636
• /
• 2012

본 연구의 목적은 학년에 따라 수학영재학급 학생들이 패턴 일반화 과정에서 사용하는 전략의 차이와 일반화 표현 방법을 알아보는 것이다. 연구를 위해 단위학교 영재학급 4~6학년 30명을 대상으로 도형과 관련한 4개의 과제에 대한 해결 전략을 살펴보았다. 연구결과, 일반화를 시작하는 단계의 문항에서 학생들은 패턴의 앞 뒤 수를 이용하여 문제를 해결하는 순환적인 관계인식 전략으로 문제를 해결하는 경우가 많았고 일반화를 형성하는 단계의 문항에서는 학년이 높아질수록 주어진 정보로 규칙이나 식을 만들어 해결하려는 상황적 인식 전략을 사용한다는 것을 알 수 있었다. 그러나 난이수준이 높은 문항일수록 학생들은 그리거나 뛰어 세기 등의 구체화를 통한 인식 전략이나 순환적인 관계 인식 전략을 선호하는 경향이 있었다. 일반화를 명확하게 하는 단계의 문항에서 학생들은 패턴을 언어로 기술하는 경향이 많았으며 높은 학년일수록 패턴을 대수적 표현(기호 또는 수식)으로 기술하려고 하였다. 정당화 단계의 문항에서 학년이 높을수록 일반화된 식으로 표현하는 비율이 높았다. 연구 결과를 통해 패턴을 찾는 과제에서 영재학급 학생들이 일반화를 하기 위한 전략의 차이를 알고 지도하는데 도움을 줄 수 있는 시사점을 제공하고자 한다.

• 한국비블리아학회지
• /
• 제33권1호
• /
• pp.47-70
• /
• 2022

본 연구의 목적은 기록물관리 전문요원의 조직관리적 요인, 관계적 요인, 개인적 요인이 지식공유의도와 어떠한 영향 관계를 갖는지 검증하는 것이다. 이를 위해 총 126건의 설문 데이터를 수집하여 분석하였고, 연구 결과는 다음과 같다. 첫째, 조직관리적 요인 중 관리자의 관심과 지원은 암묵지 공유의도에 정(+)적으로 유의한 영향을 미쳤으나, 평가보상제도는 암묵지 공유의도에 부(-)적으로 유의한 영향을 미치는 것으로 나타났다. 둘째, 개인적 요인 중 직무 스트레스는 암묵지 및 형식지 공유의도에 정(+)의 영향을 미치는 것으로 나타났다. 분석 결과 관리자의 노력으로 지식공유 활동에 자유롭게 참여할 수 있는 조직 문화를 조성하는 것이 선행되어야 하며, 전 직원 대상의 기록관리 교육을 통해 직무 스트레스의 원인 중 하나인 인식 개선과 박탈감을 계속해서 개선해나갈 필요가 있다는 결론을 도출하였다. 한편 본 연구에서는 기록학 분야에서 아직 연구된 바 없는 기록물관리 전문요원의 지식공유를 주제로 하여 실증적으로 검증하였다. 이를 통해 기록물관리 전문요원이 처한 업무적 문제에 대한 해소 방안으로서 현재의 인력 배치 구조를 활용하여 지식공유를 활성화할 수 있는 정책적 함의를 제공한다는 점에서 연구 의의가 있다.

• 대한한의학원전학회지
• /
• 제6권
• /
• pp.252-305
• /
• 1993

I have studied the relation between a Taoist(道家) and the oriental medicine(韓醫學), it is summerized as following. 1. According to the relation between a Taoist(道家) and the oriental medicine, Lao-tzu(老子)' mathematical principle that had an influence on Three yin-three yang(三陰三陽) theory of the oriental medicine, idea of natural philosopy(自然無爲) and the freedom from avarace(無慾) on the oriental medicine. 2. Vital essence and energy theory(精氣設) in a Taoist not only can be seen in Lao-tzu' Do dug gyung(老子道德經), Maengza(孟子), Guanza(管子), but also its principle has something to do with Nei Ching's Vital essence and energy theory(精氣設). 3. Danjungpa(丹鼎派) can be divided into Naedansul(內丹術) which preserves through the breath and Oedansul(外丹術) which makes one a Taoist hermit. If he takes magic portions(金丹), they had a great effect on Yangsanghak(養生學) and was actually concerned with oriental doctors who was known to us. 4. If medicine of Taoism is classified, it can be divided into three categories. Boiled solution(渴液), Pharmacopea "Ben cao"(本草), Acupuncture & moxibustion(針灸), Magic portions(外丹) are used in the first category. Chinese setting-up and Therapeutic exercises(導引), Josik(調息), Naedan(內丹), Byugok(辟榖), Naeshi(內視), Banjung(房中) belong to second category. The religious contents such as Bu(符), Jeum(占), Cheum(籤), Ju(呪), Je(齊), Gido(祈禱), taboo are implied in third category. 5. In the history of the medicine of Taoism and oriental medicine, they are called animism, shamanism, Mu(巫) or Ye(毉), not separated at first period. In the end of junguk(戰國時代), Ye(醫) was clearly distinguished from Mu(巫) and then Mu(巫) was developed into medicine of Taoism and ye(毉) into the present form of oriental medicine. 6. The oriental medicine doctors that are concerned with Taoism are Bakgo(伯高), Geyugu(鬼臾區), Soyu(少兪), Noigong(雷公), Pyujak(篇鵲), Sunuyi(淳于意), Hwata(華陀), Hwangbomil(皇甫謐), Hangang(韓康), Dongbong(童奉), Heuson(許遜), Galhong(葛洪), Dohongyung(陶弘景), Damlan(曇鸞), uyjajang(葦慈藏), Sonsanak(孫思邈), Wanguing(王氷), Jegonghwalbul(濟公活佛), Yuwanso(劉完素), Judonge(朱丹溪), Leesijin(李時珍), Johakmin(趙學敏), Ougu1(吳杰) etc. 7. The view of a human body in the medicine of Taoism affected the oriental medicine on the ground that man was regarded as a microcosm(小宇宙), so he was compared to a nation or heaven and earth. 8. The anatomy of medicine of Taoism gave a detail description of five visceras and each organs, the heart, center of mental function, Mirie(尾閭) which has an relationship to the training of Naedan(內丹修練). In this resrect, as it is accord with the acupunture point of oriental medicine, therefore we can find that Taoism influenced oriental medicine, also explicit study was achieved. 9. Acient people believed that the goo in the human lxxIy, one of the characteristics of the medicine of Taoism cured the patients and then protected him from the disease. If a man was taken ill, they had him cured by making the god's name which corresponded to its disease, calling him communicating with him, and asking him to deprive him of illness. This treatment was used to live and be kept young eternally. In this respects, we can see that they emphasized on the attitude of Bulchiyibeung chimibeung(不治己病治末病) and psychological treatment. 10. Samsi thoery(三尸說) that one's fortune, disaster, health, and disease in the world are at the mercy of his good or bad conduct, is concerned with Taoism and treatment with the oriental medicine. 11. Guchung(九蟲) is more closly associated with the religious aspect rather than with the medical aspect. Because of the similarity of the mcdern parasitism, its study has an important meaning. 12. The respect for the human life is reflected in jeunsi(傳屍), with Samsi-guchung theory(三尸九蟲說), which is considered as mxIern tuberculosis.

• 한국과학교육학회지
• /
• 제38권2호
• /
• pp.259-271
• /
• 2018

본 연구는 예비 생물교사를 대상으로 사회정서학습에 기반한 SSI 논증 프로그램의 적용 효과를 살펴보았다. 사회정서학습에 기반한 SSI 논증 프로그램을 통해 예비교사들은 SSI에 대한 감정이나 느낌, 생각을 자유롭게 나누고, SSI 관련 과학 개념, 사실, 원리 등을 조사하도록 하여 문제를 확인할 기회를 가졌다. 이 과정에서 예비교사들이 자기의 감정을 확인하고 타인의 의견을 듣고 공감할 수 있도록 하여 자기인식과 사회인식의 기회를 경험할 수 있도록 하였다. 이를 바탕으로 각자 자신의 주장, 이유와 근거를 활용하여 논증 토론 과정에 참여하도록 하여 의사소통, 타협 및 갈등을 경험함으로써 자기관리 및 관계관리의 기회를 경험하였다. 마지막으로 논증 토론 과정 및 결과를 바탕으로 자신의 문제 해결 방안 및 주장에 대한 이유와 근거를 재정립하고, 최선의 해결방안을 선택하도록 하여 책임 있는 의사결정을 할 수 있도록 하였다. 예비교사들은 낙태, 안락사, 유전자 조작 및 인공지능의 4가지 SSI를 경험하였다. 각 주제 당 3차시, 총 12차시에 걸쳐 수업이 이루어졌으며, 3-5명이 조를 이루어 논증 토론 활동에 참여하였다. 논증 구조 분석 결과에 따르면, Level 2에서는 상대방의 주장에 대한 비판이나 반박의 요소는 결여되어 있고 주로 누적담화의 형태로 상대방의 의견이나 주장에 대한 정보 보충이 이루어졌다. Level 3에서는 반박이 나타나기는 하지만 반박의 요소가 자신의 주장에 대한 이유나 근거를 제시하는 형태로 내재해 있었다. 즉, Level 2와 Level 3에서는 상대방에 대한 공감과 이해의 사회정서적 요소가 주로 나타났다. Level 4에서는 상대방의 의견이나 주장에 대한 질문, 비유 등을 통해 직접적인 반박이 나타났으며, 타협점을 제시하는 모습을 나타내 갈등관리와 협상이 이루어졌음을 알 수 있었다. Level 5에서는 논쟁 담화의 형태로 명확한 반박으로 구성된 확장된 논증이 나타냈으며, 상호 간의 질문과 답변으로 이루어진 논증 토론의 형태로 서로 간에 영향을 주는 공동체를 형성하게 되었음을 의미한다. 본 연구는 SSI 논증 토론에 자기인식, 사회인식, 자기관리, 관계관리, 책임 있는 의사결정 요소가 내재할 수 있도록 하였으며, 예비교사들은 자신과 타인의 감정을 인식하고, 주장하기와 반박하기를 통해 갈등, 타협의 과정을 경험하면서 자신의 요구와 사회의 요구를 반영한 의사결정 과정에 점차 적극적으로 참여할 수 있었다.