• 제목/요약/키워드: 검증성

검색결과 23,833건 처리시간 0.047초

기업의 사회적 책임(CSR) 인식이 조직 구성원들의 창의성에 미치는 영향 : 컴페션의 매개효과와 CSR진정성의 조절효과 (The Effect of CSR Perception On Creativity : The Mediating Effect of Compassion and the Moderating Effect of CSR Authenticity)

  • 고성훈;최용준
    • 디지털융복합연구
    • /
    • 제18권3호
    • /
    • pp.59-70
    • /
    • 2020
  • 본 연구의 목적은 국내 대기업 종업원의 CSR인식이 컴페션을 매개변수로 종업원의 창의성에 영향을 미치는지와 더불어, 그 관계가 CSR 진정성에 의해 조절되는가를 실증하는 것이다. 연구 절차는 표본 수집 후 빈도분석과 CFA분석을 수행하였고, 가설검증 및 조절효과 검증을 수행하였다. 본 연구에서는 국내 대기업에 종사하는 종업원 360명을 표본으로 실증적 분석을 수행하였다. 그 결과, 첫째, CSR인식이 컴페션에 미치는 긍정적인 영향이 유의하게 검증되었고, 컴페션이 창의성에 미치는 긍정적인 영향 역시 유의하게 검증되었다. 둘째, 종업원들의 CSR인식이 창의성에 미치는 긍정적인 효과 또한 유의하게 검증되었다. 셋째, CSR인식과 창의성의 긍정적인 관계에서 컴페션의 매개효과와 CSR진정성의 조절효과가 모두 유의하게 실증되었다. 본 연구는 종업원들의 이 기업의 CSR을 인식할 때 컴페션의 감정을 형성할 뿐 아니라 CSR의 진정성을 인식하게 될 때 개인적인 창의성 향상에 더욱 긍정적인 영향을 미치게 될 것이라는 점을 실증했다는데서 의의를 가진다.

세포배양 유래 생물의약품 생산 공정에서 Minute Virus of Mice 안전성 검증을 위한 Real-Time PCR (Real-Time PCR for Validation of Minute Virus of Mice Safety during the Manufacture of Mammalian Cell Culture-Derived Biopharmaceuticals)

  • 이동혁;조항미;김현미;이정숙;김인섭
    • 한국미생물·생명공학회지
    • /
    • 제36권1호
    • /
    • pp.12-20
    • /
    • 2008
  • 세포배양 유래 생물의약품 생산 공정에서 다양한 바이러스가 오염된 사례가 있기 때문에 바이러스 안전성 검증이 필수적이다. MVM은 동물 세포주와 동물 세포 배양 공정에 오염되는 대표적인 바이러스이다. 세포배양 유래 생물의약품의 MVM 안전성을 확보하기 위해, 세포주, 원료물질, 제조공정, 완제품에서 MVM을 정량적으로 검출하고, 제조공정에서 MVM 제거 검증을 위한 시험법으로 활용이 가능한 real-time PCR 시험법을 확립하였다. MVM에 특이적인 primer를 선별하였으며, 형광염료 SYBR Green I을 사용하여 MVM DNA 정량 검출 시험법을 최적화하였다. 세포배양 법에 의한 감염역가와 비교한 결과 real-time PCR 민감도는 $6{\times}10^{-2}TCID_{50}/mL$이었다. 확립된 시험법의 신뢰성(reliability)을 보증하기 위해 시험법 검증을 실시한 결과 특이성(specificity)과 재현성(reproducibility)이 우수함을 확인하였다. 확립된 real-time PCR을 생물의약품 제조공정 검증에 적용할 수 있는지 확인하기 위하여 인위적으로 MVM을 오염시킨 CHO 세포에서 MVM검출 시험을 실시한 결과 MVM을 감염시킨 CHO 세포와 세포배양 상청액에서 MVM을 정량적으로 검출할 수 있었다. 또한 바이러스 필터 공정에서 MVM제거 효과를 감염역가 시험법과 비교 검증한 결과 더 높은 민감도로 빠른 시간에 동일한 결과를 얻을 수 있었다. 위와 같은 결과에서 확립된 MVM real-time PCR시험법은 생물의약품 안전성 보증을 위한 세포주 검증, 생물의약품 생산 공정 검증, 바이러스 제거 공정 검증 등에서 감염역가 시험법을 대신할 수 있는 신속하고, 특이성과 민감성이 우수한 시험법임을 확인하였다.

산업제어시스템에서 랜덤리스트를 이용한 블록체인 기반 접근제어 방식에 관한 연구 (A Study on the Blockchain-Based Access Control Using Random-List in Industrial Control System)

  • 강명조;김미희
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제11권5호
    • /
    • pp.147-156
    • /
    • 2022
  • 다양한 산업을 관리하고 유지하는 산업제어시스템은 주로 외부와의 연결 없이 폐쇄적으로 운영됐지만 최근 인터넷의 발전과 ICT 기술의 도입으로 외부나 공격자의 산업제어시스템에 접근이 쉬워졌다. 잘못된 접근이나 공격은 산업제어시스템의 주요 속성인 가용성을 해칠 수 있으며, 가용성이 침해될 경우 큰 피해가 발생할 수 있다. 본 논문에서는 산업제어시스템에서 명령을 내릴 때 랜덤리스트를 생성해 검증그룹을 구성하여 명령을 검증 후 실행하며, 명령 실행 결과를 이용해 검증을 진행한 검증그룹에 피드백을 적용하는 신뢰 점수 기법을 도입한다. 이를 통해 명령 검증 요청과정에서 랜덤 생성에 발생하는 오버헤드를 줄일 수 있으며, 검증 과정에 유연성을 부여하고 시스템의 가용성을 보장할 수 있다. 시스템의 성능 분석을 위해 스마트 계약 배포 시 걸리는 시간과 가스 사용량, 명령 검증 시 가스 사용량을 측정했다. 그 결과, 기존시스템과 비교해 랜덤리스트를 생성하지만, 스마트 계약 배포에 걸리는 시간은 거의 차이가 없음을 확인했고 스마트 계약 배포에 사용되는 가스는 랜덤리스트 생성과정에서 약 1.4배 증가함을 확인했다. 하지만, 명령 검증 과정에서 명령 검증과 신뢰 점수 기법의 연산을 함께 진행함에도 랜덤 연산을 하지 않아 검증 1회당 약 9% 적은 가스를 사용해 검증 과정에 가용성을 보장한다.

BioAPI를 이용한 웹 기반 사용자 인증 시스템의 설계 (A Design of Web-based Biometric Authentication System using BioAPI)

  • 윤성근;김성훈;박충식;전병환
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 추계학술발표논문집 (하)
    • /
    • pp.1037-1040
    • /
    • 2001
  • 생체인식 기술이 차세대 보안 기술로서 주목을 받고 있으나 대부분의 생체 시스템이 독립적으로 존재하고 있어, 표준화 노력의 일환으로 세계적인 생체인식협회인 BioAPI Consortium에서 표준 BioAPI version 1.1이 제정되었다. 본 논문에서는 BioAPI에서 제안한 명세서를 토대로 하여 클라이언트-서버구조로서 웹기반 사용자 인증시스템을 설계한다. 클라이언트는 입력 장치 및 BSP에 따른 Hybrid기법을 적용함으로서 신뢰성을 부여하여 웹 상에서 사용자의 취득 가능한 여러 생체 정보를 검증 자료로 사용하고, 실 시간성을 부여하기 위하여 ActiveX를 사용하여 객체의 크기를 작게 한다. 서버는 생체검증의 기본기능인 등록, 인증, 검증을 할 수 있도록 BioAPI 인터페이스를 사용하여 BSP에 따른 기 입력된 사용자의 생체 정보를 검증하게 되며, 본 논문에서는 구조적 접근 방법을 사용한 서명과 ID 및 password 의 조합을 검증기로서 사용하게 된다. 개방형 네트워크인 웹 상에서 생체 정보를 이용한 사용자 검증시스템은 전자 상거래 등의 신원확인이 필요한 분야에 신뢰성을 제공한다.

  • PDF

임베디드 자바 프로그램의 정형 검증 (Formal Verification of Embedded Java Program)

  • 이태훈;권기현
    • 정보처리학회논문지D
    • /
    • 제12D권7호
    • /
    • pp.931-936
    • /
    • 2005
  • 임베디드 소프트웨어는 크기나 기능면에서 복잡하기 때문에 에러가 숨어있을 확률이 높다. 그래서 에러를 효과적으로 찾아낼 수 있는 방법이 절실히 요구된다. 임베디드 소프트웨어에서 잠재적인 오류를 찾아내는 기술중의 하나가 모델 체킹이며, 대표적인 연구로서 SLAM 이 있다. SLAM은 임베디드 C 프로그램의 안전성 속성을 검증하는 소프트웨어 모델 체킹 도구이다. 본 논문에서는 임베디드 자바 프로그램을 검증하는 모델 체킹 도구를 개발했다. SLAM과는 달리 자바 프로그램의 안전성뿐만 아니라 궁극성 속성을 모두 검증할 수 있다. 개발된 모델 체킹 도구를 이용하여 레고 로봇을 제어하는 임베디드 자바 프로그램의 속성을 검증하였다.

벤처기업 투자 심사를 위한 정성 평가 지표의 유효성 검증: 사례연구 (Verifying the Validity of the Qualitative Evaluation Indexes for Venture Firms' Investment Review: Case Study)

  • 김병관;김완기
    • 기술혁신연구
    • /
    • 제25권4호
    • /
    • pp.79-105
    • /
    • 2017
  • 최근 벤처캐피털의 운영 펀드 규모의 지속적 증가에 따라 투자 심사역의 업무도 대폭 증가하고 있다. 그러나 투자 판단은 심사역의 역량에 따라 많은 차이를 보이고 있다. 이에 본 연구는 '벤처 투자 실무 평가 지표'에 대한 후속 연구로서 투자 심사 평가 지표의 유효성을 검증하고자 하였다. 연구는 먼저 평가 지표를 표준화한 후, 100개 벤처 기업을 대상으로 t-검증을 실시한 결과, 투자 심사 평가 지표들은 유의미하였고 정성 평가 지표의 유효성 역시 약 85%의 적중률을 보였다. 따라서 본 연구결과가 향후 벤처기업 투자 의사 결정력 제고에 나름 기여할 수 있을 것으로 사료된다.

형식명세로 변환된 객체모델의 검증방법과 시뮬레이션 (Verification method and Simulation of Object model Converted to Formal Specification)

  • 임근
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권6호
    • /
    • pp.123-130
    • /
    • 2007
  • 본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

  • PDF

안전한 안드로이드 어플리케이션 개발을 위한 구현 단계별 보안성 검증 방안 제시 (A Proposal for "Security Verification Method for Implementation of Secure Android Mobile Application")

  • 허환석;강성훈;김승주
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제2권10호
    • /
    • pp.445-460
    • /
    • 2013
  • 최근 증가하는 모바일 어플리케이션은 다양한 모바일 기기 및 사용자 별 모바일 환경에 따라 다양하게 서비스 되고 있다. 그러나 늘어나는 모바일 어플리케이션의 보안 취약성 문제점도 크게 대두되고 있는 실정이다. 이러한 보안 문제점을 효과적으로 검증하기 위해 본 논문에서는 "모바일 앱 구현 단계별 보안성 검증 방안"을 제안하고자 한다. 이는 기존 검증 방안 보다 더욱 구체적인 항목과 넓은 범위를 확인 할 수 있어 확인 되지 않았던 추가적인 항목에 대한 보안성 체크가 가능하며, 도출된 취약점을 바탕으로 해당 취약사항의 원인 및 발생환경 체크가 가능한 개선된 방법이다.

천리안 위성을 이용한 지표면 온도의 검증 (Verification of Land Surface Temperature using COMS(Communication, Ocean and Meteorological Satellite))

  • 백종진;최민하
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2012년도 학술발표회
    • /
    • pp.99-102
    • /
    • 2012
  • 지표면 온도는 토지피복의 상태, 식생의 분포 상태, 토양수분, 증발산 등의 영향으로 많은 차이를 가지게 되며, 지면-대기의 상호순환의 중요한 인자로써 기후모델 및 농업 등의 기본적인 데이터로 사용되고 있다. 이러한 지표면의 온도를 정확하게 파악하는 것은 수문학적 관점 및 기상적인 관점에서 매우 중요하다. 기존에 LST (Land Surface Temperature, 지표면온도), ET (EvapoTranspiration, 증발산), NDVI (Normalized Difference Vegetation Index, 정규식생지수) 등의 검증이 많이 이루어진 MODIS위성의 Terra/Aqua센서는 한반도를 스캔하고 지나갈 때의 순간적인 데이터를 산출된다. 공간적인 면에서는 많은 이점이 있으나 시간적인 면에서는 시간에 따른 인자들의 변동성을 파악 하는데는 많은 문제가 있다. 그렇기 때문에 시 공간적으로 변화양상을 측정 할 수 있는 정지궤도위성의 중요성이 대두되고 있다. 본 연구에서는 국내에서 2010년 6월 27일 발사된 정지궤도위성인 천리안의 데이터를 활용하였다. 천리안 위성은 기상 센서와 해양관측 센서 그리고 통신센서를 가진 위성이다. 천리안 위성의 기상 센서는 MTSAT-1 위성과 같은 적외선 센서를 탑재하고 있으며, 평시에는 15분 단위의 데이터를 산출하게 된다. 천리안에서 제공되는 많은 Product(강우강도, 해수면온도, 가강수량, 지구방출복사 등)는 수자원 및 기상에 관련된 데이터가 제공된다. 하지만 아직 검증이 많이 이루어지지 못하였다. 그래서 천리안 위성 데이터인 지표면 온도자료를 이용하여 천리안 위성의 효율성에 대해서 알아보고자 하며, 기존의 검증이 많이 이루어진 MODIS의 데이터와의 상관성을 분석하고 지상과의 관계를 검증 및 비교하여 천리안 위성의 활용성에 대해서 알아보려고 한다.

  • PDF