• Journal of Korea Society of Digital Industry and Information Management
• /
• v.17 no.1
• /
• pp.25-34
• /
• 2021

Availability is one of the important factor for developing weapon system, because it indicates the mission capability and sustainable life cycle management of weapon system. Recently, as weapon system becomes more advanced and more complex, availability estimation becomes more important to reduce the life cycle cost of weapon system. Modeling and simulation(M&S) is useful method to describe the availability of complex weapon system applying operational environment and maintenance plan. Especially agent based model(ABM) has the strength to describe interactions between agents and environments in complex system. Therefore, this paper presents the availability estimation of weapon system using agent based model. The sample data of part list and reliability analysis is applied to build availability estimation model. User agent and mechanic agent are developed to illustrate the behavior of operation and maintenance using formal specification. Storage reliability is applied to describe failure of each parts. The experimental result shows that this model is quite useful to estimate availability of weapon system. This model may estimate more reasonable availability, if full scale data of weapon system and real field data of operation is provided.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.5
• /
• pp.1-11
• /
• 2017

This study focused on the ultimate behaviors(ultimate strength and fracture mode ) of single shear bolted connection with austenitic sainless steel(STS201) and curling effect on the ultimate strength using finite element analysis based on test results. Main variables are end distance in the parallel direction to loading and edge distance in the perpendicular direction to loading. The validation of finite element analysis procedures was verified through the comparisons of ultimate strength, fracture mode and curling(out-of-plane deformation) occurrence between test results and numerical predictions. Curling was observed in both test and analysis results and it reduced the ultimate strength of single- shear bolted connections with relatively long end distances. Strength reduction ratios caused by curling were estimated quantitatively by maximum 19%, 32%, respectively for specimens with edge distance, 48 mm and 60 mm compared with strengths of uncurled connections with restrained out-of-plane deformation. Finally, analysis strengths were compared with current design strengths and it is found that design block shear equations did not provide the accurate predictions for bolted connections with strength reduction by curling.

• Computers and Concrete
• /
• v.14 no.6
• /
• pp.727-743
• /
• 2014

The management of existing concrete bridges has become a major social concern in many developed countries due to the large number of bridges exhibiting signs of significant deterioration. This problem has increased the demand for effective maintenance and renewal planning. In order to implement an appropriate management procedure for a structure, a wide array of corrective strategies must be evaluated with respect to not only the condition state of each defect but also safety, economy and sustainability. This paper describes a new performance evaluation system for existing concrete bridges. The system evaluates performance based on load carrying capability and durability from the results of a visual inspection and specification data, and describes the necessity of maintenance. It categorizes all girders and slabs as either unsafe, severe deterioration, moderate deterioration, mild deterioration, or safe. The technique employs an expert system with an appropriate knowledge base in the evaluation. A characteristic feature of the system is the use of neural networks to evaluate the performance and facilitate refinement of the knowledge base. The neural network proposed in the present study has the capability to prevent an inference process and knowledge base from becoming a black box. It is very important that the system is capable of detailing how the performance is calculated since the road network represents a huge investment. The effectiveness of the neural network and machine learning method is verified by comparing diagnostic results by bridge experts.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.521-525
• /
• 2011

Although the Korean construction industry has risen rapidly, the quality of the buildings is not met with the industry standard compared to the potential of the technology development and the cost of maintenance has been increased. The user's request for quality have been increased, but in the current building construction, the contractors only follow the specifications of design, material and technology, and their main concern is whether they are in right track with the specification or not. Thus, the necessity of developing technology has been ignored and sufficient opportunities for the development have not been provided as well. In the developed countries, in contrast, the quality assurance and the payment regulation system has been utilized for the active response to the changes of users' request. As a result of this, the maintenance cost has been decreased and the development of construction technology has been improved. Therefore the pay adjustment system is needed to create the improvement of the quality of the buildings by the contractors' earnest building construction. In order to introduce the pay adjustment system suitable to the Korean construction industry, this study presented the logical method of adjusting the construction cost and making payment with the pay adjustment index that is created based on the result of the performance test, after making a set of the indicators of the building performance standard and applied them to the targeted building.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.4
• /
• pp.135-140
• /
• 2005

In case of rock bolt useable by tunnel reinforcement methods at field is applied problem of typical rock bolt pull test diagram method propositional in documents and is not thesis of clearness analysis basis about result of rock bolt pull test. So this paper suggested in consideration of foreign basis and field condition that the first, "suggestion of apposite diagram method at tight ground and difference application of rock bolt pull test method at loose and tight ground" and the second, "thesis of estimation basis non-thesis of design and specification, test etc".

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.387-390
• /
• 2008

The importance of the life cycle cost analysis for construction projects of bridge has been recognized over the last decades. Accordingly, theoretical models, guidelines, and supporting softwares have been developed for the life cycle cost analysis of bridges. However, it is difficult to predict life cycle cost considering uncertainties precisely. This paper presents methodology for optimal design of substructure for a steel box bridge. Total life cycle cost for the service life is calculated as sum of initial cost, damage cost considering uncertainty, maintenance cost, repair and rehabilitation cost. The optimization method is applied to design of a bridge substructure with minimal cost, in which the objective function is set to life cycle cost and constraints are formulated on the basis of Korean Bridge Design Specification. Initial cost is calculated based on standard costs of the Korea Construction Price Index and damage cost on the damage probabilities to consider the uncertainty of load and resistance. An advanced first-order second moment method is used as a practical tool for reliability analysis using damage probability. Maintenance cost and cycle is determined by a stochastic method and user cost includes traffic operation costs and time delay costs.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.5 no.4
• /
• pp.121-129
• /
• 2001

The semi-adiabatic temperature rise and the losses of temperature of cement paste, mortar and concrete were measured by an apparatus of semi-adiabatic temperature. Heat of hydration was measured by a conduction calorimeter and adiabatic temperature rise of concrete was measured by an adiabatic calorimeter. The derived equation which can assume the adiabatic temperature was proposed by measuring the semi-adiabatic temperature of concrete. The maximum adiabatic temperature rise of concrete obtained by the derived equation of adiabatic temperature, $T_{ad}(t)=T_{sad}(t)+T_{dis}(t)$, showed $55^{\circ}C$ approximately and it had good relation with the other one obtained by the heat of hydration of cement paste and with maximum value which was measured by the adiabatic calorimeter. The adiabatic temperature rise obtained by derived equation was a different information in comparison with the value obtained by adiabatic temperature rise equations by Hell and et. al. in early age, but it showed similar tendencies with the other one according to elapsed time. Adiabatic temperature rise of lich mix concrete with highly cement content was predicted. The adiabatic temperature rise of cement paste and mortar obtained by derived equation from us showed comparatively matching results to compared with that of obtained by adiabatic temperature equation from concrete standard specification.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.20 no.6
• /
• pp.73-83
• /
• 2016

Bearing stress near anchor plates is usually very high due to prestressing force in anchorage zone of concrete structure used post-tensioned prestressed method. In order to effective utilization of cross section and crack control, appropriate size of anchorage plates should be used to prevent crack initiation and failure of concrete structures eventually. This study aims to suggest equation for effective area of bearing plate of rectangle type and circular type by Highway Bridge Design Specification and PTI etc. A shape factor according to bearing plate shape is suggested based on numerical analysis, and it can be used suitability for design of special anchorage plate dimension.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.14 no.4
• /
• pp.169-178
• /
• 2010

In this study, the optimal strengthening by micro genetic algorithm(${\mu}$-GA) method is proposed for improvement of load-carrying capacity of RC hollow slab bridges using external prestressing. The Qeen-post type and King-post type are considered for the optimal strengthening. The type for optimal strengthening, deviator, areas of tendons and the number of anchor are calculated by ${\mu}$-GA. The objective function is constituted with dimensionless cost of tendon and steel for optimal strengthening. The constraints are formulated by design specification for bridges and anchors. The validity of this study is presented by analysis of the results after the optimal strengthening of the RC hollow slab bridge.