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

Search Result 2,336, Processing Time 0.031 seconds

(ubi-UCAM: an Unified Context-Aware Application Model for ubiHome) (ubiHome을 위한 컨텍스트 기반 응용 서비스 모형)

  • 장세이;우운택
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.5_6
    • /
    • pp.550-558
    • /
    • 2003
  • Context-aware application plays an important role in ubiquitous computing (ubiComp) environment by providing user with anytime, anywhere services even without any explicitly triggered command. In this paper we propose a unified context-aware application model which is an essential part to develop various applications in ubiquitous computing environment. The proposed model affirms the independence between sensor and application by using unified context in the form of 5W1H. It also ensures that application exploits relatively accurate context to trigger personalized services. To show usefulness of the proposed model, we apply it to the sensors and applications in the ubiHome, a test bed for ubiComp-enabled home applications. According to the experimental results, without loss of generality, we believe it can be extended to various context-aware applications in daily life.

HMM Topology Optimization using HBIC and BIC_Anti Criteria (HBIC와 BIC_Anti 기준을 이용한 HMM 구조의 최적화)

  • 박미나;하진영
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.9
    • /
    • pp.867-875
    • /
    • 2003
  • This paper concerns continuous density HMM topology optimization. There have been several researches for HMM topology optimization. BIC (Bayesian Information Criterion) is one of the well known optimization criteria, which assumes statistically well behaved homogeneous model parameters. HMMs, however, are composed of several different kind of parameters to accommodate complex topology, thus BIC's assumption does not hold true for HMMs. Even though BIC reduced the total number of parameters of HMMs, it could not improve the recognition rates. In this paper, we proposed two new model selection criteria, HBIC (HMM-oriented BIC) and BIC_Anti. The former is proposed to improve BIC by estimating model priors separately. The latter is to combine BIC and anti-likelihood to accelerate discrimination power of HMMs. We performed some comparative research on couple of model selection criteria for online handwriting data recognition. We got better recognition results with fewer number of parameters.

UniPath: A Knowledge Representation System for Biopathways (바이오패스웨이를 위한 지식 표현 시스템)

  • 이민수;박승수;강성희
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.3
    • /
    • pp.343-352
    • /
    • 2004
  • Recently, the information processing of ever increasing bio-related data is becoming a very important issue. One of the main sources of these bio-data comes with the form of biopathways, which includes molecular transactions and processes that are part of biochemical systems. The information represented by biopathways includes various organic relations among its components. However, most of the current systems to represent biopathways have been initially developed without computer processing in mind, and hence suffer from inconsistencies and ambiguities. In this paper, we propose an improved notation, called UniPath, for clear and systematic representation of biopathways. The proposed system is designed to provide a unified representation of metabolic and regulatory pathways. We also designed and implemented a graphic editor for UniPath to draw biopathwavs map according to the proposed notation. The graphic editor is designed so that biopathway data can be easily transformed into XML format.

A Hybrid of Rule based Method and Memory based Loaming for Korean Text Chunking (한국어 구 단위화를 위한 규칙 기반 방법과 기억 기반 학습의 결합)

  • 박성배;장병탁
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.3
    • /
    • pp.369-378
    • /
    • 2004
  • In partially free word order languages like Korean and Japanese, the rule-based method is effective for text chunking, and shows the performance as high as machine learning methods even with a few rules due to the well-developed overt Postpositions and endings. However, it has no ability to handle the exceptions of the rules. Exception handling is an important work in natural language processing, and the exceptions can be efficiently processed in memory-based teaming. In this paper, we propose a hybrid of rule-based method and memory-based learning for Korean text chunking. The proposed method is primarily based on the rules, and then the chunks estimated by the rules are verified by memory-based classifier. An evaluation of the proposed method on Korean STEP 2000 corpus yields the improvement in F-score over the rules or various machine teaming methods alone. The final F-score is 94.19, while those of the rules and SVMs, the best machine learning method for this task, are just 91.87 and 92.54 respectively.

The Effect of the Instructional Models for ICT on the Practical Ability in the Application of Information with Relation to the Levels of Self-Regulated Learning (자기조절 학습전략 수준에 따른 정보통신기술 활용수업 모형이 정보활용 실천력에 미치는 효과)

  • Kang Ohhan;Kim Kinam
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.4
    • /
    • pp.327-334
    • /
    • 2005
  • Recently, ICT has emerged as an indispensable tool for teaching a variety of subjects in education systems. In this paper, we examine the effect of the instructional models for ICT on the practical ability in the application of information with relation to the levels of self-regulated learning strategies. Students were divided into 3 groups, according to the instructional model for ICT which were problem search learning, problem solution learning, and discussion learning. As an experimental tools, we did pretest using self-regulated learning strategies measurement questionnaire and did pretest and posttest using practical ability in the application of information measurement questionnaire. The results show that higher level of self-regulated teaming strategies group has high practical ability in the application of information than lower level group. Other interesting results are also provided.

XML-based Portable Self-containing Representation of Strongly-typed Genetic Program (XML 기반 강건 타입형 유전자 프로그램의 이식${\cdot}$독립적 표현)

  • Lee Seung-Ik;Tanev Ivan;Shimohara Katsunori
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.4
    • /
    • pp.277-289
    • /
    • 2005
  • To overcome the long design time/high computational effort/low computational performance of phylogenetic learning featuring selection and reproduction, this paper proposes a genetic representation based on XML. Since genetic programs (GP) and genetic operations of this representation are maintained by the invocation of the built-in off-the-shelf XML parser's API, the proposed approach features significant reduced time consumption of GP design process. Handling only semantically correct GPs with standard XML schema can reduce search space and computational effort. Furthermore, computational performance can be improved by the parallelism of GP caused by the utilization of XML, which is a feasible system and wire format for migration of genetic programs in heterogeneous distributed computer environments. To verify the proposed approach, it is applied to the evolution of social behaviors of multiple agents modeling the predator-prey pursuit problem. The results show that the approach can be applied for fast development and time efficiency of GPs.

Strategies and Cost Model for Spatial Data Stream Join (공간 데이터스트림을 위한 조인 전략 및 비용 모델)

  • Yoo, Ki-Hyun;Nam, Kwang-Woo
    • Journal of Korea Spatial Information System Society
    • /
    • v.10 no.4
    • /
    • pp.59-66
    • /
    • 2008
  • GeoSensor network means sensor network infra and related software of specific form monitoring a variety of circumstances over geospatial. And these GeoSensor network is implemented by mixing data stream with spatial attribute, spatial relation. But, until a recent date sensor network system has been concentrated on a store and search method of sensor data stream except for a spatial information. In this paper, we propose a definition of spatial data stream and its join strategy model at GeoSensor network, which combine data stream with spatial data. Spatial data stream s defining in this paper are dynamic spatial data stream of a moving object type and static spatial data stream of a fixed type. Dynamic spatial data stream is data stream transmitted by moving sensor as GPS, while static spatial data stream is generated by joining a data stream of general sensor and a relation with location values of these sensors. This paper propose joins of dynamic spatial data stream and static spatial data stream, and cost models estimating join cost. Finally, we show verification of proposed cost models and performance by join strategy.

  • PDF

A Mobile Multimedia System for IP-based Convergence Networks (IP 기반 통합망에서의 모바일 멀티미디어 시스템)

  • Kim Won-Tae
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.43 no.4 s.346
    • /
    • pp.1-12
    • /
    • 2006
  • In this paper we propose an efficient mobile multimedia communication protocol, mobile terminal software platform and mobile VoIP application for IP-based convergence networks. The Proposed mobile multimedia communication protocol is called as ST-MRSVP (Split tunnel based Mobile Resource reServation Protocol) which integrates split tunnel based Mobile IP and RSVP in order to support hish speed mobility. Since mobile terminal platform supports QoS (Qualify of Service) with keeping seamless mobility, mobile QoS supporting modules are developed and interworked together by means of shared memory mechanism. Testbed is composed of a core-network embedding the proposed protocols and wireless LAN-based access networks. We verify functionality and performance of the proposed techniques by using various mobility test over the testbed. As a result, the proposed architecture can reduce the handover delay time with QoS support under 30% comparing with the standard mechanisms and support voice quality as good as CDMA phone.

Effects of Storytelling Based Software Education on Computational Thinking (Storytelling기반 SW교육이 Computational Thinking에 미치는 영향)

  • Park, Jungho
    • Journal of The Korean Association of Information Education
    • /
    • v.19 no.1
    • /
    • pp.57-68
    • /
    • 2015
  • Since the entering SW-centered society in which people make the best use of SW in order to express their own personal ideas or to solve problems, the significance of SW education has been emphasized. It is generally known that storytelling provides motivational and contextual environments. This study conducted an experimental research to find out how Aesop's fables-applied SW educational program would influence computational thinking. Of these students who had participated in an SW educational camp on every Saturday for a total of 6 weeks, the experimental group learned on basic concepts of Scratch programming as working on Aesop's fables and they were led to diverse SW activities such as stories, games, simulations arts, and others. After that, the study carried out a comparison research in relation to the groups' SW concepts, SW implementation and attitudes toward SW education. The result shows that the experimental group came up with higher levels of SW concepts, implementation and positive attitude toward SW education.

The effect of the entry programming course on the flow of elementary pre-service teacher (엔트리 프로그래밍 교육이 초등예비교원의 몰입에 미치는 영향)

  • Han, Kyujung
    • Journal of The Korean Association of Information Education
    • /
    • v.21 no.4
    • /
    • pp.403-413
    • /
    • 2017
  • The purpose of this paper is to verify whether the entry programming course applied with the flow based learning type is to affect the flow of students' learning. The subjects of the study were the students in the 3rd grade of the National University of education who had not experienced the coding before, and conducted two hours of programming lessons per week for three months. Learning contents and learning materials of beginner course in Entry Homepage were used as learning materials. The teaching and learning process consisted of clear goals setting, motivation, follow-up and immediate feedback, providing application problems, and providing reflection time for students. As a result of the study, the nine factors of flow were compared before and after the experiment. The seven factors - A balance between challenges and skills, Immediate feedback, Action and awareness are merged, Distractions are excluded from consciousness, No worry of failure. Self-consciousness disappears, The activity becomes autotelic-were obtained.