• 제목/요약/키워드: 강제성

검색결과 678건 처리시간 0.027초

요약 해석을 이용한 데스트 데이터 자동 생성 기법 (Automatic Test Data Generation Using Abstract Interpretation)

  • 한승희;강제성;정인상;권용래
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.460-462
    • /
    • 2001
  • 테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

  • PDF

강제교반법으로 제조된 Al-Pb계 베어링합금의 마모거동 (Wear properties of Al-Pb bearing alloys produced by impeller mixing)

  • 임화영;임대순;허무영
    • 한국윤활학회:학술대회논문집
    • /
    • 한국윤활학회 1991년도 제14회 학술강연회초록집
    • /
    • pp.34-37
    • /
    • 1991
  • Al계 베어링합금은 소착저항력등의 베어링특성이 우수하여 최근에 자동차의 엔진부품에 많이 사용되고 있다. Al계 베어링합금으로는 Al-Sn계, Al-Pb계, Al-Si계 합금이 개발되어 사용되어 왔다. Al-Si계 합금은 높은 강도, 우수한 부식성, 주조성이 향상되는 장점등을 갖고 있다. 또한 Al-Pb계 합금은 Pb가 고체윤활제로 작용하여 소착저항성이 높으며 가격도 저렴한 장점을 갖고 있다. Al과 Pb는 용융상태에서 넓은 용융간극을 갖어 중력편석을 일으키기 때문에 일반적인 주조방법으로 Al계 베어링합금을 제조할 수없다. 또한 Al에 Si이 첨가됨에 따라 높은 경도등의 기계적성질의 향상이 얻어지지만 Al 기지에 Si의 함량이 증가할 수록 편석이 심해져 조대한 Si-rich상이 미세조직에 존재하여 합금이 취약해지는 단점을 갖고 있다. 따라서 본 연구에서는 Al 기지에 Pb의 중력편석을 최소화하고 Al 기지에 조대한 Si-rich상이 생성되는 것을 막기 위하여 Al과 Pb가 공존하는 온도구역에서 높은 교반속도로 용탕을 강제교반하여 액상에서 Pb와 Si을 미세하게 분산시킨 후 수냉되는 동주형에서 급속응고시켜 Pb와 Si-rich 상이 균일하게 분포된 Al계 베어링합금을 제조하였다. 본 연구에서는 Pb의 양을 0%에서 35%까지 변화시켰으며, Si의 양을 0%에서 20%까지 변화시켜서 베어링합금을 제조하였으며, 강제교반속도는 500rpm에서 2500rpm 까지 변화시켜 베어링합금을 제조하였다.

  • PDF

마찰감쇠기가 있는 블레이드디스크의 강제진동해석 (Forced Response Analyses of a Bladed Disk with Friction Dampers)

  • 유재한;이인
    • 한국추진공학회지
    • /
    • 제14권5호
    • /
    • pp.15-23
    • /
    • 2010
  • 블레이드 디스크에는 진동 저감을 위해 종종 마찰 감쇠기가 같은 부가적인 감쇠 요소가 부착된다. 마찰 감쇠기가 있는 블레이드 디스크의 강제 진동 해석 시스템이 개발 및 검증되었다. 비선형 진동 해석 방법인 다중 조화 방법과 주기 구조물의 효율적인 해석을 위한 주기 경계 조건이 사용되었으며 집중된 구조 비선형성인 마찰 감쇠기가 있는 구조물의 거동을 모사하기 위하여 가상 질량법으로 얻어진 모드 형상이 사용되었다. 이러한 모드와 일반적인 고유 모드의 상대적인 수렴성이 비교되었다.

강제진동 기법을 이용한 무미익 비행체의 동안정 미계수 측정 (Measurement of Dynamic Stability Derivatives of Tailless Lamda-shape UAV using Forced Oscillation Method)

  • 양광진;정형석;조동현;안은혜;고준수;홍진성;김용덕;이명섭;허기봉
    • 한국항공우주학회지
    • /
    • 제44권7호
    • /
    • pp.552-561
    • /
    • 2016
  • 본 연구에서는 강제진동 기법을 이용하여 람다형상을 갖는 무미익 무인기의 동안정 미계수를 측정하였다. 강제진동 기법은 시험모델을 일정한 크기의 각 변위로 진동시키면서 항공기에 작용하는 공력의 시간이력(time history) 데이터를 측정하고, 입력진동 대비 공력데이터의 위상차와 진폭을 추출함으로써 비행체의 동안정 미계수를 계산하는 방법이다. 본 연구에서는 롤, 피치, 요 방향으로 각각 진동시킬 수 있는 실험 장치를 설계, 제작하여 국내 최초로 무미익 항공기의 동안정 미계수 측정 시험을 수행하였다. 롤 댐핑 동안정 미계수 측정 결과, 진동 주파수와 진동의 크기가 증가하여도 동안정 미계수의 경향성은 동일하게 나타나며, 전반적으로 측정 받음각 구간에서 안정한 특성을 보였다. 피치 댐핑 동안정 미계수의 경우 작은 진동 주파수에서 동적으로 더 안정해지며, 받음각 $15^{\circ}$ 이상에서는 동적으로 불안정해지는 경향성을 보였다. 각 시험데이터들은 반복성 시험을 통해 데이터의 신뢰성을 검증하였으며, 본 연구에 적용된 강제진동 기법이 무미익 항공기의 동안정 미계수를 성공적으로 측정할 수 있음을 확인하였다.

주기적인 하폭 변화 수로에서 사주의 거동에 관한 수치실험 (Numerical Experiments of the Behavior of Bars in the Channels with Periodic Variable Width)

  • 장창래
    • 한국수자원학회논문집
    • /
    • 제47권1호
    • /
    • pp.37-47
    • /
    • 2014
  • 본 연구에서는 하폭의 주기적인 변화에 의하여 교호사주와 복렬사주가 발생하는 수리학적 조건에서 주기적인 하폭변화에 의한 강제사주의 형성과정과 거동 특성을 2차원 수치모형을 이용하여 파악하였다. 하폭변화의 진폭이 크면, 사주의 파장은 짧아지고, 사주의 이동성은 크게 감소하였다. 교호사주가 발생할 수 있는 영역에서는 하폭의 변화에 대하여 강제효과가 크게 작용하며, 복렬사주가 발생할 영역에서는 하폭의 변화에 의한 강제효과가 상대적으로 작은 특성을 보여주었다. 복렬사주가 발달한 조건에서는 하도변화의 진폭 대 평균하폭의 비인 무차원 진폭이 0.25로 증가할 때 사주의 이동속도는 증가하지만, 이보다 크면 사주의 이동속도가 급격하게 감소하였다. 교호사주가 발생하는 조건에서는 사주의 파장 대하폭 변화의 파장 비인 무차원 사주의 파장이 증가할수록 사주의 이동속도가 증가하지만, 무차원 사주의 파장이 1에 가까운 경우에 사주의 이동속도가 급격하게 감소하였다. 즉, 사주의 파장과 하폭의 파장이 일치할 때, 하폭변화에 의한 강제효과가 강하게 작용하여 사주가 압박되기 때문이다.

강제교란 방법을 이용한 액체로켓엔진 연소기의 연소안정성 시험 (Combustion Stability Test of LRE Thrust Chamber using Artificial Perturbation Method)

  • 이광진;서성현;한영민;최환석;고영성
    • 한국추진공학회지
    • /
    • 제14권3호
    • /
    • pp.52-60
    • /
    • 2010
  • 이중와류 동축형 분사기가 사용된 추력 30톤급 액체로켓엔진 연소기의 연소안정성시험을 강제교란방법을 이용하여 국내 지상연소시험설비에서 수행하였다. 시험에는 분사기 리세스 수, 배플 길이, 막냉각 및 연소실 직경과 같은 설계 요소가 변경된 연소기가 사용되었으며 시험결과는 이 변수들이 액체로켓엔진 연소기의 고주파 연소안정성과 깊은 관계가 있음을 보여주었다. 강제교란에 의한 액체로켓엔진 연소기의 연소안정성 분석에 있어서 감쇠시간 대신 진동 감분을 사용한 결과로부터 감쇠인자의 증가는 액체로켓엔진 연소기의 고주파 연소안정성 향상에 영향을 미침을 확인하였다.

순간 노출되는 표적의 식별과 부적 반복효과에 지각부하가 미치는 영향 (The Influence of perceptual load on target identification and negative repetition effect in post-cueing forced choice task)

  • 김인익;박창호
    • 인지과학
    • /
    • 제33권1호
    • /
    • pp.1-22
    • /
    • 2022
  • 지각부하 이론(Lavie, 1995)에 따르면 지각부하가 높을수록 방해자극의 영향이 감소한다. 지각부하를 다룬 연구들은 문자열에서 표적 문자의 탐지에 걸린 반응시간을 측정하는 Eriksen과 Eriksen(1974)의 측면자극 과제(flanker task)를 주로 사용하였다. 한편, 순간 노출되고 사라진 문자열 중 보고해야 할 표적이 후단서로 지시되는 후단서 강제선택 과제에서는 부적 반복효과(negative repetition effect; NRE)가 관찰된다. 이 효과는 나란히 제시된 두 문자가 서로 다른 경우보다 동일할 때, 표적의 식별률이 더 떨어지는 것을 말한다. 후단서 강제선택 과제는 정보처리의 초기지각 단계와 관련한 처리 과정을 잘 보여준다. 본 연구는 지각부하가 후단서 강제선택 과제에서 표적의 정확 식별률과 NRE에 어떤 영향을 미치는지를 검토하고자 하였다. 지각부하는 후단서에 의한 강제선택 대상인 두 문자(표적 후보) 사이에 삽입되는 제3의 문자의 유사성(실험 1; 'ㄹ', 'ㅅ', '·')과 개수(실험 2; 0개, 2개-왼쪽 대각선 배치와 오른쪽 대각선 배치, 4개, 실험3; 2개, 4개)로 조작했다. 실험 1에서 NRE의 경향성이 관찰되었으나 지각부하의 효과는 관찰되지 않았다. 실험 2에서는 NRE가 유의하였으며, 지각부하는 유의하였으나, NRE와의 상호작용은 관찰되지 않았다. 실험 3은 부하자극의 위치 변동성을 도입하여 강화된 지각부하의 수준에 따라 NRE가 변화할 것인지를 다시 확인하였는데, 지각부하의 효과가 관찰되지 않았다. 본 연구의 결과는 순간 노출된 표적에 대한 분리주의과정으로 인해 지각부하가 지각 정보처리의 초기 단계에 영향을 미치지 못하였을 가능성이 있음을 시사한다.

급이에 의한 강제 환우 방법이 산란계의 생산성과 계란 품질에 미치는 영향 (Effect of Feeding-Induced Molting on the Performance and Egg Quality in Laying Hens)

  • 나재천;유동조;방한태;김상호;김지혁;강근호;김학규;박성복;서옥석;장병귀;최종태;최호성
    • 한국가금학회지
    • /
    • 제35권2호
    • /
    • pp.171-176
    • /
    • 2008
  • 본 시험은 동물 복지 차원에서 절식에 의한 강제 환우를 지양하고 사료를 급여하는 강제 환우 방법이 산란계의 생산성 및 난질에 미치는 영향을 알아보고자 60주령 White Leghorn 산란계 400수를 공시하여 34주간 실시하였다. 처리구는 관행적으로 절식한 환우구(C), 옥수수 단일 사료 급여(T1), 밀기울 단일 사료 급여(T2) 및 알팔파 단일 사료를 급여(T3)한 4처리로서, 처리구당 5반복, 반복당 20수씩 철제 케이지에 완전임의 배치하였다. 시험 결과 산란율 및 1일 산란량은 산란 후 $1{\sim}4$주간에만 T1에서 대조구에 비하여 유의적으로 감소하였으나(P<0.05), 전 시험 기간 동안에는 강제 환우 방법간에 차이를 보이지 않았다. 사료 섭취량은 $1{\sim}4$주에 T1에서 대조구에 비하여 통계적으로 감소하였으나(P<0.05), 전 시험 기간에는 처리구간에 차이가 없었다. 또한, 사료 요구율도 전 시험 기간 동안 처리구간에 유의적인 차이를 보이지 않았다. 난각 두께는 산란 후 10, 14주에 옥수수만을 급여한 T1구가 대조구에 비하여 유의적으로 개선되었으나(P<0.05), 26주에는 옥수수(T1)와 밀기울(T2)만을 급여한 처리구가 대조구에 비해 유의적으로 감소하였다(P<0.05). 난각 강도와 호우 유니트는 환우 방법에 따른 차이를 보이지 않았다. 난황색은 6주에 T1구와 T2구가 대조구에 비하여 유의적으로 감소하였으나(P<0.05), 18주에는 T1구와 T2구가 대조구나 T3구에 비하여 유의적으로 높았다(P<0.05). 시험 결과 사료 급여와 절식을 이용한 강제 환우 방법간에 생산성에서는 커다란 차이를 보이지 않았으며, 난질에서도 차이를 보이지는 않았다. 또한 사료 급여를 이용한 강제 환우에서는 알팔파만을 단독으로 급이한 강제 환우 방법이 옥수수나 밀기울을 급여한 강제 환우 방법보다는 생산성에서 통계적으로 유의차는 보이지 않았으나 우수한 경향을 보였다.

강제선회시험을 이용한 수중운동체의 수평면 안정성 평가에 관한 연구 (Horizontal Stability Estimation of Underwater Vehicle Using Rotating Arm Test)

  • 한지훈;정재훈;이성범;장근영;이승건
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2016년도 춘계학술대회
    • /
    • pp.110-112
    • /
    • 2016
  • 최근 해저 자원 개발 또는 생산 활동에 따른 수중작업의 수요 증대와 수중 유도무기체계 개발의 일환으로 다양한 형태의 수중운동체 기술이 발전되고 있다. 또한, 해양에 존재하는 광물 자원의 탐사 및 채취, 수중탐사 및 작업, 해양 방위력의 증강 등은 수중운동체의 개발 필요성을 더욱 증가시키고 있으며, 이에 따라 수중운동체에 대한 연구가 활발하게 수행되고 있다. 이에 본 논문에서는 수중운동체의 강제선회시험을 이용하여 유체력 미계수를 획득하고 이를 통해 수중운동체의 수평면 안정성을 평가 해 보았다.

  • PDF