• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2007년도 제19회 한글 및 한국어 정보처리 학술대회
• /
• pp.290-294
• /
• 2007

온톨로지가 점점 복잡한 스키마와 많은 인스턴스를 갖고있지만 아직까지 수천만개 이상의 인스턴스를 가지는 온톨로지에 대해서는 고려되고 있지 않은 현실이다. 인스턴스 생성 도구의 경우 독립적 인스턴스를 생성하거나 인스턴스 생성을 지원하는 기능에 초점을 두고 있다. 하지만 관리되는 인스턴스의 수가 늘어남에 따라 기존과 같은 인스턴스 생성 방법은 인스턴스간의 관계를 맺을 때 많은 어려움을 초래하게 된다. 따라서 우리는 계층적으로 인스턴스를 생성할 수 있는 히스토리 기반의 온톨로지 인스턴스 관리 도구를 구현하였다. 예를 들어 기존의 도구들은 도메인과 레인지로 연결된 두 클래스의 인스턴스간 관계를 맺을 때는 레인지에 해당하는 인스턴스가 존재할 경우에만 가능하다. 만약 인스턴스가 존재하지 않는다면 그에 해당하는 인스턴스 생성 작업을 먼저 거친 후, 다시 이전의 생성 작업을 되풀이해야한다. 이런 번거로움을 없애고자 우리는 히스토리를 통해 현재 뷰에서 흐트러지지 않고 새로운 인스턴스를 생성하고 자동 연결할 수 있는 기능을 제공한다. 히스토리를 제공하여 현재 작업하고 있는 상태를 사용자가 인지할 수 있으며 신규 생성되는 인스턴스들을 자동으로 연결할 수 있어서 복잡한 관계의 온톨로지 인스턴스를 생성하고 관리하는데 많은 도움을 준다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.577-580
• /
• 2005

본 논문에서는 임상의들의 진료데이터를 토대로 진료경로를 동적으로 생성하는 방법을 기술한다. 각 진료단계에서 추출된 규칙들을 토대로 진료경로를 생성하는데, 이를 위해 전자의무기록으로 구성된 임상 데이터를 기반으로 연관규칙마이닝을 이용하여 진료단계별 규칙을 추출하였다. 신뢰성 있는 진료경로의 추출이 이루어지면 의료 서비스의 질을 높이고, 병원 경영의 효율성 증대에 도움을 줄 수 있다.

• 대한기관식도과학회:학술대회논문집
• /
• 대한기관식도과학회 1995년도 이비인후과 종합학술대회 초록집
• /
• pp.89.1-89
• /
• 1995

근래에 장기간 보조 호흡이 많아지고 사고로 인한 기관손상이 증가함에 따라 기관 협착증의 빈도가 증가하고 있다. 기관 재건술에 사용하는 여러 조직 중에서 연골막은 유연하고 신생연골을 생성할 수 있으며 감염에 저항성이 있고 점막화가 빨라 이상적인 조직으로 알려져있다. 저자들은 실험동물로 각각 10마리의 가토를 사용하여 유리자가 이개연골막과 혈관경을 가진 자가이개 연골막을 이용한 기관재건술을 시행하고 8주후에 신생연골 형성능력을 정량적으로 비교 분석하여 다음과 같은 결과를 얻었다. 1) 기관 결손 부위는 두 실험군 모두에서 잘 재건되었다. 2) 이개연골막은 기관 결손을 재건하는데 유용한 조직임이 확인되었다. 3) 유리자가 이개연골막 이식군에서는 평균 0.15mm의 신생연골을 생성한 반면 혈관경을 가진 자가이개 연골막 이식군에서는 평균 0,45mm를 생성하여 더욱 효과적이었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.358-360
• /
• 2004

웹 응용은 현재 가장 빠르게 성장하고 있고 사회에 미치는 영향이 큰 분야이다. 잘 못 동작하는 웹 응용은 사회적은 큰 손실이 될 수 있다. 이에 웹 응용의 검증 방법의 중요성이 대두되고 있다. 검증 방법으로는 코드 분석과 테스팅이 있다 허나 시장에 제품이 출시되는 시간이 매우 짧고, 관련 기술의 발달이 빠른 웹 응용 개발의 특성상 코드 분석은 왜 정확한 검증 결과를 얻을 수는 있으나 적절하다고는 할 수 없다 따라서 테스팅을 검증 방법으로 사용하게 된다. 그렇다고 해도, 테스팅에 들이는 시간과 노력이 코드 분석과 비슷하다면 이 또한 적절한 검증 방법이라고 할 수 없다. 테스팅의 비용을 줄여 전체적인 개발 비용을 줄이는 것이 필요하다 테스팅의 비용은 테스트 케이스를 수행하는 시간과 테스트 케이스로 생성, 분석하는 시간으로 측정 가능하다. 이 논문에서는 이 시간들을 줄이기 위해 전체 웹 응용의 경로 중 사용빈도가 높은 경로를 테스트 케이스로 타여 테스트 케이스 실행 시간을 줄이고, 각 페이지에 안는 입력 값으로 빈도가 높은 사용자 세션 정보를 이용하여 테스트 케이스의 생성을 자동으로 할 수 있게 하여 테스터가 직접 테스트 케이스를 생성하는 것보다 시간을 줄였다.

• 한국정밀공학회지
• /
• 제14권1호
• /
• pp.69-77
• /
• 1997

본 논문은 금형의 마무리 연마 작업을 로봇을 이용하여 자동화하기 위한 오프라인 프로그래밍 시스템개발을 그 내용으로 하고있다. 3차원 자유곡면 형상을 갖는 금형을 연마하기 위한 로봇 작업 경로를 효율적으로 생성하기 위해서는 기존의 교시 방법이 아닌 CAD시스템과 연계된 시뮬레이션 방식의 자동 경로 생성 방법이 요구된다. 본 연구에서 개발된 금형 연마 작업을 위한 오프라인 프로그래밍 시스템은 연마 작업 시뮬레이션을 위한 기하학적 모델링 기능, 로봇의 작업 공간을 고려한 작업장 배치 기능, 연마 로봇의 효율적인 기구학 해, 3차원 그래픽 시뮬레이션, 3차원 물체간의 충돌 검사 기능 및 유기적인 관계형 데이타 베이스 기능 등으로 구성된다. 본 시스템의 시뮬레이션 결과를 로봇의 위치 보정 과정을 거쳐 로봇 작업 프로그램 으로 변환함으로써 최종적으로 실제 연마 작업이 가능한, 정확하고 안전한 로봇 프로그램을 생성하였다.

• 전기의세계
• /
• 제44권1호
• /
• pp.5-9
• /
• 1995

본고에서는 최근 활발하게 연구되고 있는 지연시험에 대해서 지연고장모델, 지연테스트의 종류, 여러 자동 테스트 생성 기법, 고장시뮬레이션 방법들에 대해서 살펴보고자 한다.

• 대한치과교정학회지
• /
• 제28권4호
• /
• pp.611-626
• /
• 1998

이 연구는 염증반응에서 $IL-1{\beta}$의 생성을 관찰하고, $IL-1{\beta}$가 조직에 미치는 효과를 관찰하여 염증반응에서 $IL-1{\beta}$의 역할을 검토할 목적으로 시행되었다. 실험동물은 웅성과 자성 마우스 각각 100마리를 대상으로 하였으며, 다음의 3단계 실험을 수행하였다. 1. 리포다당(lipopolysaccharide, LPS)에 의한 염증발현 시스템을 확립하기 위한 면역 B-세포에 대한 영향평가, 세포독성 없이 최대의 $IL-1{\beta}$를 생성할 수 있는 LPS의 양 결정 및 LPS투여로 생성되는 조직의 $IL-1{\beta}$를 동정하는 실험의 결과, LPS는 B-림포세포의 활성을 농도 의존적으로 높였으며, 10-50${\mu}g$ 투여로 세포독성 없이 $IL-1{\beta}$를 최대로 생성함을 나타냈고, 여러 장기의 조직 에서 $IL-1{\beta}$를 생성시키나 특히, 구강조직과 관절활액세포에서 많은 양을 생성함을 확인하였다. 2. 관절강에 50${\mu}g$의 LPS를 투여하고 $IL-1{\beta}$와 $TNF_{\alpha}$의 경시적 생성량 변화를 관찰하는 실험에서, $IL-1{\beta}$는 투여 2시간 후에 증가되기 시작하여 4-5시간 경과 후에 최고농도에 도달하고, 점차 감소하여 24시간 경과 후에는 미량만이 존재하였으며, $TNF_{\alpha}$는 투여 1시간 경과 후에 증가되기 시작하여 2-3시간 경과 후에 최고농도에 도달하고, 그 이후에 감소되기 시작하여 6시간 경과 후에는 미량만이 검출되었다. 3. $IL-1{\beta}$를 정상조직에 투여하여 $IL-1{\beta}$의 효과를 관찰한 실험에서, 관절강에 투여하여 leucocyte의 수가 투여 4-5시간 경과 후에 최고치에 도달하고 36시간 경과 후에 대조군 수치에 도달하였으며, 세포기질인 proteoglycaqn의 소실은 15시간 경과 후 시작되어 45-60시간 경과 후에 최대이었고, 90시간 경과 후에 대조군 수치로 복귀함이 관찰되었으며, 구강조직에 투여하여 cyclooxigenase 대사산물(prostandin $E_2$)의 축적이 일정농도 한계에서는 농도 의존적으로 증가함을 나타냈다. 이상의 결과로부터 LPS로 유도된 마우스 관절염 활액에서 $IL-1{\beta}$는 염증반응 초기의 수 시간이내에 생성되어 4-5시간 경과후에 최대양이 생성되며, 염증 조직에서 leucocyte(염증세포)의 침윤, proteoglycan의 소실 및 cyclooxygenase 대사산물($PGE_2$)의 축적을 유도하는, 즉 염증반응을 중재하는 사이토카인 중의 하나임이 확인되었다.

• 한국항공우주학회지
• /
• 제37권12호
• /
• pp.1217-1224
• /
• 2009

고정익 항공기가 3차원의 복잡한 경로를 추종하기 위해 필요한 비교적 간단하며 효과적인 유도 제어 방법을 제시한다. 소개되는 방법은 비선형 경로 추종 유도 기법을 외부 루프로 사용한다. 외부 루프는 원하는 경로와 함께 항공기의 현재 위치와 속도를 바탕으로 비행 경로를 변화하기 위한 가속도 명령을 생성한다. 가속도 명령은 중력과 벡터적으로 결합되어 Specific Force Acceleration을 만든다. 이렇게 생성된 Specific Force Acceleration은 내부 루프를 위한 명령으로 쓰이는데, 이는 항공기가 가속도 자체보다는 Specific Force Acceleration을 더 직접적으로 제어할 수 있기 때문이다. 나아가 배면 비행이나 Slow Roll, Knife-Edge 등과 같은 옆미끄럼짐 기동을 하기 위해 필요한 롤 자세 제어 기법도 제시한다. 마지막으로 표준이 되는 여러 가지 곡예비행 경로들에 대한 시뮬레이션을 수행함으로써 제시된 기법의 성능을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.381-382
• /
• 2009

본 논문은 고령자 및 장애인의 안전한 이동을 지원하기 위한 지능형 휠체어에서의 자동 장애물 감지 및 회피 기술을 개발한다. 이때 다양한 환경에서의 장애물을 정확히 감지하고 회피하기 위하여 학습을 이용한 비전 기반의 경로 선정 방법이 제안 된다. 제안된 시스템은 배경 분류기, occupancy grid map 생성기, 경로 선정기로 구성되며, 경로 선정 시 강건한 장애물 검출을 수행하기 위해 입력 영상을 occupancy grid map으로 변환하고, K-means clustering 알고리즘을 이용하여 생성된 대표 템플릿들과 비교하여 이동 가능한 방향을 선정한다. 제안된 시스템의 효율성을 증명하기 위해 다양한 형태의 장애물을 포함하는 실내 및 실외에서 실험한 결과 81.7%의 정확도를 보였으며, 지능형 휠체어 사용자에게 안전한 이동성을 제공 할 수 있음을 증명 하였다.