• 논리연구
• /
• 제17권1호
• /
• pp.137-181
• /
• 2014

필자는 이 글에서 고차모호성의 딜레마를 해결하기 위한 방법으로 극단적 결정불가능성을 제안하고자 한다. 극단적 결정불가능성은 II-규칙을 만족시키는 결정불가능성인데, II-규칙이란 IPa가 성립하면, 즉 a가 P인지 결정 불가능하면 그러한 결정불가능성 역시 결정불가능하다는 것, 즉 IIPa 역시 성립한다는 것이다. 이러한 필자의 논의는 두 단계로 구성된다. 첫 번째 단계는 고차모호성의 딜레마의 구조를 분석하고, 그것을 극복하기 위한 조건을 제시하는 것이다. 두 번째 단계는 앞에서 제시한 조건을 만족하는 것으로 극단적 결정불가능성을 제시하는 것이다. 전자와 관련해서, 필자는 고차모호성의 딜레마가 발생하는 이유가 경계영역의 불분명함을 잘못 해석한 것에 기인함을 밝힐 것이다. 그런데 경계영역의 불분명함은 모호성에 대한 기본적 직관을 구성하는 것이다. 그래서 고차모호성의 딜레마를 해결하기 위한 조건은 모호성에 대한 올바른 이해가 만족시켜야 하는 조건이기도 하다. 필자는 이러한 조건을 만족하는 것으로 II-규칙을 제시할 것이며, II-규칙과 관련된 모호성에 대한 새로운 이해 방법으로 극단적 결정불가능성을 제시할 것이다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권2호
• /
• pp.1100-1123
• /
• 2019

A code-based cryptosystem can resist quantum-computing attacks. However, an original system based on the Goppa code has a large key size, which makes it unpractical in embedded devices with limited sources. Many special error-correcting codes have recently been developed to reduce the key size, and yet these systems are easily broken through side channel attacks, particularly differential power analysis (DPA) attacks, when they are applied to hardware devices. To address this problem, a higher-order masking scheme for a McEliece cryptosystem based on the quasi-dyadic moderate density parity check (QD-MDPC) code has been proposed. The proposed scheme has a small key size and is able to resist DPA attacks. In this paper, a novel McEliece cryptosystem based on the QD-MDPC code is demonstrated. The key size of this novel cryptosystem is reduced by 78 times, which meets the requirements of embedded devices. Further, based on the novel cryptosystem, a higher-order masking scheme was developed by constructing an extension Ishai-Sahai-Wagne (ISW) masking scheme. The authenticity and integrity analysis verify that the proposed scheme has higher security than conventional approaches. Finally, a side channel attack experiment was also conducted to verify that the novel masking system is able to defend against high-order DPA attacks on hardware devices. Based on the experimental validation, it can be concluded that the proposed higher-order masking scheme can be applied as an advanced protection solution for devices with limited resources.

• 정보보호학회논문지
• /
• 제9권3호
• /
• pp.27-38
• /
• 1999

DC 및 LC에 대하여 증명 가능한 안전성을 제공하는 2-블록 구조를 라운드 함수의 위치에 따라 서 C(Center)-형 R(Right)형 L(Left)-형으로 구분하고 각각에 대한 고차 차분 공격 측면의 안전성을 분 석한다. 4라운드 암호화 함수인 경우 세가지 2-블록 구조는 고차 차분 공격에 대하여 동일 한 안전성을 제공한다는 사실을 증명하며 5라운드 이상의 암호화 함수에 대해서는 병렬 연산이 가능한 R-형 구조가 C-형과 l-형에 비해서 계산 효율성은 높지만 고차 차분 공격 측면의 안전성은 떨어진다는 사실을 밝힌 다. We study on the security for the block ciphers with 20block structure which have provable security against DC and LC on the view point of higher order DC, 2-block structures are classified three types according to the location of round function such as C(Center)-type R(Right)-type and L(Left)-type We prove that in the case of 4 rounds encryption function these three types provide the equal strength against higher order DC and that in the case of 5 or more rounds R-type is weaker than C-type and L-type.

• Ocean Systems Engineering
• /
• 제9권1호
• /
• pp.97-109
• /
• 2019

Accurate calculation of the mean drift forces and moments is necessary when studying the higher order excitations on the floater in waves. When taking the time average of the second order forces and moments, the second order potential and motion diminish with only the first order terms remained. However, in the results of the first order forces or motions, the irregular frequency effects are often observed in higher frequencies, which will affect the accuracy of the calculation of the second order forces and moments. Therefore, we need to pay close attention to the irregular frequency effects in the mean drift forces. This paper will discuss about the irregular frequency effects in the calculations of the mean drift forces and validate our in-house program MDL Multi DYN using some examples which are known to have irregular frequency effects. Finally, we prove that it is necessary to remove the effects and demonstrate that the effectiveness of the formula and methods adopted in the development of our program.

• 한국축산식품학회지
• /
• 제43권2호
• /
• pp.374-381
• /
• 2023

In a previous study, 'response surface methodology (RSM) using a fullest balanced model' was proposed to improve the optimization of food processing when a standard second-order model has a significant lack of fit. However, that methodology can be used when each factor of the experimental design has five levels. In response surface experiments for optimization, not only five-level designs, but also three-level designs are used. Therefore, the present study aimed to improve the optimization of food processing when the experimental factors have three levels through a new approach to RSM. This approach employs three-step modeling based on a second-order model, a balanced higher-order model, and a balanced highest-order model. The dataset from the experimental data in a three-level, two-factor central composite design in a previous research was used to illustrate three-step modeling and the subsequent optimization. The proposed approach to RSM predicted improved results of optimization, which are different from the predicted optimization results in the previous research.

• 대한기계학회논문집A
• /
• 제31권1호
• /
• pp.121-128
• /
• 2007

Enhanced lower order shear deformation theory is developed in this study. Generally, lower order theories are not adequate to predict accurate deformation and stress distribution through the thickness of laminated plate. For the accurate prediction of detailed stress and deformation distributions through the thickness, higher order zigzag theories have been proposed. However, in most cases, simplified zigzag higher order theory requires $C_1$, shape functions in finite element implementation. In commercial FE softwares, $C_1$, shape functions are not so common in plate and shell analysis. Thus zigzag theories are useful for the highly accurate prediction of thick composite behaviors but they are not practical in the sense that they cannot be used conveniently in the commercial package. In practice, iso-parametric $C_0$ plate model is the standard model for the analysis and design of composite laminated plates and shells. Thus in the present study, an enhanced lower order shear deformation theory is developed. The proposed theory requires only $C_0$ shape function in FE implementation. The least-squared energy error between the lower order theory and higher order theory is minimized. An enhanced lower order shear deformation theory(ELSDT) in this paper is proposed for smart structure under complex loadings. The ELSDT is constructed by the strain energy transformation and fully coupled mechanical, electric loading cases are studied. In order to obtain accurate prediction, zigzag in-plane displacement and transverse normal deformation are considered in the deformation Held. In the electric behavior, open-circuit condition as well as closed-circuit condition is considered. Through the numerous examples, the accuracy and robustness of present theory are demonstrated.

• 한국조리학회지
• /
• 제10권1호
• /
• pp.14-31
• /
• 2004

The purposes of this study are to find influential factors on relations between customer quality and service quality of hotel foods & beverages, to find out factors influencing on customers' intention to revisit, to understand suggestive points in the side of operation of hotel's foods & beverages, and to offer basal materials for establishing marketing for hotel operators. The study results were proved followings; in factors of customer quality, the higher factors of customers' manner·etiquette, the higher pleasantness, trust, kindness, among factors of service quality of hotel foods & beverages. The higher factor of customers' social status, the higher typicalness, pleasantness, trust, kindness, among factors of service quality of hotel foods & beverages. The higher customers' economic level, the higher pleasantness, trust, kindness. The higher customers' manner·etiquette, customers' social status, customers' economic level, at corners selling foods & beverages in hotels, the higher typicalness, pleasantness, trust, kindness, among factors of service quality of hotel foods & beverages, the higher customers' intention to revisit. Therefore, in order to improve services of corners selling foods & beverages in hotels, customer quality must improve, and marketing strategies proper for maintaining improved customer quality. As customers think much of hotel employees' service quality, kindness, and care, kind and skillful employees need be distributed in hotels. In order to elevate quality of employees working at corners selling foods & beverages in hotels, which is adequate for images of hotels, supervisors of companies or relevant departments must implement the reward system to encourage hotel employees to work at parts adequate for employees' individual ability as well as get feeling of accomplishment, in order for employees to keep liveliness and self-confidence.

• Steel and Composite Structures
• /
• 제29권1호
• /
• pp.53-66
• /
• 2018

A high-order nonlocal strain gradient model is developed for wave propagation analysis of porous FG nanoplates resting on a gradient hybrid foundation in thermal environment, for the first time. Material properties are assumed to be temperature-dependent and graded in the nanoplate thickness direction. To consider the thermal effects, uniform, linear, nonlinear, exponential, and sinusoidal temperature distributions are considered for temperature-dependent FG material properties. On the basis of the refined-higher order shear deformation plate theory (R-HSDT) in conjunction with the bi-Helmholtz nonlocal strain gradient theory (B-H NSGT), Hamilton's principle is used to derive the equations of wave motion. Then the dispersion relation between frequency and wave number is solved analytically. The influences of various parameters (such as temperature rise, volume fraction index, porosity volume fraction, lower and higher order nonlocal parameters, material characteristic parameter, foundations components, and wave number) on the wave propagation behaviors of porous FG nanoplates are investigated in detail.

• Structural Engineering and Mechanics
• /
• 제66권6호
• /
• pp.761-769
• /
• 2018

In this paper, we study the Carbon/Glass hybrid laminated composite plates, where the buckling behavior is examined using an accurate and simple refined higher order shear deformation theory. This theory takes account the shear effect, where shear deformation and shear stresses will be considered in determination of critical buckling load under different boundary conditions. The most interesting feature of this new kind of hybrid laminated composite plates is that the possibility of varying components percentages, which allows us for a variety of plates with different materials combinations in order to overcome the most difficult obstacles faced in traditional laminated composite plates like (cost and strength). Numerical results of the present study are compared with three-dimensional elasticity solutions and results of the first-order and the other higher-order theories issue from the literature. It can be concluded that the proposed theory is accurate and simple in solving the buckling behavior of hybrid laminated composite plates and allows to industrials the possibility to adjust the component of this new kind of plates in the most efficient way (reducing time and cost) according to their specific needs.

• Structural Engineering and Mechanics
• /
• 제58권6호
• /
• pp.949-966
• /
• 2016

The second order analysis taking place due to non-linear behavior of the structures under the mechanical and geometric factors through implementing exact and approximate methods is an indispensible issue in the analysis of such structures. Among the exact methods is the slope-deflection method that due to its simplicity and efficiency of its relationships has always been in consideration. By solving the differential equations of the modified slope-deflection method in which the effect of axial compressive force is considered, the stiffness matrix including trigonometric entries would be obtained. The complexity of computations with trigonometric functions causes replacement with their Maclaurin expansion. In most cases only the first two terms of this expansion are used but to obtain more accurate results, more elements are needed. In this paper, the effect of utilizing higher order terms of Maclaurin expansion on reducing the number of required elements and attaining more rapid convergence with less error is investigated for the Bernoulli beam with various boundary conditions. The results indicate that when using only one element along the beam length, utilizing higher order terms in Maclaurin expansion would reduce the relative error in determining the critical buckling load and kinematic parameters in the second order analysis.