• International Journal of Highway Engineering
• /
• v.15 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.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
• /
• v.2 no.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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.11 no.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
• /
• v.16 no.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.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.12 no.2
• /
• pp.45-52
• /
• 2008

The telecommunication facilities by the basic law of telecommunication were added to the protection law against natural disasters as a scope of seismic design application on January 2007 since legal regulation had been reinforced in our country as in the circumstance that earthquakes are now frequently occurred in several areas over the world. This paper handles an establishing provision of concrete seismic design specification for applying to telecommunication facilities. For this purpose, this paper classified the parts of telecommunication facilities as being the correspondents to apply seismic design and analyzes the procedure of the design specification of building structure as the part of building construction law as a basic reference for seismic design application. And the method of introducing the foreign specification is presented. Thereon seismic design measures to be introduced into legal regulation are suggested for telecommunication service endurance against earthquake.

• Earthquakes and Structures
• /
• v.23 no.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.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.895-906
• /
• 2002

Due to increased concern about the distributed web application, the interest in EJB - server-side Java component architecture that enables to make out Business Logic without writing codes related to complicated distributed framework - is also increasing. Despite of these increased interest, However, efforts for reliability of these systems have been insufficient. Thus, in this paper, we propose specification technique for applying DbC approach, which can elevate the reliability of software in the Object-Oriented system development, in writing formal specification of EJB-based application. Through this specification technique, developers can gain reliability in the EJB-based application development.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.3
• /
• pp.341-350
• /
• 2002

Software architectures can be restructured by modification and update during design processes, and appropriate software architectures for developments can be designed more than one. Therefore, it is required to specify efficiently the modification elements of architectures and restructuring method of designed architecture through various aspects. In this paper, we proposed software architecture restructuring mechanism that can restructure legacy architecture and a new software architecture designed with reuse of it in integrated form. And, we define specification elements and structure of the proposed restructured architecture specification. It provides the method that can reference and reuse architectures designed with various aspects of developers in architecture design processes. In addition, it supports flexible specification method for specification of modification elements such as revision, substitution, update of legacy software architecture.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.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.