• The Transactions of the Korea Information Processing Society
• /
• v.5 no.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 이름서비스명세에 실제 적용하여 그 효용성을 보인다.

• The Hankook-Saengyark Bo
• /
• no.245
• /
• pp.2-2
• /
• 2001

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

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.38 no.11
• /
• pp.1-8
• /
• 2001

Adaptive and Strict Packet Dropping mechanism we proposed in this paper drops adaptively packets for the congestion control, as predicting traffic pattern between each cycle. Therefore the proposed mechanism makes up for the drawback of RIO mechanism and minimizes the wastes of the bandwidth being capable of predicting in Dynamic and Strict Packet Dropping (DSPD) mechanism. And we executed a simulation and analyzed the throughput and packet drop rate based on the Sending Drop Precedence changing dynamically depending on the network traffic and compared RIO and the DSPD. The results show that the proposed mechanism provides better performance on drop precedence levels and stricter drop precedence policy for AF class than RIO and the DSPD mechanism.

• The KIPS Transactions:PartC
• /
• v.9C no.5
• /
• pp.783-788
• /
• 2002

Adaptive Cyclic Packet Dropping algorithm (ACPD), and Non-adaptive Cyclic Packet Dropping algorithm (NCPD) are applying stricter drop precedence than that of RIO algorithm. Especially, the ACPD algorithm drops adaptively packets for the congestion control, as predicting traffic pattern between each cycle. Therefore the ACPD algorithm makes up for the drawback of RIO algorithm and minimizes the wastes of the bandwidth being capable of predicting in the NCPD algorithm. And we executed a simulation and analyzed the throughput and packet drop rate based on Sending Priority changing dynamically depending on network traffic. In this algorithm, applying strict drop precedence policy, we get better performance on priority levels. The results show that the proposed algorithms may provide more efficient and stricter drop precedence policy as compared to RIO independent of traffic load. The ACPD algorithm can provide better performance on priority levels and keep stricter drop policy than RIO and the NCPD algorithm.

• Aerospace Engineering and Technology
• /
• v.7 no.1
• /
• pp.245-253
• /
• 2008

Quality for civil aviation is very important to maintain the safety of aircraft and public, and strict quality requirements are prescribed in aviation regulations to ensure that each article produced conforms to the type design and is a condition for safe operation. In this study, the quality system requirements for aircraft and parts will be reviewed a concept of FAA's ACSEP(Aircraft Certification System Evaluation Program) and policy for aviation quality system evaluation in comparison with AS9100 for aviation quality management system.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.11 no.7
• /
• pp.1156-1160
• /
• 2000

The cancellation loop configuration for power amplifier module is proposed to reject the RX signals using feed-forward technique. In this paper, we implement the 1W-ampilfier module of WLL band to show validity of the proposed cancellation loop. The power amplifier module with the proposed cancellation loop can provide low TX insertion path loss due to duplexer and choice of loose RX attenuation characteristic for various wireless communication systems. It shows at least 90 % improved RX rejection characteristic compared to power amplifier module without RX band cancellation loop.

• Journal of Korea Multimedia Society
• /
• v.10 no.1
• /
• pp.83-93
• /
• 2007

WFQ (Weighted Fair Queuing) is the most popular fair queuing algorithm, but it had the inherent drawback of a poet bandwidth utilization, particularly under the traffic requiring a low rate but tight delay bound such as internet phone. It was recently identified that the poor utilization is mainly due to the non-optimized latency of a flow and then LOFQ(Latency-Optimized Fair Queuing) to overcome the drawback was introduced. In this paper, we improve the performance of LOFQ by introducing an occupied resource optimization function and reduce the implementation complexity of recursive resource transformation by revising the transformation scheme. We also prove the superiority of LOFQ over WFQ in terms of utilization. The simulation result shows that the improved LOFQ provides $20{\sim}30%$ higher utilization than that in the legacy LOFQ.

• The Monthly Diabetes
• /
• s.217
• /
• pp.21-23
• /
• 2007

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39A no.1
• /
• pp.43-49
• /
• 2014

This paper proposes an optimized multi-bit digital FSK receiver robust to large carrier frequency offset (CFO) toward recently emerging long-range WPAN standards. Due to a short preamble length and strict BER requirements, we design a simple multi-bit digital demodulator combined with CFO estimator which guarantees the target BER performance. Simulation results verify that the proposed FSK receiver achieves CFO-free BER performance with the short preamble and satisfies the BER requirement by the recent WPAN applications.

• JOURNAL OF ELECTRICAL WORLD
• /
• s.309
• /
• pp.77-82
• /
• 2002

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