• 한국정보과학회논문지:시스템및이론
• /
• 제32권11_12호
• /
• pp.598-607
• /
• 2005

본 논문에서는 새로운 외부 메모리 인덱스 자료 구조인 접미사 B-tree를 제안한다. 접미사 B-tree는 String B-tree와 마찬가지로 문자열을 키로 가지는 B-tree이다. String B-tree의 노드는 복잡한 Patricia ie로 구현된 반면, 접미사 B-tree의 노드는 일반적인 B-tree처럼 배열로 구현되어 보다 간단하고 구현하기 쉽다. 그럼에도 불구하고 접미사 B-tree에서 배열을 이용하여 String B-tree만큼 효율적으로 분기를 찾을 수 있다. 결과적으로 문자열 알고리즘 분야에서 기본적이고 중요한 문제인 문자열 매칭을 String B-tree와 동일한 디스크 접근을 사용하여 수행할 수 있다.

• 대한전기학회논문지:전력기술부문A
• /
• 제54권10호
• /
• pp.480-486
• /
• 2005

This paper proposes a method to consider an aging failure probability and survival probability of power system components, though only aging failure probability has been considered in existing mean life calculation. The estimates of the mean and its standard deviation is calculated by using Weibull distribution, and each estimated parameters is obtained from Data Analytic Method (Type H Censoring). The parameter estimation using Data Analytic Method is simpler and faster than the traditional calculation method using gradient descent algorithm. This paper shows calculation procedure of the mean life and its standard deviation by the proposed method and illustrates that the estimated results are close enough to real historical data of combustion turbine generating units in Korean systems. Also, this paper shows the calculation procedures of a probabilistic failure prediction through a stochastic data analysis. Consequently, the proposed methods would be likely to permit that the new deregulated environment forces utilities to reduce overall costs while maintaining an are-related reliability index.

• 대한토목학회논문집
• /
• 제5권3호
• /
• pp.137-144
• /
• 1985

본 연구에서는 구조물 최적 설계시 필수적인 설계민감도 해석을 의사변분법을 도입하여 유한차원 구조물에 적용함으로써 구조물 최적설계를 기존의 방법보다 훨씬 간편하게 할 수 있음을 보인다. 정하중하에서 제약조건의 주종을 이루고 있는 변위 및 응력의 제약조건에 대하여 설계민감도 해석 및 그 수치해를 구하며 나아가 최적화 알고리리즘을 사용하여 최적설계가 효율적으로 수행됨을 입증한다. 유한차원 구조물인 트러스의 적당한 경계조건, 하중조건 및 제약조건하에서 구조물의 무게를 최소화 시키는 최적설계 문제를 고려한다.

• Asia pacific journal of information systems
• /
• 제11권2호
• /
• pp.121-139
• /
• 2001

VOQL* query language, recently proposed, is a visual language for object-oriented databases. It is based on Ven Diagram and graph, so that the underlying schema structure can be naturally implied in query expressions. In VOQL*, structural relationship among the objects used in a query expression is represented graphically and thus it has formal semantics that can be inductively defined, as well as it can be used with ease. In this paper, we proposed revised VOQL* and introduced its query processor, InQs(Intelligent Querying System). While retaining the merit of VOQL* that it allows the structural relationship among the objects to be represented visually, the revised VOQL* has another merit that users can formulate a query interactively using various forms supplied by InQs. As a query processor that translates queries in revised VOQL into those in ODMG OQL, InQs provides an environment in which users express queries in revised VOQL* and then the system automatically translates them into those in ODMG OQL. Translation algorithm of InQs is much simpler and intuitive than other algorithms used in QUIVER and other systems, since it reflects the formal semantics of VOQL*, which is defined inductively.

• 융합신호처리학회논문지
• /
• 제8권3호
• /
• pp.163-170
• /
• 2007

본 논문에서는 bicubic 방법보다 하드웨어 구조는 간단하면서 확대 이미지는 더욱 선명한 polyphase scaler를 제안하였다. 제안된 시스템은 새로운 픽셀을 얻기 위해서 디지털 필터의 group delay를 이용하여 해상도를 확대하는 방식을 사용하였으며 bicubic 방법과 비교하여 더 좋은 성능을 가지면서 하드웨어 구조를 간단히 하여 모바일 기기 등에 쉽게 적용이 가능하도록 설계하였다. 기존 polyhpase 필터는 해상도 확대시 영상을 흐릿하게 하는 blurring 노이즈가 발생하는 문제점을 가지고 있었다. 그래서 입력 신호의 고주파 성분을 증폭시키도록 Polyphase 필터를 boost-up 필터로 수정하여 보다 선명한 결과를 얻을 수 있었다. 본 논문에서 제안하는 polyphase scaler는 Xilinx Virtex2 FPGA를 이용하여 하드웨어 검증을 수행하였다. 제안된 polyphase scaler는 핸드폰 카메라의 디지털 줌으로 사용되어 질 수 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권5호
• /
• pp.2407-2426
• /
• 2016

A group signature scheme allows any member to sign on behalf of a group. It is applied to practical distributed security communication environments, such as privacy-preserving, data mining. In particular, the excellent features of group signatures, including membership joining and revocation, anonymity, traceability, non-frameability and controllable linkability, make group signature scheme more attractive. Among these features, non-frameability can guarantee that a member's signature cannot be forged by any other (including issuer), and controllable linkability supports to confirm whether or not two group signatures are created by the same signer while preserving anonymity. Until now, only Hwang et al.'s group schemes (proposed in 2013 and 2015) can support all of these features. In this paper, we present a new dynamic group signature scheme which can achieve all of the above excellent features. Compared with their schemes, our scheme has the following advantages. Firstly, our scheme achieves more efficient membership revocation, signing and verifying. The cost of update key in our scheme is two-thirds of them. Secondly, the tracing algorithm is simpler, since the signer can be determined without the judging step. Furthermore, in our scheme, the size of group public key and member's private key are shorter. Lastly, we also prove security features of our scheme, such as anonymity, traceability, non-frameability, under a random oracle model.

• Nuclear Engineering and Technology
• /
• 제32권1호
• /
• pp.34-45
• /
• 2000

This study is concerned with the experimental test and numerical analysis of the heat transfer and solidification of the molten metal pool with overlying coolant with boiling. In the test, the metal pool is heated from the bottom surface and coolant is injected onto the molten metal pool. Experiments were performed by changing the test section bottom surface temperature of the metal layer and the coolant injection rate. The two-phase boiling coolant experimental results are compared against the dry test data without coolant or solidification of the molten metal pool, and against the crust formation experiment with subcooled coolant. Also, a numerical analysis is performed to check on the measured data. The numerical program is developed using the enthalpy method, the finite volume method and the SIMPLER algorithm. The experimental results of the heat transfer show general agreement with the calculated values. The present empirical test and numerical results of the heat transfer on the molten metal pool are apparently higher than those without coolant boiling. This is probably because this experiment was performed in concurrence of solidification in the molten metal pool and the rapid boiling of the coolant. The other experiments were performed without coolant boiling and the correlation was developed for the pure molten metal without phase change.

• 전자공학회논문지C
• /
• 제34C권2호
• /
• pp.29-37
• /
• 1997

A new algorithm and parallel architecture for high-speed complex number multiplication is presented, and a prototype chip based on the proposed approach is designed. By employing redundant binary (RB) arithmetic, an N-bit complex number multiplication is simplified to two RB multiplications (i.e., an addition of N RB partial products), which are responsible for real and imaginary parts, respectively. Also, and efficient RB encoding scheme proposed in this paper enables to generate RB partial products without additional hardware and delay overheads compared with binary partial product generation. The proposed approach leads to a highly parallel architecture with regularity and modularity. As a results, it results in much simpler realization and higher performance than the classical method based on real multipliers and adders. As a test vehicle, a prototype 8-b complex number multiplier core has been fabricated using $0.8\mu\textrm{m}$ CMOS technology. It contains 11,500 transistors on the area of about $1.05 \times 1.34 textrm{mm}^2$. The functional and speed test results show that it can safely operate with 200 MHz clock at $V_{DD}=2.5 V$, and consumes about 90mW.

• 한국정밀공학회지
• /
• 제16권9호
• /
• pp.34-40
• /
• 1999

In order to establish the design technique of the robust current controller in d.c series wound motor driver system, this paper proposes a method of the compensated Bang-Bang current control using d.c series wound motor driver system under the improperly variable load to get minimum time for the torque control. The compensated Bang-Bang current controller structure is simpler than that of PID plus Bang-Bang controller. This paper shows that a general 16 bits microprocessor is efficiently used to implement such an algorithm. The calculation time of software is extremely small when compared with that of conventional PID plus Bang-Bang controller. Both nonlinear operating characteristics of digital switching elements and describing function methods are used for the analysis and synthesis. Real-time implementation of the compensated Bang-Bang current controller is achieved. The concept of design strategy of the control and the PWM waveform generation algorithms are presented in this paper.

• 한국멀티미디어학회논문지
• /
• 제5권1호
• /
• pp.38-46
• /
• 2002

본 논문은 디스플레이상에서 동영상 화질 향상을 위한 적응형 콘트라스트 조절장치를 설계하고 이를 구현하였다. 제안한 방식은 입력되는 영상 신호의 중간 값을 이용함으로써 화면의 중간 자기 에 따라 적응형으로 콘트라스트를 향상시키는 기법이다. 또한 프레임 메모리를 사용하는 대신에 입력 화소들을 실시간으로 처리함으로써 기존의 방식에 비해 하드웨어 구성이 간단하여 실시간 처리를 요하는 분야에 쉽게 적용 가능하다. 기존 방식들이 정지영상을 기준으로 콘트라스트를 향상시킨 것에 반해 본 논문에서 제안한 방식은 정지영상 뿐만 아니라 동화상에서도 효과적으로 콘트라스트 향상이 가능하다. 제안한 알고리즘은 VHDL을 이용하여 설계하고, FPGA를 통하여 구현하였다. 인터페이스 시스템을 제작하여 테스트한 결과, 콘트라스트가 효과적으로 향상되었음을 확인하였다.