• 건강소식
• /
• v.30 no.8 s.333
• /
• pp.24-25
• /
• 2006

다한증이란 우리 몸이 체온 조절에 필요한 땀의 양보다 많은 양의 땀이 과다하게 분비되는 상태를 말한다. 일부에서는 당뇨병, 갑상선 기능항진증, 두부 손상 등의 원인에 의한 이차적인 증상으로 나타나는 경우도 있으나, 대개 뚜렷한 원인이 없는 건강한 상태에서 나타나는데 이러한 경우를 '본태성 다한증'이라고 한다. 본태성 다한증은 주로 손바닥과 발바닥에서 과다하게 땀이 나는 것으로, 심한 경우 겨드랑이 및 얼굴에도 땀이 많이 날 수 있다.

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2013.11a
• /
• pp.26-27
• /
• 2013

산림생태계의 에너지, 물질, 정보의 교환 과정과 그 변화를 이해하려면 먼저 생태계의 구조와 기능이 어떻게 상호작용하는지를 이해해야 한다. 생태계의 기능은 한, 두 가지의 특징에 의해서만 이루어지는 것이 아니다. 그렇기 때문에 그 기능을 파악하고 적절히 이용하거나 대응하기 위해서는 한 생태계와 주변 환경 전체를 바라볼 수 있는 시스템 사고가 필요하다. 이에 우리는 생태계의 '구조'를 파악함으로써 생태계의 '상태'를 이해하고자 한다. 본 연구에서는 Ruddell and Kumar (2009)의 접근법을 따라, 어떻게 한 생태계의 상태를 파악할 수 있는가라는 질문을 광릉활엽수림에 적용하여 답하고자 한다. 즉, 우리는 산림생태계가 열린 복잡계라고 가정하고, 생태계 내에서 다양한 프로세스들 간의 시시각각 변하는 네트워크의 구조가 각 시점의 시스템의 상태를 나타내는 지표가 될 수 있다고 가정하였다. 이 연구에서는 그 구조적 특징을 정량화하여 나타내는데 초점을 맞추었다. 각각의 프로세스를 대표하는 상태 변수들 간의 정보 흐름의 양과 방향, 시간 규모를 계산해냄으로써 네트워크 구조를 파악하고자 하였다. 온대 산악지형 활엽수림인 GDK의 2008년 순생태계교환량(NEE), 총일차생산량(GPP), 생태계호흡량(RE), 현열플럭스(H), 잠열플럭스(LE), 하향단파복사(Rg), 강수량(Precipitation), 기압(Pressure), 기온(T), 포차(VPD)의 시계열 자료를 월별로 나누어 최장 18 시간 규모의 정보 흐름을 계산하였다. 정보 흐름의 구조를 파악하기 위하여 변수들 간의 전이엔트로피(Transfer entropy)와 상호정보(Mutual Information)를 계산하는 방법을 사용하였다. 또한 시계열 자료를 이용함으로써 변수들 간에 정보가 전달되는 시간 규모의 특성을 파악할 수 있었다. 최종적으로, 계산한 정보 흐름을 시각화하여 프로세스 네트워크 구조를 나타내었다. 결과는 월별로 생태계의 정보 흐름의 종류, 방향과 시간 규모, 그에 따른 프로세스 간 상호 작용의 특징 등을 보여준다. 이를 통해 계절적 환경 변화에 따라 시스템의 네트워크 구조와 상태가 어떻게 변화하는지 이해할 수 있을 것이다. 이 연구는 추후 우리 연구실에서 생산한 8 년 자료에 적용함으로써 다양한 날씨 및 기후변화와 환경 변화에 따라 생태계의 구조와 상태가 어떻게 변화하는지 연구하는 시작점이 될 것이다. 이 접근법은 단위나 차원에 무관하게 다양한 종류의 자료에 적용할 수 있는 반면에, 일관성 있게 정의된 시스템의 상태 및 그 상태를 구성하는 주요 하부 시스템들의 네트워크 상태를 이해하는데 이용될 수 있다. 본 연구는 비평형 열역학과 복잡계의 관점에서 바라 본 시스템 사고를 적용하려 하는 여러 연구 분야에 새로운 도전을 촉발할 좋은 선행연구가 될 것이라 기대된다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• Electronics and Telecommunications Trends
• /
• v.10 no.2 s.36
• /
• pp.33-43
• /
• 1995

시스템이 고성능화 되고 그 기능이 향상됨에 따라 사용 환경에서의 높은 신뢰성 (reliability) 및 가용성 (availability)이 중요시 된다. 신뢰성과 가용성을 높이기 위해서는 시스템이 이상 상태에서도 계속 동작을 할 수 있도록 하는 고장 허용 기능이 필수적이다. 본 고에서는 고속 병렬컴퓨터 시스템 개발에서 시스템 구조에 알맞은 고장 허용 기능 구현을 위해 상용 고장 허용 기술 중심으로 이에 구현된 기능을 알아 보고, 그 중 밀 결합 시스템의 고장 복구 기법을 살펴보았다.

• TTA Journal
• /
• s.87
• /
• pp.169-173
• /
• 2003

TTA(한국정보통신기술협회)는 2003년 4월 30일 ㈜엠시스(http://www.msys.tv)의 MPEG Player(모델명 : MSY200)의 기능 및 성능시험을 수행하여 TTA Verified 인증서(번호 : TTA-V-B-03-001)을 발급하였다. 위의 장비는 MPEG Player의 기본 기능인 Play, Record 외에 스트림 정보를 전면 LCD 창을 통해 확인할 수 있는 기능을 제공하며, 4개의 독자적인 물리채널 운용으로 Play, Record 등의 기능을 4 채널에서 동시에 독립적으로 동작시키는 것이 가능하고, 국제기준 PCR 정확도 및 균일 출력 비트율을 만족하였으며, 장시간 사용 동작 시험에서도 양호한 동작상태를 보장할 수 있는 성능을 나타내었다.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• Journal of the korean veterinary medical association
• /
• v.33 no.2
• /
• pp.71-76
• /
• 1997

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.624-626
• /
• 1999

실제 공정상에서는 웨이퍼에 열을 가하는 공정뿐만 아니라 다른 형태의 여러 공정도중에도 다양한 종류의 예측 불가능한 고장 또는 기기의 오동작이 발생할 수 있으며 이는 고속열처리장비(RTP)의 throughput과 수율에 심각한 영향을 미치고 있다. 따라서 RTP 공정의 일부분뿐만 아니라 전체 공정에서의 장비의 상태변화를 기반으로 성능인자를 향상시킬 수 있는 modeling기법의 구축이 절실하다. 각각의 에러 수준과 발생 빈도에 의해서 시스템의 동작과 성능이 결정되며 높은 신뢰도(reliability)가 요구되는 시스템일수록 필수적으로 모든 부분의 기능 및 동작상태를 고려한 모델링이 선행되어야 한다. 그러나 시스템의 많은 부분은 분석 및 실험을 바탕으로 한 정확한 상태 방정식을 구할 수 없으므로 추상적이고 개념적인 상태변화 또한 전체 모델링에 포함시킬 수 있는 효율적인 기법이 필요하다. 이에 본 논문은 DES 모델링 기법을 사용하여 RTP의 동작 운용상태를 모델링하고 이를 통해 적절한 성능평가를 하고, 이를 컴퓨터 모의실험을 통해 검증하는 것을 주된 연구내용으로 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1603-1605
• /
• 2013

산업과 정보통신 기술의 발전으로 토목분야도 GIS, DBMS 등 다양한 정보시스템을 도입하여 국가 발전의 선구자 역할을 주도 하고 있다. 토목분야 중에서 우리 생활과 밀접한 관계가 있는 도로 포장관리시스템(PMS)에도 보다 효율적이고 체계적인 도로포장 관리를 위해 GIS 및 DBMS를 운용하고 있다. 전국 일반국도 포장상태 조사 및 자료 검증의 경우 DBMS를 통해 포장 상태 산출과 평가 신뢰성이 확보되어 효율적 예산 배치 및 정확한 포장상태 관리의 기반이 된다. 본 논문에서는 GIS 기반의 전국 일반 국도 포장상태 조사 지점 관리 및 자료 검증 시스템 개발에 대하여 기술하고자 한다.

• The Journal of Dong Guk Oriental Medicine
• /
• v.8 no.1
• /
• pp.145-158
• /
• 1999

Objective : To observe Sagunjatanghapchangchuljiyutang in rectifying the digestive dysfunctional spleen deficiency syndrome caused by chronic diarrhea. Methods : Sagunjatanghapchangchuljiyutang was chosen to treat the digestive dysfunctional spleen deficiency syndrome caused by chronic diarrhea. The model was induced by Rhei Radix and castor oil. The effects on the gastric secretion ability(gastrin, secretin, volume of gastric juice, free acidity, total acidity, pepsin activity) and nutritional condition(protein, albumin, total cholesterol, triglyceride, total lipid, BUN, creatinine, RBC, WBC, hemoglobin, hematocrit) were observed in vivo. Results : The group induced chronic diarrhea by Rhei Radix and castor oil had lower gastric secretion ability and nutritional condition was lower than that of the normal group. The figures for group given Sagunjatanghapchangchuljiyutang showed improvement, especially gastrin, total lipid and hematocrit. Conclusion : Sagunjatanghapchangchuljiyutang have an effect on the digestive dysfunctional spleen deficiency syndrome caused by chronic diarrhea. And experimental study syndrome could be proceed.