• 해양환경안전학회지
• /
• 제7권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.

• 대한산업공학회지
• /
• 제27권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
• /
• 제6권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.

• 대한임베디드공학회논문지
• /
• 제5권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.

• 한국경영과학회지
• /
• 제15권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.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• 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.

• 산업경영시스템학회지
• /
• 제22권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.

• 한국의상디자인학회지
• /
• 제18권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1001-1014
• /
• 2003

빠르게 변화하는 시장의 요구에 대응하고자 특정 영역에 속하는 애플리케이션 간의 재사용을 높이려는 프로덕트 라인 개발 방법에 대한 연구가 활발하게 진행되고 있다. 프로덕트 라인 개발 방법에서는 영역 내의 여러 애플리케이션들 간의 차이점과 공통점을 분류하는데 피쳐 모델링이라는 분석 방법을 주로 사용하고 있다. 기존 피쳐 모델링에서는 피쳐를 비정형적으로 명세화하기 때문에 모호성, 이해의 오류, 잘못된 해석 등의 문제가 발생하고 있다. 피쳐를 추상화하여 도메인에 독립적인 메타 모델로 나타내고 정형화 기법을 도입하여 명세화 한다면 기존의 피쳐 모델에서 발생하는 문제점들을 해결할 수 있을 것이다. 따라서 본 논문에서는 첫째, 메타 수준에서의 피쳐 모델링을 통하여 피쳐의 구조와 속성을 정의한 후 다중 패러다임 정형화 명세 언어를 사용하여 피쳐를 명세화하는 기법을 제시하였다. 둘째, 피쳐에 대한 정형화 명세 프로세스를 기술하였으며, 셋째, 명세화된 피쳐들 간에 발생할 수 있는 문제점들을 해결하기 위한 피쳐 상호작용 관리기법을 정의하였다. 그리고 마지막으로, 제시된 피쳐의 정형화 명세 기법을 분산 미팅 스케줄러 시스템에 적용시켜보았다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
• /
• 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.