• Journal of Software Engineering Society
• /
• v.24 no.1
• /
• pp.1-7
• /
• 2011

MVC(Model-View-Controller) architecture is well-known for high maintainability and it makes efficient development possible. Recently, it has been applied in many fields such as web, desktop and mobile applications. Therefore, effective testing for this architecture is strongly needed. Although much research has been done, there was not much efforts for exploiting MVC architecture in GUI testing. Therefore, in this paper, we propose a scheme for efficient and accurate GUI testing for MVC based applications. In this study we separate original state diagrams into view state diagram and model-controller state diagram. Then, we present a case study showing the effectiveness of our proposed scheme.

• Bulletin of the Korean Chemical Society
• /
• v.17 no.1
• /
• pp.56-60
• /
• 1996

The pressure saturation effect on the phosphorescence decay rates of the $^3B_1$ State of $SO_2$ has been reinvestigated by the laser induced phosphorescence method in pure $SO_2$. We have attempted to fit the pressure dependence of the phosphorescence decay rates using the radiationless transition model by introducing different coupling constants for each vibrational level ofthe 3B1 state. The experimental decay rates can be fitted well, when the coupling constants for the (0,0,0), (0,1,0) and (0,2,0) levels of the $^3B_1$ state are $7.2\;{\times}\;10^{-4}$, $2.2\;{\times}\;10^{-3}$ and $5.9\;{\times}\;10^{-3}\;cm^{-1}$, respectively.

• The Journal of the Acoustical Society of Korea
• /
• v.15 no.2
• /
• pp.85-89
• /
• 1996

In this paper, transition constrained Hidden Markov Model(HMM) in which the transition between states occur only within prescribed time slot is proposed and the performance is evaluated in the noisy environment. The transition constrained HMM can explicitly limit the state durations and accurately de scribe the temporal structure of speech signal simply and efficiently. The transition constrained HMM is not only superior to the conventional HMM but also require much less computation time. In order to evaluate the performance of the transition constrained HMM, speaker independent isolated word recognition experiments were conducted using semi-continuous HMM with the noisy speech for 20, 10, 0 dB SNR. Experiment results show that the proposed method is robust to the environmental noise. The 81.08% and 75.36% word recognition rates for conventional HMM was increased by 7.31% and 10.35%, respectively, by using transition constrained HMM when two kinds of noises are added with 10dB SNR.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.21-21
• /
• 2011

A series of Quasi-Elastic Neutron Scattering (QENS) experiments helps us to understand the single-particle (hydrogen atom) dynamics of a globular protein and its hydration water and strong coupling between them. We also performed Molecular Dynamics (MD) simulations on a realistic model of the hydrated hen-egg Lysozyme powder having two proteins in the periodic box. We found the existence of a Fragile-to-Strong dynamic Crossover (FSC) phenomenon in hydration water around a protein occurring at TL=$225{\pm}5K$ by analyzing Intermediate Scattering Function (ISF). On lowering of the temperature toward FSC, the structure of hydration water makes a transition from predominantly the High Density Liquid (HDL) form, a more fluid state, to predominantly the Low Density Liquid (LDL) form, a less fluid state, derived from the existence of a liquid?liquid critical point at an elevated pressure. We showed experimentally and confirmed theoretically that this sudden switch in the mobility of the hydration water around a protein triggers the dynamic transition (so-called glass transition) of the protein, at a temperature TD=220 K. Mean Square Displacement (MSD) is the important factor to show that the FSC is the key to the strong coupling between a protein and its hydration water by suggesting TL${\fallingdotseq}$TD. MD simulations with TIP4P force field for water were performed to understand hydration level dependency of the FSC temperature. We added water molecules to increase hydration level of the protein hydration water, from 0.30, 0.45, 0.60 and 1.00 (1.00 is the bulk water). These confirm the existence of the FSC and the hydration level dependence of the FSC temperature: FSC temperature is decreased upon increasing hydration level. We compared the hydration water around Lysozyme, B-DNA and RNA. Similarity among those suggests that the FSC and this coupling be universal for globular proteins, biopolymers.

• KIISE Transactions on Computing Practices
• /
• v.21 no.8
• /
• pp.567-571
• /
• 2015

Transition-based dependency parsing requires much time and efforts to design and select features from a very large number of possible combinations. Recent studies have successfully applied Multi-Layer Perceptrons (MLP) to find solutions to this problem and to reduce the data sparseness. However, most of these methods have adopted greedy search and can only consider a limited amount of information from the context window. In this study, we use a Recurrent Neural Network to handle long dependencies between sub dependency trees of current state and current transition action. The results indicate that our method provided a higher accuracy (UAS) than an MLP based model.

• Bulletin of the Korean Chemical Society
• /
• v.17 no.8
• /
• pp.700-706
• /
• 1996

We present the results of molecular dynamics simulations of monolayers of long-chain alkyl thiol [S(CH2)15CH3] molecules on an air-solid interface using the extended collapsed atom model for the chain-molecule and a gold surface for the solid surface. Several molecular dynamics simulations have been performed on monolayers with areas per molecule ranging from 18.30 to 32.10 Å2/molecule. It is found that there exist three possible transitions: a continuous transition characterized by a change in molecular configuration without change in lattice structure, a sudden transition characterized by the distinct lattice defects and perfect islands, and a third transition characterized by the appearance of a random, liquid-like state. The analysis of probability distributions of the segments shows that the structure of the chain-molecules at the air-solid interface is completely different from that at the air-water interface in the view of the degree of overlap of the probability distributions of the neighbor segments. The calculated diffusion coefficients of the chain-molecules on the monolayers seem to be not directly related to any one of the three transitions. However, the large diffusion of the molecules enhanced by the increment of the area per molecule may induce the second transition.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2004.04a
• /
• pp.443-449
• /
• 2004

In this paper, we established a simulation model for transport vehicle that carries the container transportation between apron and yard block on automated container terminal with a perpendicular yard layout. Usually, the efficiency of container terminal is evaluated by productivity of container cranes at apron, and though there are enough support of transport vehicles and yard cranes, can improve the productivity of container cranes. Especially, transport vehicle is very important factor in productivity of container cranes and has variable work productivity according to loading and unloading situation of container cranes. Therefore, a method that can estimate work productivity of transport vehicle efficiently is required. We analyzed work productivity of transport vehicle using simulation model that has state transition of transport vehicle. We performed various simulation experiment and analyzed work productivity of transport vehicle and calculated the required number of transport vehicle by container crane additionally.

• Journal of Astronomy and Space Sciences
• /
• v.20 no.1
• /
• pp.21-28
• /
• 2003

In case that we independently obtain orbital informations about the low earth satellites of foreign countries using radar systems, we develop the orbit determination algorithm for this purpose using a SGP4 model with an analytical orbit model and the extended Kalman filter with a real-time processing method. When the state vector is Keplerian orbital elements, singularity problems happen to compute partial derivative with respect to inclination and eccentricity orbit elements. To cope with this problem, we set state vector osculating to mean equinox and true equator cartesian elements with coordinate transformation. The state transition matrix and the covariance matrix are numerically computed using a SGP4 model. Observational measurements are the type of azimuth, elevation and range, filter process to each measurement in a lump. After analyzing performance of the developed orbit determination algorithm using TOPEX/POSEIDON POE(precision 0.bit Ephemeris), its position error has about 1 km. To be similar to performance of NORAD system that has up to 3km position accuracy during 7 days need to radar system performance that have accuracy within 0.1 degree for azimuth and elevation and 50m for range.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of Power Electronics
• /
• v.17 no.2
• /
• pp.398-410
• /
• 2017

This work presents the design of a dual extended Kalman filter (EKF) as a state/parameter estimator suitable for adaptive state-of-charge (SoC) estimation of an automotive lithium-iron-phosphate ($LiFePO_4$) cell. The design of both estimators is based on an experimentally identified, lumped-parameter equivalent battery electrical circuit model. In the proposed estimation scheme, the parameter estimator has been used to adapt the SoC EKF-based estimator, which may be sensitive to nonlinear map errors of battery parameters. A suitable weighting scheme has also been proposed to achieve a smooth transition between the parameter estimator-based adaptation and internal model within the SoC estimator. The effectiveness of the proposed SoC and parameter estimators, as well as the combined dual estimator, has been verified through computer simulations on the developed battery model subject to New European Driving Cycle (NEDC) related operating regimes.