• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권10호
• /
• pp.3624-3637
• /
• 2014

At SAC 2004, Junod and Vaudenay designed the FOX family based on the Lai-Massey scheme. They noted that it was impossible to find any useful differential characteristic or linear trail after 8 rounds of FOX64 or FOX128. In this paper, we provide the lower bound of differentially active S-boxes in consecutive rounds of the Lai-Massey scheme that has SPS as its F-function, and we propose the necessary conditions for the reachability of the lower bound. We demonstrate that similar results can be obtained with respect to the lower bound of linearly active S-boxes by proving the duality in the Lai-Massey scheme. Finally, we apply these results to FOX64 and FOX128 and prove that it is impossible to find any useful differential characteristics or linear trail after 6 rounds of FOX64. We provide a more precise security bound for FOX128.

• 대한수학회지
• /
• 제58권3호
• /
• pp.609-631
• /
• 2021

Let C[0, T] denote a generalized analogue of Wiener space, the space of real-valued continuous functions on the interval [0, T]. Define $Z_{\vec{e},n}$ : C[0, T] → ℝⁿ⁺¹ by $$Z_{\vec{e},n}(x)=\(x(0),\;{\int}_0^T\;e_1(t)dx(t),{\cdots},\;{\int}_0^T\;e_n(t)dx(t)\)$$, where e₁,…, e_n are of bounded variations on [0, T]. In this paper we derive a simple evaluation formula for Radon-Nikodym derivatives similar to the conditional expectations of functions on C[0, T] with the conditioning function $Z_{\vec{e},n}$ which has an initial weight and a kind of drift. As applications of the formula, we evaluate the Radon-Nikodym derivatives of various functions on C[0, T] which are of interested in Feynman integration theory and quantum mechanics. This work generalizes and simplifies the existing results, that is, the simple formulas with the conditioning functions related to the partitions of time interval [0, T].

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2002년도 춘계학술대회
• /
• pp.91-97
• /
• 2002

In this thesis presents line balancing problems of two-sided and mixed model assembly line widely used in practical fields using genetic algorithm for reducing throughput time, cost of tools and fixtures and improving flexibility of assembly lines. Two-sided and mixed model assembly line is a special type of production line where variety of product similar in product characteristics are assembled in both sides. This thesis proposes the genetic algorithm adequate to each step in tow-sided and mixed model assembly line with suitable presentation, individual, evaluation function, selection and genetic parameter. To confirm proposed genetic algorithm, we apply to increase the number of tasks in case study. And for evaluation the performance of proposed genetic algorithm, we compare to existing algorithm of one-sided and mixed model assembly line. The results show that the algorithm is outstanding in the problems with a larger number of stations or larger number of tasks.

• 대한안전경영과학회지
• /
• 제4권2호
• /
• pp.83-101
• /
• 2002

In this thesis presents line balancing problems of two-sided and mixed model assembly line widely used in practical fields using genetic algorithm for reducing throughput time, cost of tools and fixtures and improving flexibility of assembly lines. Two-sided and mixed model assembly line is a special type of production line where variety of product similar in product characteristics are assembled in both sides. This thesis proposes the genetic algorithm adequate to each step in tow-sided and mixed model assembly line with suitable presentation, individual, evaluation function, selection and genetic parameter. To confirm proposed genetic algorithm, we apply to increase the number of tasks in case study. And for evaluation the performance of proposed genetic algorithm, we compare to existing algorithm of one-sided and mixed model assembly line. The results show that the algorithm is outstanding in the problems with a larger number of stations or larger number of tasks.

• Structural Engineering and Mechanics
• /
• 제51권5호
• /
• pp.707-725
• /
• 2014

In order to improve the crane-hook's performance and service life, we formulate a multi-criteria shape design problem considering practical conditions. The structural weight, the displacement at specified points and the induced matrix norm of stiffness matrix are adopted as the evaluation items to be minimized. The heights and widths of cross-section are chosen as the design variables. The design variables are expressed in terms of shape functions based on the Gaussian function. For this multi-objective optimization problem with three items, we utilize a multi-objective evolutionary algorithm, that is, the multi-objective Particle Swarm Optimization (MOPSO). As a common feature of obtained solutions, the side views are tapered shapes similar to those of actual crane-hook designs. The evaluation item values of the obtained designs demonstrate importance of the present optimization as well as the feasibility of the proposed optimal design approach.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권4호
• /
• pp.519-530
• /
• 2019

선행연구에 의하면 수학 학습활동에서 인지적, 정의적 요소들 사이의 상호작용에 기반하는 메타정의는 메타인지와 유사한 방식으로 학습자의 수학적 능력과 긴밀한 역학적 관련성을 유지한다. 본 연구에서는 이러한 특성을 현상학적으로 파악하기 위하여 초등학교 5학년 수학 영재아의 소집단 문제해결 사례를 메타정의적 관점에서 분석하였다. 그 결과 수학 영재아의 인지적, 정의적 특성이 메타정의적 활동을 통해 문제해결 활동에 나타나고 있음을 알 수 있으며, 특히 문제해결자의 정의적 역량은 정서나 태도 형태의 메타정의로 문제해결 활동에 작용함을 알 수 있었다.

• 융합신호처리학회논문지
• /
• 제10권1호
• /
• pp.23-31
• /
• 2009

e-러닝 시스템에서 사용자가 원하는 교수-학습 기능의 지원 정도는 학습효과 향상을 위한 중요한 요소이다. 그러나 e-러닝의 기획, 개발, 운영, 평가 등에 있어서 시스템이 지원하는 기능에 기반 한 명세화된 참조 모델에 관한 연구는 이루어지지 않고 있다. 따라서 본 논문에서는 웹 기반의 e-러닝 시스템에서 효과적인 교수-학습 기능 지원을 위한 명세화된 참조 모형을 제안한다 제안한 명세화된 참조 모형의 유효성은 e-러닝을 수강한 학생을 대상으로 설문조사에 의해서 검증한 결과, 이전의 e-러닝 시스템보다 $11%{\sim}23%$의 효율성 향상을 기대할 수 있다. 또한 제안 모델의 활용성 검증을 위해서 기존의 e-러닝 시스템을 참조 모형에서 제시된 교수-학습 기능의 지원 정도에 따라서 사전 평가한 결과, 실제 해당 사이트를 경험한 수요자들의 서비스 요구도에 의한 만족도와 부합하는 결과를 보였다.

• 전기학회논문지
• /
• 제65권3호
• /
• pp.371-381
• /
• 2016

This paper presents a study on reliability assessment and new contribution function development of power system including Wind Turbine Generator(WTG) combined with Battery Energy Storage System(BESS). This paper develops and proposes new reliability contribution function of BESS installed at wind farms. The methodology of reliability assessment, using Monte Carlo Simulation(MCS) method to simulate sample state duration, is proposed in detail. Forced Outage Rate(FOR) considered probabilistic approach for conventional generators is modelled in this paper. The penetration of large wind power can make risk to power system adequacy, quality and stability. Although the fluctuation of wind power, BESS installed at wind farms may smooth the wind power fluctuation. Using small size system as similar as Jeju island power system, a case study of reliability evaluation and new proposed contribution function of power system containing WTG combined with BESS is demonstrated in this paper, which would contributes to BESS reliability contribution and assessment tools of actual power system in future.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권2호
• /
• pp.31-38
• /
• 2021

소스코드 감정목적물의 유사성을 판단하는 경우, 양측의 비교대상 소스코드는 컴파일과 실행이 가능 해야 한다. 또한 시스템 소스의 경우에는 하드웨어와의 인터페이스가 일치하는지 확인이 되어야 한다, 그러나 현실적으로 분쟁당사자의 소스코드가 완전하지 않은 상태로 제공되는 경우가 발생하고 있다. 분쟁을 제기하는 측에서는 동작 특성이 자사의 기능과 유사하고, 출력되는 표현과 기능이 유사한 이유로 소스코드의 핵심부분이 유사한 것으로 판단하고, 감정을 요청하고 있다. 분석과정에서 소스코드의 컴파일 오류 발생 시, 감정인은 소스코드의 흐름도를 작성하고, 함수별 코드의 흐름을 추적하는 방법을 적용하게 된다. 그러나 이 방법은 간접적이고, 감정인의 주관적인 판단이 적용되어 유사성 분석결과에 객관성에 대한 다툼이 우려된다. 본 연구에서는 임베디드 시스템에 적용된 소스코드분쟁의 감정사례를 통해 검증되지 않은 소스코드 유사성 도출의 문제점과 개선 방향을 다룬다.

• 한국컴퓨터산업학회논문지
• /
• 제4권4호
• /
• pp.613-624
• /
• 2003

본 논문은 우선순위 큐와 접미어 트리로 색인 구조를 생성한 후. 이미지 시퀀스 데이터베이스에서 다차원 타임 워핑 거리 함수를 이용하여 유사한 이미지 서브시퀀스를 신속하고 정확하게 검색할 수 있는 방법을 제안한다. 본 논문에서 제안된 방법은 사전에 정의된 중요도에 따라 선별된 이미지 시퀀스로 구성된 우선순위 큐 색인의 이미지 서브시퀀스에 대한 유사성 거리 계산을 첫 단계로 시행하여 유사한 서브시퀀스집합을 얻고 만족할 결과를 얻지 못했을 경우에는 두 번째 단계로 나머지 유사 서브시퀀스에 대해 디스크 기반의 접미어 트리를 색인 구조체로 하여 유사한 서브시퀀스를 검색하는 것이다. 하한 거리 함수를 활용하여 질의 이미지 시퀀스와 유사한 이미지 서브시퀀스를 검색하는 과정에서 생성 가능한 오류를 방지 하면서 동시에 비 유사 이미지 서브시퀀스를 제거하도록 한다.