• 한국전자파학회논문지
• /
• 제25권5호
• /
• pp.504-514
• /
• 2014

본 논문에서는 X-대역 능동 위상 배열 레이더 시스템에 사용되는 MMIC 다기능 칩을 0.5 ${\mu}m$ p-HEMT 상용 공정을 이용하여 저전력 특성을 가지도록 개발하였다. 다기능 칩은 6-비트 디지털 위상 천이 기능, 6-비트 디지털 감쇠 기능, 송/수신 모드 선택 기능, 신호 증폭 기능 등의 다양한 기능을 제공한다. $16mm^2(4mm{\times}4mm)$ 칩 크기의 소형으로 제작된 MMIC 다기능 칩은 7~11 GHz에서 10 dB의 송/수신 이득 특성과 14 dBm의 P1dB 특성을 가지며, DC 소모 전력이 0.6 W로 매우 낮은 저전력 특성을 보였다. 그리고 6-비트, 64 상태에 대해 위상 천이 특성과 감쇠 특성의 측정 결과, 동작 주파수에서 $3^{\circ}$의 RMS(Root Mean Square) 위상 오차와 0.6 dB의 RMS 감쇠 오차를 보였다.

• 한국정보전자통신기술학회논문지
• /
• 제10권4호
• /
• pp.325-332
• /
• 2017

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회 방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출 성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.

• 한국환경생태학회지
• /
• 제12권3호
• /
• pp.212-223
• /
• 1998

여천공단 주변 산림지역의 식물군집구조를 밝히고 13년간 변화를 파악하기 위하여 300$m^2$ 조사구를 27개소 설정하였다. DCA ordination분석 결과 곰솔군집, 곰솔-참나무류군집, 곰솔-사스레피나무군집, 소나무-곰솔군집, 소나무군집으로 나누어졌다. 5개 군집의 천이경향을 살펴보면 곰솔-참나무류군집, 소나무-곰솔군집은 졸참나무, 상수리나무를 중심으로한 참나무류군집으로 변화될 것이며, 곰솔군집, 곰솔-사스레피나무군집, 소나무군집은 현상태를 유지할 것으로 판단되었다. 5개 군집의 토양산도는 pH 4.38~4.61로 산성토양이었으며, 유기물함량, 치환성양이온(C $a^{++}$, $Mg^{++}$, $K^{+}$)함량은 전국토양의 평균치보다 낮은 상태로 불량하였다. 13년간의 식물군집구조와 토양특성변화를 살펴보면 종수, Shannon의 종다양도, 최대종다양도에 있어 1983년보다 1996년이 높아졌으며, 토양특성도 동일한 경향이었다.

• 유기물자원화
• /
• 제7권2호
• /
• pp.73-82
• /
• 1999

사과박의 퇴비화에서 효소활성도가 퇴비의 안정성 혹은 부숙도를 나타내는 지표로서의 사용가능성이 있는지를 검증하기 위해 배양계수법에 의한 미생물군집의 천이와, 무형광상태로 기질에 결합되어있던 형광물질(MUF)이 분해되면서 띠게 되는 형광정도가 해당효소의 활성도에 비례하여 높아지는 것을 이용하여 ${\beta}$-glucosidase와 cellobiohydrolase 활성도를 측정하였다. 탄수화물의 분해에 관여하는 두 효소의 활성도는 시간변화에 따라 점점 낮아졌다. 미생물개체군과 효소활성도간의 상관성은 균류군을 제외하고는 없는 것으로 나타났고 또 균류가 높은 개체수를 나타내는 것으로 보아 균류가 사과박의 퇴비화에 지대한 역할을 담당할 것으로 사료된다.

• 한국해양학회지
• /
• 제13권2호
• /
• pp.31-41
• /
• 1978

일부 선정된 조류의 생리와 많은 종의 출현에 대한 연구문헌은 상당히 많음에도 불구하고 환경의 요구조건이나 생명활동의 필수조건이라는 점에서는 대부분의 조류에 대한 이해가 아직은 부족한 상태에 있다. 이는 첫째 일반으로 실험실에서의 배양연구가 종간의 상호작용과 천이등 복잡한 자연현상이 결여된 단순하고 안정된 환경에서 이루어지고 있어서 이 경우 생물의 상호작용, 천이 및 기타 복잡한 자연현상이 결핍되고 둘째로 대부분의 현지관측이 macro-environment에 한정되고 생태형(ecophen)을 무시한채 종을 기록하기 때문이다. 일부 종에 대한 생리적 생태에 대한 한정된 지식으로는 미소생물군집의 성인과 기능적 성질에 대한 복잡한 상호작용을 분석하는데 적절치 못하다. 그러므로 생태계에 중요한 모든 종에 대한 하천환경을 이해하기 위해서 오염 같은 환경 stress가 자연군집에 미치는 영향을 규명해 보는 것은 합리적인 방법이다.(Patrick, 1968)

• 한국항공우주학회지
• /
• 제40권3호
• /
• pp.222-229
• /
• 2012

점화 시의 분사기의 냉각은 분사순간의 초저온액체상태의 산화제 분무의 증기압에 영향을 미치고, 이는 연소반응에 따른 연소실 압력상승 과도단계에서 분무의 상(phase) 천이 시점을 결정하는 인자 중 하나이다. 분무의 상변화는 액체로켓 연소기의 점화특성에 큰 영향을 미치며, 액체산소/메탄 추진제를 사용하는 연료과잉 폐쇄형사이클 액체로켓엔진의 주연소기용 분사기로 사용될 수 있는 액체-기체 동축형 스월분사기에 대하여 점화초기 분사기 냉각온도에 따른 점화시험을 수행하였다. 초기 냉각온도에 따라 점화 시 산화제 분무의 액상으로의 천이시기가 달라지며, 충분한 냉각을 통해 산화제 분무의 증기압을 낮춘 경우 산화제 분무의 상 천이 시기를 나타내는 화염 quenching 현상이 일찍 나타나는 것을 확인할 수 있었다.

• 한국자기학회지
• /
• 제6권2호
• /
• pp.73-79
• /
• 1996

Y형 육방정 산화철$(Ba_{2}Me_{2}Fe_{12}O_{22}:Me=천이금속)$은 천이 금속으로 Co와 Zn가 포함된 경우 양호한 고주파 특성을 보이는 것으로 알려져 있다. 따라서, 결정 구조 내에 이들의 분포 상태를 파악하는 것이 중요하다. 본 논문에서는 엄밀한 성분 분석, X-선 회절 분석, 자기 특성 분석을 통하여 확인된 $Co_{2}Y$와 $Co_{1.6}Zn_{0.4}Y$시료에 대한 $M\"{o}ssbauer$ 분광 분석 결과로부터 다음과 같은 결론을 제시하였다. (1) Co는 주로 육방정 산화철의 S-block에 위치한 4배위 자리 $(6c_{IV})$와 S-, T-block 경계의 6배위자리(18h VI)에 들어간다. (2) Co의 일부를 Zn으로 치환하여도, Fe의 분포에는 큰 영향을 미치지 않는다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1275-1283
• /
• 1999

본 논문은 CMOS 디지털 회로에서의 전력 소모의 주원인인 신호의 천이중에서 회로의 동작에 직접적인 영향을 미치지 않는 불필요한 신호의 천이인 글리치를 줄이기 위한 효율적인 알고리즘을 제시한다. 제안된 알고리즘은 회로의 지연 증가 없이 게이트 사이징과 버퍼 삽입에 의해 경로 균등(path balancing)을 이룸으로써 글리치를 감소시킨다. 경로 균등화를 위하여 먼저 게이트 사이징을 통해 글리치의 감소와 동시에, 게이트 크기의 최적화를 통해 회로 전체의 캐패시턴스까지 줄일 수 있으며, 게이트 사이징 만으로 경로 균등화가 이루어지지 않을 경우 버퍼 삽입으로 경로 균등화를 이루게 된다. 버퍼 자체에 의한 전력 소모 증가보다 글리치 감소에 의한 전력 감소가 큰 버퍼를 선택하여 삽입한다. 이때 버퍼 삽입에 의한 전력 감소는 다른 버퍼의 삽입 상태에 따라 크게 달라질 수 있어 ILP (Integer Linear Program)를 이용하여 적은 버퍼 삽입으로 전력 감소를 최대화 할 수 있는 저전력 설계 시스템을 구현하였다. 제안된 알고리즘은 LGSynth91 벤치마크 회로에 대한 테스트 결과 회로의 지연 증가 없이 평균적으로 30.4%의 전력 감소를 얻을 수 있었다.Abstract This paper presents an efficient algorithm for reducing glitches caused by spurious transitions in CMOS logic circuits. The proposed algorithm reduces glitches by achieving path balancing through gate sizing and buffer insertion. The gate sizing technique reduces not only glitches but also effective capacitance in the circuit. In the proposed algorithm, the buffers are inserted between the gates where power reduction achieved by glitch reduction is larger than the additional power consumed by the inserted buffers. To determine the location of buffer insertion, ILP (Integer Linear Program) has been employed in the proposed system. The proposed algorithm has been tested on LGSynth91 benchmark circuits. Experimental results show an average of 30.4% power reduction.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2020년도 학술발표회
• /
• pp.354-354
• /
• 2020

최근 기후변화로 인하여 극한 강우사상이 증가하고 있으며, 이에 대한 재해 위험도도 커지고 있는 추세이다. 서낙동강 지역에서는 부산 에코델타 스마트시티 조성사업이 2023년 완공을 목표로 개발을 진행 중이다. 부산 에코델타 스마트시티는 대저수문과 녹산수문이 각각 상/하류에 위치하고 있으며, 스마트시티가 위치한 좌안에는 평강천이 유입하고 우안에는 대감천, 예안천, 주중천, 신어천, 금천천, 조만강 및 지사천이 유입하고 있다. 스마트시티의 대저수문과 녹산수문 구간은 4월-10월 기간 동안 주변지역 농업용수 공급을 위하여 하계의 일시적인 방류를 제외하면 연중 담수가 이루어지는 전형적인 하천형 저수지의 특성을 가지고 있다. 낙동강의 홍수예보는 낙동강의 본류 구간만을 대상으로 수행하고 있으며, 스마트시티 구간은 주로 수질에 관한 연구가 수행되어 왔다. 그러나 스마트시티의 조성과 함께 서낙동강 구간의 홍수 영향 분석의 필요성이 제기되고 있으나 스마트시티 하천구간을 대상으로 한 홍수분석은 거의 수행된 바가 없다. 본 연구에서는 부산에코델타 스마트시티 구간을 대상으로 시나리오 기반의 홍수분석을 수행할 수 있는 웹기반 통합플랫폼을 개발하였다. 홍수분석에 필요한 자료는 에코델타 스마트시티 개발계획을 기반으로 단기유출모의, 하천흐름모의 및 도시유출모의를 연계하여 분석을 실시할 수 있도록 하였다. 홍수분석을 실시함에 있어 대상 하천구간의 농업용수이용, 수문조작 기준을 고려하였다. 단기유출모의는 홍수통제소의 유출분석을 위하여 사용되는 저류함수법을 적용하였으며, 하천흐름 모의는 미국 공병단에서 개발한 HEC-RAS모형을 적용하였으며, 하천흐름모형의 결과를 미국 환경청(EPA) 도시유출모형인 SWMM과 연계할 수 있도록 하였다. 대상 구간의 하천 취수량을 산정하기 위하여 일별 담수심추적법을 활용한 논 농업용수 수요량을 산정하여 반영하고, 농업용수 수요량에 따른 저수량과 수문운영 룰을 고려하였다. 또한 부산에코델타 스마트시티의 개발에 따른 상태 변화를 반영할 수 있도록 웹기반으로 사용자가 시나리오를 설정하고 각 모형의 입력자료와 매개변수를 조정할 수 있도록 하였다. 본 연구의 결과는 부산에코델타 스마트시티의 개발에 있어 홍수위험을 분석 및 평가하는데 활용될 수 있을 것으로 판단되며, 이를 활용하여 홍수에 안전한 부산에코델타 스마트시티를 만들 수 있을 것으로 기대된다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.