• 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.

• Korean Journal of Mathematics
• /
• 제28권3호
• /
• pp.449-457
• /
• 2020

We focus on the interations of the weighted Berezin transform T_α on L^p(τ), where τ is the invariant measure on the complex unit ball B_n. Iterations of T_α on L¹_R(τ) the space of radial integrable functions played important roles in proving 𝓜-harmonicity of bounded functions with invariant mean value property. Here, we introduce more properties on iterations of T_α on L¹_R(τ) and observe differences between the iterations of T_α on L1(τ) and L^p(τ) for 1 < p < ∞.

• Smart Structures and Systems
• /
• 제14권5호
• /
• pp.961-980
• /
• 2014

Based on the general theory of elasticity, the static behavior of 2-2 cement-based piezoelectric curved composites is investigated. The actuator consists of 2 cement layers and 1 piezoelectric layer. Considering the electrode layer between the cement layer and the piezoelectric layer as the elastic layer, the exact solutions of the mechanical and electrical fields of the curved composites are obtained by utilizing the Airy stress function method. Furthermore, the theoretical results are compared with the FEM results and good agreements (with almost no error) are obtained, thus proving the validity of this study. Furthermore, the influence of certain parameters is discussed, which can help to get the desired displacements and stresses. Finally, it is seen that the analytical model established in this paper works well, which could benefit the design of this kind of cement-based smart devices.

• 한국자동차공학회논문집
• /
• 제11권1호
• /
• pp.112-120
• /
• 2003

In this paper, dynamic track tension fur high mobility tracked vehicle is investigated by multibody dynamic simulation techniques. This research focuses on a heavy military tracked vehicle which has sophisticated suspension and rubber bushed rack systems. In order to obtain accurate dynamic track tension of track subsystems, each track link is modeled as a body which has six degrees of freedom. A compliant bushing element is used to connect track links. Various virtual proving ground models are developed to observe dynamic changes of the track tension. Numerical studies of the dynamic track tension are validated against the experimental measurements. The effects of pre-tensions, traction forces, fuming resistances, sprocket torques, ground profiles, and vehicle speeds, for dynamic responses of track tensions are explored, respectively.

• 대한수학회보
• /
• 제32권1호
• /
• pp.85-91
• /
• 1995

For a locally compact Hausdorff space, we denote by $C_0(X)$ the Banach space of all continuous complex valued functions defined on X which vanish at infinity, equipped with the usual sup norm. In case X is compact, we write C(X) instead of $C_0(X)$. A well-known Banach-Stone theorem states that the existence of an isometry between the function spaces $C_0(X)$ and $C_0(Y)$ implies X and Y are homemorphic. D. Amir [1] and M. Cambern [2] independently generalized this theorem by proving that if $C_0(X)$ and $C_0(Y)$ are isomorphic under an isomorphism T satisfying $\left\$\mid$ T \right\$\mid$ \left\$\mid$ T^1 \right\$\mid$ < 2$, then X and Y must also be homeomorphic.

• 지식경영연구
• /
• 제16권4호
• /
• pp.157-168
• /
• 2015

Opening government data has been one of the main goals of nations building their e-government structures. Nonetheless, more than publishing government data for public viewing, the bigger concern right now is promoting the use change to "and proving the usefulness of available public data". In order to do this, governments must be able to, not only publicize data but more so, publish the kind of data usable to infomediaries and developers in order to create new products and services for citizens. This research investigates 30 open data use cases of South Korea as listed in Data.go.kr. This study aims to contribute to a better understanding of open datasets utilization in a technologically-advanced and well-developed nation and hopefully provide some useful insights on how open data is currently being used, how it is opening up new business, and more importantly, how it is contributing to the civic society by providing services to the public.

• 대한수학회보
• /
• 제48권5호
• /
• pp.1015-1021
• /
• 2011

A point of a Riemann surface X is said to be its fixed point if it is a fixed point of one of its nontrivial holomorphic automorphisms. We start this note by proving that the set Fix(X) of fixed points of Riemann surface X of genus g${\geq}$2 has at most 82(g-1) elements and this bound is attained just for X having a Hurwitz group of automorphisms, i.e., a group of order 84(g-1). The set of such points is invariant under the group of holomorphic automorphisms of X and we study the corresponding symmetric representation. We show that its algebraic type is an essential invariant of the topological type of the holomorphic action and we study its kernel, to find in particular some sufficient condition for its faithfulness.

• 대한수학회지
• /
• 제47권4호
• /
• pp.719-733
• /
• 2010

We observe a structure on the products of coefficients of nilpotent polynomials, introducing the concept of n-semi-Armendariz that is a generalization of Armendariz rings. We first obtain a classification of reduced rings, proving that a ring R is reduced if and only if the n by n upper triangular matrix ring over R is n-semi-Armendariz. It is shown that n-semi-Armendariz rings need not be (n+1)-semi-Armendariz and vice versa. We prove that a ring R is n-semi-Armendariz if and only if so is the polynomial ring over R. We next study interesting properties and useful examples of n-semi-Armendariz rings, constructing various kinds of counterexamples in the process.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2007년도 춘계학술발표논문집
• /
• pp.178-180
• /
• 2007

본 논문은 인간의 언어정보처리 과정 중 시각단어재인(visual word recognition) 과정에서 음운정보와 철자정보의 역할 및 심성어휘집의 표상 형태를 알아보기 위해, 계산주의적 모델을 제안하고, 제안된 모델을 이용하여 실험하였다. 실험결과 계산주의적 모텔은 한국어에 대한 시각 단어재인 시 보이는 언어현상 중 음운, 철자 이웃 크기효과(phonological and orthographic neighborhood effect)를 나타냈으며, 이를 통해 한국어 시각단어재인 과정에서 심성어휘집이 음운정보로 표상되어 있다는 것을 시사하는 증거를 보였다.

• Wind and Structures
• /
• 제30권3호
• /
• pp.245-260
• /
• 2020

Wind load and responses are the major factors which govern the design norms of tall buildings. Corner modification is one of the most commonly used minor shape modification measure which significantly reduces the wind load and responses. This study presents a comparison of wind load and pressure distribution on different corner modified (chamfered and rounded) Y plan shaped buildings. The numerical study is done by ANSYS CFX. Two turbulence models, k-epsilon and Shear Stress Transport (SST), are used in the simulation of the building and the data are compared with the previous experimental results in a similar flow condition. The variation of the flow patterns, distribution of pressure over the surfaces, force and moment coefficients are evaluated and the results are represented graphically to understand the extent of nonconformities due to corner modifications. Rounded corner shape is proving out to be more efficient in comparing to chamfered corner for wind load reduction. The maximum reduction in the maximum force and moment coefficient is about 21.1% and 19.2% for 50% rounded corner cut.