• Title/Summary/Keyword: requirement model

Search Result 1,441, Processing Time 0.024 seconds

Cost-Reliability Optimal Policies Based on Musa-Okumoto Logarithmic Poisson Execution Time Model (Musa-Okumoto 대수 포아송 실행시간 모형에 근거한 비용-신뢰성 최적정책)

  • 김대경
    • Journal of Korean Society for Quality Management
    • /
    • v.26 no.3
    • /
    • pp.141-149
    • /
    • 1998
  • It is of great practical interest to decide when to stop testing a software system in the development phase and transfer it to the user. This decision problemcalled an optimal software release one is discussed to specify the a, pp.opriate release time. In almost all studies, the software reliability models used are nonphomogenous Poisson process(NHPP) model with bounded mean value function. HNPP models with unbounded mean value function are more suitable in practice because of the possibility of introducing new faults when correcting or modifying the software. We discuss optimal software release policies which minimize a total average software cost under the constraint of satisfying a software reliability requirement. A numerical example illustrates the results.

  • PDF

Characteristics of Geometric Conditions Affecting Freeway Travel Speed : Focused on Speed Limit Change (고속도로 주행속도 변화에 영향을 미치는 도로기하구조 특성분석 : 제한속도 상향전후 비교를 중심으로)

  • Hong, Sungmin;Oh, Cheol
    • International Journal of Highway Engineering
    • /
    • v.16 no.5
    • /
    • pp.83-90
    • /
    • 2014
  • PURPOSES : The purpose of this study is to identify the factors affecting the effectiveness of speed limit change that is defined as the amount of increased travel speed. METHODS : A ordered logit model was adopted to analyze the relationship between the change in travel speed and contributing factors. A stretch of Kyungbu freeway was selected for the analysis because the Korea expressway corporation has raised speed limit from 100km/h to 110km/h since September 1st in 2010. RESULTS : The results showed that geometric design elements, speeding cameras, and section length were identified as factors contributing the effectiveness. Contributing geometric design elements include the number of horizontal curves and vertical curves that do not meet the design requirement with 110km/h speed limit. CONCLUSIONS : The outcome of this study will be used for establishing various traffic operations and control strategies for freeway speed management.

Optimization of a Block Stacking Storage Model for a Single Product using (s, S) Inventory Policy ((s, S) 재고정책하에서 단일제품의 확률적 Block Stacking 저장모형의 최적화)

  • Yang, Moon-Hee;Chang, Kyung
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.24 no.1
    • /
    • pp.137-144
    • /
    • 1998
  • Block stacking, which involves the storage of unit loads in stacks within storage rows, is typically used in traditional warehouses to achieve a high space utilization at a low investment cost. In this paper, assuming that the demand size from a customer is an i.i.d. random variable, we develop a probabilistic block stacking storage model and its algorithm for a singles product, which minimizes the time-overage floor space requirement under an (s, S) inventory policy and the violation of the FIFO lot rotation rule only in a single partially-occupied row.

  • PDF

A New Optimization System for Designing Broadband Convergence Network Access Networks (Broadband Convergence Network 가입자 망 설계 시스템 연구)

  • Lee, Young-Ho;Jung, Jin-Mo;Kim, Young-Jin;Lee, Sun-Suk;Park, No-Ik;kang, Kuk-Chang
    • Korean Management Science Review
    • /
    • v.23 no.2
    • /
    • pp.161-174
    • /
    • 2006
  • In this paper, we consider a network optimization problem arising from the deployment of BcN access network. BcN convergence services requires that access networks satisfy QoS meausres. BcN services have two types of traffics : stream traffic and elastic traffic. Stream traffic uses blocking probability as a QoS measure, while elastic traffic uses delay factor as a QoS measure. Incorporating the QoS requirements, we formulate the problem as a nonlinear mixed-integer Programming model. The Proposed model seeks to find a minimum cost dimensioning solution, while satisfying the QoS requirement. We propose two local search heuristic algorithms for solving the problem, and develop a network design system that implements the developed heuristic algorithms. We demonstrate the computational efficacy of the proposed algorithm by solving a realistic network design problem.

MECHANICAL DESIGN OF MILITARY COMMUNICATION SATELLITE X-BAND PCM (군 통신위성 X대역 중계기 개념모델의 기계 설계 및 제작)

  • 우형제;윤종철
    • Journal of Astronomy and Space Sciences
    • /
    • v.15 no.2
    • /
    • pp.509-523
    • /
    • 1998
  • Before an actual military communications satellite is designed and constructed, a feasibility study should take place. The basic functions of such system can be observed and demonstrated in an X-Band payload simulator. For this purpose a Payload Concept Model (PCM) for X-Band payload subsystem has been developed to simulate the workings of an actual military communications payload. This paper explains and illustrates the mechanical design, manufacture, and integration of the PCM. Basic RF tests also have been performed in order to verify the design requirement of the system. The results demonstrate successful development of the PCM and operation without RF losses.

  • PDF

Optimal Sizing of In-Plant and Leased Storage Spaces under a Randomized Storage Policy (임의 저장방식 하에서 기업 내 저장공간과 외부의 임차공간에 대한 최적 규모 결정)

  • Lee, Moon-Kyu
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.30 no.4
    • /
    • pp.294-300
    • /
    • 2004
  • This paper considers a trade-off effect between in-house storage space and leased storage space in generic warehouses operated under a randomized storage assignment policy. The amount of in-house storage space is determined based on the law of large numbers satisfying a given service level of protection against space shortages. Excess space requirement is assumed to be met via leased storage space. A new analytic model is formulated for determining the excess space such that the total cost of storage space is minimized. Finally, computational results are provided for the systems where the standard economic-order-quantity inventory model is used for all items.

MANUFACTURER′S PROCUREMENT DECISION ANALYSIS IN A SUPPLY CHAIN WITH MULTIPLE SUPPLIERS

  • Kim, Bowon;Park, Kwang Tae;Lee, Seungchul
    • Management Science and Financial Engineering
    • /
    • v.6 no.2
    • /
    • pp.1-28
    • /
    • 2000
  • Supply chain management issues faced by a manufacturing company are considered in this paper. The supply chain consists of a manufacturing company and its suppliers. The manufacturer produces multiple products with inputs (e.g., raw materials) from the suppliers, but each product needs a different mix of these inputs. The market demand for the products is uncertain. We develop a mathematical model and algorithm, which can help the manufacturer to solve its procurement decision problem: how much of raw material to order from which supplier. The model incorporates such factors as market demand uncertainty, product's input requirement, supplier's as well as manufacturer's capacity, plus other costs comparable with those in a typical newsboy problem. Numerical examples are presented to see the interacting effects among critical parameters and variables.

  • PDF

A Study on the Status of Production Management & the New Model Build-up Approaching Control Technique System for Productivity Improvement in Korean Small-Medium Manufacturing Enterprises (생산성항상을 위한 중소제조기업의 생산관리 실시현황과 관리기법적응 체계모형설정)

  • 신용백
    • Journal of the Korean Professional Engineers Association
    • /
    • v.33 no.2
    • /
    • pp.62-67
    • /
    • 2000
  • The trouble rank of business management of the small-medium manufacturing enterprises in Korea is constituted by that average 28.6% of production management in the worst trouble of business management from 1982 to 1999. The status of production management approaching problem is analyzed for Korean small-medium manufacturing enterprises and it us checked productivity improvement and requirement facts impede productivity improvement. It is expected to contribute much productivity improvement through a new established model of production management system and technique or tool for small-medium manufacturing enterprises in Korea.

  • PDF

MODELING SATELLITE IMAGE STRIPS WITH COLLINEARITY-BASED AND ORBIT-BASED SENSOR MODELS

  • Kim, Hyun-Suk;Kim, Tae-Jung
    • Proceedings of the KSRS Conference
    • /
    • v.2
    • /
    • pp.578-581
    • /
    • 2006
  • Usually to achieve precise geolocation of satellite images, we need to get GCPs (Ground control points) from individual scenes. This requirement greatly increases the cost and processing time for satellite mapping. In this article, we focus on finding appropriate sensor models for entire image strips composing of several adjacent scenes. We tested the feasibility of modelling whole satellite image strips by establishing sensor models of one scene with GCPs and by applying the models to neighboring scenes without GCPs. For this, we developed two types of sensor models: collinearity-based type and orbit-based type and tested them using different sets of unknowns. Results indicated that although the performance of two types was very similar, for modelling individual scenes, it was not for modelling the whole strips. Moreover, the performance of sensor models was remarkably sensitive to different sets of unknowns. It was found that the orbit-based model using attitude biases as unknowns can be used to model SPOT image strips of 420 Km in length.

  • PDF

Development of Early Evaluation System for Concrete Quality, Construction and Maintenance (콘크리트 품질ㆍ시공ㆍ유지관리의 조기판정시스템 개발)

  • 손용우;이증빈;최미라;박봉수
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2004.10a
    • /
    • pp.517-526
    • /
    • 2004
  • In the resent years, the early evaluation of concrete quality, construction and maintenance has been considered as all is of major concern due to the increase of loading and the degradation of structures related with time. This paper presents evaluation of structural safety performance using measured data of construction, on the basis of a field measurements for the prevention of unreliable concrete works. Measurements analyzed in this paper are early quality condition and performance assessment, serviceability performance by cracks and deflection, rating performance by loading, durability performance by chloride attack and carbonation. Thus, a quantitative assessment model of resistance capacity was developed here to meet the requirement for deteriorated concrete structures. The model focuses on damage mechanical of concrete structures deteriorated by initial damage factors for concrete quality and environment factors such as chloride and carbonation attacks. These results could provide useful information for concrete structures interested in design, construction and maintenance.

  • PDF