• 호남수학학술지
• /
• 제36권1호
• /
• pp.1-9
• /
• 2014

In this paper, we investigate some properties in commutative diagrams with fiber products of three modules.

• 대한전자공학회논문지SD
• /
• 제42권11호
• /
• pp.23-32
• /
• 2005

회로도면 자동생성 분야는 지난 수십 년간 HDL기반 설계과정에서 사용되어 왔다. 그러나 회로 도면은 더욱 복잡해져서 레지스터 및 시스템 레벨에서 자동 생성된 회로도면을 보고 신호의 흐름을 파악하기 어렵다. 이와 같이 복잡해진 회로도면의 가독성을 향상시키기 위해 본 논문에서는 4가지 기법, 즉 i ) 심볼이나 터미널들과 같이 반복되는 회로 패턴을 벡터 형태로 치환, ii) 피드백 루프 절단 알고리즘 개선, iii) 번들 네트 생성시 발생하는 다단 연결을 간결 화할 수 있는 압축 탭, iv) 연결도에 따라 블록열을 구분하고 정렬하는 알고리즘을 제안한다. 제안된 회로도면 생성 기법의 효용성을 확인하기 위해 도면 자동생성 프로그램을 개발하고, 계층적으로 설계된 미디어 프로세서의 다양한 모듈의 도면을 생성시켰다. 실험한 결과 도면 면적을 비롯하여 배선 수, 길이 등을 $90\%$까지 감소시키고 가독성을 높이는 효과를 보였으며 블록의 분산 및 빈 공간 발생을 억제하는 효과를 보였다.

• 한국인터넷방송통신학회논문지
• /
• 제11권2호
• /
• pp.261-267
• /
• 2011

분산 시스템을 위한 강력한 소프트웨어 패러다임 중 하나가 이동 에이전트 시스템이다. 이동 에이전트의 사용이 증가하고 있으므로 이 시스템을 효율적으로 구축하기 위한 소프트웨어 개발 모델이 필요하다. 현재 소프트웨어 개발 모델로서 널리 사용되고 있는 것이 UML이다. 그러나 기존의 UML은 이동 에이전트 기반 소프트웨어 시스템을 개발하는 모델로 사용하고자 할 때 이동성을 명시적인 방식으로 기술할 수 없다. 본 논문에서는 UML 다이어그램 중 상호 작용 다이어그램(즉 순차 다이어그램과 통신 다이어그램)을 확장하여 세 가지 방법으로 이동 에이전트의 이동성을 명시적으로 표현하였는데 이동 에이전트를 위한 플랫폼의 기능도 포함하였다. 확장한 다이어그램의 표현법을 사용한 사례연구로 이동 에이전트를 이용한 분산형 파일 검색에 적용하였으며 이동 에이전트의 기능과 이동성을 잘 표현할 수 있음을 확인하였다.

• 한국보육지원학회지
• /
• 제10권1호
• /
• pp.59-79
• /
• 2014

본 연구는 유아교사들을 대상으로 행복 교육에 대한 개념도 분석을 실시하여 행복 교육에 대한 가능성과 지침을 제안하는 데 목적이 있다. 본 연구의 연구대상은 유치원과 어린이집에 근무 중인 유아교사 각 50명씩 100명을 대상으로 선정하였다. 유아교사가 작성한 개념도는 상위개념의 수, 내용요소에 따른 수, 특성, 위계, 밀도 등의 측면에서 분석하였다. 첫째, 유아교사의 행복 교육에 대한 내용에서 유치원 교사들이 사용한 상위개념의 개수는 총 364회로 나타났으며, 총 21개의 상위개념 범주로 도출하였다. 둘째, 유아교사의 행복 교육에 대한 내용에서 어린이집 교사들이 사용한 상위개념의 개수는 총 296회로 나타났으며, 총 18개의 상위개념 범주로 도출하였다. 본 연구의 결과를 통해 유아교사의 행복 교육의 개념에 대한 지식을 체계화하고 전문화된 지식체계로 발전하기 위한 지원이 필요함을 시사한다.

• 시스템엔지니어링학술지
• /
• 제15권1호
• /
• pp.1-8
• /
• 2019

Reverse engineering involves examining a system or component so as to comprehend its structure, functionality, and operation. Creation of a system model in reverse engineering can serve several purposes: test generation, change impact analysis, and the creation of a new or modified system. When attempting to reverse engineering a system, often the most readily accessible information is the system description, which does not readily lend itself to use in Model Based System Engineering (MBSE). Therefore, it is necessary to be able to transform this description into a diagram, which clearly depicts the behavior of the system as well as the interaction between components. This study demonstrates how sequence diagrams can be extracted from the systems description. Using MBSE software, the sequence diagrams for the Engineered Safety Features Component Control System (ESF-CCS) of the Nuclear Power Plant are created. Sequence diagrams are chosen because they are a means of representing the systems behavior and the interaction between components. In addition, from these diagrams, the system's functional requirements can be elicited. These diagrams then serve as the baseline of the reverse engineering process and multiple system views are subsequently be created from them, thus speeding up the development process. In addition, the use of MBSE ensures that any additional information obtained from auxiliary sources can then be input into the system model, ensuring data consistency.

• 대한수학회보
• /
• 제54권6호
• /
• pp.2149-2154
• /
• 2017

In this paper, we obtain a simple lower bound for the number of positive (resp. negative) crossings in oriented link diagrams in terms of the maximal (resp. minimal) degree of the Jones polynomial.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.119.4-119
• /
• 2002

$\textbullet$ Intoduction : Control architecture of PSR $\textbullet$ Layered functionality diagrams $\textbullet$ Class diagrams $\textbullet$ Petri-net based configuration diagram $\textbullet$ Experiments $\textbullet$ Conclusions

• East Asian mathematical journal
• /
• 제32권1호
• /
• pp.77-84
• /
• 2016

We explicitly derive diagrams representing (1,1)-decompositions of rational pretzel knots $K_{\beta}=M((-2,\;1),\;(3,\;1),\;({\mid}6{\beta}+1{\mid},{\beta}))$ from four unknotting tunnels for ${\beta}=1,\;-2$ and 2.

• 대한수학회지
• /
• 제60권6호
• /
• pp.1215-1231
• /
• 2023

In this paper, we investigate the nonnil-exact sequences and nonnil-commutative diagrams and show that they behave in a way similar to the classical ones in Abelian categories.

• 복식
• /
• 제63권3호
• /
• pp.17-32
• /
• 2013

This study examined the visual elements of the Trompe l'oeil design and the combination conditions of each element in order to deduce the form generation diagrams of Trompe l'oeil fashion design. The following is what the study found: First, Trompe l'oeil fashion design can be divided into two based on its subject: 'the combination of internal elements of dress' and 'the combination of external elements of dress'. Looking at the visual components of each type, depending on the subject, 'the combination of internal elements of dress' design was achieved by combining internal dress elements: including textile, detail, item, accessory, layering, etc.. In case of 'the combination of external elements of dress' design, the object of Trompe l'oeil was expanded in scope to environment, which includes the actions of a wearer. Second, as for Trompe l'oeil fashion design through the combination of external dress elements, the condition to combined visual components of the work in the process of creation was related to 'the popularity of object', 'the similarity of shapes and sizes', and 'the probability of location'. Third, deriving a form generation diagrams of Trompe l'oeil fashion design was very effective in delineating specific relationships and conditions, directions among elements combined in fashion design.