• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.590-606
• /
• 2009

C프로그램에서 발생할 수 있는 메모리 누수(memory leaks)를 실행 전에 찾아 주는 분석기를 제안한다. 이 분석기는 SPEC2000 벤치마크 프로그램과 여러 오픈 소스 프로그램들에 적용시킨 결과 다른 분석기에 비해 상대적으로 뛰어난 성능을 보여준다. 총 1,777 KLOC의 프로그램에서 332개의 메모리 누수 오류를 찾아냈으며 이 때 발생한 허위 경보(false positive)는 47개에 불과하다(12.4%의 허위 경보율). 이분석기는 초당720 LOC를 분석한다. 각각의 함수들이 하는 일을 요약하여 그 함수들이 불려지는 곳에서 사용함으로써 모든 함수에 대해 단 한번의 분석만을 실행한다. 각각의 함수 요약(procedural summary)은 잘 매개화 되어 함수가 불려질 때의 상황에 맞게 적용할 수 있다. 실제 프로그램들에 적용하고 피드백 받는 방법을 통해 함수가 하는 일중에 메모리 누수를 찾는데 효과적인 정보들만으로 추리는 과정을 거쳤다. 분석은 요약 해석(abstract interpretation)에 기반하였기 때문에 C의 여러 문법 구조와 순환 호출 (recursive call), 루프(loop)등은 고정점 연산(fixpoint iteration)을 통해 자연스럽게 해결한다.

• 전자공학회논문지C
• /
• 제35C권9호
• /
• pp.38-48
• /
• 1998

비동기 순차 회로에 대한 시험 벡터를 생성하는 문제는 매우 어려운 문제로 남아 있다. 현재까지 이 문제에 대한 알고리즘은 거의 없었다. 그리고, 기존의 접근 방식은 시험 벡터를 생성하는 동안에는 피이드백 루프를 절단하여 그 곳에 플립플롭이 있는 것처럼 가정하고 시험 벡터를 생성하는 방식이었다. 그래서, 기존의 알고리즘은 동기 순차 회로용 시험 벡터 생성 알고리즘과 매우 유사하였다. 이것은 시험 벡터를 생성할 때에는 비동기 순차회로를 동기 순차 회로로 가정하고 시험 벡터를 생성한다는 것을 의미한다. 그러므로, 생성된 시험 벡터가 비동기 순차 회로에 적용되었을 때, 대상 결함을 검출하지 못할 수도 있다는 것을 나타낸다. 본 논문에서는 비동기 순차 회로에 대한 시험 벡터를 생성할 수 있는 알고리즘을 제시하였다. 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 임계레이스(critical race) 문제와 순환(oscillation) 문제의 발생을 최소로 하면서 비동기 순차 회로의 결함을 검출할 수 있다. 그리고, 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 비동기 순차 회로에 대해서 대상 결함을 검출하는 것이 보장된다.

• 대한전자공학회논문지SP
• /
• 제42권6호
• /
• pp.99-110
• /
• 2005

효과적인 영상의 압축을 위하여 여러 가지 기법들이 연구되고 있는데, 그 중에 2 차원 필터링은 2 차원 영상 처리를 위해 많이 사용되고 있다. 2 차원 영상 필터링은 수평과 수직 방향으로 각각 1 차원 선형 필터를 수행함으로서 구현할 수 있으며, 필터링 방법에 따라 압축 효율에 많은 영향을 미치게 된다. 일반적으로 순환 콘볼루션을 이용한 필터링 기법은 영상을 감축하는데 가장 많이 사용되고 있는데, 경계 부분에서의 상관성 등이 전혀 고려되지 않기 때문에 필터링 효율이 떨어지는 문제를 가지고 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 루프 콘볼루션을 이용한 필터링 기법을 제안 하였다. 제안된 필터링 기법은 경계 부분의 필터링 시 상관성이 높은 데이터를 이용하기 때문에 필터링의 효율을 높일 수가 있다. 제안된 필터링의 효율을 정확하게 분석하기 위하여 대역분할 부호화에 적용하였고, 자바 기반의 시뮬레이터를 사용하여 성능을 평가하였다.

• Korean Chemical Engineering Research
• /
• 제43권3호
• /
• pp.360-365
• /
• 2005

SMB는 연속 크로마토그래피 공정으로써 회분식 크로마토그래피보다 이동상의 소비를 줄이고 높은 농도, 높은 수율의 생산성의 장점을 가지고 있다. 그러나 운전상의 복잡성 때문에 이 공정을 이해하기 어렵다. 본 실험에서는 서로 다른 색깔을 지닌 두 물질의 분리를 시도함으로써 공정의 이해를 용이하게 하였다. 실험에서 사용된 물질은 Blue dextran과 Orange G로서 각각 파란색과 오렌지 색을 띤다. 실험은 4개의 존으로 구성된 SMB로써 zone VI에서 zone I으로 재순환 되지 않는 열린 루프계가 적용되었다. 운전 조건은 Standing wave design를 이용하였으며 extract와 raffinate에서 높은 순도와 수율을 가질 수 있도록 디자인하였다. 단일 칼럼을 이용한 실험을 통해서 여러 유량에서 비선형 흡착 평형식과 실험식으로부터 물질전달계수를 얻었다. Extract와 raffinate의 농도분포 곡선은 모사 결과와 거의 일치하였다. Extract와 raffinate의 순도는 99.49％와 98.89％이며 두 물질의 수율은 모두 98％였다.

• 한국가스학회지
• /
• 제11권3호
• /
• pp.44-48
• /
• 2007

본 연구는 코일직경변화에 따른 헬리컬 코일 가스냉각기내 초임계 $CO_2$의 냉각 열전달 특성에 대해 실험적으로 조사하였다. 냉매 순환루프의 주요구성품은 수액기, 변속펌프, 질량유량계, 예열기, 헬리컬 코일형 가스냉각기(시험부)로 구성된다. 시험부는 내경 4.55 mm의 평활 동관과 26.75 mm와 41.35 mm인 코일직경으로 이루어져 있다. 냉매질량유속은 $200kg/m^2s$에서 $800kg/m^2s$가지 변화시켰고, 가스냉각기의 입구압력 범위는 7.5 MPa에서 10.0 MPa까지이다. 코일직경이 26.75 mm인 가스냉각기내 이산화탄소의 냉각열전달 계수가 코일직경이 41.35 mm인 열전달 계수보다 높은 것으로 나타났다. 또한 초임계 상태에서 제안한 종래의 냉각 열전달 상관식과 비교한 결과, 대부분의 상관식이 과소예측되었고, 그 중에서도 이산화탄소의 냉각 열전달 계수는 Pilta 등이 제안한 상관식과 좋은 일치를 보였다. 하지만, 유사임계 온도 영역부근에서는 실험데이터가 더 큰 것으로 나타났다.

• 한국가스학회지
• /
• 제11권3호
• /
• pp.1-6
• /
• 2007

본 연구에서는 경사진 헬리컬 코일형 동관내 이산화탄소의 증발 열전달 계수와 압력강하를 실험적으로 조사하였다. 냉매 순환루프의 주요구성품은 수액기, 변속펌프, 질량유량계, 예열기, 경사진 헬리컬 코일형 가스냉각기(시험부)로 구성된다. 시험부는 내경 4.55 mm의 평활 동관으로 이루어져 있다. 냉매질량 유속은 $200kg/m^2s$에서 $600kg/m^2s$까지 변화시켰고, 가스냉각기의 입구압력은 7.5 MPa에서 10.0 MPa까지이다. 경사진 헬리컬 코일관내 이산화탄소의 열전달 계수는 질량유속과 냉각압력의 증가와 함께 따라 증가하였다. 이산화탄소의 압력강하는 헬리컬 코일관내 단상 상관식인 Ito식과 좋은 일치를 보였고, 이산화탄소의 국소 열전달 계수는 Pilta 등이 제안한 상관식과 좋은 일치를 보였다. 하지만, 유사임계 온도 영역부근에서는 실험데이터가 더 높게 나타났다.

• 한국가스학회지
• /
• 제12권3호
• /
• pp.43-49
• /
• 2008

본 연구에서는 내경 4.3 mm와 6.4 mm의 수평동관내 R-22와 R-407C의 증발 열전달과 압력강하를 실험적으로 조사하였다. 냉매 순환루프의 주요구성품은 수액기, 압축기, 질량유량계, 응축기, 이중관식 증발기 (시험부)로 구성된다. 시험부는 내경 4.3 mm와 6.4mm의 평활 동관으로 이루어져 있다. 냉매질량유속은 $100\;kg/m^2s$에서 $300\;kg/m^2s$까지 변화시켰고, 증발기 냉매포화온도는 $5^{\circ}C$이다. R-22와 R-407C의 증발 열전달계수는 질량유속과 증기건도의 증가와 함께 따라 상승한다. 내경 4.3 mm와 6.4mm관내 R-22의 증발 열전달계수가 R-407C에 비해 각각 $7.3{\sim}47.1%$와 $5.68{\sim}46.6%$ 정도 높다.

• 조명전기설비학회논문지
• /
• 제12권1호
• /
• pp.78-84
• /
• 1998

발전소나 화학플랜트의 급수 및 순환수 계통은 물론 건물의 공조설비 유체계통, 정수 또는 폐수설비에서의 원수유량 및 약품 주입제어 등과 같은 유체계통은 대부분 밸브와 동력 펌프를 이용해 유량 제어를 한다. 따라서 이들 유체계통의 제어방법 및 정밀도에 따라 그 시스템의 성능 및 에너지 절약에 많은 영향을 미치게 된다. 지금까지 이들 계통은 주로 PI제어기를 이용하였으나 이 제어 방법으로는 루프간의 간섭현상으로 정밀하게 유량부하를 제어 할수 없는 문제점이 있다. 본 논문에서는 유체계통 동력부하 설비를 다변수로 구성하여 2-자유 PID제어를 적용하고 신경망을 이용해 튜우닝함으로서 효과적으로 정밀하게 제어 할수 있는 방법을 제시하고 시뮬레이션을 통해 그 방법의 우수성을 입증하였다. 시뮬레이션 결과 설정치를 잘 추종하고 외란에 대해서는 강인성을 갖는 것으로 나타났다.

• 한국산학기술학회논문지
• /
• 제21권6호
• /
• pp.403-410
• /
• 2020

본 논문은 포항지역 태양광 데이터를 기반으로 태양열을 적용시켜 12kW의 소형 초임계 이산화탄소(s-CO₂) 시험 루프의 설계와 실험 시설의 이론적 연구, 안정화 및 최적화를 통한 이산화탄소의 특성 연구에 초점을 맞추고 있다. 실험 시설의 열역학 사이클은 구성 요소의 한계로 인해 액체, 가스 및 초임계 CO₂가 모두 존재하는 랭킨 사이클(임계점 순환 주기)이며, 펌프, 히터, 레귤레이터, 열교환기, 가스 부스터, 에어 컴프레서 등으로 구성된다. 현재 본 연구에서 제작된 12kW 소형 발전 시스템은 최고압력 12MPa 최고 온도 70℃의 조건에서 6.98%의 효율이 나타나도록 설계되었다. 본 실험 장치를 소형 Brayton cycle과 비교했을 때 약 2% 높은 효율을 가진다는 것을 이론적으로 확인하였고, 사이클 효율을 높이기 위해 최적의 터빈 입구 온도와 압력을 얻었으며, 이 조건에서 IHX(내부 열교환기)의 도입시 18.75%의 최대 효율을 기대할 수 있다는 결론을 도출하였다. 마지막으로, 실험 설비의 태양광 시뮬레이션 결과 5월에는 6.7%, 6월에는 6.26%의 효율로 태양열을 이용할 수 있음을 확인하였다.

• 콘크리트학회논문집
• /
• 제18권1호
• /
• pp.109-116
• /
• 2006

크리프와 건조수축에 의한 비역학적 변형이 구조물의 내적 혹은 외적 경계조건에 의하여 억제됨으로써 발생하는 역학적 변형률은 내적 응력상태의 변화를 초래한다. 이러한 내적응력 상태의 변화는 크리프 변형의 초기조건을 변화시킴으로써 비역학적 변형에 영향을 미치게 되며 또 다시 내적응력 상태의 변화를 초래하는 순환루프를 형성하게 된다. 콘크리트의 재령종속적 재료특성을 고려한 장기거동해석에서 요구되는 구성관계는 이러한 응력상태의 지속적 변화로 초래되는 크리프 변형 미케니즘의 변화를 고려할 수 있어야한다. 비역학적 변형의 영향을 받는 합성형 거더의 거동 예측을 위하여 본 연구에서는 콘크리트의 재령종속적 특성을 고려한 총 응력-변형률 관계를 Taylor 급수확장을 이용하여 기준시간에 관해 선형으로 확장하는 과정을 통해 응력-변형률의 점증관계를 정의하는 증분유효접선계수를 재령종속적 관계로 유도하였다. 콘크리트의 건조 수축과 크리프 및 탄성계수발현으로 야기되는 합성형 거더의 재령종속적 거동을 분석하기 위해 제안된 증분유효접선계수에 근거하여 유한요소 정식화를 수행하였다. 개발된 해석 알고리즘을 이용하여 부모멘트 구간 하단부에 콘크리트를 타설한 이중합성 거더에 대하여 최근 수행된 재령종속적 거동 실험을 예측하였고, 두 결과를 비교하여 매우 근접한 예측 결과를 얻을 수 있었으며, 합성형 거더에서 발생하는 지점부 부반력을 비교과정을 통해 분석하였다.