• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2004.11a
• /
• pp.557-563
• /
• 2004

Korean cadastral system keeps graphical maps made by the plane table method from 1910's. The fact is that the graphical maps grafted on paper cover about 95% of the whole land (MOGAHA, 1999). The needs are arising to transform the graphical cadastre to a digital one in compliance with modem technologies. Korean government has already digitise the old maps until last year. A nation-wide land information system, Parcel-based Land Information System, was established upon the digitised map database. However, the accuracy of the digitised coordinates hardly meet the citizens' needs because it cannot exceed that of the paper maps. The definite solution will be surveying all the parcels again and making new digital maps. However, commencing a project for resurveying 34 million parcels will require enormous amount of time and manpower. The strategy should be dividing the country into county-wise or grid-wise pieces and surveying one piece by one piece. Municipal governments of counties, cities or urban districts will be the propelling bodies of the project but the costs will hardly be affordable at a time. For the purpose of resolving the financial problem, each municipality can split its own project into smaller pieces by year base. There is accordingly a great possibility to create inconsistency over the divided project areas caused by different techniques applied, different equipments used and/or mismatches between the project borders. It provides some merits at the same time. The people in project completion areas will be satisfied with the enhanced accuracy and feel safe in land transaction and, in turn, soundly improves overall nation-wide economic situation. Therefore, the main issue of the thesis shows how to make the cadastral re-survey project scalable. Guidelines for how to perform the projects will be derived from a experienced case.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.13-23
• /
• 2000

As software becomes more complicated and large-scaled, user's demands become more varied and his expectation levels about software products are raised. Therefore it is very important that a software engineer analyzes user's requirements precisely and applies it effectively in the development step. This paper presents a requirements analysis system that reduces and revises errors of requirements specifications analysis effectively. As this system measures the similarity among requirements documents and sentences, it assists users in analyzing the dependency among requirements specifications and finding the traceability, redundancy, inconsistency and incompleteness among requirements sentences. It also extracts sentences that contain ambiguous words. Indexing method for the similarity measurement combines sliding window model and dependency structure model. This method can complement each model's weeknesses. This paper verifies the efficiency of similarity measure techniques through experiments and presents a proccess of the requirements specifications analysis using the embodied system.

• Journal of KIISE:Databases
• /
• v.37 no.3
• /
• pp.171-175
• /
• 2010

This paper analyzes the tag data inconsistency problem caused by incomplete execution of the tag access operation to the RFID tag's memory and proposes a protocol to control consistent tag data accesses with finalizing the incomplete operation. Passive RFID tag cannot guarantee complete execution of the tag access operations because of uncertainty and unexpected disconnection of RF communications. This leads to the tag data inconsistency problem. To handle this, we propose a concurrency control protocol which defines incomplete tag operations as continuous queries and monitors the tags're-observation continuously. The protocol finalizes the incomplete operation when the tag is re-observed while it blocks inconsistent data accesses from other operations. We justify the proposed protocol by analyzing the completeness and consistency. The experiments show that the protocol shows better performance than the traditional lock-based concurrency control protocol.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.97-105
• /
• 2004

The reason that an intelligent agent cannot understand the representation of its own perception or activity is caused by the traditional syntactic approach that translates a semantic feature into a simulated string, To implement an autonomously learning intelligent agent, Cohen introduces a experimentally semantic approach that the system learns a contentful representation of physical schema from physically interacting with environment using its own sensors and effectors. We propose that negation is a meta-level schema that enables an agent to recognize its own physical schema, To improve the planner's efficiency, Graphplan introduces the control rule that manipulates the inconsistency between planning operators, but it cannot cognitively understand negation and suffers from redundancy problem. By introducing a negative function not, IPP solves the problem, but its approach is still syntactic and is inefficient in terms of time and space. In this paper, we propose that, to represent a negative fact, a positive atom, which is called opposite concept, is a very efficient technique for implementing an cognitive agent, and demonstrate some empirical results supporting the hypothesis.

• Journal of Korean Philosophical Society
• /
• v.143
• /
• pp.87-118
• /
• 2017

In this paper, I will show several theoretical nonconformities which can be found in P. Singer's concept of human beings. As we know, P. Singer is a well-known animal liberalist. On the one hand, Singer regards man as a subordinate being to nature and on the other, as a transcendent being. This is the first inconsistency of Singer's concept of man. His second inconsistency is related to his position on the power of reason. He believes that it is the product of evolution, and at the same time that it is a power to resist the blindness of evolution. Thirdly, he also exposes the contradictory attitude in evaluation on man's moral ability. Considering these three contradictions, it becomes clear that Singer has failed to prove his claim that there is no qualitative difference between human beings and animals. Despite the popularity of his theory, I believe the theoretical foundation of Singer's animal liberation theory is rather weak. The reason for revealing the weakness of Singer's theory is not to return to the practice of mercilessly handling animals but to show that it is wrong to undermine human dignity under the guise of animal welfare.

• Korean Journal of Remote Sensing
• /
• v.37 no.5_1
• /
• pp.999-1011
• /
• 2021

In spatio-temporal fusion aiming at predicting images with both high spatial and temporal resolutionsfrom multi-sensor images, the radiometric inconsistency between input multi-sensor images may affect prediction performance. This study investigates the effect of radiometric correction, which compensate different spectral responses of multi-sensor satellite images, on the spatio-temporal fusion results. The effect of relative radiometric correction of input images was quantitatively analyzed through the case studies using Sentinel-2, PlanetScope, and RapidEye images obtained from two croplands. Prediction performance was improved when radiometrically corrected multi-sensor images were used asinput. In particular, the improvement in prediction performance wassubstantial when the correlation between input images was relatively low. Prediction performance could be improved by transforming multi-sensor images with different spectral responses into images with similar spectral responses and high correlation. These results indicate that radiometric correction is required to improve prediction performance in spatio-temporal fusion of multi-sensor satellite images with low correlation.

• Atmosphere
• /
• v.28 no.4
• /
• pp.415-425
• /
• 2018

The roles of atmospheric heating formation and distribution on the global circulation are of utmost importance, and those are directly related to not only spatial but also temporal characteristics of monsoon system. In this study, before we clarify the characteristics of apparent heat source <$Q_1$> and moisture sink <$Q_2$>, comparisons of three reanalysis datasets (NCEP2, ERA-Interim, and JRA-55) in its global or regional patterns are performed to clearly evaluate differences among datasets. Considering inter-hemispheric difference of global monsoon regions, seasonal means of June-July-August and December-January-February, which is summer (winter) and winter (summer) in the Northern (Southern) Hemisphere are employed respectively. Here we show the characteristics of eight different regional monsoon regions and find contributions of <$Q_2$> to <$Q_1$> for the regional monsoon regions. Each term in apparent heat source and moisture sink is shown to come from the ERA-Interim dataset, since the ERA-Interim could be representative of three datasets. The NCEP2 data has a different characteristic in the ratio of <$Q_2$> and <$Q_1$> because it overestimates <$Q_1$> compared to the other two different datasets. The Australia monsoon has been performing better over time, while some regional monsoons (South America, North America, and North Africa) have been showing increasing data inconsistency. In addition, the three reanalysis datasets are getting different marching with time, in particular since the early 2000s over South America, North America, and North Africa monsoon regions. The recent inconsistency among the three datasets that may be associated with the global warming hiatus remains unexplored.

• Journal of The Korean Society of Integrative Medicine
• /
• v.10 no.4
• /
• pp.153-163
• /
• 2022

Purpose : The purpose of this study was to investigate the differences between uncertainty of chronic diseases and quality of life with regard to elderly people. Methods : The participants of this study were 350 elderly people, aged over 65 years. The collected data were analyzed using the SPSS Window program and the general characteristics of the participants and sub-domains of quality of life were analyzed by several frequency analyses and descriptive statistics such as mean, standard deviation, skewness, and kurtosis. Further, the differences between the sub-domains of uncertainty and sub-domains of quality of life were analyzed through independent t-test and one-way ANOVA. In order to reach conclusive results, post-test was analyzed by the Scheffe test. In addition, Pearson's correlation analysis was performed to determine the correlation between the target categories. A significance level of 𝛼=.05 was used to verify statistical significance. Results : As a result of examining "uncertainty" with respect to general characteristics, such as older age, low educational background, and chronic diseases, it was observed that the more intense these factors became, the more the level of uncertainty increased. In addition, it was also noted that except "accompanying diseases" in social domain, the participants enjoyed a high level of quality of life. The correlation was noted between domains of complexity and sociality (p<.01), domains of inconsistency and sociality (p<.01), domains of complexity and living environment (p<.01), domains of inconsistency and living environment (p<.01), and total score of uncertainty and total quality of life (p<.01). Conclusion : In this study, differences were found between "uncertainty" and "quality of life" of elderly people; the correlation between the sub-domains based on general traits was found to be negative (-). This suggests that objective evidence can be presented for the prevention of diseases by using mental health programs for the elderly in future.

• The Journal of the Acoustical Society of Korea
• /
• v.25 no.5
• /
• pp.229-238
• /
• 2006

This paper shows the analytic error caused by the inconsistency of the approximation order between the non local boundary condition (NLBC) and the parabolic governing equation. To obtain the analytic error, we first transform the NLBC to the half space domain using plane wave analysis. Then, the analytic error is derived on the boundary between the true numerical domain and the half space domain equivalent to the NLBC. The derived analytic error is physically expressed as the artificial reflection. We examine the characteristic of the analytic error for the grazing angle, the approximation order of the PE or the NLBC. Our main contribution is to present the analytic method of error estimation and the application limit for the high order parabolic equation and the NLBC.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.12 no.2
• /
• pp.131-138
• /
• 2004

In the proto design stage of a new car, the performances of an occupant protection system can be evaluated by CAE even though the real test should be carried out. The number of the real test is reduced by the exact predictions followed by the appropriate design recommendation. However, the existing researches using CAE in predicting the performances do not consider the uncertainties of parameters. That often leads to inconsistency between test and CAE. In this research, the robust design of a protection system such as airbag and load limiter is suggested considering the frontal crash. The parameter design scheme of the Taguchi method is introduced to obtain the robust design of arbitrary airbag and load limiter. It is performed based on the frontal crash test condition of US-NCAP with an arbitrary passenger car. The variances of the performances such as HIC, chest acceleration and probability of combined injury are calculated by the outer array and the Taylor series expansion. Through the analysis of the Taguchi method, the robust optimum is determined.