• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.5
• /
• pp.169-178
• /
• 2014

In this paper, we present a research utilizing decentralized LTL specifications for ensuring a quality for interaction-centralized system. In this system, for ensuring the quality, we need to validate interactions between modules of the system and then we should check whether the system achieves the expected requirements. This task remains difficult and labor-intensive and requires an expert. In this paper, we present a method to assist such a task. First of all, the requirements of the system is written as multiple LTL specifications. Interactions between modules mean that behaviors of one module are related with other one's behavior. We generate the automaton model fully achieving specification through GR(1) synthesis. And we simulate them using the simulator based on the software agent for checking behaviors of the system. Finally, we validate the whole system whether it achieves given requirements.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.6
• /
• pp.503-511
• /
• 2014

In this paper, a novel, real-time video stitching algorithm in an H.264/AVC compressed domain is proposed. This enables viewers to watch multiple video contents using a single device. The basic concept of this paper is that the server is asked to combine multiple streams into one bit-stream based in a compressed domain. In other words, this paper presents a new compressed domain combiner that works in boundary macroblocks of input videos with re-calculating intra prediction mode, intra prediction MVD, a re-allocation of the coefficient table, and border extension methods. The rest of the macroblocks of the input video data are achieved simply by copying them. Simulation experiments have demonstrated the possibility and effectiveness of the proposed algorithm by showing that it is able to generate more than 103 frames per second, stitching four 480p-sized images into each frame.

• Journal of Digital Convergence
• /
• v.12 no.3
• /
• pp.95-103
• /
• 2014

Given social problems of technology addiction such as games and mobile messenger services (MMSs), it have become important to understand theoretical mechanisms to generate technology addiction. In this vein, this study examined key antecedents of technology addiction in the MMS environment. We posit technology habit and user satisfaction as key predictors of technology addiction. In addition, the impacts of social interaction and flow on use's technology addition formation were investigated The research framework was tested by using survey data collected from 278 Kakaotalk users who have used more than 6 months. The analysis results found that both technology habit and user satisfaction play an important role in generating technology addiction in the MMS context. The findings of this study indicate that social interaction and flow significantly affects technology habit and user satisfaction. The analysis results help government and MMS providers establish policies or strategies to induce healthy MMS use.

• Fashion & Textile Research Journal
• /
• v.7 no.5
• /
• pp.535-541
• /
• 2005

The health of feet is connected with individual's health and affects a man's activity. Shoes need to be designed to protect feet and to absorb the impact of land. In order to choose suitable shoes for feet, the foot size and shape must be considered, so it is essential to grasp the exact size and shape of the foot. This study aims to present fundamental data on shoes' easy order prototype development for choosing shoes of good wearing comfort, by classifying feet size and shape junior high school boys in the early adolescent period. The subject were 234 Korean junior high school boys age from 14 to 16 years old. The subjects were directly measured anthropometrically and indirectly analyzed photographically. 6 factors were extracted through factor analysis and those factors comprised 79.42% of total variance. The factors characterizing foot girth and width, foot length, foot height, foot shape around the fifth toes, angle of foot breadth and foot shape around the first toes. 3 clusters as their foot shape were categorized using 6 factor scores by cluster analysis. Type 1 was characterized by long large foot with deformed first toe. Type 2 had smaller in foot girth, width and length than other types and with deformed fifth toe. Type 3 had average size and high foot shape. Shoes prototype which is to be developed later on will be able to generate 2D flattening in the foot sole form. Therefore, it would be a great support in producing and choosing appropriate shoes if forms are classified by subdividing foot form classification and extract a factor which shows only the foot sole shape.

• 모자간호학회지
• /
• v.4 no.1
• /
• pp.68-79
• /
• 1994

This study measured variables influencing the breast feeding patterns of lactating mothers over a 40 day period In 1993 in the Jeonla area. The Methodology used was a questionnaire covering 92 items based on statistical discriminant analysis. The results were as follows : The successful group was measured against the unsuccessful group over a 4month lactation period ; The successful group was measured over a 4month lactation period ; the unsuccessful less than 4month lactation period. Principal factor analysis was used to generate comparative data factors which were ; 1) nonunderstanding of mother's breast feeding, 2) physical and psychological stress, 3) insufficient milk supply, 4) mother's negative acceptance of baby, 5) lack of spousal support, 6) sore nipple and breast pain, 7) baby's negative acceptance, 8) lack of familial support, 9) baby's diarrhea and watery milk. Discriminant statistical analysis of sever factors included ; 1) insufficient milk supply 2) sore nipple and breast pain, 3) pre-natal planning of breast feeding method, 4) mother's occupation 5) breast feeding method of previous infant, 6) nipple type, and 7) infant birth order. This analysis predicted a 78.9% successful breast feeding. Criterion correlation analysis revealed ; D=-1.780+.165$\times$(Fac3)+.135$\times$(Fac6)+.927$\times$(prenatal planning of breast feeding method)+.900$\times$(mother's occupation)+.675$\times$ (breast feeding method of previous infant)+1.0l4$\times$(nipple type)+.378$\times$(infant birth order). We classified the unsuccessful group as more than .63937 and the successful group less than -.82742 of the D value obtained from the above criterion correlation in order to check the success or the non-success of breast feeding mothers. The rate of correct classification of the grouped cases employing a statistical discriminant analysis was significantly improved to 78.9% when these cases were compared with the actual grouped classification.

• Korean Medical Education Review
• /
• v.10 no.2
• /
• pp.25-44
• /
• 2008

Objectives: Through using of the strong research method like a Randomized Controlled Trial: RCT, we have to heighten quality of Medical Education study. I'd like to introduce "CONSORT", which stands for Consolidated Standards of Reporting Trials. Contents: Preventive Service Task Force(200l) in USA proposed Levels of evidence for enlarging evidence-based Practice: EBP. And the CONSORT was introduced, which encompasses various initiatives developed by the CONSORT Group to alleviate the problems arising from inadequate reporting of randomized controlled trials (RCTs). the CONSORT has 13 guides like these: 1. How participants were allocated to interventions 2. Scientific background and explanation of rationale 3. Eligibility criteria for participants. The settings and locations where the data were collected. 4. Precise details of the interventions intended for each group and how and when they were actually administered 5. Specific objectives and hypotheses 6. Clearly defined primary and secondary outcome measures, When applicable. any methods to enhance the quality of measurements (e.g., multiple observations, training of assessors) 7. How sample size was determined. When applicable, explanation of any interim analyses and stopping rules 8. Method used to generate the random allocation sequence, Details of any restriction [of randomization] 9. Method used to implement the random allocation sequence 10. Who generated the allocation sequence, who enrolled participants. and who assigned participants to their groups 11. Whether or not participants, those administering the interventions, and those assessing the outcomes were blinded to group assignment. If done, how the success of blinding was evaluated 12. Statistical methods used to compare groups for primary outcome(s), Methods for additional analyses, such as subgroup analyses and adjusted analyses 13. Flow of participants through each stage (a diagram is strongly recommended) Specifically, for each group report the numbers of participants randomly assigned. receiving intended treatment, completing the study protocol. and analyzed for the primary outcome. Results and Conclusion: Randomized Controlled Trial: RCT guided of CONSORT will contribute to do stronger evidence-based medical studies.

• Proceedings of the KSME Conference
• /
• 2008.11b
• /
• pp.3049-3052
• /
• 2008

MCFC(molten carbonate fuel cell) power generation system is prime candidate for the utilization of fossil based fuels to generate ultra clean power with a high efficiency. In the MCFC power plant system, a combustor performs a role to supply high temperature mixture gases for cathode and heat for reformer by using the stack off-gas of the anode which includes a high concentration of $H_2O$ and $CO_2$. Since a combustor needs to be operated in a very lean condition and to avoid excessive local heating, catalytic combustor is usually used. The catalytic combustion is accomplished by the catalytic chemical reaction between fuel and oxidizer at catalyst surface, different from conventional combustion. In this study, a mathematical model for the prediction of internal flow and catalytic combustion characteristics in the catalytic combustor adopted in the MCFC power plant system is suggested by using the numerical methods. The numerical simulation models are then implemented into the commercial CFD code. After verifying result by comparing with the experimental data and calibrated kinetic parameters of catalytic combustion reaction, a numerical simulation is performed to investigate the variation of flow and combustion characteristics by changing such various parameters as inlet configuration and inlet temperature. The result show that the catalytic combustion can be effectively improved for most of the case by using the perforated plate and subsequent stable catalytic combustion is expected.

• Journal of Convergence for Information Technology
• /
• v.10 no.8
• /
• pp.35-39
• /
• 2020

DNN error is small compared to the conventional speech recognition system, DNN is difficult to parallel training, often the amount of calculations, and requires a large amount of data obtained. In this paper, we generate a phoneme unit to estimate the GMM parameters with each phoneme model parameters from the GMM to solve the problem efficiently. And it suggests ways to improve performance through clustering for a specific vocabulary to effectively apply them. To this end, using three types of word speech database was to have a DB build vocabulary model, the noise processing to extract feature with Warner filters were used in the speech recognition experiments. Results using the proposed method showed a 97.9% recognition rate in speech recognition. In this paper, additional studies are needed to improve the problems of improved over fitting.

• Journal of the Korean Solar Energy Society
• /
• v.38 no.2
• /
• pp.55-66
• /
• 2018

South Korea aims to shift the 20 percent of electricity supplement from the fossil fuel including the nuclear to renewable energy systems by 2030. In order to realize this agenda in the buildings, the plus energy house is necessary to increase the renewable energy supplement beyond the zero energy house. This paper suggested KePSH (KIER Energy-Plus Solar House) and energy performance of house and renewable energy systems was investigated. The KePSH has the target of generating 40% surplus energy than the conventional house energy consumption. The plus energy house is the house that generates surplus energy from the renewable energy sources than that consumes. In order to minimize the cooling and heating load of the house, the shape design and passive parameters design were conducted. Based on the experimental data of the plug load in the typical house, the total energy consumption of the house was estimated. This paper also suggested renewable energy sources integrated HVAC system using air-source heat pump system. Two cases of renewable energy system integration methods were suggested, and energy performance of the cases was investigated using TRNSYS 17 program. The results showed that the BIPV (building integrated photovoltaic) system (i.e., CASE 1) and BIPV and BIST system (i.e., CASE 2) shows 42% and 29% of plus energy rate, respectivey. Also, CASE 1 can generate 59% more surplus energy compared with the CASE 2 under the same installation area.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.11
• /
• pp.163-171
• /
• 2011

Because RFID systems use radio frequency, they have many security problems such as eavesdropping, location tracking, spoofing attack and replay attack. So, many mutual authentication protocols and cryptography methods for RFID systems have been proposed in order to solve security problems, but previous proposed protocols using AES(Advanced Encryption Standard) have fixed key problem and security problems. In this paper, we analyze security of proposed protocols and propose our protocol using OTP(One-Time Pad) and AES to solve security problems and to reduce hardware overhead and operation. Our protocol encrypts data transferred between RFID reader and tag, and accomplishes mutual authentication by one time random number to generate in RFID reader. In addition, this paper presents that our protocol has higher security and efficiency in computation volume and process than researched protocols and S.Oh's Protocol. Therefore, our protocol is secure against various attacks and suitable for lightweight RFID tag system.