• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.238-241
• /
• 2010

This paper proposed an approach to integrate bridge condition assessment related information with a 3D bridge model to visualize bridge condition assessment information in the 3D bridge model. In this approach, bridge information model plays a centric role in the data access and realizes the integration of bridge initial design and historical bridge maintenance records. Behind the bridge information model is a rational database. After the system requirements for this approach, several IFC data model extensions are suggested.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.251-256
• /
• 2004

A concept in which laser-sustained plasmas (LSPs) are combined with inductively coupled plasmas (ICPs) is proposed. The concept is aiming at extensions of operative conditions of a CW laser thruster due to the fact that the ICP has some characteristics which are in contrast to those of LSPs. An estimation confirmed that the concept would effectively work. And a fundamental experiment was conducted. The results showed that the radio frequency magnetic field induced by a alternate current of 13.56 MHz coupled inductively with LSPs, resulting in the enlargement of the plasma region and the attainment of the enthalpy. It is expected that some improvements will enable to transfer the RF power to the work gas more effectively and to demonstrate the synergy effect between the LSPs and the ICPs.

• 한국논리학회:학술대회논문집
• /
• 2009.05a
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• Journal of the Korean Data and Information Science Society
• /
• v.23 no.2
• /
• pp.385-392
• /
• 2012

Logistic regression is a well known binary classification method in the field of statistical learning. Mixed-effect regression models are widely used for the analysis of correlated data such as those found in longitudinal studies. We consider kernel extensions with semiparametric fixed effects and parametric random effects for the logistic regression. The estimation is performed through the penalized likelihood method based on kernel trick, and our focus is on the efficient computation and the effective hyperparameter selection. For the selection of optimal hyperparameters, cross-validation techniques are employed. Numerical results are then presented to indicate the performance of the proposed procedure.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.463-465
• /
• 2003

그리드 상에서 사용되는 MPICH-G2는 효율적이고 확장이 용이한 구조를 지니고 있지만 최근 그리드 상에서 요구되는 병렬 입출력, 보안 및 QoS와 같은 기능을 제공하지 못하고 있다. 본 논문은 MPI의 attribute caching 방법을 이용하여 MPI의 표준 인터페이스를 훼손하지 않으면서 MPICH-G2상에서 메시지의 송수신시에 암호화 및 복호화 등의 보안 기능을 수행할 수 있는 확장된 구조 및 구현 방안을 제시한다. 본 논문에서 제시된 구조 및 구현 방안은 MPICH-G2 상에 향후 추가될 수 있는 서비스에 의존적이지 않기 때문에, QoS나 메시지 압축과 같은 기능 추가를 위해 손쉽게 사용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.889-891
• /
• 2005

이동 컴퓨팅 환경에서 휴대용 기기의 저전력 설계는 매우 중요한 문제 가운데 하나라고 할 수 있다. 그동안 저전력 설계를 위한 한 방안으로 수행되어야 하는 작업을 전력이 풍부한 일반 개인용 컴퓨터 혹은 서버로 이전하는 방안이 제시되어왔다. 한편, 최근 컴포넌트 기반 시스템이 이동 컴퓨팅 환경에 적합한 환경으로 제시되고 있다. 본 논문에서는 대표적인 컴포넌트 기반 환경인 CORBA에서 전력이 풍부한 원격 컴퓨터에서 전력을 많이 소비하는 컴포넌트를 실행함으로써 전력 소비를 줄이는 방안을 제시한다.

• Smart Media Journal
• /
• v.5 no.3
• /
• pp.88-92
• /
• 2016

This paper proposes a method of forecasting the computer technology development direction. Most computer technology researches in Korea are developed from hot research issues. This approach to take research topics mostly produces less valuable results. In order to choose more valuable research topics, researchers should company with the technology development trends. This paper proposes a way to forecast the computer technologies on the way to the future. It analyzes the development history of programming languages, and forecasts future directions as extensions of the history.

• IE interfaces
• /
• v.6 no.2
• /
• pp.133-150
• /
• 1993

Recent industrial efforts are directed toward the development of CIM(Computer integrated Manufacturing) system. It is often the case that the analysis of the system dynamic behaviour is overlooked, even if it is important for both the economic justification and system performance evaluation. The main purpose of this study is to present a n approach of system performance evaluation for PCB(Printed Circuit Board) manufacturing, especially the inner layer manufacturing processes, using simulation. The general overview of the PCB manufacturing environment has first been discussed. Then a computer simulation program which can consider the diverse dynamic environmental changes has been developed. Extensive system analyses have been performed based on the program developed and the three measures proposed. The results obtained in this study provide valuable guidelines for practical concerns and some recommendations for future extensions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.757-760
• /
• 2006

This paper describes X.509 certificate profile, which is basic and important element in the PKI. X.509 certificate consists of basic fields, unique identifiers fields(added in version 2 certificate), and extension fields(added in version 3 certificate). extension fields of version 3 certificate supplement basic fields. We describes extension fields value and its meaning in current internet certificate.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1140-1142
• /
• 2003

Imagery and gridded data can be used as the sources of extracting important information and data layers in utilizing GIS. The existing metadata standard to distribute and to utilize the geographic information are mainly concentrated at the vector data and do not provide metadata components for imagery and gridded data. In this study, metadata components for imagery and gridded data have been investigated. Firstly, existing international metadata standards such as ISO and domestic standards of TTA have been analyzed. Based on th results, the draft metadata for imagery and gridded data have been proposed as the extensions of domestic metadata standard distribution. The draft metadata could contribute to build the basic standards to access and utilize proper imagery and gridded data fit to various application field, and this will be fundamental bases for activating GIS in public and private sectors.