• Title/Summary/Keyword: Logical Modeling

Search Result 142, Processing Time 0.024 seconds

A Study on the Process of Estimating the Amount of Materials for Client's Decision-Making Support in Space Programming Stage of Pre-design BIM -focusing on Building Interior Finishing- (건축 기획 BIM의 공간 프로그래밍 단계에서 발주자 의사결정지원을 위한 물량예측 방법론에 관한 연구 -건축마감을 중심으로-)

  • Jun, Yeong-Jin;Kim, Ju-Hyung;Kim, Jae-Jun
    • Journal of The Korean Digital Architecture Interior Association
    • /
    • v.10 no.3
    • /
    • pp.19-28
    • /
    • 2010
  • The construction projects are recently having changes in their magnitude and complexity. Therefore, the amount of information created and managed by participants over project phases is enormous and this may cause difficulties in consistent and integrated data management. Because of the change in construction projects, there is a need to apply more logical and systematic ways to deal integrated data management. For the solution to this, BIM(Building Information Modeling), a new paradigm for integrated management of the information over project life-cycle, has been seriously considered. Also, the Korean Public Procurement Service announced that project over 50 billion Korean Won should introduce BIM into procurement starting from 2012. However, the studies and development have lack on studies of applying BIM and managing the data made using BIM in pre-design and maintenance stage. In pre-design stage, the concept of schematic design model is made to support for making major decisions concerning the size, shape and cost of the project. To decide the cost for the building in this stage by making use of BIM, estimating the amount of building materials used for constructing should be preceded. In this study, the pre-design BIM is explained to gain a better understanding of its process, since this paper focused on space programming stage. Finally, the paper suggests the concept process of estimating the amount of materials in building interior finishing from selecting the type for the elements of each space made to support the client for making decisions in space programming stage based on pre-design BIM.

Construction and Applications of the Virtual Automotive Plant for a Victual Manufacturing (가상생산기술 적용을 위한 자동차 가상플랜트 구축 및 활용)

  • No, Sang-Do;Lee, Gyo-Il;Son, Chang-Yeong;Han, Hyeong-Sang;Park, Yeong-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.25 no.10
    • /
    • pp.1627-1635
    • /
    • 2001
  • Virtual manufacturing is a technology facilitating effective development and agile manufacturing of products via sophisticated computer models representing physical and logical schema and behavior of real manufacturing systems including manufacturing resources, environments, and products. For the successful application of this technology, a virtual plant as a well-designed and integrated environment is essential fur sharing information and engineering collaboration among diverse engineering activities. The systematic approaches and effective methods for construction and application of a virtual plant are proposed in this paper, such as a 3-D CAD modeling, cell and line simulations, databases and some information technologies. Measuring and 3-D CAD modeling technologies of many equipments, facilities and structures of the building are developed, and effective information management system managing CAD models, related files and data is implemented in WWW environments. Finally, precise simulations of unit cell lines and the whole plant are performed. For the beginning of implementing a Virtual Automotive Plant, the Virtual Plant fur the Body Shop of a Korean automotive company is constructed and implemented. We could obtain the benefit of savings in time and cost in many manufacturing preparation activities in the new car development processes.

A Study of Bearing Strength on Composite Pinned-Joint at Low Temperature (저온환경에서 복합재료 핀 연결부의 Bearing 강도에 관한 연구)

  • Her, N.I.;Lee, S.Y.;Kim, J.H.;Lee, Y.S.;Sa, J.W.;Cho, S.;Im, K.H.;Oh, Y.K.;Choi, C.H.;Do, C.J.;Kwon, M.;Lee, G.S.
    • Proceedings of the KSME Conference
    • /
    • 2001.06a
    • /
    • pp.413-418
    • /
    • 2001
  • Fundamental failure mode in a laminated composite pinned-joint is proposed to assess damage resulting from stress concentration in the plate. The joint area is a region with stress concentrations thus a complicated stress state exists. The modeling of damage in a laminated composite pinned-joint presents many difficulties because of the complexity of the failure process. In order to model progressive from initial to final, finite element methods are used rather than closed form stress analyses. Failure analysis must be a logical combination of suitable failure criteria and appropriate material properties degradation rules. In this study, the material properties which were obtained in previous study, the preparing process of the bearing strength test for a pinned joint CFRP composite plate subjected to in-plane loading at low temperature, and the FEM result of progressive damage model using ANSYS program are summarized to assess the structural safety of CFRP plate used in the magnetic supporting post of KSTAR(Korea Superconducting Tokamak Advanced Research).

  • PDF

Modeling and Verification of Workflows with Time Constraints (시간 제약을 포함한 워크플로우 모델링 및 검증)

  • Jeong, Hui-Taek;Lee, Do-Heon;Kim, Mun-Ja;Ryu, Yeong-Cheol
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.2
    • /
    • pp.261-274
    • /
    • 1999
  • Recently, automated business processing systems, so called workflow systems, have been studied. have been studied. even though each task has noticible duration inherently, most of previous models regard it as a simple finite automation where state transitions occur instantly. In this paper, we propose a modeling method for workflow each of whose component task has minimum processing time and due-date. Firstly we provide a priority function to choose the proper alternatives when tasks fail before their due-date. The priority function considers the time-relevant factor and the semantic compatibility level to decide the best alternative. secondly, we identify six different types of execution requirements for tasks with noticible durations. They are serial, parallel, simultaneous start simultaneous termination, interleaved and nested dependency. Note that previous models deal with only serial execution and parallel execution. Lastly, we also propose graph-based methods to detect logical conflicts in time constraint-based workflow specifications.

  • PDF

Constructing a Metadata Database to Enhance Internet Retrieval of Educational Materials

  • Oh Sam-Gyun
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.32 no.3
    • /
    • pp.143-156
    • /
    • 1998
  • This paper reports the GEM (Gateway to Educational Materials) project whose goal is to develop an operational framework to provide the K-12 teachers in the world with 'one-stop/any-stop' access to thousands of lesson plans, curriculum units and other Internet-based educational resources. To the IS-element Dublin Core base package, the GEM project added an 8-element, domain-specific GEM package. The GEM project employed the conceptual data modeling approach to designing the GEM database, used the Sybase relational database management system (RDBMS) to construct the backend database for storing the metadata of educational resources, and also employed the active server page (ASP) technology to provide Web interfaces to that database. The consortium members catalog lesson plans and other Internet-based educational resources using a cataloging module program that produces HTML meta tags. A harvest program collects these meta tags across the Internet and outputs an ASCII file that conforms to the standard agreed by the consortium members. A parser program processes this file to enter meta tags automatically into appropriate relational tables in the Sybase database. The conceptual/logical schemas of Dublin Core and GEM profile are presented. The advantages of conceptual modeling approach to manage metadata are discussed. A prototype system that provides access to the GEM metadata is available at http://lis.skku.ac.kr/gem/.

  • PDF

Control Level Process Modeling Methodology Based on PLC (PLC 기반 제어정보 모델링 방법론)

  • Ko, Min-Suk;Kwak, Jong-Geun;Wang, Gi-Nam;Park, Sang-Chul
    • Journal of the Korea Society for Simulation
    • /
    • v.18 no.4
    • /
    • pp.67-79
    • /
    • 2009
  • Because a product in the car industry has a short life cycle in recent years, the process planning and the manufacturing lines have to be changed frequently. Most of time, repositioning an existing facility and modifying used control information are faster than making completely new process planning. However, control information and control code such as PLC code are difficult to understand. Hence, industries prefer writing a new control code instead of using the existing complex one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose a SOS-Net modeling method. SOS-Net is a standard methodology used to describe control information. It is based on the Device Structure which consists of sensor information derived from device hardware information. Thus, SOS-Net can describe a real control state for automated manufacturing systems. The SOS-Net model is easy to understand and can be converted into PLC Code easily. It also enables to modify control information, thus increases the reusability of the new process planning. Proposed model in this paper plays an intermediary role between the process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.

The Effect of DMM on Learning Motivation and Academic Achievement in SW Education of Non-Major (비전공자의 SW 교육을 위한 시연 중심 모형의 학습동기와 학업성취도 효과)

  • Kang, Yun-Jeong;Won, Dong-Hyun;Park, Hyuk-Gyu;Lee, Min-Hye
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2022.10a
    • /
    • pp.258-260
    • /
    • 2022
  • In order to nurture talents who will lead the digital convergence era of the 4th industrial revolution that creates new knowledge and industries, research is being conducted on teaching methods that can improve the understanding of non-majors' SW concept, computational thinking ability, and convergence with majors is becoming Non-majors face difficulties in understanding and understanding the SW development environment, relevance to their major, and ability to converge. We used software education that is relatively easy to access for non-majors, and applied a demonstration-oriented model (DMM) that can be applied to beginners in SW education to understand the components and logical flow of ideas related to applications and majors used in real life. A convergence SW Learning method that combines repetitive implementation through instructor's demonstration and learner's modeling and learning motivational factors was proposed. In the experiment applying the teaching and learning method proposed in this paper, meaningful results were shown in terms of learning motivation and academic achievement in SW education.

  • PDF

A Study on the Security Requirements Analysis to Build a Zero Trust-Based Remote Work Environment (제로트러스트 기반의 원격 근무 환경을 구축하기 위한 보안요구사항 분석 연구)

  • Hae-na Kim;Ye-jun Kim;Seung-joo Kim
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.34 no.1
    • /
    • pp.83-102
    • /
    • 2024
  • Recently, as the use of the cloud increases year by year and remote work within the enterprise has become one of the new types of work, the security of the cloud-based remote work environment has become important. The introduction of zero trust is required due to the limitations of the existing perimeter security model that assumes that everything in the internal network is safe. Accordingly, NIST and DoD published standards related to zero trust architecture, but the security requirements of that standard describe only logical architecture at the abstract level. Therefore, this paper intends to present more detailed security requirements compared to NIST and DoD standards by performing threat modeling for OpenStack clouds. After that, this research team performed a security analysis of commercial cloud services to verify the requirements. As a result of the security analysis, we identified security requirements that each cloud service was not satisfied with. We proposed potential threats and countermeasures for cloud services with zero trust, which aims to help build a secure zero trust-based remote working environment.

Development of a System for Visualization of the Plant 3D Design Data Based on ISO 15926 (ISO 15926 기반 플랜트 3D 설계 데이터 가시화를 위한 시스템 개발)

  • Jeon, Youngjun;Kim, Byung Chul;Mun, Duhwan
    • Korean Journal of Computational Design and Engineering
    • /
    • v.20 no.2
    • /
    • pp.145-158
    • /
    • 2015
  • ISO 15926 is an international standard for the sharing and integration of plant lifecycle information. Plant design data consist of logical configuration, equipment specifications, 2D piping and instrument diagrams (P&IDs), and 3D plant models (shape data). Although 3D computer-aided design (CAD) data is very important data across the plant lifecycle, few studies on the exchange of 3D CAD data using ISO 15926 have been conducted so far. For this, we analyze information requirements regarding plant 3D design in the process industry. Based on the analysis, ISO 15926 templates are defined for the representation of constructive solid geometry (CSG) - based 3D design data. Since system environments for 3D CAD modeling and Semantic Web technologies are different from each other, we present system architecture for processing and visualizing plant 3D design data in the Web Ontology Language (OWL) format. Through the visualization test of ISO 15926-based 3D design data for equipment with a prototype system, feasibility of the proposed method is verified.

A Study on the Gradual Differentiation in Parametric Design (패러매트릭 디자인에서의 점진적 조형특성 연구)

  • Kim, Yong-Hak;Ahn, Seong-Mo
    • Korean Institute of Interior Design Journal
    • /
    • v.27 no.2
    • /
    • pp.175-185
    • /
    • 2018
  • The purpose of this study is to analyze the concept of 'Gradual Differentiation' in parametric design in terms of pure model logic and thus describe the distinctive feature from the previous design method. To meet the purpose, it explores external cases like gradual factor identified in natural phenomenon and artworks and define the inherent model principles into "Self-similarity', "Correlation', and 'Temporality' by examining these features in terms of algorithm. Meanwhile, it identified the principle of gradual model representation in parametric design within a single system called 'Attractor System' by applying these three concepts into specific methods of parametric design, and by interpreting the logical structure through the association among 'Attractor', 'Field', and 'Differentiation'. The creative utilization of parameter shows that gradual model process in parametric design does not mean a passive "conversion process" merely replacing natural parameter with algorithm; rather, it refers to an active "generating process" creating new meanings and value. By continuing this process of conceptual understanding and insight, creative perspective and practical ability to interpret parameter can be improved.