• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• The Journal of Information Systems
• /
• v.18 no.3
• /
• pp.327-349
• /
• 2009

Traditional keyword-based searching methods suffer from low accuracy and high complexity due to the rapid growth in the amount of information. Accordingly, many researchers attempt to implement a so-called semantic search which is based on the semantics of the user's query. Semantic information can be described using a semantic modeling language, such as Topic Map. In this paper, we propose a new method to map a topic map to a traditional Relational Database (RDB) without any information loss. Although there have been a few attempts to map topic maps to RDB, they have paid scant attention to handling multi-role topics. In this paper, we propose a new storage structure to map multi-role topics to traditional RDB. The proposed structure consists of a mapping table, role tables, and content tables. Additionally, we devise a query translator to convert a user's query to one appropriate to the proposed structure.

• Smart Media Journal
• /
• v.3 no.1
• /
• pp.52-62
• /
• 2014

Prevalence of common three-dimensional display progresses, increasing the demand for three-dimensional content. Starting from the year 2010 to meet increasing 2D to 3D conversion is insufficient to meet demand content was presented as an alternative. But, Convert 2D to 3D stereo effect only emphasizes content production as a three-dimensional visual fatigue and the degradation of the Quality problems are pointed out. In this study, opened in 2011 'Scenes Guan', the 13 selected Scene is made of the three-dimensional transform the content and the Quality of the transformation applied to the Depth-Map is a visual representation of three-dimensional fatigue and, the adequacy of whether the expert has group interviews and surveys were conducted. Many of the changes are applied to the motion picture of the three-dimensional configurations of Depth-Map conversion technology used in many ways before and after the analysis of the relationship of cascade configurations to create a depth map to the stage. Experiments, presented in this study is a three-dimensional configuration of Depth-Map transformation can lower the production of a three-dimensional visual fatigue and improve the results obtained for a reasonable place was more than half of the experiment accepted the expert group to show a positive reaction were. The results of this study with a rapid movement to convert 2D images into 3D images of applying Depth-map configuration cascade manner to reduce the visual fatigue, to increase the efficiency, and has a three-dimensional perception is the result derived.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.5
• /
• pp.539-546
• /
• 2010

A program which can produce military standard raster maps was developed. This includes the functions that classify the types of geospatial data, publish automatically based on paper map schema, and convert products with military standard raster formats. Especially, this paper presents the automatic map-publishing technique with mathematical modeling and controling the line width, color, shape that ever not used.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.200-203
• /
• 2008

The objective of this study is to produce the $CO_2$ (carbon dioxide) absorption map using KOMPSAT-2 imagery. For estimating the amount of $CO_2$ absorption, the stand biomass of forest was estimated with the total weight, which was the sum of individual tree weight. Individual tree volumes could be estimated by the crown width extracted from KOMPSAT-2 imagery. In particular, the carbon conversion index and the ratio of the $CO_2$ molecular weight to the C atomic weight, reported in the IPCC (Intergovernmental Panel on Climate Change) guideline, was used to convert the stand biomass into the amount of $CO_2$ absorption. Thereafter, the KOMPSAT-2 imagery was classified with the SBC (segment based classification) method in order to quantify $CO_2$ absorption by tree species. As a result, the map of $CO_2$ absorption was produced and the amount of $CO_2$ absorption was estimated by tree species.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2009.04a
• /
• pp.11-13
• /
• 2009

This research is renewal way to get latest digital map, We presented techniques to convert to GIS data for update digital map to utilize completion drawing of CAD data that is used construction and SOC construction. Conversion process is consisted of layer extraction, object transform, coordinate transform, format transform. GIS data that is changed via each process from CAD data can update digital map.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1188-1190
• /
• 2003

Taipei Watershed Management Bureau (WRATB) is a government agency entitled for water resources protection at two major watersheds in order to provide drinking water for about four millions population in Taipei on a sustainable basis. At WRATB, there are two major public sewage treatment facilities which can convert sewage in each watershed into an acceptable state before they were discharged into rivers. More than 82% of household wastewater have been collected and treated by the two public sewage systems. However, households at remote area still need more effective sewage management prescriptions. The objective of this paper is to implement geographic information systems in order to provide more effective approaches that sewage management can be easier and cost effective. ArcIMS was implemented for Internet browsing and map server of those sewage facilities on personal computers, laptop computers. In the open field, ArcPAD was implemented with personal digital assistant (PDA) such that compact flash type's global positioning systems (GPS) and digital camera can be utilized with PDA. All sewage facilities digital files were convert into ArcMap format files. MapObjects and visual BASIC were used to create sewage application modules to meet every single technician personal flavor. ASP.NET was implemented for Internet database manipulations of all sewage databases. Mobile GIS was the key component of GIS applications in the open field for sewage management on a basis of house by house. Houses at remote area, which can not cover by the two public sewage systems, were managed by PDA and laptop computers with GPS and digital camera. Sewage management at Taipei Watershed Management Bureau is easier both in the open field and in the office. Integration of GPS, GIS, and PDA makes sewage management in the open field much easier. ArcIMS, MapObjects, ASP.NET and visual BASIC make sewage management can be done in the office and over Internet.

• Korean Journal of Geomatics
• /
• v.3 no.1
• /
• pp.7-14
• /
• 2003

For GIS to land and sea in Korea, GIS on land was almost completed with big cities by NGIS(National Geographic Information System) business. However, MGIS(Marine Geographic Information System) being constructed by the National Oceanographic Research Institute is still constructing geography information and definition of attribute information and real condition. We are being studied on research to get maximized the ripple effect linking GPS and Navigation techniques on GIS. GPS in accuracy is divided into navigation and precise surveying equipment. Now, GPS technology has been developed very much and low price GPS equipments are introducing. But expense on GPS equipment is high yet. Therefore, GPS equipment for navigation is used on cheap GPS equipment in a car or ship. In this paper, the author used algorithm to convert ellipsoid coordinate between WGS84 and Bessel ellipsoid and to analyze map projection between BESSEL ellipsoid and UTM plane coordinate system. And the author developed ship navigation system with cheap GPS equipment using algorithm of ellipsoid conversion and map projection. The author proposed the necessity on constructing MGIS to manage many ships.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.16 no.2
• /
• pp.291-297
• /
• 1998

In order to accomplish the digital map production I/O devices should be used which are used for data input procedure to convert original paper map(hardcopy) data into computer compatible digital map data, and for the mapsheet output procedure of worked out data. For the input device, digitizer and scanner are most frequently used. Digitizer has possibility of direct production of digital data, and are mainly used for input procedure of partly plotted source map. In contrary, scanner is rather easy to operate the instrument, so that is widely used for the input procedure of original sheet map. In this study, to extract the input device characteristics, some kinds of digitizers and scanners were cheesed and used for the positional error analysis through the operational method and types of instruments. Also for the output device characteristics, some kinds of plotter and materials are used and compared to analyze the positional error through the instrumental types and output sheet materials.

• Journal of Information Technology Services
• /
• v.19 no.4
• /
• pp.1-11
• /
• 2020

Through text mining, sentiment analysis, and semiotics analysis, this study aims to reinterpret the meaning of user emotional words and related words to derive strategic elements of brand and design. After selecting a local car manufacturer whose user opinion on the brand is a clear topic, web-crawl the car comments of the manufacturer directly created by the users online. Then, analyze the extracted morphology and its associated words and convert them to fit the marketing mix theory. Through this process, propose a methodology that allows consumers to supplement and improve brand elements with negative sensibilities, and to inherit elements with positive sensibilities and manage brands reasonably. In particular, the Map presented in this study are considered to be fully utilized as information for overall brand management.