• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.031 seconds

Design and Implementation of an Automatic Embedded Core Generation System Using Advanced Dynamic Branch Prediction (동적 분기 예측을 지원하는 임베디드 코어 자동 생성 시스템의 설계와 구현)

  • Lee, Hyun-Cheol;Hwang, Sun-Young
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.38B no.1
    • /
    • pp.10-17
    • /
    • 2013
  • This thesis proposes an automatic embedded core generator system that supports branch prediction. The proposed system includes a dynamic branch prediction module that enhances execution speed of target applications by inserting history/direction flags into BTAC(Branch Target Address Cache). Entries of BHT(Branch History Table) and BTAC are determined based on branch informations extracted by simulation. To verify the effectiveness of the proposed branch prediction module, ARM9TDMI core including a dynamic branch predictor was described in SMDL and generated. Experimental results show that as the number of entry rises, area increase up to 60% while application execution cycle and BTAC miss rate drop by an average of 1.7% and 9.6%, respectively.

Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback (피드백을 고려한 테스트 케이스 생성 시스템 구조)

  • Choi, WooWon;Chung, Kihyun;Choi, Kyunghee
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.6 no.7
    • /
    • pp.361-370
    • /
    • 2017
  • This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

Design Method for Shape Memory Alloy Actuator with Bias Spring (Bias 스프링을 이용한 형상기억합금 액츄에이터의 설계 방법)

  • Lee, Seung-Ki;Na, Seung-Woo
    • Journal of Sensor Science and Technology
    • /
    • v.7 no.6
    • /
    • pp.437-445
    • /
    • 1998
  • The actuator using shape memory alloy spring with bias spring can act as a bidirectional actuator due to the restoring force of the bias spring. In the design of shape memory actuator with bias spring, the required design specifications are the generated force and the necessary stroke. To fulfill these requirements, shape memory alloy spring and bias spring should be designed carefully considering the specified application. In this paper, the novel design method for shape memory alloy actuator with bias spring, which does not require any assumptions from experience, has been proposed and verified by the test of fabricated shape memory alloy actuator. The experimental results show good agreements with calculated values, which guarantees the practical validity of our proposed design method.

  • PDF

A GA-based Rule Extraction for Bankruptcy Prediction Modeling (유전자 알고리즘을 활용한 부실예측모형의 구축)

  • Shin, Kyung-shik
    • Journal of Intelligence and Information Systems
    • /
    • v.7 no.2
    • /
    • pp.83-93
    • /
    • 2001
  • Prediction of corporate failure using past financial data is well-documented topic. Early studies of bankruptcy prediction used statistical techniques such as multiple discriminant analysis, logit and probit. Recently, however, numerous studies have demonstrated that artificial intelligence such as neural networks (NNs) can be an alternative methodology for classification problems to which traditional statistical methods have long been applied. Although numerous theoretical and experimental studies reported the usefulness or neural networks in classification studies, there exists a major drawback in building and using the model. That is, the user can not readily comprehend the final rules that the neural network models acquire. We propose a genetic algorithms (GAs) approach in this study and illustrate how GAs can be applied to corporate failure prediction modeling. An advantage of GAs approach offers is that it is capable of extracting rules that are easy to understand for users like expert systems. The preliminary results show that rule extraction approach using GAs for bankruptcy prediction modeling is promising.

  • PDF

Navigation Controller Design and Hydrodynamic Coefficients Estimation for a Manta-type UUV Based on Extended Kalman Filter (확장칼만필터를 이용한 만타형 무인잠수정의 유체력계수 추정 및 운항제어기 설계)

  • Kim, Dong-Hee;Kim, Joon-Young;Park, Jong-Hyeon
    • Proceedings of the KAIS Fall Conference
    • /
    • 2010.11b
    • /
    • pp.546-550
    • /
    • 2010
  • 무인잠수정이 원하는 경로를 추종할 수 있도록 안정적인 운항제어를 수행하기 위해서는 잠수정의 동역학적 특성을 정확히 파악하는 것이 필요하다. 수중에서 거동하는 무인잠수정의 동역학적 특성은 제어입력뿐만 아니라 유체력계수에 의해 주로 결정되므로, 이러한 계수값을 정확하게 아는 것이 중요한 요소라 할 수 있다. 일반적으로 유체력계수는 PMM 시험과 같은 실험적 방법을 통하여 얻게 되지만 실험방법의 어려움과 실험장비들의 부정확성으로 인한 오차에 의하여, 얻어진 값들의 신뢰성이 많이 저하된다. 계수값들을 구할 수 있는 다른 방법으로는, 확장칼만필터 등과 같은 모델기반 추정 알고리즘을 통하여 유체력계수를 추정하는 것이다. 본 논문에서는 확장칼만필터를 이용하여 유체력계수를 추정하도록 하였으며, 설계된 추정 알고리즘의 성능을 검증하기 위하여 기존에 수행된 PMM 시험에 의해 얻어진 유체력계수의 실험값과 비교 분석하였다. 또한 본 논문에서는 만타형 무인잠수정을 이용하여 원하는 경로를 추종할 수 있도록, 추정된 유체력계수를 사용하여 수심제어 및 방향제어를 위한 슬라이딩 모드 제어기를 설계하였으며, 충분한 정확도를 가지고 원하는 경로를 추종함을 시뮬레이션을 통해 확인하였다.

  • PDF

Design and Verification of a Injector using Gas Methane and LOx as Propellants (가스메탄/액체산소를 추진제로 하는 인젝터 설계 및 설계 검증)

  • Jang, Jee-Hun;Min, Ji-Hong;Lee, Yang-Suk;Ko, Young-Sung;Kim, Sun-Jin
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2011.11a
    • /
    • pp.877-880
    • /
    • 2011
  • A coaxial swirl/shear injector using GCH4/LOx as propellants was degisned and manufactured. Flow analysis by Fluent was performed to decide the number of orifice and the rear shapes of inlet orifice etc. Flow rate of the injector was measured according to differential pressure and uniformity of injector's spray pattern was confirmed by a patternator. The results showed that the difference of flow rate was around 10% and the spray angle of oxidizer was $66^{\circ}$.

  • PDF

Design and Verification of a Injector using Gas Methane and LOx as Propellants (가스메탄/액체산소를 추진제로 하는 인젝터 설계 및 설계 검증)

  • Jang, Jee-Hun;Min, Ji-Hong;Lee, Yang-Suk;Ko, Young-Sung;Kim, Sun-Jin
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2011.11a
    • /
    • pp.658-661
    • /
    • 2011
  • A coaxial swirl/shear injector using GCH4/LOx as propellants was degisned and manufactured. Flow analysis by Fluent was performed to decide the number of orifice and the rear shapes of inlet orifice etc. Flow rate of the injector was measured according to differential pressure and uniformity of injector's spray pattern was confirmed by a patternator. The results showed that the difference of flow rate was around 10% and the spray angle of oxidizer was $66^{\circ}$.

  • PDF

Sketch-based Modification of the Cubic B-Splines for the Pen-input Displays (펜-입력 디스플레이에서의 큐빅 B-Spline의 스케치-기반 편집 방법 연구)

  • Kim, Dae-Hyun;Kim, Myoung-Jun
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.33 no.4
    • /
    • pp.205-215
    • /
    • 2006
  • Pen-input displays, such as LCD tablets and tablet PCs, are already popular for its usability in CAD design, in particular. in concept design phase. We propose an intuitive B-Spline modification scheme that can be used for the CAD systems targeting for such devices. Differently from the control point based modification schemes for the B-splines, our scheme relates user pen marking to determining the final shape of the target curve and surface. This, eventually, reduces time for interacting with the shape parameters (i.e., by control points or direct manipulators), which has been regarded as an unavoidable routine tasks for design. To prove its usability, we made an experiments with selected subjects who have been working for industrial design.

An Estimating Method for Software Testing Manpower (소프트웨어 시험 인력의 추정 방법)

  • Park Ju-Seok
    • The KIPS Transactions:PartD
    • /
    • v.11D no.7 s.96
    • /
    • pp.1491-1498
    • /
    • 2004
  • Successful project planning relics on a good estimation of the manpower required to complete a project, together with the schedule options that may be available. Despite the extensive research done developing new and better models, existing software manpower estimation models are present only the total manpower or instantaneous manpower distribution according to the testing time for the software life-cycle. This paper suggests the manpower estimating models for software testing phase as well as testing process and debugging process in accordance with de-tected faults. This paper presents the polynomial model for effort based on testing and debugging faults. These models are verified by 5 different software project data sets with coefficient of determination and mean magnitude of relative error for adaptability of model.

A Study on Application of Transverse Flux Linear Motor to Indexer System (인덱서 시스템에 대한 횡축형 선형 전동기의 적용에 관한 연구)

  • Kim J.W.;Ahn J.B.;Kang D.H.;Jang J.H.;Kim J.M.;Bang D.J.;Jeon J.Y.
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.9 no.6
    • /
    • pp.553-559
    • /
    • 2004
  • The servo motor is used for the driving power source of the conventional linear conveyor system. The mechanical power transfer system is needed for converting the circular to the linear operation. But this system causes some problems of position error, the necessity of the periodical maintenance. In this paper the study on application of transverse flux linear motor(TFLM) is carried out for the indexer system of LCD processing because TFLM has much thrust per a volume than the conventional motor. TFLM is suitable system for the indexer system because of capacity of acceleration, maximum speed and precision of the position, etc.