• 한국지구과학회지
• /
• 제42권5호
• /
• pp.571-587
• /
• 2021

본 연구는 귀추가 적용된 야외 지질 답사에서 중학생들의 관찰을 통한 문제 인식과 단서 포착 과정을 조사했다. 이를 위해 진단 평가, 야외 지질 답사, 답사 정리 순서로 진행되는 8회에 걸친 프로그램을 개발하여 중학교 1학년 학생 6명에게 적용했다. 야외 지질 답사는 2회로 자료 제공, 관찰, 규칙 생성, 가설 생성, 최종 가설 발표 순서로 진행됐다. 연구 자료로 야외 지질 답사 수업 녹음 및 녹화 자료, 학생 활동지 등이 수집되어 질적으로 분석됐다. 분석 결과, 야외 지질 답사 수행에서 세 가지 관찰 양상이 나타났다. 첫째, 관찰한 후 단서로 활용한 경우, 둘째, 관찰한 후 단서로 활용하지 않은 경우, 셋째, 관찰하지 못해 단서로 활용하지 않은 경우 등이다. 각각은 단서의 지질학적 중요도, 주목도, 단서의 종류, 관찰 특징(주목도 요소), 단서 활용 내용, 단서 버림 이유 등으로 구분할 수 있다. 이러한 결과를 종합해 각 양상에 해당하는 교육적 적용 방안을 모색하여 제시했다.

• 한국차세대컴퓨팅학회논문지
• /
• 제14권6호
• /
• pp.15-29
• /
• 2018

본 논문에서는 기존 파티클 스웜 최적화를 기반으로 추적 대상 객체의 이동 궤적을 이용하는 객체 추적기에서 시간 정보 활용의 문제점을 개선한 강인한 객체 추적 알고리즘을 제안한다. 제안하는 알고리즘은 추적 대상 객체와 유사한 특징을 가지는 변위들의 집합에 대한 위치들의 온라인 업데이트와 추적을 가능하게 한다. 객체들의 중첩을 검출하고 추적 대상의 위치를 결정하기 위해 궤적 정보와 변위들의 집합을 기반으로 적응적 파라미터를 사용하는 규칙기반 접근을 사용한다. 기존 알고리즘들과 비교해보면 제안하는 접근법은 가용한 정보를 복합적으로 사용함으로써 각종 임계값에 대한 적응적 조정을 가능하게 한다. 또한, 파티클 스웜 최적화에서 발산에 의한 손실과 불완전한 수렴의 문제를 해결하기 위해 효율적인 가중치 조절 함수를 제안하고 있다. 제안하는 가중치 조절 함수는 파티클들이 최적의 해에 수렴하기 이전에 전체 프레임 영역에서 탐색할 수 있도록 한다. 유사한 특징 조합을 가지는 다중 객체가 존재하는 환경에서 제안 알고리즘을 테스트한 결과, 기존 스웜 최적화 기반의 객체 추적기들에 비해 기존 유사 변위들에 대한 잘못된 추적을 현저히 줄이는 것을 확인할 수 있었다.

• 국제학술발표논문집
• /
• The 7th International Conference on Construction Engineering and Project Management Summit Forum on Sustainable Construction and Management
• /
• pp.281-290
• /
• 2017

As various stakeholders are involved in construction projects, disputes between the parties are more likely to occur, which is a very important issue for the participants in the projects. Claims in construction projects, however, are very complex and thus difficult to manage. In particular, as the cause of a claim in the preceding stage that has not been resolved in a timely manner has an effect on the cause of a claim in the following stage, it is difficult to find a point of compromise regarding a claim caused by the relationship between the causes that occur in the preceding and following stages. In this regard, this study sought to examine the rules for the generation of change order claims, which occur most frequently among the construction claims, and thus to select the key management targets through the analysis of the relationship between the causes of claims arising in the preceding and following stages for the efficient management of claims. It is expected that the use of rules for the generation of change order claims as well as of representative and similar cases will help the construction practitioners in judging claims, considering the relationships among the causes of the claims. Meanwhile, in this study, association analysis was conducted regarding the causes of the occurrence of change order claims in a design-build delivery method, and therefore, it is necessary to verify the effectiveness of the method when applied to other delivery methods.

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.942-950
• /
• 1998

가공되지 않은 데이터에서 직접 규칙 형태의 지식을 추출하는 문제는 자료의 홍수 속에서 정보의 부족을 느끼는 모순을 해결하기 위한 데이터 마이닝 분야에서 매우 중요하다. 논리 최적화 도구는 주어진 ON 집합과 DC 집합을 이용하여 최적화된 형태의 지식을 추출하는 도구인데, 본 논문에서는 논리 최적화 기법 중 병렬 확장 기법을 이용하여 초기 지식을 생성한 후 정렬, 축소, 규칙 확장 등의 방법을 이용하여 실 세계 데이터에 적용할 수 있는 규칙이 생성될 수 있음을 보였다. 이와 같은 새로운 접근 방법이 종래의 C4.5 등의 결정 트리 기법에 손색없는 규칙을 생성할 수 있음을 실험을 통해 입증하였다.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• Genomics & Informatics
• /
• 제18권2호
• /
• pp.23.1-23.6
• /
• 2020

The Human Phenotype Ontology (HPO) is the de facto standard ontology to describe human phenotypes in detail, and it is actively used, particularly in the field of rare disease diagnoses. For clinicians who are not fluent in English, the HPO has been translated into many languages, and there have been four initiatives to develop Japanese translations. At the Biomedical Linked Annotation Hackathon 6 (BLAH6), a rule-based approach was attempted to determine the preferable Japanese translation for each HPO term among the candidates developed by the four approaches. The relationship between the HPO and Mammalian Phenotype translations was also investigated, with the eventual goal of harmonizing the two translations to facilitate phenotype-based comparisons of species in Japanese through cross-species phenotype matching. In order to deal with the increase in the number of HPO terms and the need for manual curation, it would be useful to have a dictionary containing word-by-word correspondences and fixed translation phrases for English word order. These considerations seem applicable to HPO localization into other languages.

• 대한기계학회논문집
• /
• 제15권1호
• /
• pp.169-178
• /
• 1991

본 연구에서는 평면 변형률 강소성 유한요소법을 이용하여 유한요소 수식화를 유도하고 금형이 해석저인 함수로 묘사되는 드로잉 공정을 해석하고, 금형이 해석적인 함수로 묘사되지 않는 실제적인 자동차 성형품의 드로잉 공정을 해석하여 기존의 결과 와 비교하여 본 방법의 타당성을 검토하였다.

• 복식문화연구
• /
• 제8권2호
• /
• pp.261-271
• /
• 2000

In order to investigate the function and feature of western men's underclothes in the second half of the 19C, in this study, the historical changes of western men's underclothes are compared the first half of the 19C with the second half of the 19C. In the second half of the 19C, the useful function to ease for body was important. In the 1860's, for day-shirt, the tucked panels was disappeared and the front was pain. But the evening dress-shirt continued to show an expansive front tucked. Coloured shirts was used for country and sporting occasions. Ready-made underwear was used. In the 1870's, the plain breast was introduced and the Gladstone collar was used. Paper collars and dickeys were unfashionable. The drawers was composed a gusset at the back of the waistband. The dress of one generation was became the livery of the next. In the 1880's, a new feature was one stud and the use of pique for the breast. Coloured shirt was composed of stripes across the breast. In the 1890's, height of the collar steadily increased. The coat-shirt and regatta shirt became popular. The nice choice of shirt, collar and tie was a matter of supreme importance .The social status of the white shirt was further threatened by fancy coloured shirts. The mode of relaxation affected sports shirts. By the close of this period, both sexes accepted the hygienic rule of wool next the skin.

• Journal of Advanced Marine Engineering and Technology
• /
• 제36권5호
• /
• pp.662-673
• /
• 2012

This study introduces a condition diagnosis technique for a turbine governor system. The governor system is an important control system to handle turbine speed in a nuclear power plant. The turbine governor system includes turbine valves and stop valves which have their own functions in the system. Because a turbine governor system is operated by high oil pressure, it is very difficult to maintain under stable operating conditions. Turbine valves supply oil pressure to the governor system for proper operation. Using the pressure variation of turbine and governor valves, operating conditions of the turbine governor control system are detected and identified. To achieve automatic detection of valve status, time-based and frequency-based analysis is employed. In this study, a new approach, wavelet decomposition, was used to extract specific features from the pressure signals of the governor and stop valves. The extracted features, which represent the operating conditions of the turbine governor system, include important information to control and diagnose the valves. After extracting the specific features, decision rules were used to classify the valve conditions. The rules were generated by a decision tree algorithm (a typical simple method for data-based rule generation). The results given by the wavelet-based analysis were compared to detection results using time- and frequency-based approaches. Compared with the several related studies, the wavelet transform-based analysis, the proposed in this study has the advantage of easier application without auxiliary features.

• 한국언어정보학회지:언어와정보
• /
• 제17권2호
• /
• pp.93-121
• /
• 2013

Identifying the speakers of individual utterances mentioned in textual stories is an important step towards developing applications that involve the use of unique characteristics of speakers in stories, such as robot storytelling and story-to-scene generation. Despite the usefulness, it is a challenging task because not only human entities but also animals and even inanimate objects can become speakers especially in fairytales so that the number of candidates is much more than that in other types of text. In addition, since the action of speaking is not always mentioned explicitly, it is necessary to infer the speaker from the implicitly mentioned speaking behaviors such as appearances or emotional expressions. In this paper, we investigate a method to exploit linguistic clues to identify the speakers of utterances from textual fairytale stories in Korean, especially in order to handle such challenging issues. Compared with the previous work, the present work takes into account additional linguistic features such as vocative roles and pairs of conversation participants, and proposes the use of discourse-level turn-taking behaviors between speakers to further reduce the number of possible candidate speakers. We describe a simple rule-based method to choose a speaker from candidates based on such linguistic features and turn-taking behaviors.