• 한국도로학회논문집
• /
• 제15권1호
• /
• pp.37-45
• /
• 2013

PURPOSES: This study is to analyze different vehicle load effects for a bridge design of South and North Korea in order to prepare a common design specification and to secure the safety of transportation when the highway bridges of South and North Korea use together. METHODS: Based on the literature review, this study considers vehicle load effects by comparing different characteristics of the standard vehicle and other differences of the bridge design specification between South and North Korea. And structural modeling of three-span continuous PSC Beam Bridge are analyzed and the bridge capacity according different vehicle loads of South and North Korea is evaluated. RESULTS: The result of this study indicates that the bridge capacity and the design vehicle weight of North Korea are smaller than the bridge capacity and the design vehicle weight of South Korea. Also this study demonstrates that the design vehicle array and other characteristics of North Korea are very different than the design vehicle array and other characteristics of South Korea. CONCLUSIONS: It is expected that the outcomes of this study can be useful in the set-up of South-North Bridge Specification because similar previous studies are rarely found.

• 한국정보처리학회논문지
• /
• 제7권5호
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

• International Journal of Quality Innovation
• /
• 제2권1호
• /
• pp.50-57
• /
• 2001

The economic design of specification limits must be determined on an economic basis where we minimize total loss to society, which consists of both the producer and the consumer. Economic specification limits have been developed based on the assumption that the quality characteristic is normally distributed. Unfortunately, the assumption is not to meet some practical cases. In this paper, some non-normal distributions are considered for quality characteristic with geometrical features. An economic model for selecting the optimum specification limits on the basis of minimizing total cost is introduced. A case study is presented to illustrate the application in practice.

• 한국군사과학기술학회지
• /
• 제11권6호
• /
• pp.90-101
• /
• 2008

Korean defense specifications are the technical criteria of military products and major factor of acquisition system. Weapon systems and acquisition technique have been advanced dramatically after 1990's, but Korean defense specification practice standard has stayed after early 1980's except embedded software. The current status of current Korean defense specification practice standard and trend of related design and acquisition techniques like M&S, SBA, and digital manufacturing have been reviewed. This paper suggests that transfer to product, IT oriented specification structure, adaptation of digital product model and reinforcement of engineering management systems to establish a development initiative of Korean defense specification practice standard.

• Journal of the Korean Data and Information Science Society
• /
• 제16권4호
• /
• pp.943-949
• /
• 2005

An economic design of specification limits for production process of ham is considered for a given process mean in a complete inspection plan. Each ham is inspected, and if it meets the specification, it is accepted. The ham less than the lower specification limit are changed another products or at a discounted price, and those greater than the upper specification limit are reworked. A profit model is developed which involves selling price, production cost, rework cost and the cost which is incurred by imperfect quality. Methods for finding the optimal specification limits are derived for the case of piecewise linear loss function with an industrial case study.

• 한국지진공학회논문집
• /
• 제12권2호
• /
• pp.45-52
• /
• 2008

최근 국제적으로 지진 발생 규모가 증대하고 있는 가운데 우리나라에서도 자연대책법상 법적인 기준 내용이 강화되어 전기통신기본법에 따른 통신시설이 지난 2007년 1월 내진설계 대상 범주로 추가되었으며 이에 따라 세부 규격기준 내용 수립을 위한 연구가 추진되고 있다. 본 논문은 통신설비에 적용하여야 할 구체적 규격기준 내용의 수립 방안에 대하여 다룬 것이다. 이를 위하여 법률 고시에 따른 내진설계 대상 통신설비 부류를 소개하고 국내에 있어서 현재까지 연구되어 활용할 수 있는 기반 기술규격으로서의 건축법령상 건축구조설계기준의 설계 절차에 대하여 알아본다. 그리고 제외국 유수 규격 내용의 활용 도입 방안을 검토하였다. 이러한 기존 기술규격들을 바탕으로 실제로 법적 기준상에 도입하여야 할 통신설비 내진설계 적용 방안을 제시한다.

• Earthquakes and Structures
• /
• 제23권2호
• /
• pp.197-206
• /
• 2022

Recently, steel-timber hybrid buildings have become prevalent worldwide because several advantages of both steel and timber structures are maintained in the hybrid system. In Taiwan, seismic design specification related to steel-timber hybrid buildings remains void. In this study, the ductility capacity of steel-timber hybrid buildings in Taiwanese seismic design specification is first proposed and evaluated using nonlinear incremental dynamic analysis (IDA). Three non-linear structural models, 12-story, 8-story, and 6-story steel-timer hybrid buildings were constructed using OpenSees. In each model, Douglas-fir was adopted to assemble the upper 4 stories as a timber structure while a conventional steel moment-resisting frame was designated in the lower part of the model. FEMA P-695 methodology was employed to perform IDAs considering 44 earthquakes to assess if the ductility capacity of steel-timber hybrid building is appropriate. The analytical results indicate that the current ductility capacity of steel moment-resisting frames can be directly applied to steel-timber hybrid buildings if the drift ratio of each story under the seismic design force for buildings in Taiwan is less than 0.3%. As a result, engineers are able to design a steel-timber hybrid building straightforwardly by following current design specification. Otherwise, the ductility capacity of steel-timber hybrid buildings must be modified which depends on further studies in the future.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.895-906
• /
• 2002

분산 웹 애플리케이션에 대한 관심도가 증가함에 따라서 복잡한 분산 프레임워크와 관련된 코드의 작성 없이 비즈니스 코드 작성에 주력할 수 있게 해 주는 서버측 Java 컴포넌트 아키텍처인 EJB에 대한 관심도 또한 증가하고 있는 추세이다. 그러나 이러한 관심도의 증가에도 불구하고 지금까지는 이러한 시스템의 신뢰성 측면에 대한 노력은 미비한 것이 현실이다. 따라서 본 논문에서는 객체지향 시스템 개발에서 소프트웨어의 신뢰성을 높여줄 수 있는 접근법으로 증명되고 있는 DbC 접근법을 EJB 기반 애플리케이션의 정형 명세 작성에 적용하기 위한 명세 기법을 제안한다. 이러한 명세 기법을 통해 개발자들은 EJB 기반 애플리케이션 개발에 있어서 신뢰성 측면의 이점을 얻을 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제3권3호
• /
• pp.341-350
• /
• 2002

소프트웨어 아키텍쳐는 설계 과정 동안 수정, 갱신 그리고 대체로 인해 재구성될 수 있으며, 소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있기 때문에 다양한 관점에서 설계된 아키텍쳐를 재구성할 수 있는 방법과 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 필요하다. 이 논문에서는 기존에 이미 정의되어 있는 아키텍쳐와 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법을 제안하였다. 그리고, 통합된 구조의 소프트웨어 아키텍쳐 명세에 필요한 명세 요소와 명세 구조를 제안한다. 제안한 통합된 구조의 명세 방법은 아키텍쳐 설계과정에서 다양한 개발자 관점에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공하고, 아키텍쳐의 수정 및 갱신 그리고 대체와 같은 변경 요소에 대해 유연성 있는 명세 방법을 제공한다.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.33-40
• /
• 2018

This paper is based on the interim result of ongoing research and development project to develop a software system which support procurement activities, namely PeMSS (Procurement Engineering Management Support System). PeMSS is a system that enables development requirements for each equipment and help designing equipment meeting the purchase requirements. Procurement at EPC (Engineering Procurement and Construction) and operational stage of a plant is an important area that determines the integrity and profitability of the plant. Procurement of unsuitable equipment due to selection of suppliers that do not meet or omit critical requirements in purchase specification can result in enormous cost increase due to such as delay in EPC project, unsatisfactory performance and reduced plant operation time. In spite of the importance of the procurement engineering, there is a lack of support system for systematic preparation of purchase specification, so development of the procurement specification is basically relying on the experience of the engineers in charge. Accordingly, it is needed to develop the PeMSS to help procurement engineers develop procurement specification based on systems engineering approach. This paper introduces the design of the PeMSS.