• Journal of Dental Rehabilitation and Applied Science
• /
• v.36 no.2
• /
• pp.112-120
• /
• 2020

Purpose: The purpose of this study was to compare the biomechanical outcome in the mandibular posterior region between two different loading conditions by finite element analysis. Materials and Methods: The mandibular posterior teeth model and the implant model were generated for the study. And 2 different types of loading conditions were provided: Arbitrary occlusion and natural occlusion obtained from the digital occlusal analyzer, Accura (Accura, Dmetec Co. Ltd., Seoul, Korea). Total load of 100 N was evenly distributed over arbitrary occlusion points, and 100 N load was differentially distributed over natural occlusion points according to Accura data. The biomechanical outcome was evaluated by the finite element analysis software. Results: The result of finite element analysis showed considerable difference in both von Mises stress pattern and displacement under different loading conditions. Conclusion: In finite element analysis, it is recommended to simulate a realistic occlusal loading pattern that is based on accurate measurement.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.6
• /
• pp.503-512
• /
• 2018

SAR(Synthetic Aperture Radar) is a technology to acquire images by processing signals obtained from radar, and there is an increasing demand for utilization of high-resolution SAR images. In this paper, for high-speed processing of high-resolution SAR image data, a study for SAR image processing algorithms to achieve optimal performance in multi-core based computer architecture is performed. The performance deterioration due to a large amount of input/output data for high resolution images is reduced by maximizing the memory utilization, and the parallelization ratio of the code is increased by using dynamic scheduling and nested parallelism of OpenMP. As a result, not only the total computation time is reduced, but also the upper bound of parallel performance is increased and the actual parallel performance on a multi-core system with 10 cores is improved by more than 8 times. The result of this study is expected to be used effectively in the development of high-resolution SAR image processing software for multi-core systems with large memory.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1393-1403
• /
• 1999

공간 데이타베이스 시스템을 통하여 공유되는 공간 데이타는 무결성이 적절하게 유지되지 않는 한 전체 응용 시스템의 행위를 예측할 수 없게 되므로 데이타의 무결성 확인 및 유지는 필수적이다. 특히 공공 GIS에 저장된 공간 데이타는 토지 이용도 평가, 도시 계획, 자원 관리, 시설물 관리, 안전 관리, 국방 등 국가 전체 및 지역의 중요한 정책 결정을 위한 다양한 응용 시스템들에 의해 이용되므로 적절한 공간 객체의 무결성 확인이 더욱 더 필요하다. 본 논문에서는 능동(active) DBMS의 능동 규칙(active rule) 기법을 이용하여 공간 객체의 무결성 확인을 지원하기 위한 규칙 관리 시스템을 제시한다. 능동 규칙을 이용한 공간 객체의 무결성 확인은 응용 프로그래머를 무결성 확인에 대한 부담으로부터 자유롭게 할 수 있다. 본 시스템은 특정 DBMS에 종속되지 않는 독립적인 외부 시스템으로 존재하며, 능동 규칙 관리기, 규칙 베이스, 그리고 활성규칙 생성기의 3 부분으로 구성된다. 사용자가 공간 데이타베이스 응용 프로그램을 통해 공간 객체를 조작하고자 할 때, 본 시스템은 데이타베이스 트랜잭션을 단위로 조작되는 모든 공간 객체의 무결성 확인을 위해 응용 프로그램에 삽입될 무결성 제약조건 규칙들을 효율적으로 관리하는 역할을 한다.Abstract It is necessary that the integrity of spatial data shared through the spatial database system is validated and appropriately maintained, otherwise the activity of whole application system is unpredictable. Specially, the integrity of spatial data stored in public GIS has to be validated, because those data are used by various applications which make a decision on an important policy of the region and/or whole nation such as evaluation of land use, city planning, resource management, facility management, risk management/safety supervision, national defense. In this paper, we propose rule management system to support validating the integrity of spatial object, using the technique of active rule technique from active DBMS. Validating data integrity using active rules allows database application programmer to be free from a burden on validation of the data integrity. This system is an independent, external system that is not subject to specific DBMS and consists of three parts, which are the active rule manager, the rule base, and the triggered rule generator. When an user tries to manipulate spatial objects through a spatial database application program, this system serves to efficiently manage integrity rules to be inserted into the application program to validate the integrity constraints of all the spatial objects manipulated by database transactions.

• Land and Housing Review
• /
• v.8 no.1
• /
• pp.23-29
• /
• 2017

The BIM design is expected to expand to the domestic and overseas construction industries, depending on the effect of construction productivity and quality improvement. However, with the obligation of Public Procurement Service to design the BIM design, it includes a design error and the problem of utilization of 3D design by choosing a simple 2D to 3D remodelling method that can not be modelled in 3D modeling or use of the construction and maintenance phases. The results reviewed by BIM design results were largely underutilized and were not even performed with the verification of the error. In order to resolve this, one must develop the check system that secures the quality of BIM design and ensure that the reliability of BIM results are available. In this study, it is designed to develop a program that can automatically verify the design of the BIM design results such as violation of the rules of the BIM design, design flaws, and improve the usability of the BIM design. In particular, this programs were developed not only to identify programmes that were not commercially available, but also to validate drawings in low-light computer environments. The developed program(LH-BIM) store the information of attribute extracted from the Revit file(ArchiCAD, IFC file included) in the integrated DB. This provides the ability to freely lookup the features and properties of drawings delivered exclusively by the LH-BIM Program without using the Revit tools. By doing so, it was possible to resolve the difficulties of using traditional commercial programs and to ensure that they operate only with traditional PC performance. Further, the results of the various BIM software can be readily validated, which can be solved the conversion process error of IFC in the case of SMC. Additionally, the developed program has the ability to automatically check the error and design criteria of the drawings, as well as the ability to calculate the area estimation. These functions allow businesses to apply simple and easy tasks to operate tasks of BIM modelling. The developed system(LH-BIM) carried out a verification test by reviewing the review of the BIM Design model of the Korea Land & Housing Corporation. It is hoped that the verification system will not only be able to achieve the Quality of BIM design, but also contribute to the expansion of BIM and future construction BIM.

• Restorative Dentistry and Endodontics
• /
• v.24 no.1
• /
• pp.40-48
• /
• 1999

This study was designed to examine the specificities of the designed primers for F. nucleatum and F. necrophorum and to compare the PCR results using clinical samples with those of the anaerobic culture method. F. nucleatum and F. necrophorum spp. are frequently isolated in infected root canals, and they are related to periapical diseases. F. nucleatum(VPI 10197) and F. necrophorum(ATCC 25286) were used as references for PCR reaction, and thirty five teeth with one canal and periapical lesion were used. The samples were cultured anaerobically and identified using Rapid ID 32A(BioMerieux Vitek, Inc., France) as biochemical battery. In the GenBank database, species-specific PCR primers(nuc1/nuc2 primers for F. nucleatum and nec1/nec2 primers for F. necrophorum) were designed from the 16S ribosomal DNA(rDNA) sequences of F. nucleatum(accession number M58683) and F. necrophorum(accession number AF044948). PCR procedures of F. nucleatum(VPI 10197) and F. necrophorum (ATCC 25286) were simulated on a computer software. Amplify(v.1.2${\beta}$ for Macintosh). 820 bps and 817 bps of nucleotides were expected, respectively. Using extracted DNAs with QiaAmp tissue kit(Qiagen co., Germany), PCR was done. The results were as follows : 1. The nuc1/nuc2 primers produced an amplicon of 820 bps and the nec1/nec2 primers produced an amplicon of 817 bps. 2. The nuc1/nuc2 primers and the nec1/nec2 primers were specific and did not react with species other than the designated ones(i.e. nuc1/nuc2 primers did not produce amplicons for F. necrophorum, and vice versa.). And the PCR products of Porphyromonas endodontalis(ATCC 35406), Porphyromonas gingivalis(ATCC 33277), Prevotella intermedia(ATCC 25611), and Prevotella nigrescens(ATCC 33563), frequently isolated in infected root canals and periapical lesions, were not amplified by the primers specific for Fusobacterium nucleatum and Fusobacterium necrophorum. 3. This method utilizing PCR could detect F. nucleatum and F. necrophorum in clinical samples, while anaerobic culture method could detect neither.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

• The KIPS Transactions:PartA
• /
• v.17A no.3
• /
• pp.127-136
• /
• 2010

A wireless sensor network(WSN) which roles as a mediator between living environment and computers in ubiquitous computing is very essential research area. Due to the constraint that sensor nodes should work in very resource-restricted circumstances, an operating system that can manage resources effectively is demanded. Also, a sensor network should be able to deal with many events quickly and simultaneously in order to respond to various physical changes in outer environment. The Sensor Network Operating System such as TinyOS, MANTIS and NanoQplus is much designed so that it can satisfy such requirement. But, for programmers who develop application program for sensor networks, they have lack of frameworks which the development is easily possible from restricted development environment. In this paper for this, we implemented a state machine framework apt for responsive systems in NanoQplus which is multi-thread-based sensor network operating system. In addition we propose an event broker module(EBM) for effective event dispatching, a message data structure for message sharing among state machines, and an execution module that handles messages and their queue and performs state transition of the machines. Furthermore, we could do the development more easily an application program with a state-based framework by developing CASE tools.

• Archives of design research
• /
• no.18
• /
• pp.25-34
• /
• 1996

Industrial design development methods and processes have changed in accordance with Industrial Information Age. These days, problems are created by existing methods and evaluation of design value , all problems concerned with time and finances sitaution have been made a subject of discussion. Development of design processes have been changed by the development of problem recognition and solving tools, and dpsign tpchnulugy havp hppn replaced by computer technology,Thus. software design processes linking thoughtware to hardware are used in the solution of design problems with many parts. In this study, 3D Modeling samples are presented, 3D Modeling can realise ' Ideas' to '3Dimentional Virtual Ohjects'. These effect and value are anle to decisively influence the process of design problem conference-ebealuation-solution.Proxesses of actual modeling and rendering are made as follows. By compusition of simple 20 drawings and shaping them into 30 objects, 30 solid models can be made. To prssent effectivley, we can make a sample model by varying camera views,light sourses,materials and colours etc. This sample is evaluated by various cumposition, methods and PERT(Program Evaluation and Review Technique). This cuncrete sample (tentative plan)is changed within the CAD SYSTEM by design evaluation, and then converted to flowchart of mass productive conception through refined data. So, that tentative plan can be conformed to design desire actuillly, to the utmost degree. Finally, this design process can be proposed as il new method in cuntrast with current methods. The aim of this study is to suggest effective evaluation methods of design outcome among many evaluating elements.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.12 no.2
• /
• pp.13-29
• /
• 2001

The study examined the current status and the use of electronic publishing files to produce a bibliographic database. In particular . it examined the problems faced in the production of KoreaMed, an abstract database of Korean medical journals. The methodology of KoreaMed to utilize the computer files which was produced in the process of publication of a print journal is found to be very effective. It assures the accuracy of data, accelerates the input speeds, and reduces the input costs. However, such a project can not be accomplished to a satisfactory level without the cooperation of the publishers involved. It turns out that many small publishers and academic societies hardly have saved the electronic publishing files of previous issues. Besides, it is hard to maintain the right channel to receive the files continuously. The input and processing of special characters are very delicate problems. In addition, the diversity of layout and formats of journals, of the electronic publishing software used, and of the storage media, makes the utilization of the electronic publishing files a very complex process. In order to operate the KoreaMed system more efficiently by requiring the publishers to submit XML files which meets the standard of the KoreaMed, it is necessary to educate and train personnels of journal publishers for the management of electronic publishing files.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.11
• /
• pp.469-478
• /
• 2019

Car-sharing services have been settled on as a new type of public transportation owing to their enhanced convenience, expanded awareness of practical consumption patterns, the inspiration for environmental conscientiousness, and the diffusion of smart phones following the economic crisis. With development of the market, many people have started using such services. However, security is still an issue. Damage is expected since IDs and passwords are required for log-in when renting and controlling the vehicles. The protocol suggested in this study uses bio-information, providing an optimized service, and convenient (but strong) authentication with various service-provider clouds registering car big data about users through brokers. If using the techniques suggested here, it is feasible to reduce the exposure of the bio-information, and to receive service from multiple service-provider clouds through one particular broker. In addition, the proposed protocol reduces public key operations and session key storage by 20% on mobile devices, compared to existing car-sharing platforms, and because it provides convenient, but strong, authentication (and therefore constitutes a secure channel), it is possible to proceed with secure communications. It is anticipated that the techniques suggested in this study will enhance secure communications and user convenience in the future car-sharing-service cloud environment.