• Korean Journal of Acupuncture
• /
• 제29권3호
• /
• pp.371-384
• /
• 2012

Objectives : The meridian system is a systematic complex of empirical knowledge, which functions as a basis of acupuncture treatment. In this article, we reviewed the visualization methods of meridian and acupuncture points through the investigation of the characteristics of Diagram of Meridians, Mingtang Diagram, Diagram of Meridians and Collaterals, Bronze Statues and Diagram of Bronze Statue. Methods : We investigated the characteristics of Diagram of Meridians, Mingtang Diagram, Diagram of Meridians and Collaterals, and Bronze Statues. We reviewed the visualization methods of meridian and acupuncture points in those classical Diagrams and analyzed their relationships among them. Results : In order to explain the meridian and acupuncture points easily, ancient people usually used drawings which are named Mingtang Diagram, Diagram of Meridians and Collaterals, by their own characteristics. Owing to their limitations of drawings on the 2 dimensional plane, Chinese people designed the Bronze Statue for Acu-moxibustion and its first invention was invented in Tiansheng age of Song dynasty. For several decades and centuries, these models and drawings were inherited, also reflecting variations of meridian system. As the Bronze Statue has a deficiency in the educational use because of its limitations of mass production, Diagram of Bronze Statue drawn on the 2 dimensional plane was invented. At the beginning of Mingtang Diagram, Diagram of Meridians and Collaterals, Diagram of Bronze Statue and Bronze Statue, their own characteristics were significantly differed with other diagrams and statues. We found that both diagrams and statues were gradually combined with description of the relationship between internal organs and the skeletal structure and the meridian system. Conclusions : Our findings suggest that Diagram of Meridians, Mingtang Diagram, Diagram of Meridians and Collaterals, and Bronze Statues are the basic form of data visualization, one of the infographics. We suggest that ancient Chinese people intend to explain the empirical knowledge using the ancient infographics of meridian system, but have limitations on reflecting theorical or abstractional meaning.

• 한국정보처리학회논문지
• /
• 제6권5호
• /
• pp.1272-1279
• /
• 1999

This paper suggests system development method with extended user participation. Context diagram, event diagram, information diagram, management diagram and interface STD are staple products. This method introduces interface STD, management diagram and context diagram with administrator as relator. We adapted to research business of professor and ATM(Automatic Teller machine), when it can be adaptable to business-oriented system.

• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.283-296
• /
• 2010

Timing diagram은 시스템의 사양을 작성하는 도구로 많이 사용되고 있으나, Timing diagram을 이용하여 테스트 케이스를 생성하는 연구는 존재하지 않는다. 이와 같은 문제를 해결하기 위해 본 연구에서는 Timing diagram 으로부터 테스트 케이스를 생성하기 위해 다음과 같은 과정을 거쳤다. 1) Timing diagram을 형식적으로 기술하였다. 2) 정의된 Timing diagram의 의미로부터 이와 동치 관계에 있는 Stateflow 모델로 변환하는 방법을 기술하였다. 3) 변환된 Stateflow 모델에 대해 Simulink의 플러그 인 되어 있는 도구인 SDV를 사용하여 테스트 케이스를 생성했다. 이 접근 방법이 유용함을 보이기 위해서 도난 경보 모델과 임의의 Timing diagram모델들을 대상으로 실험을 수행하였다. 실험에서 Timing diagram 모델들로부터 Stateflow모델들로 변환하고 이를 SDV를 사용하여 테스트 케이스를 생성하였으며 그 결과에 대해 분석하였다. 이 연구를 통해 얻을 수 있는 결론은 Timing diagram이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1985년도 하계학술회의논문집
• /
• pp.234-237
• /
• 1985

본 논문은 득정한 하드웨어를 구성함에 앞서 그 시스템이 State-diagram으로 표현된 것을 입력으로 받아 state-diagram이 맞는지를 verify하는 방법을 제시하며 equivalence state를 찾아 reduce해준다. Program의 실현은 Prolog로 하였다.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.527-540
• /
• 2009

상태 다이어그램은 객체가 가질 수 있는 상태와 각 상태에서 수행 할 수 있는 전이를 사용하여 객체의 동적행위를 표현한다. 본 논문에서는 클래스 연산들의 선행/후행 조건들을 이용하여 상태다이어그램을 자동으로 생성하는 기법을 제안한다. 그리고 본 논문에서 제시한 기법을 구현하는 도구 SDAG(State Diagram Automatic Generation Tool)을 제작하였다. 추가적으로 생성된 상태 다이어그램의 복잡도를 감소시키기 위하여 연산의 종류를 고려한 상태 다이어그램 생성 방법과 생성된 다이어그램을 측정하는 방법을 제안하고 실험하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.69-70
• /
• 2013

• 한국전자거래학회지
• /
• 제9권3호
• /
• pp.145-154
• /
• 2004

객체지향 및 컴포넌트지향 소프트웨어 개발 방법론의 클래스의 도출은 개발하려는 소프트웨어의 전체 품질을 결정하는데 중요한 요소이다. 각 방법론에서는 이 부분에 대해 클래스의 정의와 도출하는 방법을 설명하고 있지만 초보 분석자들이 활용하기는 어려운 점이 많다. 그 중, 개념적 갭(conceptual gap)으로 인한 문제는 클래스 도출에 가장 큰 영향을 미친다. 연구에서는 이런 부분을 보완하기 위한 장치로써 세가지 다이어그램을 제안한다. 요구분석과정의 결과를 도식적으로 정리하여 클래스 도출을 보완하기 위한 도구로 정보다이어그램(Information Diagram), 행위다이어그램(Behavior Diagram) 그리고 관리다이어그램(Management Diagram)이다. 세 다이어그램은 시스템의 관련자(stakeholder)가 시스템에 어떤 서비스를 요구하는가에 대한 관점으로 필요한 정보를 찾고, 그에 포함될 수 있는 세부 행위를 분석하고, 누가 이 서비스에 대한 책임이 있는가의 명세이다. 본 연구에서 제안하는 다이어그램들은 기존의 소프트웨어 개발 방법에서 클래스를 도출하는 과정에 활용할 수 있다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2022년도 가을 학술논문 발표대회
• /
• pp.41-42
• /
• 2022

This study analyzed the process related to the linkage between on-site work targeting the middle size Precast Concrete(PC) public apartment building with beam-column system and prepared on-site works flow relationship diagram in which the wet process consists of core Critical Path(CP) to prepare a network diagram of the Precedence Diagram Method(PDM). Through this study, it is expected that it will be possible to maximize the project management capability by suggesting a method to minimize risk factors and the optimized process management of the beam-column system PC public apartment building.

• 정보처리학회논문지D
• /
• 제17D권5호
• /
• pp.337-346
• /
• 2010

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.492-497
• /
• 2005

It has not been studied about modeling methods for SVG documents to represent animation in the web that has been recently increased in interest. In this paper, I propose component modeling for SVG documents by CBD methodology. First, I propose conceptual modeling by UML class diagrams for converting SVG document into component diagram. And then, I propose rules to convert the UML class diagram into component diagram. Thus, main contribution of this paper is that it can generate a component diagram for a SVG document using Component-Based Development methodology.