• Title/Summary/Keyword: task specification

Search Result 102, Processing Time 0.025 seconds

A Policy-Based Meta-Planning for General Task Management for Multi-Domain Services (다중 도메인 서비스를 위한 정책 모델 주도 메타-플래닝 기반 범용적 작업관리)

  • Choi, Byunggi;Yu, Insik;Lee, Jaeho
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.12
    • /
    • pp.499-506
    • /
    • 2019
  • An intelligent robot should decide its behavior accordingly to the dynamic changes in the environment and user's requirements by evaluating options to choose the best one for the current situation. Many intelligent robot systems that use the Procedural Reasoning System (PRS) accomplishes such task management functions by defining the priority functions in the task model and evaluating the priority functions of the applicable tasks in the current situation. The priority functions, however, are defined locally inside of the plan, which exhibits limitation for the tasks for multi-domain services because global contexts for overall prioritization are hard to be expressed in the local priority functions. Furthermore, since the prioritization functions are not defined as an explicit module, reuse or extension of the them for general context is limited. In order to remove such limitations, we propose a policy-based meta-planning for general task management for multi-domain services, which provides the ability to explicitly define the utility of a task in the meta-planning process and thus the ability to evaluate task priorities for general context combining the modular priority functions. The ontological specification of the model also enhances the scalability of the policy model. In the experiments, adaptive behavior of a robot according to the policy model are confirmed by observing the appropriate tasks are selected in dynamic service environments.

Serialized Multitasking Code Generation from Dataflow Specification (데이타 플로우 명세로부터 직렬화된 멀티태스킹 코드 생성)

  • Kwon, Seong-Nam;Ha, Soon-Hoi
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.35 no.9_10
    • /
    • pp.429-440
    • /
    • 2008
  • As embedded system becomes more complex, software development becomes more important in the entire design process. Most embedded applications consist of multi -tasks, that are executed in parallel. So, dataflow model that expresses concurrency naturally is preferred than sequential programming language to develop multitask software. For the execution of multitasking codes, operating system is essential to schedule multi-tasks and to deal with the communication between tasks. But, it is needed to execute multitasking code without as when the target hardware platform cannot execute as or target platforms are candidates of design space exploration, because it is very costly to port as for all candidate platforms of DSE. For this reason, we propose the serialized multitasking code generation technique from dataflow specification. In the proposed technique, a task is specified with dataflow model, and generated as a C code. Code generation consists of two steps: First, a block in a task is generated as a separate function. Second, generated functions are scheduled by a multitasking scheduler that is also generated automatically. To make it easy to write customized scheduler manually, the data structure and information of each task are defined. With the preliminary experiment of DivX player, it is confirmed that the generated code from the proposed framework is efficiently and correctly executed on the target system.

Fault-Tolerant, Distributed Detection of Complex Events and States in Distributed Systems (분산 시스템에서의 복잡한 사건/상태의 결함 허용 분산 탐지)

  • Shim, Young-Chul
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.6
    • /
    • pp.1464-1480
    • /
    • 1997
  • Distributed systems offer environments for attaining high performance, fault-tolerance, information sharing, resource sharing, etc. But we cannot benefit from these potential advantages without suitable management of events/states occurring in distributed systems. These events and states can be symptoms for performance degradation, erroneous functions, suspicious activities, etc. and are subject to further analysis. To properly manage events/states, we need to be able to specify and efficiently detect these events/states. In this paper we first describe an event/state specification language and a centralized algorithm for detecting events/states specified with this language. Then we describe an algorithm for distributing an event/state detection task in a distributed system which is hierarchically organized. The algorithm consists of decomposing an event/state detection task into subtasks and allocation these subtasks to the proper nodes. We also explain a method to make the distributed detection fault-tolerant.

  • PDF

Implementation of Data Storage Media Control and Command(DSM-CC) Core User-to-User Interface for MPEG-2 Bit Stream Transport

  • Park, Seong-Jong;Kim, Yong-Han;Kim, Jae-Woo;Lee, Ho-Jang;Shim, Jae-Kyu;Kim, Jae-D.;Koh, Jong-Seong
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 1998.06b
    • /
    • pp.79-84
    • /
    • 1998
  • This paper describes implementation of the core DSM-CC UU interface. It briefly describes the reference model for the DSM-CC and related standards that should be reviewed for the implementation. The Common Object Request Broker Architechture, Revision 2.0 (CORBA 2.0) is sued as a remote procedure call (RPC) scheme for the UU Interface. Entire system was implemented with C++ on Windows NT platforms. The implementation procedure has been decomposed ito two tasks. The first task is to implement the Naming Service for service navigation. The Naming Service is one of the CORBA Services that extend the core CORBA specification. A client GUI is implemented for easy navigation among various services. The second task is to construct multimedia server and client for a Video-on-Demand (VoD) system. MPEG-2 Transport Stream is transported via ATM AAL5 using the Windows Socket 2.2 ATM extension API. A GUI enables the user to navigate the service domain and select a program. After the selection the user can control the MPEG-2 stream with VCR-like buttons.

  • PDF

The Study of Educational Program Development for Self-Marketing based on Job Analysis

  • Ahn, Sang Joon
    • Journal of the Korea Society of Computer and Information
    • /
    • v.24 no.9
    • /
    • pp.135-142
    • /
    • 2019
  • Given the ability and skills required by modern people, marketing can be divided into knowledge-related skill such as marketing plans, market segmentation, and marketing mix management and supportive skill such as communication, inter-organizational management, creativity, and decision making. Knowledge related skills can be nurtured in existing marketing classes, but it is recognized that special educational programs such as self marketing are needed to develop and train supportive skills regardless of education levels or major education. This paper is aimed to design for marketing educational program for the self marketing. In this study, a DACUM method job analysis to extract contents by specialists such as model setting of task and job, job statement, job analysis, education course development, and so on. In the first place, this report presents job analysis model by procedures for developing selection criteria of examination questions of the self marketing qualification. The first step is preparation for job analysis, the second step: the establishment of job models, the third step : the job specification and task analysis, the fourth step: the review of job model, the fifth step: the establishment of subjects for examination matrix table for making questions.

Use Case Development for Next Generation Electronic Nursing Record Systems Utilizing Clinical Workflow Analysis and a Delphi Survey (차세대 전자간호기록 시스템 유스케이스 개발: 업무흐름 분석과 전문가 델파이 기법 적용)

  • Cho, Insook;Choi, Woan Heui;Hyun, Misuk;Park, Yonok;Lee, Yoona;Lee, Sooyoun;Hwang, Okhee
    • Journal of Korean Clinical Nursing Research
    • /
    • v.21 no.3
    • /
    • pp.377-388
    • /
    • 2015
  • Purpose: To identify user requirements for electronic nursing record (ENR) systems so as to ensure system usability. Methods: A mixed methods approach were applied in three steps : (i) task and workflow analysis with literature review of nursing documentation, (ii) literature reviews of system usability, and (iii) Use Case idenfication and consensus-based validation. We analyzed the nursing activity logs collected from a time-motion investigation of six hospitals. The Use Cases were validated by eight clinical experts from different hospitals and two experts from academia in a sequential Delphi survey. Consensus was achieved for the significance score and agreement among the panel. Results: Eight task groups and patterns of task flow were observed, which were translated into nine Use Cases. The specification of Use Cases was derived from principles, guidelines, and recommendations on nursing documentation and electronic health record systems, which was organized into three requirements of each Use Case: functionality, information, and design characteristics. Each Use Case achieved an agreement of 50~70%, and significance scores of 4 or 5 on a 5-point Likert scale. Conclusion: The nine Use Case identified were considered to be important and adequate in terms of both clinical and informatics contexts.

Decision of Optimal Platform Location Considering Work Efficiency -Optimization by Excavator Specification- (작업의 효율성을 고려한 최적 플랫폼 위치 선정 방안 -굴삭기 제원에 따른 최적화-)

  • Lee, Seung-Soo;Park, Jin-Woong;Seo, Jong-Won;Kim, Sung-Keun
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • 2008.11a
    • /
    • pp.790-793
    • /
    • 2008
  • Recently, Intelligent Excavating System(IES) for earthwork automation is on progress since the end of 2006 as a part of construction technology innovation projects in Ministry of Land, Transport and Maritime Affairs. Task Planning System(TPS), one of the detail core technologies of IES, is an optimal work planning system in conditions of effectiveness, safety and economic efficiency by analyzing the work environment data based on earthwork design and work environment recognition technology. For effective earthwork planning, the location of platform must be the most optimal spot for minimization of time, maximization of productivity and reduction of overlapped work spaces and unnecessariness. Besides, the decision of optimal platform location is to be based on the specifications and then is able to be converted with the local area calculation algorithm. This study explains the decision of optimal platform location on the basis of local area from the work space separate process and judges the effectiveness.

  • PDF

Task Parallelism System of Application for Multicore-Based Mobile Platform (멀티코어 기반 모바일 플랫폼을 위한 애플리케이션의 태스크 병렬화 시스템)

  • Lim, Geunsik;Lee, Seho;Eom, Young Ik
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.38C no.6
    • /
    • pp.521-530
    • /
    • 2013
  • This paper proposes a task parallelism system (BioMP) to improve applications' execution time of multicore based mobile device. When application developers append the functions of parallel specification into the existing software, our proposed system supports the parallel processing of threads as well as a compatibility. BioMP improves the software in order that an existing large-scale source can recognize the multicore architecture. From our experiment, our idea improved the execution time of application until about 64% against the existing system in multicore environment based on quad core. In addition, BioMP does not require any additional modification of a mobile platform because BioMP is independent component. Consequently, when application developers release multicore-aware applications into the application store, users can immediately run without any modification of the mobile device.

An overview of the early stage of vehicle modeling and design

  • Baek, Moon-Yeol;Yi, Hyeong-Bok
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1996.10a
    • /
    • pp.334-337
    • /
    • 1996
  • This is a paper intended for initial stage of vehicle modeling and design. The needs to determine a variety of vehicle suspension parameters required for initial design has been difficult and time-consuming task. In order to facilitate a concise and efficient presentation of initial vehicle design procedure, this paper uses a mathematical model and physical geometry. Vehicle model consists of dimensions, inertias and mechanical constants. These vehicle model parameters divided into several categories : basic parameters, coefficients and constants, design specification, spring and damper, bush stiffness, stabilizer bar, suspension geometry, tire, and vehicle weights of various design condition. This paper uses a vehicle design fundamental (VDF) program running under Windows 95 graphical interface. The features of VDF will be briefly outlined in this paper.

  • PDF

Test Assertion Language for Unit Test : Design and Implementation (단위 테스트를 위한 테스트 어서션 언어 설계 및 도구 구현)

  • Shin, Woo-Chang
    • Journal of Information Technology Services
    • /
    • v.10 no.4
    • /
    • pp.205-218
    • /
    • 2011
  • Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.