• 한국수학사학회지
• /
• 제30권4호
• /
• pp.247-258
• /
• 2017

The goal of this essay is to examine metaphors for mathematics and to discuss philosophical problems related to them. Two metaphors for mathematics are well known. One is a tree and the other is a building. The former was proposed by Pasch, and the latter by Hilbert. The difference between these metaphors comes from different philosophies. Pasch's philosophy is a combination of empiricism and deductivism, and Hilbert's is formalism whose final task is to prove the consistency of mathematics. In this essay, I try to combine two metaphors from the standpoint that 'mathematics is a part of the ecosystem of science', because each of them is not good enough to reflect the holistic mathematics. In order to understand mathematics holistically, I suggest the criteria of the desirable philosophy of mathematics. The criteria consists of three categories: philosophy, history, and practice. According to the criteria, I argue that it is necessary to pay attention to Pasch's philosophy of mathematics as having more explanatory power than Hilbert's, though formalism is the dominant paradigm of modern mathematics. The reason why Pasch's philosophy is more explanatory is that it contains empirical nature. Modern philosophy of mathematics also tends to emphasize the empirical nature, and the synthesis of forms with contents agrees with the ecological analogy for mathematics.

• 한국전자거래학회지
• /
• 제8권1호
• /
• pp.85-102
• /
• 2003

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to make the conversion rule which changes the hierarchical architecture to 2-dimensional information. Accordingly the modeling methodology for storing each structured information in relational database is needed. In this paper, we introduce a XML modeling methodology to design W3C XML schema using UML and we propose a unified design methodology for relational database schema to store XML data efficiently in relational databases. In the second place, in order to verify objectivity of a unified design methodology. By the way of Ronald Bourret, First we introduce the method of the transformation from XML schema to object model and second we translate object model into relational database schema. Therefore we show the mutual consistency between those consequence, and so can verify a unified design methodology.

• 모자간호학회지
• /
• 제3권2호
• /
• pp.85-94
• /
• 1993

The purpose of this study was to test the construct validity and reliability of the Health Self-Determinism Index for Children (HSDI-C), an instrument designed to measure intrinsic motivation in health behavior. An convenience sample of 558,7 to 13 years old children completed the Korean version of HSDI-C. The findings were as follows : 1. Construct validity was supported through factorial isolation of four theory-consistent subscales ; Internal-external cue responsive ness, Self-determinism in health judgement, Competency in health matters, and Self-determinism in health behavior /goal. The total percent of variance explained by 4 factors was 2 percent. 2. The correlations between the four factors were ranged from -.06 to .29 indicating that factors are not redundant and each factor contributes uniquely to the total construct. 3. Cronbach alpha coefficient for internal consistency was .96 for the total, and .72, .56, .69, and .75 on the respective subscales. Test-retest reliability for the total scale was .85 at 2 weeks. 4. The Analysis of variance for the HSDI-C total scale and subscales according to grades revealed that there were significant differences in means for the total and factor one and two, indicating younger children were more extrinsically motivated.

• 소성∙가공
• /
• 제25권1호
• /
• pp.43-48
• /
• 2016

H-beams are generally produced by hot rolling composed of a Break Down Mill (BDM) and a Finishing Mill (FM). The goal of the current study was to develop BDM rolling of H300ｘ300 beams from blooms slit from slabs. In order to manufacture H300ｘ300 beams, the caliber design and the pass schedule of BDM rolling were proposed for a bloom instead of a beam blank. The proposed BDM caliber design and pass schedule were tested using FE-simulation and pilot tests. For the major shape dimensions, such as flange width, web height, web thickness, as well as BDM rolling loads, a comparative analysis between the FE-simulation and the pilot rolling tests was conducted. The results of FEM analysis and pilot rolling tests showed good consistency. Moreover, BDM rolling loads were predicted to be in the range of allowable rolling loads. It was concluded that the designed BDM rolling is suitable for implementation within current manufacturing capacity.

• 성인간호학회지
• /
• 제26권3호
• /
• pp.300-309
• /
• 2014

Purpose: This study was to develop a Health Dieting Competency (HDC) scale to assess self-rated health dieting competence of college students. Methods: The scale was developed as follows: items generated, and tests of validity and reliability. Items were developed through a literature review, review of instruments, and interviews. A panel of four experts reviewed the scale for content validity. Factor analysis, Pearson correlation, descriptive statistics and Cronbach's ${\alpha}$ were used to analyze the data (N=183). Results: In the preliminary stage, thirty-three items were generated. Final items were fourteen that were selected through exploratory factor analysis. The HDC scale was consisted with five factors and fourteen items that were Goal-Directed (5-items), Health Support (2-items), Health Self-Efficacy (3-items), Health Perception (2-items), and Escaping from Health (2-items). The internal consistency of HDC as measured by Cronbach's ${\alpha}$ was .78. Conclusion: Content validity, construct validity, and reliability of the HDC were established. The HDC scale is a reliable and valid instrument for early adulthood youth who are willing to assess health dieting competency.

• 농촌계획
• /
• 제3권2호
• /
• pp.50-61
• /
• 1997

As one of methodological approaches for objective and systematic evaluation for rural resources, a sequential system for significance determination of resources items was formulated using AHP (Analytic Hierarchy Process) as the base technique. By the system constructed in this study, the significance values were calculated for all items of standard goal system which had been presented in the first phase- paper of research works for rural resources evaluation. The results analysed and obtained in the study are summarized as follows; 1. In case that the number of resources items for evaluation are relatively large, stepwise matrix method is considered as the better one for pair-comparison works in view of evaluator's convenience and consistency. 2. The significance valuing results for most resources items showed a considerable difference between characteristic areas, especially in aspects of land and human resources, so being considered as wet reflecting the specific areal varieties, 3. On land resources, the items for industrial development and land use showed higher significance value, while natural environment resources the items for ecological varieties and on human resources the items for artificial facilities. However, lower-valued ones were the items for mineral stocks in land resources, for control and protection in natural environment resources and for lower-level culture heritage respectively.

• 대한간호학회지
• /
• 제37권5호
• /
• pp.625-634
• /
• 2007

Purpose: The purpose of this study was to test the reliability and validity of an MIL instrument for adolescents. Method: The research design was a three-phase, methodological study. 1) The original 46 items of the Meaning in Life (MIL) Scale were reviewed and corrected partially by 20 adolescents. 2) The content was validated by an expert panel (n=15) and adolescents (n=5). 3) The instrument was validated by survey (n=468). Finally, 33 items were chosen for the adolescents meaning in life(AMIL) scale. Results: Cronbach's alpha coefficient of the 33 items was .92, confirming the high internal consistency of the instrument. 2) Eight factors were extracted through factor analysis: 'experience of love', 'making efforts for goal', 'awareness of essential being', 'awareness of self limitation', 'feeling of satisfaction', 'relation experience', 'positive thinking', and 'hope'. These factors explained 58.26% of the total variance. Conclusion: AMIL Scale was identified as a tool with a high degree of reliability and validity. The tool can therefore be effectively utilized to assess the degree of meaning of life in caring areas for adolescents. Studies on AMIL of different adolescent subjects are needed for further verification.

• 한국문헌정보학회지
• /
• 제38권2호
• /
• pp.119-136
• /
• 2004

이 연구의 목적은 구십 년대 중반 이후 편목 업무의 부분적 혹은 전면적 외주를 수행하였던 국내외 대학 도서관들의 사례를 분석하여, 대학도서관의 편목 업무 외주의 현황과 그에 관련된 문제점을 살펴보는 것이다. 비용 절감과 업무 효율 증대라는 외주에 대한 기대는 목록 레코드의 품질 저하 및 그에 따른 레코드의 수정 위한 추가 비용과 업무 부담이라는 결과를 초래하여, 외주의 실질적 효과에 대한 논쟁의 원인이 되고 있다. 특히 국내 대학도서관에서의 편목 업무의 외주는 참조할 우수한 서지 유틸리티나 공동목록의 부재, 외주 서비스 제공자의 전문성 결여, 실질적 비용 효과 분석 데이터의 결핍 등의 문제로 인해 타당성이 제한적인 것으로 나타나고 있다.

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.556-564
• /
• 2021

Numerous spatial and transform-domain-based conventional denoising algorithms struggle to keep critical and minute structural features of the image, especially at high noise levels. Although neural network approaches are effective, they are not always reliable since they demand a large quantity of training data, are computationally complicated, and take a long time to construct the model. A new framework of enhanced hybrid filtering is developed for denoising color images tainted by additive white Gaussian Noise with the goal of reducing algorithmic complexity and improving performance. In the first stage of the proposed approach, the noisy image is refined using a high-dimensional non-local means filter based on Principal Component Analysis, followed by the extraction of the method noise. The wavelet transform and SURE Shrink techniques are used to further culture this method noise. The final denoised image is created by combining the results of these two steps. Experiments were carried out on a set of standard color images corrupted by Gaussian noise with multiple standard deviations. Comparative analysis of empirical outcome indicates that the proposed method outperforms leading-edge denoising strategies in terms of consistency and performance while maintaining the visual quality. This algorithm ensures homogeneous noise reduction, which is almost independent of noise variations. The power of both the spatial and transform domains is harnessed in this multi realm consolidation technique. Rather than processing individual colors, it works directly on the multispectral image. Uses minimal resources and produces superior quality output in the optimal execution time.

• International Journal of Computer Science & Network Security
• /
• 제21권5호
• /
• pp.121-128
• /
• 2021

In this work, a noble walkway approach suitable for Saudi Arabia (SA) towards its aim to develop a wide range of smart cities is considered scientifically. This work intends to minimize the errors at each level by testing the events that take place in the walkway environment. similarly, the minimum requirements to develop a walkway to the additional features to be considered while designing a walkway are discussed in this paper with sensitive areas such as environmental factors, healthcare issues, patients visiting the walkways, etc. The applications of different monitoring devices such as CCTV's, global positioning systems (GPS), etc. are carefully addressed to help the proposed method for improving the monitoring activities of a variety of events that possibly cause problems to a common man. The ultimate goal of this work to ensure a safe and satisfied journey of pedestrians while they come for a walk with all suitable safety measures. The safety measures included in this work are for pollution, noise, temperature, humidity and traffic jams on the roads. To improve the accuracy and to test the proposed approach some polices are defined and will be tested for the consistency of the proposed system. The obtained accuracy of the proposed system is proved to be far better with an accuracy of 93% improvement in the results.