• Journal of KIISE:Software and Applications
• /
• v.33 no.5
• /
• pp.508-524
• /
• 2006

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For still inevitable false alarms (e.g. Airac raised 970 buffer-overrun alarms in commercial C programs of 5.3 million lines and 737 among the 970 alarms were false), which are always apt for particular C programs, we use a statistical post analysis. The statistical analysis, given the analysis results (alarms), sifts out probable false alarms and prioritizes true alarms. It estimates the probability of each alarm being true. The probabilities are used in two ways: 1) only the alarms that have true-alarm probabilities higher than a threshold are reported to the user; 2) the alarms are sorted by the probability before reporting, so that the user can check highly probable errors first. In our experiments with Linux kernel sources, if we set the risk of missing true error is about 3 times greater than false alarming, 74.83% of false alarms could be filtered; only 15.17% of false alarms were mixed up until the user observes 50% of the true alarms.

• The Journal of the Korea Contents Association
• /
• v.4 no.1
• /
• pp.55-66
• /
• 2004

Recently, as the personal computers are supplied rapidly, they formed the nucleus of the computer system. But, because of the easiness that anyone uses them to go near easily, it is the fact that the security of personal computer is weakness. So, in the paper, 1 propose the technical method that minimizes the loss and leakage of important data. This paper implemented a crypto system for security of data file on personal computer and assistance storage medium. The way of encryption/decryption is applied by complexity method which mixed Diffie-Hellman key exchange protocol, a typical RC4(Rivest Cipher version 4) algorithm of stream cipher and a typical MD5(Message Digest version 5) of Hash Function. For valuation implemented crypto system, three criteria is presented, which are crypto complexity, processing time and pattern matching. And according to analysis the three criteria the crypto system is verified the security, efficiency and usefulness. The crypto system is programmed with Visual C++ language of Microsoft. And so, as this is software system, we shall have a technical security system at a minimum cost for all personal computer.

• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.187-199
• /
• 2009

With the advent of Web 2.0, OpenAPIs are becoming an increasing trend to emphasize Web as platform recently. OpenAPIs are used to combine services and generate new services by mashup. However because the standard documents for OpenAPIs do not exist, it may restrict the use of OpenAPIs. Previous studies of OpenAPIs mashup have been limited to tool design or language definition for service combination rather than dynamic composition. On the other hand, Web services that are a software technology implementing SOA provide standard documents such as WSDL to explain each service, UDDI to register it, and SOAP to transfer messages. Thus Web applications can interpret and execute services by using these technologies. Recent works have also been performed to provide semantic features and dynamic composition for SOA. If a dynamic and systematic approach is provided to combine Web services and OpenAPIs, Web applications can provide users with diverse services. In this study, we present a SOA based framework for mashup of OpenAPIs and Web services. The framework supports dynamic composition of OpenAPIs and Web services, where the process of composite services is described in OWL-S. A prototype is provided to validate our framework. The framework is expected to add diversity to typical Web services.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.4
• /
• pp.195-202
• /
• 2016

There have been many studies on subject tests for 3D contents using 3D glasses, but there is a limited research for 3D contents using autostereoscopic display. In this study, we investigated to assess usability of electroencephalogram (EEG) as an objective evaluation for 3D contents with different quality using autosteroscopic display, especially for lenticular lens type. The image with optimal quality and the image with distorted quality were separately generated for autostereosopic display with lenticular lens type and displayed sequentially through lenticular lens for 26 subjects. EEG signals of 8 channels from 26 subjects exposed to those images were detected and correlation between EEG signal and the quality of 3D images were statistically evaluated to check differences between optimal and distorted 3D contents. What we found was that there was no statistical significance for a wave vibration, however b wave vibration shows statistically significant between optimal and distorted 3D contents. b wave vibration observed for the distorted 3D image was stronger than that for the optimal 3D image. This results suggest that subjects viewing the distorted 3D contents through lenticular lens experience more discomfort or fatigue than those for the optimum 3D contents, which resulting in the greater b wave activity for those watching the distorted 3D contents. In conclusion, these results confirm that electroencephalogram (EEG) analysis can be used as a tool for objective evaluation of 3D contents using autosteroscopic display with lenticular lens type.

• Journal of the Korean earth science society
• /
• v.21 no.6
• /
• pp.719-733
• /
• 2000

Normally, a digital geologic map can be defined as mappable one whose spatial information with geographic information details and geologic database attribute, recorded in a digital format that is readable by computer. It shows fundamentally two different conceptual perspectives: cartography for digital mapping and analysis for geo-data processing. While, as both aspects basically relate to natural entities and their interpretation of complex features fused with multi-sources, digital geo-data mapping or geologic mapping, it should be distinguished from digital mapping in engineering such as UIS(Urban Infomation System) and AM/FM(Automated Mapping/Facilities Management). Furthermore, according to short-cycled development of GIS(Geographic Information System) software architecture based on IT(Information Technology) and wide expansion of GIS applications' fields, the importance of domain analysis and application model is emphasized at digital geologic informatizaion. In this paper, first terms and concepts of geo-data model with general data modeling aspects are addressed, and then case histories for geo-data modeling and several approaches for data modeling in GIS application fields are discussed. Lastly, tentative conceptual geo-data modeling by using UML(Unified Modeling Language) of OO(Object-oriented) concepts with respect to USGS/AASG geo-data mode is attempted. Through this approach, the main benefits for standardization and implementation lineage with conceptual model in consideration to reusability are expected. Conclusively, it is expected that geo-information system and its architecture by UML is the new coming key approach for the GIS application in geo-sciences.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.4
• /
• pp.362-369
• /
• 2014

A railway SCADA system is a control systems that provide the trains with the electricity. A railway SCADA system sends commands to the RTUs(remote terminal unit) and then it gathers status information of the field devices in the RTUs or controls field devices connected with the RTUs. The RTU can controls input output modules directly, gathers the status information of the field devices connected with it, and send the information to the control center. In this way, a railway SCADA system monitors and controls the electricity power for running trains. The cyber attackers may use some vulnerabilities in the railway SCADA system software to attack critical infrastructures. The vulnerabilities might be created in the railway software development process. Therefore it need to detect and remove the vulnerabilities in the control system. In this paper we propose a new control protocol fuzzing method to detect the vulnerabilities in the DNP3 protocol based application running on VxWorks in RTU(Remote Terminal Unit) that is a component of the centralized traffic control system for railway. Debug-channel based fuzzing method is required to obtain process status information from the VxWorks.

• Journal of Radiation Protection and Research
• /
• v.37 no.1
• /
• pp.25-34
• /
• 2012

To know which parameters were acceptable for achieving lowest radiation exposure to the patients and highest image quality at the diagnostic X-ray radiography, we measured the patient radiation dose and image quality in transmitted PACS (Picture Archiving and Communication System) at variable combinations of the added filters. As a result, the Dose Area Product (DAP: $mGy{\cdot}cm^2$) and Entrance Surface Doses (ESDs: $mGy$) was lowest at 1 mmAl + 0.2 mmCu and highest at 0 mmAl. The histogram of the image quality by transmitted PACS was not significantly different at variable combinations of exposure parameters on the MATLAB. In conclusion, this study can be helpful for expecting radiation dose-exposure and control exposure parameters for the diagnostic X-ray radiography.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.1
• /
• pp.39-47
• /
• 2005

The range of hardware implementation increases in communication systems as high-speed processing is required for high data rate. In the broadband wireless access (BWA) system based on IEEE standard 802.16 the functions of higher part in the MAC layer to Provide data needed for generating MAC PDU are implemented in software, and the tasks from formatting MAC PDUs by using those data to transmitting the messages in a modem are implemented in hardware. In this paper, the interface hardware for efficient message exchange between MAC and PHY layers in the BWA system is designed. The hardware performs the following functions including those of the transmission convergence(TC) sublayer; (1) formatting TC PDU(Protocol data unit) from/to MAC PDU, (2) Reed-solomon(RS) encoding/decoding, and (3) resolving DL MAP and UL MAP, so that it controls transmission slot and uplink and downlink traffic according to the modulation scheme of burst profile. Also, it provides various control signal for PHY modem. In addition, the truncated binary exponential backoff (TBEB) algorithm is implemented in a subscriber station to avoid collision on contention-based transmission of messages. The VLSI architecture performing all these functions is implemented and verified in VHDL.

• Applied Chemistry for Engineering
• /
• v.28 no.3
• /
• pp.263-271
• /
• 2017

The application of mass spectrometry to polymer science has rapidly increased since the development of MALDI-TOF MS. This review summarizes current polymer analysis methods using MALDI-TOF MS, which has been extensively applied to analyze the average molecular weight of biopolymers and synthetic polymers. Polymer sequences have also been analyzed to reveal the structures and composition of monomers. In addition, the analysis of unknown end-groups and the determination of polymer concentrations are very important applications. Hyphenated techniques using MALDI-tandem MS have been used for the analysis of fragmentation patterns and end-groups, and also the combination of SEC and MALDI-TOF MS techniques is recommended for the analysis of complex polymers. Moreover, MALDI-TOF MS has been utilized for the observation of polymer degradation. Ion mobility MS, TOF-SIMS, and MALDI-TOF-imaging are also emerging technologies for polymer characterization because of their ability to automatically fractionate and localize polymer samples. The determination of polymer characteristics and their relation to the material properties is one of the most important demands for polymer scientists; the development of software and instrument for higher molecular mass range (> 100 kD) will increase the applications of MALDI-TOF MS for polymer scientists.

• Spatial Information Research
• /
• v.5 no.1
• /
• pp.27-41
• /
• 1997

Urban land use planning is the most important core-part, and it is the start and synthetical plan of the other part, in the urban planning. For the desirable urban land use planning draw out the spatial locational character and change of urban land use. The propose of tills study is building methodology of Parcel-based Urban Land use Information Svstem(P-bULlS) and it's apphcation methodology that can be used urban planning or land use planning. To this end, each and all of the land parcels of Kangnam area was analyzed. P-bULIS should be able to easily analyze the spatial locational character and change of land use in the region. And It should be able to the qualitative, quantitative and spatial analysis, and spatial multi-variate statistical analysis can be done at relatively low cost by linking the software of statics to P-bULlS.