• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.129-137
• /
• 2016

BIM libraries for architectural projects have been developed and distributed. However, they do not define physical and logical quality control methods for individual library objects, so there are some difficulties in securing reliability of 3D library models converted from 2D drawings. Because the BIM library contents can be built by participating material and member-fabrication companies, after making individual BIM library objects, a certification process through separate quality verification is very important when delivering as-built BIM libraries. Since the BIM library should have generality for usage, it is necessary to secure the quality of BIM library objects according to consistent verification standards. Therefore, this study suggests a quality verification method for certifying a BIM library object from physical and data perspectives by comparing existing 2D drawings in the BIM libraries built based on standardized 2D drawings from MOLIT. This method could be widely used for quality verification in delivering BIM libraries by companies in the construction sector and operated with rule set data for quality verification of as-built BIM models.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.100-105
• /
• 2016

The use of 3D scanners has increased gradually according to increasing 3D printer applications. The precision inspection of car parts or electronic components is an important issue not only in the field of mass production, but also in small-scale production. Recently, 3D scanner equipment efficiency and recognition technology has been improved continuously. On the other hand, the spraying time to prepare 3D scanning is time-consuming and has environmental problems. Therefore, an automatic spray system has been in demand by the manufacturing industry. Automatic spray equipment was newly developed for the preparation of a 3D scanner. In this research, the automatic spray system guarantees uniform spray operation. To determine the optimal spray parameters, various spraying methods, solutions and conditions were tested and compared with the experiments. The preparation time for 3D scanning was reduced to 1/10 compared to the manual spraying time, and indicates the optimal spraying conditions through a comparison of various spray coating conditions.

• Journal of Food Hygiene and Safety
• /
• v.25 no.4
• /
• pp.376-387
• /
• 2010

Recently, speedy, convenient and easy detection technologies have been developed rapidly and on the contrary, studies on development of traditional detectors applying biochemical characteristics has gradually been decreased. This review examined trend in current studies on detection of food-borne pathogenic microorganisms in the fields of selective media, immuno-assay, Polymerase Chain Reaction (PCR), microarray, terahertz spectroscopy & imagination and so on. Most traditional methods to detect the organisms from food matrix rely on selective media and such a method have disadvantages like long time requirement and distinguishing one species only from each selective medium although they are highly economical. Various new convenient methods such as Enzyme Linked Immuno-sorbent Assay (ELISA), paper-strip kit, fluoroimmunoassay etc. have been developed. The most ideal method for detecting food-borne pathogenic microorganisms in foods should be accurate, convenient, rapid and economical. Additionally, it is needed that capabilities of quantitative analysis and automation to be applied to industries.

• Journal of Korean Society for Geospatial Information Science
• /
• v.17 no.3
• /
• pp.23-31
• /
• 2009

The border of the shorelines in a nation is an important factor in determining the border of a national territory, but Korea's shorelines are rapidly changing due to the recent rise in sea level from global warming and growth-centered economic policy over the decades of years. This research was done centering on the areas having well-preserved shorelines as they naturally are and other areas having damaged shorelines in their vicinities due to artificial structures at the two beaches located at the neighboring areas and having mutually homogeneous ocean conditions with each other. First, this research derived the shorelines using the aerial photographies taken from 1947 until 2007 and revised the tidal levels sounding data obtained from a hydrographical survey automation system consisting of Echosounder[Echotrac 3100] and Differential Global Positioning System[Beacon]by using topographical data and ships on land obtained by applying post-processing Kinematic GPS measuring method. In addition, this research evaluated the changes and dimensional variations for the last 60 years by dividing these determined shorelines into 5 sections. As a result, the Haewundae Beach showed a total of 29% decrease rate in dimension as of the year 2007 in comparison with the year 1947 due to a rapid dimensional decline centering on its west areas, while the dimension of the Gwanganri Beach showed an increase in its dimension amounting to a total of 69% due to the decrease in flow velocity by artificial structures built on both ends of the beach-forming accumulation; thus, it was found that there existed a big difference in deposition & accumulation tendency depending on neighboring environment in spite of the homogeneous ocean conditions.

• 전기의세계
• /
• v.29 no.3
• /
• pp.170-176
• /
• 1980

이 논문은 제어신호가 이상적인 포화특성을 갖은 제작조건하의 시불변, 선형 제어계의 시최적화 제어기구의 설계이론을 비교 연구하는데 목적을 두었다. 어떤 초기상태에 있는 계를 특정된 최종상태로, 최단시간내에 이행시켜 가는데 요구되는 제어기구의 설계문제는 여러해 동안 흥미있는 연구과제로 학계에 등장되었고 이러한 문제를 처리하는데에는 여러가지의 설계방법이 제안되어 왔다. 이 논문에서는 이러한 최적화 제어기구의 설계 이론중, 상태천이법에 의한 방법, 최대원리의 적용에 의한 방법 및 동적 프로그래밍기법에 의한 방법들을 서로 비교하여 2차계의 시최적화 설계사례에 이들을 적용시킴으로써 그 설계법상의 문제점을 비교 검토하여 보려는데 목적을 두었다. 설계사례 2차계는 시불변, 선형인 것으로 가정하였으며, 초기상태벡터 및 최종상태벡터는 모두 특정된 값으로 지정되고 제어신호는 이상적인 포화특성으로 제약받으며 스윗칭 시간이 유한크기가 아닌 정규형인 경우에 한정시켜 다루었다. 어느 설계이론을 적용시키나 시최적화를 위한 제어측은 단속제어방식으로 결과되었으나, 시최적화 문제의 특수성때문에 최대원리 및 동적 프로그래밍기법의 적용사례에서는 자연경계조건 및 Transversality 조건 등이 스윗칭시간 또는 최종시간을 직접 결정하여 주는 관건은 되지 못하였으며 계통의 상태방정식 또는 보조상태방정식을 구속제약된 양단상태량을 만족하도록 최적에어측을 적용하여 풀므로써 스윗칭시간과 최종시간이 얻어진다. 따라서 어느 한가지 방법의 적용만으로는 수학적인 처리상의 애로는 피할길이 없었으며 Hamiltonian함수의 변화성질을 보조적으로 활용하여 가면 이러한 번거로움이 덜하여 지긴하나, 다루는 계통의 차수가 높을 수록 이러한 수치해를 얻기위한 번거로움은 여간한 험로가 아닌 것으로 생각된다. 결론적으로 이러한 시최적화문제의 설계에는 몇가지의 혼용적용이 바람직하다고 결론된다. 이의 개발에 박차를 가하지 않을 수 없는 것이다.고, 우선 여기서는 당면문제로서 대처하지 않으면 안될 자동주파수제어문제및 계통의 경제운용문제만에 한정하여, 이것을 우리나라의 현상과 관련시켜 개설하고, 이들의 자동화에 관한 기본적인 문제를 간단히 적어 보겠다. 가능하다. 제작완료된 ASIC은 기능시험을 완료했으며 실제 line-of-sight(LOS) 시스템 구현에 적용중이다. 시대를 살아 갈 회원들이다. '컨텐츠의 시대'가 개막되는 것이며, 신세기통신과 SK텔레콤은 선의의 경쟁 과 협력을 통해 이동인터넷 서비스의 컨텐츠를 개발해 나가게 될 것이다. 3배가 높았다. 효소 활성에 필수적인 물의 양에 따른 DIAION WA30의 라세미화 효율에 관하여 실험한 결과, 물의 양이 증가할수록 그 효율은 감소하였다. DIAION WA30을 라세미화 촉매로 사용하여 아이소옥탄 내에서 라세믹 나프록센 2,2,2-트리플로로에틸 씨오에스터의 효소적 DKR 반응을 수행해 보았다. 그 결과 DIAION WA30을 사용하지 않은 경우에 비해 반응 전환율과 생성물의 광학 순도는 급격히 향상되었다. 전통적 광학분할 반응의 최대 50%라는 전환율의 제한이 본 연구에서 찾은 DIAION WA30을 첨가함으로써 성공적으로 극복되었다. 또한 고체 염기촉매인 DIAION WA30의 사용은 라세미화 촉매의 회수 및 재사용이 가능하게 해준다.해준다.다. TN5 세포주를 0.2 L 규모 (1 L spinner flask)oJl에서 세포간의 응집현상 없이 부유배양에 적응,배양시킨 후 세포성장 시기에 따른 발현을 조사한 결과 1 MOI의 감염조건 하에서는 $0.6\times10^6$cell/mL의 early exponential시기의 세포밀도에서 72시간 배양하였을 대 최대 발현양을 나타내었다. 나타내었다. $\beta$4 integrin의

• Journal of Veterinary Clinics
• /
• v.14 no.2
• /
• pp.301-307
• /
• 1997

These studies were performed to provide some basic informations for developing an automatic system in dairy farming cattle in order that the farmers may easily and automatically detect the maintenance of pregnancy and the fact of abortion of the pregnant cows and also to find out the diseased animals with fever. As a method of automatical detection of the maintenance of pregnancy or the fact of abortion, weighing the pregnant cows was conducted from one month-pregnancy to the term using a digital balance. From the first to the 3rd month of pregnancy the body weight of dairy cows was slowly increased (less than 2% per month), then, relatively high increase (3.4% -4.3% per month) from the fourth to the seventh month followed by decrease (3.3%) in the 8th month and very low increase (0.8-0.9%) from the 9th month to the term were shown, resulting in increase of 128.8 kg (25.05%) of body weight to be compared with the first weight. More than 107, increase of body weight to be compared with the first month-weight was denoted from the 61th month of pregnancy and more than 20% increase from the 7th or the 8th month of pregnancy as wells consequently it was presumed that detection of the maintenance of pregnancy is possible from the 4th or the 5th month of pregnancy. It was possible to diagnose a cow aborted at the 6th month by continual weighing the cow from the 1st month of pregnancy. The calved cows showed considerably higher decrease of body weight even in the third week after parturition (p<0.01)to be compared with the body weight near to the term (81.8-102.0 kg, 14-16% decrease). During the same period of 8months, the pregnant cows gained 127.4 kg (24.78% increase), whereas the non-pregnant cows gained 33.0 kg (0.71% increase) to be compared with the first weight showing considerably higher increase of body weight gain in the pregnant cows than the non-pregnant cows (p<0.01). The statistics of body temperatures of dairy cattle were collected from three clinics including the Teaching Hospital of Chonbuk University and the diseases were classified simply by the major symptoms manifested, denoting the highest temperature in respiratory disease ($39.8{\circ}C$) and the lowest in alimentary disease ($39.6{\circ} C$). These informations of body temperatures were expected to be of value for early and automatical detection of the diseased animals with fever when automatic machinery would be established. The results of periodic weighing the body weight of pregnant cows while milking were also expected to be of great use for the farmers to detect the maintenance of pregnancy and the fact of abortion when the automatic system is established in the near future.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1993.10a
• /
• pp.11-11
• /
• 1993

도메인에 대한 전문 지식 획득(Acquisition of expert knowlegde)은 지식 제공자인 인간 전문가에 의존한다. 도메인이 복잡해 질수록 인간 전문가로부터 관련된 모든 지식을 획득하기란 어렵다. 이런 지식 획득의 어려움을 부분 흑은 완전 자동화된 지식 획득 시스템을 통해 해결하려는 많은 연구가 있어 왔다. 그러나 지식 획득을 위한 여러 시도들은 지식 제공자의 촛점이 도메인이 아닌 표현 구조나 도구- representation environment -에 보다 치우치게 하여, 잘못된 지식을 획득하게 하거나 주요지식이 생략되는 경우를 보이기도 한다. 또한 정적인 관계(relationship)에 의해서만 지식(Static Knowledge)을 생성하므로 시간흐름에 따라변화하는 지식을 나타내기는 어렵다. 본 연구에서는 시뮬레이션을 통한 자동 지식 획득(Simulation Based automatic Knowledge Acquisition) 방법을 제시한다. 이 방법은 1) 도메인에 관한 초기 인과관계 정보를 입력 받고, 2) 입력된 정보를 일정한 프레임에 따라 구조화 시켜 경험 베이스를 구성하고 이를 탐색하여 도메인과 관련된 확장된 정보를 얻은 후, 3) 위의1),2)를 통해 얻어진 정보를 분석하여 주어지는 입력에 대해 다양한 출력을 낼 수 있는 시뮬레이션 모델을 생성한다. 이 모델은 다음 단계의 지식 생성을 위한 수단(resource)이 되며, 구간값과 같은 불확실한 정보를 포함할 수 있는 구조이다. 마지막으로 4) 생성된 모델을 시뮬레이션하여 결과로 생성된 지식을 획득한다. 위의 과정에서, 지식획득을 위한 수단인 시뮬레이션 모델이 지식 제공자의 개입 없이 자동 생성됨에 따라, 지식 제공자는 도메인 관련 지식 그 자체에 집중할 수 있으며, 생성된 모델을 시뮬레이션한 결과에 의해 지식을 생성함으로써 동적인 지식이 얻어질 수 있다. DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다. 에탄올투여로 증가된 유리기 해독계 효소인 GSH-Px활성을 큰 폭으로 감소시키고 에탄올투여로 감소된 비효소적 항산화작용을 나타내는 GSH함량을 다량 증가시킴으로서 지질과산화물에 대한 방어력이 증가되어 나타난 결과로 여겨지며, 또한 혈청중의 ALT, ALP 및 LDH활성을 유의성있게 감소시키므로서 감잎 phenolic compounds가 에탄올에 의한 간세포 손상에 대한 해독 및 보호작용이 있는 것으로 사료된다.반적으로 홍삼 제조시 내공의 발생은 제조공정에서 나타나는 경우가 많으며, 내백의 경우는 홍삼으로 가공되면서 발생하는 경우가 있고, 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$

• Journal of the Korea Society for Simulation
• /
• v.20 no.1
• /
• pp.69-77
• /
• 2011

Modeling and Simulation(M&S) technology gets an attention from various parts such as industry and military. Especially, military uses the technology to cope with a different situation from the one in the Cold War and maximize the effect of training against the cost in the new environment. In order for the training based on M&S technology to be effective, the situations of a battlefield and a combat must be more realistically simulated. For this, a technique development on Computer-Generated Forces(CGF) which represents a unit's simulation logic and a human's simulated behaviors is focused. The CGF simulating a human's behaviors can be used in representing an enemy force, experimenting behaviors in a future war, and developing a new combat idea. This paper describes a methodology to accomplish Computer-Generated Forces' autonomous intelligence. It explains the process of applying a task behavior list based on the METT+T element onto CGFs. On the other hand, in the domain knowledge of military field manual, fuzzy facts such as "fast" and "sufficient" whose real values should be decided by domain experts can be easily found. In order to efficiently implement military simulation logics involved with such subjectivity, using a fuzzy inference methodology can be effective. In this study, a fuzzy inference methodology is also applied.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.14 no.6
• /
• pp.60-68
• /
• 2015

Recent proliferation of advanced technologies such as wireless communication, mobile, sensor technology and so on has caused significant changes in a traffic environment. Human beings, in particular drivers, as well as roads and vehicles were advanced on information, intelligence and automation thanks to those advanced technologies; Intelligent Transport Systems (ITS) and autonomous vehicles are the results of changes in a traffic environment. This study proposed considerations when designing a simulation model for future transportation environments, which are difficult to predict the change by means of advanced technologies. First of all, approximability, flexibility and scalability were defined as a macroscopic concept for a simulation model design. For actual similarity, calibration is one of the most important steps in simulation, and Physical layer and MAC layer should be considered for the implementation of the communication characteristics. Interface, such as API, for inserting the additional models of future traffic environments should be considered. A flexible design based on compatibility is more important rather than a massive structure with inherent many functions. Distributed computing with optimized H/W and S/W together is required for experimental scale. The results of this study are expected to be used to the design of future traffic simulation.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.49 no.2
• /
• pp.7-12
• /
• 2012

Recently the medical field to efficiently process the vast amounts of information to decision trees, neural networks, Bayesian Networks, including the application method of various data mining techniques are investigated. In addition, the basic personal information or patient history, family history, in addition to information such as MRI, HRCT images and additional information to collect and leverage in the diagnosis of disease, improved diagnostic accuracy is to promote a common status. But in real world situations that affect the results much because of the variable exists for a particular data mining techniques to obtain information through the enemy can be seen fairly limited. Medical images were taken as well as a minor can not give a positive impact on the diagnosis, but the proportion increased subjective judgments by the automated system is to deal with difficult issues. As a result of a complex reality, the situation is more advantageous to deal with the relative probability of the multivariate model based on Bayesian network, or TAN in the K2 search algorithm improves due to expansion model has been proposed. At this point, depending on the type of search algorithm applied significantly influenced the performance characteristics of the extended Bayesian network, the performance and suitability of each technique for evaluation of the facts is required. In this paper, we extend the Bayesian network for diagnosis of diseases using the same data were carried out, K2, TAN and changes in search algorithms such as classification accuracy was measured. In the 10-fold cross-validation experiment was performed to compare the performance evaluation based on the analysis and the onset of high-risk classification for patients with HRCT images could be possible to identify high-risk data.