• Title/Summary/Keyword: sequence-to-sequence model

Search Result 1,626, Processing Time 0.033 seconds

Induced Death of Escherichia coli Encapsulated in a Hollow Fiber Membrane as Observed In Vitro or After Subcutaneous Implantation

  • Granicka, L. H.;Zolnierowicz, J.;Wasilewska, D.;Werynski, A.;Kawiak, J.
    • Journal of Microbiology and Biotechnology
    • /
    • v.20 no.1
    • /
    • pp.224-228
    • /
    • 2010
  • The encapsulation of bacteria may be used to harness them for longer periods of time in order to make them viable, whereas antibiotic treatment would result in controlled release of therapeutic molecules. Encapsulated Escherichia coli GFP (green fluorescent protein) (E. coli GFP) was used here as a model for therapeutic substance - GFP fragments release (model of bioactive substances). Our aim was to evaluate the performance of bacteria encapsulated in hollow fibers (HFs) treated with antibiotic for induction of cell death. The polypropylene-surface-modified HFs were applied for E. coli encapsulation. The encapsulated bacteria were treated with tetracycline in vitro or in vivo during subcutaneous implantation into mice. The HF content was evaluated in a flow cytometer, to assess the bacteria cell membrane permeability changes induced by tetracycline treatment. It was observed that the applied membranes prevented release of bacteria through the HF wall. The E. coli GFP culture encapsulated in HF in vitro proved the tetracycline impact on bacteria viability and allows the recognition of the sequence of events within the process of bacteria death. Treatment of the SCID mice with tetracycline for 8 h proved the tetracycline impact on bacteria viability in vivo, raising the necrotic bacteria-releasing GFP fragments. It was concluded that the bacteria may be safely enclosed within the HF at the site of implantation, and when the animal is treated with antibiotic, bacteria may act as a local source of fragments of proteins expressed in the bacteria, a hypothetical bioactive factor for the host eukaryotic organism.

A Model-Driven Approach for Converting UML Model to OWL-S Ontology (UML 모델을 OWL-S 온톨로지로 변환하기 위한 모델지향접근방식)

  • Kim, Il-Woong;Lee, Kyong-Ho
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.13 no.3
    • /
    • pp.179-192
    • /
    • 2007
  • Based on ontologies, semantic Web services enable the discovery, selection, and composition. OWL-S is a do facto standard ontology for describing semantics of Web services. Due to the difficulty of the OWL-S grammar, the teaming curve for constructing OWL-S description manually can be steep. This paper presents an efficient method for generating OWL-S descriptions from UML diagrams, which are widely used for software design and development. The proposed method is based on UML profiles to generate an OWL-S ontology from sequence or activity diagrams, which represent the behavior of a business process. Specifically, an XMI file extracted from UML diagrams is transformed into an OWL-S description via an XSLT script. Experimental results with a large volume of UML diagrams show that the proposed method deals with the control flow of complex processes and is superior to previous methods.

Performance Improvement in Speech Recognition by Weighting HMM Likelihood (은닉 마코프 모델 확률 보정을 이용한 음성 인식 성능 향상)

  • 권태희;고한석
    • The Journal of the Acoustical Society of Korea
    • /
    • v.22 no.2
    • /
    • pp.145-152
    • /
    • 2003
  • In this paper, assuming that the score of speech utterance is the product of HMM log likelihood and HMM weight, we propose a new method that HMM weights are adapted iteratively like the general MCE training. The proposed method adjusts HMM weights for better performance using delta coefficient defined in terms of misclassification measure. Therefore, the parameter estimation and the Viterbi algorithms of conventional 1:.um can be easily applied to the proposed model by constraining the sum of HMM weights to the number of HMMs in an HMM set. Comparing with the general segmental MCE training approach, computing time decreases by reducing the number of parameters to estimate and avoiding gradient calculation through the optimal state sequence. To evaluate the performance of HMM-based speech recognizer by weighting HMM likelihood, we perform Korean isolated digit recognition experiments. The experimental results show better performance than the MCE algorithm with state weighting.

Development of WRAP-SALT for Quantitative Analysis of Water Supply Capabilities considering Water Quality (수질을 고려한 수자원 공급의 정량적 분석을 위한 WRAP-SALT 개발)

  • Lee, Chi-Hun
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2011.05a
    • /
    • pp.58-58
    • /
    • 2011
  • The Texas Commission on Environmental Quality(TCEQ) WAM(Water Availability Modeling) System consists of the generalized Water Rights Analysis Package(WRAP) river/reservoir system water management simulation model, 22 sets of WRAP hydrology and water rights input files for the 23 river basins of Texas, geographic information system tools, and other supporting databases. The WRAP/WAM modeling system, as routinely applied since the late 1990s, has not included consideration of water quality. Recently developed WRAP-SALT(Water Rights Analysis Package) is designed primarily for computing concentration frequency statistics and supply reliability indices at locations of interest in a river system for alternative water development and management scenarios. Though motivated primarily by natural salt pollution, WRAP-SALT water quality modeling features are applicable to essentially any conservative water quality constituent. The Brazos River studies discussed in this paper focus on total dissolved solids, though the available observed data also includes chloride and sulfate which can be modeled as individual constituents. The WRAP-SALT salinity input file contains loads or concentrations of salinity inflows during each month of the hydrologic period-of-analysis and reservoir storage at the beginning of the simulation. The WRAP-SALT model computes salt loads and concentrations for each control point of a river/reservoir system for inflows and outflows during the month and end-of-month reservoir storage for each month of the hydrologic period-of-analysis, for given loads entering the system. River reaches connect control points. The mass balance algorithms proceed from upstream to downstream, with outflow from one river reach contributing to inflow to the next downstream reach. In a given month, for each control point in sequence, the inflow loads are first computed. Loads and concentrations of outflows and reservoir storage at the control point are then determined. Complete mixing during the month is assumed at locations without reservoir storage.

  • PDF

Track-Before-Detect Algorithm for Multiple Target Detection (다수 표적 탐지를 위한 Track-Before-Detect 알고리듬 연구)

  • Won, Dae-Yeon;Shim, Sang-Wook;Kim, Keum-Seong;Tahk, Min-Jea;Seong, Kie-Jeong;Kim, Eung-Tai
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.39 no.9
    • /
    • pp.848-857
    • /
    • 2011
  • Vision-based collision avoidance system for air traffic management requires a excellent multiple target detection algorithm under low signal-to-noise ratio (SNR) levels. The track-before-detect (TBD) approaches have significant applications such as detection of small and dim targets from an image sequence. In this paper, two detection algorithms with the TBD approaches are proposed to satisfy the multiple target detection requirements. The first algorithm, based on a dynamic programming approach, is designed to classify multiple targets by using a k-means clustering algorithm. In the second approach, a hidden Markov model (HMM) is slightly modified for detecting multiple targets sequentially. Both of the proposed approaches are used in numerical simulations with variations in target appearance properties to provide satisfactory performance as multiple target detection methods.

Analysis of the Meaning of through the Application of Semiontics (기호학 적용을 통한 의 의미 분석)

  • Gwak, E-Sac
    • Journal of Korea Game Society
    • /
    • v.14 no.5
    • /
    • pp.15-24
    • /
    • 2014
  • Semiotics studies the structures and systems of all signs related to human life, thus being capable of analyzing games. "Playing games" can be deemed as an act of reading or interpreting games semiotically, which makes game producers "senders," games "texts," gamers "receivers," and gamers playing games "contexts." Since most games are in the multi-variable narrative format, however, it is not a frequent case that gamers interpret games in the ways intended by producers. This study thus set out to analyze and interpret the console game (2001) remembered as the same evaluation by many gamers in the way intended by the producer. For analysis, the study defined its story program by analyzing the plot and sequence. For semantic analysis, the study applied the Actor Model and the Semiotic Square Model to interpret . The process identified such codes as confrontation, assistance, collaboration, and control and confirmed that Ico and Yorda, non-subject characters, were transforming into subject ones. That is, tells a story of the main characters that used to lead a non-subject life earning lives of their own.

Factored MLLR Adaptation for HMM-Based Speech Synthesis in Naval-IT Fusion Technology (인자화된 최대 공산선형회귀 적응기법을 적용한 해양IT융합기술을 위한 HMM기반 음성합성 시스템)

  • Sung, June Sig;Hong, Doo Hwa;Jeong, Min A;Lee, Yeonwoo;Lee, Seong Ro;Kim, Nam Soo
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.38C no.2
    • /
    • pp.213-218
    • /
    • 2013
  • One of the most popular approaches to parameter adaptation in hidden Markov model (HMM) based systems is the maximum likelihood linear regression (MLLR) technique. In our previous study, we proposed factored MLLR (FMLLR) where each MLLR parameter is defined as a function of a control vector. We presented a method to train the FMLLR parameters based on a general framework of the expectation-maximization (EM) algorithm. Using the proposed algorithm, supplementary information which cannot be included in the models is effectively reflected in the adaptation process. In this paper, we apply the FMLLR algorithm to a pitch sequence as well as spectrum parameters. In a series of experiments on artificial generation of expressive speech, we evaluate the performance of the FMLLR technique and also compare with other approaches to parameter adaptation in HMM-based speech synthesis.

Optimal Methodology of a Composite Leaf Spring with a Multipurpose Small Commercial Vans (다목적 소형 승합차 복합재 판 스프링의 적층 최적화 기법)

  • Ahn, Sang Ho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.31 no.5
    • /
    • pp.243-250
    • /
    • 2018
  • In this paper, design technique using genetic algorithms(GA) for design optimization of composite leaf springs is presented here. After the initial design has been validated by the car plate spring as a finite element model, the genetic algorithm suggests the process of optimizing the number of layers of composite materials and their angles. Through optimization process, the weight reduction process of leaf springs and the number of repetitions are compared to the existing algorithm results. The safety margin is calculated by organizing a finite element model to verify the integrity of the structure by applying an additive sequence optimized through the genetic algorithm to the structure. When GA is applied, layer thickness and layer angle of complex leaf springs have been obtained, which contributes to the achievement of minimum weight with appropriate strength and stiffness. A reduction of 65.6% original weight is reached when a leaf steel spring is replaced with a leaf composite spring under identical requirement of design parameters and optimization.

Analytical Modeling of a Loop Heat Pipe with a Flat Evaporator by Applying Thin-Film Theory (평판형 증발부를 갖는 루프히트파이프에 대해 박막이론을 적용한 해석적 모델링)

  • Jung, Eui-Guk;Boo, Joon-Hong
    • Transactions of the Korean Society of Mechanical Engineers B
    • /
    • v.34 no.12
    • /
    • pp.1079-1085
    • /
    • 2010
  • A steady-state analytical model was presented for a loop heat pipe (LHP) with an evaporator that has a flat geometry. On the basis of a series of reviews of the relevant literature, a sequence of calculations was proposed to predict the temperatures and pressures at each important part of the LHP: the evaporator, liquid reservoir (compensation chamber), liquid line, vapor line, and condenser. The analysis of the evaporator, which is the only part in the LHP that has a capillary structure, was emphasized. Thin-film theory is applied to account for the pressure and temperature in the region adjacent to the liquid-vapor interface in the evaporator. The present study introduced a unique method to estimate the liquid temperature at the interface. Relative freedom was assumed in the configuration of a condenser with a simplified liquid-vapor interface. Our steady-state model was validated by experimental results available in the literature. The relative error was within 3% on the absolute temperature scale, and reasonable agreement was obtained.

Verification of Automatic PAR Control System using DEVS Formalism (DEVS 형식론을 이용한 공항 PAR 관제 시스템 자동화 방안 검증)

  • Sung, Chang-ho;Koo, Jung;Kim, Tag-Gon;Kim, Ki-Hyung
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.3
    • /
    • pp.1-9
    • /
    • 2012
  • This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.