• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.023 seconds

Forward Projection Using Fuzzy Logic in Axisymmetric Finite Element Simulation for Cold Forging (축대칭 냉간단조의 유한요소해석에서 퍼지로직을 이용한 전방투사법)

  • 정낙면;이낙규;양동열
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.16 no.8
    • /
    • pp.1468-1484
    • /
    • 1992
  • In the present paper forward projection is proposed as a new approach to determine the preform shape in rib-web type forging. In the forward projection technique an optimal billet is determined by applying some mathematical relationship between geometrical trials in the initial billet shape and the final products. In forward projection a volume difference between the desired product shape and the final computed shape obtained by the rigid-plastic finite element method is used as a measure of incomplete filling of working material in the die. At first linear inter-/extrapolation is employed to find a proper trial shape for the initial billet and the method is successfully applied to some cases of different aspect ratios of the initial billet. However, when the initial guesses are not sufficiently near the optimal value linear inter-/extrapolation does not render complete die filling. For more general application, a fuzzy system is used in the forward projection technique in order to determine the initial billet shape for rib-web type forging. It has been thus shown that the fuzzy system is more reliable for the preform design in the rib-web type forging process.

A Study on Implementation of Humane Resource Pool Recruitment system Using Blockchain

  • Lee, Ji-Woon;Seo, Hee-Suk
    • Journal of the Korea Society of Computer and Information
    • /
    • v.26 no.2
    • /
    • pp.69-78
    • /
    • 2021
  • In this paper, we propose a implementation plan of the human resource pool recruitment system using private (permitted) blockchain. The term Human Resource has become commonly used and has come to recognize human resources as resources. Despite these changes, the use of human resource pools has been sluggish. Once entered, information is often not updated on a regular basis and does not provide sharing, searching, carrier management and anti-counterfeiting. In this research, in order to provide a human resource pool recruitment system that utilizes private (permitted) blockchain, we first used the blockchain network to enable sharing and searching of human resource pools, and to use keywords. Used to get results that meet certain conditions. Second, we added an institutional verification process to ensure the integrity of the input data and prepared preventive measures in the non-technical part by utilizing the structural characteristics of the blockchain to prevent counterfeiting and alteration. Third, we designed and implemented a Dapp (Decentralized application) that includes a Web UI so that each of the three groups can control the blockchain and the predefined processes and business logic.

Hardware Architecture for Entropy Filter Implementation (엔트로피 필터 구현에 대한 Hardware Architecture)

  • Sim, Hwi-Bo;Kang, Bong-Soon
    • Journal of IKEEE
    • /
    • v.26 no.2
    • /
    • pp.226-231
    • /
    • 2022
  • The concept of information entropy has been widely applied in various fields. Recently, in the field of image processing, many technologies applying the concept of information entropy have been developed. As the importance and demand of computer vision technologies increase in modern industry, real-time processing must be possible in order for image processing technologies to be efficiently applied to modern industries. Extracting the entropy value of an image is difficult to process in real-time due to the complexity of computation in software, and a hardware structure of an image entropy filter capable of real-time processing has never been proposed. In this paper, we propose for the first time a hardware structure of a histogram-based entropy filter that can be processed in real time using a barrel shifter. The proposed hardware was designed using Verilog HDL, and Xilinx's xczu7ev-2ffvc1156 was set as the target device and FPGA was implemented. As a result of logic synthesis using the Xilinx Vivado program, it has a maximum operating frequency of 750.751 MHz in a 4K UHD high-resolution environment, and it processes more than 30 images per second and satisfies the real-time processing standard.

BIM-based visualization technology for blasting in Underground Space (지하공간 BIM 기반 발파진동 영향 시각화 기술)

  • Myoung Bae Seo;Soo Mi Choi;Seong Jong Oh;Seong Uk Kim;Jeong Hoon Shin
    • Smart Media Journal
    • /
    • v.12 no.11
    • /
    • pp.67-76
    • /
    • 2023
  • We propose a visualization method to respond to civil complaints through an analysis of the impact of blasting. In order to analyze the impact of blasting on tunnel excavation, we propose a simulation visualization method considering the mutual influence of the construction infrastructure by linking measurement data and 3D BIM model. First, the level of BIM modeling required for simulation was defined. In addition, vibration measurement data were collected for the GTX-A construction site, terrain and structure BIM were created, and a method for visualizing measurement data using blast vibration estimation was developed. Next, a spherical blasting influence source library was developed for visualization of the blasting influence source, and a specification table that could be linked with Revit Dynamo automation logic was constructed. Using this result, a method for easily visualizing the impact analysis of blasting vibration in 3D was proposed.

A Study on Multi-modal Near-IR Face and Iris Recognition on Mobile Phones (휴대폰 환경에서의 근적외선 얼굴 및 홍채 다중 인식 연구)

  • Park, Kang-Ryoung;Han, Song-Yi;Kang, Byung-Jun;Park, So-Young
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.45 no.2
    • /
    • pp.1-9
    • /
    • 2008
  • As the security requirements of mobile phones have been increasing, there have been extensive researches using one biometric feature (e.g., an iris, a fingerprint, or a face image) for authentication. Due to the limitation of uni-modal biometrics, we propose a method that combines face and iris images in order to improve accuracy in mobile environments. This paper presents four advantages and contributions over previous research. First, in order to capture both face and iris image at fast speed and simultaneously, we use a built-in conventional mega pixel camera in mobile phone, which is revised to capture the NIR (Near-InfraRed) face and iris image. Second, in order to increase the authentication accuracy of face and iris, we propose a score level fusion method based on SVM (Support Vector Machine). Third, to reduce the classification complexities of SVM and intra-variation of face and iris data, we normalize the input face and iris data, respectively. For face, a NIR illuminator and NIR passing filter on camera are used to reduce the illumination variance caused by environmental visible lighting and the consequent saturated region in face by the NIR illuminator is normalized by low processing logarithmic algorithm considering mobile phone. For iris, image transform into polar coordinate and iris code shifting are used for obtaining robust identification accuracy irrespective of image capturing condition. Fourth, to increase the processing speed on mobile phone, we use integer based face and iris authentication algorithms. Experimental results were tested with face and iris images by mega-pixel camera of mobile phone. It showed that the authentication accuracy using SVM was better than those of uni-modal (face or iris), SUM, MAX, NIN and weighted SUM rules.

A Study on Forecasting Accuracy Improvement of Case Based Reasoning Approach Using Fuzzy Relation (퍼지 관계를 활용한 사례기반추론 예측 정확성 향상에 관한 연구)

  • Lee, In-Ho;Shin, Kyung-Shik
    • Journal of Intelligence and Information Systems
    • /
    • v.16 no.4
    • /
    • pp.67-84
    • /
    • 2010
  • In terms of business, forecasting is a work of what is expected to happen in the future to make managerial decisions and plans. Therefore, the accurate forecasting is very important for major managerial decision making and is the basis for making various strategies of business. But it is very difficult to make an unbiased and consistent estimate because of uncertainty and complexity in the future business environment. That is why we should use scientific forecasting model to support business decision making, and make an effort to minimize the model's forecasting error which is difference between observation and estimator. Nevertheless, minimizing the error is not an easy task. Case-based reasoning is a problem solving method that utilizes the past similar case to solve the current problem. To build the successful case-based reasoning models, retrieving the case not only the most similar case but also the most relevant case is very important. To retrieve the similar and relevant case from past cases, the measurement of similarities between cases is an important key factor. Especially, if the cases contain symbolic data, it is more difficult to measure the distances. The purpose of this study is to improve the forecasting accuracy of case-based reasoning approach using fuzzy relation and composition. Especially, two methods are adopted to measure the similarity between cases containing symbolic data. One is to deduct the similarity matrix following binary logic(the judgment of sameness between two symbolic data), the other is to deduct the similarity matrix following fuzzy relation and composition. This study is conducted in the following order; data gathering and preprocessing, model building and analysis, validation analysis, conclusion. First, in the progress of data gathering and preprocessing we collect data set including categorical dependent variables. Also, the data set gathered is cross-section data and independent variables of the data set include several qualitative variables expressed symbolic data. The research data consists of many financial ratios and the corresponding bond ratings of Korean companies. The ratings we employ in this study cover all bonds rated by one of the bond rating agencies in Korea. Our total sample includes 1,816 companies whose commercial papers have been rated in the period 1997~2000. Credit grades are defined as outputs and classified into 5 rating categories(A1, A2, A3, B, C) according to credit levels. Second, in the progress of model building and analysis we deduct the similarity matrix following binary logic and fuzzy composition to measure the similarity between cases containing symbolic data. In this process, the used types of fuzzy composition are max-min, max-product, max-average. And then, the analysis is carried out by case-based reasoning approach with the deducted similarity matrix. Third, in the progress of validation analysis we verify the validation of model through McNemar test based on hit ratio. Finally, we draw a conclusion from the study. As a result, the similarity measuring method using fuzzy relation and composition shows good forecasting performance compared to the similarity measuring method using binary logic for similarity measurement between two symbolic data. But the results of the analysis are not statistically significant in forecasting performance among the types of fuzzy composition. The contributions of this study are as follows. We propose another methodology that fuzzy relation and fuzzy composition could be applied for the similarity measurement between two symbolic data. That is the most important factor to build case-based reasoning model.

The Effect of the Instruction Using PSpice Simulation in 'Digital Logic Circuit' Subject at Industrial High School (공업계열 전문계고등학교 '디지털 논리 회로' 수업에서 PSpice를 이용한 수업의 효과)

  • Choi, Seung-Woo;Woo, Sang-Ho;Kim, Jinsoo
    • 대한공업교육학회지
    • /
    • v.33 no.1
    • /
    • pp.149-168
    • /
    • 2008
  • The purpose of this study is to verify the effect of PSpice instruction on academic achievement in 'Combination logic circuit' unit of 'Digital Logic Circuit' in industrial high school. Three kinds of null hypotheses were formulated. Two classes of the third grade of C technical high school in Gyeong-buk were divided into experimental group and control group in order to verify null hypotheses. In the experimental design, 'Non-equivalent control group pretest-posttest' model was utilized. This experiment was conducted for six classes, the experimental group was applied to PSpice instruction method before the circuit traning while the control group was applied to traditional lecture oriented method before the circuit traning. Window SPSS 10.0 korean language version program was used for the data analysis and independent sample t-test was used to identify the average of each group. Significance level was set to .05 level. The results obtained in this study were as follows; First, PSpice instruction had not an effect on academic achievement according to a group type. However, these instruction had an effect on the following sub-domains; the psychomotor domain. Second, PSpice instruction had not an effect on academic achievement according to a studies level. However, these instruction for middle and low level students had an effect on the cognitive and psychomotor domain, and for middle level students had an effect on the affective domain. Third, PSpice instruction had not an effect on shortening of a training requirement. However, this instruction for low level students had an effect on shortening of a training requirement. The study results of simulation instruction was chiefly efficient in the psychomotor domain. We could know that simulation instruction is efficient as went to a low level students than an upper level students. Thus, We may make the study effectiveness in various instruction method.

An Analysis of the 8th Grade Probability Curriculum in Accordance with the Distribution Concepts (분포 개념의 연계성 목표 관점에 따른 중학교 확률 단원 분석)

  • Lee, Young-Ha;Huh, Ji-Young
    • Journal of Educational Research in Mathematics
    • /
    • v.20 no.2
    • /
    • pp.163-183
    • /
    • 2010
  • It has long been of controversy what the meanings of probability is. And a century has past after the mathematical probability has been at the center of the school curriculum of it. Recently statistical meaning of probability becomes important for various reasons. However the simple modification of its definition is not enough. The computational reasoning of the probability and its practical application needs didactical changes and new instructional transformations along with the modification of it. Most of the current text books introduce probability as a limit of the relative frequencies, a statistical probability. But when the probability computation of the union of two events, or of the simultaneous events is faced on, they use mathematical probability for explanation and practices. Accordingly there is a gap for students in understanding those. Probability is an intuitive concept as far as it belongs to the domain of the experiential frequency. And frequency distribution must be the instructional bases for the (statistical) probability novices. This is what we mean by the probability in accordance with the distribution concepts. First of all, in order to explain the probability of the complementary event we should explain the empirical relative frequency of it first. These are the case for the union of two events and for the simultaneous events. Moreover we need to provide a logic of probabilistic guesses, inferences and decision, which we introduce with the name “the likelihood principle”, the most famous statistical principle. We emphasized this be done through the problems of practical decision making.

  • PDF

The Effects of Customer Participation in CSR(Corporate Social Responsibility) Process on Customers' Response (기업의 사회적 책임 활동 과정에서의 고객참여가 고객 반응에 미치는 영향)

  • Jang, Jung-Min;Lee, Eun-Young
    • Journal of Distribution Science
    • /
    • v.14 no.3
    • /
    • pp.45-54
    • /
    • 2016
  • Purpose - There have been numerous studies investigating the effects of corporate social responsibility initiatives on corporate associations or corporate images. In line of this research stream, current research examined the potential impact of customer participation in the process of corporate social responsibility initiatives on attitude toward the company. This research differentiates from previous studies that it is the first to connect corporate social responsibility and customer participation. Specifically, we suggest a structural model on corporate associations which was classified into corporate ability associations and corporate social responsibility associations that the more the customers participate in initiating corporate social responsibility, corporate associations were formed more positively. And this leads to the increase of revisit intentions through customer satisfaction. Research design, data, and methodology - To test our research model, we collected data of real consumers of a large discount store in Korea. At the large discount store, customers were given an opportunity to participate the discount store's CSR activity program. We performed field survey and collected data of 146 respondents. We analyzed the data using PASW statistics 21.0 and AMOS 16.0 in order to test our structural model. Results - The results showed that consumers who participated more in initiating corporate social responsibility revealed higher score for corporate ability associations and corporate social responsibility associations. These corporate associations had a positive effect on customer satisfaction, which leads to higher attitude toward revisit intentions. Specifically, hypothesis 1.1 "As Customer participation in CSR process increases, the evaluation of CA associations will be positive,"was supported. Hypothesis 1.2 "As Customer participation in CSR process increases, the evaluation of CSR associations will be positive," was supported. Hypothesis 2.1 "As the evaluation of CA associations is positive, satisfaction with the firm will increase," was supported. Hypothesis 2.1 "As the evaluation of CSR associations is positive, satisfaction with the firm will increase," was supported. Hypothesis 3 "As satisfaction with the firm increases, revisit intentions with the firm will increase," was supported. Conclusions - This research is the first to study the relationship between customer participation in CSR process, CSR, and consumer reactions. This research also contributes to customer participation and corporate social responsibility literature by suggesting customer participation as an antecedent and empirically demonstrating the positive relationships between the constructs. The findings of this research may offer managerial implications for marketing practitioners. When performing corporate social initiatives, it is better to let the customer participate in the process which leads to higher corporate ability associations and corporate social responsibility associations, also higher satisfaction and revisit intentions. Our results provide useful information to practioners that spontaneous participation of consumers makes CSR initiatives effective and successful. Limitations and ideas for further research remain in this research. For example, our focus on the logic was cognitive evaluations(e.g. corporate associations) but affective dimensions might be considered since recent researches are investigating the relationship between customer participation and affective reaction as a response. Despite the limitations, this research have unique and applicable implications for academics and practitioners.

A Survey of Elementary school teachers' perceptions of mathematics instruction (수학수업에 대한 초등교사의 인식 조사)

  • Kwon, Sungyong
    • Education of Primary School Mathematics
    • /
    • v.20 no.4
    • /
    • pp.253-266
    • /
    • 2017
  • The purpose of the study was to investigate the perceptions of Elementary school teachers on mathematics instruction. To do this, 7 test items were developed to obtain data on teacher's perception of mathematics instruction and 73 teachers who take mathematical lesson analysis lectures were selected and conducted a survey. Since the data obtained are all qualitative data, they were analyzed through coding and similar responses were grouped into the same category. As a result of the survey, several facts were found as follow; First, When teachers thought about 'mathematics', the first words that come to mind were 'calculation', 'difficult', and 'logic'. It is necessary for the teacher to have positive thoughts on mathematics and mathematics learning, and this needs to be stressed enough in teacher education and teacher retraining. Second, the reason why mathematics is an important subject is 'because it is related to the real life', followed by 'because it gives rise to logical thinking ability' and 'because it gives rise to mathematical thinking ability'. These ideas are related to the cultivating mind value and the practical value of mathematics. In order for students to understand the various values of mathematics, teachers must understand the various values of mathematics. Third, the responses for reasons why elementary school students hate mathematics and are hard are because teachers demand 'thinking', 'because they repeat simple calculations', 'children hate complicated things', 'bother', 'Because mathematics itself is difficult', 'the level of curriculum and textbooks is high', and 'the amount of time and activity is too much'. These problems are likely to be improved by the implementation of revised 2015 national curriculum that emphasize core competence and process-based evaluation including mathematical processes. Fourth, the most common reason for failing elementary school mathematics instruction was 'because the process was difficult' and 'because of the results-based evaluation'. In addition, 'Results-oriented evaluation,' 'iterative calculation,' 'infused education,' 'failure to consider the level difference,' 'lack of conceptual and principle-centered education' were mentioned as a failure factor. Most of these factors can be changed by improving and changing teachers' teaching practice. Fifth, the responses for what does a desirable mathematics instruction look like are 'classroom related to real life', 'easy and fun mathematics lessons', 'class emphasizing understanding of principle', etc. Therefore, it is necessary to deeply deal with the related contents in the training courses for the improvement of the teachers' teaching practice, and it is necessary to support not only the one-time training but also the continuous professional development of teachers.