• 제목/요약/키워드: Form Requirements

검색결과 567건 처리시간 0.032초

내장형 시스템의 동시적 개발을 위한 이산 사건 시스템 형식론 기반 요구사항 평가 방법 (Requirements Evaluation Method for Concurrent Development of Embedded System based on Discrete Event System Formalism)

  • 최재웅;최창범
    • 한국시뮬레이션학회논문지
    • /
    • 제27권2호
    • /
    • pp.61-69
    • /
    • 2018
  • 최근 정보 통신 기술이 발전함에 따라, 내장형 시스템은 여러 산업 분야에 적용되고 있으며 더욱 복잡해지고 있다. 이로 인해, 내장형 시스템의 개발 비용과 시간도 덩달아 증가하고 있다. 본 논문에서는 내장형 시스템의 개발 비용 및 시간을 절감하기 위해서 내장형 시스템의 동시적 개발을 위한 이산 사건 시스템(DEVS) 형식론에 기반 요구사항 평가 방법을 제안한다. 본 논문에서는 요구사항 명세를 DEVS 원자 모델의 형태로 기술하는 방법을 제안하며, 이를 개발하여 만든 요구사항 모델과 요구사항 평가 대상 시스템을 비교하는 평가자 모델 및 이들을 활용하는 평가 방법을 제안한다. 또한, 요구사항 평가를 위해 만든 요구사항 모델을 내장형 시스템의 동시적 개발 과정에 활용하는 방법을 제안한다. 제안하는 요구사항 평가 방법에 대한 사례 연구로 키넥트 깊이 정보 처리 시스템에 대한 요구사항 평가를 진행하였다.

WiMAX 네트워크에서 QoS 기반의 그룹 스캔 스케쥴링 기법 (QoS-Aware Group Scan Scheduling in WiMAX Networks)

  • 최재각;유상조
    • 한국통신학회논문지
    • /
    • 제35권2A호
    • /
    • pp.186-195
    • /
    • 2010
  • WiMAX에서 핸드오버를 준비하는 단말은 타겟 기지국을 결정하기 위해 스캐닝 동작을 수행한다. 보다 빠른 타겟 기지국 결정을 위해, 기존의 그룹 스캐닝 기법에서는 인접한 단말들 간에 그룹을 구성하여 분산적으로 후보채널들을 스캔하도록 하였다. 그러나 기존의 그룹 스캐닝은 각 단말이 사용 중인 서비스의 QoS 요구조건이 각기 다른 경우, 각 단말이 후보 채널들을 스캔하는 성능에 차이가 있을 수 있음을 고려하지 않았다. 본 논문에서는 그룹 스캐닝을 수행하는 단말들이 각각의 QoS에 적합한 스캔 스케쥴을 갖도록 하는 QoS 기반의 효율적 그룹 스캔 스케쥴링 기법을 제안한다. 제안된 방법은 서빙 기지국이 단말의 QoS를 고려하여, 초기에 그룹을 형성한 단말들과 나중에 그룹에 참여하는 단말들에게 적절한 후보 기지국들을 스캔하도록 할당하며, 각 단말이 QoS를 저해하지 않으면서 효율적으로 그룹 스캐닝을 수행할 수 있도록 한다. 모의 실험 결과, 제안된 방법은 단일의 그룹 내에서 상대적으로 QoS가 높은 단말로 하여금 상대적으로 적은 채널을 스캔하도록 하며, 각 단말의 QoS를 저해하지 않는 범위 내에서 기존의 그룹 스캐닝 보다 빠르게 타겟 기지국을 결정하도록 한다.

국제투자협정에서 「이행요건」 부과금지에 관한 비교연구 (A Comparative Study on the Prohibition of Performance Requirements in International Investment Agreements)

  • 홍성규
    • 한국중재학회지:중재연구
    • /
    • 제29권2호
    • /
    • pp.35-63
    • /
    • 2019
  • Since imposing Performance Requirements (PRs) on investors have been conducted as a means to protect a host state's domestic industry in the short run, with its effect on improving the international balance of payments, it has been implemented mostly in developing countries. From the viewpoint of investors, however, PRs hinder free competition and investment activities and have the effect of distorting international trade activities; therefore, they are expected to bring detrimental effects on the host state's economic development in the long run. PRs provided by International Investment Agreements (IIAs) and WTO-TRIMs, too, included many abstract regulations which are grounded on the host state's economic efficiency in the past; however, those PRs are gradually being more concretely specified, shifting to a form of prohibition with the goals of increasing the protection on investors and realizing investment liberalization. Accordingly, when Korea freshly concludes IIAs or revises them afterwards, one should focus more on following the points regarding PRs. First, to protect Korean companies' investment activities, it is advantageous to list the contents of prohibited PRs extensively and concretely and create a stipulation. Second, it is necessary to list the contents of the PRs prohibited and add the phrases for prohibiting "any other similar requirements" explicitly, as well so as to cover the PRs that can appear newly. Third, as in the cases associated with PRs, issuable matters are mostly either the range of applying PRs or the conditions of applying them (relevance or detrimental effects); therefore, it is necessary to classify the cases accumulated by issues and analyze them thoroughly. In conclusion, as this study has analyzed the theoretical characteristics of PRs provided in IIAs and related cases and suggests exquisite theory regarding PRs, it not only lays fundamental grounds for follow-up research but also gives useful and practical guidelines for the parties concerned and the arbitrators according to the ISDS procedure.

소프트웨어 온라인 전자 유통에서의 동적 사용권 관리 기술 (Dynamic License Control in Online Electronic Software Distribution)

  • 하영국;임신영;함호상;박효준;김태윤
    • 산업공학
    • /
    • 제13권1호
    • /
    • pp.133-140
    • /
    • 2000
  • As the internet dramatically grows, internet electronic commerce is being increased. But, as products distributed with ESD(Electronic Software Distribution) are in the form of electronic file, it is difficult to prohibit illegal copy of products. Therefore, new technology is needed to distinguish legal products from illegal ones. In this paper, we present the ESD's requirements, characteristics and a new dynamic license management technology to prevent illegal copy.

  • PDF

역최적 TS 퍼지 제어기의 설계 (Design of Inverse Optimal TS Fuzzy Controllers)

  • 임채환;곽기호;박주영
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2001년도 추계학술대회 학술발표 논문집
    • /
    • pp.137-140
    • /
    • 2001
  • In this paper, we design 75(Takagi-Sugeno) fuzzy controllers for the systems that can be represented by the 75 fuzzy model. We use inverse optimal approach in which the cost function is determined later than the Lyapunov function and its corresponding control input satisfying the design requirements such as stability and decay rate. The obtained design procedure is in the form of solving LMI(Linear Matrix Inequalities), thus very efficient in practice.

  • PDF

NEW RESULTS ON STABILITY PROPERTIES FOR THE FEYNMAN INTEGRAL VIA ADDITIVE FUNCTIONALS

  • Lim, Jung-Ah
    • 대한수학회지
    • /
    • 제39권4호
    • /
    • pp.559-577
    • /
    • 2002
  • It is known that the analytic operator-valued Feynman integral exists for some "potentials" which we so singular that they must be given by measures rather than by functions. Corresponding stability results involving monotonicity assumptions have been established by the author and others. Here in our main theorem we prove further stability theorem without monotonicity requirements.

보르노이 다이어그램을 이용한 지문정합 알고리즘 (Fingerprint Identification Using Voronoi Diagram)

  • 김승훈;최태영
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
    • /
    • pp.301-304
    • /
    • 2003
  • This raper propose a matching algorithm using voronoi diagram for rotation and translation invariant fingerprint identification. The proposed algorithm extracts geometrical structures that ate derived from voronoi diagram of a fingerprint image. Then distances and angles are extracted from the geometrical structure and saved indexing form for fingerprint matching. Experimental results show that the proposed algorithm invariant to fingerprint rotation and translation requirements and matching time.

  • PDF

Process-Structure-Property Relationship and its Impact on Microelectronics Device Reliability and Failure Mechanism

  • Tung, Chih-Hang
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • 제3권3호
    • /
    • pp.107-113
    • /
    • 2003
  • Microelectronics device performance and its reliability are directly related to and controlled by its constituent materials and their microstructure. Specific processes used to form and shape the materials microstructure need to be controlled in order to achieve the ultimate device performance. Examples of front-end and back-end ULSI processes, packaging process, and novel optical storage materials are given to illustrate such process-structure-property-reliability relationship. As more novel materials are introduced to meet the new requirements for device shrinkage, such under-standing is indispensable for future generation process development and reliability assessment.

IMPROVED STATIONARY $L_p$-APPROXIMATION ORDER OF INTERPOLATION BY CONDITIONALLY POSITIVE DEFINITE FUNCTIONS

  • Yoon, Jung-Ho
    • Journal of applied mathematics & informatics
    • /
    • 제14권1_2호
    • /
    • pp.365-376
    • /
    • 2004
  • The purpose of this study is to show that the accuracy of the interpolation method can be at least doubled when additional smoothness requirements and boundary conditions are met. In particular, as a basis function, we are interested in using a conditionally positive definite function $\Phi$ whose generalized Fourier transform is of the form $\Phi(\theta)\;=\;F(\theta)$\mid$\theta$\mid$^{-2m}$ with a bounded function F > 0.

Nutritional Requirements of Early Weaned Pigs - A Review -

  • Thacker, P.A.
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제12권6호
    • /
    • pp.976-987
    • /
    • 1999
  • The process of weaning, no matter how carefully managed, results in changes in the gut of the pig that make it more susceptible to digestive upset, diarrhea and impaired appetite. The objective in developing feeding programs is to recognize these unique needs and facilitate a smooth transition to a dry feed. How well this is accomplished, has a significant impact on future performance. This paper provides a review of recent research on the nutrients required by early weaned pigs and examines what feedstuffs are available to provide those nutrients in a form that can be best utilized by the early weaned piglet.