• 제목/요약/키워드: 특수프로그램

검색결과 332건 처리시간 0.035초

LD 프로그램의 모델 체킹을 위한 자동변환 (Automatic Translations for Model Checking of LD Programs)

  • 권민혁;신승철
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제16권2호
    • /
    • pp.201-206
    • /
    • 2010
  • 발전소와 임베디드 시스템, 지능형 빌딩과 같은 현대의 대부분의 시스템은 PLC 라는 특수목적 컴퓨터를 이용하여 자동제어된다. PLC 프로그래밍 언어 중에서 가장 많이 사용하는 것은 LD 프로그램이다. LD 프로그램의 검증은 시뮬레이션과 테스팅등을 통해 이루어지는데 이러한 방법은 프로그램 검증에 한계가 있다. 본 논문에는 LD 프로그램의 검증시 모델 체킹을 사용할 수 있도록 주어진 LD 프로그램을 모델 체커의 입력으로 자동으로 변환하는 방법을 기술한다. LD 프로그램과 SMV 모델의 의미구조를 정의 하고 이를 바탕으로 의미가 보존되는 변환 함수를 정형적으로 나타낸다.

수치 모사를 활용한 수평 혹은 경사형 특수 정호 지하수 흐름 특성 평가 (Characterization of Groundwater Flow to Horizontal or Slanted Well Using Numerical Modeling)

  • 김형수
    • 한국지하수토양환경학회지:지하수토양환경
    • /
    • 제13권2호
    • /
    • pp.54-61
    • /
    • 2008
  • 수평 혹은 경사 형태 특수 정호 양수량에 대한 시공간적 수위 강하를 지하수 수치 모델링을 활용하여, 평가하였다. 지하수 수치 모델링은 상용 프로그램인 FEFLOW(version 5.1)의 1차원 선형 불연속 특징 요소를 활용하여 수행되었으며, 수치해의 검증을 위해 Zhan과 Zlotnik(2002)이 제안한 연속된 점 형태 배출원 배열 방식 준 해석해와 비교하였다. 비교 검증 결과, 수치해와 준해석해는 최대 수위 강하가 나타나는 양수 최인접부를 제외하고는 거의 일치한 형태를 보여주었다. 검증된 수치적 방법을 이용하여, 강변여과 방식 취수가 검토되는 현장에 대한 수위강하를 정량적으로 평가할 수 있었다.

중성선 영상고조파저감용 특수 Reactor 설계와 해석 (A Design and Analysis of a Neutral Line Harmonics Eliminating Reactor)

  • 김철;김한들;김한수;신판석
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • pp.52-54
    • /
    • 2004
  • 현대정보화산업에서 배전계통의 부하는 첨단 제어장치, 다양한 반도체 전력변환 설비, OA기기 및 PC 둥의 사용으로 배전계통의 중성선에 영상 고조파가 많이 발생한다. 이것을 최소화하기 위해서 본 연구에서는 중성선의 영상전류를 제거하는 장치인 특수 리액터를 설계하고 유한요소프로그램(Flux2D)을 이용하여 특성을 해석하여 검증하였다. 최적설계를 위하여 누설자속의 최소화, 코아 및 동손의 최소화를 위한 설계알고리즘도 구성하여 최적설계안을 제안하였다.

  • PDF

특수목적영어 교육을 위한 해사영어코퍼스 구축 (A Compilation of Maritime English Corpus for English for Specific Purposes Education)

  • 이성민;김재훈;장세은
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.163-164
    • /
    • 2015
  • 본 연구는 특수목적영어분인 해사영어코퍼스의 구축을 목적으로 한다. 구축과정에서 코퍼스 구축에 필요한 대표성과 균형성을 고려하여 네 가지 장르인 학술, 뉴스, 법, 책으로 나누고 각 하위코퍼스를 백만 단어씩 구축하였다. 코퍼스 구축과정에서 웹사이트와 PDF형태의 자료에서 텍스트만을 수집하고 정제하기 위하여 파이썬(Python) 프로그래밍 코딩을 하였고 무료 공개 프로그램도 병행하였다. 앞으로 해사영어코퍼스는 해사영어어휘교육에 필요한 단어목록제공이나 예문 검색 등을 통한 자료중심학습법에 활용될 수 있을 것이다. 또한 본 연구의 코퍼스구축 과정은 다른 분야의 ESP코퍼스 구축에도 응용 될 수 있을 것이다.

  • PDF

이질 분산 환경에서의 효율적인 생산 업무 전산화 (Efficient Product Management System on a Heterogeneously Distributed Environment)

  • 오동익;공용해;김기용;김영준;윤창현;김지혜
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2001년도 추계산학기술 심포지엄 및 학술대회 발표논문집
    • /
    • pp.211-214
    • /
    • 2001
  • 지역적으로 분산된 생산 시설을 가지는 업체의 전산화는 업무 프로그램의 개발뿐만 아니라 업체의 분산된 환경에 적합한 정보 공유 네트워크 인프라의 구축 또한 요구된다. 본 연구는 주 생산지는 정보 처리량이 많고 지역적으로 멀리 위치한 생산지들은 정보 유통량이 다소 적은 특수한 분산 환경에 적합하고, 유연하게 확장 가능한 경제적인 네트워크를 구축하였다. 이러한 이질적으로 분산된 환경의 네트워킹은 서버를 근간으로 하는 근거리 네트워크, 인터넷을 통한 서버 접속 네트워크, 전화 모뎀을 통한 서버 접속 네트워크 둥을 포함한다. 업체에 특수한 이질적 분산 환경을 효과적으로 연결하는 이러한 네트워크를 기반으로, 경제적이고 효과적인 분산 재고 관리 전산화 시스템을 개발하여 업체의 생산 관리 효율의 향상을 기대한다.

특수영양식품을 적용한 상업성 비만관리 프로그램의 비만도와 건강위험 감소 효과에 관한 연구 (A Study of Effect of commercial obesity management program using the special nutrient foods on weight control & Health risk reduction)

  • 김상연;구선영;박민정;김인혜;최유미;장유경
    • 대한지역사회영양학회:학술대회논문집
    • /
    • 대한지역사회영양학회 2003년도 춘계학술대회 및 비만ㆍ다이어트 박람회
    • /
    • pp.120-120
    • /
    • 2003
  • 최근 들어 국내에서는 체중조절이 사회적인 문제로 다루어질 만큼 커다란 관심의 대상이 되고 있으며, 이에 체중조절을 시도하는 사람들도 급속히 증가하고 있어 이와 관련된 상업성 다이어트 업체들도 현저히 늘어나고 있는 실정이다. 한편, 특정 다이어트제품의 효능평가에 관한 연구는 보고되고 있으나 전체적인 상업성 비만관리 프로그램의 진행방법에 대한 내용이나 프로그램의 실제적인 체중감량 정도와 안정성 평가 등에 대한 연구보고는 전무한 실정이다. (중략)

  • PDF

시지각 진단 프로그램의 모형개발을 위한 구성요소 및 변인 추출 (Elicitation Elements and Variables for a Rrototype Development of Visual Perception Test Program)

  • 안성혜
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
    • /
    • pp.401-404
    • /
    • 2003
  • 현재 특수교육이나 작업치료에서 사용되고있는 시지각 발달검사 도구들은 종이에 인쇄된 형식으로 지필식 방법을 사용한다 검사과정에 치료사나 심리상담사들의 개별적인 설명 및 지도가 필요하며, 시지각의 반응시간과 공간 지각능력 등의 정확한 측정이 어렵고, 검사결과에 대한 분석 또한 수작업으로 이루어지고 있어 한계성의 문제가 제기된다. 본 논문은 웹 기반 시지각 진단 프로그램의 개발을 위해 먼저, 시지각 진단프로그램 모형 구성을 위한 제 요소 및 신뢰도의 타당성을 입증하기 위한 변인들을 추출하고자 한다. 이를 통해 시지각 진단 분석결과의 컴퓨터 처리 및 데이터 축적을 통한 업무 자동화의 효과와 시지각 진단 평가의 한국형 표준화 작업을 기대할 수 있다.

  • PDF

3D 특수 분장 마스크 시뮬레이션 프로그램 개발과 활용 (제2보) (3D Special Makeup Mask Program Development and Utilization (Ver. 2))

  • 방기정;김진서
    • 패션비즈니스
    • /
    • 제19권5호
    • /
    • pp.63-76
    • /
    • 2015
  • The purpose of this study was to design a training program for utilization of 3D special makeup mask program. This study was conducted with a 3D computer graphics software program, for special makeup mask using a variety of creative educational models and case study with comparative analysis. The makeup program applied to the majors and liberal arts classes for program design. Inthis study, the selected major courses included ' stage make up ', make up application', and illustrations and color '. Students were required to take a class targeted to questionnaire completion and analysis. The research method included literature search, and Internet navigation, of experimental research. The research targeted select college students attending a 4-year university located in Dae-jeon, Korea. ETRI's "3D mask special makeup simulation program" was used in support. A survey of the study conducted from September 1, 2013, to August 30, 2014, showed a total of 94 additional statistical analyses. First, grade 3 44.6% was attained by 91.7% of the first year student majoring in liberal arts classes, Second, students' in the 3D special dress up mask program Interestingly, attained high recognition in its mastering, usability, and creativity. Furthermore, the major student satisfaction was higher for the '3D special makeup mask program. Third, students '3D special dress up was one of the biggest advantages of the program', the mask ' that models 3D ' faces. In addition, the student's delicate dress called for critical technology skills. It is thought to be suitable for practical training and improving the efficiency and performance if applied to universities and beauty schools, such as the regular high school curriculum through research.

특수건강진단에 대한 근로자의 인식과 태도에 영향을 미치는 요인 (Factors Influencing Workers' Perception and Attitude Toward Special Periodic Health Screening Test)

  • 남시현;감신;박재용
    • Journal of Preventive Medicine and Public Health
    • /
    • 제28권2호
    • /
    • pp.334-346
    • /
    • 1995
  • 특수건강진단에 대한 근로자들의 태도에 영향을 미치는 요인들을 조사하기 위해 대구지역의 29개 사업장에서 특수건강진단 수검근로자들에게 자기기입식 설문조사를 실시하여 그중 779명을 대상으로 하여 분석하였다. 건강믿음모형을 일부 변형하여, 특수건강진단에의 자발적 수검 여부와 필요성 인지를 최종적인 종속변수로 한 새로운 연구모형을 만들어서 이들에 영향을 미치는 요인들을 분석하였다. 특수건강진단에 대한 필요성 인지율은 77.2%, 자발적 수검율은 79.2%로 나타났다. 자발적 수검 여부에는 특수건강진단에 대한 필요성 인지, 유익성, 행동계기가 주요 영향요인으로 제시되었으며, 특수건강진단에 대한 필요성 인지에는 직업병에 대한 감수성 및 심각성, 특수건강진단에 대한 지식, 회사의 지지도가 통계적으로 유의한 영향을 미쳤다. 직업병에 대한 감수성 및 심각성에는 성, 연령, 학력, 직업경력, 보건교육경험이, 특수건강진단에 대한 지식에는 연령, 학력, 직업경력, 질병통제위가, 특수건강진단에 대한 유익성에는 연령, 질병통제위, 건강자부심, 보건교육경험이 유의한 영향을 미치는 변수로 나타났다. 이러한 결과로 미루어 볼 때 특수건강진단에 대한 자발적 수검률과 필요성 인지율을 높이기 위해서는, 직업병 판정을 받은 사업장에서는 그 사실을 널리 알려 직업병에 대한 경각심을 높여야 하며, 특수건강진단의 결과를 근로자 본인에게 바로 통보하여야 하고, 회사의 적극성을 높이기 위해 회사간부 대상의 홍보 및 교육 프로그램이 필요할 것으로 생각된다. 보건교육 경험이 특수건강진단에 대한 지식과 유익성, 직업병에 대한 감수성 및 심각성에 영향을 미치는 것으로 보아, 앞으로의 보건교육은 여성, 저연령, 저학력, 저경력자 위주로 이루어져야 하고, 교육 실시 횟수를 늘이고 직업관련 내용을 더 많이 포함하여야 할 것으로 생각된다. 더불어 특수건강진단의 결과로 인해 근로자 본인에게 불이익이 돌아가지 않도록 배려되어야 할 것이다.

  • PDF

가상현실 기반 중재 프로그램이 지적장애학생의 카페에서의 의사소통 능력과 수업태도에 미치는 효과 (The Effect of Virtual Reality based Intervention Program on Communication Skills in Cafe and Class Attitudes of Students with Intellectual Disabilities)

  • 이태수
    • 한국융합학회논문지
    • /
    • 제10권3호
    • /
    • pp.157-165
    • /
    • 2019
  • 이 논문은 가상현실 기반 중재 프로그램이 지적장애학생의 직업교육에 있어 카페에서의 고객 대응을 위한 의사소통 능력과 수업태도에 미치는 효과를 파악하는데 주요한 목적이 있었다. 이를 위하여 특수학교 4개교의 고등부에 재학하고 있는 지적장애학생 30명을 실험대상으로 선정하였고, 연구 대상 학생들을 실험집단과 통제집단으로 나누었다. 실험집단은 바리스타 가상현실 프로그램을 적용한 중재 프로그램 중재에 참여하였고, 통제집단은 전통적인 중재 프로그램에 참여하였다. 실험은 여름방학을 이용하여 일주일에 5회씩 4주에 걸쳐 실시되었고, 각 수업은 50분씩 진행되었다. 의사소통 능력과 수업태도에 관하여 사전 평가와 사후 평가를 실시하였고, 평가 자료는 독립표본 t검증을 통하여 분석하였다. 연구 결과, 가상현실 기반 중재 프로그램을 받은 실험집단이 전통적인 중재를 받은 통제집단보다 카페에서 일을 하는데 있어 필요한 의사소통 능력이 향상되었고, 수업 태도도 더 긍정적으로 나타났음을 확인할 수 있었다. 이는 곧 가상현실 기반 중재 프로그램이 지적장애학생의 전환교육에 있어 유용하게 활용될 수 있는 가능성이 있음을 보여준 결과라 하겠다.