• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.2
• /
• pp.23-32
• /
• 2010

WiBro(Wireless Broadband), the service based on IEEE 802.16e(mobile WiMAX) standard, is a wireless broadband Internet technology being developed by the domestic telecommunication industry. In this paper, we analyze security vulnerabilities of WiBro focusing on initial authentication phase and propose a specification-based intrusion detection system that can detect those vulnerabilities. We first derive a specification from the normally operational process of the initial authentication based on PKMv2 EAP-AKA and formalize the derived specification as a state transition diagram. Proposed system executes the intrusion detection based on those specification and state transition diagram. In this paper, to verify the detection capability of proposed system, we construct a test bed network and execute scenario-based test.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.339-346
• /
• 2003

Molecular dynamic simulations of nano indentation on single-crystal silicon (100) surface were performed using diamond indentor. Silicon substrate and diamond indentor were modeled diamond structure with Tersoff potential model. Phase transformation of silicon, incipient plastic deformation, change of incident temperature distribution are investigated through the change of potential energy distribution, displacement-load diagram, the change of kinetic energy distribution and displacements of silicon atoms. Phase transformation is highly localized and consists of a high-density region surrounding the tip. Axial load linearly increased according to the indenting depth. Number of atoms with high kinetic energy increased at the interface between substrate and indentor tip.

• Korean Journal of Materials Research
• /
• v.13 no.1
• /
• pp.24-30
• /
• 2003

The Raney Ni catalyst was fabricated by mechanochemically process(MC process) in the Al-Ni system. Intermetallic compound obtained by mechanical alloying was leached in an alkaline solution. The characteristics of the mechanically alloyed powder and Raney Ni catalyst were analyzed by XRD, ICP-AES and EXAFS. In Al-50wt.%Ni, the metastable intermetallic compound phase close to AlNi phase was obtained by mechanical alloying unlike Al-Ni equilibrium phase diagram. The metastable intermetallic compound was transformed into $Al_3$$Ni_2$phase via the annealing at $750^{\circ}C$. The microstructure of Raney Ni fabricated by MC process was mainly bcc Ni including fcc Ni.

• 전기의세계
• /
• v.22 no.1
• /
• pp.42-51
• /
• 1973

The contriving equivalent circuit of single phase induction motor which does not separate the primary leakage reactance and the secondary leakage reactance by the revolving field theory, and the graphically calculating method of the characteristics with T-type circle diagram of three phase induction motor which does not suppose the primary leakage reactance can be drawn up only by the no load test, the lock test, and measuring the resistance of stator winding are suggested in this paper. The method which can calculate the parameters of the equivalent circuit and the characteristics with no load test, lock test and measuring resistance of stator windings is suggested in this paper. Considered the exciting current in lock test, we could calculate very accurate characteristics of the single phase induction motor.

• Journal of Astronomy and Space Sciences
• /
• v.35 no.2
• /
• pp.55-66
• /
• 2018

The solar magnetic field plays a central role in the field of solar research, both theoretically and practically. Sunspots are an important observational constraint since they are considered a discernable tracer of emerged magnetic flux tubes, providing the longest running records of solar magnetic activity. In this presentation, we first review the statistical properties of the latitudinal distribution of sunspots and discuss their implications. The phase difference between paired wings of the butterfly diagram has been revealed. Sunspots seem to emerge with the exponential distribution on top of slowly varying trends by periods of ~11 years, which is considered multiplicative rather than additive. We also present a concept for the center-of-latitude (COL) and its use. With this, one may sort out a traditional butterfly diagram and find new features. It is found that the centroid of the COL does not migrate monotonically toward the equator, appearing to form an 'active latitude'. Furthermore, distributions of the COL as a function of latitude depend on solar activity and the solar North-South asymmetry. We believe that these findings serve as crucial diagnostic tools for any potential model of the solar dynamo. Finally, we find that as the Sun modulates the amount of observed galactic cosmic ray influx, the solar North-South asymmetry seems to contribute to the relationship between the solar variability and terrestrial climate change.

• Journal of the Korean Ceramic Society
• /
• v.22 no.4
• /
• pp.33-39
• /
• 1985

A composition containing a-$Si_3N_4$ with 5w/0 $Y_2O_3$ and 4w/0 $Al_2O_3$ was hot-pressed at 1, $650^{\circ}C$ and 350kg/$cm^2$ for 1.5hrs and specimens of the same composition were pressureless-sintered at 1, 75$0^{\circ}C$ for 1.5 and 5hrs. By X-ray diffraction it was found that hot-pressed specimens were consisted of $\alpha$-and $\beta$-$Si_3N_4$ and sintered specimens were consisted of $\beta$-$Si_3N_4$ and $Si_3N-4Y_2O_3$ which was crystallized out from the grainboundary phase. The 5-hr sintered specimens had higher degree of crystallization than the 1.5 hr sintered specimens. Among these three different specimens the 5-hr sintered specimens showed the highest strength by hot MOR test at 1, 00$0^{\circ}C$. The SPT diagram for the 5-hr sintered $Si_3N_4$ was constructed by measurements of the stress rate dependence of fracture strength.

• Korean Journal of Metals and Materials
• /
• v.47 no.5
• /
• pp.297-303
• /
• 2009

Solvent extraction experiments of cupric and cuprous chloride with Alamine336 have been performed from HCl solution. In order to identify the solvent extraction reaction, distribution diagram of cupric and cuprous species with HCl concentration was obtained by considering complex formation reaction and the activity coefficient of solutes with Pitzer equation. Analysis of the solvent extraction data by graphical method together with the distribution diagram of copper indicated that solvent extraction reaction of copper with Alamine336 depends on HCl concentration. In strong HCl solution of 3 and 5 M, ${CuCl_4}^{2-}$ and ${CuCl_3}^{2-}$ took part in the solvent extraction reaction as Cu(II) and Cu(I), respectively. When HCl concentration was 1 M, ${CuCl_2}^-$ was extracted into the organic phase in the case of Cu(I) while adduct formation between $Cu^{2+}$ and Alamine336 was responsible for the solvent extraction reaction of Cu(II).

• Journal of Powder Materials
• /
• v.10 no.2
• /
• pp.118-122
• /
• 2003

Alpha-SiAlON ceramics having various compositions and modifying cations were investigated with respect to their phase stability, transformation kinetics. and resulting microstructures. Each composition was heat treated at 150$0^{\circ}C$ for 1h and measured the $\alpha$-SiAlON transformation. The phase-boundary composition in the single-phase $\alpha$-SiAlON region showed sluggish transformation from $\alpha$-$Si_3N_4$ to $\alpha$-SiAlON compared to the phase-center composition in the diagram. Using the different rare earth modifying cations, dependence of transformation kinetics on the phase stability in a fixed composition was also explained. By changing size of the stable u-phase region with exchanging cations, systematic change in transformation was observed. Transformation rate of $\alpha$-SiAlON at low temperature has an important role on controlling the final microstructure. Less transformation gives more chances to develop elongated grain in the microstructure.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.11
• /
• pp.25-34
• /
• 2011

In this paper we present an integrated design methodology for relational database based on object-oriented analysis and design. The integrated design methodology is based on business profile and has six phases. In the first phase, business use cases are identified and described by macroactivity diagrams and then the macroactivity diagrams are transformed to detailed business activity diagrams by using objects, object flows and business worker's responsibilities. In the third phase, the detailed business activity diagrams are transformed to business class diagrams that describe the static structure of the entire business system based on detailed business activity diagrams. In the four phase, the business class diagrams are transformed to class diagrams that represent the initial conceptual model of the target relational database. In the five phase, we add additional transformations on the class diagrams with generalization and specialization of associations, roles, activities, additional classes and redundant associations. Eventually, the final class diagrams are transformed to relational database schema. The methodology presented in this paper by applying that proposal for organic connection between object-oriented analysis and design methodology and relational database design methodology. And it will be able to deal with integration management. By the integrated design methodology, we can make more easily software systems based on relational database. In the case study, proposal integrated design methodology applied for a visa issuing system.