• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1997년도 춘계학술대회
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1103-1111
• /
• 1996

하드웨어와 통신 기술의 발달로 가능하게 된 분산처리 시스템은 수행 방식이 비결 정적이고 복잡하기 때문에 소프테웨어의 디자인이 비분산처리 시스템에 비해 복잡하고 또한 까다롭다. 따라서 하드웨어에 비해 상대적으로 뒤져있는 분산처리 시스템 소프 트웨어 개발을 위한 디자인 방법에 관한 연구에 대한 필요성이 높아지고 있다. 한편 객체향 시스템과 분산처리 시스템은 상호 유사한 점이 있어, 분산처리 시스템 개발에 객체지향 기술의 적용은 자연스럽게 이루어질 수가 있다. 본고에서는 분산에서는 분산처리 시스템 설계를 위한 객체지향 기술의 적용에 대하여 소개하고 있다. 제안된 설계방법은 다양한 그래픽 모델, 즉, 자료구조도, 상태전이도 그리고 패트리 네트의 정보를 조합하여 객체와 행위 그리고 이들 간의 관계에 대한 정보를 추출하여 분산 처리 시스템에 적합한 명세서를 산출하고자 한다. 지식베이스를 정보저장소로 이용 하여정보의 저장, 검색 뿐만 아니라, 정보의 오류 연구를 검증할 수가 있다. 본 방법의 최종 결과인 객체모델은 디자인 명세서로서 분산처리프로그램 개발에 사용된다.

• 전자공학회논문지CI
• /
• 제46권2호
• /
• pp.114-123
• /
• 2009

상황인식 시스템은 이용자의 주변 상황을 인지해서 적절한 대응을 수행하는 시스템이다. 컴퓨터 외에도 각종 센서나 실행기들이 시스템에 연결되어 동작하게 되므로 전통적인 시스템과 상이하며 응용 프로그램 개발의 복잡성이 증가하는 것이 특징이다. 본 논문에서는 이러한 상황인식 시스템들이 공통적으로 가지고 있는 특징을 기반으로 하여 정형화된 프레임워크를 제시한다. 이것은 복잡한 전체 시스템을 조망할 수 있는 도구가 되며, 이를 반영한 시스템 개발 환경은 편의를 제공할 뿐 아니라, 유용한 분석의 기반이 되는 등의 장점들을 가진다. 제시된 프레임워크에서는 반응적 (reactive) 작업 수행을 위해 이벤트에 대한 규칙을 통해 동작하도록 정의하고, 많은 상황인식 응용 프로그램에서 인식하는 상태 전이 개념을 도입하였다. 또한, 각 장비의 상태 변화가 전체 작업 수행에 연결되어 모델링 될 수 있도록 하였다.

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

요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2479-2492
• /
• 1999

통신망 관리시스템은 다양한 구조와 특성을 가진 이질적인 통신망 구성요소를 효과적으로 감시, 제어하여 통신망을 효율적으로 운영하는 기능 외에, 사용자들로부터 요구되는 고도의 통신서비스를 신속하게 제공할 수 있어야 한다. 이를 위하여 ITU-T, ISO 등에 의해 제정된 표준 권고안은 통신망 구성요소들간의 단순한 통신규칙을 정의하는 것 외에 통신망 관리에 필요한 자원들의 속성과 동적 특성에 대한 추상화된 표현, 그리고 통신망 구성요소들에 대한 관리기능을 포괄적으로 규정하고 있다. 그러나 표준 통신망 구성요소를 기술하는 현재의 표준안이 관리객체의 구조나 속성 등 정적인 부분은 전형적으로 기술하는데 반해 관리객체의 동적 특성에 대해서는 체계적으로 기술하지 못하고 있어, 관리객체의 전체적인 특성을 완전히 표현하지 못하는 문제점을 가지고 있다. 본 논문에서는 통신망 관리에 대한 표준 권고안을 근거로 모든 통신망 관리객체에 공통적으로 적용될 수 있는 관리객체 동적 특성의 구성요소를 정의하고, 이들 구성요소간의 시간지원, 능동 특성을 기반으로 한 관리객체의 동적 특성에 대한 체계적이고 전형적인 기술방법을 제시한다.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1996년도 추계학술대회
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• Safety and Health at Work
• /
• 제14권1호
• /
• pp.93-99
• /
• 2023

Background: Effort-reward imbalance (ERI) and overcommitment at work have been associated poorer mental health. However, nonlinear and nonadditive effects have not been investigated previously. Methods: The association between effort, reward, and overcommitment with odds of poorer mental health was examined among a sample of 68 formal United States waste workers (87% male). Traditional, logistic regression and Bayesian Kernel machine regression (BKMR) modeling was conducted. Models controlled for age, education level, race, gender, union status, and physical health status. Results: The traditional, logistic regression found only overcommitment was significantly associated with poorer mental health (IQR increase: OR = 6.7; 95% CI: 1.7 to 25.5) when controlling for effort and reward (or ERI alone). Results from the BKMR showed that a simultaneous IQR increase in higher effort, lower reward, and higher overcommitment was associated with 6.6 (95% CI: 1.7 to 33.4) times significantly higher odds of poorer mental health. An IQR increase in overcommitment was associated with 5.6 (95% CI: 1.6 to 24.9) times significantly higher odds of poorer mental health when controlling for effort and reward. Higher effort and lower reward at work may not always be associated with poorer mental health but rather they may have an inverse, U-shaped relationship with mental health. No interaction between effort, reward, or overcommitment was observed. Conclusion: When taking into the consideration the relationship between effort, reward, and overcommitment, overcommitment may be most indicative of poorer mental health. Organizations should assess their workers' perceptions of overcommitment to target potential areas of improvement to enhance mental health outcomes.

• Journal of Platform Technology
• /
• 제12권3호
• /
• pp.3-15
• /
• 2024

지식 마이닝은 다종다양한 대량의 데이터로부터 데이터 모델링, 정보추출 및 분석, 가시화, 결과 해석 등과 같은 다양한 기법들을 적용하여 데이터로부터 유용하고 가치 있는 지식을 찾아내는 연구 분야로서, 비즈니스, 의료, 과학 연구 등 다양한 영역에서 원시 데이터를 유용한 지식으로 변환하기 위한 중요한 역할을 수행한다. 본 논문에서는 형식개념분석기법을 확장하여 다종다양한 데이터로부터 지식발견과 데이터 마이닝을 수행하기 위한 분석기법을 제안한다. 분석대상 데이터의 다양한 형식과 구조를 표현하기 위한 제반 모델들(다치데이터 테이블, 삼원데이터테이블)과 데이터처리(이진화 및 평탄화) 및 개념계층구조 구축과 연관규칙 추출을 위한 알고리즘들을 정의하고, 공공오픈데이터를 대상으로 본 논문에서 제안한 기법을 적용한 실험을 수행하여 제안 기법의 유용성을 실증하였다.

• 해양환경안전학회:학술대회논문집
• /
• 해양환경안전학회 2003년도 춘계학술발표회
• /
• pp.59-67
• /
• 2003

오늘날 해운산업분야에서 해상의 인명 ㆍ재산, 해양환경보호에 가장 큰 관심을 기울이고 있다. 국제해사기구 (IMO)에서는 해상에서 선박운항으로 인하여 발생하는 충돌, 좌초, 침몰 등 해양사고에 대한 위험성을 정량적으로 평가하여, 그에 대한 제어방안을 마련하고 합리적인 안전규정을 제ㆍ개정하기 위한 절차적 수단으로 FSA(Formal Safety Assessment)를 도입하여 과학적이고 체계적인 대응방안을 마련하고자 노력하고 있다. 따라서 본 연구에서는 FSA평가시스템을 이용하여 사고발생빈도와 사고로 인한 인적, 물적, 환경오염 피해가 막대한 선박충돌사고의 발생위험성을 분석하였다. 또한 선박충돌사고 발생에 가장 큰 영향을 미치는 위해요소(Hazard)인 인적요소(Human Factor)에 대해서 전문가집단의 의견을 수렴하여 FSM법을 이용하여 각 위해요소를 계층화하고, 요소 상호간의 관련성을 분석하여 선박충돌사고를 예방하기 위한 적절한 제어방안을 제시하였다.

• 대한화학회지
• /
• 제56권6호
• /
• pp.739-750
• /
• 2012

이 연구에서는 중학교 '과학2' 교과서에 서술되어 있는 '이온 결합 화합물'과 '분자'에 대한 내용이 요구하는 인지 요구도를 분석하였다. 우리나라는 2007년 개정 교육과정에 의하여 처음으로 '이온 결합 화합물'과 '분자' 내용들을 중학교에서 다루게 되었다. 분석에 활용한 6종 과학 교과서에 서술된 내용이 어떠한 인지 수준을 요구하는 지를 알아내는 분석틀은 영국에서 개발된 Curriculum Analysis Taxonomy의 3종류 분석틀을 사용하였다. 이 3종류 분석틀에 의하여 분석한 '과학2' 교과서에 서술된 내용이 요구하는 인지 수준들은 다음과 같았다. 첫째, '순물질과 혼합물'에 대해서 대부분의 교과서가 대부분 분류 포섭이나 분류 위계를 하고 있어서 후기 구체적 조작 수준이다. 그러나 모든 교과서가 혼합물 속에 들어 있는 각각의 순물질들이 본래의 성질을 잃지 않고 그 성질이 보존된다는 것을 알게 하고 있기 때문에 초기 형식적 조작 수준이다. 둘째, '이온 결합 화합물'과 '분자'에 대해서 교과서 모두 초기 형식적 조작 수준으로 판정되었다. 그 자체의 규칙을 따르는 가상의 계로부터 연역적인 비교를 통하여 실체를 간접적으로 해석할 수 있는 형식적 모델을 사용한다거나 또는 원자가 구조를 가진다는 것을 설명하기 때문에 형식적 조작 수준이다. 셋째, '이온 결합', '이온 결합 화합물', '화학식', '공유 결합', '공유 결합 화합물', '분자식' 등의 용어들을 사용하는 '과학2' 교과서가 많이 있었다. 이러한 용어들은 중학교 '과학3'에서도 그리고 고등학교 '과학'에서도 사용되지 않고 있으며 고등학교 '화학I'과 '화학II'에 가서야 사용되는 용어들이다.