• 한국인공지능학회지
• /
• 제1권1호
• /
• pp.1-3
• /
• 2013

This study suggested ways to control UML diagram and to make design of database and to retrieve diagram information by giving questions. The study classified elements of the diagram. For instance, class diagram was made of classes, and class was done of class name and attribute operator. The elements were transformed to be database table having basic key and foreign key information. The ways suggested had advantages of users' sharing of model information and reuse of the model. This study investigated cost saving, time saving and UML model construction by database. We had designed integrated and relation database that could save and manage UML diagram, and suggested retrieval. For instance, we classified class diagram into elements to make tables and kept relation of each element by using not only basic key of relation database but also foreign key information. We made database of modeling depending upon methods to give users convenience.

• 정보처리학회논문지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이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 대한한의학원전학회지
• /
• 제35권1호
• /
• pp.43-57
• /
• 2022

Objectives : The characteristics of the Liver diagram in the Donguibogam were analyzed. Methods : The Liver diagram in the Donguibogam was compared with diagrams originating from the Mingtangzangfutu(明堂臟腑圖), diagram from before the Northern Song period, Liver diagrams from Daoist texts, etc., after which its characteristics were examined in relation to quoted texts within the Donguibogam. Results : The Liver diagram of the Donguibogam is very different from that of the Mingtangzangfutu(明堂臟腑圖) or Daoist texts in that the leaf veins and leafstalk have not been depicted. The diagram in the Donguibogam depicts the liver as having seven lobes and one body instead of eight lobes. The Donguibogam diagram does not originate from the Mingtangzangfutu(明堂臟腑圖) nor is it an imitation of Daoist texts. It seems to be a visual realization based on descriptions from quoted texts such as the Nanjing, Yixuerumen, and Suwen annotations by Wangbing. Conclusions : The Liver with seven lobes and one body as depicted in the Donguibogamis likely a transformed version based on textual descriptions rather than an imitation of the Mingtangzangfutu(明堂臟腑圖) of images in Daoist texts.

• 한국융합학회논문지
• /
• 제13권3호
• /
• pp.1-9
• /
• 2022

UML(Unified Modeling Language) 클래스 다이어그램은 시스템의 정적인 측면을 표현하며 분석 및 설계부터 문서화, 테스팅까지 사용된다. 클래스 다이어그램을 이용한 모델링이 소프트웨어 개발에 있어 필수적이지만, 경험이 많지 않은 모델러에게 쉽지 않은 작업이다. 도메인 카테고리별로 분류된 클래스 다이어그램 데이터 세트가 제공된다면, 모델링 작업의 생산성을 높일 수 있을 것이다. 본 논문은 클래스 다이어그램 이미지 데이터를 구축하기 위한 자동 분류 기술을 제공한다. 추가 정보 없이 단지 UML 클래스 다이어그램 이미지를 식별하고 도메인 카테고리에 따라 자동 분류한다. 먼저, 웹상에서 수집된 이미지들이 UML 클래스 다이어그램 이미지인지 여부를 판단한다. 그리고, 식별된 클래스 다이어그램 이미지에서 클래스 이름을 추출하여 도메인 카테고리에 따라 분류한다. 제안된 분류 모델은 정밀도, 재현율, F1점수, 정확도에서 각각 100.00%, 95.59%, 97.74%, 97.77%를 달성했으며, 카테고리별 분류에 대한 정확도는 81.1%와 95.2% 사이에 분포한다. 해당 실험에 사용된 클래스 다이어그램 이미지 개수가 충분히 크지 않지만, 도출된 실험 결과는 제안된 자동 분류 방식이 고려할 만한 가치가 있음을 나타낸다.

• Progress in Superconductivity
• /
• 제14권1호
• /
• pp.24-29
• /
• 2012

$(TMTSF)_2BF_4$ containing non-centrosymmetric anions is well known to exhibit a metal insulator transition around 37 K by ordering of the anions with a $q_2$=(1/2, 1/2, 1/2) wave vector. We established pressure-temperature phase diagram of the $(TMTSF)_2BF_4$ compound and showed that it can belong to the general phase diagram of the $(TMTSF)_2X$ family. Application of hydrostatic pressure decreases the anion ordering transition temperature and the superconducting state is finally stabilized below 3.77 K under 7.7 kbar. Magnetoresistance measurement on the $(TMTSF)_2BF_4$ under 7.8 kbar is performed but neither the field-induced spin-density-wave state nor the rapid oscillation is observed up to 9 T.

• 정보처리학회논문지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 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• International Journal of CAD/CAM
• /
• 제5권1호
• /
• pp.59-68
• /
• 2005

Euclidean Voronoi diagram of spheres in 3-dimensional space has not been explored as much as it deserves even though it has significant potential impacts on diverse applications in both science and engineering. In addition, studies on the data structure for its topology have not been reported yet. Presented in this, paper is the topological representation for Euclidean Voronoi diagram of spheres which is a typical non-manifold model. The proposed representation is a variation of radial edge data structure capable of dealing with the topological characteristics of Euclidean Voronoi diagram of spheres distinguished from those of a general non-manifold model and Euclidean Voronoi diagram of points. Various topological queries for the spatial reasoning on the representation are also presented as a sequence of adjacency relationships among topological entities. The time and storage complexities of the proposed representation are analyzed.

• Architectural research
• /
• 제2권1호
• /
• pp.7-15
• /
• 2000

A bubble diagram is understood as a graphic medium which bridges program and plan in architectural design process. The role of a bubble diagram is either to generate or to explain a plan in relation to its program. Despite the explicit role of a bubble diagram in architectural design process, what a bubble diagram indicates exactly is very ambiguous. Here I attempt to reveal the nature of the bubble diagram more sharply. My main argument is that the ambiguity of a bubble diagram results from the fact that it is used to range two different types of representational formats. Reviewing the theories of shape recognition and shape representations in vision science, I will also argue that the procedural description of architectural design process should be criticized and that the focus of design method research has to be shifted into the representational format of form description in architectural design process.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권1호
• /
• pp.32-37
• /
• 2016

시퀀스 다이어그램에 대한 모델 기반 테스트를 수행하기 위하여 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성해야 한다. 이를 위해서는 시퀀스 다이어그램이 나타내는 시나리오를 파악하고 테스트 커버리지를 만족하는 경로를 추출하여 테스트 정보를 생성해야 한다. 하지만 시퀀스 다이어그램은 결합 조각을 사용하여 반복 및 조건, 대안 정보를 나타내므로 시퀀스 다이어그램으로부터 테스트 케이스를 자동으로 생성하는 것은 복잡하다. 이러한 문제를 해결하기 위하여 본 논문에서는 시퀀스 다이어그램으로부터 액티비티 다이어그램으로 변환을 수행하는 모델 변환 프로세스를 정의하고, 이를 통해 시퀀스 다이어그램의 시나리오를 제어 흐름 형태로 표현하고 여기에 테스트 커버리지를 적용하여 테스트 케이스를 생성하는 과정을 정의한다. 마지막으로, 사례 연구를 통하여 시퀀스 다이어그램으로부터 테스트 케이스를 생성하는 과정을 보인다.