• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.03 seconds

Automated Code Smell Detection and Refactoring using OCL (OCL을 이용한 자동화된 코드스멜 탐지와 리팩토링)

  • Kim, Tae-Woong;Kim, Tae-Gong
    • The KIPS Transactions:PartD
    • /
    • v.15D no.6
    • /
    • pp.825-840
    • /
    • 2008
  • Refactoring is a kind of software modification process that improves system qualities internally but maintains system functions externally. What should be improved on the existing source codes should take precedence over the others in such a modification process using this refactoring. Martin Fowler and Kent Beck proposed a method that identifies code smells for this purpose. Also, some studies on determining what refactoring will be applied to which targets through detecting code smells in codes were presented. However, these studies have a lot of disadvantages that show a lack of precise description for such code smells and detect limited code smells only. In addition, these studies showed other disadvantages that generate ambiguity in behavior preservation due to the fact that a description method of pre-conditions for the behavior preservation is included in a refactoring process or unformalized. Thus, our study represents a precise specification of code smells using OCL and proposes a framework that performs a refactoring process through the automatic detection of code smells using an OCL interpreter. Furthermore, we perform the automatic detection in which the code smells are be specified by using OCL to the java program and verify its applicability and effectivity through applying a refactoring process.

Application of a REID-Based Monitoring System for the Concrete Pour Process (RFID를 응용한 콘크리트 타설 모니터링 시스템의 적용방안)

  • Moon, Sung-Woo;Hong, Seung-Moon
    • Korean Journal of Construction Engineering and Management
    • /
    • v.8 no.3
    • /
    • pp.142-149
    • /
    • 2007
  • A ubiquitous environment in construction should be developed integrating hardware and software systems. The objective of this paper is to study the feasibility of applying the RFID technology to the concrete pour process, and improve the effectiveness of data exchange A pilot system of u-CPS (Ubiquitous Concrete Pour System) has been developed to test the feasibility. The pilot can automatically generate the data for concrete pour work such as departure time, arrival time, concrete pour time. Construction managers can keep track of the progress of concrete pour work using the information. A case study was done for a building construction using the pilot system, the result of which demonstrated that the RFID-base system can help improve the effectiveness of data communication during the concrete pour process.

Development of FBG Accelerometer for Railway Tunnel Vibration (철도터널 진동 모니터링을 위한 광섬유 가속도계 개발)

  • Lee, Su-Hyung;Shin, Min-Ho;Kim, Hyun-Ki;Lee, Kyu-Wan
    • Journal of the Korean Society for Railway
    • /
    • v.14 no.4
    • /
    • pp.364-369
    • /
    • 2011
  • For the safety management of tunnel, effective measurements should be continuously carried out. Most of sensors currently being applied for tunnels measure only the local status, thus many of them are needed to monitor an entire tunnel. For the railway tunnel where trains of same conditions are regularly operated, dynamic responses of tunnel structure to train operations can be a good index to estimate the deformation of tunnel structure in wide area. Meanwhile, the electromagnetic interference caused by overhead centenary in railway tunnel obstructs the use of electric-based sensors. In this study a brand new accelerometer using FBG optical fiber sensors is developed to solve these problems. Sensitivity and capacity of the accelerometer are enhanced with effective structural design of its components and verified with laboratory tests. A case history where the developed accelerometers were applied to a safety monitoring system of a high-speed train tunnel is presented. The performances of the developed accelerometers are validated from the measured acceleration data.

A Statistical Study on Doorway Flow-time for Designing Doors of Ui LRT (우이-신설 경전철 출입문 설계를 위한 승하차시간 분석 연구)

  • Oh, Suk-Mun;Jang, Hyeon-Mog;Shin, Han-Chul
    • Journal of the Korean Society for Railway
    • /
    • v.16 no.2
    • /
    • pp.144-150
    • /
    • 2013
  • This paper presents an analysis of door design for the Ui LRT based on experiments to predict doorway flow-time and their analyses results. A similar railway vehicle (from Gimhae LRT) and operational conditions are utilized to assess the doorway flow-time through repetitive experiments. Design of the experiments consists of four scenarios, and the experiments are repeated 39 times in total. We use the results of the experiments to verify the design of doors of Ui LRT (e.g. the required number of doors and their width). Various statistical analyses are carried out for the flow-time with respect to the number of boarding/alighting passengers. We make three category levels of boarding/alighting passengers, and analyze the mean and variance for each category, and then carry out One-Way ANOVA to analyze how the number of boarding/alighting and onboard passengers impact flow-time. The results of this paper can be used for making decisions about doors of the LRT vehicle.

The Roles of Brand Loyalty and Switching Costs in the Purchase of a New Smartphone (스마트폰 신제품 구매에서 브랜드 충성도와 전환비용의 역할)

  • Lee, Woong-Kyu;Park, Jin-Hoon
    • The Journal of Information Systems
    • /
    • v.25 no.1
    • /
    • pp.183-200
    • /
    • 2016
  • Purpose Although many users change their smartphone, most may be inclined to continue using incumbent smartphone series instead of switching to new brands. Brand loyalty and switching costs are major determinants of inclinations toward incumbent smartphones. This study addresses the research question, "what roles brand loyalty and switching costs play in the purchase of new smartphones?". Design/methodology/approach A research model consisting of six hypotheses for explaining purchase intentions toward new smartphone was proposed considering inclinations toward incumbent brands. The research model was empirically tested based on purchase intentions toward the LG smartphone brand G4, employing a sample of 177 university students in Korea. The data were analyzed using the PLS technique. The results provide support for all hypotheses. Findings First, perceived inclinations toward incumbent smartphone, brand loyalty and switching costs, explained the purchase of new smartphones as well as the perception of new smartphone. Second, brand loyalty was found to play the role of moderator between switching costs and relative advantage in the purchase of new smartphone. Third, perceived aesthetics and price value had considerable influence on the purchase of brand-new smartphone.

Channel Set Manager Development and Performance Analysis for Cognitive Radio System (인지 무선 시스템을 위한 채널 집합 관리기의 개발 및 성능 분석)

  • Park, Chang-Hyun;Song, Myung-Sun
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.45 no.5
    • /
    • pp.8-14
    • /
    • 2008
  • There are two a approaches for the Cognitive Radio(CR) development. One is 'Full CR', which Joseph Mitola III proposed, and another is 'Spectrum CR', which is currently being standardized. The target approach of this paper is the latter and we develop a Cognitive Engine(CE) and simulated a channel set management(CSM), which is a core function of CE. The Channel set management evaluates channel quality and Incumbent User(IU) vacancy possibility and classifies the channel set, which is performed by using channel state history. Especially, a very important function for the channel set management is a channel state prediction and this paper proposed a Hidden Markov Model(HMM) based channel state prediction and a method for increasing performance. Also, we applied the proposed method into our simulator and simulated channel state prediction. Through the simulation, we verified as we applied our proposed scheme, the performance of channel state prediction gets better and through comparing with RS and SS, we verified the HMM based Channel state prediction is better.

Performance Analysis of TLM in Flying Master Bus Architecture Due To Various Bus Arbitration Policies (다양한 버스 중재방식에 따른 플라잉 마스터 버스아키텍처의 TLM 성능분석)

  • Lee, Kook-Pyo;Yoon, Yung-Sup
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.45 no.5
    • /
    • pp.1-7
    • /
    • 2008
  • The general bus architecture consists of masters, slaves, arbiter, decoder and so on in shared bus. Specially, as several masters do not concurrently receive the right of bus usage, the arbiter plays an important role in arbitrating between shared bus and masters. Fixed priority, round-robin, TDMA and Lottery methods are developed in general arbitration policies, which lead the efficiency of bus usage in shared bus. On the other hand, the bus architecture can be modified to maximize the system performance. In the paper, we propose the flying master bus architecture that supports the parallel bus communication and analyze its merits and demerits following various arbitration policies that are mentioned above, compared with normal shared bus. From the results of performance verification using TLM(Transaction Level Model), we find that more than 40% of the data communication performance improves, regardless of arbitration policies. As the flying master bus architecture advances its studies and applies various SoCs, it becomes the leading candidate of the high performance bus architecture.

Notional-Load Plastic-Hinge Method for Steel Structure Design (강구조 설계를 위한 가상하중 소성활절 해석)

  • 김승억;윤영묵
    • Computational Structural Engineering
    • /
    • v.9 no.2
    • /
    • pp.103-113
    • /
    • 1996
  • This paper presents practical notional-load plastic-hinge method for a two-dimensional steel structure design. The proposed method incorporates the refined plastic-hinge concept for spread of plasticity together with a practical notional-load approach. The proposed method can assess realistically both strength and behavior of a structural system and its individual members in a direct manner. As a result, the method can be used for design without tedious separate member capacity checks, including the calculation of K-factor. The strengths predicted by the proposed method are then compared with those predicted by the exact plastic-zone analysis as well as by the conventional LRFD procedure. A good agreement is generally observed. The displacement predictions are compared with the plastic-zone solutions. Analysis and design guidelines in using the proporsed method are given in detail. Analysis and design procedures are recommended. Member sizes determined by the proposed method are compared with those determined by the LRFD method. It is concluded that the procedures are suitable for adoption in practice.

  • PDF

Analysis of Dynamic Crack Propagation using MLS Difference Method (MLS 차분법을 이용한 동적균열전파 해석)

  • Yoon, Young-Cheol;Kim, Kyeong-Hwan;Lee, Sang-Ho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.27 no.1
    • /
    • pp.17-26
    • /
    • 2014
  • This paper presents a dynamic crack propagation algorithm based on the Moving Least Squares(MLS) difference method. The derivative approximation for the MLS difference method is derived by Taylor expansion and moving least squares procedure. The method can analyze dynamic crack problems using only node model, which is completely free from the constraint of grid or mesh structure. The dynamic equilibrium equation is integrated by the Newmark method. When a crack propagates, the MLS difference method does not need the reconstruction of mode model at every time step, instead, partial revision of nodal arrangement near the new crack tip is carried out. A crack is modeled by the visibility criterion and dynamic energy release rate is evaluated to decide the onset of crack growth together with the corresponding growth angle. Mode I and mixed mode crack propagation problems are numerically simulated and the accuracy and stability of the proposed algorithm are successfully verified through the comparison with the analytical solutions and the Element-Free Galerkin method results.

Method to Select Tower Cranes Using Augmented Reality in Smart Devices (스마트 기기의 증강현실을 이용한 타워크레인 선정방안)

  • Ryu, Han-Guk;Choi, Heebok;Jang, Myung-Houn
    • Journal of the Korea Institute of Building Construction
    • /
    • v.14 no.5
    • /
    • pp.407-413
    • /
    • 2014
  • Appropriate selection of lifting equipments for a high-rise building construction project is one of the important factors to the project's success. Proper position of a tower crane on a construction site is so important to be determined by an expert or an experienced construction manager who draws working range of a tower crane and moves it over 2D(dimensional) site layout plan. 3D CAD, BIM, and virtual reality are is used for building design and construction, but it is not usual to use them for temporary facility planning or selection of a tower crane. This study proposes a suitable method to use augmented reality to select proper position of tower cranes. An augmented reality prototype is implemented by Vuforia and Unity 3D on a smart device to verify the practicability of the proposed method. The prototype application installed on a smart device shows several tower cranes on different markers in a real architectural drawing to locate the proper tower crane.