• 전력전자학회논문지
• /
• 제8권4호
• /
• pp.344-350
• /
• 2003

본 논문에서는 스위치드 릴럭턴스 모터의 새로운 회전자 초기 위치 추정법을 제안한다. 회전자의 위치검출을 하기 위하여 서치 코일을 사용하는 경우 센서비용감소, 부피감소, 강인성 증대, 사용범위의 확대 등 많은 장점이 있다. 그러나 모터의 회전자가 초기에 회전하지 않기 때문에, 서치코일에 유기되는 기전력이 존재하지 않아 회전자의 초기 위치검출에 어려움이 있었다. 본 논문에서는 유클리디안 제곱거리(Squared Euclidean Distance)를 사용하여 초기에 회전자가 정지해 있을 경우에도 회전자의 위치를 정확하게 추정하는 방법을 제시하였다. 이를 위하여 시뮬레이션을 실시하였고 이를 토대로 실험한 결과 정확한 초기 회전자 위치를 추정함으로써 본 논문에서 제시한 방법의 타당성을 검증하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.721-724
• /
• 2010

아웃리거 시스템은 고층건물의 구조설계 시에 횡변위를 제어하기 위해 사용되는 가장 효율적이고 널리 사용되는 구조시스템 중 하나이다. 아웃리거는 설치 위치의 최적성에 따라 횡변위 제어효과에 상당한 차이가 있으며, 1970년대 이후부터 아웃리거의 최적위치에 관한 연구가 활발히 진행되어 왔다. 아웃리거의 최적위치는 구조물의 전단벽, 아웃리거, 외각기둥의 요소간 강성비에 따라 변하는 값이므로, 아웃리거 시스템의 횡변위는 요소간 강성비와 아웃리거 위치 모두에 의해 영향을 받는다. 따라서 초기구조설계 단계에서 아웃리거의 위치에 대한 결정과, 각 요소간 강성비의 선택은, 전체 구조 시스템의 효율성에 상당한 영향을 미치게 된다. 하지만 아웃리거 시스템의 최적 효율을 보장하면서, 구조물의 초기 설계 시에 참고할 수 있는, 아웃리거의 최적위치와 요소간 강성비에 대한 연구는 미흡한 실정이다. 따라서 본 연구에서는 GA(genetic algorithm)을 이용하여 초기 설계 시에 참고할 수 있는 고층건물의 횡변위를 최소로 하는, 아웃리거의 최적 위치 및 요소간 강성비에 대한 연구를 진행하고자 한다. 이를 위해 시공된 예제 건물에 적용을 통해 그 효과를 검증해 본다.

• 천문학회보
• /
• 제37권2호
• /
• pp.187.2-187.2
• /
• 2012

다목적실용위성 3호는 2012년 5월 발사되어, 위성 기능점검을 위한 시험을 성공적으로 완료하였다. 위성발사이후 태양전지판 전개를 포함하여 장착된 모든 전장품(Unit)을 순차적으로 모니터링하면서 관련 명령어를 송신하고, 이후 송신된 명령어에 대한 수행여부를 모니터링하며 전장품의 정상 동작상태를 판단하게 된다. 위성상태의 모니터링은 상태 디스플레이 페이지(AND, AlphaNumeric Display), 각종 이벤트 디스플레이 및 위성에서 수신한 덤프 데이터 디스플레이 등을 통해서 수행한다. 이러한 위성의 상태정보는 지상의 엔지니어가 신속하면서 정확한 판단을 수행할 수 있도록 정확한 정보를 가독성있게 디스플레이해야할 필요가 있다. 또한, 위성교신 이후에는 위성에서 저장된 상태정보를 수신하여 비실시간 위성상태 데이터를 분석하는 작업을 수행한다. 이때, 엔지니어가 필요로 하는 상태정보 아이템을 자신이 원하는 형태로 추출할 수 있어야 한다. 이러한 필수 기능들은 시스템의 안정성을 기반으로 동작하여야 한다. 이와 같은 시스템이 운영될 수 있도록 초기운영 이전에 안정화 및 검증 작업을 수행하였으며, 초기운영 기간에도 정상운영 단계에서 임무관제국의 운영요원이 용이하게 위성의 상태를 모니터링할 수 있도록 위성상태정보에 대한 데이터베이스와 오류 감지 능력을 포함하는 위성상태 표출 기능을 최적화 하는 작업을 수행하였다. 임무관제국에서 개발된 위성상태모니터링 시스템을 통하여 안정적으로 다목적실용위성 3호의 초기운영에 대한 실시간 모니터링 및 비실시간 데이터 분석 작업을 수행하였다. 또한, 초기운영기간동안의 최적화 작업을 통하여 정상운영기간 동안 운영요원이 용이하게 오류 감지를 수행할 수 있도록 시스템을 지속적으로 개선하였다.

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

최근 SoC를 포함하는 대부분의 임베디드시스템에서는 RTOS가 선택이 아닌 필수적인 구성요소가 됨에 따라 SoC 개발의 초기단계에서부터 RTOS를 도입하는 것이 바람직하다. 하지만, 기존의 범용 RTOS가 제공하는 기능은 대부분 응용 소프트웨어의 개발과 수행을 위한 것으로 SoC 개발 및 검증에는 적합하지 않은 문제점을 가지고 있다. 본 연구에서는 SoC 개발을 위해 운영체제가 만족시켜야할 요구사항을 제시하고, 소프트웨어의 재사용성과 SoC의 검증을 함께 지원하는 VPOS(Verification-Purpose OS)를 개발하였다. VPOS는 초경량의 단순한 계층적 구조(layered structure)를 가지는 RTOS로서 소프트웨어 재사용을 위해 POSIX 표준 API, 유닉스 호환 디바이스 드라이버 인터페이스, HAL 등을 제공한다. 또한 SoC 설계의 검증을 위해 RT 수준의 통합시뮬레이션에 적합한 커널 구조 및 최적화된 코드, 하드웨어 테스트를 위한 쉘 명령어, 응용 소프트웨어의 디버깅을 위한 KREM(kernel resource and event monitoring) 등의 특징을 함께 제공한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1633-1636
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생 되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• 한국멀티미디어학회논문지
• /
• 제3권1호
• /
• pp.77-90
• /
• 2000

실시간 검증은 명세와 요구사항과의 논리적 정확성 뿐만 아니라 시간적 정확성을 확인하는 일련의 과정이다. 하지만 시간의 무한성에 의해 시스템 상태가 무한히 증가할 수 있는 상태 폭발 문제가 검증과정에서 중요한 문제점이 되고 있다. 본 논문에서는 형식 검증에 기반을 두며, 시스템의 행위 측면을 시간 오토마타로 기술한 시스템 모델이 Timed mu-calculus로 표현된 시스템의 특성에 만족하는지의 여부를 통해 명세의 완전성을 확인하는 실시간 검증 비법을 기술한다. 이를 위해 초기상태의 논리값에 초점을 두어 검증과정에서 필요로 하는 노드로만 Product Graph를 구성하여 노드 값을 결정해나가는 지역모형검사 기법에 대해 제안한다. 이 방법은 모델의 모든 상태를 조사하지 않으므로 상태 폭발 문제를 최소화 시킬 수 있어 실시간 시스템 검증에 효과적으로 적용이 가능하다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• 천문학논총
• /
• 제6권1호
• /
• pp.1-15
• /
• 1991

원반 및 해일로의 이중역 (two-zone) 모형을 바탕으로하여 나선은하의 화학적 진화 모형을 만들었다. 모형의 검증을 위하여 구체적인 수치계산을 수행하고 그 결과를 태양 부근에서 관측된 중원소 분포 등, 화학적 진화와 관련된 제반 관측 사실과 비교함으로써 은하계의 진화를 추론하였다. 모형의 수치계산 결과에 의하면 나선은하의 화학적 진화는 헤일로외 붕괴 과정과 별탄생율에 크게 의존하며, 원반의 초기질량함수와 별탄생율에 따라 서로 다른 양상을 보인다. 태양 부근 원반의 중원소 분포 등을 성공적으로 설명할 수 있는 진화 모형에서, 별탄생율은 가스의 질량 또는 표면밀도의 멱승에 비례하거나 시간에 따라 단조 감소하는 지수함수로써 표현되며, 초기질량함수는 헤일로에서는 다양한 형태의 함수 모두로써 가능하지만, 원반의 경우에는 시간에 따라 변화하는 질량함수를 채택하여야 한다. 우리 은하의 헤일로의 고속붕괴 모형에서는 시간에 따라 지수함수로 변화하는 별탄생율이 관측과 부하되지만, 반면 저속붕괴의 경우에는 가스 질량의 멱함수로 표현되는 별탄생율이 관측과 부합된다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(상)
• /
• pp.112-115
• /
• 2003

모듈러 멱승은 주어진 값 X, E, N에 대하여 X$^{E}$ mod N으로 정의된다. 모듈러 멱승은 대부분의 공개키 암호시스템과 전자서명에 사용되므로, 이 연산을 빠르게 수행하는 문제는 암호학 분야에서 중요하게 연구 되고 있다. 모듈러 멱승을 계산하기 위해 가장 많이 사용되는 효율적인 알고리즘은 VLNW방법이다. 그러나 이 방법은d, q 인자를 고정시키기 때문에 제한적인 결과를 제공한다. 일반화된 그래프 모델은 VLNW방법의 f 인자를 제거하여 그 성능을 향상시켰다. 그러나 고 인자는 여전히 VLNW방법과 동일하게 고정되어 있다. d 인자는 초기 블록 테이블을 결정하는 인자로써, 이것을 확장할 경우 천 처리 시간이 기하급수적으로 증가하게 된다. 그러나, 본 논문은 전 처리 시간의 기하급수적인 증가를 저지하면서도 고 인자를 확장하기 위해서 초기 블록 테이블을 만드는 몇 가지 효율적인 방법을 제시한다. 이 방법은 VLNW 방법과 일반화된 그래프 모델보다도 효율적이며, 그 성능은 실험을 통하여 검증하였다.

• E2M - 전기 전자와 첨단 소재
• /
• 제6권2호
• /
• pp.137-146
• /
• 1993

유한요소법을 이용하여 반도체 해석을 하는 경우 국부적인 overshoot, 진동 및 해의 발산등의 문제점등이 발생하기 쉽다. 이는 지배방정식의 특성에 좌우되는 경우가 많은데 특히 반도체 전류연속 방정식을 처리하는 데는 그 해석이 매우 불안정하다. 본 연구에서는 유한요소법을 반도체 해석에 적용하는 경우 해의 발산원인을 적용 방정식의 수치적 안정도 검사에 의하여 도출하였으며 이 요인이 요소상수 m의 값에 좌우됨을 밝혔다. 또한 요소상수가 후치조작에 의해서만 계산될 수 있는 단점을 보완하기 위하여 적응요소법을 도입하여 프로그램으로 구현함으로써 임의의 초기 요소망과 초기치에 대해서도 자동적으로 해의 수렴을 얻을 수 있는 적응해석 프로그램을 개발하였다. 본 프로그램의 효용성을 검증하기 위하여 GaAs MESFET 모델을 선정하여 계산하였고 산출 결과를 검토해 본 결과 임의의 초기치에 대해서도 강인한 수렴성을 얻을 수 있었으며 요소 분할이 필요한 부위에만 집중됨으로써 비교적 적은 수의 요소만으로도 해를 얻을 수 있음을 확인하였다.