• 한국산학기술학회논문지
• /
• 제9권5호
• /
• pp.1311-1318
• /
• 2008

본 논문에서는 지능형 유도시스템의 한계점에 대해 분6석을 진행하였고 보완방법을 제안하였다. 지능형 유도시스템이 화재시 안전하고 효과적인 피난경로를 선택하는 방법에서 기존에는 비상출입구까지의 최단거리를 선택하였으나 본 연구에서는 경로의 특성을 고려하여 최소대피시간 경로를 선택하는 방법을 제안하였다.

• 한국경영과학회지
• /
• 제19권1호
• /
• pp.85-98
• /
• 1994

The distribution of random sum of i. i. d. exponential random variables is called GHP (Generalized Phase-Type) distribution. The class of GPH distributions is large enough to include PH (Phase-Type) distributions and has several properties which can be applied conveniently for computational purposes. In this paper, we show that any distribution difined on R$^{+}$ can be app-roximated by the GPH distribution and demonstrate the accuracy of the approximation through various numerical examples. Also, we introduce an efficient way to compute the delay and waiting various numerical examples. Also, we introduce an efficient way to compute the delay and waiting time distributions of the GPH/GPH/1 queueing system which can be used as an approximation model for the GI/G/1 system, and validate its accuracy through numerical examples. The theoretical and experimental results of this paper help us accept the usefulness of the approximations based on GPH distribution.n.

• 대한기계학회논문집A
• /
• 제31권5호
• /
• pp.594-600
• /
• 2007

Rapid mold heating has been recent issue to enable the injection molding of thin-walled parts or micro/nano structures. Induction heating is an efficient way to heat a conductive workpiece by means of high-frequency electric current caused by electromagnetic induction. Because the induction heating is a convenient and efficient way of indirect heating, it has various applications such as heat treatment, brazing, welding, melting, and mold heating. The present study covers an experimental investigation on the rapid heating using the induction heating and rapid cooling using a vortex tube in order to eliminate an excessive cycle time increase. Experiments are performed in the case of a steel cup mold core with various heating and cooling conditions. Temperature is measured during heating and cooling time, from which appropriate mold heating and cooling conditions can be obtained.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• 대한안전경영과학회지
• /
• 제13권2호
• /
• pp.43-49
• /
• 2011

New governance in the area of disaster management(New Governance) of the Safety Building in the form of public-private network as required in this era, SWOT can provide a strategic way to build public-private partnership recognized the necessity for a more efficient way. Between government agencies, private organizations and government and private organizations for the network between the systematic approach based on mutual trust, and participation by the activation of the meaning of seeing places studied. Partnership for Disaster Management as a result of the settlement than if the existing disaster management system for disaster response system more effective and efficient functioning in reducing human and material damage is expected to contribute are getting out.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.766-772
• /
• 1999

With the increase of portable system and high-density IC, power consumption of VLSI circuits is very important factor in design process. Power estimation is required in order to estimate the power consumption. A simple and correct solution of power estimation is to use circuit simulation. But it is very time consuming and inefficient way. Probabilistic method has been proposed to overcome this problem. Transition density using probability was an efficient method to estimate power consumption using BDD and Boolean difference. But it is difficult to build the BDD and compute complex Boolean difference. In this paper, we proposed Propowest. Propowest is building a digraph of circuit, and easy and fast in computing transition density by using modified COP algorithm. Propowest provides an efficient way for power estimation.

• 한국농공학회지
• /
• 제15권1호
• /
• pp.2925-2933
• /
• 1973

For the efficient utilization of farm machines on the inclined uqland, work performance in plowing, harrowing and terracing and critical workable gradients were tested on three farm machines which are 47 ps-farm tractor, 8 ps-power tiller and 5 ps-power tiller. The results of this study are summarized as follows; 1) The steeper the slope of the upland was the more inefficient the work performance of all machines was. 2) The critical workable gradients of the machines were proved as 14 for 47 ps-farm tractor, 12 for 8 ps-power tiller and 10 for 5ps-power tiller. 3) Plowing in the way of turning the furrow slices against the slope in order to build up terraces, the critical workable gradients were 8 for 47 ps-farm tractor and 8 ps-power tiller and 6 for 5 ps-power tiller. 4) Two-way plow is recommended for plowing with farm tractor on inclined upland, and high lug of tire would be good to prevent the slippage, and side valance-weight should be attached to power tiller for preventing its overturning.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권11호
• /
• pp.4680-4700
• /
• 2015

Broadcast encryption is an efficient way to distribute confidential information to a set of receivers using broadcast channel. It allows the broadcaster to dynamically choose the receiver set during each encryption. However, most broadcast encryption schemes in the literature haven't taken into consideration the receiver's privacy protection, and the scanty privacy preserving solutions are often less efficient, which are not suitable for practical scenarios. In this paper, we propose an efficient dynamic anonymous broadcast encryption scheme that has the shortest ciphertext length. The scheme is constructed over the composite order bilinear groups, and adopts the Lagrange interpolation polynomial to hide the receivers' identities, which yields efficient decryption algorithm. Security proofs show that, the proposed scheme is both secure and anonymous under the threat of adaptive adversaries in standard model.

• 응용통계연구
• /
• 제32권4호
• /
• pp.593-605
• /
• 2019

ROC 곡선 아래 면적과 ROC 곡면 아래 부피를 이용하여 분류모형의 판별력을 측정하는 통계량인 AUC와 VUS에 관한 많은 연구가 있다. ROC 곡선을 구성하는 FPR과 TPR 모두에 제한을 두는 양방향 부분 AUC는 부분 AUC보다 더 효과적이고 정확하게 제안되었다. ROC 곡면에서도 부분 VUS 뿐만 아니라 세 방향 부분 VUS 통계량이 개발되었다. 본 연구에서는 ROC 곡선의 FPR과 TPR 모두에 제한된 두 개의 절단함수를 이용하여 확률 개념과 적분 표현으로 대안적인 AUC를 제안한다. 또한 이 AUC는 양방향 부분 AUC와 관계가 있음을 알 수 있다. ROC 곡면에서의 세 방향 부분 VUS도 절단함수를 이용하는 VUS와 관련되어 있음을 발견하였다. 그리고 이러한 대안적인 AUC와 VUS는 맨-휘트니 통계량으로 표현되고 추정된다. 정규분포와 확률표본을 기반으로 이들의 모수적인 추정 방법과 비모수적인 추정 방법을 탐색한다.

• 정보보호학회논문지
• /
• 제19권1호
• /
• pp.81-92
• /
• 2009

최근 들어 IEEE 802.11 WLAN(Wireless Local Area Network) 서비스에 대한 수요의 증가와 함께 WLAN 환경에서 실시간 멀티미디어 서비스를 이용하려는 사용자의 관심이 날로 증가하고 있다. 그러나 IEEE 802.11i의 보안 정책은 MS(Mobile Station)의 이동이 빈번하게 발생하는 WLAN 환경에서 끊김 없는 실시간 멀티미디어 서비스를 제공하기에는 핸드오프 지연 시간이 너무 길어 이를 보완하기 위한 기법들이 제안되고 있다. 또한 IEEE 802.11i에서 제시하고 있는 세션 키 도출 과정 및 핸드오프 메커니즘에는 DoS(Denial-of Service) 공격 가능성이 내포되어 있다. 본 논문은 이러한 문제점을 해결하기 위해 중앙집중식 WLAN 환경을 기반으로 안전하고 효율적인 핸드오프 메커니즘을 소개한다. 상호인증 및 세션키 도출로 사용되는 802.11i의 4-way Handshake 과정이 2-way Reassociation 과정으로 대체된다.