• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권11호
• /
• pp.5616-5630
• /
• 2019

Fully homomorphic encryption allows a third-party to perform arbitrary computation over encrypted data and is especially suitable for secure outsourced computation. This paper investigates secure outsourced computation of multiple matrix multiplication based on fully homomorphic encryption. Our work significantly improves the latest Mishra et al.'s work. We improve Mishra et al.'s matrix encoding method by introducing a column-order matrix encoding method which requires smaller parameter. This enables us to develop a binary multiplication method for multiple matrix multiplication, which multiplies pairwise two adjacent matrices in the tree structure instead of Mishra et al.'s sequential matrix multiplication from left to right. The binary multiplication method results in a logarithmic-depth circuit, thus is much more efficient than the sequential matrix multiplication method with linear-depth circuit. Experimental results show that for the product of ten 32×32 (64×64) square matrices our method takes only several thousand seconds while Mishra et al.'s method will take about tens of thousands of years which is astonishingly impractical. In addition, we further generalize our result from square matrix to non-square matrix. Experimental results show that the binary multiplication method and the classical dynamic programming method have a similar performance for ten non-square matrices multiplication.

• 한국지진공학회논문집
• /
• 제2권3호
• /
• pp.27-35
• /
• 1998

Steel structures with added viscoelastic dampers are analysed to investigat their behavior under earthquake excitation. The direct integration method, which produces exact solution for the non-proportional or non-classical damping system, is used throughout the analysis. The results from modal strain energy method are also provided for comparison. Then a new analytical a, pp.oach, based on the rigid floor diaphragm assumption and matrix condensation technique, is introduced, and the results are compared with those obtained from direct integration method and modal strain energy method. The well known phenomenon, that the effectiveness of the viscoelastic dampers depends greatly on the location of the dampers, is once again confirmed in the analysis. It is also found that the modal strain energy method generaly underestimates the responses obtained from the direct integration method, especially when the dampers are placed in only a part of the building. The proposed method turns out to be very efficient with considerable saving in computation this and reasonably accurate considering the reduced degrees of freedom.

• 대한전기학회논문지
• /
• 제37권11호
• /
• pp.720-726
• /
• 1988

본 논문에서는 적응 알고리즘을 마이크로컴퓨터에 의하여 실현하고 그것을 열교환기에 응용하였으며 실험결과 검토하엿다. 실험을 위하여 제작된 열교환기는 비최소위상 시스템으로 판정되었으며 직접 수확적으로 모형화하는 데에는 많은 어려움이 있었다. 따라서 PID제어방법 등 다른 고전적인 제어 방법들을 사용하려면 실험을 통한 많은 시행착오를 거쳐 시스템의 파라미터 값들을 결정해야하고 시스템의 파라미터 값들이 변화할 경우 좋은 성능을 보장하지 못한다. 이런 어려움을 극복하고 제어기의 성능을 향상시키기 위해 비최소상위 시스템에 적용할 수 있는 두 가지 적응제어 방식을 선택하여 열교환기에 응용하여 보았다. 아울러 적응제어 방식의 성능을 종래의 PID제어기에 의한 결과와 비교하여 보았다.이러한 연구의 최종적인 목적은 산업플랜트에 손쉽게 적용될 수 있는 제어기를 마이크로프로세서를 사용하여 구성하는 것이다.

• 제어로봇시스템학회논문지
• /
• 제3권5호
• /
• pp.532-541
• /
• 1997

This article derives an analytic solution to determine the optimal size of multiple noncontinuous process and storage units. The total cost to be minimized consists of the setup cost of noncontinuous processing units and the inventory holding cost of feedstock/product storages. A novel approach, which is called PSW(Periodic Square Wave) model, is applied to represent the material flow among non-continuous units and storages. PSW model presumes that the material flow between unit and storage is periodic square wave shaped. The resulting optimal unit size has similar characteristics with the classical economic lot sizing model such as EOQ(Economic Order Quantity) or EPQ(Economic Production Quantity) model in a sense that the unit size is determined as the balance between setup and inventory holding cost. However, the influence of inventory holding cost of PSW model is different from that of EOQ/EPQ model. EOQ/EPQ model includes only the product inventory holding cost but PSW model includes all inventory holding costs around the non-continuous unit with proportional contribution. PSW model is suitable for analyzing interlinked process-storage system. The optimal lot size of PSW model is smaller than that of EOQ/EPQ model. This is quitea remarkable result considering that the EOQ/EPQ model has been is widely used since last half century.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.1216-1219
• /
• 2002

It is understood so far that the center of mass does not make any linear movement from the rotatory movement of a rigid body in the closed system. However, it has been found that the center of mass of the system could make a closed linear movement due to production of an instantaneous center of mass by the Coriolis force in the rotatory movement of a rigid body in the closed system. The nature of the closed linear movement in the non-inertial system and that of the open movement in the inertial system are different from each other. That is, the closed movement is described like the time integration of frictional forces, which is different from the open movement usually considered and described like the time integration of external forces. It is shown in this paper that the Coriolis forces, called a fictitious force in the classical mechanics, is similar to the frictional force so that it causes to move the center of mass of a closed system. In this paper, following an explanation of the closed linear movement of a non-inertial system and the open movement of an inertial system, the source of the closed linear movement phenomenon of a rotatory rigid body is presented.

• Communications for Statistical Applications and Methods
• /
• 제24권4호
• /
• pp.383-396
• /
• 2017

The model in our approach assumes that computer responses are a realization of a Gaussian processes superimposed on a regression model called a Gaussian process regression model (GPRM). Selecting a subset of variables or building a good reduced model in classical regression is an important process to identify variables influential to responses and for further analysis such as prediction or classification. One reason to select some variables in the prediction aspect is to prevent the over-fitting or under-fitting to data. The same reasoning and approach can be applicable to GPRM. However, only a few works on the variable selection in GPRM were done. In this paper, we propose a new algorithm to build a good prediction model among some GPRMs. It is a post-work of the algorithm that includes the Welch method suggested by previous researchers. The proposed algorithms select some non-zero regression coefficients (${\beta}^{\prime}s$) using forward and backward methods along with the Lasso guided approach. During this process, the fixed were covariance parameters (${\theta}^{\prime}s$) that were pre-selected by the Welch algorithm. We illustrated the superiority of our proposed models over the Welch method and non-selection models using four test functions and one real data example. Future extensions are also discussed.

• 한국정밀공학회지
• /
• 제15권10호
• /
• pp.96-102
• /
• 1998

In this study, the theory and application of phase-shifting shadow moire topography is focused on the non-contact measurement of object surfaces for practical use in the field of production engineering. Shadow moire topography has been studied during last few decades in the area of the optical physics, and now its mathmatical theory has been established. Generally, in case of the classical shadow moire topography, the sensitivity is a few tenths of millimeter in best cases. Here we tried the application of phase-shifting method to the conventional shadow moire topography. But the reference grating and the deformed grating are mutually dependent because it is impossible to obtain uniform phase shifts on the whole Held. Therefore it is difficult to use a phase-shifting method in shadow moire topography. However, it was shown that constant phase-shifting was able to be measured by moving both the grating and light source. Finally we obtained a better result by using this procedure and applied the phase-shifting shadow moire to three dimensional object measurement.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권2호
• /
• pp.611-627
• /
• 2017

For enhancing the coverage of wireless networks and increasing the spectrum efficiency, small cell networks (SCNs) are considered to be one of the most prospective schemes. Most of the existing literature on resource allocation among non-cooperative small cell base stations (SBSs) has widely drawn close attention and there are only a small number of the cooperative ideas in SCNs. Based on the motivation, we further investigate the cooperative approach, which is formulated as a coalition formation game with power control algorithm (CFG-PC). First, we formulate the downlink sub-channel resource allocation problem in an SCN as a coalition formation game. Pareto order and utilitarian order are applied to form coalitions respectively. Second, to achieve more availability and efficiency power assignment, we expand and solve the power control using particle swarm optimization (PSO). Finally, with our proposed algorithm, each SBS can cooperatively work and eventually converge to a stable SBS partition. As far as the transmit rate of per SBS and the system rate are concerned respectively, simulation results indicate that our proposed CFG-PC has a significant advantage, relative to a classical coalition formation algorithm and the non-cooperative case.

• Animal cells and systems
• /
• 제9권1호
• /
• pp.1-7
• /
• 2005

Class I and class II MHC genes have been identified in most of the jawed vertebrate taxa. In all investigated bony fish species, unlike mammals, the classical class I and class II MHC genes are not linked and even are found on different chromosomes. Linking and clustering of the class I and class II MHC genes is not the only phenomenon clearly detected in the evolution of immune system from cartilaginous to mammals. In all non-mammalian classes the LMP/TAP genes are highly conserved within class I genes region, while these genes are conserved within class II genes region only in mammals. Today we know that LMP/TAP genes in mammals have a crucial role in peptide processing for presentation within class I molecules, as well as in anti-tumor immunity. For these reasons, differences in clustering of LMP/TAP/MHC genes can be responsible for the differences in mechanisms and efficacy of anti-tumor immunity in non-mammalian vertebrates compared to same mechanisms in mammals. Also, the differences in cytokine network and anti-tumor antigens presentation within classes of vertebrates can be explained by toe peculiarity of LMP/TAP/MHC gene clustering.

• Structural Engineering and Mechanics
• /
• 제23권1호
• /
• pp.63-74
• /
• 2006

In this paper, the scattering of harmonic elastic anti-plane shear waves by two collinear cracks in functionally graded materials is investigated by means of nonlocal theory. The traditional concepts of the non-local theory are extended to solve the fracture problem of functionally graded materials. To overcome the mathematical difficulties, a one-dimensional non-local kernel is used instead of a two-dimensional one for the anti-plane dynamic problem to obtain the stress field near the crack tips. To make the analysis tractable, it is assumed that the shear modulus and the material density vary exponentially with coordinate vertical to the crack. By use of the Fourier transform, the problem can be solved with the help of a pair of triple integral equations, in which the unknown variable is the displacement on the crack surfaces. To solve the triple integral equations, the displacement on the crack surfaces is expanded in a series of Jacobi polynomials. Unlike the classical elasticity solutions, it is found that no stress singularities are present at crack tips.