• 한국군사과학기술학회지
• /
• 제24권6호
• /
• pp.664-675
• /
• 2021

Air force air-to-air combat tactics are occurring at a high speed in three-dimensional space. The specification of the tactics requires dealing with a quite amount of information, which makes it a challenge to accurately describe the maneuvering procedure of the tactics. The specification of air-to-air tactics using natural languages is not suitable because of the intrinsic ambiguity of natural languages. Therefore, this paper proposes an approach of using UML Sequence Diagram to describe air-to-air combat tactics. Since the current Sequence Diagram notation is not sufficient to express all aspects of the tactics, we extend the syntax of the Sequence Diagram to accommodate the required features of air-to-air combat tactics. We evaluate the applicability of the extended Sequence Diagram to air-to-air combat tactics using a case example, that is the manned-unmanned teaming combat tactic. The result shows that Sequence Diagram specification is more advantageous than natural language specification in terms of readability, conciseness, and accuracy. However, the expressiveness of the Sequence Diagram is evaluated to be less powerful than natural language, requiring further study to address this issue.

• 한국연소학회:학술대회논문집
• /
• 한국연소학회 2004년도 제28회 KOSCO SYMPOSIUM 논문집
• /
• pp.133-137
• /
• 2004

The present study is focused on the small scale turbulent mixing processes in the scalar field. In order to deal with molecular mixing in turbulent flow, the linear eddy model is addressed. In each realization, the molecular mixing term is implemented deterministically, and turbulent stirring is represented by a sequence of instantaneous, statistically independent rearrangement event called by triplet map. The LEM approach is applied with relatively simple conditions. The characteristics of scalar mixing and PDF profiles are addressed in detail.

• 경영과학
• /
• 제13권1호
• /
• pp.13-27
• /
• 1996

This paper considers the sequencing problem in mixed model assembly lines with hybrid workstation types and sequence-dependent setup times. Computation time is often a critical factor in choosing a method of determining the sequence. We develop a mathematical formulation of the problem to minimize the overall length of a line, and present a tabu search technique which can provide a near optimal solution in real time. The proposed technique is compared with a genetic algorithm and a branch-and-bound method. Experimental results are reported to demonstrate the efficiency of the technique.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1998년도 춘계학술대회논문집
• /
• pp.134-137
• /
• 1998

Caliber design in bar and rod rolling depends on the designer's experience, which in general is acquired through costly trial-and-error process. As a prerequisite for developing a scientific approach to caliber design, we present a finite element model to simulate 3-D deformation of bars and rods occurring in multi-pass sequence. The results are compared with measurements obtained from POSCO for to assess the solution accuracy. The comparison shows that the simulation results agree well experiments.

• 전자공학회논문지A
• /
• 제32A권7호
• /
• pp.8-15
• /
• 1995

We have proposed a new fast serial serch algorithm and a receiver for direct-sequence spead-spectrum acquisition systems and analyzed its perfoemance. This algorithm achieves faster acquisition by more than two times that of existing algorithm. We have derived equations of the mean acquistion time by using moment generating function and direct approach, and presented numerical results.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1984년도 추계학술발표회논문집
• /
• pp.82-87
• /
• 1984

A 2-D digital filter with rational frequency response can be expanded into an infinite sequence of filterins operations. Each filtering operation can be implemented by convolution with a Low-order 20D finite-extent impulse response. If a convergence constraint is satisfied, the sequence of estimates will approach the desired output signal. In practice, as the number of iterations is finite, the frequency response implemented by iterative computations is an approximation to the desired rational frequency response.

• Kyungpook Mathematical Journal
• /
• 제59권1호
• /
• pp.23-34
• /
• 2019

In this paper, we first define generalizations of Pell and Pell-Lucas sequences by the recurrence relations $$p_n=2ap_{n-1}+(b-a^2)p_{n-2}\;and\;q_n=2aq_{n-1}+(b-a^2)q_{n-2}$$ with initial conditions $p_0=0$, $p_1=1$, and $p_0=2$, $p_1=2a$, respectively. We give generating functions and Binet's formulas for these sequences. Also, we obtain some identities of these sequences.

• Journal of the Korean Statistical Society
• /
• 제12권2호
• /
• pp.95-99
• /
• 1983

Limiting law for maximum queue length in G/M/1 queue system is derived. Furthermore, a simple approach using mixing sequence is also discussed.

• 인지과학
• /
• 제22권3호
• /
• pp.327-345
• /
• 2011

본 논문에서는 형태소 분석기를 사용하지 않는 음절 단위의 한국어 품사 태깅 방법론을 제안한다. 기존 연구에서 한국어 품사 태거는 형태소 분석기가 생성한 결과 중에서 문맥에 가장 잘 맞는 형태소/품사 열을 결정하는 데 반하여, 본 논문에서 제안한 방법론에서는 품사열을 결정할 뿐만 아니라 형태소도 생성한다. 398,632 어절의 학습 데이터로 학습을 하고 33,467 어절의 평가 데이터로 성능 평가를 한 결과 어절 단위의 정확도가 96.31%인 것으로 나타났다.

• 대한기계학회논문집A
• /
• 제23권11호
• /
• pp.1952-1959
• /
• 1999

The work factor approach, so-called single specimen technique could be used to determine energy release rate from a single test record for unidirectional CLS specimen. In the present study, the work factor approach was extended to determine the mixed-mode fracture toughness of multi-directional graphite/epoxy laminated composites. Multi-directional CLS specimens were used for fracture tests. The stacking sequences used for the lap and the strap were $[90_2/0_2]_s/[0_4/90_4]_s$ and $[0/\pm45/0]_s/[0_2/\pm45_2/0_2]_2$, respectively. For both cases, the fracture toughness determined from the work factor approach was compared with that determined from the compliance method. It was found that both methods produced fracture toughness within a maximum 15% difference for each stacking sequence. The fractography analysis also showed that the fiber bridging occurred for$[0/\pm45/0]_s/[0_2/\pm45_2/0_2]_2$ case while it did not occur for $[90_2/0_2]_s/[0_4/90_4]_s$ case.