• Title/Summary/Keyword: batch verification

Search Result 52, Processing Time 0.026 seconds

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

  • Kim, Se-Kyung;Noh, Yong-Ho;Yun, Hyun-Shik
    • KSBB Journal
    • /
    • v.24 no.1
    • /
    • pp.25-29
    • /
    • 2009
  • Ceramide is important not only for the maintenance of the barrier function of the skin but also for the water-binding capacity of the stratum corneum. Though the effectiveness of ceramide is not understood fully, ceramide has become a widely used ingredient in cosmetic and pharmaceutical industries. However, ceramide production from Saccharomyces cerevisiae has not been widely studied and the quantity are very low. Gene deletion in the cell is used frequently to investigate the function of gene and verification research of drug target. Specially, deletion mutant library is useful for a large amount functional analysis of gene. In this study, deletion mutants of genes on the metabolic pathway of ceramide synthesis in S. cerevisiae were grown in a batch culture and the cellular content of ceramide was measured. The ceramide content was highest in ${\triangle}$ydc1 mutant and 6 mg ceramide/g cell was obtained.

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
    • /
    • v.13 no.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.

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

  • Kim, Su-Hyun;Lee, Im-Yeong
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.22 no.2
    • /
    • pp.239-248
    • /
    • 2012
  • VANET (Vehicular Ad-hoc Network) is a type of MANET (Mobile Ad-hoc Network) which is the next-generation networking technology to provide communication between vehicles or between vehicle and RSU (Road Side Unit) using wireless communication. In VANET system, a vehicle accident is likely to cause awful disaster. Therefore, in VANET environment, authentication techniques for the privacy protection and message are needed. In order to provide them privacy, authentication, and conditional, non-repudiation features of the group signature scheme using a variety of security technologies are being studied. In this paper, and withdrawal of group members to avoid frequent VANET environment is suitable for vehicles produced by the group administrator for a private signing key to solve the key escrow problem of a group signature scheme is proposed. We proposed a message batch verification scheme using Bloom Filter that can verify multiple messages efficiently even for multiple communications with many vehicles.

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

  • Jo, Hyun-Chul;Park, Keunyoung
    • Journal of Platform Technology
    • /
    • v.8 no.2
    • /
    • pp.32-43
    • /
    • 2020
  • The Unmanned Aerial Vehicle(UAV) system has been mainly used for military domains, but it also widely applied to used in the civilian domains. In civilian domains, low-cost and small-sized UAV systems are mainly applied in various industries. The software that operates UAV systems has a lot of common functions. However, even though there are many common functionalities of the software, changing the devices may cause a problem requiring software modification. These problems degrade interoperability, modularity and portability in UAV systems. In order to solve the problems, an Open System Architecture(OSA) has been proposed. In this paper, we propose a UAV system software architecture based on Future Airborne Capability Environment(FACE) standard. Our system can support UAV systems of various platforms in the civilian domains, which is supplied in small quantity batch production. And it has the advantages of software consolidation and portability. Finally, We describe the development and conformant methodology of the software based on the FACE standard using open development tools.

  • PDF

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

  • Kim, JongBae
    • The Journal of the Convergence on Culture Technology
    • /
    • v.7 no.4
    • /
    • pp.735-743
    • /
    • 2021
  • The mobile electronic notice service (MENS) is a service that delivers a mobile electronic notice to a smartphone in the person's name through an authorized electronic document intermediary instead of a bill that was delivered by mail using paper. In order to provide the MENS, information is needed to identify the same user between the sending agency and the authorized electronic document relay. In this paper, we propose a standard for safe conversion and utilization of Connecting Information (CI) used as user identification information for MENS. In the proposed method, it is necessary for the requesting institution to send the electronic notice to provide the resident registration number to the identity verification institution and convert it into the CI. In this case, a safe and efficient MENS will be possible by proposing a review standard and processing method to verify the appropriateness of the conversion of CI. By applying the proposed method to the MENS, it can contribute to service activation and reinforcement of user privacy protection.

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
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.10
    • /
    • pp.123-130
    • /
    • 2022
  • In this paper is one of the measures to prevent concrete collapse accidents at construction sites in advance. Analyzed based on accumulated Meteorological Agency data. It is a reliable model that confirms the prediction of the decrease rate occurrence interval, and the verification items such as p_value is 0.5 or less and ecof appears in one direction through the SARIMA model, which is suitable for regular and clear time series data models, ensure reliability. Significant results were obtained. As a result of analyzing the temperature change by time zone and the water reduce ratio by section using the data secured based on such trust, the water reduce ratio is the highest in the 29-31 ℃ section from 12:00 to 13:00 from July to August. found to show. If a factor in the research result interval occurs using the research results, it is expected that the batch plant will produce Ready-mixed concrete that reflects the water reduce ratio at the time of designing the water-cement mixture, and prevent the decrease in concrete compressive strength due to the water reduce ratio.

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

  • Hyeong-Seok Ham;Young-Hoon Goo;Dae-Young Song
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.18 no.6
    • /
    • pp.1125-1132
    • /
    • 2023
  • The importance of networks is gradually expanding in the battlefield environment. As time goes by, the types of tactical data links used in the Korean JTDLS are increasing, and the military's weapon systems equipped with tactical data link systems are increasing. Thorough quality verification is required to provide stable software to the wider battlefield. This study examines how to prepare an environment in which various simulation tests to verify the stability of the Korean JTDLS project can be conducted as diverse as possible using minimal physical space and Hardware resources. Through this, it is possible to improve the completeness of the project and secure the stability of the program, and it is intended to contribute to securing higher stability and reliability by securing maximum test capabilities in a limited test environment even in Linux based system project of a similar environment.

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

  • Kim, Woohyun;Eom, Moon-Ho;Lee, Sang-Hyun;Choi, Jin-Dal-Rae;Park, Sunwon
    • Korean Chemical Engineering Research
    • /
    • v.51 no.2
    • /
    • pp.226-232
    • /
    • 2013
  • To produce biobutanol, fermentation processes using clostridia that mainly produce acetone, butanol and ethanol are used. In this work, a dynamic model describing the metabolic reactions in an acetone-butanol-ethanol (ABE)-producing clostridium, Clostridium acetobutylicum ATCC824, was proposed. To estimate the 58 kinetic parameters of the metabolic network model with experimental data obtained from a batch fermentor, we used an efficient optimization method combining a genetic algorithm and the Levenberg-Marquardt method because of the complexity of the metabolism of the clostridium. For the verification of the determined parameters, the developed metabolic model was evaluated by experiments where genetically modified clostridium was used and the initial concentration of glucose was changed. Consequently, we found that the developed kinetic model for the metabolic network was considered to describe the dynamic metabolic state of the clostridium sufficiently. Thus, this dynamic model for the metabolic reactions will contribute to designing the clostridium as well as the fermentor for higher productivity.

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

  • Ju, Hak-Soo;Kim, Dae-Youb
    • The KIPS Transactions:PartC
    • /
    • v.14C no.6
    • /
    • pp.463-470
    • /
    • 2007
  • Revocation is one of the main difficulties faced in implementing Public Key Infrastructures(PHs). Boneh, Ding and Tsudik first introduced a mediated cryptography for obtaining immediate revocation of RSA keys used in PKIs. Their method is based on the idea that each user's private key can be split into two random shares, one of which is given to the user and the other to an online security mediator(SEM). Thus any signature or decryption must be performed as a cooperation between a user and his/her associated SEM and revocation is achieved by instructing the mediator SEM to stop cooperating the user. Recently, Libert and Quisquater showed that the fast revocation method using a SEcurity Mediator(SEM) in a mRSA can be applied to the Boneh-Franklin identify based encryption and GDH signature schemes. In this paper we propose a mediated identity based signature(mIBS) with batch verification which apply the SEM architecture to an identity based signature. Libert's GDH siganture scheme is not forward secure even though forward security is an important and desirable feature for signature schemes. We propose an efficient key udating mediated signature scheme, mKUS based on mIBS and analyze its security and efficiency.

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

  • Jung, Haegang;Kim, Namgyu
    • Management & Information Systems Review
    • /
    • v.37 no.4
    • /
    • pp.41-62
    • /
    • 2018
  • As the volume of unstructured data increases through various social media, Internet news articles, and blogs, the importance of text analysis and the studies are increasing. Since text analysis is mostly performed on a specific domain or topic, the importance of constructing and applying a domain-specific dictionary has been increased. The quality of dictionary has a direct impact on the results of the unstructured data analysis and it is much more important since it present a perspective of analysis. In the literature, most studies on text analysis has emphasized the importance of dictionaries to acquire clean and high quality results. However, unfortunately, a rigorous verification of the effects of dictionaries has not been studied, even if it is already known as the most essential factor of text analysis. In this paper, we generate three dictionaries in various ways from 39,800 news articles and analyze and verify the effect each dictionary on the accuracy of document classification by defining the concept of Intrinsic Rate. 1) A batch construction method which is building a dictionary based on the frequency of terms in the entire documents 2) A method of extracting the terms by category and integrating the terms 3) A method of extracting the features according to each category and integrating them. We compared accuracy of three artificial neural network-based document classifiers to evaluate the quality of dictionaries. As a result of the experiment, the accuracy tend to increase when the "Intrinsic Rate" is high and we found the possibility to improve accuracy of document classification by increasing the intrinsic rate of the dictionary.