• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• 에너지공학
• /
• 제15권1호
• /
• pp.35-44
• /
• 2006

본 연구에서는 비등열전달 과정동안, 초음파 진동이 열전달 과정에 미치는 영향에 관하여 실험적으로 조사해 보았다. 실험은 등온가열조건하에서, 40kHz의 초음파 진동을 가진한 경우와 가진하지 않은 경우로 나누어 비등과정동안의 온도분포를 측정하였고, 대류상태와 과냉상태 그리고 포화상태에서의 열전달계수를 측정하여 열전달 향상율을 비교하여 보았다. 또한, 하이드로폰을 이용하여 초음파 가진시 매질내에 발생하는 음압분포를 측정하고 열전달 향상율과 비교하여 보았다. 실험결과, 비등열전달 과정에 초음파 진동을 가진한 경우, 가진하지 않은 경우와 비교하였을 때 열전달계수가 높게 나타나는 것을 확인하였으며, 특히 대류상태에서 열전달계수가 급격하게 증가하였다. 또한, 초음파 진동의 가진으로 인해 형성되는 음압은 진동자가 부착된 지점에서 주위보다 상대적으로 높게 형성되는 것을 실험적으로 확인하였으며, 초음파 진동으로 인해 형성된 높은 음압이 열전달 향상율에 영향을 미치는 원인의 하나로 작용하고 있음을 알 수 있었다. 결국, 초음파 진동에 의해 매질내에 발생하는 음압은 열전달 향상과 밀접한 관련이 있다고 사료된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.610-612
• /
• 2001

시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

• 정보처리학회지
• /
• 제18권1호
• /
• pp.33-42
• /
• 2011

컴포넌트의 외부 행위는 파라미터를 가진 인터페이스로 정의된다. 소프트웨어 개발자는 컴포넌트를 테스트하기 위해 인터페이스를 통해 각기 다른 파라미터의 값을 반복적으로 입력하고, 입력값에 따른 출력값을 관찰한다. 테스팅에 소요되는 시간을 줄이기 위해 테스트 케이스를 자동으로 실행하는 테스팅 자동화 도구가 효율적이지 않은 테스트 시퀀스를 수행한다면 테스팅 자동화의 효과는 줄어든다. 유한 상태 머신을 기반으로 하는 기존의 테스트 시퀀스 생성 기법들은 파라미터를 가진 인터페이스 테스팅에 최적화된 테스트 시퀀스를 제공하지 않는다. 이 연구는 컴포넌트 인터페이스를 파라미터를 고려한 상태 모델로 표현하고 최적의 시퀀스 생성 기법을 제안한다. 최적의 시퀀스 생성 기법은 파라미터를 가진 상태 기반의 행위 모델에서 특정 간선을 원하는 회수만큼 수행을 보장하는 시퀀스를 생성하며, 생성된 시퀀스는 최적의 테스트 수행 시간을 갖는다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2011년도 추계학술대회 논문집
• /
• pp.471-474
• /
• 2011

본 논문에서는 이러한 문제점을 해결하기 위해서 발전기 고정자의 가진 주파수의 거동패턴을 모델링하고 거동패턴의 위상변화를 학습패턴으로 만들어 오류 역전파 알고리즘으로 학습시킴으로써 고정자 권선 단말부에 대한 상태 감시한다. 고정자 모사장치를 구성하고 장치로부터 가진 데이터를 획득하여 실험한 결과 가진 주파수에서 일정한 형태의 거동패턴을 보였으며, 거동을 학습패턴으로 만들어 오류 역전파 알고리즘에 적용한 결과 뛰어난 성능을 보였다.

• Journal of Oral Medicine and Pain
• /
• 제26권1호
• /
• pp.51-58
• /
• 2001

다양한 자세에서 교합장치의 두께가 저작근에 미치는 영향을 근전도학적으로 평가하고자, 측두하악장애의 징후와 증상이 없고 정상교합을 가진 성인 8명을 대상으로, 교합장치를 장착하지 않은 상태에서와 4.3, 6.0, 8.1mm 두께를 가진 교합장치를 장착한 상태에서 직립위, 식사위 그리고 앙와위에서 최대 이악물기 상태의 좌, 우측 교근 몇 전측두근의 근활성도를 채득, 분석하여 다음과 같은 결과를 얻었다. 1. 전측두근에서는 교합장치를 장착하지 않은 상태보다 교합장치를 장착한 상태에서 근활성이 유의하게 감소하였고 (p<0.05), 교근에서는 차이가 없었다. 2. 직립위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 3. 식사위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 4. 앙와위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 4.3, 6.0, 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05).

• 전기의세계
• /
• 제43권10호
• /
• pp.5-9
• /
• 1994

인텔리전트 빌딩이라 함은 말 그대로 해석하자면 지능을 가진 건물이라고 할 수 있지만 인공지능(Artificial Intelligence)이 갖추어진 건물이라기보다는 현재 상태의 기술이 집대성된 건물이라고 볼 수 있다. 즉 건축이 모든 산업의 기술이 접목되어 있는 종합기술이듯이, 인텔리전트 빌딩도 과학기술의 발전에 따라 생활 패턴이 변화되어 새로운 기술을 가진 제품이 건물에 총망라되고 서로 연결되어 마치 지능을 가진듯이 서로 유기적으로 모든 것이 움직이는 건물을 일컫는다고 할 수 있다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2010년도 제39회 하계학술대회 초록집
• /
• pp.214-214
• /
• 2010

단위면적 당 메모리 집적도를 높이기 위해 플래시 기억소자의 크기를 줄일 때, 셀 사이의 거리의 감소에 의한 간섭효과가 매우 커져 소자 크기의 축소가 한계에 도달하고 있다. 이러한 문제점을 개선하기 위해 본 연구에서는 fringing field 효과를 이용한 SONOS 구조 게이트 위에 금속 공간층을 가지는 플래시 메모리 소자를 연구하였다. 소자에 소스와 드레인에 도핑을 하는 공정단계를 거치지 않아도 되는 fringing field 효과를 이용한 SONOS 구조를 가진 기억소자에서 트랩층 양 쪽에 절연막을 증착하고 게이트 외측으로부터 트랩층 양 쪽 절연막까지 금속을 증착시켜 금속 공간층을 형성하였다. 게이트에 전압을 인가할 때 트랩층 절연막 외측의 금속 공간층 영역에도 동시에 전압이 인가되므로 게이트가 스위칭 역할을 충분히 하게 하기 위해서 트랩층 양 쪽 절연막 두께를 블로킹 산화막 두께와 같게 하였다. 소자의 누설전류를 감소하기 위하여 채널 아래 부분에 boron으로 halo 도핑을 하였다. 제안한 기억소자가 fringing field 효과에 의해 동작하는 것을 확인하기 위하여 Sentaurus를 사용하여 제시한 SONOS 구조를 가진 기억소자의 전기적 특성을 조사하였다. 시뮬레이션을 통해 얻은 금속 공간층이 있을 때와 없을 때에 대한 각 상태에서 같은 조건으로 트랩층에 전하를 트랩 시켰을 때 포획된 전하량이 변하였다. 각 상태에서 제어게이트에 읽기 전압을 인가하여 전류-전압 특성 곡선을 얻었으며, 각 상태에서의 문턱전압의 변화를 통해 금속 공간층이 있을 때 간섭효과가 감소하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2018년도 춘계 종합학술대회 논문집
• /
• pp.359-360
• /
• 2018

본 연구에서는 무릎 보조도구를 착용하지 않은 상태와 착용한 상태에서 앉았다 일어서기 동작 시의 무릎 근육의 활성도 차이를 비교하여, 착용형 무릎 보조도구가 무릎 뼈관절염을 가진 노인들의 하지 근육의 근 활성도에 미치는 영향을 알아보았다. 그 결과, 무릎 보조도구를 착용하지 않은 상태에 비해 보조도구를 착용한 상태에서 안쪽넓은근과 가쪽넓은근의 근 활성도가 통계적으로 유의하게 감소한 것으로 나타났다. 이를 통해, 무릎 보조도구가 앉았다 일어서기 동작 시 하지 근육을 보조하여 근 활성도를 감소시키는 등 무릎의 뼈관절염을 가진 노인들의 일상생활 보조에 유용할 수 있는 가능성을 확인할 수 있었다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2002년도 하계학술발표회
• /
• pp.160-161
• /
• 2002

양자 암호화 키 분배 시스템에서 광자를 code화시키는 방법은 크게 편광coding과 위상 coding으로 대별할 수 있다. 또한 프로토콜은 4개의 상태를 가진 BB82 프로토콜과 2개의 상태를 가진 B92 프로토콜을 사용한 시스템을 많이 연구하고 있다. 본 연구는 B92프로토콜을 적용한, 위상 coding 양자 암호화 키 분배 시스템의 구성에 필요한 위상 변조기에 대한 비교 검토 및 위상 변조기 설계에 관한 것이다. (중략)