• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3127-3137
• /
• 1998

COBRA 표준명세는 표준을 만족하는 구현에서 제공해야 할 기능뿐만 아니라 서비스 제공 모듈의 사용자 인터페이스도 IDL을 사용하여 엄격하게 정의하고 있다. CORBA 표준에 대한 확신과 신뢰성을 가지기 위해서는 IDL(Interface Definition Language)로 기술된 표준명세를 정형화하고 수학적으로 엄격히 증명할 필요가 있다. 본 논문에서는 CORBA 표준을 정형적으로 명세하고 검증할 방법을 제시한다. 먼저 표준모듈을 Larch/CORBA IDL(LCB)를 사용하여 정형적으로 명세하고, LCB의 의미론에 준하여 LCB 명세를 LSL(Larch Shared language)로 변환한다. 변환한 LCB 명세와 LSL 증명논리를 사용하여 특성을 수학적으로 증명한다. 변환기반의 LCB 의미론을 정립하여 제안한 방법의 이론적 바탕을 마련하고 CORBA 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• 한국생약보
• /
• 245호
• /
• pp.2-2
• /
• 2001

제천약초 '생산 증명제' 도입 엄격한 품질관리와 선별포장

• 대한전자공학회논문지TC
• /
• 제38권11호
• /
• pp.1-8
• /
• 2001

본 논문에서 제안한 적응적 엄격 패킷 폐기 메커니즘은 사이클 사이의 트래픽 변화를 예측하여 혼잡제어를 위한 패킷 폐기를 적응적으로 처리할 수 있다. 따라서 제안된 메커니즘은 RIO 메커니즘의 단순 폐기율적용에 대한 단점을 보완하고, 동적 엄격 패킷 폐기 메커니즘(DSPD)의 예측 가능한 대역폭의 낭비를 최소화하였다. 시뮬레이션을 수행하여 망 트래픽의 상태에 따라 동적으로 변하는 전송가능 폐기순위에 따른 처리율과 패킷 폐기율을 RIO, DSPD 메커니즘과 비교 분석하였다. 시뮬레이션을 분석한 결과 제안된 메커니즘은 트래픽의 양에 상관없이 각 AF 클래스의 폐기순위를 엄격하게 적용하고 폐기순위에 따른 패킷 전송 능력을 RIO, DSPD에 비하여 개선하였음을 증명하였다.

• 정보처리학회논문지C
• /
• 제9C권5호
• /
• pp.783-788
• /
• 2002

적응적 패킷 폐기 기법과 비적응적 패킷 폐기 기법은 차별화된 서비스에서 사용하는 RIO 메커니즘보다 엄격한 패킷 폐기 기능을 제공한다. 특히 적응적 사이클 패킷 폐기기법은 사이클 사이의 트래픽 패턴을 분석하여 혼잡제어시에 패킷폐기를 적응적으로 처리함으로써 우선 순위 처리면에서 우수하다. 본 논문에서는 두 알고리즘에 대한 모델링을 제공하고, 망 트래픽의 상태에 따라 동적으로 변하는 전송가능 우선순위와 연계하여 시뮬레이션을 수행하여 처리율과 패킷 폐기율을 분석하였다. 분석을 통하여 두 알고리즘은 트래픽의 부하에 상관없이 RIO 보다 우선순위를 엄격하게 적용하고 우선순위에 따른 패킷 전송 능력이 개선되었음을 증명하였다. 특히 적응적 사이클 패킷 폐기 기법이 RIO 또는 비적응적 사이클 패킷 폐기 기법보다 엄격한 패킷 폐기 정책을 유지하고 우선순위 측면에서 보다 좋은 성능을 나타내었다.

• 항공우주기술
• /
• 제7권1호
• /
• pp.245-253
• /
• 2008

민간항공분야의 품질은 제품 및 공공의 안전을 유지하기 위해서 매우 중요하며, 항공기 설계와 생산 및 운항에 있어서도 엄격한 인증제도를 법적으로 규정하고 있다. 본 연구에서는 미국 FAA의 항공산업체의 품질시스템 평가프로그램인 ACSEP의 전반적인 검토를 통하여 항공기 및 항공부품에 대한 품질시스템 요구조건을 제시하고, 항공분야 품질시스템 평가에 대한 정책을 확인하였다.

• 한국전자파학회논문지
• /
• 제11권7호
• /
• pp.1156-1160
• /
• 2000

Feed-forward 기법을 사용하여 송신 전력 증폭기에서 RX 신호들을 제거하기 위한 제거 loop 회로를 제안하였다. 본 논문에서 제안한 제거 loop의 효과 증명하기 위해 WLL 대역 1W급 증폭기를 제작하였다. 다양한 무선 통신 시스템에서 제안된 제거 loop를 가진 전력 증폭기 모듈을 사용하면 절 엄격한 RX 대역 감쇠특성으로 인한 낮은 TX 경로 삽입손실을 갖는 duplexer를 재공할 수 있다. 이 실험은 RX 대역 제거 loop가 없는 전력 증폭기 모듈과 비교할 때 적어도 90%의 향상된 RX 주파수대의 제거 효과를 보인다.

• 한국멀티미디어학회논문지
• /
• 제10권1호
• /
• pp.83-93
• /
• 2007

널리 이용되고 있는 공정 큐잉 방식인 WFQ(Weighted Fair Queuing)는 특히 인터넷 전화와 같이 저속이지만 엄격한 지연한계를 요구하는 서비스에 대해 대역폭 이용도가 저하되는 문제점을 갖고 있다. 이러한 WFQ의 문제점은 흐름의 레이턴시가 최적화되지 못하기 때문에 발생하는 것으로 최근에 밝혀졌고, 이어서 최적레이턴시 기반 공정 큐잉 방식인 LOFQ(Latency-Optimized Fair Queuing)가 도입되었다. 본 연구에서는 LOFQ에 점유자원 최적화 기능을 추가하여 성능특성을 더욱 개선하고, 반복적으로 수행되던 LOFQ의 자원변환 알고리즘을 개선하여 수행 복잡성을 줄인다. 아울러 WFQ에 비해 대역폭 이용도가 우수함을 증명한다. 시뮬레이션을 통해 성능개선 효과를 확인한 결과 $20{\sim}30%$의 개선이 있었다.

• 월간당뇨
• /
• 통권217호
• /
• pp.21-23
• /
• 2007

당뇨병환자에서 혈당조절의 중요성은 '앙꼬 없는 찐빵' 또는 '김 없는 김밥'과의 관계와 같다. 당뇨병이 우리가 먹은 음식이 우리 몸에서 잘 활용되지 못하고, 소변으로 당이 넘쳐흘러서 나오는 현상을 보고 붙여진 이름인 것을 생각하면 둘 간의 관계는 땔래야 땔 수 없는 관계라 할 수 있습니다. 우리가 무서워하는 당뇨병의 합병증은 혈당조절을 잘 하게 되면 많은 부분 예방이 가능하다는 것을 알 수 있습니다. 제 1형 당뇨병의 대표적 연구인 DCCT 연구 결과를 보면 당화혈색소를 8.0%에서 7.2%로 낮추면 망막증의 진행을 40$\sim$50%를 줄일 수 있었습니다. 제 2형 당뇨병의 대표적 연구인 UKPDS연구는 당화혈색소 1%를 줄이면 미세혈관합병증은 37%, 심근경색은 14% 감소된다는 것을 확인해 주었습니다. 그 이외에도 많은 연구들에서 결과의 차이는 있지만 적극적이고 엄격한 혈당조절은 합병증의 발생을 예방하며, 발생된 합병증의 진행 속도를 늦출 수 있는 가장 효과적인 방법으로 증명하고 있습니다. 그런데 여러분들께서는 위에 언급한 '당화혈색소'를 알고 계십니까? 공복 혈당조절 목표를 알고 계십니까? 식후 혈당조절 목표를 알고 계십니까? 혹시 모르고 계시다면 100미터 출발 선상에서 출발 신호가 났지만 어디로 달려갈지 모르고 있는 것과 같습니다. 아무리 잘 달리고 훌륭한 선수라도 뛰어갈 방향을 모르고 있다면 좋은 성적을 낼 수 없는 것과 같습니다. 혈당조절의 중요성을 알고 관리 목표를 알고 현재 나의 수치를 그 목표를 행해 열심히 실행한다면 건강한 삶을 영위할 수 있습니다.

• 한국통신학회논문지
• /
• 제39A권1호
• /
• pp.43-49
• /
• 2014

본 논문은 최근 표준화가 진행 중인 광역 WPAN에서 주파수 옵셋에 강인한 최적화된 다중 비트 기반 디지털 FSK 수신기에 대해서 제안한다. 광역 WPAN FSK 표준에서는 기존보다 짧은 프리앰블을 사용하고 있으며, 통신반경이 늘어남에 따라 엄격한 BER 요구사항을 제시하고 있다. 이러한 요구사항을 만족하기 위해서 본 논문에서는 CFO가 있는 상황에서도 간단하면서 BER 성능을 만족할 수 있는 최적화된 디지털 FSK 수신기를 설계하였다. 시뮬레이션을 통해 광역 WPAN FSK 시스템에서 필요한 비트 수를 결정하고, 짧은 프리앰블을 사용함에도 CFO에 상관없이 요구 BER 성능을 만족시킬 수 있음을 증명하여 제안된 FSK 수신기가 최근 광역 WPAN 응용에 적절함을 보였다.

• 전기저널
• /
• 통권309호
• /
• pp.77-82
• /
• 2002

유도전동기(이하 $''$모터$''$라 한다)는 기본 원리가 19세기말에 발명된 이래 100년 이상의 역사를 갖고 있으며 그 동안 제조업의 기간동력으로 성장하여 왔고, 재료의 진보(코어, 전선, 절연 등)와 설계기술$\cdot$해석기술$\cdot$제조기술의 개발로 각 특성의 향상, 소형$\cdot$경량화, 고성능화가 도모되어 왔다. 그러나 최근의 지구온난화를 포함한 환경보호와 화석에너지 고갈위기감으로 에너지절약 움직임이 가속화되고 있어, 모터에 대해서도 고효율화의 요구가 높아가고 있다. 미국이나 캐나다에서는 규격이나 법률에 의한 모터의 효율규제가 실시되어, 특히 1997년 10월 24일에 시행된 미국에너지정책법(EPAct)은 미국 국내에서 제조$\cdot$판매 또는 해외로부터 수입되는 모터단체(단체)나 기계에 조립되어 있는 모터도 미국에너지정책법에서 규정하고 있는 효율기준치를 충족하지 못할 경우에는 벌칙이 부과되는 엄격한 실정이다. 일본에서는 종래 고효율모터의 효율기준치는 일본전기공업회 기술자료 제137호(성에너지를 위한 전동기의 선정과 운용)에 따르고 있었으나 미국에너지정책법을 기초로 새로히 일본공업규격(JIS C 4212)이 2000년 7월에 제정되었다. 미쓰비시(삼릉)전기는 일본의 JIS 규격과 EPAct법 양쪽의 효율기준치를 만족하는 고효율모터를 시리즈화하고 또한 미국에너지성의 적합증명번호(CC넘버)를 일본 국내 메이커로서는 처음으로 취득하였기에 다음에 고효율모터와 모터의 고효율화 기술에 대하여 소개한다.