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

지난 99년 12월부터 국내 이동통신서비스 사업자들이 무선 인터넷 서비스를 시작한 이후, 올 6월말 현재 무선 인터넷 가입자수가 1천 4백만 명(i-SMS방식을 제외한 WAP과 ME방식)에 육박하고 있다[1]. 또한, 인터넷의 패러다임이 유선에서 무선으로 급속히 확장되면서 이동통신 단말기의 사용이 단순한 통신수단을 넘어 이동성, 휴대성 등의 장점과 함께 언제, 어디서나 누구든지 인터넷에 접속할 수 있는 수단으로 발전하고 있다. 그러나, 무선 인터넷 환경의 여러 가지 제약들(매우 느린 전송속도, 낮은 대역폭, 긴 지연 시간, 통신연결의 불안정 등)로 인한 불편사항들이 지적되고 있다. 특히, 무선 인터넷 사이트 상에서의 사용자 행위/상태정보가 통신연결의 불안정으로 인해 유실될 경우, 사용자는 반복적인 정보 재입력을 수행해야 하는 일이 발생하게 된다. 본 논문은 이런 통신연결의 불안정으로 발생하는 사용자 행위/상태 정보 유실에 대한 대안을 제시하고, 이를 무선 인터넷 사이트에 적용해 보았다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.407-410
• /
• 2002

시스템의 안전성을 검사하기 위한 연구가 활발히 진행중이다. 그 중에서도 모형검사를 이용하는 방법이 가장 일반적이라고 할 수 있는데, 이 방식에는 몇 가지 문제점이 지적되고 있다. 그 중 가장 심각한 문제가 상태 폭발 문제이다. 상태 폭발은 모형 검사기가 큰 규모의 시스템들을 다루지 못하게 하는 주요 원인이다. 본 연구는 평탄화에 의해 발생하는 상태폭발의 문제를 극복하기 위하여, 계층형 크립키 구조를 정의하고 그 구조에서 CTL 속성을 검사하는 모형검사 알고리즘을 제시한다.

• 한국생물환경조절학회:학술대회논문집
• /
• 한국생물환경조절학회 1999년도 학술발표논문집
• /
• pp.51-54
• /
• 1999

1. 하우스 개폐장치 조작 불능시를 가정하여 천ㆍ측창을 인위적으로 폐쇄한 경우, 하우스내 온도는 외기온 보다 16$^{\circ}C$ 높은, 즉 사실상 작물을 생육할 수 없는 고온상태를 나타내었다. 이러한 결과는 하우스 상태 및 외기조건 등에 따라 다소 상이할 것으로 예상된다. 2. 천ㆍ측창을 개방한 상태에서 환기팬을 가동한 경우, 환기팬 가동에 따른 추가적인 실온 저하 효과는 계측되지 않았다. 3. 본 연구에서는 비교적 노즐 입경이 큰 스프링클러를 이용하여 관수시의 냉각효과를 검토하였다. 이 경우, 하우스내 온도는 스프링클러 작동과 동시에 비교적 짧은 시간내에 급격한 온도강하가 이루어졌다. 이 후 지속적인 온도강하는 둔화되어 비교적 안정된 온도를 유지함으로서, 하우스의 실온저하에 크게 기여하고 있음을 확인할 수 있었다.

• 환경생물
• /
• 제39권1호
• /
• pp.68-80
• /
• 2021

본 연구는 청계천에 서식하는 어류 서식 현황을 제시하고 피라미 개체군 분석을 통해 청계천의 외래종, 이입종 및 우점종 관리를 위한 기초자료를 제공하고자 수행하였다. 어류상 조사는 2019년 4월부터 10월까지 총 3회 실시하였으며, 조사 결과 총 9과 27종 2,045개체가 채집되었다. 한국고유종으로는 쉬리(Coreoleuciscus splendidus), 중고기(Sarcocheilichthys nigripinnis morii), 긴몰개(Squalidus gracilis majimae), 참갈겨니(Zacco koreanus), 얼룩동사리(Odontobutis interrupta) 등 5종(18.5%)이 출현하였다. 청계천의 우점종은 Zacco platypus (62.4%), 아우점종은 Z. koreanus (9.8%)로 확인되었으며, 우점종인 피라미 개체군의 길이- 무게 분석 결과 회귀계수 b값은 3.3434, 비만도지수(k)는 0.0026의 양의 기울기로 분석되었다. 따라서 피라미 개체군은 양호한 생육상태를 유지하고 있으며, 청계천은 피라미 개체군이 성장하기에 적합한 서식조건인 것으로 판단된다. 청계천은 복원 이후 지속적인 외래종과 이입종의 유입으로 인해 문제가 발생하고 있으며, 본 조사시에도 기존 청계천 내 서식이 보고되지 않은 외래종 골든알지이터(Gyrinocheilus aymonier var. (gold type))와 이입종 쉬리(C. splendidus)의 서식이 확인되었다. 따라서 청계천 내 발생하고 있는 외래종 및 이입종 유입 방지를 위한 지속적인 홍보와 관리방안 마련이 필요할 것으로 판단된다.

• 기계와재료
• /
• 제23권3호
• /
• pp.16-29
• /
• 2011

결정 합금 대비 비정질 합금은 높은 경도를 갖기 때문에 마모 저항성도 좋고 내부 식성 등 환경에 대한 저항성도 월등하며, 또한 과냉된 액상 상태까지 재가열하게 되면 낮은 점성도를 갖게 되므로 복잡한 3차원적인 형상을 가지는 부품을 환경에 대한 저항성, 피로 저항성, 강도 및 경도 등을 모두 고려하여 높은 정밀도를 가지고 제조하는 것이 가능하므로 우수한 물성을 갖는 구조 및 기능성 재료로의 다양한 응용이 타진되고 있다. 이러한 비정질 합금의 변형 거동에 대한 연구는 대부분 유리 천이 온도 이하에서의 전단 및 파단에 이르는 이른바 불균일 변형(Inhomogeneous Deformation) 거동에 대한 이해를 위한 실험 및 해석적 연구에 집중되어 왔다. 반면 상업화의 기반이 되는 고상 기반 2차 정형 성형은 과냉 액상 영역에서의 구조 완화 및 결정화롤 대표되는 미세 구조 제어 균일 변형(Homogeneous Deformation)에 대한 이해 없이는 불가능하므로, 이러한 관점에서 비정질 합금 특유의 점성 유동 특성을 이용한 균일 변형 응용 예시 및 미세구조 변화 연계 해석 기술의 현황을 소개하고자 한다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2000년도 제14회 학술강연논문집
• /
• pp.1-1
• /
• 2000

액체로켓엔진에 있어서 연소실로 공급된 추진제의 안정적인 점화를 위해 추진제 공급의 선점 시간을 결정하기 위한 실험이 수행되었다. 사용된 추진제는 Jet A-1과 액체 산소이고 추진제의 공급은 가압 방식이다. 135$^{\circ}$의 각을 갖고 배열된 인젝터는 FOOF 타입의 비동류형 충돌형 인젝터이고 연소실 압력이 200psi가 되도록 설계되었다. 현재의 실험은 점화원으로서 TEAL(triethylaluminum)을 사용하여 쿼드렛 타입의 점화기의 안정적 점화 여부를 검증하는 것도 포함된다. 점화 특성 파악을 위해 인젝터 상류의 매니폴드 압력, 연소실 압력이 측정되었고 점화 과정 및 정상 상태로의 천이 과정에 대한 간접적 증거로서 화염 길이가 측정되었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권4호
• /
• pp.439-446
• /
• 2003

본 논문에서는 공개키 기반구조에 기반한 통합 인증 시스템을 설계, 구현하였다. 통합 인증 시스템에서는 사용자가 하나의 패스워드를 이용해서 분산 컴퓨팅 환경하의 모든 응용 서버에 접속할 수 있으며, 사용자가 입력한 패스워드가 네트워크를 통해서 전송되지 않으므로 패스워드 도철 및 재사용 공격으로부터 안전하다 제안한 시스템은 전자서명과 암호학적 인증 프로토콜을 이용하여 구현되었으며, 안정적인 시스템 설계를 위하여 메시지 시퀀스 차트와 상태 천이 다이어그램을 이용하였다.

• 전기학회논문지
• /
• 제62권8호
• /
• pp.1074-1079
• /
• 2013

Demand response(DR) is potential generation alternative to improve the reliability indices of system and load points. However, when demand resources scheduled in DR market fail to reduce demand, it can create new problems associated with maintaining a reliable supply. In this paper, a reliability model of demand resource is constructed considering customers' behaviors in the same form as conventional generation units, where availability and unavailability are associated with the simple two-state model. As a result, the generalized reliability model of demand resources is represented by multi-state model.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권9호
• /
• pp.1112-1118
• /
• 1999

A major objective of the study is to propose a supervisory control algorithm based on the discrete event dynamic system (DEDS) model and apply it to the automation of nuclear operations. The study is motivated by the suitability of the DEDS model for simulation of man-made control action and the potential of the DEDS based supervisory control algorithm for enhanced licensibility, when implemented in nuclear plants, through design transparency due to strong analytic backgrounds. The DEDS model can analytically show the robust stability of the proposed supervisory controller providing design transpareney for enhanced licensibility when implemented in nuclear operations.

• 한국음향학회지
• /
• 제17권6호
• /
• pp.37-42
• /
• 1998

본 논문에서는 SCHMM에 적용된 관찰 확률 최대화에 의한 화자 적응 알고리즘을 제안한다. 제안된 알고리즘은 SCHMM의 관찰 확률 밀도들이 새로운 화자의 음성 특징을 잘 표현하지 못하는 경우 인식 성능이 저하되는 것을 막기 위하여, 적응 데이터의 각 특징 벡터들이 최대의 관찰 확률을 가질 수 있도록 관찰 확률 밀도를 결정하는 평균 벡터 μ와 분산 행렬 Σ를 기울기 탐색(gradient search) 알고리즘에 의해 반복적으로 적응시켜 주는 방법이다. SCHMM의 상태 천이 확률 A와 혼합 밀도 계수 C는 관찰 확률 밀도 적응 과정 을 거친 후, 적응 데이터로부터 구한 확률과 기존 확률의 가중 평균을 취하는 과정을 반복 하여 적응시켜 주었다. 제안된 화자 적응 알고리즘을 사용하여 단독음 인식 실험을 수행한 결과, 화자 적응을 수행하지 않았을 때와 비교하여 화자 독립 시스템에서는 평균 9.8%, 남 성 화자 종속 시스템에서는 평균 46.0%, 여성 화자 종속 시스템에서는 평균 52.7%의 인식 률 향상을 보였다.