• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2310-2326
• /
• 2000

Client-server DBMS based on a data-shipping model can exploit e1ient resources effectively by allowing inter-transaction caching. However, inter-transaction caching raises the need of transactional cache consistency maintenancetTCCM protocol. since each client is able to cache a portion of the database dynamically. Deferred locking(DL) is a new detection-based TCCM scheme designed on the basis of a primary copy locking algorithm. In DL, a number of lock ,ujuests and a data shipping request are combined into a single message packet to minimize the communication overhead required for consistency checking. Lsing a simulation model. the performance of the prolxlsed scheme is compared with those of two representative detection based schemes, the adaptive optimistic concurrency control and the caching two-phase locking. The performance results indicate that DL improves the overall system throughput with a reasonable transaction abort ratio over other detection - based schemes.

• Korean Management Science Review
• /
• v.18 no.1
• /
• pp.155-164
• /
• 2001

The widespread diffusion of Internet has enables every college and education institute to develope cyber education systems to meet the multiple needs of students, but it is not true that the effectiveness of cyber education is fruitful in terms of evaluation systems. Most of the early developed web-based evaluation systems for cyber education require that all the students should solve uniformed test set which are included in the predetermined static HTML pages. Therefore, it is impossible to dynamically provide a test set with consistency and reliability. This paper purpose to describe the employment of simulated annealing in cyber testbank system for test set generation that satisfy all constraints. The constraints include number of items for each skill, method, domain, topic, and so on. This research developed two phase heuristic combining sequential test set generation algorithm with simulated annealing. As a result of computer simulations, it was found that the two phase heuristic outperforms the other algorithms.

• Bulletin of the Korean Chemical Society
• /
• v.16 no.9
• /
• pp.873-885
• /
• 1995

The local structural and thermodynamical properties of blends A-B/H of a diblock copolymer A-B and a homopolymer H are studied using the polymer reference interaction site model (RISM) integral equation theory with the mean-spherical approximation closure. The random phase approximation (RPA)-like static scattering function is derived and the interaction parameter is obtained to investigate the phase transition behaviors in A-B/H blends effectively. The dependences of the microscopic interaction parameter and the macrophase-microphase separation on temperature, molecular weight, block composition and segment size ratio of the diblock copolymer, density, and concentration of the added homopolymer, are investigated numerically within the framework of Gaussian chain statistics. The numerical calculations of site-site interchain pair correlation functions are performed to see the local structures for the model blends. The calculated phase diagrams for A-B/H blends from the polymer RISM theory are compared with results by the RPA model and transmission electron microscopy (TEM). Our extended formal version shows the different feature from RPA in the microscopic phase separation behavior, but shows the consistency with TEM qualitatively. Scaling relationships of scattering peak, interaction parameter, and temperature at the microphase separation are obtained for the molecular weight of diblock copolymer. They are compared with the recent data by small-angle neutron scattering measurements.

• Journal of KIBIM
• /
• v.10 no.4
• /
• pp.98-109
• /
• 2020

Based on the prior research which developed the consistency review checklist of the BIM model and 2D drawing through the drawing analysis of the construction documents phase, the apparent limits of the existing template and the template development items were derived. As well, the BIM-based drawing templates of the construction documentation phase were developed and verified using ArchiCAD BIM software. The developed template was then applied to the actual project model in the construction documents phase, and, as a result, 50% of existing work elements could be utilized as templates. This is an increase of more than 30% over the existing template utilization elements, and it is analyzed to be effective in practical application and utilization. Based on the results of this study, if the BIM model construction criteria matching the drawing's utilization purpose are presented, while at the same time the BIM data interlocking and drawing template development studies are conducted, the utilization of BIM data can be maximized and additional drawing work can be minimized to increase the percentage of template utilization elements. In addition, it is believed that this can employed to address functional and institutional problems of BIM-based drawing and make a contribution to the activation of BIM.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.513-515
• /
• 2000

시스템 개발 단계 중 분석 단계는 이후의 설계, 구현 및 유지 보수 단계를 지원하기 위한 가장 중요한 단계로, 이후 단계에 미치는 영향이 크다. 그러므로, 분석단계의 산출물이 정확한지, 산출물간의 일관성을 검증하는 작업이 필요하다. 이에, 본 논문에서는 비즈니스 업무 개발에 초점을 두어, 사용자의 참여가 이루어지는 단순한 표기법을 사용하는 정보구조 모델링의 분석 단계의 여러 구조도 들간의 일관성 검증 방법을 제시한다. 이로써 분석 단계 중에 범하기 쉬운 오류들을 최소화하여, 정확한 분석 모델을 통한 사용자 만족도가 높은 시스템을 만들 수 있다.

• Journal of Power Electronics
• /
• v.14 no.1
• /
• pp.92-104
• /
• 2014

To insure stable operation and eliminate twice torque ripple, a topology for a six phase permanent magnet synchronous generator (SP-PMSG) with a neutral point connected together was analyzed in this paper. By adopting an extended transformation matrix, the mathematic model of the space vector control was established. The voltage and torque equations were deduced while considering the third harmonic flux and inductance. In addition, the suppression third harmonic method and the closed loop control strategy were proposed. A comparison analysis indicates that the cooper loss minimum method and the current magnitude minimum method can meet different application requirements. The voltage compensation amount for each of the methods was deduced which also takes into account the third harmonic effect. A simulation and experimental result comparison validates the consistency through theoretical derivation. It can be seen that all of the two control strategies can meet the requirements of post-fault.

• Microbiology and Biotechnology Letters
• /
• v.25 no.6
• /
• pp.560-565
• /
• 1997

DNA fragment assembly is a major concem in shot-gun DNA sequencing project. It is to reconstruct a consensus DNA sequence from a collection of random oritented fragments. We developed a computer program that is useful for DNA fragment assembly. Inputs to the program are DNA fragment sequences including IUB-IUPAC bases. The program produces the most probable reconstruction ot the original DNA sequence as a text format or a PostScript format. The program consists of four phases: the first phase quickly eliminates fragment pairs that can not possibly overlap. In the second phase, the quality of overlap between each pair is calculated to a score. In the third phase, overlap pairs are sorted by their scores and consistency of the overlaps is checked. The last phase determines consensus sequences and displays them. The performance of fragment assembly program was tested on a set of DNA fragment sequences which were generated from long DNA sequences of GenBank by a fragmentation program.

• Proceedings of the ESK Conference
• /
• 1996.04a
• /
• pp.301-306
• /
• 1996

Different patterns of dynamic trunk performance between normal subjects and low-back pain (LBP) patients have been investigated. Ten healthy subjects and ten LBP patients were recruited for this study. An experiment was designed to quantify the dynamic motion of the back and hip during repetitive flexion/extension of the trunk. The angular velocity, angular acceleration and the phase angle difference between the hip and back were recorded as dependent measures via electro- mechanical devices. Results showed the significant differences in the velocity and acceleration of the hip and back and the phase angle between normal subjects and LBP patients. The consistency of kinematic variables during motion cycles was also examined in terms of variance ratio (Hershler and Milner, 1978). Based on the results of the study, these quantifiable variables such as trunk kinematics and hip-spine coordination can be developed as a medical tool to identify LBP patients in addition to current imaging techniques.

• Korean Chemical Engineering Research
• /
• v.47 no.6
• /
• pp.755-761
• /
• 2009

To a first approximation, phase behavior of a system becomes increasingly skew in proportion to the boiling point difference of system-forming constituents. Therefore, phase behavior data of a system of a large boiling point difference are to be experimentally measured for thorough understanding of the thermodynamic characteristics of such system. In this work, isobaric vapor-liquid equilibrium of a mixture consisting of toluene and cresol, which shows a large boiling point difference of nearly $100^{\circ}C$ and is consequently expected to be considerably nonideal, was measured by using a recirculating equilibrium cell at various subatmospheric pressures ranging from 10 kPa to 60 kPa. The measured VLE data were correlated with NRTL and UNIQUAC models in a satisfactory manner and the accompanying thermodynamic consistency test represented soundness of the measurements. In addition, the excess molar volume of the mixture was also measured with a vibrating densitometer and correlated with a Redlich-Kister polynomial. A negative excess volume prevailed over the whole concentration range, which indicates a favorable attraction between toluene and cresol isomers and results in an extensive miscibility.

• Applied Chemistry for Engineering
• /
• v.21 no.3
• /
• pp.295-300
• /
• 2010

A binary system of 1-propanol and bromochloromethane which exhibits an azeotropic point and a considerable nonideal phase behavior probably due to the large boiling point difference is not amenable in the actual chemical processes such as the distillation tower and absorber. Therefore, experimental data of phase behavior data of this mixture are indispensable in understanding the inherent thermodynamic characteristics for an efficient application of the system in the industrial processes. In this work, the isobaric vapor-liquid equilibrium of a binary mixture consisting of 1-propanol and bromochloromethane was measured by using a recirculating equilibrium cell at various pressures ranging from 30 to 70 kPa. The measured VLE data were correlated in a satisfactory manner by using the UNIQUAC and NRTL models along with the thermodynamic consistency test based on Gibbs/Duhem equation. In addition, the excess molar volume of the mixture was also measured by using a vibrating densitometer and correlated with a Redlich-Kister polynomial.