• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Korean Institute of Interior Design Journal
• /
• no.17
• /
• pp.60-64
• /
• 1998

The results of simulation on greenery ratio using CG are as follows: arrangement type of optimal condition and greenery ratio were summarized as below as dispersion type and 5% ratio greenery for 20 pairs of assessment items and these assessment items were classified into 5 factors as a result of factor analysis,. These factors were Harmony Animation Atmosphere texture Peculiarity. Verification results of factors differences according to each condition can be. there was no apparent difference among factors in accordance with gender, In case of arrangement type dispersion type was higher than concentration type in all factors. Based on the above results dispersion type was assessed higher than concentration type the most suitable condition of Harmony Factor was 5% dispersion type Animation Factor was 5% dispersion type Animation Factor was 7% dispersion type Atmosphere Factor was 10% dispersion type Texture Factor was 5% concentration type and $\ulcorner$Peculiarity Factor$\lrcorner$was 7% concentration type.

• International Commerce and Information Review
• /
• v.17 no.2
• /
• pp.201-223
• /
• 2015

Concerning post-verification which is after the application of FTA preferential tariffs, in cases such as Korea-EFTA and Korea-ASEAN, the growing trend of post-verifications was restricted and there was no active research concerning this; whereas with Korea-EU FTA which adopted indirect verification for post-verification, the demand for post-verification has been rising constantly each year; and for Korea-US FTA which has adopted direct verification, a new approach to post-verification research is needed as it began genuine post-verification regarding many national enterprises only after a year and a half since the agreement. This study will consider the counter measures that can be taken for post-verification, through case of studies on the factors influencing violation of determining the country of origin for export company regarding verification of FTA. Result of this case study regarding the determining a violation of origin, The main cause of the violation factors on the essential & general principles(goods wholly obtained, value added criteria) are lack of understanding agreement & manpower. but Violation of the parties to a transaction & the origin certification are lack of advanced preparation and effected violation of principle of good faith. Finally, In this study help countermeasures of export company through the Detailed analysis of the type & implications deriving from verification of origin.

• Convergence Security Journal
• /
• v.8 no.4
• /
• pp.191-197
• /
• 2008

A safe computer environment is necessarily required for computer users, because of a damage is widely increased by a malicious software such as the warm, virus and trojan horse. A general vaccine program can detect after the malicious software intruded. This kinds of the vaccine program show good result against a malicious code which is well known, however, there is no function in the vaccine or not enough ability to detect an application software which a malicious code included. So, this paper proposes an application verification system to decide existence and nonexistence of a malicious code in the application software. The proposed application verification system with a mechanism that grasps the flow type of malicious code, can make a reduction of a damage for computer users before the application software executed.

• Human Ecology Research
• /
• v.53 no.6
• /
• pp.655-665
• /
• 2015

This study classified respondents by food-lifestyle and investigated differences in diet-related attitudes and demographic variables among food-lifestyle groups. Diet-related attitudes consisted of variables such as interest in diet, trial number of diet, diet period, weight loss, diet motivation, verification of products approved by the Ministry of Food and Drug Safety, verification of manufacturer's reliability, examination of damage cases and side effects, and awareness of consumer protection law. This study administered a questionnaire survey to adults between the ages of 20 and 39 who lived in Daegu and Uijeongbu from November 17th to December 14th 2014. Data collected from 293 respondents were analyzed using descriptive statistics, factor analyses, cluster analysis, analysis of variance (ANOVA) and chi-square tests. Four clusters (passive eating habit group, active eating habit group, convenience oriented group, and taste and health oriented group) were developed according to four factors of food-lifestyle (health-conscious, popularity-seeking, taste-seeking, convenience-seeking). The results of the ANOVA and chi-square tests indicated significant differences in interest in diet, awareness of consumer protection law, verification of products approved by the Ministry of Food and Drug Safety, verification of manufacturer's reliability, examination of damage cases and side effects, gender, education levels and household monthly income levels among food-lifestyle groups.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.139-142
• /
• 2011

A water-flow test for acceptance verification is carried out for a nonimpinging-type injector prior to the design-performance verification of hydrazine thruster under development. The injector used in the experiment is to be equipped on the hydrazine thruster producing 70 N of nominal thrust at an inlet pressure of 24.6 $kg_f/cm^2$. It is observed that there exist varying characteristics of atomization among the injector-nozzle orifices caused by a fabrication error which can be judged from a microscopic standpoint. On the other hand, all of the injector orifices are placed within the design criteria in an injection-angle performance.

• Korean Journal of Digital Imaging in Medicine
• /
• v.10 no.1
• /
• pp.29-34
• /
• 2008

Purpose To analyze the input and output error of data CD which records the image information and the problems of the server of the compatibility. And to report a compatibility assessment and verification of suitable to DICOM of PACS data CD with investigation of current situation of Korea METHOD AND MATERIALS Date CD of each 8 vendors in 30 hospitals was analyzed. We grasped a main verification element existence of a generation compatibility of data CD. The items of element are media identification, DICOM compression, DICOM viewer send, specified object information modify, auto-run, DICOM content type, etc, and give 1 point for each item. We divided the assessment about an each item into 5 levels. Verification about. DICOM conformance by using DICOM validation tool kit is shown to be classified pass or fail according to error occurrence of tag valus. Classify the prequency of tag occurrence as the item. RESULTS The average point of date CD compatibility is 8 point (very good), lowest is 5 point (6.6%), and highest is 10 point (23%_. Most high occurrence frequency's distribution is 7 point (36.6%). As a result of verification about DICOM conformance, PASS in 8 occurrence frequency's distribution is 7 point (36.6%). As a result of verification about DICOM maximum length numbers (14 items), DICOM error of modality (10 items), discord of pixel data length (6 items). etc.

• The Research Journal of the Costume Culture
• /
• v.31 no.3
• /
• pp.330-345
• /
• 2023

This study aimed to categorize consumers using super app functional characteristics to identify demographic differences, and analyze shopping orientations by consumer type. This data can be used by fashion and beauty companies for product planning and marketing strategies. To categorize super app consumers, data were analyzed with SPSS v.26.0 software using frequency, factor, reliability K-mean cluster, and distributed analyses, one-way-ANOVAs, and Scheffe verification. Cross-analysis was conducted to correlate super app consumer types with demographic characteristics. One-way-ANOVAs and Scheffe verification were used to analyze the differences in shopping preferences between super app consumer groups. As a result of our analyses, super app consumers were classified into four types: the ration type, the low-use type, the multifunction type, and the habit type. There were statistically significant differences between these types in age, occupation, marital status, average monthly household income, and shopping impact factors. Five super app user shopping orientations were identified: brand pursuit, pleasure pursuit, trend pursuit, risk perception, and economic orientation. The differences in the preferred orientation between super app consumer types were found to be statistically significant. The majority of respondents were multifunction type consumers. This group used the super app most frequently and effectively. They also demonstrated the highest scores for all five of the shopping orientations. The classification of consumer types in this study will allow the fashion and beauty industries to utilize super apps for more targeted product design and marketing.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.55 no.7
• /
• pp.362-368
• /
• 2006

This paper presents the results of a small capacitive current interruption test for the three types of interrupter which are called 'serial type', 'parallel/separated type' and 'puffer type' according to the arrangement of the thermal expansion chamber and the puffer cylinder. After the preconditioning test the small current interruption capability of the 'puffer type' decreased, on the contrary, that of the hybrid interrupters increased. A number of reignition have been occurred in the 'serial type' hybrid interrupter and the change of small current interruption capability after preconditioning test is mainly influenced by the structure of interrupter. Finally it has been proved that the 'parallel/separated type' hybrid interrupter has the best interruption performance through the verification tests.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.62 no.1
• /
• pp.95-104
• /
• 2020

The purpose of this study is to develop a pipe type soil sampler that can easily collect soil cross section servey and soil samples to conduct ecological environment surveys while minimizing ecological disturbance in the area subject to soil survey. Furthermore, this study develop the exponential type estimation specific weight formula (ESWF) that uses pipe type soil sampler to easily carry out soil cross section survey and soil sample while estimating the specific weight of the area using water content and soil sample length variation ratio (SLVRs) and to obtain apparent specific gravity, hardness, and max. porosity which are used as growth of corps and ecological environment index. The calibration results of ESWF showed a high degree of significance, with NSE for actual specific weight (γ₀) and calibration estimation specific weight (γ_ec) 0.95, R² for 0.954, and RMSE for 0.051. The verification results of ESWF showed a high significance, with NSE for actual specific weight (γ₀) and verification estimation specific weight (γ_ev) 0.881, R² for 0.978, and RMSE for 0.055.