• Title/Summary/Keyword: Static analysis method

Search Result 2,328, Processing Time 0.031 seconds

Low Power Discrete-Time Incremental Delta Sigma ADC with Passive Integrator (수동형 적분기(Passive Integrator)를 이용한 저전력 이산시간 Incremental Delta Sigma ADC)

  • Oh, Goonseok;Kim, Jintae
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.54 no.1
    • /
    • pp.26-32
    • /
    • 2017
  • This paper presents a low power and high resolution incremental delta-sigma ADC that utilizes a passive integrator instead of an opamp-based active integrator. Opamp is a power-hungry block that involves tight design tradeoffs. To avoid the use of active integrator, the s-domain characteristic of an active integrator is first analyzed. Based on the analysis, an active integrator with low gain design is proposed as an alternative design method. To save power even more aggressively, a passive integrator with no static current is proposed. A 1st order single-bit incremental delta-sigma ADC using the proposed passive integrator is implemented in a 65nm CMOS process. Transistor-level simulation shows that the ADC consumes only 0.6uW under 1.2V supply while achieving SNDR of 71dB with 22kHz bandwidth. The estimated total power consumption including digital filter is 6.25uW, and resulting power efficiency is on a par with state-of-the-art A/D converters.

Boundary Zone Overlapping Scheme for Fast Handoff Based on Session Key Reuse (AAA MIP 환경에서 공유영역 기반 세션키 재사용을 통한 고속 핸드오프 방식 연구)

  • Choi, Yu-Mi;Chung, Min-Young;Choo, Hyun-Seung
    • The KIPS Transactions:PartC
    • /
    • v.12C no.4 s.100
    • /
    • pp.481-488
    • /
    • 2005
  • The Mobile W provides an efficient and scalable mechanism for host mobility within the Internet. However, the mobility implies higher security risks than static operations in fixed networks. In this paper, the Mobile IP has been adapted to allow AAA protocol that supports authentication, authorization, and accounting(AAA) for security and collection for accounting information of network usage by mobile nodes(MNs). For this goal, we Propose the boundary tone overlapped network structure while solidifying the security for the authentication of an MN. That is, the Proposed scheme delivers the session keys at the wired link for MN's security instead of the wireless one, so that it provides a fast and seamless handoff mechanism. According to the analysis of modeling result, the proposed mechanism compared to the existing session key reuse method is up to about $40\%$ better in terms of normalized surcharge for the handoff failure rate that considers handoff total time.

Clinical Efficacy of a Top-down Approach for Children with a First Febrile Urinary Tract Infection

  • Jang, Kyung Mi;Lim, Myung Hee;Park, Yong Hoon;Kim, Saeyoon
    • Childhood Kidney Diseases
    • /
    • v.21 no.2
    • /
    • pp.114-120
    • /
    • 2017
  • Purpose: The aim of this study was to determine the clinical characteristics, frequency of renal abnormalities and benefits of a top-down approach in children with their first febrile urinary tract infection (UTI). Methods: We reviewed 308 patients retrospectively who were admitted to Yeungnam University Hospital and were treated for their first febrile UTI from February 2006 to December 2013. We performed a comparative analysis of laboratory findings and results of imaging techniques including a Tc-99m dimercaptosuccinic acid (DMSA) renal scan. Results: Among the patients, 69% (213/308) were males, and 90% (277/308) had their first UTI episode during infancy. A DMSA renal scan was performed on all patients, and showed positive findings in 60% (184/308) of cases. Laboratory indices of inflammation were significantly higher in the DMSA-positive group (P< 0.05). There was a statistically significant difference in the age distribution between the two groups. In the DMSA-positive group, 165 patients underwent voiding cystourethrography (VCUG), and 58 (35%) cases demonstrated vesicoureteral reflux. In total, 110 patients in the DMSA-positive group, underwent repeat scanning at 6 months; 33 children (30%) demonstrated static scarring, but 77 (70%) had improved completely. The concordance of the ultrasonography (US) and VCUG was low. Older patients had more renal scarring. Conclusion: DMSA is a sensitive method for assessing the severity of inflammation and kidney injury. However, the ability of US to predict renal parenchymal damage was limited. A top-down approach in children with their first febrile UTI showed significant value.

Performance Evaluation of Stator-Rotor Cascade System Considering Flow Viscosity and Aeroelastic Deformation Effects (유동점성 및 공탄성 변형효과를 고려한 스테이터-로터 케스케이드 시스템의 성능평가)

  • Kim, Dong-Hyun;Kim, Yu-Sung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.1
    • /
    • pp.72-78
    • /
    • 2008
  • In this study, advanced (fluid-structure interaction (FSI)) analysis system has been developed in order to predict turbine cascade performance with blade deformation effect due to aerodynamic loads. Intereference effects due to the relative movement of the rotor cascade with respect to the stator cascade are also considered. Reynolds-averaged Navier-Stokes equations with one equation Spalart-Allmaras and two-equation k-ω SST turbulence models are solved to accurately predict fluid dynamic loads considering flow separation effects. A fully implicit time marching scheme based on the (coupled Newmark time-integration method) with high artificial damping is efficiently used to compute the complex fluid-structure interaction problem. Predicted aerodynamic performance considering structural deformation effect of the blade shows somewhat different results compared to the case of rigid blade model. Cascade performance evaluations for different elastic axis positions are importantly presented and its aeroelastic effects are investigated.

The Sensibility of Jacquard Fabrics Applied by Korean Traditional Motives (한국 전통 문양을 활용한 자카드 직물의 감성 평가)

  • Lee, Sun-Young;Kim, Jeong-Hwa;Lee, Jung-Soon
    • Korean Journal of Human Ecology
    • /
    • v.17 no.4
    • /
    • pp.733-744
    • /
    • 2008
  • In this research, we investigated the university students' consciousness and preference for the jacquard fabrics and developed the evaluation scale of the sensibility of jacquard fabrics appied by Korean traditional motives. 23 jacquard fabrics were assessed subjectively by 466 consumers using the 7-point scale of 23 descriptors of texture sensibility and 50 descriptors image sensibility. The percentage of students who were interested in jacquard fabrics was similar as that of students who were uninterested. 75.3% of students were shown to think that it was necessary to apply Korean traditional motives to the jacquard fabrics. Through cluster analysis, the hierarchy of the image sensibility was examined. The tactile sensibility of jacquard fabrics were classified into 9 sub-clusters, image sensibility of them were classified into 14 sub-clusters. The dimensions evaluating the image sensibility of jacquard fabrics were developed using multi-dimensional scaling method. A 3-dimensions and 6-axes system were determined, which consisted of 'classic-modern', 'splendid-plain', 'abstract-realistic'. It was shown that preference of jacquard fabrics was increased, as image sensibility such as 'various', 'gorgeouse', 'beautiful', 'mild', 'dim', 'traditional', 'orderly', 'comfortable', 'dignified', 'abundant', 'fantastic', and 'vague' were increased and those such as 'intense', 'old', 'stuffy', 'exotic' and 'static' were decreased.

A New Steady Approach to Predict the Transonic Buffet Onset (천음속 버펫 발단 예측을 위한 새로운 정상 접근 방법)

  • Jeong, In-Jae
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.34 no.5
    • /
    • pp.12-18
    • /
    • 2006
  • A new steady approach has been developed to predict the transonic buffet onset of a high speed aircraft. In this paper, the flow is assumed to be steady for the buffet onset. The present study involves the analysis of a distinct change in the variation of various static aerodynamic parameters. These distinct changes indicates the onset of transonic buffet. Among the various aerodynamic parameters considered in this study, the variation in the center of pressure has shown to provide a clearest indicator of transonic buffet onset. This new steady approach can be applied to predict the transonic buffet onset for airfoils with shock induced separation bubble and for large swept wings with small aspect ratios. Good agreements have been obtained compared with unsteady wind tunnel buffet test data. Based on the results obtained the new steady approach, it can be newly suggested that the distinct slope changes of the center of pressure curve can be used as an indicator of buffet onset for the steady experimental method on a full aircraft configuration.

Free Moving Time-lapse dolly Design (움직임이 자유로운 Time-lapse dolly 설계)

  • Kim, Seung-Min;Kim, Heung-Il;Jeon, Seung-Woo;Hwang, Jeong-Kil;Woo, Yoonhwan
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.14 no.12
    • /
    • pp.6082-6089
    • /
    • 2013
  • The supply of DSLR cameras has increased recently. Because of its widespread use, different types of DSLR camera video techniques have also been developed. Time-lapse is an effective filming technique that helps produce a fine-quality video clip by taking pictures of multiple camera shots during certain time intervals without recording the actual video clip, as the existing technique does. Machinery equipment (dolly), which controls the speed of movement and shutter, needs to be deleted. This paper introduces a method for a designing movement system that satisfies the design conditions. In addition, this paper proved the validity of the design by performing stress analysis on the static and dynamic conditions of the final design.

A Study on Workers' Risk-Aware Smart Bands System in Explosive Areas (폭발위험지역 근로자 위험 인지형 스마트밴드시스템에 대한 연구)

  • Lee, Byong-Kwon
    • Journal of Internet of Things and Convergence
    • /
    • v.5 no.2
    • /
    • pp.73-79
    • /
    • 2019
  • Research is underway on services and systems that provide real-time alerts for suffocating gases and potentially explosive materials, but currently smart bend type services are lacking. This study supports real-time identification of explosion hazards due to static electricity in the workplace and immediate elimination of accident occurrence factors, real-time monitoring of worker status and workplace hazards (oxygen, hazardous chemical concentration), and immediate warning and data in case of danger. We propose a method of establishing an accident prevention system through analysis. In this way, various accidents that may occur in industrial sites are monitored using IoT-based intelligent sensor nodes, wireless network technology, data processing middleware, and integrated control system, and real-time risk information at the industrial sites is prevented and accidents are prevented. By supporting a safe working environment, the company can significantly reduce costs compared to post-procurement costs.

Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety (차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교)

  • Kim, Dongwoo;Choi, Yunja
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.5 no.12
    • /
    • pp.615-622
    • /
    • 2016
  • Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

An Analysis for the Structural Variation in the Unemployment Rate and the Test for the Turning Point (실업률 변동구조의 분석과 전환점 진단)

  • Kim, Tae-Ho;Hwang, Sung-Hye;Lee, Young-Hoon
    • The Korean Journal of Applied Statistics
    • /
    • v.18 no.2
    • /
    • pp.253-269
    • /
    • 2005
  • One of the basic assumptions of the regression models is that the parameter vector does not vary across sample observations. If the parameter vector is not constant for all observations in the sample, the statistical model is changed and the usual least squares estimators do not yield unbiased, consistent and efficient estimates. This study investigates the regression model with some or all parameters vary across partitions of the whole sample data when the model permits different response coefficients during unusual time periods. Since the usual test for overall homogeneity of regressions across partitions of the sample data does not explicitly identify the break points between the partitions, the testing the equality between subsets of coefficients in two or more linear regressions is generalized and combined with the test procedure to search the break point. The method is applied to find the possibility and the turning point of the structural change in the long-run unemployment rate in the usual static framework by using the regression model. The relationships between the variables included in the model are reexamined in the dynamic framework by using Vector Autoregression.