• 인터넷정보학회논문지
• /
• 제7권3호
• /
• pp.133-142
• /
• 2006

복수키 동의 프로토콜의 목적은 단일키 동의 프로토콜의 거듭 실행에 비하여 계산량과 통신량 면에서 효율성을 얻기 위함이다. 최근에 ID 기반의 3자 복수키 동의 프로토콜들이 제안되었지만, unknown key-share 공격 혹은 impersonation 공격 등에 대한 취약함이 발견되어 모든 종류의 공격에 대하여 안전하면서 효율적인 ID 기반 인증된 3자 키 동의 프로토콜의 설계는 아직 미지의 문제로 남아있다. 본 논문에서는 단일키 동의 프로토콜과 키 유도함수를 결합한 복수키 동의 기법을 제안한다. 기존의 복수키 동의 프로토콜에 비하여 계산적 효율성을 증가시킬 수 있을 뿐 아니라, 안전성이 증명된 단일키 동의 프로토콜과 키 유도함수를 사용함으로써 안전성을 보장받을 수 있다.

• Molecules and Cells
• /
• 제19권1호
• /
• pp.46-53
• /
• 2005

Human embryonic stem (hES) cells, unlike most cells derived from adult or fetal human tissues, represent a potentially unlimited source of various cell types for basic clinical research. To meet the increased demand for characterized hES cell lines, we established and characterized nine new lines obtained from frozen-thawed pronucleus-stage embryos. In addition, we improved the derivation efficiency from inner cell masses (to 47.4%) and optimized culture conditions for undifferentiated hES cells. After these cell lines had been maintained for over a year in vitro, they were characterized comprehensively for expression of markers of undifferentiated hES cells, karyotype, and in vitro/in vivo differentiation capacity. All of the cell lines were pluripotent, and one cell line was trisomic for chromosome 3. Improved culture techniques for hES cells should make them a good source for diverse applications in regenerative medicine, but further investigation is needed of their basic biology.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2020년도 봄 학술논문 발표대회
• /
• pp.105-106
• /
• 2020

Recently, a method of deriving an efficient 2D floor plan has been attracting attention for remodeling of old buildings with inaccurate 2D floor plans, and thus, studies on reverse engineering of indoor Point Cloud Date(PCD) have been actively conducted. However, in the case of a indoor PCD, due to interference of indoor objects, available equipment is limited to Mobile Laser Scanner(MLS), which causes a efficiency reduction of data processing. Therefore, this study proposes an automatic derivation algorithm for 2D floor plan of indoor PCD based on pixelation. First, the scanned indoor PCD is projected on the XY coordinate plane. Second, a point distribution of each pixel in the projected PCD is derived using a pixelation. Lastly, 2 floor plan derivation based on the algorithm is performed.

• Asian-Australasian Journal of Animal Sciences
• /
• 제28권11호
• /
• pp.1565-1572
• /
• 2015

Porcine embryonic stem cells (pESCs) have become an advantageous experimental tool for developing therapeutic applications and producing transgenic animals. However, despite numerous reports of putative pESC lines, deriving validated pESC lines from embryos produced in vitro remains difficult. Here, we report that embryo aggregation was useful for deriving pESCs from in vitro-produced embryos. Blastocysts derived from embryo aggregation formed a larger number of colonies and maintained cell culture stability. Our derived cell lines demonstrated expression of pluripotent markers (alkaline phosphatase, Oct4, Sox2, and Nanog), an ability to form embryoid bodies, and the capacity to differentiate into the three germ layers. A cytogenetic analysis of these cells revealed that all lines derived from aggregated blastocysts had normal female and male karyotypes. These results demonstrate that embryo aggregation could be a useful technique to improve the efficiency of deriving ESCs from in vitro-fertilized pig embryos, studying early development, and deriving pluripotent ESCs in vitro in other mammals.

• Communications for Statistical Applications and Methods
• /
• 제16권1호
• /
• pp.143-155
• /
• 2009

Best subset selection procedure based on mutual information (MI) between a set of explanatory variables and a dependent class variable is suggested. Derivation of multivariate MI is based on normal mixtures. Several types of normal mixtures are proposed. Also a best subset selection algorithm is proposed. Four real data sets are employed to demonstrate the efficiency of the proposals.

• 한국통신학회논문지
• /
• 제40권10호
• /
• pp.2080-2089
• /
• 2015

본 논문에서는 3차원 비디오 압축을 위한 표준으로서 3D-AVC와 3D-HEVC에 채택된 주위 블록의 변위 벡터정보를 이용한 블록 기반의 변위 벡터 추정 기법 (Neighboring block-based disparity vector, NBDV)을 설명하고 성능을 평가하여 분석한다. NBDV에서는 시간적 공간적으로 인접한 주위 블록에서 부호화를 완료한 변위 움직임 벡터 (disparity motion vector)를 이용하여 변위 벡터로 변환한다. 변위 벡터는 인접 시점에서 현재 블록에 대응하는 블록을 지시하는 벡터로 시점간 통계적 연관성을 이용함으로써 3차원 동영상의 부호화 효율을 증대하는데 중요한 기능을 제공한다. 제안 기술은 저 복잡도와 동일 화질에서 약 20%의 부호화 효율 증가, 그리고 네트워크 내 미디어 게이트웨이의 효율적인 동작을 제공하는 텍스쳐 비디오 우선 부호화 방식을 지원하여 3차원 비디오 압축 표준 기술로 최종 채택되었다.

• 한국전기전자재료학회논문지
• /
• 제26권12호
• /
• pp.915-919
• /
• 2013

This is the study on the development of fusion heat dissipation of carbon magnesium materials. The purpose of this study is for effective utilization of heat emission which is the core of LED lighting. The result of study enabled the derivation of side satisfying result of making the surface temperature of lighting to be below $70^{\circ}C$ (actual measurement: $58^{\circ}C$) using magnesium. The lighting products that use magnesium was made possible based on the result of this study. Also from the performance aspect such as light distribution, the measurement of light efficiency demonstrated the level of 90 lm/W. Therefore the commercialization of lighting was made possible and the efficiency could be further enhanced by supplementation of LED performance.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2008년도 정기 학술대회
• /
• pp.429-434
• /
• 2008

The objective of this paper is to introduce a project on developing Finish Drawing Automation System. The system aims to improve efficiency of the BIM-based estimation, which is realized by automatic derivation of three-dimensional geometry models of the finish details. First, overall workload differences between the drawing-based estimation methods and the BIM-based methods are analyzed. Second, an automated finish detail design method is proposed as a time-saving measure for the BIM-based estimation, as manual modeling accounts for the most time spent in the model-based estimation process. Finally, the proposed system is evaluated using a case of washboard design.

• Structural Engineering and Mechanics
• /
• 제62권1호
• /
• pp.85-95
• /
• 2017

This paper presents an explicit analytical iteration method for form-finding analysis of suspension bridges. By extending the conventional analytical form-finding method predicated on the elastic catenary theory, two nonlinear governing equations are derived for calculating the accurate unstrained lengths of the entire cable systems both the main cable and the hangers. And for the gradient-based iteration method, the derivation of explicit calculation for the Jacobian matrix while solving the nonlinear governing equation enhances the computational efficiency. The results from sensitivity analysis show well performance of the explicit Jacobian matrix compared with the traditional finite difference method. According to two numerical examples of long span suspension bridges studied, the proposed method is also compared with those reported approaches or the fundamental criterions in suspension bridge structural analysis, which eventually confirms the accuracy and efficiency of the proposed approach.

• 한국자동차공학회논문집
• /
• 제9권1호
• /
• pp.163-170
• /
• 2001

In this paper, a massless link model transmitting external forces is developed to achieve the numerical efficiency in simulation of vehicle suspension systems. Forces acting on links are resolved and transmitted to attached points with a quasi-static assumption. Also, a theoretical derivation and computer implementation of a massless link with bushing elements are proposed. In the massless link with bushing elements, one end is connected to the adjacent body with bushings and the other end is connected with a spherical joint. The deformation of a massless link with bushing elements is theoretically determined by minimizing the potential energy function with quasi-static equilibrium assumption at each time step. Several simulations with a full vehicle model are carried out to compare the efficiency of the developed massless link component. From the results, it is concluded that the proposed approach can reduce the computational time considerably.