• Title/Summary/Keyword: Formal system

검색결과 892건 처리시간 0.031초

현실적 수학교육에 대한 고찰 - 초등학교의 알고리듬 학습을 중심으로 - (A Study of Realistic Mathematics Education - Focusing on the learning of algorithms in primary school -)

  • 정영옥
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제9권1호
    • /
    • pp.81-109
    • /
    • 1999
  • This study aims to reflect the basic principles and teaching-teaming principles of Realistic Mathematics Education in order to suppose an way in which mathematics as an activity is carried out in primary school. The development of what is known as RME started almost thirty years ago. It is founded by Freudenthal and his colleagues at the former IOWO. Freudenthal stressed the idea of matheamatics as a human activity. According to him, the key principles of RME are as follows: guided reinvention and progressive mathematisation, level theory, and didactical phenomenology. This means that children have guided opportunities to reinvent mathematics by doing it and so the focal point should not be on mathematics as a closed system but on the process of mathematisation. There are different levels in learning process. One should let children make the transition from one level to the next level in the progress of mathematisation in realistic contexts. Here, contexts means that domain of reality, which in some particular learning process is disclosed to the learner in order to be mathematised. And the word of 'realistic' is related not just with the real world, but is related to the emphasis that RME puts on offering the students problem situations which they can imagine. Under the background of these principles, RME supposes the following five instruction principles: phenomenological exploration, bridging by vertical instruments, pupils' own constructions and productions, interactivity, and interwining of learning strands. In order to reflect how to realize these principles in practice, the teaming process of algorithms is illustrated. In this process, children follow a learning route that takes its inspiration from the history of mathematics or from their own informal knowledge and strategies. Considering long division, the first levee is associated with real-life activities such as sharing sweets among children. Here, children use their own strategies to solve context problems. The second level is entered when the same sweet problems is presented and a model of the situation is created. Then it is focused on finding shortcomings. Finally, the schema of division becomes a subject of investigation. Comparing realistic mathematics education with constructivistic mathematics education, there interaction, reflective thinking, conflict situation are many similarities but there are alsodifferences. They share the characteristics such as mathematics as a human activity, active learner, etc. But in RME, it is focused on the delicate balance between the spontaneity of children and the authority of teachers, and the development of long-term loaming process which is structured but flexible. In this respect two forms of mathematics education are different. Here, we learn how to develop mathematics curriculum that respects the theory of children on reality and at the same time the theory of mathematics experts. In order to connect the informal mathematics of children and formal mathematics, we need more teachers as researchers and more researchers as observers who try to find the mathematical informal notions of children and anticipate routes of children's learning through thought-experiment continuously.

  • PDF

환경인지의 시각적 질과 그 효과에 관한 연구 - 경험미학적 관점 - (The Visual Quality in Environmental Cognition and Its Effect on Human Behavior - From the Perspective of Empirical Aesthetics -)

  • 김주미
    • 디자인학연구
    • /
    • 제11권1호
    • /
    • pp.173-184
    • /
    • 1998
  • 본 연구는 미래 도시경관 ·건축환경에서 요구되는 미학적 질에 관한 연구로 다수가 선호하고 즐거워할 수 있는 과학적이고 객관적인 미적 가치, 시각적 특성들을 제안하는 것이 목표이다. 연구의 이론적 접근방법은 경험 과학적 미학으로 이를 통한 인간지각.인지.행동의 본성을 이해하고자 하였으며 미적 환경이 갖는 시각적 질의 특성을 범주화하고 그 효과를 설명, 예측하고자 하였다. 그리고 환경지각.인지이론과 새롭게 제시된 환경미학모델들을 검토하였으며 환경디자인에 적용될 수 있는 미학적 특성들을 제안하였다. 첫째, 시각적 질에 대한 미적 경험은 심리 생물학적 특성과 인간활동의 결합과정으로 환경의 형식적.상징적 그리고 내적인 표상체계의 상호작용에 의해서 이루어짐을 알 수 있다. 또한 시각적 질은 사회 문화적 가치, 개인적.집단적 가치 등으로 인해 다양성과 차이가 있으므로 절대화 할 수 없는 복잡한 영역으로 간주되었다. 둘째, 시각적 질의 효과, 미적 반응은 궁극적으로 즐거움, 선호, 인간생존을 위한 적응과 자율성 등에 관계된다. 셋째, 미학은 더욱더 통합적인 학제간 연구를 통해 발전될 수 있으며 이러한 미학적 경험자료는 디자인, 계획, 평가를 위한 기초적인 정보가 될 수 있을 것으로 판단된다.

  • PDF

임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술 (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 사(社)의 제어 프로그램을 대상으로 하여 논리식 형태의 중간어로 변환하는 프로그램의 시제품을 개발하였다.

소규모 사업장 보건관리 산업간호사의 업무서식과 기록행태 (Type and Contents of Health Records and Recording Tendencies of Nurses in Small-Scale-Enterprises)

  • 유경혜;강은홍;차남현
    • 한국직업건강간호학회지
    • /
    • 제10권1호
    • /
    • pp.74-92
    • /
    • 2001
  • This study was carried out to investigate the types of health documents for nurses, the content of informations in the documents, and writing behaviors of occupational health nurses. Health documents were collected from 7 nurses who were working in 7 group occupational health agencies (GOHA) located at Seoul and Inchon area in Korea. The collected health documents written in January to June 1999 were analyzed, and revealed the following results. 1) The occupational health nurses were using 9 to 18 different types of health documents. The contents of the documents were considered quite similar to each other with slightly different headings and items to record. Among different types of health documents. Health Management Card for Workplace', Nursing performance sheet and Workplace environmental checklist were in common among nurses and were used for content analysis. 2) The 'Health Management Card for Workplace' was the only formal sheet of small-scale-enterprises (SSE) for health management, in which health and safety related information was recorded. The information on nursing services were recorded on the Nursing performance sheet, which has slightly different names on each type with similar contents. The Workplace environment checklist was for the information on general work environment management and mainly status of workplace hygiene. This checklist is to be used by or with nurses among the 3 types health professional team such as doctor, hygienist, and nurse, but it seemed not being used frequently by nurses. 3) Analysis on recording tendencies of nurses revealed that the writing styles of occupational health nurses were associated with 'memo' using a few number of words and short sentences. The amount of information by this kind of recording style was considered not enough for health management situation. The possible reasons for nurses to use this writing style might be insufficient time for recording and improper designed format of health documents. Because nurses working in SSE spend more time on the roads to visit workplaces, nurses may not found enough time for recording properly within their working time. In addition, the health records were designed to focus on the frequency of nurse's performance in certain types of work rather than on the method they used to deal with health problems. In conclusion, this study suggests that some steps are necessary to develop health documents and recording system which is appropriate to occupational health nurses. The educational need for nurses on appropriate recording behavior is also recommended.

  • PDF

M2M 통신환경에서 안전한 P2P 보안 프로토콜 검증 (Verifying a Safe P2P Security Protocol in M2M Communication Environment)

  • 한군희;배우식
    • 디지털융복합연구
    • /
    • 제13권5호
    • /
    • pp.213-218
    • /
    • 2015
  • 최근 정보통신 기술의 발전과 함께 M2M(Machine-to-Machine) 산업분야의 시스템이 다기능 고성능화 되고 있으며 IoT(Internet of Things), IoE(Internet of Everything)기술 등과 함께 많은 발전해가고 있다. 통신상 보안적인 서비스를 제공하기 위해서는 인증, 기밀성, 익명성, 부인방지, 데이터신뢰성, 비연결성, 추적성 등이 충족 되어야 한다. 그러나 통신방식이 무선 전송구간에서는 공격자의 공격에 노출되어 있다. M2M 무선통신 프로토콜에서 보안상 문제가 생기면 시스템오류, 정보유출, 프라이버시문제 등의 심각한 상황이 발생할 수 있다. 따라서 프로토콜 설계는 상호인증과 보안이 필수적인 요소이며, 최근 보안통신프로토콜에 대한 분야가 매우 중요한 부분으로 연구되고 있다. 본 논문에서는 안전한 통신프로토콜을 위해 해시함수, 난수, 비밀키 및 세션키를 적용하여 설계하였다. 제안 프로토콜이 공격자의 각종공격에 안전함을 증명하기 위해 프로토콜 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였다. 실험결과 제안프로토콜은 안전성을 충족했으며 문제없이 종료됨을 확인하였다.

소비자간 전자상거래를 위한 속성효용기반 자동협상 방법론의 개발 (Attribute Utility-Based Negotiation Agent Methodology for Customer-To-Customer Electronic Commerce)

  • 송용욱;홍준석;김우주
    • 지능정보연구
    • /
    • 제10권3호
    • /
    • pp.73-89
    • /
    • 2004
  • 인터넷의 발전과 더불어 사람들이 더 많은 상품 정보에 접근할 수 있게 됨에 따라, 소비자 간(C2C) 전자시장의 거래 규모도 더욱 빨리 성장하고 있다. 시장 경제의 활성화를 위한 소비자 간 전자상거래의 역할이 더욱 강조됨에 따라 소비자 간 전자상거래를 효율적으로 지원할 수 있는 지능형 에이전트 시스템을 개발하기 위해 많은 연구들이 진행되어 왔다. 그러나 대부분의 이러한 연구들은 단순히 시간 흐름에 따라 동일한 상품의 가격만을 협상하는 것에 초점을 맞추고 있다. 협상의 대상을 서로 다른 유사한 상품으로 확장하기 위하여 고객은 가격 외에도 배송 시간이나 결제 방법 등 거래 행위와 관련된 속성까지 포함한 상품의 다양한 속성들에 대하여 협상할 수 있어야 한다. 이 요건을 만족시키기 위해, 본 연구에서는 고객을 대행하는 에이전트가 판매자 및 구매자 양측의 효용을 높이기 위해 가격 외에도 상품 및 거래의 다양한 속성들에 대해 협상할 수 있는 자동협상 방법론과 이러한 방법론을 적용하는데 기반이 되는 에이전트 마켓플레이스를 제안한다. 제안된 e-마켓플레이스와 에이전트를 지원하기 위한 프로토콜과 관련된 시스템 구조들도 동시에 개발하였다.

  • PDF

상선 운항 사고의 양적 위기평가기법 개발 (Development of Quantitative Risk Assessment Methodology for the Maritime Transportation Accident of Merchant Ship)

  • 임정빈
    • 한국항해항만학회지
    • /
    • 제33권1호
    • /
    • pp.9-19
    • /
    • 2009
  • 본 논문에서는 상선의 운항 사고에 관한 양적 위기평가에 관한 실험적인 접근방법들을 기술했다. 이 연구의 목적은 국제해사기구의 공식 안전성 평가(FSA)를 기반으로 운항 사고에 크게 기여하는 요소들을 분석하고, 양적 위기평가기법에 기반을 둔 운항 사고의 확률적인 위기수준을 평가한 후, 선박 안전을 저해할 수 있는 운항 사고 위기를 예측하는 것이다. 확률지수(PI)와 심각성지수(SI) 구성된 위기지수(RI)에 대한 운항 사고의 확률적인 위기수준은 베이지안 이론을 적용한 베이지안 네트워크를 기반으로 본 연구에서 제안한 운항사고 위기 모델을 이용해서 예측했다. 그리고 355건의 핵심 손상 사고기록으로 구성된 시나리오 그룹을 이용하여 제안한 모델의 적용 가능성을 평가하였다. 평가결과, 예측한 PI의 정답률 $r_{Acc}$은 82.8%로 나타났고, $S_p{\gg}1.0$$S_p{\ll}1.0$에 포함되는 PI 변수들의 민감도 초과비율은 10% 이내로 나타났으며, 예측한 SI의 평균 오차 $\bar{d_{SI}}$는 0.0195로 나타났고, 예측한 RI의 정답률은 91.8%로 나타났다. 이러한 결과는 제안한 모델과 방법이 실제 해상운송 현장에 적용 가능함을 나타낸다.

가정폭력피해여성의 비폭력적 결혼관계 유지 경험에 관한 연구 - 공식적 보호체계 이용경험이 있는 피해여성을 중심으로 - (Study on the experience of battered women maintaining non-violent marriage relationship -based on battered women using formal protective system-)

  • 김주현;이연호
    • 한국가족복지학
    • /
    • 제23호
    • /
    • pp.5-42
    • /
    • 2008
  • 본 연구는 근거이론 연구방법과 Giorgi의 현상학적 연구방법을 활용하여 가정폭력피해여성 중에서 비폭력 결혼관계를 유지하는 여성들의 경험을 분석하였다. 대상에 대한 낮은 접근성과 주제의 특수성으로 인해 4명의 참여자를 선정하여 심층면담을 실시하였다. 자료 분석 결과, 비폭력적 결혼관계를 유지하는 경험의 구성요소는 5개의 상위 구성요소와 19개의 하위 구성요소로 이루어졌으며 이는 시간에 따라 단계별로 나타났다. 즉, '폭력의 악순환단계: 올가미에 걸려듦', '폭력의 악순환 궤도 이탈단계: 자구(自救)책을 세움', '새로운 궤도 진입단계: 주체성 회복', '비폭력 궤도 구성단계: 폭력재발 예방', '비폭력 궤도 유지 단계: 비폭력 관계 전환'으로 분석되었다. 이러한 연구결과는 가정폭력피해여성 중 과반수에 달하는 결혼유지를 희망하는 피해여성의 성공적인 비폭력적 결혼관계 유지를 돕는 효과적인 사회복지 개입 방안을 모색하는데 근거자료로서 유용할 것이다.

창업 붐 확산을 위한 창업지원정책 방안 연구 (A Study on Entrepreneurial support policy measures for Start-up boom spread)

  • 김용태;김종진
    • 디지털융복합연구
    • /
    • 제17권6호
    • /
    • pp.201-209
    • /
    • 2019
  • 최근 정부 및 공공, 민간 분야의 다양한 창업경진대회를 통해 대다수의 예비 창업자 및 초기 창업자들의 비즈니스 모델이 발전되고 사업화 가능성이 제고되는 있는 반면에 일부 우수 참가자들의 사업 아이디어가 소멸되는 문제를 개선해야 할 필요가 제기되고 있다. 이에 본 연구는 국내 주요 창업경진대회 운영자와 주요 참가자 등을 대상으로 한 실태조사 결과를 기반으로 다양한 창업경진대회의 현황을 분석하고 정책적이고 실무적인 개선방안 등을 제시하고자 한다. 주요 연구 결과 첫째, 경진대회 운영에서는 이벤트 성격의 탈피, 대회 진행시 창업기업의 비즈니스 모델 공개 지양, 투입 시간을 고려한 수상금액 책정, 형식적 절차의 축소, 운영자들의 권위적인 태도 지양, 서류양식의 간소화, 발표자료 활용방식 개선, 경진대회의 목적과 모집대상의 정확한 명시 등이 요구된다. 둘째 전문성을 갖춘 심사위원 및 멘토진의 보완이 필요하겠다. 분야별로 전문성을 갖춘 심사위원 멘토 구성, 심사위원 구성 시 지역별 배분, 창업경험 보유 심사위원 위촉, 심사위원에 대한 사후 평가시스템 도입이 필요하겠다. 셋째, 제조업 등에 치중될 것이 아니라 산업분야별로 특성화된 경진대회 운영이 필요하다고 하겠다. 향후 연구에서는 운영주체들을 대상으로 심층 인터뷰 및 실증적인 연구가 보완될 필요가 있을 것이다.

어린이집 CCTV 관련 뉴스보도에 대한 프레임 분석 (Frame Analysis on the News About CCTV in Day Care Center)

  • 오지은;정혜욱;윤빛나라
    • 한국보육학회지
    • /
    • 제19권1호
    • /
    • pp.45-57
    • /
    • 2019
  • 2015년 인천 어린이집 아동학대 사건을 계기로 어린이집 CCTV 설치 의무화 정책이 도입 되었고, 그 후 뉴스방송들은 어린이집 아동학대를 이슈로 다루어왔다. 본 연구는 어린이집 CCTV를 통해 바라본 아동학대 관련 보도가 뉴스 보도과정에서 어떻게 재해석되는지를 비판적으로 분석하였다. 이를 위해 Iyengar (1990), Semetko와 Valkenburg (2000)의 프레임 분석 기준을 수정 보완하여 어린이집 CCTV 관련 뉴스를 분석하였다. 분석대상은 KBS에서 2015년 9월부터 2017년 12월까지 보도된 25건의 관련 방송뉴스이다. 연구결과, 첫째, 형식적 프레임분석 과정에서 심층보도하는 '주제중심적 프레임'보다는 단편적인 '사건중심적 프레임'과 '사건+주제중심적 프레임'이 주로 나타났다. 둘째, 내용적 측면에서는 '인간적 흥미 프레임'에 중점을 두어 아동학대 사건을 전달하고 있었다. 이러한 어린이집 CCTV 관련 뉴스보도 프레임은 CCTV 설치를 아동학대 예방의 절대적인 대안으로 받아들이는 'CCTV 만능 담론', 보육교사를 죄인으로 보는 '범죄자 담론', 보육교사를 전문적인 역량을 갖추지 못한 사람으로 보는 '비전문가 담론' 등의 지배적인 담론을 형성하였다. 본 연구는 어린이집 CCTV 관련 뉴스에 담긴 보도가 절대적이고 공정한 사실이 아닌 특정한 지식과 담론을 생산한다는 것을 밝힘으로써 대중매체의 이데올로기 전달체로서의 기능을 비판적으로 고찰하였다는데 의의가 있다.