• Title/Summary/Keyword: 증명 수준

Search Result 345, Processing Time 0.03 seconds

A study of the need for education and first aid recognition level of Security major students (경호전공 대학생의 응급처치 인식 수준 및 교육 필요성에 관한연구)

  • Kang, Kyoung Soo;Choi, Pan Am
    • Journal of the Society of Disaster Information
    • /
    • v.9 no.2
    • /
    • pp.220-230
    • /
    • 2013
  • In this study, we investigated the recognition of the first aid of guard major college students are trained to deal well and flexibly to the situation of unforeseen circumstances, you are trying to present the teaching methods and effective importance of first aid. Analysis of data collected in this study is as follows: The results obtained using the statistical program SPSS18.0. First, education has not been done properly, there is no difference between the average score of people who did not receive the people who received the fact of first aid veritable we are specialized in, the second education systematic is needed, training of first aid has not been properly implemented, problems of education there were many. Third, because there is no difference in the level of knowledge by training institutions of first aid, the places where there is training of first aid, there is no effect on the knowledge level. Therefore, it can be the need training first aid practical to enhance the ability to proactively address the situation of contingencies.

Development and Application of a Program Using Sphinx Puzzle for the Mathematically Gifted Elementary Students (초등수학영재를 위한 스핑크스 퍼즐 프로그램 개발과 적용사례)

  • Hwang, Ji Nam
    • Journal of Gifted/Talented Education
    • /
    • v.27 no.1
    • /
    • pp.37-57
    • /
    • 2017
  • In terms of making more various geometrical figures than existing Tangram, Sphinx Puzzle has been used as a material for the gifted education. The main research subject of this paper is to verify how many convex polygons can be made by all pieces of a Sphinx Puzzle. There are several previous researches which dealt with this research subject, but they did not account for the clear reasons on the elementary level. In this thesis, I suggest using unit area and minimum area which can be proved on the elementary levels to account for this research subject. Also, I composed the program for the mathematically gifted elementary students, regarding the subject. I figured out whether they can make the mathematical justifications. I applied this program for three 6th grade students who are in the gifted class of the G district office of education. As a consequence, I found that it is possible for some mathematically gifted elementary students to justify that the number of convex polygons that can be made by a Sphinx Puzzle is at best 27 on elementary level.

An Efficient Execution of Non-Horn Logic Programs (비혼 논리 프로그램의 효율적 수행)

  • Shin, Dong-Ha;Baek, Ynn-Cheol
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.9 no.4
    • /
    • pp.816-823
    • /
    • 2005
  • Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

Assessment of Interoperability Between Touchless and Legacy Rolled Fingerprints (비접촉식 지문의 날인 지문과의 호환성 평가 연구)

  • Choi, Hee-Seung;Kim, Jai-Hie
    • Journal of the Institute of Electronics Engineers of Korea SP
    • /
    • v.48 no.1
    • /
    • pp.149-156
    • /
    • 2011
  • The purpose of this paper is the brief introduction of touchless fingerprint recognition and the assessment of interoperability between touchless and legacy rolled fingerprints for the wide use of touchless fingerprint recognition system. In order to assess the interoperability, the contrast and resolution of the touchless images are optimized firstly. And we perform the matching by using conventional minutiae-based matcher. Experimental results are promising that our touchless fingerprints have enough matching performance with equal error rate 7.9%. We can expect that our paper will make a significant contribution to the wide use of touchless fingerprint recognition and the increment of interoperability in the system integration between touchless-based and touch-based fingerprint systems.

A Study on Certification Requirements for Small Unmanned Aerial System(sUAS) (소형 무인항공기 운용을 위한 관련법 현황 및 인증방안 연구)

  • Ahn, Hyojung;Park, Jonghyuk
    • Transactions of the KSME C: Technology and Education
    • /
    • v.3 no.1
    • /
    • pp.71-78
    • /
    • 2015
  • Although there are differences in the classification of category adopted by each country, small UAS is usually classified as the one less than 25 kg. UAS has been mainly used for military and public purposes, but in recent years, it has spread to the private sector for hobby, media, and so on. Especially, considering the nature of the operating region and applications, it is necessary to improve operating time, noise and vibration in small UAS to ensure the same level of safety with a manned aircraft. This is because the drone can pose health and safety hazard through collision with manned aircraft or crashing into the ground. In this paper, we investigated operational regulations in the United States and European countries. Based on the investigation, a domestic system development plan for small UAS operation is under development.

Exercising the Rights of Self-Defense and Using Force in Response to North Korean Provocations (북한의 군사도발에 대응한 군사력 사용과 자위권 행사)

  • Bai, Hyung-Soo
    • Strategy21
    • /
    • s.40
    • /
    • pp.216-234
    • /
    • 2016
  • 본 논문은 자위권 사용과 군사력 사용 간의 관계를 분석하고 이를 한반도 서해에서의 한국과 북한 간 해상긴장 상황에 적용시킨 이슈를 다룬다. 국가가 행사하는 자위권(self-defense: 自衛權)은 기본적으로 전쟁 방지를 위한 기본적 원칙이다. 그러나 이는 군사력 사용(Use of Forces: 軍事力 使用) 또는 무력행사(武力行事)이라는 측면에서 칼의 양날과 같은 결과를 낳는다. 즉 자위권 행사로 전쟁의 확산을 방지하는 반면에 자위권 행사로 상대방에 대한 적성(敵性)을 인정해 주는 경우이다. 반면 북한의 군사도발은 전방향적이며, 1953년 한반도 정전협정 위반이다. 1953년 정전협정 체결 이후 양국은 서해 북방한계선(NLL)에서의 군사적 충돌을 거쳤으며, 이는 과연 한국이 자위권 차원에서의 방어태세와 군사력 사용 측면에서의 대응태세 간에 괴리가 존재하고 있다는 것으로 나타나고 있다. 당연히 피해를 받는 곳은 한국이며, 이는 서해 북방한계선에서의 남북한 해군 간 대결국면에서 나타나고 있다. 이에 본 논문은 자위권을 국가 차원 행사하는 수준과 작전에 투입된 현장 작전 지휘관 차원에서 행사하는 수준으로 구분하여 다룬다. 서해 북방한계선 부근 수역에서의 북한의 해상 군사도발에 대해 현장 작전 지휘관이 행사하는 자위권은 대한민국 정부 차원에서의 자위권 행사와는 다르면, 이 문제를 국제법을 중심으로 분석하기에는 너무나 많은 제한점이 있다. 현행 국제법상 국가 자위권 문제는 군사력을 동반하는 문제로서 그 행사요건이 매우 애매모호하고 까다롭다. 그러나 현장 작전지휘관의 자위권 행사는 단호해야 하며, 이는 군사력 운용으로 나타나야 한다. 실제 서해에서의 남북한 대결국면에서의 대한민국 해군의 자위권 행사는 정전협정에 의거 제한되고 있으며, 이는 2010년 북한의 천안함 침몰과 연평도 폭격도발 시 대한 민국 해군과 해병대의 대응에서 증명되었다. 현재 대한민국 국방부는 현장 작전 지휘관에서 소위 '선제적 자위권 행사' 부여 필요성에 대한 논의를 진행 중으로 알려져 있다. 이에 따라 선제적 자위권 행사를 위한 조치들을 제도화하는 움직임을 보이고 있다. 예를 들면 2013년 발표된 대한민국 합참과 유엔사령부/한미 연합사령부/주한미군사령부 북한 군사 도발에 대한 대응계획(ROK JCS and UNC/CFC/USFK Counter-Provocation Plan)이 이를 간접적으로 증명하고 있다. 선제적 자위권은 행사에 있어 몇 가지 원칙을 요구하고 있으며, 이에 대한 합법성 문제는 아직 해결되고 있지 않다. 따라서 이 문제와 북한 군사도발 시에 대한 대한민국의 선제적 자위권 행사 간 연관성 문제를 어떻게 해석할 수 있는가에 대한 연구가 필요한 실정이다. 평시 군사력 사용에 따른 무력행사의 적법성은 그 인정이 대단히 어려운 것이 현실이며, 이에 따라 북한의 군사도발에 대한 가장 효율적 방안이 선제적 자위권이라면, 이에 대한 법적 대응이 무엇인가에 대한 제도적 근거를 필요로 할 것이다.

LIBRARY EDUCATION IN JAPAN, THE REPUBLIC OF KOREA AND TAIWAN A COMPARATIVE STUDY(I) (일본, 한국, 대만의 도서관학 교육 비교연구)

  • Um Young Ai
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.17
    • /
    • pp.203-227
    • /
    • 1989
  • 본 연구의 목적은 유사한 문화적 배경을 공유한 일본, 한국, 대만의 도서관학 교육을 비교하여 유사점과 상이점을 발견하고 그들의 배경이유를 찾아서 사회와 도서관학 교육의 관계를 밝히는 것이다. 비교의 대상이 된 교육기관은 4년제 대학(교)의 도서관학과로 일본의 다섯 대학교, 한국의 아홉 대학교, 대만의 네 대학교의 도서관학 교육을 비교하였다. 연구가 증명하려고 시도한 가설은, 1. 일본, 한국, 대만은 유사한 문화적 배경을 공유하는 한편, 미국의 도서관학 교육을 받아들였으므로, 세 나라의 도서관학 교육에는 유사점들이 있을 것이다. 2. 상이점들이 있다면, 그것들은 각 국의 특성을 반영할 것이다. 3. 세 나라의 도서관학 교육에 유사점들이 있다면 도서관학 교육의 경향, 문제점들 및 전망도 비슷할 것이다. 가설의 증명을 위하여 교육의 목적, 교수진, 남$\cdot$여학생의 비율, 입학시의 학생들의 학력수준, 교과과정, 과정수료에 요구되는 특수조건, 교과서, 연구, 학과 도서실 및 시설, 학과와 도서관과의 협력관계, 정보학 교과목, 사회가 요구하는 도서관 봉사 및 그에 대응하는 도서관학 교육의 청도, 교육의 경향, 문제점 및 장래 그리고 학과 졸업생들의 도서관 취업률 등을 비교하였다. 비교의 결과 가설을 타당한 것으로 받아들일 수 있었다. 결론에 대한 설명과 아울러 도서관학 교육의 방향을 제언하였다. 1. 미국의 도서관학 교육이 근거로 한 이론적인 배경 및 개념을 재검토하여 적합한 것은 받아들이고, 필요한 경우에는 변형하여 적용하도록 노력해야 한다. 미국과 다른 나라의 실제 도서관 업무 및 봉사에 대한 이해를 토대로 하여 사서와 교육자가 함께 자국의 상황에 적합한 고유한 도서관학을 정립하여야 한다. 2. 도서관 이용 및 봉사에 보다 관심을 기울이고 바람직한 개념을 홍보하고 그것에 호응하는 환경을 만들기 위하여 노력해야 한다. 미래의 사서인 학생들을 이용자에게 접근하여 그들을 가르칠 수 있고 도서관을 이용하도록 유도할 수 있게끔 교육을 시켜야 할 것이다. 3. 미국 이외의 나라에서 실시되는 교육제도에도 관심을 가져야 할 것이다. 4. 도서관 및 도서관학 교육에 정부의 적극적인 지원이 필요하다. 다른 전문직과 같은 대우를 받으려면, 국가고시제도가 도입되어야 할 것이다. 5. 도서관협회가 도서관학 교육에 보다 적극적으로 참여해야 한다. 사서 자격증을 관할하는 단체가 될 수도 있고 교육의 내용에도 관여할 수 있다. 6. 도서관학과와 도서관과의 협력관계가 보다 강화되어야 하며, 도서관현장을 토대로 한 연구활동이 필요하다. 진정한 의미의 문제 해결을 위한 연구활동이 없이 이론적, 실제적인 발전을 기대할 수 없다. 7. 대학(교) 도서관 및 특수도서관의 사서를 위한 전문교육은 대학원 수준에서 제공되고, 학부의 도서관학 교육은 학교도서관 및 공공도서관의 사서를 위한 교육으로 전문화되어야 한다. 8. 도서관학의 교육자들이 모여 문제를 토론하고 해결책을 모색할 수 있는 기회가 제공되어야 하며, 세 나라가 공동의 경험을 나누고 문제를 함께 해결할 수 있는 공식적인 회의나 학회의 구성이 필요하다.

  • PDF

Improvement of a Verified Secure Key Distribution Protocol Between RFID and Readers (RFID와 리더간의 안전성이 검증된 키 분배 프로토콜의 개선)

  • Bae, Woo-Sik;Lee, Jong-Yun
    • The KIPS Transactions:PartC
    • /
    • v.18C no.5
    • /
    • pp.331-338
    • /
    • 2011
  • The RFID system includes a section of wireless communication between the readers and the tags. Because of its vulnerability in terms of security, this part is always targeted by attackers and causes various security problems including the leakage of secret and the invasion of privacy. In response to these problems, various protocols have been proposed, but because many of them have been hardly implementable they have been limited to theoretical description and theorem proving without the accurate verification of their safety. Thus, this study tested whether the protocol proposed by Kenji et al. satisfies security requirements, and identified its vulnerabilities such as the exposure of IDs and messages. In addition, we proposed an improved RFID security protocol that reduced the number of public keys and random numbers. As one of its main characteristics, the proposed protocol was designed to avoid unnecessary calculations and to remove vulnerabilities in terms of security. In order to develop and verify a safe protocol, we tested the protocol using Casper and FDR(Failure Divergence Refinements) and confirmed that the proposed protocol is safe in terms of security. Furthermore, the academic contributions of this study are summarized as follows. First, this study tested the safety of a security protocol through model checking, going beyond theorem proving. Second, this study suggested a more effective method for protocol development through verification using FDR.

Effect of Emotional Incongruence in Negative Emotional Valence & Cross-modality (교차 양상과 부정 정서에서의 정서 불일치 효과에 따른 기억의 차이)

  • Kim, Soyeon;Han, Kwang-Hee
    • Science of Emotion and Sensibility
    • /
    • v.17 no.3
    • /
    • pp.107-116
    • /
    • 2014
  • In the current study, it is suggested that when two emotions are presented through cross-modality, such as auditory and visual, incongruence will influence arousal, recognition, and recall of subjects. The first hypothesis is that incongruent cross-modality does not only increase arousal more than the congruent, but it also increases recall and recognition more than congruent. The second hypothesis is that arousal modulates recall and recognition of subjects. To demonstrate the two hypotheses, our experiment's conditions were manipulated to be congruent and incongruent by presenting positive or negative emotions, visually and acoustically. For dependent variables, we measured recall rate and recognition rates. and arousal was measured by PAD (pleasure-arousal-dominance) scales. After eight days, only recognition was measured repeatedly online. As a result, our behavioral experiment showed that there was a significant difference between arousal before watching a movie clip and after (p<.001), but no difference between the congruent condition and incongruent condition. Also, there was no significant difference between recognition performance in the congruent condition and incongruent condition, but there was a main effect of the clips' emotions. Interestingly after analyzing recognition rates separately depending on clips' emotions, there was a significant difference between congruent and incongruent conditions in the only negative clip (p= .044), not in the positive clip. In a detailed result, recognition in the incongruent condition is more than in the congruent condition. Furthermore, in the case of recall performance, there was a significant interaction between the clips' emotions shown in the clips and congruent conditions (p=.039). Through these results, the effect of incongruence with negative emotion was demonstrated, but an incongruent effect by arousal could not be demonstrated. In conclusion, in our study, we tried to determine the impact of one method to convey a story dramatically and have an effect on memory. These effects are influenced by the subjects' perceived emotions (valence and arousal).

A Systematic Review on Non-Medication Intervention for Self- Injurious Behavior of Individuals With Autism Spectrum Disorders (자폐스펙트럼장애의 자해행동 중재에 관한 체계적 고찰 : 비약물치료 중심으로)

  • Kim, Seul-kee;Choi, Jeong-sil
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.17 no.1
    • /
    • pp.30-42
    • /
    • 2019
  • Objective : The purpose of this study is to analyze non-medication interventions for self-injurious behavior of individuals with autism spectrum disorders, using a systematic review, and to provide evidence of appropriate services for individuals with autism spectrum disorders with self-injury behaviors in the clinical practice of occupational therapy. Methods : Using the electronic databases PubMed, Medline (ProQuest), DBpia, RISS, KISS, and NDSL, we searched for articles published in Korean and international journals from December 2004 to November 2018. The main search term were "Autism OR Autism Spectrum Disorder AND Therapy OR Treatment Or Intervention AND Self Injurious Behavior." Qualitative analysis was performed, and the results are presented in the PICO format. Results : A total of 12 articles were selected. The quality of the evidence was highest in level IV and level V. Single studies with an experimental design were the most common. Behavior therapy was the most common type of intervention. The next most common interventions were behavioral therapy, brain stimulation and control, and sensory integration therapy with behavioral therapy. The self-injury behaviors of individuals autism spectrum disorders were decreased, and was statistically significant. Conclusion : This study investigated the use of non-medication interventions for children with autism spectrum disorders who showed self-injury behavior. Future research should use higher-level designs, and investigate differences between various non-medication interventions.