• Journal of the Korea Institute of Information Security & Cryptology
• /
• 제27권4호
• /
• pp.811-820
• /
• 2017

Software automatic technology research recently focuses not only on generating a single path test-case, but also on finding an optimized path to reach the vulnerability through various test-cases. Although Dynamic Symbolic Execution (DSE) technology is popular among these automatic technologies, most DSE technology researches apply only to Linux binaries or specific modules themselves. However, most software are vulnerable based on input files. Therefore, this paper proposes an input file based dynamic symbolic execution method for software vulnerability verification. As a result of applying it to three kinds of actual binary software, it was possible to create a test-case effectively reaching the corresponding point through the proposed method. This demonstrates that DSE technology can be used to automate the analysis of actual software.

• Journal of Korean Society for Geospatial Information Science
• /
• 제6권2호
• /
• pp.81-90
• /
• 1998

With the high demand for Geographic Information System and the diversification of Spatial Information, it has been required a rapid and accurate input system, updating system and an efficient field survey system to organize database for thematic mapping. Following the purpose, several indispensable modules have to be Invented to build a GPS Lap-top Computer System using low cost GPS receivers. These modules include such as an interface module between GPS receivers and lap-top computers, a data processing module for standalone GPS or Real-time Differential GPS, a module to input or amend digital map and to transfer three-dimensional coordinates in real-time, and finially a module to enter attribute value and feature code based on standard specification of digital maps for controlling position and attribute data. In this paper, it Is presented the efficiency of method to acquire and to input or to amend spatial information using a GPS Lap-top Computer System.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제8권4호
• /
• pp.803-809
• /
• 2007

This study suggests a computational model to inquire the roles of phonological information and orthography information in the process of visual word recognition among the courses of language information processing, and the representation types of the mental lexicon. The model that this study is presenting here was designed as a feed forward network structure which is comprised of input layer which uses two Korean syllables as its input value, hidden layer, and output layer which express meanings. As the result of the study, the computational model showed the phonological and orthographic neighborhood effect among language phenomena which are shown in Korean word recognition, and showed proofs which implies that the mental lexicon is represented as phonological information in the process of Korean word recognition.

• Journal of the Korean Graphic Arts Communication Society
• /
• 제27권1호
• /
• pp.1-14
• /
• 2009

The color reproduction of digital still camera does not, in general, match those of the final output device. Because color gamut of these devices is different, it is therefore necessary to take account of a way to match. The way uses the optimized profile to output device an image. This paper proposed a way to create the input profile of digital still camera for standardization soft proofing process. The results of proposed way showed that for input profiles equivalent, good results relatively. In this paper, an experiment was done where the illumination sources used as the standard illumination 5200K and illuminated at a $45^{\circ}$ angle in the best illumination efficiently. The white balance was in mode 'custom' : aperture F11, exposure time 1/60s, ISO50, focal length 80mm. The images were exported and saved as 16bit RGB TIFF(AdobeRGB, sRGB, ProphotoRGB) images. To do the test, the RGB values of the RGB TIFF images are processed through the ICC input profile to arrive at processed $CIEL^*a^*b^*$ values. A profiling tool such as ProfileMaker 5.0 and Monacoprofile 4.8 are used to do this. The processed $CIEL^*a^*b^*$ values are compared to the reference $CIEL^*a^*b^*$ values and these two values are used to calculate a ${\Delta}E{^*}_{ab}$.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 한국언어정보학회 2001년도 학술대회 논문집
• /
• pp.237-257
• /
• 2001

This paper investigates the idiosyncratic understanding of universal quantifiers such as every, each or all by young children at the ages of 4 to 7, and argues that the phenomenon is explicable in terms of the maturation of both the cognitive system and the linguistic system. Evidence for this dual explanation comes from the fact that the visual input, a picture, plays a key role in determining the children’s conceptual representation, suggesting the need for the central integration of visual and linguistic elements; and from the fact that a quantifier in the linguistic input has an intrinsic property, i.e. a <+focus> feature. I have tried to explain the nature of the cognitive factors in terms of the function of the central system, suggesting a modified form of Smith & Tsimpli’s (1995) version of Fodor’s (1983) modularity hypothesis. Conceptual representations of two kinds are in competition with each other and they are integrated into a neutral LOT (Language of Thought) representation at some point . In the process of this integration, the representations from the visual input predominate over those from the auditory input, though the quantize. (treated as new information provided by the latter) is salient in the final representations. When visual conceptual representations predominate over purely linguistic ones, quantifier spreading errors occur. By contrast, when the relevant grammatical knowledge has developed sufficiently to counteract the conceptual representations, this peculiar behaviour by children should disappear. It is argued that children have to learn two kinds of grammatical fact with regard to universal quantification: (i) they have to learn the status of the quantifier as a functional head of DP so that it has to be positioned inside DP; and (ii) they have to learn the Left-Branch Condition which specifies that movement of an element in the left-branch position is possible only by pied-piping the entire phrase.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• 제28권5C호
• /
• pp.486-492
• /
• 2003

The vigilance threshold of conventional fuzzy ART algorithm decide whether to permit the mismatch between any input pattern and stored pattern. If the vigilance threshold was large, despite of little difference among input and stored patterns, the input pattern may be classified to new category. On the other hand, if the vigilance threshold was small, the similarity between two patterns may be accepted in spite of lots of difference and the input pattern are classified to category of the stored pattern. Therefore, the vigilance threshold for the image recognition must be experientially set for the good result. Moreover, it may occur in the fuzzy ART algorithm that the information of stored patterns is lost in the weight-adjusting process and the rate of pattern recognition is dropped. In this paper, I proposed the enhanced fuzzy ART algorithm that supports the dynamical setting of the vigilance threshold using the generalized intersection operator of fuzzy logic and the weight value being adaptively set in proportional to the current weight change and the previous weight by reflecting the frequency of the selection of winner node. For the performance evaluation of the proposed method, we applied to the recognition of container identifiers from shipping container images. The experiment showed that the proposed method produced fewer clusters than conventional ART2 and fuzzy ART algorithm. and had tile higher recognition rate.

• Journal of KIBIM
• /
• 제8권3호
• /
• pp.31-42
• /
• 2018

This study focuses on the BIM request for information(RFI) processing performance and quantitatively analyzes the performance of the BIM coordinator and the loss due to the waiting of the project participants. For these purposes, a method to quantitatively evaluate the performance of the BIM coordinator was proposed using a queueing model. For the verification, two projects in which BIM was applied in the construction phase were selected, and the BIM RFI data were collected through the analysis of the BIM monthly report and BIM coordinator work log of each project. In addition, the BIM input personnel, labor cost, and productivity data were collected through interviews with the experts of the case projects. The analysis of the BIM RFI processing performance of the BIM coordinator using the queueing model exhibited on a probabilistic basis that the waiting status of the project participants could vary depending on the preliminary BIM application to the design verification as well as the input number and level of the BIM coordinator personnel. In addition, the loss cost due to the waiting of the project participants was analyzed using the number of BIM RFIs waiting to be processed in the queueing system. Finally, the economic feasibility analysis for the optimal BIM coordinator input was performed considering the loss cost. The results of this study can be used to make decisions about the optimal BIM coordinator input and can provide grounds for the BIM return on investment (ROI) analysis considering the waiting cost of the project participants.

• Journal of the Korean Graphic Arts Communication Society
• /
• 제26권2호
• /
• pp.65-77
• /
• 2008

The color reproduction of digital still camera does not, in general, match those of the final prints. Because color gamut of these devices is different, it is therefore necessary to take account of a way to match. The way uses the optimized profile to print an image. This paper proposed a way to create the input profile of digital still camera for standardization printing process. The results of proposed way showed that for input profiles equivalent, good results relatively. In this paper, an experiment was done where the illumination sources used as the standard illumination 5200K and illuminated at a $45^{\circ}$ angle in the best illumination efficiently. The white balance was in mode 'custom': aperture F11, exposure time 1/60s, ISO50, focal length 80mm. The images were exported and saved as 16bit RGB tiff(AdobeRGB, sRGB, ProphotoRGB) images. To do the test, the RGB values of the RGB tiff images are processed through the ICC input profile to arrive at processed $CIEL^*a^*b^*$ values. A profiling tool such as ProfileMaker 5.0 and Monacoprofile 4.8 are used to do this. The processed CIEL*a*b* values are compared to the reference CIEL*a*b* values and these two values are used to calculate a ${\Delta}E$.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• 제24권5호
• /
• pp.600-608
• /
• 2020

Machine learning constructs an objective function from learning data, and predicts the result of the data generated by checking the objective function through test data. In machine learning, input data is subjected to a normalisation process through a preprocessing. In the case of numerical data, normalization is standardized by using the average and standard deviation of the input data. In the case of nominal data, which is non-numerical data, it is converted into a one-hot code form. However, this preprocessing alone cannot solve the problem. For this reason, we propose a method that uses ontology to normalize input data in this paper. The test data for this uses the received signal strength indicator (RSSI) value of the Wi-Fi device collected from the mobile device. These data are solved through ontology because they includes noise and heterogeneous problems.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• 제32권10A호
• /
• pp.958-964
• /
• 2007

In this paper, we derive the relationship between the bit error probability (BEP) of maximum a posteriori (MAP) bit detection and the bit minimum mean square error (MMSE), that is, the BEP is greater than a quarter of the bit USE and less than a half of the bit MMSE. By using this result, the lower and upper bounds of the derivative of the mutual information are derived from the BEP and the lower and upper bounds are easily obtained in the multiple-input multiple-output (MIMO) communication systems with the bit-linear linear-dispersion (BLLD) codes in the Gaussian channel.