• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

• Journal of Korean Society for Geospatial Information Science
• /
• v.17 no.4
• /
• pp.61-66
• /
• 2009

This Paper describes a new program called DEM Generator need to process DEM from LiDAR data or digital map data. It is difficult to generate raster DEM from LiDAR mass point data sets and digital maps too large to fit into memory. The DEM Generator was designed to process DEM and shaded relief image of GeoTiff format in order of streaming meshes; I/O minimize tag, delaunay triangle, natural neighborhood or TIN, temporary files and grid. It is expected that we can be improved the precision of DEM and solved the time consuming problem of DEM generating of a wider area.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.11 no.4
• /
• pp.89-97
• /
• 2015

In this paper, a method of color image segmentation based on DBSCAN(Density Based Spatial Clustering of Applications with Noise) using compactness of superpixels and texture information is presented. The DBSCAN algorithm can generate clusters in large data sets by looking at the local density of data samples, using only two input parameters which called minimum number of data and distance of neighborhood data. Superpixel algorithms group pixels into perceptually meaningful atomic regions, which can be used to replace the rigid structure of the pixel grid. Each superpixel is consist of pixels with similar features such as luminance, color, textures etc. Superpixels are more efficient than pixels in case of large scale image processing. In this paper, superpixels are generated by SLIC(simple linear iterative clustering) as known popular. Superpixel characteristics are described by compactness, uniformity, boundary precision and recall. The compactness is important features to depict superpixel characteristics. Each superpixel is represented by Lab color spaces, compactness and texture information. DBSCAN clustering method applied to these feature spaces to segment a color image. To evaluate the performance of the proposed method, computer simulation is carried out to several outdoor images. The experimental results show that the proposed algorithm can provide good segmentation results on various images.

• Journal of Biomedical Engineering Research
• /
• v.17 no.1
• /
• pp.1-10
• /
• 1996

In this paper, describe the automatic climbing wheelchair system use an articulated crawler mobile robot. This wheelchair system(call system) is composed of sensor detecting part and wireless communication part with PC. The sensor parts are consisted of sloping sensor and ultrasonic sensor part. The sloping sensor measures the sloping angle of system, and the ultrasonic sensor measures the distance of system's front wheel center from stair. PC will generate the operation data to climb up the stair using the measured data and make primitives for the system. At firsts This system transfer from sensor data to the PC. PC calculate the operation data to climb up the stair from the internal algorithm. We simulated the system in various stair angle slope($25^{\circ}$, $30^{\circ}$, $45^{\circ}$), and tested it on the real staircase with width 37cm, highlt 18cm, Angle $26^{\circ}$ . There were $0.350^{\circ}$ - $1.060^{\circ}$ Angle errors while climbing because adapted sensor has a precision $0.35^{\circ}$ in resolution. Finally, We implemented the sensor detecting part and the wireless communication park and practiced our system in 4cm/sec speed.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.4
• /
• pp.9-16
• /
• 2011

Modern systems become more complex and the demand for systems safety goes up sharply. Thus, the proper handling of the safety requirements in the systems design is getting greatly increased attention these days. Hazard analysis has been one of the active areas of research in connection with systems safety. In this paper, we study a subject on how the hazard analysis results can be incorporated in the systems design. To this end we set up a goal on how to systematically generate safety requirements that should reflect hazard analysis results and be implemented in the systems design and development. To do so, we first review the process for systems design and suggest the associated Model. Then the process and results of hazard analysis are analyzed and Modeled particularly with emphasis on the safety data. The resulting data Model incorporating both the hazard analysis and system life cycle is used in the generation of safety requirements. Based on the developed data Model, the generation of the requirements, the construction of requirements DB, and the change management later on is demonstrated through the use of a computer-aided software tool.

• The Journal of the Convergence on Culture Technology
• /
• v.4 no.1
• /
• pp.279-284
• /
• 2018

With the availability of real-time student behavioral data, personalization on education is gaining a huge traction. Data collected from massively open online courses (MOOC) has shifted the content delivery method from fixed, static to user-adopted form. Such educational content can be personalized by student's level of achivement. In this paper, we propose a service that automates the content restructuring, based on dynamic profile. With the student behavioral data, the proposed service restructures educational content by changing the order, extending and shrinking the published material. To do this, we record students' behavioral data and content information as a metadata, which will be used to generate dynamic profile.

• The Journal of Society for e-Business Studies
• /
• v.5 no.2
• /
• pp.101-112
• /
• 2000

Costs and times, resources was better decreased than former times because it had been introduced EDI(Electronic Data Interchange) system. Nevertheless, many problems has been raised as before, that is high costs and data re-using, the rapidly changing environment, etc. To solve these problems, it was attempted to introduce XML technology at traditional EDI System. From this point to view, 1 designed and implemented XML/EDI System based on Internet(Internet Messaging System) in this paper. And I selected some services as basic service among many services which is provided at XML/EDI System, that is message sending and message receiving, message retrieval. Other service of client system was composed of MapIn and MapOut module. MapIn Module is to parse the received XML Message and to store XML Data to RDB system. And MapOut module is to generate XML Message after extracting data from RDB system and to transfer XML Message to recipient. Hereby, XML/EDI System(XEDI System) provide document re-using, the various result(output) generation f3r various requirement and directly interface with DB. Therefore, This System(XEDI System) is more various and more flexible than the existing Messaging System that just provide transfer and retrieval service

• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.53 no.4
• /
• pp.225-230
• /
• 2004

An electromagnetic actuator has been designed and fabricated for Probe-based data storage applications. The actuator consists of permanent magnets(SmCo) housing and a media Platform which is connected to the Si frame by four couples of Si leaf springs. In order to generate electromagnetic force, Cu coils were electroplated under the media platform. The magnetic field distribution was calculated with 3D Finite Element Method of Maxwell 3D program. The field strength felt by Cu coils was estimated to be about 0.33T when the distance between the media platform and permanent magnets is $200\mu\textrm{m}$. The static and dynamic motions of the actuator were analyzed by FEM method with ANSYS 5.3. The measured displacements of the actuator were about $\pm$$92\mu\textrm{m}$ for input current of $\pm$40㎃ and the resonance frequency was 100Hz. The proposed electromagnetic actuator can be utilized for media driver of probe-based data storage system.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.3
• /
• pp.906-913
• /
• 2010

Sensors related to the geographic information are gathering strength as core technologies for various ubiquitous services like u-City project for the new town of the future to provide total information services by the high IT infrastructure. These sensors generate the very large real-time streaming data because these are set up and controlled with wide areas of the geographical distribution. On this, we propose an efficient spatial data stream processing system to support various u-GIS services based on geographic sensors.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.828-830
• /
• 2003

We have constructed a level-1 processor to generate brightness temperatures using the direct-broadcast data from the passive microwave radiometer onboard Aqua satellite. Although 50-minute half-orbit data, called a granule, are being routinely produced, to our knowledge, this is the first attempt to process about 10-minute long direct-broadcast data. We modified the processor designed for a granule to process the direct-broadcast data. After the modification, our brightness temperature product differs from the reference by 0.2K rms. Sea surface temperatures are retrieved to demonstrate the utility of AMSR-E.