• 제목/요약/키워드: Batch verification

검색결과 52건 처리시간 0.029초

Saccharomyces cerevisiae deletion mutant의 세라마이드 생합성 (Biosynthesis of ceramide by deletion mutant of Saccharomyces cerevisiae)

  • 김세경;노용호;윤현식
    • KSBB Journal
    • /
    • 제24권1호
    • /
    • pp.25-29
    • /
    • 2009
  • Saccharomyces cerevisiae의 deletion mutant를 이용하여 ydc1, ypc1, scs7, sur1, csg2, ipt1, Icb4, Icb5, dpll의 deletion이 세라마이드의 생산에 미치는 영향을 고찰하였다. 세라마이드는 ELSD가 연결된 HPLC를 통하여 분석하였으며 ${\triangle}$ydc1 mutant의 세라마이드 생산량이 6 mg ceramide/g cell로 최대량을 나타내었으며 ${\triangle}$sur1 mutant, ${\triangle}$lcb5 mutant, ${\triangle}$dpll mutant의 경우 control로 사용한 BY4742와 비슷한 세라마이드 생산량을 나타내었고, 그 외 ${\triangle}$ypc1 mutant, ${\triangle}$scs7 mutant, ${\triangle}$csg2 mutant, ${\triangle}$ipt1 mutant, ${\triangle}$lcb4 mutant는 BY4742보다 낮은 세라마이드 생산량을 나타내었다.

Adaptive On-line State-of-available-power Prediction of Lithium-ion Batteries

  • Fleischer, Christian;Waag, Wladislaw;Bai, Ziou;Sauer, Dirk Uwe
    • Journal of Power Electronics
    • /
    • 제13권4호
    • /
    • pp.516-527
    • /
    • 2013
  • This paper presents a new overall system for state-of-available-power (SoAP) prediction for a lithium-ion battery pack. The essential part of this method is based on an adaptive network architecture which utilizes both fuzzy model (FIS) and artificial neural network (ANN) into the framework of adaptive neuro-fuzzy inference system (ANFIS). While battery aging proceeds, the system is capable of delivering accurate power prediction not only for room temperature, but also at lower temperatures at which power prediction is most challenging. Due to design property of ANN, the network parameters are adapted on-line to the current battery states (state-of-charge (SoC), state-of-health (SoH), temperature). SoC is required as an input parameter to SoAP module and high accuracy is crucial for a reliable on-line adaptation. Therefore, a reasonable way to determine the battery state variables is proposed applying a combination of several partly different algorithms. Among other SoC boundary estimation methods, robust extended Kalman filter (REKF) for recalibration of amp hour counters was implemented. ANFIS then achieves the SoAP estimation by means of time forward voltage prognosis (TFVP) before a power pulse occurs. The trade-off between computational cost of batch-learning and accuracy during on-line adaptation was optimized resulting in a real-time system with TFVP absolute error less than 1%. The verification was performed on a software-in-the-loop test bench setup using a 53 Ah lithium-ion cell.

VANET환경에서의 효율적인 그룹서명기반 메시지 인증 기법에 관한 연구 (A Study on Message authentication scheme based on efficient Group signature in VANET)

  • 김수현;이임영
    • 정보보호학회논문지
    • /
    • 제22권2호
    • /
    • pp.239-248
    • /
    • 2012
  • VANET(Vehicular Ad-hoc Network)는 MANET(Mobile Ad-hoc Network)의 한 형태로, 다수의 차량들이 무선통신을 이용하여 차량 간 통신 또는 차량과 RSU(Road Side Unit)사이의 통신을 제공하는 차세대 네트워킹 기술이다. 특히, 운전자의 안전에 직접적인 영향을 끼칠 수 있는 V2V 통신의 경우 차량 간의 안전한 통신을 위해 차량 인증 및 조건부 프라이버시 보호 등이 반드시 고려되어야 한다. 이를 제공하기 위해서 인증 및 조건부 프라이버시, 부인방지 기능을 제공할 수 있는 그룹 서명 기법을 사용한 보안 기술들이 다양하게 연구되고 있다. 본 논문에서는 빈번한 가입과 탈퇴로 인한 불필요한 통신을 최소화 하고, 그룹 관리자에 의해 생성되는 차량 개인서명키에 대한 키 위탁문제를 해결하기 위한 그룹서명방식을 제안한다. 또한 본 논문에서는 다수의 차량 간 통신 시에 보다 효율적인 메시지 검증을 위해 BloomFilter를 이용한 메시지 일괄 검증 기법을 제안한다.

개방형 시스템 아키텍처 기반의 소형 민간 무인항공기 시스템 개발 및 검증 방법 (Development and Verification Methodology for Small Civil Unmanned Aerial Vehicle System based on Open System Architecture)

  • 조현철;박근영
    • Journal of Platform Technology
    • /
    • 제8권2호
    • /
    • pp.32-43
    • /
    • 2020
  • 무인 항공기 시스템은 주로 군사용 위주로 운용되어 왔으나, 민간 분야에서도 활발히 이용되고 있다. 민간 분야에서는 주로 저비용의 소형 무인 항공기 시스템을 이용하여 다양한 산업분야에서 이용되고 있다. 이러한 무인 항공기 시스템에서 운용되는 소프트웨어는 공통적인 기능들이 많이 존재한다. 하지만 이러한 특성에도 불구하고 하드웨어 장치가 변경되면 소프트웨어를 수정해야 하는 문제가 발생할 수 있다. 이러한 문제는 무인 항공기 시스템에서 상호 운용성, 모듈성, 이식성을 저하시킨다. 상기 문제들을 해결하기 위해 개방형 시스템 아키텍처가 제안되었으며, 본 논문에서는 다양한 개방형 시스템 아키텍처들 중 FACE(Future Airborne Capability Environment)를 기반으로 동작하는 무인 항공기 시스템 소프트웨어 구조를 제안한다. 본 논문에서 제안하는 소형 무인항공기 시스템은 소량 다품종으로 공급되는 민간 분야에서 다양한 플랫폼의 무인 항공기 시스템을 지원할 수 있으며, 소프트웨어에 대한 통합과 이식성이 뛰어난 장점을 가진다. 마지막으로 본 논문에서는 공개된 개발도구를 기반으로 하는 FACE 기반 무인 항공기 시스템 소프트웨어 개발 방법과 적합성 테스트에 대해 서술한다.

  • PDF

민간기관 모바일 전자고지서비스를 위한 연계정보 변환기준 수립에 대한 연구 (A Study on Establishment of Connecting Information Conversion Criteria for Mobile Electronic Notification Service of Private Institutions)

  • 김종배
    • 문화기술의 융합
    • /
    • 제7권4호
    • /
    • pp.735-743
    • /
    • 2021
  • 모바일 전자고지서비스는 지류를 사용하여 우편으로 송달하던 고지서 대신 공인전자문서중계자를 통해 모바일 전자고지서를 본인명의 스마트폰으로 송달하는 서비스이다. 전자고지서비스 제공을 위해서는 발송기관과 공인전자문서중계자가 간의 동일한 이용자를 식별하기 위해 정보가 필요하다. 본 논문에서는 모바일 전자고지서비스를 위해 이용자 식별정보로 사용하는 연계정보 (Connecting Information: CI)의 안전한 변환과 활용을 위한 기준을 제안한다. 제안한 방안에서는 전자고지문 발송요청기관인 민간기관이 이용자의 주민등록번호를 본인확인기관에게 제공하여 연계정보로 변환할 시 그 적정성에 대해 검증하기 위한 기술적 관리적 심의기준과 처리 및 활용방안을 제안함으로써 안전하고 효율적인 모바일 전자고지서비스가 가능할 것이다. 주민등록번호를 연계정보로 변환 요청 시 적정성 심의기준을 제시함으로써 관련 기관들이 보다 효과적으로 전자고지서비스를 제공할 수 있을 것이다. 제안한 방안을 모바일 전자고지서비스에 적용함으로써 서비스 활성화와 이용자 개인정보 보호 강화에 기여할 수 있다.

Analysis of Time-Series data According to Water Reduce Ratio and Temperature and Humidity Changes Affecting the Decrease in Compressive Strength of Concrete Using the SARIMA Model

  • Kim, Joon-Yong
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권10호
    • /
    • pp.123-130
    • /
    • 2022
  • 본 논문은 건설현장의 콘크리트 붕괴사고를 사전에 예방하기 위한 조치 중 하나로 감수율에 따른 콘크리트강도 저하에 영향을 미치는 일일 시간대별 변화와 온도의 변화를 시계열데이터로 축적된 기상청 자료를 기반으로 분석했다. 감수율 발생 구간의 예측을 확인할 신뢰성 있는 모델로 규칙적이고 명확한 시계열데이터 모델에 적합한 SARIMA모델을 통하여 p_value는 0.5 이하, coef는 일방향으로 나타나는 등 검증 항목들이 신뢰성 확보에 유의미한 결과를 얻었다. 이러한 신뢰를 바탕으로 확보한 데이터를 이용하여 시간대별 온도변화와 구간별 감수율을 분석한 결과 7~8월, 12~13시, 29~31℃ 구간이 가장 큰 감수율을 나타냄을 알 수 있다. 연구 결과를 이용하여 연구 결과 구간의 요인이 발생하면 배치플랜트에서 물-시멘트 배합설계 시 감수율을 반영한 레미콘을 생산하여 감수율에 따른 콘크리트 압축강도 저하를 예방할 수 있을 것으로 기대된다.

LXC 환경을 이용한 한국형 합동 전술데이터링크체계의 소프트웨어 모의시험에 관한 연구 (A Study on the Software Simulation Test of the Joint Tactical Data Link System Using the Linux Container Environment)

  • 함형석;구영훈;송대영
    • 한국전자통신학회논문지
    • /
    • 제18권6호
    • /
    • pp.1125-1132
    • /
    • 2023
  • 전장 환경에서 점차 네트워크의 중요성이 확대되고 있다. 시간이 지날수록 한국형 합동 전술데이터링크 체계에서 사용하는 전술데이터링크의 종류가 많아지고 있으며 그만큼 전술데이터링크 시스템을 탑재한 군의 무기체계가 증가하고 있다. 광범위해지는 전장에 안정적인 소프트웨어를 제공하기 위해 철저한 품질 검증이 요구된다. 본 연구는 한국형 합동 전술데이터링크 체계사업의 안정성 검증을 위해 리눅스 컨테이너 환경을 이용하여 최소한의 물리적 공간과 하드웨어 자원으로 다양한 모의시험을 수행하는 방안에 대해 살펴본다. 이를 통해 유사한 성격의 리눅스 기반 체계사업에서도 한정된 시험환경에서 최대한의 시험 역량을 확보하여 보다 높은 안정성과 신뢰성을 확보하는데 기여하고자 한다.

Clostridium acetobutylicum의 대사망의 동적모델 개발 (Development of the Dynamic Model for the Metabolic Network of Clostridium acetobutylicum)

  • 김우현;엄문호;이상현;최진달래;박선원
    • Korean Chemical Engineering Research
    • /
    • 제51권2호
    • /
    • pp.226-232
    • /
    • 2013
  • 부탄올을 생산하는 발효반응기에서는 아세톤, 부탄올 그리고 에탄올을 주로 생산하는 Clostridium acetobutylicum이 사용된다. 본 연구에서는 이 미생물을 이용한 발효공정의 개발을 위하여, Clostridium acetobutylicum ATCC824의 대사망의 동적 모델이 제안되었다. 많은 효소기반의 대사반응들로 구성된 대사망의 복잡성과 대사반응속도식의 비선형적 특성 때문에, 유전 알고리듬과 Levenberg-Marquardt 알고리듬이 결합된 효율적인 최적화 기법을 이용하여 회분식 발효반응기의 실험 결과값으로 58개의 반응속도상수들을 결정하였다. 그리고 이 반응속도상수 결정의 정확도를 제고하기 위하여, 유전자 조작을 통해 특정 대사경로를 차단한 미생물을 이용했을 때의 실험과 초기 글루코스의 농도를 다르게 한 실험들을 수행하여 개발된 대사망의 동적모델을 분석하였다. 결과적으로, 본 연구를 통해서 개발된 대사망 모델의 정확도를 확인하였고, 이를 활용하여 발효반응공정의 생산성 향상을 위한 적절한 클로스트리듐의 개발과 발효반응기의 최적화를 위한 연구에 기여할 수 있을 것으로 기대된다.

중재자를 이용한 ID기반 전자서명과 키 업데이팅 전자서명 기법 (Mediated ID based signature scheme and key updating signature scheme)

  • 주학수;김대엽
    • 정보처리학회논문지C
    • /
    • 제14C권6호
    • /
    • pp.463-470
    • /
    • 2007
  • 공개키기반구조에서 공개키 인증서의 효율적 폐지방법은 가장 중요한 연구 분야 중 하나이다. 2001년 Boneh et al.는 RSA 기반 암호시스템에서 사용자의 공개키 인증서를 즉각적으로 폐지할 수 있는 mediated RSA 기법을 제안하였다. 기본 mediated RSA 구조는 Security Mediator(SEM)이라는 중재자를 이용하는 것으로, 사용자가 메시지에 서명 혹은 복호화 연산을 수행하기 위해서는 중재자로부터 토큰을 먼저 얻어야만 한다. 즉, 사용자의 공개키 인증서가 유효하지 않으면 중재자인 SEM은 토큰발행을 중지함으로써 즉각적으로 사용자의 서명 능력 혹은 복호화 능력을 폐지시킬 수 있게 된다. 최근 Libert와 Quisquater는 mediated RSA의 SEM 구조를 이용한 즉각적인 폐지기법이 Boneh-Franklin의 ID 기반 암호기법과 GDH그룹에 기반한 전자서명에도 적용될 수 있다는 것을 보였다. 이 논문에서는 먼저 안전한 ID기반 전자서명(IBS)에 SEM의 구조가 적용된 중재자를 이용한 ID기반 전자서명기법, mIBS를 제안한다. 제안한 기법은 여러 서명값들을 한 번에 검증할 수 있는 배치검증 성질을 유지하게 된다. 또한, Libert와 Quisquater가 제안한 GDH그룹에 기반한 전자서명기법은 개인키의 노출 시 이전 서명값에 대한 위조가 가능하게 되는 순방향 안전성이 보장되지 않는다. 이에, 제안된 mIBS에 기반하여 중재자 기반의 키 업데이팅 전자서명 기법인 mKUS를 설계함으로써 순방향 안전성을 제공하였다.

용어 사전의 특성이 문서 분류 정확도에 미치는 영향 연구 (Analyzing the Effect of Characteristics of Dictionary on the Accuracy of Document Classifiers)

  • 정해강;김남규
    • 경영과정보연구
    • /
    • 제37권4호
    • /
    • pp.41-62
    • /
    • 2018
  • 다양한 소셜 미디어 활동과 인터넷 뉴스 기사, 블로그 등을 통해 유통되는 비정형 데이터의 양이 급증함에 따라 비정형 데이터를 분석하고 활용하기 위한 연구가 활발히 진행되고 있다. 텍스트 분석은 주로 특정 도메인 또는 특정 주제에 대해 수행되므로, 도메인별 용어 사전의 구축과 적용에 대한 중요성이 더욱 강조되고 있다. 용어 사전의 품질은 비정형 데이터 분석 결과의 품질에 직접적인 영향을 미치게 되며, 분석 과정에서 정제의 역할을 수행함으로써 분석의 관점을 정의한다는 측면에서 그 중요성이 더욱 강조된다. 이렇듯 용어 사전의 중요성은 기존의 많은 연구에서도 강조되어 왔으나, 용어 사전이 분석 결과의 품질에 어떤 방식으로 어떤 영향을 미치는지에 대한 엄밀한 분석은 충분히 이루어지지 않았다. 따라서 본 연구에서는 전체 문서에서의 용어 빈도수에 기반을 두어 사전을 구축하는 일괄 구축 방식, 카테고리별 주요 용어를 추출하여 통합하는 용어 통합 방식, 그리고 카테고리별 주요 특질(Feature)을 추출하여 통합하는 특질 통합 방식의 세 가지 방식으로 사전을 구축하고 각 사전의 품질을 비교한다. 품질을 간접적으로 평가하기 위해 각 사전을 적용한 문서 분류의 정확도를 비교하고, 각 사전에 고유율의 개념을 도입하여 정확도의 차이가 나타나는 원인을 심층 분석한다. 본 연구의 실험에서는 5개 카테고리의 뉴스 기사 총 39,800건을 분석하였다. 실험 결과를 심층 분석한 결과 문서 분류의 정확도가 높게 나타나는 사전의 고유율이 높게 나타남을 확인하였으며, 이를 통해 사전의 고유율을 높임으로써 분류의 정확도를 더욱 향상시킬 수 있는 가능성을 발견하였다.