• 한국지리정보학회지
• /
• 제11권1호
• /
• pp.10-19
• /
• 2008

이 연구에서는 모바일 전화기에서 SVG 기반 무선지도를 브라우징할 수 있는 J2ME 기반 매핑 뷰어를 설계하고 구현하였다. 제안한 기법은 무선지도를 기반으로 무선망에서 중요한 객체의 정확한 위치를 포착함으로써 산불진화정보관리시스템에 효율적으로 적용할 수 있으며, 안전하고 효율적인 진화 작업 및 지상진화대를 위한 실시간 진화환경정보를 제공하는데 기여할 수 있다. 아울러 이 기법은 이동 좌표를 표현하기 위한 클라이언트의 매핑 기능을 서버로 이전함으로써 개인 휴대폰에서도 SVG 기반 뷰어를 운영할 수 있도록 하였다.

• 한국전산구조공학회논문집
• /
• 제14권4호
• /
• pp.537-549
• /
• 2001

본 논문은 강 뼈대 구조물의 보-기둥 접합부의 사실적인 상태를 묘사하기 위하여 부분구속 접합부(Partially Restrained (PR) connections)를 고려한 지진하중 상태하의 신뢰성 해석과 접합부 및 그들에 내재된 불확실성이 구조물의 위험도에 미치는 영향에 관한 연구이다. 신뢰성해석을 위하여 응답면기법(Response Surface Method), 유한요소법(Finite Element Method), 일차신뢰도법(First Order Reliability Method), 그리고 반복선형보간 기법(Iterative Linear Interpolation Scheme)을 효과적으로 결합한 추계유한요소법(Stochastic Finite Element Method)을 제안하였다 일반적으로 모멘트-상대회전각 곡선에 의해서 표현되는 보-기둥에 대한 부분구속 접합부(PR connections)의 거동이 본 논문에서는 네 개의 매개변수를 사용하는 리차드 모델(Four-parameter Richard Model)을 사용하여 모사하였다. 지진하중에 대하여, 부분구속 접합부에서의 재하(Loading), 제하(Unloading) 및 재재하(Reloading) 거동은 모멘트-상대회전각 곡선과 Masing법칙을 사용하여 표현하였다. 시간영역에서 지진가속도를 구조물에 작용시킴으로써 지진하중의 사실적인 재현을 도모하였다. 다양한 주요 비선형성의 원인들을 고려한 부분구속 접합부를 가지는 강 뼈대 구조물의 신뢰성해석이 지진위험도를 평가하기 위하여 수행되었다. 제안된 기법의 명확한 이해를 돕기 위하여 한 예제를 제시하였다.

• Clinics in Shoulder and Elbow
• /
• 제21권2호
• /
• pp.82-86
• /
• 2018

Background: Although a common shoulder disease, there are no accepted classification criteria for frozen shoulder (FS). This study therefore aimed to evaluate the accuracy of the conventionally used FS classification system. Methods: Primary FS patients (n=168) who visited our clinic from January 2010 to July 2015 were included in the study. After confirming restrictions of the glenohumeral joint motion and absence of history of systemic disease, trauma, shoulder surgery, shoulder muscle weakness, or specific x-ray abnormalities, the Zuckerman and Rokito's classification was employed for diagnosing primary FS. Following clinical diagnosis, each patient underwent a shoulder magnetic resonance imaging (MRI) and blood tests (lipid profile, glucose, hemoglobin A1c, and thyroid function). Based on the results of the blood tests and MRIs, the patients were reclassified, using the criteria proposed by Zuckerman and Rokito. Results: New diagnoses were ascertained including blood test results (16 patients with diabetes, 43 with thyroid abnormalities, and 149 with dyslipidemia), and MRI revealed intra-articular lesions in 81 patients (48.2%). After re-categorization based on the above findings, only 5 patients (3.0%) were classified having primary FS. The remaining 163 patients (97.0%) had either undiagnosed systemic or intrinsic abnormalities (89 patients), whereas 74 patients had both. Conclusions: These findings demonstrate that most patients clinically diagnosed with primary FS had undiagnosed systemic abnormalities and/or intra-articular pathologies. Therefore, a modification of the Zuckerman and Rokito's classification system for FS may be required to include the frequent combinations, rather than having a separate representation of systemic abnormalities and intrinsic causes.

• 대한전자공학회논문지SD
• /
• 제39권2호
• /
• pp.82-90
• /
• 2002

BDD는 부울 함수를 간결하고 유일하게 나타낼 수 있기 때문에 다양한 컴퓨터 지원 설계 분야에 널리 활용되고 있다. BDD 크기는 변수 순서에 따라 매우 민감하게 변하므로, BDD의 크기를 최소화할 수 있는 변수 순서를 구하는 것은 매우 중요한 문제이다. 그러나 최적의 변수 순서를 찾는 것은 NP-complete 문제이므로, 근사 최적 변수 순서(near--optimal variable ordering)를 결정하기 위한 여러 가지 휴리스틱 알고리즘이 제안되었다. 본 논문에서는 최근에 제안된 μ0 (Microcanonical Optimization) 알고리즘에 기반하여 BDD 최소화 문제에 더욱 적합하도록 보완한 Faster-μ0 알고리즘을 제안한다. Faster-μ0 알고리즘은 빠르고 더 나은 해를 찾기 위한 국부 탐색 방법으로 임의의 해를 반복적으로 생성하는 초기화 단계 대신에 시프팅 알고리즘을 실행하는 시프팅 단계로 대체한다. 제안된 알고리즘의 튜닝을 위하여 실험적으로 알고리즘 파라메타를 구하였으며 제안된 알고리즘은 많은 벤치마크 회로에 대하여 실험되었으며 기존의 μ0 알고리즘 보다 빠르고 좋은 성능을 보인다.

• 한국건축시공학회지
• /
• 제17권4호
• /
• pp.369-375
• /
• 2017

본 연구는 제설작업의 효율성을 높일 수 있도록 제설차량의 작업구간 할당 및 제설기지 위치를 최적화할 수 있는 PSO 알고리듬을 제시하였다. 기존의 PSO 알고리듬을 개선하여 해공간의 탐색 성능을 높일 수 있는 개선된 알고리듬을 제시하였으며, 제설차량의 작업구간 할당 문제에 적용할 수 있도록 개체의 표현 및 적합도 합수값을 제시하였다. 또한 제시한 알고리듬의 타당성을 검증하기 위하여 지자체의 실제 사례에 적용하였으며, 기존 알고리듬과 개선된 알고리듬을 비교하였다. 그 결과 개선된 PSO의 경우 기존 알고리듬보다 폭넓게 해공간을 탐색하여 지역해에 빠지지 않고 더 우수한 해를 도출하는 것을 알 수 있다. 또한 개별 제설차량의 작업부하가 평준화될 수 있도록 작업구간을 할당할 수 있으며, 할당된 작업구간에 가장 가까운 지점을 도출하여 제설전진기지의 위치를 결정하는데 활용될 수 있음을 알 수 있었다.

• 디자인학연구
• /
• 제13권4호
• /
• pp.67-76
• /
• 2000

웹사이트는 다양한 컨텐츠 영역에서 여러 유형의 사용자 활동을 지원하며, 이에 따라 주요 인터페이스 디자인 문제를 추출하기 위한 서로 다른 접근을 요구한다. 본 연구에서는 웹사이트의 매체적 역할을 중심으로 개발자, 사용자, 웹사이트간의 관계를 이해하고 사용성에 관한 디자인 요소들에 대해 보다 체계적인 관점에서 파악함으로써 인터페이스 구현의 기초적인 틀을 마련하고자 한다. 매체적 측면에서 웹사이트는 사용자와 개발자 사이에 존재하는 일종의 정보체라 할 수 있다. 사용성을 중심으로 한 정보체의 형성에는 사용자, 개발자, 웹사이트 및 여러 환경적 요인들과 관련된 다양한 디자인 요소들이 포함된다. 이는 궁극적으로 정보체를 매개로 한 상호작용에 있어서 사용자와 정보체가 보다 수용하는 상태, 즉 공통적인 개념모델의 형성을 위한 것이 되어야 한다. 이를 위해서는 사용자 목표 및 인지적, 정서적 측면의 사용자 특성에 대한 이해를 바탕으로 크게 합목적성, 효율성, 주관적 만족의 사용성이 요구된다. 이러한 맥락에 따라 정보체의 기본 구조 즉, 정보 모델을 설정하고 이에 따른 디자인 요소 및 이의 특질에 대해 파악한다. 정보모델은 크게 내용 수준, 구성 수준, 표현 수준으로 구분할 수 있으며 각 수준별로 사용자의 적절한 인지적, 정서적 측면의 작용을 위한 디자인 요소들을 파악함으로써 인터페이스 디자인의 주요 문제를 체계적으로 이해한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.

• 한국정보통신학회논문지
• /
• 제10권10호
• /
• pp.1773-1778
• /
• 2006

본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.

• Journal of Microbiology and Biotechnology
• /
• 제19권8호
• /
• pp.774-780
• /
• 2009

Flammulina velutipes is a popular edible basidiomycete mushroom found in East Asia and is commonly known as winter mushroom. Mushroom development showing dramatic morphological changes by different environmental factors is scientifically and commercially interesting. To create a genetic database and isolate genes regulated during mushroom development, cDNA libraries were constructed from three developmental stages of mycelium, primordium, and fruit body in F. velutipes. We generated a total of 5,431 expressed sequence tags (ESTs) from randomly selected clones from the three cDNA libraries. Of these, 3,332 different unique genes (unigenes) were consistent with 2,442 (73%) singlets and 890 (27%) contigs. This corresponds to a redundancy of 39%. Using a homology search in the gene ontology database, the EST unigenes were classified into the three categories of molecular function (28%), biological process (29%), and cellular component (6%). Comparative analysis found great variations in the unigene expression pattern among the three different unigene sets generated from the cDNA libraries of mycelium, primordium, and fruit body. The 19-34% of total unigenes were unique to each unigene set and only 3% were shared among all three unigene sets. The unique and common representation in F. velutipes unigenes from the three different cDNA libraries suggests great differential gene expression profiles during the different developmental stages of F. velutipes mushroom.

• 대한수학교육학회지:학교수학
• /
• 제15권2호
• /
• pp.481-501
• /
• 2013

본 연구는 역동기하 환경에서 "끌기"의 역할을 고찰하고자 한다. 끌기는 도형을 역동적으로 변화시키면서 기하 도형의 숨겨진 성질과 이들 사이의 관계를 나타내는 불변성을 탐색 가능하게 하는 중요한 역할을 한다. 따라서 본 연구는 선행 연구의 분석을 통해 역동기하 환경에서 끌기의 사용이 세 가지 관점으로, 즉 역동적 표상, 도구유발행위, 그리고 어포던스로 구분될 수 있다는 결론을 도출하였다. 본 연구에서는 끌기의 사용에 대한 이들 각각의 관점을 선행 연구를 중심으로 살펴보았다. 그리고 이로부터 (1) 연역적, 공리적, 형식적 지필기하를 실험수학으로 접근할 수 있게 하는 끌기의 가능성 탐구, (2) 추측과 증명 사이에서 끌기의 유형에 따른 작용 분석, (3) 학생과 DGS 사이의 도구발생 과정에 따른 기하 학습의 차이 분석, (4) 끌기에 의한 의사소통이나 담화 유형의 분석, (5) 어포던스로서 끌기에 의해 수반되는 측정 기능의 역할 분석, 그리고 (6) 끌기에 의한 기하 개념의 정의에 대한 학생들의 인식론적 변화를 기하의 교수-학습과 후속연구를 위한 제언으로 제시하고 있다.