• 동물약계
• /
• 72호
• /
• pp.2-2
• /
• 2000

[ $\cdot$ ]동물용의약품등 제조업 허가 변경 $\cdot$동물용의약품등 수입자 확인 $\cdot$동물용의약품등 수입자 변경 확인 $\cdot$동물용의약품등취급규칙 개정 $\cdot$동물용의약품등제조$\cdot$검사시설및품질관리기준 제정(안)에 대한 의견 조회 $\cdot$동물약사감시요령 개정(안)에 대한 의견 조회 $\cdot$항생물질 국가검정 폐지에 따른 제품표시 방안 $\cdot$뉴캣슬병 예방약 검정기준항목 국가검정 실시

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 춘계학술발표논문집
• /
• pp.239-242
• /
• 2003

Scale down으로 인해 부족해진 overlay margin을 통해 충분히 확보해주고, 이와 동시에 attPSM(attenuated phase shift)의 사용으로 발생하는 side-lobe 현상을 억제하기 위한 방법으로 rule-based OPC(optical proximity correction)룰 사용하여 side-lobe만을 효과적으로 추출한 후, 그 자리에 scattering bar를 삽입하였다. 그리고 ORC(optical rule checking)를 통해 original layout과 aerial image의 EPEs(edge placement errors)를 검사하여 검증에 걸리는 시간을 감소시켰다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2008년도 추계학술대회
• /
• pp.517-526
• /
• 2008

This paper introduces fourteen single, double, multiple and sequential acceptance sampling plans based on switching rule. Revised KS standards for acceptance sampling by attribute and by variable such as KSA ISO 2859-0, 1:2001 2859-2:2001, 8422:2001, 3951:2006, 8423:2001, MIL-STD-105E:1989, 414:1968 and ANSI/ASQ Z1.4, Z1.9:2003 are presented.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.227-229
• /
• 2023

해상을 통해 반출입되는 항만 컨테이너는 선박과 항만에서의 안전사고를 예방하기 위해 국제해상위험물규칙의 규정을 준수하였는지 검사하고 컨테이너의 안전성을 점검한다. 하지만 지금까지의 컨테이너 및 위험화물의 검색은 대부분 사람에 의한 수동 운용으로 이루어지고 있어 향후 자율운항선박의 도래에 따른 자동화 항만을 위해서는 자동화된 검색 기술과 더불어 대상 컨테이너의 무인 자동화 검색이 가능하도록 운영이 될 필요가 있으며, 보다 진보적이고 효과적인 컨테이너 검색기술을 활용하기 위해 컨테이너 검색정보 표준을 개발하여 컨테이너 보안검색의 효율성 및 검색 활동에 대한 업무 비효율적인 문제를 해결하고자 한다.

• 월간 기계설비
• /
• 통권295호
• /
• pp.90-92
• /
• 2015

대한설비건설협회(이하 협회)는 건축물 도시가스 매립배관 설치 시 과도한 수수료 발생 문제를 지속적으로 건의한 결과 세대수에 따라 최대 84%까지 수수료를 낮추는 성과를 거뒀다. 가정에서 가스를 사용할 때 전기처럼 '콘센트'에 커플링식으로 접속해 쓰도록 하는 건축물 도시가스 매립배관 설치 규정은 건축물 미관과 범죄 방지를 위해 지난 2013년 7월 25일 도시가스사업법 시행규칙 개정에 따라 제도가 마련됐으나, 세대당 부담해야 하는 완성검사 및 기술검토 수수료가 지나치게 높게 책정됨에 따라 가스기기 사용확대라는 기대효과보다는 오히려 전기사용이 더 유리하게 되고 말았다는 지적이 끊이지 않았다. 이에따라 협회는 공동주택 세대수에 따른 수수료를 개정해줄 것을 지속적으로 건의해 왔고 산업통상자원부는 지난 1월 12일 검사수수료 고시를 통해 공동주택 세대수에 따른 수수료를 개정했다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2004년도 춘계학술대회 논문집
• /
• pp.57-62
• /
• 2004

그레이팅(Grating)이라는 금속제품을 생산하는 5 업체에서는 설계 자동화 시스템인 GDS(Grating automatic Drawing System)를 통해 전체 설계도면(Plan Drawing)을 생성하고 GDS의 도면자료 자동생성 시스템(ASGS: Automatic Specification Generation System)을 통해 전체 도면상에 배치된 각각의 그레이팅에 대한 상세한 정보가 표현된 단품별 도면과 완성된 제품들에 대한 검사 기준을 표현한 검사도면을 생성하며 전체 제품에 대한 통계적인 정보를 생성한다. 그러나 도면자료 자동생성 시스템을 통해 자동 생성된 도면은 설계자들의 일반적인 치수 기입요령을 부분적으로 만족시키지 못하고 있으며 또 치수 표시간의 겹침 현상이 발생하여 설계자가 도면을 수정해야하는 번거로움이 있었다. 본 논문은 이러한 문제점을 해결하기 위해, 설계 전문가들의 치수 표시법을 지식으로 하는 규칙 기반 전문가 시스템을 구성하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 대한임상검사과학회지
• /
• 제56권2호
• /
• pp.105-114
• /
• 2024

임상검사실은 질관리 시스템(quality management system)을 구축하여 일정 수준 이상의 질 확보를 위해 노력하여야 한다. 그러나 검사실 환경은 매우 복잡하여 단일 정도관리 절차로는 다양한 유형의 오류를 감지하는데 충분하지 않을 수 있다. 환자 기반 실시간 정도관리(patient-based real-time quality control, PBRTQC)는 테스트 과정을 모니터링하기 위한 검사실 도구로써 Bull's 알고리즘, 정상치 평균, 이동 중앙값, 이동평균, 지수가중이동평균과 같은 알고리즘이 활용되고 있다. PBRTQC는 저렴한 비용, 교환 가능성, 지속적인 실시간 성능 모니터링, 분석 전 오류에 대한 민감도 등 기존 정도관리에 비해 많은 이점이 있다. 그러나 PBRTQC는 통계 알고리즘의 선택, 적절한 규칙과 프로토콜의 설계, 성능검증 등을 고려해야하므로 구현하기가 쉽지만은 않다. 본 리뷰에서는 PBRTQC의 기본 개념과 방법 및 절차에 대해 설명하였으며, 이를 통해 환자 기반 정도관리 시스템 구현을 위한 지침을 제시하고자 하였다. 이에 기존의 내부정도관리의 성능이 제한적일 경우 PBRTQC 절차를 병용하는 것을 제안하고자 한다. 본 리뷰에서는 임상적 평가는 배제되었으며, 향후 이에 대한 평가가 요구된다.

• 한국인구학
• /
• 제27권2호
• /
• pp.231-255
• /
• 2004

본 연구의 목적은 경상북도 경산지역에 거주하는 65세 이상 노인들의 치매실태를 알아보고 치매노인들의 인구학적 특성 및 생활 습관적 특성을 알아보는데 있다. 본 연구에서는 모집단의 약 6%에 해당하는 1,120 명을 표본으로 추출하여 한국형 간이정신상태 검사를 포함한 면담표를 이용하여 2003년 8월 1일부터 2003년 9월 2l일까지 수행되었다. 면담에 응하지 않거나 분석 자료로 활용할 수 없는 160 사례를 제외한 960 사례가 최종분석에 이용되었다. 본 연구에서 밝혀진 내용은 다음과 같다. 한국형 간이정신상태 검사에 따르면 응답자들의 10.6%가 치매에 이환된 것으로 나타났으며 그들 가운데 54.9%는 경증, 31.4%는 중등증, 13.7%는 중증이었다. 치매노인들의 인구학적 및 생활 습관적 특성을 알아보기 위하여 교차분석을 도입하였으며 치매에 영향을 미치는 인구학적 및 생활 습관적 특성들을 경험적으로 규명하기 위하여 로지스틱회귀분석을 사용하였다. 로지스틱회귀분석 결과 정신노동에 관련된 직업에 종사했던, 규칙적인 운동을 하는 응답자, 규칙적 식사를 하는 사람과 적당량의 음식을 섭취하는 응답자들이 치매이환의 대수승산을 감소시키는 것으로 밝혀졌으며 통계적으로 유의미한 것으로 나타났다. 반면 나이가 높을수록 노인들의 치매이환의 대수승산을 증가시키는 것으로 밝혀졌다. 끝으로 노인들의 치매이환을 감소시키기 위한 여러 가지 정책적 대안들을 논의하였다.