• Journal of the Korean Society of Marine Environment & Safety
• /
• v.7 no.3
• /
• pp.61-74
• /
• 2001

The prevention of marine accidents has been a major topic in marine society and various policies and countermeasures has been developed, applied to the industries. Formal Safety Assessment is a structured and systematic methodology, aimed at enhancing maritime safety, including protection of life, health, the marine environment and property, by using risk and cost-benefit assessments. In addition, it provides a means of being proactive, enabling potential hazards to be considered before a serious accident occurs. In this paper, we has been screening and ranking of hazards using fuzzy structural modeling method and quantitative risk assessment for the ship's collision in the last 10 years marine accidents.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.1
• /
• pp.37-46
• /
• 2001

Business process(workflow) analysis has been recognized as a core step to building information systems. However, most analysts have recognized that deriving consistent business process artifacts even in a simple business domain is very difficult, since most analysis methods give the designers narrative and/or diagrammatic tools that do not support rigorous analysis rules. This often generates inconsistent analysis results, leading to create useless information systems and resulting in tremendous budget wastes. To overcome this weakness, this paper presents a declarative business process modeling method called contract-collaboration net(cc-net), which is not only somewhat formal but also useful to the practitioners. A case study on bank domain is presented to illustrate our approach.

• International Journal of CAD/CAM
• /
• v.6 no.1
• /
• pp.29-40
• /
• 2006

The paper presents an optimization system which integrates a parametric design tool, 3D diffraction-radiation analysis and hydrodynamic performance assessment based on short and long term wave statistics. Controlled by formal optimization strategies the system is able to design offshore structure hulls with superior seakeeping qualities. The parametric modeling tool enables the designer to specify the geometric characteristics of the design from displacement over principal dimensions down to local shape properties. The computer generates the hull form and passes it on to the hydrodynamic analysis, which computes response amplitude operators (RAOs) for forces and motions. Combining the RAOs with short and long-term wave statistics provides a realistic assessment of the quality of the design. The optimization algorithm changes selected shape parameters in order to minimize forces and motions, thus increasing availability and safety of the system. Constraints ensure that only feasible designs with sufficient stability in operation and survival condition are generated. As an example the optimization study of a semisubmersible is discussed. It illustrates how offshore structures can be optimized for a specific target area of operation.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.15 no.2
• /
• pp.85-95
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of model. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodles. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues : (1) Genus structure for model composition, (2) Storage of structured models, and (3) Integration of structured models. To formalize and visualize the approach, a programming module is developed to implemented the step-by-step integration.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.49-60
• /
• 1990

Structured modeling provides a formal mathematical framework, language, and computer-based environment for conceiving, representing, and manipulating a wide variety of models. It provides a natural framework for integrated modeling owing to its explicit representation power for computational dependencies among submodels. Nevertheless, it doesn't seem to offer a systematic way of composing a structured model from submodels. In order to develop a systematic way, this paper discusses three key issues; (1) Genus structure of validated submodel, (2) Storing method of genus structure, and (3) Integration of genus structures to generate a new genus structure. To visualize the approach, a programming module is developed to implement the step-by-step integration.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.229-239
• /
• 1999

Enterprise integration, which aims to enhance an enterprise's competitive edge, requires a highly structured product information model as a common product database. Previous research works on this issue have been narrowly focused on the transformation of product information between various operation areas, leading to a situation where enterprise integration lacks a formal method of information modeling. In this paper, research works and issues surrounding product information modeling for enterprise integration are reviewed, and the requirements for a product information model are identified. A product information model called L3DPIM (Layered Three Dimentional Product Information Model) is proposed, which is based on a feature-based design process. This model is expected to serve as a modeling paradigm for enterprise integration.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.18 no.1
• /
• pp.61-78
• /
• 2016

This study through the literature research to understand the most representative art trend - the definition and evolution of the Cubism in the early 20th century, and through the analysis on the representative painter's works, such as works of Pablo Ruiz Picasso and Georges Braque, This article raises the unique characteristics of the Cubist painting, such as geometry modeling, simultaneity, transparency, collage, deconstruction and reconstruction, etc. On the basis of theoretical research in this study, in order to meet the novelty and originality of clothing design requirements in the field, this research uses the modeling characteristics of the Cubist painting, designs and makes five sets of works in costume designing. Research findings are as follows, 1) According to the geometry modeling, split garment surface into triangle or irregular polygon shaped. 2) Show front and side images of the characters in the same garment surface. 3) Overlapping the images of the characters in the same garment surface. 4) Make use of composite materials to express the characters. 5) Disassemble the characters recombine them in an abstract painting way. These works mainly completed by adopting some techniques like Patchwork and Figurative painting. The colors consist of red, yellow and blue caused "Three primary colors series" to achieve the goal of expanding visual effect. Additionally, for the sake of the formal beauty-deformation distortion, symmetric and asymmetric, for instance the structure of the costume adopts formal beauty technique.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.436-443
• /
• 1992

Presented in the paper is a systematic approach to constructing a Petri net model of FAS (flexible assembly system). Petri net is widely used in modeling automated manufacturing systems. But, it found to be very difficult for an FA engineer to build a correct model of an FAS with Petri net symbols (ie, place, transition, and token) from the beginning. An automated manufacturing system in general is built from a set of "standard" hardware components. An FAS in particular is usually composed of assembly robots, work tables, conveyor lines, buffer storages, part feeders, etc. In the proposed modeling scheme, each type of standard resources is represented as a standard "module" which is a sub Petri net. Then, the model of a FAS can be conveniently constructed using the predefined modules the same way the FAS itself is built from the standard components. The network representation of a FAS is termed a JR-net (job resource relation net) which is easy to construct. This JR net is then mechanically converted to a formal Petri net (to simulate the behavior of the FAS). The proposed modeling scheme may easily be extended to the modeling of other types of automated manufacturing systems such as FMS and AS/RS.ch as FMS and AS/RS.