• Journal of KIISE:Software and Applications
• /
• v.37 no.2
• /
• pp.148-154
• /
• 2010

In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

• Journal of Astronomy and Space Sciences
• /
• v.20 no.4
• /
• pp.403-416
• /
• 2003

There are common features, in both imaging surveys and image processing, between astronomical observations and remote sensing. Handling large amounts of data, in an easy and fast way, has become a common issue. Implementing pipeline software can be a solution to the problem, one which allows the processing of various kinds of data automatically. As a case study, the development of pipeline software for the EIS (European Southern Observatory Imaging Survey) is introduced. The EIS team has been conducting a sky survey to provide candidate targets to the 250 VLTs (Very Large Telescopes) observations. The survey data have been processed in a sequence of five major data corrections and reductions, i.e. preprocessing, flat fielding, photometric and astrometric corrections, source extraction, and coaddition. The processed data are eventually distributed to the users. In order to provide automatic processing of the vast volume of observed data, pipeline software has been developed. Because of the complexity of objects and different characteristic of each process, it was necessary to analyze the whole works of the EIS survey program. The overall tasks of the EIS are identified, and the scheme of the EIS pipeline software is defined. The system structure and the processes are presented, and in-depth flow charts are analyzed. During the analyses, it was revealed that handling the data flow and managing the database are important for the data processing. These analyses may also be applied to many other fields which require image processing.

• Journal of Korean Society of Water and Wastewater
• /
• v.31 no.6
• /
• pp.619-628
• /
• 2017

As the 3D laser scanning technology capable of databaseing large sewage box culverts becomes possible, it is necessary to develop a standardization manual that can clearly distinguish the structural and operational defect types of box culver and analyze the defect data. In this study, we collected and analyzed defects in sewage box culverts of 14,827m in total by selecting three districts in Korea. The major defects were surface damages, and their defect densities were $2.17m^2/m$, $0.27m^2/m$ and $0.10m^2/m$ for aggregate exposure, Steel reinforcement exposure, and Steel reinforcement projecting. In order to support the decision of the box culverment management, it was divided into five grades and each defect code and defect score were allocated. The results of this study are useful for the diagnosis of the sewage box culverts in Korea and it is expected to support a decision making for management.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.10
• /
• pp.148-158
• /
• 2015

It is difficult to test a detection system in underwater acoustics channel environments. The system can be evaluated by using simulation analysis tool. In this paper, a simulation tool is proposed to analyze the effectiveness of underwater acoustics detection based on database for real environments. First, the underwater environment is built based on HYCOM underwater environment database. Then, a multipath characteristic is considered through calculating underwater acoustics propagation path/pressure based on the ray theory. Also, hydrophone thermal noise and underwater ambient noise are considered to reflect underwater noise characteristics.

• Tunnel and Underground Space
• /
• v.9 no.3
• /
• pp.214-220
• /
• 1999

In this study, the validity of items of RMR system is evaluated and the applicability of this system to the data measured in Korean sites if discussed. Database was constructed from 139 sites, which are composed of subways, railway tunnels and road tunnels. These sites are located nationwide. Analysis shows that original classification of Bieniawski is valid although it was derived empirically. But it has considerable rating difference (error) in the result of Korean application. Thus new classification systems of KRMRI and KRMR2 are suggested, which are deduced from the Korean database. The former includes adjusted ratings and the latter adopts two more items. These are deduced by artificial neural network because it is difficult to select \`characteristic value'to estimate rock quality.

• Proceedings of the IEEK Conference
• /
• 2001.10a
• /
• pp.693-698
• /
• 2001

This paper establishes a coding method system including the liberation and size distribution of recycling materials in the shredder operation. Every particle in the shredded product becomes a code number using the liberation model and size distribution equation transforming of weight percentage into particles number percentage. One set of database can be obtained after all particles have been coded. This database is suitable for the size reduction operation in the process simulation of waste recycling. Coupling with the developed air classification, sizing and separating operations, the whole process simulation will be completely established for diversified application. A typical simulation for the rolling cutting shredder product of waste TV had been demonstrated under this coding system. The breakage size distribution of Gaudin and Schumann equation were selected for the shredding operation simulation. The Gaudin's liberation model was suitable fur the liberation simulation. Both of these equations were transformed weight percentage into particles distribution for the necessary of particle coding method. A better recycling operation for this shredded solid waste can be concluded from the comparison of simulation results with their sorted grade, recovery or economic of materials in different processes.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.3
• /
• pp.398-405
• /
• 2003

A fast response analyzer for measuring carbon dioxide concentration has been developed for transient characteristic and researches tested on internal combustion engine. The analyzer uses the well known NDIR(Non-Dispersive Infrared) method with miniaturized detection system, giving a time constant of approximately 30 microsecond, and sampling module consists of capillary tube. Since the transit time and the time constant of the sampling system depend on the sampling conditions, it is necessary to investigate the characteristics of sampling system before applied to exhaust gas measurement in engine. A unique method was designed to study the influence of the diameter of transfer sample line and operating conditions of the FRNDIR on transit time and time constant. A database of transit time and time constant was built up for different measured and simulated pressure conditions. The database can be used for correcting eventual $CO_2$ concentration measurement.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.865-870
• /
• 2005

The latest Global Positioning System, wireless communications technology and Location-Based Service bring about the rapid developments of telematics application areas. In the moving object database for telematics, it is very important to deal with database queries related to the real time current positions of a moving objects and the valid tine of the query results as well. In this paper, we propose how to get not only the current result of query but also the valid time and the result after the valid time when a query point and objects are moving simultaneously. We would like to predict the valid time by formula because the current results will be incorrect due to the characteristic of the continuous movements of the moving objects and the future results can not be calculated by iterative computations.

• Journal of KIISE:Software and Applications
• /
• v.26 no.10
• /
• pp.1167-1167
• /
• 1999

Although spatial databases support an efficient spatial management on objects in the real world, they have a characteristic that process only spatial information valid at current time, So in case of change in the spatial domain, it is very hard to support an efficient historical management for time-varying spatial information because they delete an old value and then replace with new value that is valid at current time. To solve these problems, there are rapidly increasing of interest for spatiotemporal databases, which serve historical functions for spatial information as well as spatial management functions for an object. However most of them presented in an abstract time-varying spatial phenomenon, but have not presented a concrete policy in spatiotemporal databases. In this paper, we propose a spatiotemporal data model that supports bitemporal time concepts in three dimensional architecture. In the proposed model, not only data types and their operation for object of spatiotemporal databases have been classified, but also mathematical expressions using formal semantics for them have been given. Then, the data structures and their operations based on relational database model as well as object-oriented database model are presented.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.594-597
• /
• 2007

We present in this paper a novel mid and long term power load prediction method using temporal pattern mining from AMR (Automatic Meter Reading) data. Since the power load patterns have time-varying characteristic and very different patterns according to the hour, time, day and week and so on, it gives rise to the uninformative results if only traditional data mining is used. Also, research on data mining for analyzing electric load patterns focused on cluster analysis and classification methods. However despite the usefulness of rules that include temporal dimension and the fact that the AMR data has temporal attribute, the above methods were limited in static pattern extraction and did not consider temporal attributes. Therefore, we propose a new classification method for predicting power load patterns. The main tasks include clustering method and temporal classification method. Cluster analysis is used to create load pattern classes and the representative load profiles for each class. Next, the classification method uses representative load profiles to build a classifier able to assign different load patterns to the existing classes. The proposed classification method is the Calendar-based temporal mining and it discovers electric load patterns in multiple time granularities. Lastly, we show that the proposed method used AMR data and discovered more interest patterns.