• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.032 seconds

A Binary Decision Diagram-based Modeling Rule for Object-Relational Transformation Methodology (객체-관계 변환 방법론을 위한 이진 결정 다이어그램 기반의 모델링 규칙)

  • Cha, Sooyoung;Lee, Sukhoon;Baik, Doo-Kwon
    • Journal of KIISE
    • /
    • v.42 no.11
    • /
    • pp.1410-1422
    • /
    • 2015
  • In order to design a system, software developers use an object model such as the UML class diagram. Object-Relational Transformation Methodology (ORTM) is a methodology to transform the relationships that are expressed in the object model into relational database tables, and it is applied for the implementation of the designed system. Previous ORTM studies have suggested a number of transformation methods to represent one relationship. However, there is an implementation problem that is difficult to apply because the usage criteria for each transformation method do not exist. Therefore, this paper proposes a binary decision diagram-based modeling rule for each relationship. Hence, we define the conditions for distinguishing the transformation methods. By measuring the query execution time, we also evaluate the modeling rules that are required for the verification. After evaluation, we re-define the final modeling rules which are represented by propositional logic, and show that our proposed modeling rules are useful for the implementation of the designed system through a case study.

Effects of Application Attributes of Coffee Chains on Consumer's Repurchase Decision-Making Processes (커피전문점의 모바일 애플리케이션 특성이 고객 재구매 의사 결정에 미치는 영향)

  • Zhang, Hang;Kim, Hyoeun;Kim, Byoungsoo
    • Journal of Digital Convergence
    • /
    • v.15 no.9
    • /
    • pp.137-146
    • /
    • 2017
  • This study explores the impacts of application attributes of coffee chains on consumer's re-purchase decision-making processes in the context of coffee chains. We posited coffee quality, service quality, and physical environment as key service attributes of coffee chains and personalization, usefulness, economy, and convenience as key application attributes. The moderating effect of application attributes on the relationship between consumer satisfaction and repurchase intention was investigated. The theoretical framework was tested based on 382 consumers who frequently visit coffee chains and install their applications. PLS method was used to analysis the hypotheses. The theoretical model accounts for 48.1% of variance in customer satisfaction and 41.6% of variance in repurchase intention. The analysis results showed that personalization and convenience play an moderating effect on consumer's repurchase decision-making processes. Coffee quality and physical environment were found to have significant effects on customer satisfaction, while service quality does not significantly influence consumer satisfaction. Brand image has a significant effect on customer satisfaction and repurchase intention.

An Algorithm for Searching On-Off Valves to Isolate a Subsystem in a Water Distribution System (상수관망의 부분적 차폐를 위해 필요한 제수밸브 결정 알고리즘)

  • Jun, hwan-don;Park, moo-jong;Lee, jong-seok
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2008.05a
    • /
    • pp.771-775
    • /
    • 2008
  • Concerns related to protecting, identifying, and isolating of subsystems of a water distribution network have led to the realization of the increased importance of valves in the system. The most important purpose of valves in water distribution systems is to isolate subsystems due to breakage, maintenance activities, or contamination. A subsystem called segment is isolated by the closure of adjacent valves and an efficient algorithm should identify the adjacent valves to minimize the pipe failure impact. In this paper, an algorithm to identify adjacent valves to be closed to isolate a subsystem from the remainder of a network in case of a pipe failure is presented. An application to the water distribution system in Ottawa, Canada demonstrates the developed algorithm efficiently locates the adjacent valves for the isolation of a broken pipe.

  • PDF

Of the Factors Organizing Independent Living of the Disabled, the Effect of Self-Determination Right and Empowerment on the Community Relation and Productivity (장애인 자립생활의 구성요인 중 자기결정권과 역량강화가 공동체관계 및 생산성에 미치는 영향)

  • Lee, Che Sik
    • 재활복지
    • /
    • v.17 no.4
    • /
    • pp.221-244
    • /
    • 2013
  • This study made an exploratory verification targeting severely-disabled persons on how self-determination right and empowerment of the factors organizing independent living affect community relation and productivity of the disabled. For the foregoing, this study collected data for about 2months from May through July 2012 targeting the disabled using Center for Independent Living and the Center for Human Right of the Disabled. As a result of research, this study revealed First, the level of self-determination right of the disabled differed meaningfully depending on the variables such as age, academic ability, existence of spouse, receiving pension, monthly income, residential type, time of occurrence of disability and disability rating, and in the level of empowerment, it showed a meaningful difference according to the factors like academic ability and disability rating. Second, the level of formation of community relation differed meaningfully according to the variables such as age, academic ability, existence of spouse, residential type, time of occurrence of disability, disability rating etc., and the level of productivity showed a meaningful difference according to the variables such as academic ability, existence of spouse, receiving pension, monthly income, multiple disabilities, disability rating etc. Third, as a result of investigation on the effect of self-determination right and empowerment of the disabled on their community relation, both self-determination right and empowerment turned out to have a meaningful and positive (+) effect on the community relation of the disabled. Fourth, as a result of investigation on the effect of self-determination right and empowerment of the disabled on their productivity, this study found that only the variable of empowerment exercises a meaningful and positive (+) influence on the productivity of the disabled. Therefore, self-determination right and empowerment are considered an important variable for enabling them to enjoy independent living in the future by strengthening community relation and productivity of the disabled. For this, it is required to fulfill social welfare and recognize the significance of self-determination right and empowerment in the process of rehabilitation, and develop as well as revitalize a variety of programs related to the above.

Verification of the HWAW (Harmonic Wavelet Analysis of Waves) Method Using Multi Layered Model Testing Site (실대형 모형부지를 이용한 HWAW(Harmonic Wavelet Analysis of Waves) 기법의 검증)

  • Kim, Jong-Tae;Park, Hyong-Choon;Kim, Dong-Soo;Bang, Eun-Seok
    • Journal of the Korean Geotechnical Society
    • /
    • v.23 no.4
    • /
    • pp.33-46
    • /
    • 2007
  • HWAW (Harmonic Wavelet Analysis of Wave) method, which is non-destructive method using body and surface waves, has the advantages of obtaining 2D subsurface imaging because it uses a short receiver spacing to obtain the $V_s$ profile of whole depth. Even though the reliability of HWAW method has already been verified by using the numerical simulation in the various layered models, it is very difficult to evaluate the reliability of HWAW in the field because the exact $V_s$ values of the experimental site are unknown. In this study, a model testing site where the material properties and layer information could be controlled was constructed to verify the reliability of HWAW method. The detailed geometry of the testing site was strictly measured by surveying, and 140 vertical and horizontal geophones were established at the boundary of each layer to evaluate the dynamic material properties. Using the interval travel times between the upper and lower geophones, the body wave velocities of each layer were 2 dimensionally obtained as reference data, and comparative study using HWAW method was performed. By comparing 2D Vs profile obtained by HWAW method to the reference data, the reliability of HWAW method was verified.

The Impacts of Internationalization Determinants of Exporting SMEs in Daegu & Gyeongbuk on Internationalization Performance (중소기업의 국제화 결정요인이 국제화 성과에 미치는 영향 - 대구.경북지역의 수출중소기업을 중심으로 -)

  • Lee, Hee-Yong;Yoon, Jung-Hyun;Yeo, Taek-Dong
    • International Commerce and Information Review
    • /
    • v.13 no.4
    • /
    • pp.435-462
    • /
    • 2011
  • Increased attention has worldwide been given to exporting SMEs pursuing the rapid internationalization from their inception. In spite of the limited resources, exporting SMEs have entered in global markets successfully and then improve their internationalization performance. Nevertheless, there is little empirical research regarding internationalization in exporting SMEs, Using a survey of 317 exporting SMEs, this study designated organizational, entrepreneurial, environmental, and technological characteristics as determinants of internationalization performance as well as investigates empirically the relationships among the determinants of internationalization performance, export Support programs of the government, and internationalization performance. According to the results of the study, firstly, R&D capacity, globalization-orientation, international market environment, and technological characteristics (e.g. technological capacity and imitation) have significant effects on international performances. Finally, it is found that export support programs moderated the relationships between market information management, R&D capacity, management capacity, international market information, and technological capacity, and internationalization performance. Above results indicate that if exporting SMEs would not use export support programs effectively, they could not improve internationalization performance. As well, several implications for researchers and practitioners, limitation of this study and future direction were suggested.

  • PDF

Development of Onboard Orbit Generation Algorithm for GEO Satellite (정지궤도 위성의 탑재 궤도 생성 알고리듬 개발)

  • Yim, Jo Ryeong;Park, Bong-Kyu;Park, Young-Woong;Choi, Hong-Taek
    • Aerospace Engineering and Technology
    • /
    • v.13 no.2
    • /
    • pp.7-17
    • /
    • 2014
  • This technical paper deals with development of on-board orbit generation algorithm for GEO Satellite. This paper presents the research analysis results performed in order to improve the accuracy of the existing algorithm used for generating real-time orbit information for GEO satellite. The error impact on orbit accuracy due to the orbit error sources were analyzed with the algorithm suggested by this research. As a result of the analyses, it is found that the initial orbit should be determined with an accuracy of less than 50 m and the reference position angle error for the ground station and the satellite should be maintained within ${\pm}0.0025deg$ in order to meet the orbit accuracy specification. The development of on-board flight software based on the new algorithm was accomplished and the performance verification is ongoing by using a software based performance verification tool.

Prediction of Member Plastic Rotation Demands for Earthquake Design of Moment Frames (모멘트골조의 내진설계를 위한 부재 소성변형 요구량 예측)

  • Eom, Tae-Sung;Park, Hong-Gun
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.13 no.5
    • /
    • pp.51-60
    • /
    • 2009
  • To secure the structural safety of structures and members against earthquakes, the plastic deformation capacity demand of members should be accurately predicted. In the present study, a method for the evaluation of the plastic deformations of members for moment frames was developed. To facilitate the practical use of the proposed method in equivalent seismic design, the plastic deformations of members were evaluated based on the results of elastic analysis, without using nonlinear analysis. The plastic deformation demands of members were formulated as functions of story drift demand, redistributed moment and member stiffness. Story drift demand and moment redistribution were directly determined from elastic analysis. The proposed method was applied to an 8 story-2 bay moment frame, and the predicted plastic deformations were verified using nonlinear analysis. The results showed that the proposed method could be used to accurately predict the member plastic rotations with simple calculations. The proposed method can be applied both to the earthquake design of new structures and to the performance evaluation of existing structures.

Study on Perceived Overload Confusion due to Modular Product's Option Size (모듈형 제품의 옵션 수가 소비자의 과잉혼란 지각에 미치는 영향 -조절초점, 제품친숙도, 자기효능감의 조절효과를 중심으로-)

  • Kim, Keon
    • The Journal of the Korea Contents Association
    • /
    • v.17 no.4
    • /
    • pp.275-284
    • /
    • 2017
  • Modularity has merits in modifiability of product structure management and product arrangement. This feature helps consumer to expand the selection of products and to get customized products. Also consumers are drive satisfaction and reduce a post-purchase dissonance from role in a 'prosumer'. But expanding product's alternative would cause the overload confusion by rising complexity of information handling. Purpose of the study is to verify how interaction about option size and personal disposition are effected consumer's overload confusion. For this purpose we deducted 3 personal dispositions 'Regulatory focus', 'Product familiarity', 'Self-efficacy' that presented lead to potential effect of personal information handling by previous research. By statistical inquiry prevent focus group had perceived more overload confusion than promotion focus group in an expanding option size circumstances. And low Product familiarity and Self-efficacy group had perceived more overload confusion than high Product familiarity and Self-efficacy group in a expanding option size circumstances.

Identification of major risk factors association with respiratory diseases by data mining (데이터마이닝 모형을 활용한 호흡기질환의 주요인 선별)

  • Lee, Jea-Young;Kim, Hyun-Ji
    • Journal of the Korean Data and Information Science Society
    • /
    • v.25 no.2
    • /
    • pp.373-384
    • /
    • 2014
  • Data mining is to clarify pattern or correlation of mass data of complicated structure and to predict the diverse outcomes. This technique is used in the fields of finance, telecommunication, circulation, medicine and so on. In this paper, we selected risk factors of respiratory diseases in the field of medicine. The data we used was divided into respiratory diseases group and health group from the Gyeongsangbuk-do database of Community Health Survey conducted in 2012. In order to select major risk factors, we applied data mining techniques such as neural network, logistic regression, Bayesian network, C5.0 and CART. We divided total data into training and testing data, and applied model which was designed by training data to testing data. By the comparison of prediction accuracy, CART was identified as best model. Depression, smoking and stress were proved as the major risk factors of respiratory disease.