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

Search Result 2,336, Processing Time 0.029 seconds

Community Computing Model and Development Tool for Community-based Ubiquitous System in Multi-agent Platform (다중 에이전트 환경에서의 커뮤니티 기반 유비쿼터스 시스템을 위한 모델과 개발 도구)

  • Jung, You-Na;Lee, Jung-Tae;Kim, Min-Koo
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.12
    • /
    • pp.1031-1051
    • /
    • 2006
  • To develop a ubiquitous system, several researches have been tried to apply multi-agent models to design a system. Even though current multi-agent models provide many benefits with ubiquitous system developments, there are still some deficiencies in completely supporting the characteristics of ubiquitous systems such as dynamic formation and termination of mission-oriented organizations and interrelationship between organizations. In addition, existing agent-based models only concern aboutananalysis and design of a system, then place a burden of implementation on developers. Therefore, in this paper, we propose the high-level abstraction model of a multi-agent based ubiquitous system and the development process concerning implementation as well as design of systems. In addition, we implemented a development toolkit, called as CDTK(Community computing system Development Tool Kit), then developed a small community computing system using the CDTK.

A Study on Forecasting Model of the Apartment Price Behavior in Seoul (서울시 아파트 가격 행태 예측 모델에 관한 연구)

  • Kwon, Hee-Chul;Yoo, Jung-Sang
    • Journal of Digital Convergence
    • /
    • v.11 no.2
    • /
    • pp.175-182
    • /
    • 2013
  • In this paper, the simulation model of house price is presented on the basis of pricing mechanism between the demand and the supply of apartments in seoul. The algorithm of house price simulation model for calculating the rate of price over time includes feedback control theory. The feedback control theory consists of stock variable, flow variable, auxiliary variable and constant variable. We suggest that the future price of apartment is simulated using mutual interaction variables which are demand, supply, price and parameters among them. In this paper we considers three items which include the behavior of apartment price index, the size of demand and supply, and the forecasting of the apartment price in the future economic scenarios. The proposed price simulation model could be used in public needs for developing a house price regulation policy using financial and non-financial aids. And the quantitative simulation model is to be applied in practice with more specific real data and Powersim Software modeling tool.

A Study on OpenFlow based Virtual Network Platform for KREONET (OpenFlow 기반 KREONET 가상 네트워크 플랫폼 연구)

  • Seok, Seung-Joon;Jeong, Hyeonuk
    • Journal of Digital Convergence
    • /
    • v.12 no.8
    • /
    • pp.309-319
    • /
    • 2014
  • Virtual Network service is a key characteristics of future Internet which is debate internationally. There are two kinds of network virtualization technologies considered lately: network functions virtualization and virtual network approaches. Several national wide research networks including US's GENI project have experimented technologies for future Internet and in particular network virtualization is one of key issues. Representative Korean research network, KREONET, is working on deploying virtual network framework as a preliminary for future Ineternet using the virtualization model of SDN/OpenFlow which is typical network model of future Internet. This paper proposes a stepwise model to bring virtual network services in KREONET. Firstly, we requirements of KREONET users' virtual network service and network resource management and network deploying virtual network. Finally, we verify the adequacy of our virtual network model for KREONET.

Designing a Repository Independent Model for Mining and Analyzing Heterogeneous Bug Tracking Systems (다형의 버그 추적 시스템 마이닝 및 분석을 위한 저장소 독립 모델 설계)

  • Lee, Jae-Kwon;Jung, Woo-Sung
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.9
    • /
    • pp.103-115
    • /
    • 2014
  • In this paper, we propose UniBAS(Unified Bug Analysis System) to provide a unified repository model by integrating the extracted data from the heterogeneous bug tracking systems. The UniBAS reduces the cost and complexity of the MSR(Mining Software Repositories) research process and enables the researchers to focus on their logics rather than the tedious and repeated works such as extracting repositories, processing data and building analysis models. Additionally, the system not only extracts the data but also automatically generates database tables, views and stored procedures which are required for the researchers to perform query-based analysis easily. It can also generate various types of exported files for utilizing external analysis tools or managing research data. A case study of detecting duplicate bug reports from the Firfox project of the Mozilla site has been performed based on the UniBAS in order to evaluate the usefulness of the system. The results of the experiments with various algorithms of natural language processing and flexible querying to the automatically extracted data also showed the effectiveness of the proposed system.

Design and Implementation of Sensor Registry Data Model for IoT Environment (IoT 환경을 위한 센서 레지스트리 데이터 모델의 설계 및 구현)

  • Lee, Sukhoon;Jeong, Dongwon;Jung, Hyunjun;Baik, Doo-Kwon
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.5 no.5
    • /
    • pp.221-230
    • /
    • 2016
  • With emerging the Internet of Things (IoT) paradigm, the sensor network and sensor platform technologies have been changed according to exploding amount of sensors. Sensor Registry System (SRS) as a sensor platform is a system that registers and manages sensor metadata for consistent semantic interpretation in heterogeneous sensor networks. However, the SRS is unsuitable for the IoT environment. Therefore, this paper proposes sensor registry data model to register and manager sensor information in the IoT environment. We analyze Semantic Sensor Network Ontology (SSNO) for improving the existed SRS, and design metamodel based on the analysis result. We also build tables in a relational database using the designed metamodel, then implement SRS as a web application. This paper applies the SSNO and sensor ontology examples with translating into the proposed model in order to verify the suitability of the proposed sensor registry data model. As the evaluation result, the proposed model shows abundant expression of semantics by comparison with existed models.

Development of pressure measuring system for powered-wheelchair (전동휠체어 압력분포 측정시스템 개발)

  • Kil, S.K.;Lee, S.C.;Kim, T.W.;Hwang, J.H.;Hong, E.P.;Han, Y.H.;Lee, J.S.
    • Journal of rehabilitation welfare engineering & assistive technology
    • /
    • v.7 no.2
    • /
    • pp.109-115
    • /
    • 2013
  • In this paper, we developed pressure mesuring system for powered wheelchair and tried to validate the usefulness of developed system by pressure measuring experiment with 3D motion analysis. This system consist of 64ch seat FSR(Force Sensitive Resistance) sensor unit, 30ch*2 armchair FSR sensor unit, analog and digital hardware board, 2ch rotary encoder unit and realtime signal processing & display S/W. And each data acquired from this system has sampling frequency of 12bit, 10Hz. Pressure measuring experiment for 10 persons who use wheelchair in real life was performed in the 3D vision analysis room. From the experiment, we obtained result that the center line of body inclined to outside direction during powered-wheelchair rotate any direction.

  • PDF

Effective SoC Architecture of a VDP for full HD TVs (Full HD TV를 위한 효율적인 VDP SoC 구조)

  • Kim, Ji-Hoon;Kim, Young-Chul
    • Smart Media Journal
    • /
    • v.1 no.1
    • /
    • pp.1-9
    • /
    • 2012
  • This Paper proposes an effective SoC hardware architecture implementing a VDP for Full HD TVs. The proposed architecture makes real time video processing possible with supporting efficient bus architecture and flexible interface. Video IP cores in the VDP are designed to provide a high quality of improved image enhancement function. The Avalon interface is adopted to guarantee real-time capability to IPs as well as SoC integration. This leads to reduced design time and also enhanced designer's convenience due to the easiness in IP addition, deletion, and revision for IP verification and SoC integration. The embedded software makes it possible to implement flexible real-time system by controlling setting parameter details and data transmitting schemes in real-time. The proposed VDP SoC design is implemented on Cyclon III SoPC platform. The experimental results show that our proposed architecture of the VDP SoC successfully provides required quality of Video image by converting SD level input to Full HD level image.

  • PDF

An Object Oriented C++ Program for Free Vibration Analysis of Framed Structures (뼈대구조물(構造物)의 자유진동해석(自由振動解析)을 위한 객체지향(客體指向) c++ 프로그램)

  • Shin, Young Shik;Suh, Jin Kook
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.14 no.1
    • /
    • pp.119-129
    • /
    • 1994
  • This paper describes a $C^{{+}{+}}$ free vibration analysis program of structures for personal computer. This program was developed by object oriented programming method which is the latest trend in programming practice. The object-oriented programming method which has the superior reuseability and expansibility to procedural programming provides various choice of menus and easy modification of the program, and reduces the development time and size of the program. This object-oriented free vibration analysis program written in $C^{{+}{+}}$ language consists of Vector and Matrix classes, Structural Analysis and GUI classes. The efficiency and validity of the program were examined by solving several numerical examples. The static and free vibration analyses of the framed structures were satisfactorily performed by this program on a personal computer.

  • PDF

A method for selecting the evaluation index of defence R&D project by AHP (계층분석법에 의한 국방연구개발 평가지표 선정에 관한 연구)

  • Park, Seong;Hong, Yeon-Woong;Na, Joong-Kyung
    • Journal of the Korean Data and Information Science Society
    • /
    • v.23 no.5
    • /
    • pp.961-970
    • /
    • 2012
  • To evaluate companies that participated in the defense R&D project, 27 variables are chosen through literature survey, feature analysis of defense R&D and interviews with military experts. 17 variables are selected after factor analysis which is applied to reduce the number of variables and to detect structure in the relationships among variables, that is to classify variables using Likert-type scales. And then 17 variables are prioritized by AHP (analytic hierarchy process) method. It is shown that communication skill & cooperation strategy, level of technology, possession of needs technology have high priorities. However, protection plan of technology leakage, expertise of subcontractors, software development plan have low priorities.

Development of Evaluation System for the Cognitive Performance of Marine Officers (항해사 인지능력 평가시스템)

  • Kim, Hong-Tae;Hong, Seoung-Kwon;Barnett, Mike
    • 한국HCI학회:학술대회논문집
    • /
    • 2009.02a
    • /
    • pp.650-653
    • /
    • 2009
  • Decrease in crew performance is frequently cited as a major causal factor in maritime accidents. Although considerable researches on working hours undertaken by seafarers have been conducted through interviews and record analyses, experimental studies on the effects of factors, such as high workload, shift patterns, stress, sleep deprivation, and disturbance on the cognitive performance of mariners have been limited. Other safety-critical transport industries, such as aviation and rail, have developed fatigue management tools to help managements in the work patterns of their operators. Such tools for mariners would assist shipboard crews, marine pilots, and shore managers for planning and improving work schedules. The overall aim of this paper is to determine a fatigue factor that can be applied to human performance data as a part of a software program that calculates total cognitive performance. This program enables us to establish the levels of cognitive performance in a group of marine pilots in order to test a decision-making task based on radar information. This paper addresses one of the factors that may contribute to the determination of various fatigue factors: the effects of different work patterns on the cognitive performance of a marine pilot.

  • PDF