• Title/Summary/Keyword: model-based systems engineering

Search Result 5,469, Processing Time 0.035 seconds

A Static and Dynamic Design Technique of Smart Contract based on Block Chain (블록체인 기반의 스마트 컨트랙트 정적/동적 설계 기법)

  • Kim, Chul-Jin
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.6
    • /
    • pp.110-119
    • /
    • 2018
  • Blockchain technology has been highly evaluated for its contracts (contracts for sale, real estate contracts) because of its excellent security, including integrity and non-repudiation. In a blockchain, these contract services can be developed using a technology called a smart contract, and several blockchain platforms provide a programming language for developing smart contracts. Bitcoin and Ethereum, typical blockchain platforms, provide the Bitcoin Scripts and Solidity languages. Using these programming languages, we can develop the smart contract, a digital contract that can be processed dynamically. Smart contracts are being developed in a variety of areas, but studies of designs based on a blockchain are insufficient. In this paper, we propose a meta-model and a static/dynamic design method based on Unified Modeling Language (UML) for smart contracts based on Ethereum. We propose a method for static design attributes and functions of smart contracts, and propose a technique for designing structures among contracts. Dynamic design proposes a technique for designing deployment, function calls, and synchronization among smart contracts, accounts, and blocks within a blockchain. Experiments verify the validity of the design method by applying the static/dynamic design method through real estate contracts.

Assessing the public preference and acceptance for renewable energy participation initiatives - focusing on photovoltaic power (재생에너지 사업 참여에 대한 국민 선호와 수용성 분석 - 태양광 발전을 중심으로)

  • Ham, AeJung;Kang, SeungJin
    • Journal of Energy Engineering
    • /
    • v.27 no.4
    • /
    • pp.36-49
    • /
    • 2018
  • This study analyzed the public preference and acceptance regarding renewable energy projects through Choice Based Conjoint Analysis. The results show that the surveyed respondents consider the leading authority of the projects, as the most important factor when considering participating in renewable energy initiatives. Following this, the mode of participation and profit distribution and the power plant location are also viewed as important, whereas participation through decision making regarding the projects was less important. Also when participating in renewable energy projects, respondents tend to prefer to financially participating through loans or owning shares rather than volunteering support for the business such as sharing information, stating one's views, or providing cooperation and coordination. Therefore, the focus is on distributional justice, such as financial investment and profit distribution, rather than procedural justice, for instance decision making. When analyzing the part-worths utilities for the participation attribute, the respondents most preferred to receiving dividends based on earnings by owning shares with the local government in charge of the entire projects. As a consequence, the results suggest that it is important to have local government get involved and have trust-worthy governing systems in place for the initiation of the public participating-renewable energy projects.

Determination of proper ground motion prediction equation for reasonable evaluation of the seismic reliability in the water supply systems (상수도 시스템 지진 신뢰성의 합리적 평가를 위한 적정 지반운동예측식 결정)

  • Choi, Jeongwook;Kang, Doosun;Jung, Donghwi;Lee, Chanwook;Yoo, Do Guen;Jo, Seong-Bae
    • Journal of Korea Water Resources Association
    • /
    • v.53 no.9
    • /
    • pp.661-670
    • /
    • 2020
  • The water supply system has a wider installation range and various components of it than other infrastructure, making it difficult to secure stability against earthquakes. Therefore, it is necessary to develop methods for evaluating the seismic performance of water supply systems. Ground Motion Prediction Equation (GMPE) is used to evaluate the seismic performance (e.g, failure probability) for water supply facilities such as pump, water tank, and pipes. GMPE is calculated considering the independent variables such as the magnitude of the earthquake and the ground motion such as PGV (Peak Ground Velocity) and PGA (Peak Ground Acceleration). Since the large magnitude earthquake data has not accumulated much to date in Korea, this study tried to select a suitable GMPE for the domestic earthquake simulation by using the earthquake data measured in Korea. To this end, GMPE formula is calculated based on the existing domestic earthquake and presented the results. In the future, it is expected that the evaluation will be more appropriate if the determined GMPE is used when evaluating the seismic performance of domestic waterworks. Appropriate GMPE can be directly used to evaluate hydraulic seismic performance of water supply networks. In other words, it is possible to quantify the damage rate of a pipeline during an earthquake through linkage with the pipe failure probability model, and it is possible to derive more reasonable results when estimating the water outage or low-pressure area due to pipe damages. Finally, the quantifying result of the seismic performance can be used as a design criteria for preparing an optimal restoration plan and proactive seismic design of pipe networks to minimize the damage in the event of an earthquake.

Acoustic parabolic equation model with a directional source (방향성 있는 음원이 적용된 음향 포물선 방정식 모델)

  • Lee, Keunhwa;Na, Youngnam;Son, Su-Uk
    • The Journal of the Acoustical Society of Korea
    • /
    • v.39 no.1
    • /
    • pp.1-7
    • /
    • 2020
  • The acoustic parabolic equation method in the ocean is an efficient technique to calculate the acoustic field in the range-dependent environment, emanating from a point source. However, we often need to use the directional source with a main beam in the practical problem. In this paper, we present two methods to implement the directional source in the acoustic parabolic equation code easily. One is simply to filter the Delta function idealized as an omni-directional point source. Another method is based on the rational filtering of the self-starter solution. It has a limitation not to separate the up-going and the down-going wave for the depth, but would be useful in implementing the mode propagation. Numerical examples for validation are given in the Pekeris environment and the deep sea environment.

A Survey of the Transmission-Power-Control Schemes in Wireless Body-Sensor Networks

  • Lee, Woosik;Kim, Heeyoul;Hong, Min;Kang, Min-Goo;Jeong, Seung Ryul;Kim, Namgi
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.12 no.4
    • /
    • pp.1854-1868
    • /
    • 2018
  • A wireless body-sensor network (WBSN) refers to a network-configured environment in which sensors are placed on both the inside and outside of the human body. The sensors are much smaller and the energy is more constrained when compared to traditional wireless sensor network (WSN) environments. The critical nature of the energy-constraint issue in WBSN environments has led to numerous studies on the reduction of energy consumption of WBSN sensors. The transmission-power-control (TPC) technique adjusts the transmission-power level (TPL) of sensors in the WBSN and reduces the energy consumption that occurs during communications. To elaborate, when transmission sensors and reception sensors are placed in various parts of the human body, the transmission sensors regularly send sensor data to the reception sensors. As the reception sensors receive data from the transmission sensors, real-time measurements of the received signal-strength indication (RSSI), which is the value that indicates the channel status, are taken to determine the TPL that suits the current-channel status. This TPL information is then sent back to the transmission sensors. The transmission sensors adjust their current TPL based on the TPL that they receive from the reception sensors. The initial TPC algorithm made linear or binary adjustments using only the information of the current-channel status. However, because various data in the WBSN environment can be utilized to create a more efficient TPC algorithm, many different types of TPC algorithms that combine human movements or fuse TPC with other algorithms have emerged. This paper defines and discusses the design and development process of an efficient TPC algorithm for WBSNs. We will describe the WBSN characteristics, model, and closed-loop mechanism, followed by an examination of recent TPC studies.

Study on Pullout Behavior of Embedded Suction Anchors in Sand using ALE (Arbitrary Lagrangian Eulerian) Technique (ALE 기법을 이용한 모래지반에서 석션 매입 앵커의 인발 거동 분석)

  • Na, Seon Hong;Jang, In Sung;Kwon, O Soon;Lee, Seung Hyun
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.34 no.1
    • /
    • pp.167-173
    • /
    • 2014
  • The embedded suction anchor, ESA, is one type of mooring anchor systems which utilizes the suction pile or caisson to penetrate the anchor into the sea bed and develops its capacity under pullout load. In this study, the numerical analysis using ALE (Arbitrary Lagrangian Eulerian) Adaptive Meshing technique was performed to simulate the pullout behavior of the ESA, and the results were compared to those of the previous research, centrifuge model tests and the analytical method based on limit equilibrium theory. The pullout behaviors of the ESA under horizontal, vertical, and inclined loading were evaluated. The analysis results showed that the maximum horizontal pullout load was developed when the location of loading point was at the mid-point, and the each vertical pullout load gave the similar value regardless of the locations of the loading points. The pullout load decreased as the load inclination angle increased at the mid-point of the anchor.

A Genetic Algorithm for Guideway Network Design of Personal Rapid Transit (유전알고리즘을 이용한 소형궤도차량 선로네트워크 설계)

  • Won, Jin-Myung
    • Journal of Intelligence and Information Systems
    • /
    • v.13 no.3
    • /
    • pp.101-117
    • /
    • 2007
  • In this paper, we propose a customized genetic algorithm (GA) to find the minimum-cost guideway network (GN) of personal rapid transit (PRT) subject to connectivity, reliability, and traffic capacity constraints. PRT is a novel transportation concept, where a number of automated taxi-sized vehicles run on an elevated GN. One of the most important problems regarding PRT is how to design its GN topology for given station locations and the associated inter-station traffic demands. We model the GN as a directed graph, where its cost, connectivity, reliability, and node traffics are formulated. Based on this formulation, we develop the GA with special genetic operators well suited for the GN design problem. Such operators include steady state selection, repair algorithm, and directed mutation. We perform numerical experiments to determine the adequate GA parameters and compare its performance to other optimization algorithms previously reported. The experimental results verify the effectiveness and efficiency of the proposed approach for the GN design problem having up to 210 links.

  • PDF

Simulation study of magnetorheological testing cell design by incorporating all basic operating modes

  • Mughni, Mohd J.;Mazlan, Saiful A.;Zamzuri, Hairi;Yazid, Izyan I.M.;Rahman, Mohd A.A.
    • Smart Structures and Systems
    • /
    • v.14 no.5
    • /
    • pp.901-916
    • /
    • 2014
  • Magnetorheological (MR) fluid is one of the field-responsive fluids that is of interest to many researchers due to its high yield stress value, which depends on the magnetic field strength. Similar to electrorheological (ER) fluid, the combination of working modes is one of the techniques to increase the performance of the fluids with limited focus on MR fluids. In this paper, a novel MR testing cell incorporated with valve, shear and squeeze operational modes is designed and constructed in order to investigate the behaviour of MR fluid in combined mode. The magnetic field distribution in the design concept was analyzed using finite element method in order to verify the effective areas of each mode have the acceptable range of flux density. The annular gap of valve and shear were fixed at 1 mm, while the squeeze gap between the parallel circular surfaces was varied up to 20 mm. Three different coil configurations, which were made up from 23 SWG copper wires were set up in the MR cell. The simulation results indicated that the magnetic field distributed in the squeeze gap was the highest among the other gaps with all coils were subjected to a constant applied current of 1 A. Moreover, the magnetic flux densities in all gaps were in a good range of magnitude based on the simulations that validated the proposed design concept. Hence, the 3D model of the MR testing cell was designed using Solidworks for manufacturing processes.

Construction and Validation Test of Turbopump Real-propellant Test Facility (터보펌프 실매질 시험설비 구축 및 인증시험)

  • Kim, Jin-Sun;Han, Yeoung-Min;Ko, Youngsung
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.19 no.4
    • /
    • pp.85-93
    • /
    • 2015
  • Liquid rocket engines of KSLV-II employ a turbopump feed system for propellants. A turbopump real-propellant test facility based on liquid oxygen and kerosene has been constructed for the experimental verification of the turbopump performance using the real media of propellants(i.e., LOX/Kerosene). The verification tests of sub-systems were performed such as LOX/kerosene feed system and alcohol burner system. Finally, the performance of the whole system was executed and verified through a sets of validation tests with the development model of the KSLV-II turbopumps. It has been confirmed that the test facility satisfies the operating conditions and time of the turbopump at the design and off-design performance test using real-propellant.

Development of A Software Tool for Automatic Trim Steel Design of Press Die Using CATIA API (CATIA API를 활용한 프레스금형 트림스틸 설계 자동화 S/W 모듈 개발)

  • Kim, Gang-Yeon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.3
    • /
    • pp.72-77
    • /
    • 2017
  • This paper focuses on the development of a supporting S/W tool for the automated design of an automotive press trim die. To define the die design process based on automation, we analyze the press die design process of the current industry and group repetitive works in the 3D modeling process. The proposed system consists of two modules, namely the template models of the trim steel parts and UI function for their auto-positioning. Four kinds of template models are developed to adapt to various situations and the rules of the interaction formula which are used for checking and correcting the directions of the datum point, datum curve, datum plane are implemented to eliminate errors. The system was developed using CATIA Knowledgeware, CAA(CATIA SDK) and Visual C++, in order for it to function as a plug-in module of CATIA V5, which is one of the major 3D CAD systems in the manufacturing industry. The developed system was tested by applying it to various panels of current automobiles and the results showed that it reduces the time-cost by 74% compared to the traditional method.