• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1082-1092
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1103-1111
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• Journal of the Korean Chemical Society
• /
• v.31 no.5
• /
• pp.375-381
• /
• 1987

Rates for the aquation of trans-[Cr(tn)$_2Cl_2]^+$ and trans-[Cr(en)(tn)Cl$_2$]^+$ ions in aqueous acidic solution have been measured by spectrophotometric method at various temperatures and pressures. Activation volumes are negative and lie in the limited range -1.7 ∼ -2.9cm$^3$mol$^{-1}$ or the complex ions. Activation entropies and activation compressibility coefficients are small negative values. From the results of thermodynamic parameters, it can be inferred that the aquation of the complex ions proceed through an associative interchange(Ia) mechanism. Furthermore, the information on possible transition state structure and reaction paths can be obtained by considering total stabilization energy of the hypothetical intermediates within the framework of angular overlap model. It is found that the theoretically predicted mechanism is consistent with the experimentally observed results.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.25 no.6_1
• /
• pp.545-555
• /
• 2007

3D buildings are the most prominent feature comprising urban scene. A few of mega-cities in the globe are virtually reconstructed in photo-realistic 3D models, which becomes accessible by the public through the state-of-the-art online mapping services. A lot of research efforts have been made to develop automatic reconstruction technique of large-scale 3D building models from remotely sensed data. However, existing methods still produce irregular building polygons due to errors induced partly by uncalibrated sensor system, scene complexity and partly inappropriate sensor resolution to observed object scales. Thus, a geometric regularization technique is urgently required to rectify such irregular building polygons that are quickly captured from low sensory data. This paper aims to develop a new method for regularizing noise building outlines extracted from airborne LiDAR data, and to evaluate its performance in comparison with existing methods. These include Douglas-Peucker's polyline simplication, total least-squared adjustment, model hypothesis-verification, and rule-based rectification. Based on Minimum Description Length (MDL) principal, a new objective function, Geometric Minimum Description Length (GMDL), to regularize geometric noises is introduced to enhance the repetition of identical line directionality, regular angle transition and to minimize the number of vertices used. After generating hypothetical regularized models, a global optimum of the geometric regularity is achieved by verifying the entire solution space. A comparative evaluation of the proposed geometric regulator is conducted using both simulated and real building vectors with various levels of noise. The results show that the GMDL outperforms the selected existing algorithms at the most of noise levels.

• International Journal of Highway Engineering
• /
• v.4 no.3 s.13
• /
• pp.1-13
• /
• 2002

Design methods for new flexible pavements and overlays are in the transition from empirical to mechanistic approach, and many state highway agencies trend to move toward the adoption and use of mechanistic-empirical (M-E) design in new constructions and rehabilitations of flexible pavements. Hence, the Michigan Department of Transportation (MDOT) decided to develop a M-E flexible pavement design procedure, in which major pavement distresses such as fatigue cracking and rutting are employed as indicators of the serviceability of a flexible pavement. The main concept of the developed design procedure is that a designed pavement that is supposed to carry a certain number of traffic must satisfy designated thresholds of rut depths and fatigue lives during a service period. For the M-E design procedure, transfer functions were developed to predict rut-depths and fatigue lives. These functions related the pavement responses to pavement performance. For validation, three current new flexible pavement design cases were obtained from the MDOT. In these cases, asphalt concrete (AC) layer thicknesses determined by the suggested M-E procedure compare favorably with those determined by the current MDOT design practice that is based on AASHTO design guide. This finding implies that the suggested Michigan M-E flexible pavement design procedure can provide a good opportunity to improve the current design practice.

• Korean Journal of Ecology and Environment
• /
• v.46 no.1
• /
• pp.10-17
• /
• 2013

History of Instream Flow Incremental Methodology (IFIM) Following the large reservoir and water development era of the mid-twentieth century in North America, resource agencies became concerned over the loss of many miles of riverine fish and wildlife resources in the arid western United States. Consequently, several western states began issuing rules for protecting existing stream resources from future depletions caused by accelerated water development. Many assessment methods appeared during the 1960's and early 1970's. These techniques were based on hydrologic analysis of the water supply and hydraulic considerations of critical stream channel segments, coupled with empirical observations of habitat quality and an understanding of riverine fish ecology. Following enactment of the National Environmental Policy Act (NEPA) of 1970, attention was shifted from minimum flows to the evaluation of alternative designs and operations of federally funded water projects. Methods capable of quantifying the effect of incremental changes in stream flow to evaluate a series of possible alternative development schemes were needed. This need led to the development of habitat versus discharge functions developed from life stage-specific relations for selected species, that is, fish passage, spawning, and rearing habitat versus flow for trout or salmon. During the late 1970's and early 1980's, an era of small hydropower development began. Hundreds of proposed hydropower sites in the Pacific Northwest and New England regions of the United States came under intensive examination by state and federal fishery management interests. During this transition period from evaluating large federal reservoirs to evaluating license applications for small hydropower, the Instream Flow Incremental Methodology (IFIM) was developed under the guidance of the U.S. Fish and Wildlife Service (USFWS).

• Convergence Security Journal
• /
• v.13 no.2
• /
• pp.195-202
• /
• 2013

Defense reform our military for the globalization of information. Scientific command structure, troop structure, unit structure, step-by-step into the power structure while promoting a history of quantitative-oriented structure, and structure of the quality of state-of-the-art technology-driven transition in the middle of the bottle numberplans about the current 3.3-fold increase in reducing the cadre(officers and NCOs). NCO groups in the executive, especially expanding the current level of 100% increase in the rate of long-serving, while ensuring a stable job and to superior resources to secure a stable policy through science. Military alliance is now underway. In the midst of this group, and urged the group at the University of the leading military and specialized resources to ensure each agreement required by subjects to reflect. Thus effectively improve the quality of education and the demands of the job analysis, DACUM curriculum development methods and procedures can be applied at the time of urgent need for foster an excellent resource for the discharge of curriculum development at the University of Selected as a core job, career, and job classification configuration inside of Duty according to KST derived from the group reflect on the training courses to meet the requirements in the curriculum through the development of curriculum, job definition, job model set to propose.

• Journal of the Korean Chemical Society
• /
• v.32 no.6
• /
• pp.581-587
• /
• 1988

The solvolysis of substituted benzyl bromides was studied in binary solvent mixtures of acetone-water and ethanol-water at $25^{\circ}C$ and $45^{\circ}C$. The rate constants increase with electron-donating substituents in benzene ring and increasing of water contents in both of solvent mixtures. The sensitivity parameter (m) of the solvolysis of substituted benzyl bromides to solvent ionizing power (Y) was decreased in going from the electron-donating group to electron-withdrawing one, whereas their nucleophilic sensitivity increased continuously in going to above same substituents. It was shown that electron-donating (electron-withdrawing) groups make the transition state looser (tighter). The above results were consisted with the account for the potential energy surface model and the quantum mechanical approach.

• Bulletin of the Korean Chemical Society
• /
• v.23 no.6
• /
• pp.837-845
• /
• 2002

Based on ab initio calculations at the MP2(FULL)/6-31+G**//RHF/6-31G** level, we compare the energetic and mechanistic features of a model reaction for catalytic action of Δ?-3-ketosteroid isomerase (KSL,E.C.5.3,3.1) with those of a corresponding nonenzymatic reaction in aqueous solution. The results show that the two catalytic acid residues,Tyr14 and Asp99, can lower the free energy of activation by 8.6kcal/mol, which is in good agreement with the experimentally predicted~9 kcal/mol,contribution of electrophilic catalyses to the whole enzymatic rate enhancement. The dienolate intermediate formed by proton transfer from the substrate carbon acid to the catalytic base residue (Asp38) ins predicted to be stabilized by 12.0 kcal/mol in the enzymatic reaction, making its formation thermodynamically favorable. It has been argued that enzymes catalyzing the reactions of carbon acids should resolve the thermodynamic problem of stabilizing the enolate intermediate as well as the kinetic porblem of lowering the free energy of activation for porton abstraction. We find that KSI can successfully overcome the thermodynamic difficulty ingerent in the nonenzymatic reaction through the electrophilic catalyses of the two acid residues. Owing to the stabilization of dienolate intermediate, the reketonization step could influence the overall reaction rate more significantly in the KSI- catalyzed reaction than in the nonenzymatic reaction, further supporting the previous experimental findings. However, the electrophilic catalyses alone cannot account for the whole catalygic capability (12-13 kcal/mol), confiming the earlier experimental implications for the invement of additional catalytic components. The present computational study indicates clearly how catalytic residues of KSI resolve the fundamental problems associated with the entropic penalty for forming the rate-limiting transition state and its destabilization in the bulk solvation environment.

• Journal of the Korean Chemical Society
• /
• v.53 no.5
• /
• pp.499-504
• /
• 2009

Metals have often played important roles to some enzymatic reactions that are essential to biological processes. Therefore many scientists have studied the reaction mechanisms of catalytic reactions in metaloenzymes for many years. Methane MonoOxygenase (MMO) is an enzyme that oxidize methane to methyl alcohol. Recently Tolman et al. studied a model reaction for MMO, which is a hydroxide transfer reaction in Bis-($\mu$-oxo)-dicopper complex, and suggested several possible mechanisms. Later a two-step mechanism, which is hydrogen transfer followed by hydroxide rebound, was proposed from theoretical studies. In this study we calculated the reactant, product, and the transition state structures, and energetics of the first hydrogen transfer reaction using various DFT methods including recently developed the MO6 family of DFT, namely, MO6, MO6L, and MO6-2X. We found that the M06/6-31G(d,p)/LANL2DZ method reproduce the experimental XRD structure of reactants very well. The TS structures, barrier heights, and reaction energies depend very much on the size of the basis sets.