• 제목/요약/키워드: 정수환경

검색결과 1,481건 처리시간 0.025초

효과적인 내장형 소프트웨어의 정수 확장 (Integer Promotion) 버그 검출 기법 (Effective Integer Promotion Bug Detection Technique for Embedded Software)

  • 김윤호;김태진;김문주;이호정;장훈;박민규
    • 정보과학회 논문지
    • /
    • 제43권6호
    • /
    • pp.692-699
    • /
    • 2016
  • 세탁기, 냉장고 등의 가전제품에 탑재되는 8-bit MCU용 C 컴파일러는 소프트웨어 실행 속도를 높이기 위해 표준 C 언어 규칙을 따르지 않고 컴파일을 수행할 수 있다. 개발자가 일반 C 컴파일러와 8-bit MCU용 C 컴파일러의 차이를 정확하게 이해하지 못할 경우 표준 C 언어 환경에서는 발생하지 않으나 8-bit MCU를 사용하는 내장형 시스템에서는 발생하는 버그를 야기할 수 있으며 이런 버그는 표준 C언어 환경을 가정하는 버그 검출 도구로는 찾기 어렵다. 본 논문에서는 표준 C 정수 확장 규칙을 따르지 않는 8-bit MCU용 컴파일러를 사용할 때 발생하는 정수 확장 버그를 소개하고 정수 확장 버그를 탐지하기 위한 다섯 종류의 버그 패턴을 제안한다. 정수 확장 버그 패턴 검출 도구를 개발하여 LG전자 세탁기 소프트웨어를 분석한 결과 컴파일러 옵션을 잘못 선택한 경우 발생하는 27개의 정수 확장 버그를 발견하였다.

정수압 환경에서 압축하중을 받는 Graphite/Epoxy 적층복합재의 탄성일인자 결정 (Determination of Elastic Work Factor of Graphite/Epoxy Composites Subjected to Compressive Loading under Hydrostatic Pressure Environment)

  • 신명근;이경엽;이중희
    • Composites Research
    • /
    • 제15권5호
    • /
    • pp.14-18
    • /
    • 2002
  • 본 논문에서는 정수압 환경에서 파괴인성 측정을 위한 일인자방법의 적용성을 검토하기 위해 단일방향 및 준등방성으로 적층된 $\textrm{[}0^{\circ}\textrm{]}_{88}$$\textrm{[}0^{\circ}/\pm/45^{\circ}/90^{\circ}\textrm{]}_{11s}$의 탄소섬유/에폭시 적층복합재에 있어 네 단계 정수압에 대해 탄성일인자를 층간 분리 길이의 함수로 결정 정수압 및 적층각이 탄성일인자에 미치는 영향을 검토하였다. $\textrm{[}0^{\circ}\textrm{]}_{88}$ 경우에는 0.1 MPa, 70MPa, 140MPa, 200MPa의 정수압력을 적용하였으며 $\textrm{[}0^{\circ}/\pm/45^{\circ}/90^{\circ}\textrm{]}_{11s}$에서는 0.1MPa, 100MPa, 200MPa, 300MPa의 정수압력을 적용하였다. 결과로서 탄성일인자는 정수압 및 두 경우 적층각에 의해 영향을 받지 않음을 알 수 있었다. 또한 탄성일인자는 층간분리가 증가함에 따라 선형적으로 감소함을 알 수 있었다.

정수장 시설공사의 통합관리를 위한 시설물분류체계 개발 (The Development of Information Breakdown Structure for Integrated Management of Water Filtration Plants)

  • 김창학;강인석;김효진
    • 대한토목학회논문집
    • /
    • 제37권5호
    • /
    • pp.863-869
    • /
    • 2017
  • 본 연구에서는 다양한 정수처리공법과 시설을 분류하여 정수장의 시설물 정보분할코드체계를 구축하였으며, 이것은 정수장 시설의 생애주기 동안 소요되는 유지관리비용, 에너지 사용비용 산정 및 배출된 환경오염원의 규명과 환경영향평가의 정량적 분석 등을 위한 정보를 통합하기 위한 전산시스템의 코드체계로 활용하게 된다. 건설공사의 정보는 많은 이질정보를 포함하고 있기 때문에 이를 통합해서 관리하기 위한 코드체계가 매우 중요하다. 또한 정수장 시설은 많은 프로세스를 포함한 시설물 설치공사가 주를 이루기 때문에 좀 더 세분화된 분활코드가 필요하다. 따라서 본 연구에서는 국내에서 시도되지 않은 정수장 관련 분류체계를 건설공사 분류체계인 파셋 분류체계 표현방식을 활용하여 구축하였다.

고속 동영상 부호기를 위한 부호화 방법에 관한 연구 (A study on the Encoding Method for High Performance Moving Picture Encoder)

  • 김용욱;허도근
    • 한국정보통신학회논문지
    • /
    • 제8권2호
    • /
    • pp.352-358
    • /
    • 2004
  • 본 논문은 움직임 벡터의 분포특성을 이용한 새로운 움직임 벡터 탐색 알고리즘과 정수 연산만을 필요로 하는 정수형 DCT(Discrete Cosine Transform)를 사용하여 H.263 환경에서 동영상 부호기의 성능향상에 대해 연구한다. 정수형 DCT는 Un(Walsh-Hadamard Transform)와 정수 lifting을 이용하여 정수의 덧셈 연산만으로 DCT연산을 수행하므로 부동소수점수의 곱셈을 포함하는 기존 DCT에 비하여 연산량은 줄이면서도 동일한 PSNR을 얻는다. 새로운 움직임 벡터 탐색 알고리즘은 기존의 움직임 벡터 탐색 알고리즘인 3SS(Step Search)나 4SS에 비하여 움직임 추정에 필요한 연산량을 감소시키면서 거의 비슷한 PSNR을 보인다. 또한 모의 실험에서 H.263 부호기 환경에서 정수형 DCT와 기존 DCT는 서로 호환됨을 보인다. 따라서 본 논문에서 제안한 부호화 방법은 H.263 부호화 과정에서 동영상 정보의 효율적인 실시간 처리를 가능하게 하며 다른 동영상 부호기에도 적용하여 부호화 성능을 향상시킬 수 있다.

웃음 꽃피우는 협회: KAHP 해외 속으로(2) -수단 정수시설 완공식 주협흡충 퇴치사업 성공을 위하여

  • 정후근
    • 건강소식
    • /
    • 제35권3호
    • /
    • pp.40-41
    • /
    • 2011
  • 한국건강관리협회는 외교통상부와 한국국제협력단(KOICA)으로부터 '국제빈곤퇴치기여금'을 지원받아 2009년 8월부터 201년 6월까지 2년간 정부 무상원조지원사업으로 수단 화이트나일주(州) 알자발라인 지역의 주혈흡충퇴치사업을 실시하고 있다. 이번 국제빈곤퇴치기여금으로 지원한 식수공급 정수시설은 수단 지역의 날씨와 백나일강의 주변 환경을 고려한 것으로, 물을 취수하는 취수장이 강폭과 깊이, 건기와 우기 등에 영향을 받지 않고 안정적이고 깨끗한 물을 취수 정수하여 공급할 수 있는 화이트나일에서 최고의 시설이다.

  • PDF

수처리용 생물산화 여과장치 개발 (Development of the Biological Oxidation Filter System for Water Treatment)

  • 염병호;정충혁;문정석;최승일
    • 환경기술인
    • /
    • 통권181호
    • /
    • pp.70-75
    • /
    • 2001
  • 본 연구는 '99년 7월에 벤처형 중소기업 기술개발 지원사업으로 신규 계약된 과제로서 상수원수의 전처리 및 하수 2차 침전수의 재처리 공정에 활용될 생물 산화 여과지를 개발하는 것이다. 생물 산화 여과 system은 상수 원수의 전처리, 상수도의 고도정수 처리, 하수 및 폐수처리에 이용될 수 있는 것으로, 특히 물리적 여과기능과 포기 과정을 통한 산화 기능을 포함하는 생물학적 분해 및 자연정화처리환경을 유지하여 수질이 악화된 상수도의 전·후처리나 하.폐수의 3차 처리에 적용하기 위한 것이다. 생물 산화 여과 시스템은 여과지의 하부 장치에 균등한 공기(산소)공급시설을 하여 여과층에 연속적으로 공기를 공급하면서 여과를 함으로서 생물막 여과 및 산화 기능으로 유기물질, 철, 망간 등을 제거하고 공기의 부상력에 의하여 조류, 부유물질, 냄새 등을 동시에 제거하는 System이다. 현재 상수처리 공정으로서의 생물 산화 여과지 개발을 위해 Bench-scale과 semi-pilot plant를 거쳐 Y시 M취수장애 pilot plant를 설치하여 연구를 진행중에 있으며, 또한, G시 G하수처리장에 하수처리 공정에 관한 연구를 위해 pilot plant를 설치하고 하수 3차 처리와 저농도 하·폐수 처리를 중심으로 연구중에 있다. 아래의 연구 결과는 정수처리 공정 연구를 위한 Bench-scale plant실험을 통해 얻은 결과치이며 현재까지 진행된 연구는 주로 정수처리 공정 중심으로 이루어 졌으나 pilot plant에서는 정수 및 하수처리에서의 생물산화여과공정의 연구가 진행중이다. 현재 연구가 진행중이므로 각 인자별 최적운전조건 등은 계속적인 실험과 연구를 통해 찾아지겠으나 현재까지 수행된 연구자료를 기반으로 볼 때 생물산화 여과장치는 탁도, SS, VSS 등의 제거에 탁월한 효능을 보이고 있다. 수처리용 장치로서의 이러한 기본적인 기능 이외에 NPOC, DOC 제거에도 뛰어난 효능을 보이고 있으며 특히 정수처리 공정에서 문제시 되고 있는 동절기 암모니아성 질소제거 또한 큰 가능성을 보여주고 있다. 그 동안 외국기술에 전면 의존해 오던 생물 산화 여과방식의 국내개발은 비용 절감뿐만 아니라 국내 실정에 맞는 기술개발이라는 점에서 향후 그 적용 범위를 넓혀 갈 수 있을 것이다.

  • PDF

정수슬러지의 혼합비율 및 폐어망 보강에 따른 혼합토의 공학적 특성 (Engineering Characteristics of Mixtures according to Water Sludge Ratio and Reinforcing Waste Fishing Net)

  • 윤대호;김윤태
    • 한국지반환경공학회 논문집
    • /
    • 제14권4호
    • /
    • pp.29-37
    • /
    • 2013
  • 본 논문에서는 정수슬러지와 폐어망을 재활용하기 위하여 정수슬러지의 다양한 혼합비율(0%, 10%, 30%, 50%)과 폐어망 보강형식(무보강, 무처리된 폐어망, 본딩처리된 폐어망)에 따른 혼합토의 공학적 특성을 조사하였다. 무처리된 폐어망과 본딩처리된 폐어망을 혼합토에 보강하여 흙 입자와 폐어망 표면 사이의 억물림을 증가시키고자 하였다. 다짐시험, 삼축압축시험, 압밀시험, 투수시험과 용출시험과 같은 다양한 실내시험이 수행되었다. 시험 결과 정수슬러지의 혼합비율이 증가할수록 최대건조단위중량, 점착력, 내부마찰각 및 투수계수가 감소하였으나 최적함수비, 압축지수, 팽창지수 및 압축비는 증가하였다. 또한 폐어망 및 본딩처리된 폐어망이 보강됨에 따라 점착력 및 내부마찰각이 증진되었다. 용출시험 결과 환경부가 고시한 기준을 모두 만족하는 것으로 나타났다.