• 제목/요약/키워드: real and formal

검색결과 196건 처리시간 0.032초

임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 (Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices)

  • 정병호;김용혁;배성일;임을규
    • 스마트미디어저널
    • /
    • 제7권1호
    • /
    • pp.37-44
    • /
    • 2018
  • 임베디드 기기는 시퀀스 제어 기능과 수치연산 기능을 활용하여 제어 프로그램에 따라 산업현장의 기기 등 다양한 자동화 시스템에 활용된다. 현재 임베디드 기기는 기업의 산업현장, 원전, 대중교통 같은 국가기반시설에서 제어 시스템으로 활용되고 있다. 따라서 임베디드 기기를 대상으로 하는 공격은 큰 경제적 손실과 사회적 손실을 야기할 수 있다. 임베디드 기기를 대상으로 하는 공격은 대부분 데이터, 코드 변조로서 제어 프로그램을 대상으로 이루어진다. 산업 자동화 임베디드 기기의 제어 프로그램은 일반적인 프로그래밍 언어와 달리 회로 구조를 표현하기 위하여 설계되었고, 대부분의 산업 자동화 제어 프로그램은 그래픽 기반 언어인 LAD로 설계되어있어 정적분석이 용이하지 않다. 이러한 특징으로 인하여 산업 자동화 제어 프로그램에 대한 취약점 분석 및 보안 관련 연구는 정형 검증, 실시간 모니터링 수준에 그친다. 또한 사전에 취약점을 탐지하고 공격에 대한 대비가 가능한 산업 자동화 제어 프로그램 정적분석 연구는 매우 저조한 실정이다. 따라서 본 연구에서는 산업 자동화 임베디드 프로그램에 대한 정적분석 효율성 증대를 위하여 회로 구조를 표현하기 위해 설계된 산업 자동화 제어 프로그램을 논리식으로 표현하기 위한 방법을 제시한다. 또한 다양한 제조사의 산업 자동화 제어 프로그램을 통합적으로 분석하기 위하여 LLVM IR을 활용한 중간어 변환 기술을 제안한다. LLVM IR을 활용함으로서 동적 분석에 대한 통합분석이 가능하다. 본 연구에서는 해당 방법에 대한 검증을 위하여 S 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

경찰 관리자들의 조직 내 갈등 관리 전략 - 사례 연구를 중심으로 - (Conflict Management Strategies of Police Managers - A case study -)

  • 정제용;신소영
    • 시큐리티연구
    • /
    • 제58호
    • /
    • pp.137-154
    • /
    • 2019
  • 경찰 조직 내에서 갈등 관리는 조직 관리 관점에서 중요한 영역 중 하나이다. 본 연구는 경찰 조직 내에서 절차적인 어려움에 직면할 때 경찰 관리자들이 절차적 혁신성을 갖는지 탐색하고자 한다. 이 연구는 사례 연구 전략을 채택하여 일본, 미국 및 한국의 3개 경찰기관에서 있었던 실제 사례를 조사하였다. 각 경찰기관의 경찰관들을 인터뷰하여, (1) 위계적 권위의 만연, (2) 절차상의 갈등, (3) 조직 문화, (4) 가치와 가정의 기원, (5) 전략의 특성, 그리고 (6) 조직 학습이라는 6가지 주제를 이끌어냈다. 연구 결과에 따르면, 각 경찰기관의 절차적 갈등에 대한 대처 전략에서 유사점이 차이점보다 많았으며, 계층적 권한의 만연, 비공식 네트워크의 중요성 및 비공식 네트워크의 특성이 그 예이다. 핵심적인 결론은 경찰 관리자들이 절차상의 갈등을 극복하기 위해 비공식 네트워크에 상당히 의존했다는 것이다. 연구 참가자들은 비공식적 의사소통에 의존하여 조직의 적응력과 생존 가능성을 높이고자 하였다. 또한, 사회 문화적인 요인이 경찰 조직에 영향을 주었고, 이는 비공식 네트워크의 역할을 지지하는 결과를 가져왔다. 이러한 연구 결과는 공식적인 조직 내에 비공식적인 요소가 크게 자리잡고 있다는 역설을 보여주는 것으로 경찰 조직의 현실을 반영한 것으로 보인다.

클라우드 컴퓨팅 환경에서의 대용량 RDFS 추론을 위한 분산 테이블 조인 기법 (Distributed Table Join for Scalable RDFS Reasoning on Cloud Computing Environment)

  • 이완곤;김제민;박영택
    • 정보과학회 논문지
    • /
    • 제41권9호
    • /
    • pp.674-685
    • /
    • 2014
  • 지식 서비스 시스템이 효과적인 서비스를 제공하기 위해서는, 명시된 지식을 바탕으로 새로운 지식을 추론 할 수 있어야 한다. 대부분 지식 서비스 시스템은 온톨로지로 지식을 표현한다. 실 세계의 지식 정보의 양은 점점 방대해지고 있으며, 따라서 대용량 온톨로지를 효과적으로 추론하는 기법이 요구되고 있다. 본 논문은 클라우드 컴퓨팅 환경을 기반으로 대용량 온톨로지를 RDFS수준으로 추론하기 위한 분산 테이블 조인 방법을 제안하고, 성능을 평가한다. 본 논문에서 제안하는 RDFS 추론은 분산 파일 시스템 환경에서 RDFS 메타 테이블을 기반으로 맵-리듀스를 적용한 방식과, 맵-리듀스를 사용하지 않고 클라우드 컴퓨터의 메모리만 사용한 방식에 초점을 맞추었다. 따라서 본 논문에서는 제안하는 각 기법에 대한 추론 시스템 구조와 RDFS 추론 규칙에 따른 메타 테이블 설계 및 추론 전략 알고리즘에 대해서 중점적으로 설명한다. 제안하는 기법의 효율성을 검증하기 위해 온톨로지 추론과 검색 속도를 평가하는 공식 데이터인 LUBM1000부터 LUBM6000을 대상으로 실험을 수행 하였다. 가장 큰 LUBM6000(8억 6천만 트리플)의 경우, 메타 테이블 기반의 RDFS 추론 기법은 전체 추론 시간이 13.75분(초당 1,042 트리플 추론) 소요된 반면, 클라우드 컴퓨터의 메모리를 적용한 방식은 7.24분(초당 1,979 트리플 추론)이 소모되어 약 2배정도 빠른 추론 속도를 보였다.

심층 면담을 통한 고등학생들의 특수 상대론 기초 개념에 대한 이해 수준 분석 (An Analysis of High School Student's Understanding Level about Basic Concepts of Special Relativity through in-depth interview)

  • 김재권;정진규;김영민
    • 과학교육연구지
    • /
    • 제38권3호
    • /
    • pp.569-584
    • /
    • 2014
  • 본 연구의 목적은 고등학생들이 특수 상대론에 대한 이해 수준을 심층면담을 통해 알아보는 것이다. 심층 면담 대상은 8명으로 특수 상대론 기초개념 성취도 체크리스트와 광속불변의 법칙, 상대성의 원리, 동시성의 상대성, 차고 역설, 로켓 역설 등 6가지 상황 단계로 구성하여 심층 면담을 실시하고 분석하였다. 학생들은 특수 상대론과 관련된 단순한 현상의 기억, 개념의 암기 수준에서는 비교적 높은 성취도를 보였으나, 특수 상대론을 설명하는 본질적 원리 이해 수준에서는 낮은 성취를 나타냈다. 심층 면담에서 일부 학생들은 사건의 순서를 관찰자의 직관에 의존하였고, 좌표계를 수학적인 관점에서만 이해하고 실제 상황에서 판단하는 데에는 어려움을 나타냈다. 그리고 관성좌표계를 이해하지 못한 학생들은 상대론적 역설을 자신의 직관으로 설명하였고 학습자 혼돈이 발생하였다. 마지막으로 고등학생들이 형식적 조작기에 속하는 연령이지만 개인적 차이에 의해 시공간의 현상을 이차원 평면에 그리는 활동을 어려워하는 학생들도 있었다.

  • PDF

히스토그램 시퀀스 구성을 위한 공간 지역성 보존 척도 (Spatial Locality Preservation Metric for Constructing Histogram Sequences)

  • 이정곤;김범수;문양세;최미정
    • 정보화연구
    • /
    • 제10권1호
    • /
    • pp.79-91
    • /
    • 2013
  • 본 논문은 히스토그램 시퀀스(histogram sequence)에 저차원 변환을 적용할 때, 어떤 공간 채움 곡선(space filling curve: SFC)의 성능이 가장 좋은지를 판단하는 체계적인 평가방법을 제안한다. 히스토그램 시퀀스는 이미지를 주어진 SFC에 따라 시계열 형태로 표현한 것을 말한다. 히스토그램 시퀀스는 매우 고차원이므로 저장 및 검색이 매우 어렵다. 효율적인 저장 및 검색을 위해서 시계열 저차원 변환의 하한을 사용할 수 있는데, 이 하한의 성능은 SFC의 종류에 따라 큰 영향을 받게 된다. 본 논문에서는 히스토그램 시퀀스를 저차원 변환할 때 어떤 SFC의 성능이 좋은지를 평가하기 위해, "히스토그램 시퀀스에서 엔트리들이 인접하면 이미지에서도 해당 셀들이 인접해야 한다"는 공간지역성(spatial locality)의 개념을 제안한다. 다음으로, 공간 지역성을 정량적으로 평가할 수 있는 공간 지역성 보존 척도(spatial locality preservation metric)를 제안하고, 이를 계산하기 위한 정형적인 방법을 제시한다. 본 논문에서는 공간 지역성 보존 척도 측면에서 총 다섯 가지의 SFC를 평가하고, 이 평가 결과가 실제 이미지 매칭의 저차원 변환 성능 평가와 유사함을 확인한다. 또한, 저차원 변환 기반의 k-NN(k-nearest neighbors) 검색을 실험하여, 공간 지역성 보존 척도가 가장 낮은 힐버트-오더가 k-NN 검색에서도 가장 좋은 성능을 보임을 통해, 제안한 공간 지역성 보존 척도의 유용성을 입증한다.

중국 대북 접경지역의 북한 노동력 진입 유형과 요인 (Entry Types and Locational Determinants of North Korean Workers in Cross-border Regions between North Korea and China)

  • 이승철;이용희;김부헌
    • 한국경제지리학회지
    • /
    • 제22권4호
    • /
    • pp.438-457
    • /
    • 2019
  • 본 연구의 주요 목적은 북한 노동력의 대북 접경지역 진출 유형과 요인을 규명하고자 하는 것이다. 특히, 본 논문은 북한 노동력의 대북 접경지역 진출 경로 및 유형을 1) 대북 무역 상인과 북한 대방의 거래를 통한 진입과 2) 조선족 중개업체와 북한 대방의 거래를 통한 진입으로 구분하였으며, 대북 접경지역의 공간적 맥락에서 북한 노동력의 진출 요인을 분석하고자 했다. 우선 북한 노동력의 대북 접경지역 진입 경로 및 유형은 유엔 결의 2094호 이후 대북제재의 성격이 '촉구(call-upon)'에서 '의무화 및 강제화(decide)'로 전환되면서 크게 두 가지 측면에서 변화가 나타났다. 첫째, 중국 기업에게 북한 노동력을 파견할 수 있는 북한 대방과의 거래 주체가 대북 거래 상인에서 전문화된 조선족 중개업체로 전환되었다. 둘째, 중국으로 파견되는 북한 노동력의 성격이 '중화인민공화국입경출경관리법'과 '외국인재중국취업관리규정'에 따라 공식적인 취업 허가증과 취업 거류증을 취득한 공식 노동자에서 북·중 간 '무역비자협정'과 '국경 주민에 대한 통행증 제도'를 이용하거나 단기 방문 및 관광 비자를 취득하여 편법으로 대북 접경지역에 장기 체류하는 비공식 노동자(informal workers)로 전환되었다. 따라서 북한 노동자에 대한 실질적인 제재가 가해진 이후에 이러한 비공식 노동자들의 안정적인 체류와 관리 및 통제를 위한 전문적인 서비스에 대한 수요가 높아짐에 따라 대북 접경지역에 북한 노동자 중개업체가 활성화되고 있다. 이와 더불어 북한 노동력의 대북 접경지역 진입 요인은 세 가지 측면 - 1) 중국 사회보험제도의 개혁에 따른 실질 임금 상승, 2) 대북 접경지역의 취약한 노동시장 구조, 3) 안정적이고 관리 용이한 노동력 활용 -에서 분석했다.

환경관리주의 환경교육에 대한 비판적 고찰 - 원인규명에서 해결기제로의 전환을 위하여 - (A Critical Approach on Environmental Education Biased to Environmental Possibilism - From Clearing up the Cause to Problem-Solving Mechanism -)

  • 김태경
    • 한국환경교육학회지:환경교육
    • /
    • 제18권3호
    • /
    • pp.59-74
    • /
    • 2005
  • We can't deny Korean EE has basically developed on the basis of Environmental Possibilism (Environmental management or Reformism) in lots of aspects. I would show three representative proofs here, the first, the philosophy of Korean EE has been mainly focused on dichotomy of human-techno centrism and eco-centrism with no considering other alternative environmentalism since 4th Formal Curriculum, 1981. The second, simultaneously, the concept of EE has not distinguished from it of Science education. (Furthermore, unfortunately some says EE has been a part of Science education, although there should be many differences on its contextual aspect.) And the third one is that the limit of possibilism which market economists have worried, has scarcely mentioned in various kinds of EE-related teaching materials. Possibilism is basically likely to be accompanied by science and economics-oriented approach, and in this aspect this dichotomy, human-techno centrism and eco-centrism, has come from perspectives of Economical development process and over-addicted belief to Science. So it is enough to say that Korean EE has basically developed with biased to Environmental possibilism, in other words, biased to preference to it. And I'll critically focus on these two axes of possibilism, Science and Economics and its dichotomy. Of course, we should accept there are so many same parts in its contents between EE and Science, but we should know its contextual differences for triangular position of environmentalism suitable to EE and also overcome science-dependant approach to EE. Although science-dependant approach to EE and dichotomy could provide some tools for clearing up the causes of environmental problem, especially always it has insisted fundamental causes of environmental problem originated in human faults and over-use of eco-source or over-economic development, but now it is old-fashioned discourse, furthermore it come to have unavoidable limits in the debates of problem-solving mechanism to environmental problems. The paramount important thing is to supply the ways or thoughtful mechanism for solving or coordinating the Environmental problems, not just searching for cause of it. But scientific approach and its dichotomy based on possibilism have continuously born cause & effect in EE-related discourse. So there are so much needs to transfer from continuous bearing of cause & effect to constructive alternatives at least in environmentalism of EE. Traditionally, dichotomical division in EE Environmentalism, human-techno centrism and eco-centrism, couldn't have Provided any answers to our real society, it just gives us only cause & effects of Environmental problems. And also we can't find the description on the limits of capitalism market approach to Environmental problems especially in Korean EE text books, other teaching materials and its teaching-learning process, although market approach economist has been proved its fault beyond its functional merits as Environmental management tools. So we should introduce other alternative Environmental philosophy instead of Possibilism such as eco-socialism insisted by Schmacher M. and Boochin etc, or marxist-environmentalism for relative and comparative views to market-thought such as commodification. In this aspect we need to accept Oriental philosophy based on moderation(中庸) as new another alternatives with the reflection that we have recognized monism as representative Oriental philosophical environmentalism. Fundamentally monism has done its role with providing relative concepts to Dichotomy Enlightenment, but we can't say it has been core concept for understanding of oriental environmentalism, and we can't distinguish monism from oriental philosophy itself, just because oriental thought itself was basically monism. So conceptual difference should be recognized between EE and Science education in teaching-learning process on the basis of life-philosophy(Philosophie des Lebens) from epistemology. For this transformation, we should introduce existentialism in Science education, in other words, only existential Science education based on phenomenology or interpretivism can be EE. And simultaneously we need some ways for overcoming of scientific foundationalism which has been tradition making science not stand on existentialism, formulating and featuring of almost all of natural things and its phenomenon from after enlightenment in western world, but it has malfunctioned in fixing conception of science just into essentialism itself. And we also introduce integrated approach to science and society for EE like STS. Those are ways for overcoming of Environmental possibilism in EE.

  • PDF

중학교에서 공-막대 모형을 이용한 수업의 효과 분석 (Analysis of the Effects of Teaching Method Using Ball-and-Stick Models in the Middle School)

  • 진희자;박광서;김동진;김경미;박국태
    • 대한화학회지
    • /
    • 제48권1호
    • /
    • pp.77-84
    • /
    • 2004
  • 이 연구는 중학교 과학 교과서에 제시된 물질과 관련된 개념 이해에 대한 문제점을 분석하여 개선 방안을 제시하는데 목적이 있다. 연구를 위하여 과학 교과서 중 관련 단원 내용을 분석하여, 공-막대(ball-and-stick) 모형을 개발하고 이를 이용한 수업의 효과를 분석하였다. 연구 대상은 서울 지역 여자 중학교 2학년 130명이며, 전통적인 강의식 수업과 공-막대 모형을 이용한 수업의 효과를 중학생들의 인지 수준에 따라 살펴보았다. 수업 전에는 학습자의 특성을 알아보기 위해 논리적 사고력 검사를 실시하였고, 수업 후에는 개념 검사, 과학에 관련된 태도 검사 등을 실시하였다. 그리고 10개월 후에 파지 효과를 알아보기 위해 개념 검사를 다시 한번 더 실시하였다. 연구 결과에 의하면 공-막대 모형을 이용한 수업을 실시한 실험 집단이 과학 개념의 이해도와 파지 효과에서 유의미하게 높은 효과가 있었으며, 또한 과학에 대한 태도와 과학 교과에 대한 태도에서 모두 긍정적인 효과가 있었다. 그리고 인지 수준별로는 구체적 조작기의 학습자에게서 파지 효과가 높았다. 이러한 연구 결과로 볼 때, 구체적 조작기와 과도기가 많은 중학생들에게는 모형을 이용하여 직접 조립하고 구체적으로 물질의 형태를 만들어 보도록 하는 것이 학습 흥미도를 높여 주며, 물질이라는 거시 세계와 원자라는 미시 세계를 연결시켜 주어 학생들이 올바른 과학 개념을 형성하는데 효과적인 것으로 생각된다.

교육과정의 목표 설정 준거에 따른 제 6차 중학교 과학교과서 생물영역 분석 (The Analysis of Biology in the 6th Middle School Science Textbooks based on Criteria for Selecting Curriculum Objectives)

  • 홍정림;강경미;여성희;장남기
    • 한국과학교육학회지
    • /
    • 제19권2호
    • /
    • pp.239-247
    • /
    • 1999
  • 본 연구는 제 6차 중학교 과학과 교육과정 목표를 달성하기 위한 교수매체인 과학 교과서 생물영역의 내용과 구성을 분석함으로써 체계적인 교과서 개발에 관한 제안을 하고자 하였다. 제 6차 과학과 교육과정의 하위목표와 Klopfer 및 교육부의 분류틀에 근거하여 교육목표의 포괄성을 분석하였다. 또한 Tyler의 교육과정 모형에서 제시된 목표 설정 준거인 학습자 차원, 교과차원, 사회 차원에 따라 생물영역의 내용과 구성을 분석하였다. 분석 결과는 다음과 같다. 1. 제시된 목표의 포괄성은 매우 낮았다. 2. 학습자 차원에 있어서 주요 개념의 인지적 수준은 학년이 올라감에 따라 형시적 조작수준의 것이 급격히 증가하였다. 또한 학습 주제와 영역에 있어 학습자의 흥미 반영도가 낮았다. 3. 교과 차원에서는 학년이 올라감에 따라 탐구 학습활동에 비해 개념 중심의 학습활동의 비중이 증가 하였으며, 탐구과정의 하위요소 분석결과, 1학년에서는 관찰, 분류, 기록정리, 기능 중심으로 구성되었고, 2학년에서는 관찰과 기구조작 중심으로, 3 학년에서는 자료해석이 증가하였다. 문제와 과정이 주어져 탐구 자유도가 낮았다. 학습상황은 실생활적 상황에 비해 학문적 상황 중심으로 구성되었다. 4. 사회 차원에서는 환경과 건강에 관한 학습 주제들은 많이 다루어져 있었으나, 생명공학, 진로에 관한 주제는 매우 적었으며, 2학년과 3학년에 편중되어 있다. 본 연구의 분석 결과, 교육과정 목표의 효과적인 달성을 위해서는 목표의 포괄성을 높이고 교과서의 내용과 구성이 학습자, 교과, 사회 차원에서 균형 있게 조직되어야 함을 시사한다.

  • PDF

중학교 과학교과서의 비교분석 (Comparative Analysis of the New and Old Secondary School Science Textbooks)

  • 김성진;박승재
    • 한국과학교육학회지
    • /
    • 제5권1호
    • /
    • pp.49-61
    • /
    • 1985
  • 본 논문은 1981년 교육과정이 개정된 새로 편찬된 중학교 과학교과서가 학교 현장에서 효율적으로 사용되고, 앞으로의 교과서 연구와 편찬을 위한 기초 자료를 제공하려는 목적에서 신 구 과학 교과서를 문헌 연구를 통해 비교하고 분석하였다. 연구 영역은 중학교 교육 과정의 과학과 교육목표와 교과서의 기능에 비추어 5개 범주로 구분하였다. 교과내용 면에서는 신 구 과학 교과서에 수록된 주요 개념과 내용을 비교하여 개념체제와 내용 전개방식에서 변화한 점을 밝혔고, 탐구과정에 대해서는 로미의 방법을 이용하여 신 구 과학 교과서의 본문에 대하여 학생의 관련 지수를 구하고 분석하였다. 구성체제 면에서는 신 구 과학교과서의 단원 구성 체제와 그에 포함된 요소들을 단원 구성 체제의 일반적 모형에 비추어 비교하고 분석하였으며 학습 난이도에 대해서는 신 구 교과서의 내용을 비교하여 중학생의 지적 발달 수준을 넘어서는 내용의 삭제정도를 조사하였고, 제작 사항에서는 신 구 과학 교과서의 쪽수, 판형, 활자, 인쇄, 지질, 색도, 여백, 제본 등을 비교하고 기존 연구 결과에 비추어 논의하였는데 그 결과는 다음과 같다. 신 구 과학 교과서의 개념 체제에는 큰 변화가 없으나 각 학년에 물리, 화학, 생물, 지구과학 분야가 한 단원씩 수록됨에 따라 구 교과서의 단원이 축소 통합되어 관련 단원의 내용이 줄어들었고 내용 배열에 변화가 있었다. 교과 내용의 전개방식에서 구 과학 교과서가 실험, 관찰, 고찰을 통해 학생 스스로 주요 개념을 탐구하도록 한데 반해 신 교과서는 실험, 관찰의 수를 줄이고 대신 학생의 경험과 친밀한 자료를 많이 도입하여 주요 개념들을 설명하고 있다. 탐구과정 면에서 본문에 대한 로미의 관련 지수가 구 교과서 1, 2, 3학년용이 0.43, 0.48, 0.24로 1, 2학년용이 비교적 탐구적인 교과성미에 반해 신 교과서 1, 2, 3학년용이 관련지수는 0.16, 0, 11, 0.09로 신 교과서가 구 교과서에 비해 탐구적인 면이 떨어지고, 사실과 설명 위주의 교과서라고 판단된다. 구성체제 면에서 신 과학 교과서는 구 과학 교과서에 비해 도입부분을 강조하고 학습 내용을 보충 심화할 수 있는 기회를 더 많이 제공하고 있으며 삽화나 참고자료의 수를 늘이고 새로 '읽을거리'를 수록함으로써 독해가 용이하도록 하고, 학생의 관심과 흥미를 유발하려 하고 있다. 학습 난이도 면에서 신 교과서는 구 교과서에 있던 정량적인 실험과 수식의 일부를 삭제하고, 단원을 축소하고 해설을 늘렸으며, 학년간의 내용 배열 조정을 통해 학습자의 수준에 알맞도록 구 교과서의 내용을 재조직하고, 내용전개 과정에서 중학생의 지적 발달 단계를 넘어서는 방식을 부분적으로 지양함으로써 학습 난이도를 줄이고 있다. 제작사항에서 신 과학 교과서는 구 과학 교과서에 비해 판형이 커지고 지질이 향상되고 여백이 넓어지고, 제본방식이 바뀌었으나 그 외의 요소들은 변화가 없다.

  • PDF