• Title/Summary/Keyword: Model checking

Search Result 569, Processing Time 0.028 seconds

Feasibility Study on the Optimization of Offsite Consequence Analysis by Particle Size Distribution Setting and Multi-Threading (입자크기분포 설정 및 멀티스레딩을 통한 소외사고영향분석 최적화 타당성 평가)

  • Seunghwan Kim;Sung-yeop Kim
    • Journal of the Korean Society of Safety
    • /
    • v.39 no.1
    • /
    • pp.96-103
    • /
    • 2024
  • The demand for mass calculation of offsite consequence analysis to conduct exhaustive single-unit or multi-unit Level 3 PSA is increasing. In order to perform efficient offsite consequence analyses, the Korea Atomic Energy Research Institute is conducting model optimization studies to minimize the analysis time while maintaining the accuracy of the results. A previous study developed a model optimization method using efficient plume segmentation and verified its effectiveness. In this study, we investigated the possibility of optimizing the model through particle size distribution setting by checking the reduction in analysis time and deviation of the results. Our findings indicate that particle size distribution setting affects the results, but its effect on analysis time is insignificant. Therefore, it is advantageous to set the particle size distribution as fine as possible. Furthermore, we evaluated the effect of multithreading and confirmed its efficiency. Future optimization studies should be conducted on various input factors of offsite consequence analysis, such as spatial grid settings.

An Extended Data Model based on the IFC for Representing Detailed Design Information of Steel Bridge Members (강교 부재의 상세 설계정보 표현을 위한 IFC기반의 데이터 모델 확장)

  • Lee, Jin-Hoon;Lee, Ji-Hoon;Kim, Hyo-Jin;Lee, Sang-Ho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.21 no.3
    • /
    • pp.253-263
    • /
    • 2008
  • Extension of IFC data model for steel bridge members is proposed to represent detailed design information. First of all, the design data items and their representation method are classified by analyzing primary references such as design specification, structural calculation documents and shop drawings. Some of the classified items are enough to be represented by the existing IFC model. However, the need of additional model is noted to systematically represent the design information for other items such as stiffener, diaphragm, joint system, and shear connector. An inheritance relations and properties for added model are also defined. The application program based on the proposed data model is developed. In the end, by loading the application program on the AutoCAD 2002 program, end-users can input the design information of steel bridge members. The applicability and efficiency of the proposed data model and the program are verified by checking the section area, intervals, and interferences.

The Parameter Identification of Tidal Model on The Boundary-Fitted Coordinates (Boundary-Fitted 좌표계로 변환한 2차원조석모형의 매개변수 동정)

  • 김경수;이재형
    • Water for future
    • /
    • v.23 no.3
    • /
    • pp.319-328
    • /
    • 1990
  • The Parameter Identification of 2-demensional estuarine model was carried out using new output ADI-FDM numerical semi-implicit schem transformed in boundary fitted(BF) - coordinate. The hydrodynamic equations which is coupled with the transport equations were used as basic equations in the model. Thompson's equations were used to transform governing equations into rectangular plane equations and his elliptic grid generation scheme was used to generate curvilinear grid system. in BF - coordinates. The parameters to be identified are friction coefficient and disperse coefficient embedded in the governing equations. The numerical output scheme is tidally averaged salinity model in BF - coordinates. The algorithm to optimize norm of error between observations and calculations is the influence coefficinet algorithm associated with least square criterion. The lumped model is conssidered in identification. This paper was concetrated on checking whether the new output scheme might be useful to identify parameters in estuarine salinity model or not. The proposed method was tested through experimental application with hypothetical simple model. The result of the test shows that the proposed method can be used for parameter identification in estuarine model.

  • PDF

Design and Development of Network for Housing Estate Security System

  • Nachin, Awacharin;Mitatha, Somsak;Dejhan, Kobchai;Kirdpipat, Patchanon;Miyanaga, Yoshikazu
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2003.10a
    • /
    • pp.1480-1484
    • /
    • 2003
  • This paper presents the design and development of network for housing estate security system. The system can cover up to 961 houses which can be up to 1,200 meters long transfer rate of 9,600 bps. This system uses checking and warning the abnormal situation. More over this system has ability to control switch on/off the electrical equipment in the house via AC line control system. The system consists of 4 parts. The first part is a security system of each house using MCS-51 microcontroller as a central processing unit scan 32 sensors and control 8 appliances and send alarm. The MCS-51 microcontroller received control signal via telephone used DTMF circuit. The second part is distributed two levels master/slave network implementing after RS-485 serial communication standard. The protocol its base on the OSI (Open Systems Interconnection) 7 layers protocol model design focus on speed, reliability and security of data that is transferred. The network security using encrypt by DES algorithm, message sequence, time stamp checking and authentication system when user to access and when connect new device to this system. Flow control in system is Poll/Select and Stop-and-Wait method. The third part is central server that using microcomputer which its main function are storing event data into database and can check history event. The final part is internet system which users can access their own homes via the Internet. This web service is based on a combination of SOAP, HTTP and TCP/IP protocols. Messages are exchanged using XML format [6]. In order to save the number of IP address, the system uses 1 IP address for the whole village in which all homes and appliance in this village are addressed using internal identification numbers. This proposed system gives the data transfer accuracy over 99.8% and maximum polling time is 1,120 ms.

  • PDF

Russian and Foreign Experience in Implementing Departmental Control and Prosecutor's Supervision when Verifying Crime Reports

  • Ivanov, Dmitriy Aleksandrovich;Moskovtseva, Kristina Andreevna;Bui, Thien Thuong;Sheveleva, Kseniya Vladimirovna;Vetskaya, Svetlana Anatolyevna
    • International Journal of Computer Science & Network Security
    • /
    • v.22 no.8
    • /
    • pp.299-303
    • /
    • 2022
  • The article examines the stage of verification of a crime report from the standpoint of the need for its legislative regulation. Moreover, it investigates the international experience in this field. The existing procedural models are described in detail on the example of the neighboring and faraway countries. An analysis of the provisions of the current criminal procedure law of Russia and foreign experience allowed the authors to identify existing problems in the implementation of departmental control and prosecutorial supervision at the stage of verifying a crime report. The aim of the study is to develop theoretical provisions and recommendations regarding the implementation of departmental procedural control and prosecutorial supervision over the activities of the investigator during the verification of reports of crimes, based on the study of experience, both in Russia and in a number of countries of the near and far abroad, which could find their reflection in law enforcement practice, as well as aimed at improving the current criminal procedure legislation. The authors substantiated the theory that a detailed examination of the foreign procedural foundations of checking a crime report will allow us to form the most suitable model for checking a crime report for our state, taking into account all possible features and successfully implement it into the current criminal procedural law of the Russian Federation.

Investigation of three-dimensional deformation mechanisms of box culvert due to adjacent deep basement excavation in clays

  • Bu, Fanmin;Yu, Wenrui;Chen, Li;Wu, Erlu
    • Geomechanics and Engineering
    • /
    • v.30 no.6
    • /
    • pp.565-577
    • /
    • 2022
  • In this study, a series of three-dimensional numerical parametric study was conducted to investigate deformation mechanisms of an existing box culvert due to an adjacent multi-propped basement excavation in clays. Field measurements from an excavation case history are first used to calibrate a baseline Hardening Soil Small Strain (HS-small) model, which is subsequently adopted for parametric study. Results indicate that the basement-box culvert interaction along the basement centerline can be considered as a plane strain condition when the length of excavation (L) reaches 14 He (i.e., final excavation depth). If a plane strain condition (i.e., L/He=12.0) is assumed for analyzing the basement-box culvert interaction of a short excavation (i.e., L/He=2.0), the maximum settlement and horizontal movement of the box culvert are overestimated significantly by up to 15.7 and 5.1 times, respectively. It is also found that the deformation of box culvert can be greatly affected by the basement excavation if the distance between the box culvert and retaining wall is less than 1.5 He. The induced deformation in the box culvert can be dramatically reduced by improving the ground inside the excavation or implementing other precautionary measures. For example, by adding jet grouting columns within the basement and installing an isolation wall behind the retaining structures, the maximum settlements of box culvert are shown to reduce by 37.2% and 13.4%, respectively.

Development of Rule-Set Definition for Architectural Design Code Checking based on BIM - for Act on the Promotion and Guarantee of Access for the Disabled, the Aged, and Pregnant Women to Facilities and Information - (BIM 기반의 건축법규검토를 위한 룰셋 정의서 개발 - 장애인,노인,임산부 등의 편의증진 보장에 관한 법률 대상으로 -)

  • Kim, Yuri;Lee, Sang-Hya;Park, Sang-Hyuk
    • 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.

Development of BIM based LID Facilities Supply Auto-checking Module (BIM 기반 LID 시설 물량 자동 검토 모듈 개발)

  • Choi, Junwoo;Jung, Jongsuk;Lim, Seokhwa;Choi, Joungjoo;Kim, Shin;Hyun, Kyounghak
    • Journal of Environmental Impact Assessment
    • /
    • v.26 no.3
    • /
    • pp.195-206
    • /
    • 2017
  • Recently, Discussion about BIM based LID (Low Impact Development) facilities management system is activated because interest of LID technique for urban water cycle restoration is increasing. For this reason, this paper developed the auto-checking module of the BIM (Building Information Model) based supply output table. This module will be the foundation of the BIM based LID facilities total management system. The research order is composed like next follows: (1) Select target area, (2) Make BIM model of LID facilities and extract supply output table, (3) Develop comparison module, (4) Analysis results. As a result, the authors made 27 LID facilities and developed the supply output table comparison automation module. So, the authors could find differences of 2D design documents based supply output table and BIm based supply output table. So, the authors made an improvement suggestion of the design plan and could construct foundation of the BIM based LID facilities total management system.

Similarity checking between XML tags through expanding synonym vector (유사어 벡터 확장을 통한 XML태그의 유사성 검사)

  • Lee, Jung-Won;Lee, Hye-Soo;Lee, Ki-Ho
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.9
    • /
    • pp.676-683
    • /
    • 2002
  • The success of XML(eXtensible Markup Language) is primarily based on its flexibility : everybody can define the structure of XML documents that represent information in the form he or she desires. XML is so flexible that XML documents cannot be automatically provided with an underlying semantics. Different tag sets, different names for elements or attributes, or different document structures in general mislead the task of classifying and clustering XML documents precisely. In this paper, we design and implement a system that allows checking the semantic-based similarity between XML tags. First, this system extracts the underlying semantics of tags and then expands the synonym set of tags using an WordNet thesaurus and user-defined word library which supports the abbreviation forms and compound words for XML tags. Seconds, considering the relative importance of XML tags in the XML documents, we extend a conventional vector space model which is the most generally used for document model in Information Retrieval field. Using this method, we have been able to check the similarity between XML tags which are represented different tags.

Development of Analyzing Model of Groundwater Table Fluctuation(I): Theory of Model (지하수위 변동 해석모델 개발(I): 모델의 이론)

  • Kim, Nam Won;Kim, Youn Jung;Chung, Il-Moon
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.33 no.6
    • /
    • pp.2277-2284
    • /
    • 2013
  • In this study, a groundwater table fluctuation method is suggested to predict groundwater level by means of groundwater table fluctuation due to recharge and discharge under unsteady condition. This model analyzes groundwater variation characteristics by using reaction factor related with groundwater flow and specific yield related with recharge. For the test of this model, measured groundwater level at JD Yongdam 1 and JW Konghang for 5 years (2006-2010) were used. At JD Yongdam 1, the estimated specific yield was 0.023, and the estimated reaction factor was 0.039. At JW Konghang, the estimated specific yield was 0.009 and the estimated reaction factor was 0.028, respectively. This model can estimate recharge and saturated parameters, thus it is expected that this model would be the proper tool for checking the parameter of hydrologic model and percolation features.