• Journal of Korean Academy of Nursing
• /
• v.24 no.2
• /
• pp.206-215
• /
• 1994

Intuition is an abstract concept which is most often thought of as a nonrational, nonscientific mode of thought. However, since there are so many amorphous definitions of intuition that it seems important to clarify the meaning of this concept. Therefore, this study use the process of Walker & Avant’s concept analysis to define of the concept of intuition Attributes of intuition were defined as 1) Knowledge of truth that is difficult to explicate ; 2) A type of immediate knowing ; 3) Knowlwdge without reasining analysis ; 4) Knowledge that is attained based on virtue character which integrates all matter and is not attained through individual experience. Antecedents of intuition consists of 1) as ground for knowledge or truth that is not availables to trace through the analytic procedures ; & 2) the flow of Ki which unites human beings and the universe. Consequences of intuition events or incidents occuring as a result of the concept consist of verification of the truth though analytic procedures and application of knowledge in both theoretical and practical ways. To develop intuitive ability, as an educator should not only make studies in recognizine, analysing and teaching concepts related to logical, rational decision making but should also recognize and teach concepts related to intuitive components of making decisions in clinical practice and classroom learning as well.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.8
• /
• pp.3943-3957
• /
• 2016

As digital evidence has a highly influential role in proving the innocence of suspects, methods for integrity verification of such digital evidence have become essential in the digital forensic field. Most surveillance camera systems are not equipped with proper built-in integrity protection functions. Because digital forgery techniques are becoming increasingly sophisticated, manually determining whether digital content has been falsified is becoming extremely difficult for investigators. Hence, systematic approaches to forensic integrity verification are essential for ascertaining truth or falsehood. We propose an integrity determination method that utilizes the structure of the video content in a Video Event Data Recorder (VEDR). The proposed method identifies the difference in frame index fields between a forged file and an original file. Experiments conducted using real VEDRs in the market and video files forged by a video editing tool demonstrate that the proposed integrity verification scheme can detect broken integrity in video content.

• Journal of Digital Convergence
• /
• v.10 no.2
• /
• pp.237-242
• /
• 2012

This paper proposed image matching technique that find out the truth of the wild ginseng through smart phone when the common person discovered a plant like a wild ginseng. Also sharing a location and information by SNS, we can improve the probability of wild ginseng discovery. Image matching technique using OpenCV porting in android finds out the truth of the wild ginseng with comparing existing it. Thus we are able to compare and analysis them in our application program. For more verification, we added marking function of wild ginseng position for information sharing between users.

• Korean Journal of Cognitive Science
• /
• v.27 no.3
• /
• pp.469-499
• /
• 2016

The present study investigated the cognitive mechanism underlying online processing of Korean syntactic (for example, A bed/a clock belongs to/doesn't belong to the furniture "침대는/시계는 가구에 속한다/속하지 않는다") and lexical negation (for example, A tiger/a butterfly has/doesn't have a tail "호랑이는/나비는 꼬리가 있다/없다") using an ERP(Event-related potentials) technique and a truth-value verification task. 23 Korean native speakers were employed for the whole experiment and 15's brain responses (out of 23) were recorded for the ERP analysis. The behavioral results (i.e. verification task scores) show that there is universal pattern of the accuracy and response time for verification process: True-Affirmative (high accuracy and short latency) > False-Affirmative > False-Negated > True-Negated. However, the components (early N400 & P600) reflecting the immediate processing of a negation operator were observed only in lexical negation. Moreover, the ERP patterns reflecting an effect of truth value were not identical: N400 effect was observed in the true condition compared to the false condition in the lexically negated sentences, whereas Positivity effect (like early P600) was observed in the false condition compared to the true condition in the syntactically negated sentences. In conclusion, the form and location of negation operator varied by languages and negation types influences the strategy and pattern of online negation processing, however, the final representation resulting from different computational processing of negation appears to be language universal and is not directly affected by negation types.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1284-1297
• /
• 2019

The network environment is presently becoming very increased. Accordingly, the study of traffic classification for network management is becoming difficult. Automatic signature extraction system is a hot topic in the field of traffic classification research. However, existing automatic payload signature generation systems suffer problems such as semi-automatic system, generating of disposable signatures, generating of false-positive signatures and signatures are not kept up to date. Therefore, we provide a fully automatic signature update system that automatically performs all the processes, such as traffic collection, signature generation, signature management and signature verification. The step of traffic collection automatically collects ground-truth traffic through the traffic measurement agent (TMA) and traffic management server (TMS). The step of signature management removes unnecessary signatures. The step of signature generation generates new signatures. Finally, the step of signature verification removes the false-positive signatures. The proposed system can solve the problems of existing systems. The result of this system to a campus network showed that, in the case of four applications, high recall values and low false-positive rates can be maintained.

• Nuclear Engineering and Technology
• /
• v.53 no.3
• /
• pp.888-893
• /
• 2021

The International Atomic Energy Agency has developed a tomographic imaging system for accomplishing the total fuel rod-by-rod verification time of fuel assemblies within the order of 1-2 h, however, there are still limitations for some fuel types. The aim of this study is to develop a deep learning-based denoising process resulting in increasing the tomographic image acquisition speed of fuel assembly compared to the conventional techniques. Convolutional AutoEncoder (CAE) was employed for denoising the low-quality images reconstructed by filtered back-projection (FBP) algorithm. The image data set was constructed by the Monte Carlo method with the FBP and ground truth (GT) images for 511 patterns of missing fuel rods. The de-noising performance of the CAE model was evaluated by comparing the pixel-by-pixel subtracted images between the GT and FBP images and the GT and CAE images; the average differences of the pixel values for the sample image 1, 2, and 3 were 7.7%, 28.0% and 44.7% for the FBP images, and 0.5%, 1.4% and 1.9% for the predicted image, respectively. Even for the FBP images not discriminable the source patterns, the CAE model could successfully estimate the patterns similarly with the GT image.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.6
• /
• pp.13-18
• /
• 1985

A set of utility programs for automatic generation, minimization and verification of high density PLA layout was developed, which includes equation-to-truth table translator, logic minimizer, PLA product term sorter, file generator for plotting stick diagram, dynamic CMOS PLA layout generator and bipartite row folded CMOS PLA layout generator. Size reduction is performed mainly by logic minimizer and bipartite row folder, and the maximal delay is reduced by sorter. The fOe for automatically generated layout is stored in CIF. Each program was written in Clanguage, and was run on VAX-11/750 (UNIX).

• Journal of the Semiconductor & Display Technology
• /
• v.23 no.2
• /
• pp.33-37
• /
• 2024

Recently, wearable virtual reality devices are widely used. These instruments include a 3-axis accelerometer. User's heart rate information in virtual reality contents can be useful for measuring user experience. In this paper, we propose a method to measure the heart rate through a 3-axis accelerometer based on the principle of ballistocardiography without additional sensors. The angular velocity was successively measured in a time series by the 3-axis accelerometer mounted to the head. The frequency of the maximum magnitude is determined as the heart rate through frequency transform and band pass filtering of the time series signal. For verification, the heart rate calculated from photoplethysmography sensors acquired at the same time was compared as ground-truth. In the virtual reality, the user's heart rate information can be extracted without additional heart rate sensor, and the emotional state and fatigue can be measured.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.451-454
• /
• 2019

In this paper, we propose a verifiable image transformation networks to transform face sketch to photo and vice versa. Face sketch-photo is very popular in computer vision applications. It has been used in some specific official departments such as law enforcement and digital entertainment. There are several existing face sketch-photo synthesizing methods that use feed-forward convolution neural networks; however, it is hard to assure whether the results of the methods are well mapped by depending only on loss values or accuracy results alone. In our approach, we use two Resnet encoder-decoder networks as image transformation networks. One is for sketch-photo and another is for photo-sketch. They depend on each other to verify their output results during training. For example, using photo-sketch transformation networks to verify the photo result of sketch-photo by inputting the result to the photo-sketch transformation networks and find loss between the reversed transformed result with ground-truth sketch. Likely, we can verify the sketch result as well in a reverse way. Our networks contain two loss functions such as sketch-photo loss and photo-sketch loss for the basic transformation stages and the other two-loss functions such as sketch-photo verification loss and photo-sketch verification loss for the verification stages. Our experiment results on CUFS dataset achieve reasonable results compared with the state-of-the-art approaches.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.3
• /
• pp.549-555
• /
• 2019

According to a recent report by anti-virus vendors, the number of new and modified malware increased exponentially. Therefore, malware analysis research using machine learning has been actively researched in order to replace passive analysis method which has low analysis speed. However, when using supervised learning based machine learning, many studies use low-reliability malware family name provided by the antivirus vendor as the label. In order to solve the problem of low-reliability of malware label, this paper introduces a new labeling technique, "Unified Labeling", and further verifies the malicious behavior similarity through the feature analysis of the fine-grained method. To verify this study, various clustering algorithms were used and compared with existing labeling techniques.