• 한국산학기술학회논문지
• /
• 제17권8호
• /
• pp.77-83
• /
• 2016

오늘날 다양한 산업분야에서는 시스템 안전을 확보하기 위한 표준들이 제정되었다. 해당 표준들에서는 시스템 개발 초기 단계인 개념설계 단계부터 위험원 분석 활동을 수행하고, 분석 결과를 안전을 확보하기 위한 시스템 설계 활동에 반영할 것을 제시하고 있다. 따라서 운영 목표에 부응하는 시스템의 설계와 시스템에 내재하는 위험원 분석은 밀접한 관계가 있다. 그럼에도 불구하고 기존에는 설계 결과의 검증에서 시스템 개념설계와 위험원 분석 결과를 분리하여 수행하였다. 본 논문에서는 분리 수행에 따른 문제를 개선하기 위하여 시스템 고장 모델과 시스템 아키텍처의 통합 모델에 대한 검증 방법을 연구하였다. 구체적으로, 먼저 대상시스템의 아키텍처를 시스템 모델링 언어인 SysML로 모델링 하였다. 그리고 나서 시스템 아키텍처 정보를 기반으로 위험원 분석을 수행하고, 이를 토대로 SysML 고장 모델을 생성하였다. 그 후에 시스템 고장 모델을 시스템 아키텍처에 통합하고, 이를 기반으로 고장에 대비한 안전 설계를 추가하였다. 최종적으로 시스템 운영 중 일부 고장에도 안전 설계 결과가 안전 목표를 만족하는지 검증하기 위한 시뮬레이션을 수행하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권7호
• /
• pp.784-793
• /
• 2000

기존의 한국어 형태소 해석은 한국어의 교착어 특성상 다양한 형태론적 모호성을 가진다. 이러한 형태론적 모호성은 많은 구문 모호성을 만들어 내어 올바른 의미를 가지는 파스트리의 선택을 어렵게 한다. 한국어에서 이런 형태론적 모호성의 대부분이 보조용언이나 의존 명사와 관련이 있다. 보조용언이나 의존명사는 주위의 형태소들과 강한 결합 관계를 가지고 있으며, 대부분 자립성이 없는 기능형태소이다. 결합된 형태소들은 문장 내에서 하나의 기능적 역할이나 구문적 역할을 수행한다. 우리는 품사 태깅된 20 만 어절 크기의 말뭉치로부터 이 형태소열을 찾아 이를 3가지 유형으로 분류하였다. 그리고, 이를 구문 형태소로 정의하고 구문 형태소를 구문 분석의 기본 입력 단위로 간주하였다. 본 논문에서는 구문 형태소가 아래와 같은 문제의 해결에 있어서 효율적인 방법임을 제안한다: 1) 형태소 해석의 축소, 2) 구문 해석 도중 불필요한 부분 파스트리의 배제, 3) 구문 모호성의 축소. 마지막으로, 실험 결과를 통해 구문단위 형태소가 형태소 및 구문 모호성을 축소하기 위해 반드시 필요함을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.689-696
• /
• 2007

소프트웨어의 개발 초기 단계에서 성능을 예측하는 기법은, 비 기능적 요구사항의 검증 및 소프트웨어의 성능을 향상시키기 위해 중요한 이슈가 되었다. 이를 위해 소프트웨어의 아키텍처를 수학적인 분석 모델로 변환시키는 기법들이 등장하게 되었다. 그러나 에이전트 기반 시스템을 개발하는 경우, 기존방법들은 에이전트 플랫폼의 성능을 정확하게 반영하지 못하기 때문에, 정확한 성능 예측 및 분석에 적용 할 수 없다. 본 논문에서는 정규화된 의미 기술언어를 이용하여 에이전트 기반 시스템 아키텍처의 성능을 예측하는 기법을 제안한다. 본 방식은 UML로 기술된 시스템의 아키텍처를 하드웨어 및 소프트웨어 플랫폼의 성능이 반영된 분석 모델로 변환시킨다. 성능 예측의 정확도를 평가하기 위해, 과거에 연구했던 전자상거래 시스템을 확장한 유비쿼터스 상거래 시스템 시나리오를 기반으로 프로토타입을 구현하여 성능을 측정하고 생성된 분석 모델로부터 측정된 성능 결과와 비교하였다. 그 결과 약 80%의 정확도를 보였다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 한글 및 한국어 정보처리
• /
• pp.419-423
• /
• 2000

성공적인 의사소통의 경우에 성(性)이, 이(理)와 명(命)으로 나타난 것이 같다. 진리(aletheia)가, 언어(logos)와 운명(moira)으로 나타난 것들이 일치하는 것이 성공적인 언화행위가 된다. 측정대상(melos)과 본체(ousia)가 구분되는 것은 언어와 운명의 괴리가 있을 수 있기 때문이다. 체계적인 언어처리의 지식기반을 측정대상에 한정한다. (1) 철학의 시작은 더 옳은 언어표현의 정의(definition)로 이전의 잘못 사용된 언어처리를 대체시키는 것으로 소크라테스는 보았다. [R. Crossman] (2)잘못을 지적하는 등에(Tabanidae)의 역할과 옳은 지식의 상기를 돕는 산파법(maieutics)이 소크라테스의 의미분석의 방법이다. [R. Crossman] (3) 언어를 통하여 진리를 추구한다는 입장(via language)에서 한 언어표현이 그 진리의 운명으로 나타남과 어긋날 때, 운명을 택하는 것은 조화 보다 더 안정의 우위를 인정하는 논리적인 입장으로 합리성 보다 실용(pragma)의 우위를 인정하는 것이다. [W. Quine] (4) 공동체의 공통규범의 추구는 그 언어 속의 공통의 형식 또는 법칙의 추구에 기초하는 것이 자연스럽다. 여기에서 그 언어사용은 그 기저의 법칙(underlying rule)에 개입한다는 입장에 기초한다. [J. Searle] (5) 진리의 언어표현과 운명적인 사태들 사이의 괴리를 처리하기 위하여 체계적인 언어표현의 대상(The Young Tableaux)과 실제(The continuum)의 구분을 수용한다. [AMS(2000)]언어표현의 대상은 나타난 것(顯)이고 실제에는 나타나지 않은 것도 있다. [伊川, 明道] (6) 이 나타난 것과 나타나지 않은 것에 간격이 없다는 것(顯微無間)은 그 의사소통이 성공적인 것이라는 것을 말한다. 따라서 그 언어의 표현완전성(functional completeness)은 언화행위가 성공적이라는 것이다. [J. Searle] (7) 수로 쓰인 것(象數)과 시로 쓰인 것(義理)이 하나인 것은 그 나타난 것과 나타나지 않은 것들 사이에 어떠한 틈도 없음을 말한다. [成中英] (8) 공통의 규범의 공통성 속에 규범적인 측면이 벌써 있다. 공통성에서 개인적이 아닌 공적인 규범으로의 전이는 규범, 가치, 규칙, 과정, 제도로의 전이라고 본다. [C. Morrison] (9) 우리의 언어사용에 신비적인 요소를 부인할 수가 없다. 넓은 의미의 발화의미(utterance meaning) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\boxDr$한국어사전$\boxUl$등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.

• 한국지리정보학회지
• /
• 제6권2호
• /
• pp.33-45
• /
• 2003

이 연구는 객체지향 지리정보시스템을 이용하여 지리-객체와 지리-필드를 연결하는 지리-객체필드 방법을 규정하고, 수계-객체필드를 이용하여 새만금호 수량과 배수갑문수위를 조작하는 새만금수자원관리시스템의 홍수 시뮬레이션을 구현하고자 한다. 그리고 새만금 수계 수자원에 발생하는 자연현상과 인공현상을 조합하여 하나의 전체 수계-객체필드로 구성되는 객체지향 클래스 계층구조를 설계함으로써 홍수통제 알고리즘 기법을 제안하고자 한다. 동시에 UML을 이용하여 전체적인 지리-객체필드와 단계적인 부분 지리-객체필드의 클래스계층구조를 가시화하고자 하며, 각 클래스의 속성과 메소드는 ZEUS/COM과 Win32 API을 이용한 Visual Basic 6.0을 사용함으로써 각각 호환성과 재사용성 기능을 확보하고자 한다. 이 논문은 새만금수자원관리시스템을 구현함으로써 효율적인 물관리를 하는데 기여할 수 있을 것이다.

• 한국항공우주학회지
• /
• 제33권9호
• /
• pp.104-112
• /
• 2005

본 논문은 항공전자시스템 통제와 항법 및 사격통제를 통합하고 비행, 항법 및 무장조준 임무를 위한 정보를 제공하는 항공전자시스템컴퓨터(ASC)의 탑재소프트웨어(OFP) 개발 기법을 제안한다. OFP 개발을 위해 중앙처리장치 보드로는 2개의 i960 칩이 사용되었고 자체 개발된 표준 컴퓨터 인터페이스 라이브러리(SCIL) 프로그램이 사용되었다. Irvine 컴파일러 회사의 개발환경과 Ada95 프로그래밍 언어가 OFP 개발에 사용되었다. OFP는 소프트웨어 모듈의 독립성을 위하여 3부분으로 구성된 1개의 컴퓨터소프트웨어형상품목으로 설계되었다. 일련의 비행시험을 통해 개발된 OFP를 검증하였으며, 소프트웨어 통합시험과 지상기능시험 등 관련 시험 또한 수행하였다.

• Maxillofacial Plastic and Reconstructive Surgery
• /
• 제34권2호
• /
• pp.140-147
• /
• 2012

Microvascular reconstruction, in the oral and maxillofacial regions, is a widely accepted as the best way to overcome the complex oral cavity defects. Many patients requiring composite reconstructions have been treated previously with radiation therapy, chemotherapy, selective and/or functional neck dissection or any of these combinations. In many cases of these patients, inadequate neck vessels for the microanastomosis of free flap are available, due to a lack of recipient vessels in the neck, poor vessel quality or vessel caliber mismatch. To achieve a tension-free anastomosis, vein grafting must be considered to span the vessel gap between the free flap pedicle and the recipient neck vessels. Although most microsurgeons believed that interpositional grafts are to be avoided due to vessel thrombosis and increased number of necessary microanastomosis, we, authors have some confidence of equivalency between reconstruction with and without interpositional saphenous vein graft. The great saphenous vein, also known as the long saphenous vein, is the large subcutaneous superficial vein of the leg and thigh. It joins with the femoral vein in the region of femoral triangle at the saphenofemoral junction, and coursed medially to lie on the anterior surface of the thigh before entering an opening in the fascia lata, called the saphenous opening. For a better understanding of the great saphenous vein graft for the interpositional vessel graft in the oral cavity reconstructions, and an avoidance of any uneventful complications during these procedures, the related surgical anatomies with their harvesting tips are summarized in this review article in the Korean language.

• 수면정신생리
• /
• 제4권1호
• /
• pp.15-28
• /
• 1997

Longterm memory is encoded in the neuronal connectivities of the brain. The most successful models of human memory in their operations are models of distributed and self-organized associative memory, which are founded in the principle of simulaneous convergence in network formation. Memory is not perceived as the qualities inherent in physical objects or events, but as a set of relations previously established in a neural net by simultaneousy occuring experiences. When it is easy to find correlations with existing neural networks through analysis of network structures, memory is automatically encoded in cerebral cortex. However, in the emergence of informations which are complicated to classify and correlated with existing networks, and conflictual with other networks, those informations are sent to the subcortex including hippocampus. Memory is stored in the form of templates distributed across several different cortical regions. The hippocampus provides detailed maps for the conjoint binding and calling up of widely distributed informations. Knowledge about the distribution of correlated networks can transform the existing networks into new one. Then, hippocampus consolidats new formed network. Amygdala may enable the emotions to influence the information processing and memory as well as providing the visceral informations to them. Cortico-striatal-pallido-thalamo-cortical loop also play an important role in memory function with analysis of language and concept. In case of difficulty in processing in spite of parallel process of informations, frontal lobe organizes theses complicated informations of network analysis through temporal processing. With understanding of brain mechanism of memory and information processing, the brain mechanism of mental phenomena including psychopathology can be better explained in terms of neurobiology and meuropsychology.

• 재활간호학회지
• /
• 제4권1호
• /
• pp.118-123
• /
• 2001

The purpose of this study was to provide fundamental data to propose further directions of education on rehabilitation nursing by investigating the adequacy of the educational contents of rehabilitation nursing. This study was a descriptive survey study. The data collected at 25 universities and 24 junior colleges through questionnaires to answer the research questions from August 10 to September 30, 2000. The questionnaire was consisted of 24 items. The contents of rehabilitation nursing education were developed by consulting with the rehabilitation nursing professionals. The results are as follows Rehabilitation nursing was taught as an independent class in 15 universities and 9 junior colleges. Most professors majoring in adult nursing (66.8%) were in charge of teaching the courses. For the adequacy of the teaching contents of rehabilitation nursing, conceptual bases for rehabilitation was the highest score (4.0), and interdisciplinary rehabilitation team, activities of daily living, clients of rehabilitation, nursing process in rehabilitation nursing, functional evaluation, movement and mobility, physical therapy, occupational therapy, sensation and perception, communication/language, eating and swallowing, bladder elimination, community based rehabilitation nursing, sleep, rest &, fatigue, bowel elimination, historical perspectives of rehabilitation nursing, sexuality, pulmonary rehabilitation, pain, cardiac rehabilitation, skin integrity, family care was ordered.

• 국제초고층학회논문집
• /
• 제7권2호
• /
• pp.145-151
• /
• 2018

Newly-designed high-rise buildings, both in China and abroad, have demonstrated new innovations from the creative concept to the creative method. from the creative concept to the creative method. At the same time, digital technology has enabled more design freedom in the vertical dimension. "Twisting" has gradually become the morphological choice of many city landmark buildings in recent years. The form seems more likely to be driven by the interaction of aesthetics and structural engineering. Environmental performance is often a secondary consideration; it is typically not simulated until the evaluation phase. Based on the research results of "DigitalFUTURE Shanghai 2017 Workshop - Wind Tunnel Visualization", an approach that can be employed by architects to design environmental-performance buildings during the early stages has been explored. The integration of a dynamic form-finding approach (DFFA) and programming transforms the complex relationship between architecture and environment into a dialogue of computer language and dynamic models. It allows the design to focus on the relationship between morphology and the surrounding environment, and is not limited to the envelope form itself. This new concept of DFFA in this research consists of three elements: 1) architectural form; 2) integration of wind tunnel and dynamic models; and 3) environmental response. The concept of wind tunnel testing integrated with a dynamic model fundamentally abandons the functional definition of the traditional static environment simulation analysis. Instead it is driven by integral environmental performance as the basic starting point of morphological generation.