• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1216-1224
• /
• 1998

In the object oriented methods, most of the objects are independent from the another. However to get their job done from the system's point of view, they must have some kind of connection established among them. This means that the cooperation among the objects through the interaction is just as important as the static side of the objects. Usually, checking for correctness, compatibility and reasoning of the objects is limited due to the fact that the interactions between the objects are expressed in the form of a line or a box. The reuse experts often claim that the design reuse is more important than code reuse, mostly because it can be applied in more contexts and so is more common. The composition of the objects is also considered as a very important definition in the area of framework which is generally known as a technique to support reuse at both the coding and the designing level. Therefore on this thesis, the composition of such objects has been studied to provide a formal means of evaluating the component's compatibility and better possibility for further improvement in the area of framework, by formalizing the component compositions using the LOTOS.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.5
• /
• pp.429-439
• /
• 2001

EJB(Enterprise JavaBeans), the cornerstone for J2EE(Java$^{TM}$ 2 Platform, Enterprise Edition), is a server-side component standard model. Recently, development of supporting tool for this component model becomes important and there are many tools for developing EJB. In this paper, we purpose to design Enterprise Beans by component model, and perform design and implementation of code generator which generates skeleton code for Enterprise Beans automatically. We also implement EJB deployer for deploying these on application server. The code generator can make a JAR file automatically. This JAR file is deployed on application server by EJB specification as well. Using this tool, developer can create and deploy of Enterprise Beans more fast and exactly.y.

• The KIPS Transactions:PartD
• /
• v.9D no.1
• /
• pp.75-80
• /
• 2002

Putnam develops SLIM (Software LIfecycle Management) model based upon the assumption that the manpower utilization during software project development is followed by a Rayleigh distribution. To obtain the manpower distribution, we have to be estimate the total development effort and difficulty ratio parameter. We need a way to accurately estimate these parameters early in the requirements and specification phase before investment decisions have to be made. Statistical tests show that system attributes are highly correlation (redundant) so that Putnam discards one and get a parameter estimator from the other attributes. But, different statistical method has different system attributes and presents different performance. To select the principle system attributes, this paper uses the principle component analysis (PCA) instead of Putnam's method. The PCA's results improve a 9.85 percent performance more than the Putnam's result. Also, this model seems to be simple and easily realize.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.627-633
• /
• 2011

DC/DC switching power converters are commonly used to generate a regulated DC output voltages with high efficiencies from different DC input sources. The voltage mode DC/DC converter utilizes MOSFET, inductor, and a PWM (pulse-width modulation) controller with oscillator, amplifier, and comparator, etc. to efficiently transfer energy from the input to the output at periodic intervals. The fundamental boost converter and a buck converter containing a switched-mode power supply are studied. In this paper, the electrical characteristics of DC/DC power converters are simulated by program of SPICE. In addition, power efficiency is analyzed based on the specification of each component.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Tribology and Lubricants
• /
• v.11 no.2
• /
• pp.1-7
• /
• 1995

Viscosity index is an arbitray number used to characterize the variation of lubricant viscosity with respect to temperature. It is well recognized in the oil industry that as refining severity increases, lubricant VI increases. Consequently, VI is often perceived as a measure of lubricant quality. Futhermore, a 95 VI minimum specification is commonly imposed in marketing base stocks. These factors provide the incentitive for this study to carefully analyze VI definition and two component viscosity blending techniques to investigate how they affect VI change, and finally to examine possible avenues to produce 95+VI base stocks by blending sub-95 VI base stocks.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1009-1012
• /
• 1995

This paper presents an example of the development of motor drives for machine tools. Machine tools need motor drives with high control precision and performance. We developed a motor drive system that meets these requirements. The converter, the one component of drive system, adopts modular structure and high DC-link voltage. The drive which consists rest part of drive system is developed based on TMS320C32 DSP and state-of-the-art circuit technology. In this paper each developed parts are described in terms of its structure, specification and features.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.05a
• /
• pp.983-986
• /
• 2007

In this paper, we addressed the IEEE 1451.x that can organize a sensor network for efficient measurement system. IEEE 1451 provides standard interface, specification and Object model for example Network Capable Application Processor(NCAP), Transducer Electronic Data Sheet(TEDS), Smart Transducer Interface Module (STIM) and so on. Especially IEEE 1451.2 defines the TEDS Formats and STIM. The TEDS makes transducer to be used independently from device. NCAP makes the component of measurement system to be handled as an object. Therefore each function block constructs system by using Add-on. IEEE 1451.x can be expend the system with Add-on and Plug-and-Play by using smart sensor and connected with current network. We expect that this method can provide the efficiency and convenience when using the measurement system.

• Journal of the Korean Society of Safety
• /
• v.25 no.4
• /
• pp.1-6
• /
• 2010

Wind power system is composed by 3 major parts, rotor blade, nacelle and tower. Especially, the nacelle cover has an important role to prevent the component of nacelle and rotor from an extreme external circumstance. Therefore it is necessary to analyze and evaluate the stress distribution and deformation for them in the design level. There are two major points in nacelle cover analysis. The one is nacelle cover itself and the other is cover support structure. According to GL specification, this study shows the result that CFRP nacelle cover of wind turbine satisfies the strength and deformation through numerical analysis using the commercial finite element analysis program.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2083-2086
• /
• 2002

시스템이 복잡해지고 대형화됨에 따라 소프트웨어 생산성, 품질, 효율성을 높이기 위해서 부품화와 재사용의 특성을 지닌 컴포넌트가 여러 응용프로그램에서 개발되고 있다. 따라서 컴포넌트기반 소프트웨어공학에서는 컴포넌트를 분류, 검증, 검색하기 위한 컴포넌트 명세화 방안과 컴포넌트 기반의 개발을 위한 개발공정에 대해 많은 연구가 요구되고 있다. 이에 본 논문에서는 컴포넌트의 실제 재사용을 위해 컴포넌트의 조립 시점 정보를 나타내는 인터페이스 명세 중심의 컴포넌트 저장소 모델을 제안한다. 본 논문에서 제안하고 있는 컴포넌트 명세에는 인터페이스 정보 뿐 아니라 상속 등과 같은 재사용에 대한 정보와 컴포넌트들간의 결합관계를 나타내는 상호작용에 관한 정보를 포함하며, 이 명세는 이식성 및 구조적 표현이 뛰어나고 다양한 형태의 문서로 확장 가능한 XML을 사용하여 기술한다.