• Journal of Biomedical Engineering Research
• /
• v.22 no.2
• /
• pp.133-138
• /
• 2001

동맥계에서 맥파의 전달속도는 혈관의 긴장도에 따라 결정된다. 동맥혈관의 긴장도는 혈압에 의존적이며 순간적인 혈압의 증가에 따른 혈관긴장도의 변화는 순환기계의 질병을 야기할 수 있다. 본 연구에서는 말초맥파를 이용한 동맥 긴장도 평가 방법의 유용성을 밝히기 위하여 말초맥파 도달시간을 체위에 따라 측정하고, 체위 변화에 따른 정수압 변화와 말초맥파도달시간의 관계를 관찰하였다. 말초맥파도달시간의 측정은 심전도의 QRS파 피크로부터 말초에서 나타나는 광전용적맥파의 최대기울기점까지 시간을 측정하였다. 생체 신호를 아날로그-디지털 변환하여 PC에서 매번 심장주기마다 맥파도달시간을 분석하였으며 결과는 스플라인 보간법을 사용하여 그래프로 결과를 제시하였다. 소프트웨어는 C＋＋을 사용하여 windows 환경에서 운용하였다. 앙아위에서 말초맥파도달시간은 233.38$\pm$1.84 ms이었으며 서있는 자세에서는 226.77$\pm$2.16 ms로 유의하게 감소하였다. 앙아위의 자세에서 손을 수직으로 들어올림에 따라 말초맥파도달시간은 각도에 비례하여 증가하는 특성을 보였다. 이러한 실험결과는 말초맥파도달시간이 동맥계의 일시적인 압력 변화에 매우 민감하게 반응하는 것을 제시하였으며, 고혈압 및 동맥경화가 있는 환자에서 예후를 판단하는 방법으로 유용하게 사용될 것이라 사료된다.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.5
• /
• pp.92-99
• /
• 2001

To measure temporal variability of long- range transmission in northern part of the East Sea of Korea, low frequency acoustic sources were deployed on the continental shelf 0.4km south of Cape Shultz near the port of Vladivostok during October 1999. The transmissions of the phase modulated signals were recorded by VLA moored on the northern slope of Ulleung-do. The measured signals were processed for the acoustic arrivals and their variability in time. The temporal signal processing involves pulse compression of the phase-encoded signal, time spread and temporal coherence processing. Variability of the ocean sound speed field in time scales of short period seems to be dominated by random fluctuations caused by sound speed perturbation due to the vertical displacements associated with internal waves.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.926-939
• /
• 2002

The formal specification methods with probability have been demanded in the area of fault real-time systems, in order to specify the uncertainty that the systems can encounter during their execution due to various environmental factors. This paper presents a new formal method with probability. namely Probabilistic Abstract Timed Machine (PATM), in order to analyze and predict system's behavior in dynamical environmental changes, This method classifies the factors into two classes: the variable and the constant. The analysis of system's behavior is performed on the probabilistic reachability graph generated from the ATM specification for the system. The analysis can predict any possibility that the behavior may not satisfy some safety requirements of the system, indicate which variable factors cause such satisfaction, and further recover from this unsatisfying fault state by fixing the variable factors. Consequently the reliability to the fault real-time systems can be improved.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.433-435
• /
• 2001

전자상거래 사이트 내에서 제공되는 정보가 많아질수록 사용자는 많은 실패를 거친 후 자신이 원하는 정보에 도달하게 된다. 사용자가 어떤 사이트에 자주 찾아오도록 하기 위해서는 적은 노력으로도 원하는 정보에 도달할 수 있도록 도움을 주는 웹 페이지추천 기법이 필요하다. 이 기법은 사용자 프로파일의 패턴을 분석한 후 분석된 결과를 바탕으로 사용자에게 현재 있는 페이지와 가장 연관성이 높다고 판단되는 웹 페이지를 연관규칙을 응용한 방법을 이용하여 추천한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.247-249
• /
• 2001

한 사이트 내에서 제공되는 정보가 많아질수록 사용자는 많은 실패를 거친 후 자신이 원하는 정보에 도달하게 된다. 사용자가 어떤 사이트에 자주 찾아오도록 하기 위해서는 적은 노력으로도 원하는 정보에 도달할 수 있도록 도움을 주는 웹 페이지 추천 기법이 필요하다. 기존의 연관규칙이나 순차패턴 기법은 모든 규칙을 찾으므로 필요한 개수 이상의 연산을 한다. 연산 개수가 많아지면 연산 시간이 길어져 갱신되는 데이터베이스를 매번 적용시켜 계산하기가 어렵다. 제안하는 기법은 현재 사용자의 경로 정보를 기준으로 데이터베이스를 변형시키고, 기존 사용자의 경로정보가 저장된 데이터베이스를 검색하여 경로 정보의 패턴을 분석한다. 분석된 결과 중 가장 연관성이 높다고 판단되는 웹 페이지를 현재 사용자에게 추천한다.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2801-2803
• /
• 2001

전자상거래 사이트 내에서 제공되는 정보가 많아질수록 사용자는 많은 실패를 거친 후 자신이 원하는 정보에 도달하게 된다. 사용자가 어떤 사이트에 자주 찾아오도록 하기 위해서는 적은 노력으로도 원하는 정보에 도달할 수 있도록 도움을 주는 웹 페이지 추천기법이 필요하다. 이 기법은 사용자 프로파일 중 경로 정보의 패턴을 분석한 후 분석된 결과를 바탕으로 사용자에게 현재 있는 페이지와 가장 연관성이 높다고 판단되는 웹 페이지를 연관규칙을 응용한 방법을 이용하여 추천한다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2001.11a
• /
• pp.209-210
• /
• 2001

공장 굴뚝이나 차량과 같은 오염원에서 배출된 오염물질은 대기 중에서 확산과정을 거쳐 수용체(Receptor)에 도달하여 영향을 미치게 되는데, 확산을 결정하는 주요인자로는 오염물 배출조건 및 농도, 대기 기상조건, 주변지형조건, 오염물의 반응성 및 침착성 등이 있다. 대기환경 영향평가 및 대기질 관리성책수립 등을 위해서 복잡한 대기확산 과정을 거쳐서 수용체에 도달하는 오염물질의 농도에 대한 정량적인 값의 추정이 필요하다. (중략)

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.5A
• /
• pp.889-901
• /
• 2001

본 논문에서 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 개발과 분석에 관해서 기술한다. 먼저 Gigabit Switched Router를 만들기 위해서, 상용화시 Carrier Class 제품에 적용하기 위한 LDP의 구현시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. IETF 표준에 의거한 LDP의 구현을 위한 상세 설계는 프로토콜 상태기계의 유도 트리와 프로세스 대수를 사용한 형식적 명세를 사용하여 제시한다. 본 논문에서는 제시된 유도트리와 프로세스 대수를 사용한 프로토콜 동작의 분석을 통해, 구현된 LDP의 상호 연동성과 완전성, 생존성, 도달성, 안전성을 검증한다. 또한 이를 사용하여 구현된 LDP가 기존 상용 제품들과의 연동성과 그 동작의 신뢰성을 확보할 것을 기대한다. 결과적으로 구현된 LDP의 프로토콜 동작들의 검증을 제공한다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.