• Korean Journal of Construction Engineering and Management
• /
• v.13 no.6
• /
• pp.143-152
• /
• 2012

As the Public Procurement Service announced the compulsory of BIM adaption in every public construction from 2016, the importance of BIM is increasing. Besides, automatic code checking takes significance in terms of the quality control for BIM based design. In this study, rule-sets were defined for Act on the Promotion and Guarantee of Access for the Disabled, the Aged, and Pregnant Women to Facilities and Information. Three analytic steps were suggested to shortlist the objective clauses from the entire code; the frequency analysis using project reviews for architectural code compliance, the clause analysis on quantifiability, and the analysis for model checking possibilities. The shortlisted clauses were transformed into the machine readable rule-set definition. A case study was conducted to verify the adaptiveness and consistency of rule-set definitions. In future study, it is required the methodologies of selecting objective clauses to be specified and its indicators to be quantified. Also case studies should be performed to determine the pre-conditions in modeling and to check interoperability issues and other possible errors in models.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.9
• /
• pp.425-435
• /
• 2017

Structural analysis is used not only for large enterprises, but also for small and medium sized ones, as a necessary procedure for strengthening the certification process for product delivery and shortening the time in the process from concept design to detailed design. Open-source solvers that can be used atlow cost differ from commercial solvers. If there is a problem with the input data, such as with the grid, errors or failures can occur in the calculation step. In this paper, we propose a pre- and post-processor that can be easily applied to the analysis of mechanical structural problems by using the existing structural analysis open source solver (Caculix, Code_Aster). In particular, we propose algorithms for analyzing different types of data using open source solvers in order to extract and generate accurate information,such as 3D models, grids and simulation conditions, and develop and apply information analysis. In addition, to improve the accuracy of open source solvers and to prevent errors, we created a grid that matches the solver characteristics and developed an automatic healing function for the grid model. Finally, to verify the accuracy of the system, the verification and utilization results are compared with the software used.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.9
• /
• pp.357-370
• /
• 2015

Massive data occurred in a manufacturing place is able to fulfill very important roll to improve the manufacturing process. Domestic manufacturing business has been making an multilateral effort to react the change of manufacturing circumstance, but it undergoes many difficulties due to technical weakness. Coatings is a type of paint. It protect products by forming a film layer on the products and assigns various properties to those. The research of coatings is one of the fields studied actively in the polymer industry. The importance of the coatings in various industries is more increased. However, the industry still performs a mixing process in dependence on operator's experiences. In this paper, we propose a design for realtime monitoring system and data analysis verification TA to improve the manufacturing process using HW-SW integrated framework. Analysis results from the proposed framework are able to improve the coatings formulation process by collecting more quantitative reference data for work and providing it to work place. In particular, the framework may reduce the deterioration and loss cost which are caused by absence of a standard data as a accurate formulation criteria. It also may suggest a counterplan regarding errors which can be occurred in the future by deriving a standard calibration equation from the analysis using R and Design of Experiments about an error data generated in the mixing step.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.1430-1434
• /
• 2005

금강 유역과 같이 복잡한 하천유역 시스템의 관리를 위해서는 시스템 요소들을 통합적으로 분석할 수 있는 효과적인 의사결정지원 도구가 필요하다. K-MODSIM 모형은 단기 물관리, 장기 운영계획, 가뭄 대비계획 및 물관련 분쟁 해결을 위해 보다 개선된 유역관리 전략을 수립하기 위한 컴퓨터 기반 도구로 개발되었으며, 본 연구에서는 K-MODSIM 모형에 저수지 운영률을 반영하여 유역의 용수배분을 평가하였다. 유역 저수지군 운영 환경 및 제약조건을 반영한 네트워크를 구성한 후, 두 단계의 모형 검정을 수행하였다. 먼저 물리적 검정을 통해서 전체 대상 수계의 상하류 물수지를 검토하고, 다음 단계인 운영 측면의 검정에서 물리적으로 나타나는 상황이 댐 운영이나 제약 조건 등에 부합하는지의 여부를 검토하였다. 대청댐과 용담댐의 통합 운영을 위한 최적 운영률의 개발은 동적계획법 소프트웨어인 CSUDP를 이용하여 수행하였으며, 여기서 사유한 접근법은 음해 추계학적 동적계획법이다. 이 접근방법은 유입량 시계열을 추계학적으로 모의발생시키고, CSUDP 모형은 모의발생시킨 유입량 시계열에 대한 최적운영률을 찾기 위해 사용하며, CSUDP의 최적화 결과에 대한 통계적인 분석을 통해 월단위 운영률을 도출하였다. K-MODSIM 모형에 저수지 운영률을 반영하여 유역의 용수배분을 평가하였다. 유역 저수지군 운영 환경 및 제약조건을 반영한 네트워크를 구성하고, 대청댐과 용담댐의 통합 운영을 위한 최적연계 운영를을 개발하여 다음과 같은 운영 시나리오들을 개발하고 평가하였다. $\cdot$ 금강수계에 대한 용당댐의 영향 평가 $\cdot$ 댐 연계운영시 수요량 변화에 따른 영향 평가 $\cdot$ 하도추적을 고려한 일별모형의 검증 개발된 운영률과 하도추적방법을 K-MODSIM 모형에서 검증하기 위해서 vb.net 스크립트 파일을 개발하여 적용하였다.L이하로 이를 유등천 상류부에 공급할 경우 유등천의 수질은 BOD 6.7mg/L, TN 9.80mg/L, TP 0.90mg/L를 나타낼 것으로 예측된다. 고도처리시설의 도입 후 금강 합류점에서 갑천의 예측 BOD는 7.4mg/L로 현재 9.0mg/L에 비하여 개선되지만 이는 금강수계 오염총량 관리계획의 시$\cdot$도 경계지점 목표수질인 5.9mg/L를 만족시키지 못하므로, 이를 만족시키기 위해서는 방류수 BOD 7.2mg/L이하로 처리해야 할 것으로 판단된다.which support only concepts or image features.방하는 것이 선계기준에 적합한 것으로 나타났다. 밸브 개폐에 따른 수압 변화를 모의한 결과 밸브 개폐도를 적절히 유지하여 필요수량의 확보 및 누수방지대책에 활용할 수 있을 것으로 판단된다.8R(mm)(r^2=0.84)$로 지수적으로 증가하는 경향을 나타내었다. 유거수량은 토성별로 양토를 1.0으로 기준할 때 사양토가 0.86으로 가장 작았고, 식양토 1.09, 식토 1.15로 평가되어 침투수에 비해 토성별 차이가 크게 나타났다. 이는 토성이 세립질일 수록 유거수의 저항이 작기 때문으로 생각된다. 경사에 따라서는 경사도가 증가할수록 증가하였으며 $10\% 경사일 때를 기준으로 $Ro(mm)=Ro_{10}{\times}0.797{\times}e^{-0.021s(\%)}$로 나타났다.천성 승모판 폐쇄 부전등을 초래하는 심각한 선천성 심질환이다. 그러나 진단 즉시 직접 좌관상동맥-대동맥 이식술로 수술적 교정을 해줌으로써 좋은 성적을 기대할 수 있음을 보여주었다.특히 교사들이 중요하게 인식하는 해방적 행동에 대한 목표를 강조하여 적용할 필요가 있음을 시사하고 있다.교하여 유의한 차이가 관찰되지 않았다. 또한 HSP 환자군에서도 $IL1RN^{*}2$ allele 빈도와

• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.600-607
• /
• 2008

This paper proposes a robust human detection method irrespective of their pose variation using the multiple oriented 2D elliptical filters (MO2DEFs). The MO2DEFs can detect the humans regardless of their poses unlike existing object oriented scale adaptive filter (OOSAF). To overcome OOSAF's limitation, we introduce the MO2DEFs whose shapes look like the oriented ellipses. We perform human detection by applying four different 2D elliptical filters with specific orientations to the 2D spatial-depth histogram and then by taking the thresholds over the filtered histograms. In addition, we determine the human pose by using convolution results which are computed by using the MO2DEFs. We verify the human candidates by either detecting the face or matching head-shoulder shapes over the estimated rotation. The experimental results showed that the accuracy of pose angle estimation was about 88%, the human detection using the MO2DEFs outperformed that of using the OOSAF by $15{\sim}20%$ especially in case of the posed human.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.2
• /
• pp.67-76
• /
• 2017

In industrial site in various fields it will be generated in combination with large amounts of data have a correlation. It is able to collect a variety of data in types of industry process, but they are unable to integrate each other's association between each process. For the data of the existing industry, the set values of the molding condition table are input by the operator as an arbitrary value When a problem occurs in the work process. In this paper, design the fusion and analysis processing model of data collected for each industrial type, Prediction Case(Automobile Connect), a through for corporate earnings improvement and process manufacturing industries such as master data through standard molding condition table and the production history file comparison collected during the manufacturing process and reduced failure rate with a new molding condition table digitized by arbitrary value for worker, a new pattern analysis and reinterpreted for various malfunction factors and exceptions, increased productivity, process improvement, the cost savings. It can be designed in a variety of data analysis and model validation. In addition, to secure manufacturing process of objectivity, consistency and optimization by standard set values analyzed and verified and may be optimized to support the industry type, fits optimization(standard setting) techniques through various pattern types.

• Journal of KIISE:Software and Applications
• /
• v.31 no.9
• /
• pp.1226-1232
• /
• 2004

Biometric authentication is rising technology for the security market of the next generation. But most of biometric systems are developed using only one of various biological features. Recently, there is a vigorous research for the standardization of various biometric systems. In this paper, we propose a web-based authentication system using three other verifiers based on functional, parametric, and structural approaches for one biometrics of handwritten signature, which is conformable to a specification of BioAPI introduced by BioAPI Consortium for a standardization of biometric technology. This system is developed with a client-server structure, and clients and servers consist of three layers according to the BioAPI structure. The proposed neb-based multiple authentication system of one biometrics can be used to highly increase confidence degree of authentication without additional several biological measurements, although rejection rate is a little increased. That is, the false accept rate(FAR) decreases on the scale of about 1:40,000, although false reject rate(FRR) increases about 2.7 times in the case of combining above three signature verifiers. So the proposed approach can be used as an effective identification method on the internet of an open network. Also, it can be easily extended to a security system using multimodal biometrics.

• The Journal of the Korea Contents Association
• /
• v.13 no.3
• /
• pp.402-413
• /
• 2013

A traditional house or a traditional village experience has been on the rise as a form of experiential cultural tourism. But the Oeam folk village, a experiential cultural tourist destination representing Chungcheng-do seems to confront the stagnancy in the part of growth. It has to grow in two sides of quantity and quality. On the ground of this critical mind, 3 assumptions were established after analyzing previous studies. Additionally, market segmentation using satisfaction factors was practiced. In order to verify assumptions, A questionnaire was made and a survey was practiced. Out of statistic analyses, cluster analysis was practiced to do market segmentation targeting people who visit Oeam folk village and regression analysis to verify established assumptions. The assumption 1 was adopted that satisfaction factors influence whole satisfaction. The assumption 2 was partly adopted that satisfaction factors(sightseeing efficiency, sightseeing convenience, traditional house and experience factor) except food and souvenir factor influence behavior intention. The assumption 3 was adopted that whole satisfaction influences behavior intention. These were similar with the results of previous studies. As the result of cluster analysis to confirm the difference of demographic characteristics according to the market, 2 clusters was classified and classified clusters showed the difference of demographic characteristics.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.800-815
• /
• 2009

Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

• Journal of KIISE:Software and Applications
• /
• v.33 no.5
• /
• pp.508-524
• /
• 2006

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For still inevitable false alarms (e.g. Airac raised 970 buffer-overrun alarms in commercial C programs of 5.3 million lines and 737 among the 970 alarms were false), which are always apt for particular C programs, we use a statistical post analysis. The statistical analysis, given the analysis results (alarms), sifts out probable false alarms and prioritizes true alarms. It estimates the probability of each alarm being true. The probabilities are used in two ways: 1) only the alarms that have true-alarm probabilities higher than a threshold are reported to the user; 2) the alarms are sorted by the probability before reporting, so that the user can check highly probable errors first. In our experiments with Linux kernel sources, if we set the risk of missing true error is about 3 times greater than false alarming, 74.83% of false alarms could be filtered; only 15.17% of false alarms were mixed up until the user observes 50% of the true alarms.