• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.035 seconds

Design and Implegmentation of an Enterprise Server for Component-based Geographic Information Systems (컴포넌트 기반 지리 정보 시스템을 위한 엔터프라이즈 서버의 설계 및 구현)

  • Lee, Kang-Jun;Hong, Dong-Suk;Park, Ji-Woong;Han, Ki-Joon
    • Journal of Korea Spatial Information System Society
    • /
    • v.1 no.2 s.2
    • /
    • pp.5-20
    • /
    • 1999
  • Recently, the new software paradigm in information technology (IT) is the component-based development (CBD) technology that has brought as a result of the distributed computing environment (DCE). The CBD has reduced a program developing time and has been designed to make a distributed computing environment easier in the Internet and Intranet environments. These changes of software technology have influence on the geographic information system (GIS) and the CBD technology is highly needed as a point of view of the technique and policy of the geographic information system. In this paper, we designed and implemented an Enterprise Server for the efficient development and management of GIS components. Especially, the Enterprise Server was developed with the Enterprise JavaBeans Specification 1.1 that had been proposed as an industry standard by the Sun Microsystems. The Enterprise Server can allows users to manage the Unified Modeling Language (UML) and Design Patterns for the development of GIS components, develop a GIS component container which obeyed the Open Geodata Interoperability Specification (OpenGlS), manage spatial metadata through a spatial XML (eXtensible Markup Language) engine, and implement a TESTBED server for testing and verification of developed GIS components.

  • PDF

Development of Computational Thinking-based Educational Program for SW Education (초등 SW교육을 위한 CT교육 프로그램 개발)

  • Ryu, Miyoung;Han, Seonkwan
    • Journal of The Korean Association of Information Education
    • /
    • v.19 no.1
    • /
    • pp.11-20
    • /
    • 2015
  • The researches on the concept of justice and utilization for Computational Thinking with SW education are being actively discussed. However, a program has developed in conjunction with the actual elementary curriculum is not much. In this study, we have developed an educational program in applied mathematics based on CT. First, a separated view for a CT Application of mathematical concepts and objectives are set in three different application models. In order to achieve the CT-based math lessons, we also have developed a teaching and learning materials. We applied the developed materials in class, and to evaluate the satisfaction of learners. In addition to the validation of school application, we conducted a survey of professionals and teachers. The results of the analysis, the data showed that are helpful in the development of the student' CT ability as well as the ability to be helpful teaching and learning in school.

Diffusion of software innovation: a Petri Net theory perspective (Petri Net 이론 관점에서 본 소프트웨어 혁신의 확산)

  • Han, Jiyeon;Ahn, Jongchang;Lee, Ook
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.14 no.2
    • /
    • pp.858-867
    • /
    • 2013
  • Hardware and software field are developed by environment of MPSOC. Also it is still working with economic world and academic world. This study focus on software side and try to classify from parallel programming design world. It can be divided by three; Data, Tasks, and Data flow model. Then we used Petri Net to CUDA and HOPES programmer and found how much they understand parallel programming for each side. We focus on two sides and what is different between their experience. Petri Net is easy to descript parallel program or parallel design pattern for Task, Data, and Hybird. This research can explain how they know and how much they know about parallel programming.

An Experiment for Determining Threshold of Defect Prediction Models using Object Oriented Metrics (객체지향 메트릭을 이용한 결함 예측 모형의 임계치 설정에 관한 실험)

  • Kim, Yun-Kyu;Chae, Heung-Seok
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.15 no.12
    • /
    • pp.943-947
    • /
    • 2009
  • To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. In order to apply defect prediction models, we need to determine a threshold value. Because we cannot know actually where defects are, it is difficult to determine threshold. Therefore, we performed a series of experiments to explore the issue of determining a threshold. In the experiments, we applied defect prediction models to other systems different from the system used in building the prediction model. Specifically, we have applied three models - Olague model, Zhou model, and Gyimothy model - to four different systems. As a result, we found that the prediction capabilities varied considerably with a chosen threshold value. Therefore, we need to perform a study on the determination of an appropriate threshold value to improve the applicably of defect prediction models.

A Dynamic Inferential Framework for Learning Geometry Problem Solving (기하 문제 학습을 위한 동적 추론 체계)

  • Kook, Hyung-Joon
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.4
    • /
    • pp.412-421
    • /
    • 2000
  • In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

  • PDF

Software Engineering Principles for the Development of Power-Efficient Mobile IoT Devices (파워 효율이 높은 모바일 IoT 단말 개발을 위한 소프트웨어 공학 원칙)

  • Lee, Hyesun;Lee, Kang Bok;Bang, Hyo-Chan
    • KIISE Transactions on Computing Practices
    • /
    • v.21 no.12
    • /
    • pp.762-767
    • /
    • 2015
  • An Internet of Things (IoT) is a system where various "things" are connected to each other via a wired/wireless network, and where information is gathered, processed, and interchanged/shared. One of the important actors in IoT is a mobile IoT device (such as a smartphone or tablet). These devices tend to consume a large amount of power in order to provide various high performance application services; however, as the devices cannot be supplied with power all the time, efficient power management is necessary. Power management of mobile IoT devices involves complex relationships between various entities such as application processors (APs), HW modules inside/outside AP, operating systems, mobile IoT platforms, and applications. In order to develop power-efficient mobile IoT devices, a method is needed to systematically analyze these relationships and manage power based on a clear understanding of them. To address this problem, software engineering principles for the development of power-efficient mobile IoT devices are presented in this paper. The feasibility of the proposed principles have been validated in the domain of smartphone camera power management.

Design of Performance Measurement Indicators for the Small and Medium Sized Manufacturing Company (중소(中小)제조업의 성과평가를 위한 성과측정지표 설계 방법)

  • Hong, Hyun-Gi;Oh, Sang-Young
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.4
    • /
    • pp.887-894
    • /
    • 2009
  • Recently many companies has implied the measurement system to measure the organizational and personal performance. For that purpose the measurement system based on Balanced Scorecard(BSC) is broadly implemented. For the successful and effective measurement of performance measurement the design of measurement methodology and indicators should be carried out by experts in this field, and "the objectivity" should be kept in the whole process. But due to the financial difficulties many of the companies have relied on the standard (performance measurement) software, which is avaliable in the market. In this paper the performance measurement. Indicators has been presented for the small and medium sized manufacturing company. As the result of this research the presented performance measurement indicators for administration, operation and R&D part are statistically verified as it is effective.

Hardware Design for JBIG2 Huffman Coder (JBIG2 허프만 부호화기의 하드웨어 설계)

  • Park, Kyung-Jun;Ko, Hyung-Hwa
    • Journal of Korea Multimedia Society
    • /
    • v.12 no.2
    • /
    • pp.200-208
    • /
    • 2009
  • JBIG2, as the next generation standard for binary image compression, must be designed in hardware modules for the JBIG2 FAX to be implemented in an embedded equipment. This paper proposes a hardware module of the high-speed Huffman coder for JBIG2. The Huffman coder of JBIG2 uses selectively 15 Huffman tables. As the Huffman coder is designed to use minimal data and have an efficient memory usage, high speed processing is possible. The designed Huffman coder is ported to Virtex-4 FPGA and co-operating with a software modules on the embedded development board using Microblaze core. The designed IP was successfully verified using the simulation function test and hardware-software co-operating test. Experimental results shows the processing time is 10 times faster than that of software only on embedded system, because of hardware design using an efficient memory usage.

  • PDF

IP-PBX System of RasPBX-Based (RasPBX 기반의 IP-PBX 시스템)

  • Jeong, Dae-Jin;Song, Hyun-Ok;Jung, Hoe-kyung
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.19 no.5
    • /
    • pp.1131-1136
    • /
    • 2015
  • VoIP and IP Telephony telephony technology development is a growing by easy to using IP-PBX by using phone from using existing lines rather than the internet. IP-PBX do not use the phone line from phone work for many companies and institutions of management costs reduce as provides similar to regular phone line quality. But IP-PBX to introduce for need to be the initial cost on is should buy for expensive hardware equipment or commercial software. In this paper, suggest way to introduce IP-PBX do not buy expensive hardware equipment or commercial software. Suggest IP-PBX on designed and implement for IP-PBX server using Raspberry Pi and Asterisk. And verification treatise on the suitability of conducted by voice calls based on IP-PBX between PC and a Smartphone

Fast MAS Reallocation Method for Efficient Video Streaming Service of WiMedia MAC DRP (WiMedia MAC DRP 프로토콜에서 효율적인 영상 스트리밍 서비스를 위한 Fast MAS 재조정 기법)

  • Chung, Taewook;Chung, Chulho;Kim, Jaeseok
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.40 no.6
    • /
    • pp.1048-1057
    • /
    • 2015
  • In this paper, we propose a fast MAS reallocation method that can avoid reservation conflicts in the DRP process of WiMedia system in real time. WiMedia MAC DRP has been developed aimed QoS support for audio and video transmission that generate traffic periodically. The size variation of the video streaming data causes DRP reservation conflicts frequently, so that DRP could not support QoS of the video streaming service which is delay-sensitive. Fast MAS reallocation method could avoid reservation conflicts in real-time analyzing reservation requests information of the other device. Our proposed method is evaluated with test sequences using the software simulation and implemented in hardware/software with the integrated WiMedia MAC/PHY system.