• 제목/요약/키워드: Model checking

검색결과 569건 처리시간 0.025초

IEEE754 단정도 배정도를 지원하는 부동 소수점 변환기 설계 (Floating Point Converter Design Supporting Double/Single Precision of IEEE754)

  • 박상수;김현필;이용석
    • 대한전자공학회논문지SD
    • /
    • 제48권10호
    • /
    • pp.72-81
    • /
    • 2011
  • 본 논문에서는 IEEE754 표준의 단정도 및 배정도를 지원하는 새로운 부동소수점 변환기를 제안하고 설계하였다. 제안된 변환기는 부호 있는 정수(32비트/64비트)와 부동소수점(단정도/배정도) 간 변환, 부호 없는 정수(32비트/64비트)를 부동소수점(단정도/배정도)으로의 변환, 부동소수점 단정도와 배정도 간 변환뿐만 아니라 부호 있는 고정소수점(32비트 64비트)과 부동소수점(단정도 배정도) 간 변환을 지원한다. 모든 입력 형태를 하나의 형태로 만드는 새로운 내부 형태를 정의함으로써 출력 형태의 표현 범위에 따른 오버플로우 검사를 쉽게 하도록 하였다. 내부 형태는 IEEE754 2008 표준에서 정의된 부동소수점 배정도의 확장된 형태(extended format)와 유사하다. 이 표준에서는 부동소수점 배정도의 확장된 형태(extended format)의 최소 지수부 비트폭은 15비트라고 명시하지만 제안된 컨버터를 구현하는데 11비트만으로도 충분하다. 또한 덧셈기가 대신 +1 증가기를 사용하면서 라운딩 연산과 음수의 정확한 표현이 가능하도록 변환기의 라운딩 스테이지를 최적화하였다. 단일 클럭 사이클 데이터패스와 5단 파이프라인 데이터패스를 설계하였다. 변환기의 두 데이터패스에 대한 HDL 모델을 기술한 후에 Synopsys design compiler를 사용하여 TSMC 180nm 공정 라이브러리로 합성하였다. 합성 결과의 셀 면적은 12,886 게이트(2입력 NAND 게이트 기준)이고 최대 동작 주파수는 411MHz이다.

CMAF 기반 Mobile MMT를 활용한 콘텐츠 삽입 기술 (Content Insertion Technology using Mobile MMT with CMAF)

  • 김준식;박성환;김두환;김규헌
    • 방송공학회논문지
    • /
    • 제25권4호
    • /
    • pp.560-568
    • /
    • 2020
  • 최근 네트워크 기술이 발달함에 따라 스트리밍 서비스의 사용이 증가하고 있다. 그러나 코덱이나, 프로토콜, 포맷 및 다양한 장치들로 인해 스트리밍 서비스의 복잡성이 증가하고 있으며, 같은 콘텐츠를 스트리밍하는 경우에도 서비스의 형태에 맞게 다시 인코딩하는 과정이 필요하다. 이와 같은 스트리밍 서비스의 복잡성 및 대기시간의 문제점을 해결하고자 MPEG(Moving Picture Experts Group)에서는 공통 미디어 파일 포맷(CMAF: Common Media Application Format)을 표준화하였다. 이와 더불어, 통신망을 활용한 고품질 AV(Audio-Video) 콘텐츠의 전송이 가능해짐에 따라, 국내 UHD(Ultra High Definition) 방송 표준은 방송망과 통신망을 활용한 하이브리드 서비스 규격으로 제정되었다. 하이브리드 서비스는 방송망을 통해 전송된 콘텐츠의 부가적인 정보를 통신망을 활용하여 전송하거나, 사용자 맞춤형 콘텐츠 제공 등과 같은 다양한 서비스를 가능케 한다. 국내 지상파 UHD 전송 표준은 MMT(MPEG Media Transport)를 활용하고 있으며, Mobile MMT는 모바일 망에 특화된 기능을 제공하기 위해서 MMT를 확장한 표준이다. 본 논문에서는 MMT 및 Mobile MMT의 시그널링 메시지를 활용하여 다양한 스트리밍 서비스에 적합한 CMAF 콘텐츠의 삽입 방안을 제안한다. 또한, 방송망과 통신망을 활용한 이종망 환경에서의 콘텐츠 삽입 시스템 모델을 제안하고, 콘텐츠 삽입의 결과를 확인하여 제안 기술의 타당성을 검증한다.

치과위생사 직무와 개인의 창의성에 의한 자기평가 연구 (A study on the self-evaluation of job performance and creativity of dental hygienists)

  • 홍선화;구경미
    • 한국치위생학회지
    • /
    • 제10권6호
    • /
    • pp.1037-1048
    • /
    • 2010
  • Objectives : The awareness of health care need increasing attention from the public along with changing professional human-resources activity. As there are increasing social demand for the roles and professionalism of dental hygienists, the purpose of this study was to examine the job performance, creativity and organizational climate of dental hygienists by their own self-diagnostic evaluation in an attempt to help enhance their work ability. Methods : According to the data released as August 2008 by the Dental Association and public health centers in Gwangju, 735 dental hygienists worked at 425 dental clinics. The subjects in this study were 156 dental hygienists at 85 dental clinics who were selected by proportionate sampling method from among the dental hygienists. After an interview survey was conducted in person, the answer sheets from 132 respondents were analyzed except 24 incomplete ones. The questionnaire used in this study consisted of 49 items. A five-point Likert scale was used and SPSS 12.0 program was analyzed the data. Results : 1. As a result of checking the types of works, treatment cooperation(54%), and oral health education often(45%), They weren't responsible for preventive treatment(42%). 2. When they made a self-diagnostic evaluation of creativity and organizational climate, they put the highest value on their autonomy(2.21), followed by positive attitude(2.10). Out of seven organizational climate, challenging spirits(2.81) ranked highest, followed by reliability(2.66). 3. Major management eopmubyeol individual creativity compared with three business relationships and a positive attitude in the case of the high group received oral health education and care management services in a group doing the most was General office work and office assistance work in the medical assistance group that was doing business primarily. 4. In the relationship between self-assesment score and three performance duties, Positive difference was noted in the group with positive attitude and elevated autonomy in terms of performing oral health education. Conclusions : As a result, individual creativity and organization of the atmosphere, each detail, through analysis of the self-assessment model, developed guide on the investigation by doing a dental hygienist, a unique business promotion and Enlargement of the study suggested the need to be considered is.

저노출 카메라와 웨이블릿 기반 랜덤 포레스트를 이용한 야간 자동차 전조등 및 후미등 인식 (Vehicle Headlight and Taillight Recognition in Nighttime using Low-Exposure Camera and Wavelet-based Random Forest)

  • 허두영;김상준;곽충섭;남재열;고병철
    • 방송공학회논문지
    • /
    • 제22권3호
    • /
    • pp.282-294
    • /
    • 2017
  • 본 논문에서는 차량이 움직일 때 발생하는 카메라의 움직임, 도로상의 광원에 강건한 지능형 전조등 제어 시스템을 제안한다. 후보광원을 검출할 때 카메라의 원근 범위 추정 모델을 기반으로 한 ROI (Region of Interest)를 사용하며 이는 FROI (Front ROI)와 BROI (Back ROI)로 나뉘어 사용된다. ROI내에서 차량의 전조등과 후미등, 반사광 및 주변 도로의 조명들은 2개의 적응적 임계값에 의해 세그먼트화 된다. 세그먼트화 된 광원 후보군들로부터 후미등은 적색도(redness)와 Haar-like특징에 기반한 랜덤포레스트 분류기에 의해 검출된다. 전조등과 후미등 분류 과정에서 빠른 학습과 실시간 처리를 위해 SVM(Support Vector Machine) 또는 CNN(Convolutional Neural Network)을 사용하지 않고 랜덤포레스트 분류기를 사용했다. 마지막으로 페어링(Pairing) 단계에서는 수직좌표 유사성, 광원들간의 연관성 검사와 같은 사전 정의된 규칙을 적용한다. 제안된 알고리즘은 다양한 야간 운전환경을 포함하는 데이터에 적용한 결과, 최근의 관련연구 보다 향상된 검출 성능을 보여주었다.

사회적 아이덴티티의 위협과 영역 외 보상소비의도 (Social Identity Threat and Across-Domain Compensatory Consumption Intention)

  • 최낙환
    • 산경연구논집
    • /
    • 제10권11호
    • /
    • pp.35-47
    • /
    • 2019
  • Purpose: Current study focused on investigating the effects of the self-dissociation as a thought in which consumers dis-identify or dissociate with the threatened in-group and the escapism as a tendency of consumers' distracting themselves and avoiding their thoughts about the in-group under severe but adoptable criticism by turning their attention elsewhere on across-domain compensatory consumption intention. And It explored not only the positive roles of undesirability thought against the in-group in consumers' forming the self-dissociation and the escapism, but also the effects of negative emotion to the in-group felt at the place of being exposed to the criticism against the in-group on the escapism. Research design, data, and methodology: The experiment was performed with the in-group-threatening single factor within-subject design. Questionnaire data were collected from 196 undergraduate students, and the data were used to testing research hypotheses by structural equation model of Amos 21.0. Results: First, both the self-dissociation of consumers' dis-identifying with the in-group criticized severely by others and the escapism of their deliberately directing their thoughts and distracting their attention away from thinking the in-group positively influenced on the across-domain compensatory consumption intention. Second, the negative emotion positively influenced on the escapism. Third, the undesirability thought to the in-group under the severe criticism positively effected on the self-dissociation as well as the escapism. Putting in the nutshell, the findings of this study are consistent with the idea that consumers can overcome the negative self-discrepancy on one dimension of their social identity by distracting themselves and avoiding thinking about the threatened in-group to find meaning on another dimension which might lead them to the place of doing the across-domain compensatory consumption. Conclusions - Focusing on the results of this study, checking which aspects of consumers' social identity are linked to products or brands is at issue to marketers when the consumers are faced with the criticism against the in-group. The marketers should build the messages about their products or brand not related to the checked aspects, and communicate the messages, to lead the consumers to the place of doing the across-domain compensatory consumption by their products or brands.

복잡한 환경에서 Grid기반 모폴리지와 방향성 에지 연결을 이용한 차선 검출 기법 (Lane Detection in Complex Environment Using Grid-Based Morphology and Directional Edge-link Pairs)

  • 림청;한영준;한헌수
    • 한국지능시스템학회논문지
    • /
    • 제20권6호
    • /
    • pp.786-792
    • /
    • 2010
  • 본 논문은 복잡한 도로 환경에서 차선을 정확하게 찾는 실시간 차선 검출법을 보인다. 기존의 많은 방법들은 대게 후처리 과정에서 차선 안쪽에 존재하는 잡음을 찾아 차선의 위치를 찾지만, 제안하는 방법은 특징 추출 단계에서 가능한 많은 잡음을 제거하므로 후처리 과정에서 검색 영역을 최소화한다. grid기반 모폴로지 연산은 우선 관심영역을 능동적으로 생성한 후, 모폴로지의 닫기 연산을 통해 에지 들을 연결한다. 그리고 방향성 에지 연결 기법을 통하여 유효한 방향에지를 찾고 사전에 구해진 영상 내 차선의 높이와 두 차선 간의 폭 관계를 이용하여 두 개의 차선을 군집화한다. 마지막으로 차선의 색상은 YUV색상 공간에서 두 개의 연결된 에지 안쪽을 검사하여 Bayesian확률 모델을 사용하여 추정한다. 제안하는 방법의 실험 결과는 다수의 불필요한 에지 군집이 존재하는 복잡한 도로 환경에서 효과적으로 도로 에지를 감별하였으며, 제안하는 알고리즘은 해상도 $320{\times}240$ 영상으로 10ms/frame의 속도에서 약92%의 정확도를 보였다.

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 도구를 이용하여 실험하였다. 실험결과 제안프로토콜은 안전성을 충족했으며 문제없이 종료됨을 확인하였다.

학습지향성과 창의적 사고능력의 관계에 관한 연구 - 전문지식과 동기의 조절된 매개효과 - (A Study on the Relationship between Learning Orientation and Creative Thinking Skill - moderated mediating effect of expertise and motivation -)

  • 김현우;송찬섭;이다정;신호균
    • 디지털융복합연구
    • /
    • 제17권12호
    • /
    • pp.171-179
    • /
    • 2019
  • 본 연구는 조직에서 지식의 습득이 창의성에 미치는 영향을 확인하고자 하였다. 지식의 습득과 관련된 변수 중 학습지향성을 선정하여 이를 통해 구성원이 창의성을 발현하는 과정에 대해 분석하였다. 구체적으로 학습지향성, 전문지식, 창의적 사고능력의 매개 과정과 이들 간의 관계에서 동기의 조절효과를 실증분석하였다. 이를 위해 문헌연구를 통해 연구모형 및 가설을 설정하였고, 대구·경북에서 제조업 종사자을 대상으로 296부의 설문지를 배포·회수하여 가설을 검증하였다. 계층적 회귀분석을 통한 검증 결과, 학습지향성은 창의적사고능력에 긍정적인 영향을 미치고 전문지식은 매개효과가 있는 것을 확인하였다. 그리고 이러한 매개 관계에서 동기의 조절효과를 확인하였다. 이러한 연구결과는 창의성의 발현에 대해 구성요소의 관계를 보다 상세하게 확인하고, 학습지향성이 미치는 영향에 대해 규명함으로써 시사성이 있다고 할 수 있다. 즉, 지식의 함양을 통해 창의성이 발현되는 과정을 설명함으로써 조직 관리 방안에 가이드라인을 제공할 수 있을 것이다.

UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법 (Scenario-Driven Verification Method for Completeness and Consistency Checking of UML Object-Oriented Analysis Model)

  • 조진형;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권3호
    • /
    • pp.211-223
    • /
    • 2001
  • 본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

  • PDF

검증 자료를 활용한 가짜뉴스 탐지 자동화 연구 (A Study on Automated Fake News Detection Using Verification Articles)

  • 한윤진;김근형
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제10권12호
    • /
    • pp.569-578
    • /
    • 2021
  • 오늘날 웹의 발전으로 우리는 각종 언론 매체를 통해 온라인 기사를 쉽게 접하게 된다. 온라인 기사를 쉽게 접할 수 있게 된 만큼 거짓 정보를 진실로 위장한 가짜뉴스 또한 빈번하게 찾아볼 수 있다. 가짜뉴스가 전 세계적으로 대두되면서 국내에서도 가짜뉴스를 탐지하기 위한 팩트 체크 서비스가 제공되고 있으나, 이는 전문가 기반의 수동 탐지 방법을 기반으로 하며 가짜뉴스 탐지를 자동화하는 기술에 대한 연구가 계속해서 활발하게 이루어지고 있다. 기존 연구는 기사 작성에 사용된 문맥의 특성이나, 기사 제목과 기사 본문의 내용 비교를 통한 탐지 방법이 가장 많이 사용되고 있으나, 이러한 시도는 조작의 정밀도가 높아졌을 때 탐지가 어려워질 수 있다는 한계를 가진다. 따라서 본 논문에서는 기사 조작의 발달에 따른 영향을 받지 않기 위하여 기사의 진위 여부를 판단할 수 있는 검증기사를 함께 사용하는 방법을 제안한다. 또한 가짜뉴스 탐지 정확도를 개선시킬 수 있도록 실험에 사용되는 기사와 검증기사를 문서 요약 모델을 통해 요약하는 과정을 추가했다. 본 논문에서는 제안 알고리즘을 검증하기 위해 문서 요약 기법 검증, 검증기사 검색 기법 검증, 그리고 최종적인 제안 알고리즘의 가짜뉴스 탐지 정확도 검증을 진행하였다. 본 연구에서 제안한 알고리즘은 다양한 언론 매체에 적용하여 기사가 온라인으로 확산되기 이전에 진위 여부를 판단하는 방법으로 유용하게 사용될 수 있다.