• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8447-8454
• /
• 2015

ISO 12215-5 standard describes allowable stress design specifications of monohull small boat with a length of hull between 2.5 m and 24 m constructed from fiber reinforced plastics, aluminium or steel alloys, glued wood or other suitable boat building material. If small boat hull is under 2.5m in overall length or nonstandard material is used as boat building material, structural reliability of small boat hull is assured by drop test specification, but not by structural design specification in accordance with ISO 12215-5. Drop test specification of boat hull can be applied to manufactured product. But it is difficult and complicated to apply drop test specification to structural design of boat hull. In this study, we present structural design method of polyethylene boat hull on the basis of longitudinal bending strength test specification.

• Proceedings of the IEEK Conference
• /
• 2002.06c
• /
• pp.161-164
• /
• 2002

The informal specification technique lacks abstraction and preciseness. On the other hand, the formal specification technique makes the developer difficult to express and understand the software specification, because it contains mathematical expression. This paper proposes DSC(Domain Specification Component) to solves these problems. DSC supports the understanding of problem domain and improves reusability with selecting the strong point of informal and formal specification technique. We applied the proposed DSC to CMIP-based network management manager software. And we analyzed the effects of the reusability and confirmed the increase of the reusability.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.7
• /
• pp.1346-1353
• /
• 2001

This paper presents an algorithm for the design of 2 dimension separable denominator digital filter(SDDF). The proposed algorithm is based on the reduced dimensional decomposition not only 2 dimension SDDF's but also of given 2 dimension specification. The frequency domain design of 2 dimension separable denominator digital filters based on the reduced dimensional decomposition can be realized when the given 2 dimension frequency specification are optimally decomposed into a pair of 1 dimension digital filter specification via singular value decomposition. the algorithm is computationally efficient and numerically stable. In case of the low pass filter, the approximation error of the proposed design algorithm is $e_{m}$=5.17, $e_{r1}$ =8.78, $e_{r2}$=7.34, while in case of band pass filter, the approximation error is $e_{m}$=13.00, $e_{r1}$=62.76, $e_{r2}$=62.7676.7676

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.1
• /
• pp.92-97
• /
• 2007

This study was carried out to minimize the lifting force and to design the slim sized frame of a height adjustment mechanism. This unit is designed for the display devices in order to enhance the ergonomics for effective height adjustment as well as to achieve much slimmer frame for the pedestal. A tolerance analysis of 6 sigma was applied to achieve smooth lift at design stage not to change the tolerance specification of gap several times in a roller type of lifting mechanism at mass production stage. The specification of minimum gap and the target of production yield ratio were agreed with a quality team before tooling. A DFSS simulation on drawings had been done with reasonable tolerance and achievable standard deviation(${\sigma}$) several times until the target specification of gap and yield ratio was met. Once tolerance and deviation(${\sigma}$) were fixed tooling start was done successfully. A CAE method was applied to achieve a slim design. Design parameters were frozen when those parameters matched the reference strength data of standard model. Through those tolerance analysis and CAE simulation the number of tool modification was reduced and production yield ratio was raised up without arguing quality specification at production stage in the end.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.2
• /
• pp.96-104
• /
• 2009

It gradually becomes important to study on how to efficiently integrate and manage plant lifecycle data such as 2D schematic and 3D solid data, logical configuration data, and equipment specifications data. From this point of view, converting plant design data from various systems into neutral data independent from any commercial systems is one of important technologies for the operation and management of plants which usually have a very long period of life. In order to achieve this goal, a neutral model for efficient integration and management of plant data was defined. After schema mapping between one of specification-driven plant design systems and the neutral model was performed, a plant data translator is also implemented according to the mapping result. Finally, by experiments with nuclear power plant design, the feasibility of the translator was demonstrated.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1880-1886
• /
• 2008

Recently, a railroad system has a big and complicated structure of specification. Therefore, traceability between specification need to be identified for design change management and this is many engineer's concerns. Traceability means technical relationship. This is to trace other specification or component connect with relevant problem in case some problem should be examined. Traceability between functional specification can be proved through functional analysis essentially. This study will introduce an application method of functional analysis in the case of practical use project of MAGLEV train. And we propose the guide to identify traceability between function through functional analysis.

• Journal of the Society of Naval Architects of Korea
• /
• v.48 no.3
• /
• pp.207-214
• /
• 2011

Ship design requirements described in the building specification should be reflected in the design process. This paper identifies the configuration of requirements mentioned in the building specification using Ontology Representation Language (OWL). Ontology-based semantic search system specifies the requirement items. Through this extraction, building specifications mentioned for each entry are configured to the tree. Tracking requirements for ship design and a set of procedures to instruct is also used for the V model of systems engineering. The semantic search engine of robot agent and ontology can search the requirements specification document and extract the design information. Thereafter, design requirements for the tracking model that proposes the relationship between the associated BOM(bill of material) and product structure.

• IE interfaces
• /
• v.12 no.2
• /
• pp.319-328
• /
• 1999

Today, offshore design field is concerned with system integration such as CIM(Computer Integrated Manufacturing), PDMS(Product Data Management System) and EDMS(Engineering Data Management System) in order to cope with the change of engineering specification as owner's requirements during construction stage of the project. This paper deals with the case study that describes about the efficient interface between material control system and 3D CAD system to support the design process in offshore industry using design rules involved the designer's knowledge. In this paper, we constructed an information system, called knowledge-based CAD interface systems, which is composed material code management system and 3D specification generator which automatically creates 3D catalogue anti specification by linking the material code, called short code, and the specification components of the 3D CAD system. As a result of the construction, it is possible to maintain consistency of the design process, and through reduction of the design processing time and improvement of the design process, competitiveness is improved.

• The Journal of the Korea Contents Association
• /
• v.5 no.2
• /
• pp.213-219
• /
• 2005

The specifications which are drawn up when developing a software cannot achieve continuous automation because of individual qualities of them, and many inconsistent elements can be discovered even from software audit. In this paper, we establish the standards for the classification of inconsistent items by analysing audit related data in order to maintain the consistency among specifications drawn up in the phases of analysis and design. We propose the specification inconsistent item detection method. This can reduce the error of the specification which is drawn up from analysis and design phase with it will be able to improve the quality of the software which is a last product. It can improve the quality of the software which is a last product, by reducing the error of the specification which is drawn up from analysis and design phase.