• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.4
• /
• pp.160-167
• /
• 2005

Among finite filed arithmetic operations, division/inverse is known as a basic operation for public-key cryptosystems over $GF(2^{m})$ and it is computed by performing the repetitive $AB^{2}$ multiplication. This paper presents a digit-serial-in-serial-out systolic architecture for performing the $AB^2$ operation in GF$(2^{m})$. To obtain L×L digit-serial-in-serial-out architecture, new $AB^{2}$ algorithm is proposed and partitioning, index transformation and merging the cell of the architecture, which is derived from the algorithm, are proposed. Based on the area-time product, when the digit-size of digit-serial architecture, L, is selected to be less than about m, the proposed digit-serial architecture is efficient than bit-parallel architecture, and L is selected to be less than about $(1/5)log_{2}(m+1)$, the proposed is efficient than bit-serial. In addition, the area-time product complexity of pipelined digit-serial $AB^{2}$ systolic architecture is approximately $10.9\%$ lower than that of nonpipelined one, when it is assumed that m=160 and L=8. Additionally, since the proposed architecture can be utilized for the basic architecture of crypto-processor and it is well suited to VLSI implementation because of its simplicity, regularity and pipelinability.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.6
• /
• pp.503-513
• /
• 2005

With the recognition of the importance of computational approach for protein-protein interaction prediction, many techniques have been developed to computationally predict protein-protein interactions. However, few techniques are actually implemented and announced in service form for general users to readily access and use the techniques. In this paper, we design and implement a protein interaction prediction service system based on the domain combination based protein-protein interaction prediction technique, which is known to show superior accuracy to other conventional computational protein-protein interaction prediction methods. In the prediction accuracy test of the method, high sensitivity($77\%$) and specificity($95\%$) are achieved for test protein pairs containing common domains with teaming sets of proteins in a Yeast. The stability of the method is also manifested through the testing over DIP CORE, HMS-PCI, and TAP data. Performance, openness and flexibility are the major design goals and they are achieved by adopting parallel execution techniques, web Services standards, and layered architecture respectively. In this paper, several representative user interfaces of the system are also introduced with comprehensive usage guides.

• Korean Journal of Soil Science and Fertilizer
• /
• v.33 no.1
• /
• pp.15-23
• /
• 2000

RC oscillation method was applied to study the condenser characteristics of two metal sticks insulated by vinyl tube and used in the dielectric constant determinations of most soils. Its capacitance as influenced by the contacted ambient materials was measured as relative capacitance of the sensor sticks compared with the standard one on the RC oscillation circuit. According to the equivalent circuit of the sensor stick set, the measured capacitance was composed of a basic capacitance connected in parallel with sensor stick capacitance, which was composed of lineally connected vinyl tube capacitances and the sensing part capacitance. The dielectric constant (U) of the contacted ambient moist soil located in the sensing part around the sticks interrelated with the other parameters as following equation. $$\frac{1}{C-B}=\frac{k}{U}+Z$$ where C is the output total relative capacitance, B is the hidden and fixed basic relative capacitance, k is a constant related with U, and Z is a constant for the insulating vinyl tube capacitances determined by its thickness and dielectric constant. The constant k is determined by the spacing and length of sensor sticks. The Z value is theoretically an invariable constant, but it may become considerably bigger than the determined in lab if air tube is formed on the surface of sensor sticks by some shocks on them after their installation in soil. Due to the unstability of lab Z value, it may be better to revise it after sensor stick's installation in soil and no shaking shocks should be applied on them.

• Journal of the Korean Vacuum Society
• /
• v.15 no.6
• /
• pp.587-593
• /
• 2006

The circuit of the EEFL system and the inverter has been analyzed into the resistance RL, the capacitance C of the EEFL-backlight system, and the inductance of transformer in the inverter. The lamp resistance and capacitance are deter-mined from the phase difference is between the lamp current and voltage and from the Q-V diagram, respectively. The single Lamp of EEFL for 32' LCD-BLU has the resistance of $66\;k\Omega$ and the capacitance of 21.61 pF. The resistance, which is connected by parallel in the 20-EEFLS BLU, is $3.3\;k\Omega$ and the capacitance is 402.1 pF. The matching frequency in the operation of lamp system is noted as $\omega_M=1/\sqrt{L_2C(1-k^2)}$, where $L_2$ is the inductance of secondary coil and k is the coupling coefficient between primary and secondary coil. The lamp current and voltage has maximum value at the matching frequency in the LCD BLU system. The results of analytic solutions are in good agreement with the experimental results.

• Journal of KIISE:Databases
• /
• v.28 no.4
• /
• pp.732-741
• /
• 2001

In the relational database systems the join operation is one of the most time-consuming query operations. Many parallel join algorithms have been developed 개 reduce the execution time Multiple hash join algorithm using allocation tree is one of the most efficient ones. However, it may have some delay on the processing each node of allocation tree, which is occurred in tuple-probing phase by the difference between one page reading time of outer relation and the processing time of already read one. This delay problem was solved by using the concept of synchronization of page execution time with we had proposed In this paper the effects of the performance improvements in each node of the allocation tree are extended to the whole allocation tree and the performance evaluation about that is processed. In addition we propose an efficient algorithm for multiple hash joins in limited number of processor environments according to the relationship between the number of input relations in the allocation tree and the number of processors allocated to the tree. Finally. we analyze the performance by building the analytical cost model and verify the validity of it by various performance comparison with previous method.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.11
• /
• pp.66-76
• /
• 2009

The motion estimation in video encoding system occupies the biggest part. So, we require the motion estimator with efficient structure for real-time operation. And for motion estimator's implementation, it is desired to design hardware module of an exclusive use that perform the encoding process at high speed. This paper proposes motion estimation detection block(MED), 41 SADs(Sum of Absolute Difference) calculation block, minimum SAD calculation and motion vector generation block based on parallel processing. The parallel processing can reduce effectively the amount of the operation. The minimum SAD calculation and MED block uses the pre-computation technique for reducing switching activity of the input signal. It results in high-speed operation. The MED and 41 SADs calculation blocks are composed of adder tree which causes the problem of critical path. So, the structure of adder tree has changed the most commonly used ripple carry adder(RCA) with carry skip adder(CSA). It enables adder tree to operate at high speed. In addition, as we enabled to easily control key variables such as control signal of search range from the outside, the efficiency of hardware structure increased. Simulation and FPGA verification results show that the delay of MED block generating the critical path at the motion estimator is reduced about 19.89% than the conventional strukcture.

• Journal of Korean Philosophical Society
• /
• v.130
• /
• pp.247-276
• /
• 2014

The purpose of this paper is to explore how Zhang Zai(張載)''s Gi-Hak(氣學) and Wang Shou-Ren(王守仁)''s Sim-Hak(心學) are interrelated, which differs from prior positions viewing the two as separate, unrelated philosophies or ones standing in contrast to each other. By direct comparing the notions Tae-Heo(太虛) and Yang-Ji(良知), I tried to explain that ontological structures of Gi-Hak and Sim-Hak are interrelated ; and by comparing Dae-Sim(大心) and Chi-Yang-Ji(致良知), I made an argument that Gong-Bu-Ron(工夫論) of Gi-Hak and Sim-Hak corresponds to each other. Zhang Zai''s the doctrine of Tae-Heo can be seen as a respond to Jeok-Myeol-Ron(寂滅論) in Buddhism ; therefore, understanding Sim-Hak in terms of Gi-Hak, that is, interpreting the fundamental meaning of Yang-Ji as Tae-Heo, can free Yang-Myeong-Sim-Hak(陽明心學) from the unceasing criticism by Ju-Ja-Hak(朱子學) that it is a 'Buddhistic heresy'. This study could be highly significant in that it enables us to read the tradition of Zhang Zai not only from the viewpoint of u-Ja-Hak, but even from ang-Myeong-Sim-Hak tradition. I interpreted Yangming School of Mind as a developmental succession of Neo-Confucianism, and understood Zhang Zai''s Gi-Hak as a theoretical pioneer of Wang Shou-Ren''s Sim-Hak.

• Journal of the Korean Magnetics Society
• /
• v.17 no.3
• /
• pp.141-146
• /
• 2007

A new class of LC-resonator for micro magnetic sensor device was invented and fabricated by means of MEMS technique. The micro LC-resonator consists of a solenoidal micro-inductor with a bundle of soft magnetic microwire cores and a capacitor connected in parallel to the micro-inductor. The core magnetic material is a tiny glass coated $Co_{83.2}B_{3.3}Si_{5.9}Mn_{7.6}$ microwire fabricated by a glasscoated melt spinning technique. The core materials were annealed at various temperatures $150^{\circ}C,\;200^{\circ}C\;,250^{\circ}C\;,$ and $300^{\circ}C$ for 1 hour in a vacuum to improve soft magnetic properties. The solenoidal micro-inductors fabricated by MEMS technique were $500{\sim}1,000{\mu}m$ in length with $10{\sim}20$ turns. The changes of inductance as a function of external magnetic field in micro-inductors with properly annealed microwire cores were varied as much as 370%. Since the permeability of ultra soft magnetic microwire is changing rapidly as a function of external magnetic field. The inductance ratio as well as magnetoimpedance ratio (MIR) in a LC-resonator was varied drastically as a function of external magnetic field. The MIR curves can be tuned very precisely to obtain maximum sensitivity. A prototype magnetic sensor device consisting of the developed microinductors with a multivibrator circuit was test successfully.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.3
• /
• pp.491-499
• /
• 2019

Recently, there has been increasing demand for power quality in power supply devices. The IEC 61000-3-2 standard requires that the AC / DC power supply for lighting meet the specifications for the power factor (PF) and total waveform distortion (THD). In addition, advanced countries in Europe are regulating the ripple rate as 15 ~ 30% for the flicker phenomenon caused by the change in the amount of foot energy due to the change in current of the output terminal. Therefore, domestic standards and regulations are being updated. This study adopted the Flyback converter to satisfy the PFC standard, and has the circuit first and second insulation function. To reduce the low frequency ripple of the LED current, Flyback, Coupled Inductor, LC parallel resonance filter, LLC resonance filter, and Cuk were simulated by PSIM to mimic each LED driving circuit. A coupled LC resonant circuit with a coupled inductor on the primary side and LC resonance on the secondary side was also proposed for output side ripple reduction.