• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.139-149
• /
• 2009

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.60-68
• /
• 2009

Because of the reduced product life-cycle, industries are making an effort to bring down the process planning time. In the traditional approach, we have to analyze established process planning, then design the time chart based on process information and drawing the formal time chart such as SOP(sequence of operation). Thereafter, it will be converted to PLC code that is a time consuming and redundant job. Similarly, Industrial automated process uses PLC Code to control the factory; however, control information and control code(PLC code) are difficult to understand. Hence, industries prefer writing new control code instead of using the existing one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose SOS-Net modeling method. Unlike past stabilized process planning that is rigid to any change; our proposed SOS-Net modeling method is more adaptable to the new changes. The SOS-Net model is easy to understand and easy to convert into PLC Code accordingly. Therefore, we can easily modify the control information and reuse it for new process planning. The proposed model plays an intermediary role between process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.

• The Journal of Information Systems
• /
• v.14 no.3
• /
• pp.1-8
• /
• 2005

This paper formally defines a role-driven security and access control model of a business process in order eventually to provide a theoretical basis for realizing the secured business process management systems. That is, we propose a graphical representation and formal description of the mechanism that generates a set of role-driven security and access control models from a business process modeled by the information control net(ICN) modeling methodology that is a typical business process modeling approach for defining and specifying business processes. Based upon the mechanism, we are able to design and accomplish a secured business process management system that provides an unified resource access control mechanism of the business process management engine domain's and the application domain's. Finally, we strongly believe that the secured access control policies from the role-driven security and access control model can be easily transformed into the RBAC(Role-based Access Control) model that is a standardized security technology for computer and communications systems of commercial and civilian government organizations.

• Journal of the Society of Naval Architects of Korea
• /
• v.41 no.3
• /
• pp.41-48
• /
• 2004

Ship is being operated under a highly dynamic environments and many factors are related with ship's collision and those factors are interacting. So, the analysis on ship's collision causes are very important to prepare countermeasures which will ensure the safe navigation. This study analysed the ship's collision data over the past 10 years(1991-2000), which is compiled by Korea Marine Accidents Inquiry Agency. The analysis confirmed that ‘ship's collision' is occurred most frequently and the cause is closely related with human factor. The main purpose of this study is to propose risk control measures of ship's collision. For this, the structure of human factor is analysed by the questionnaire methodology. Marine experts were surveyed based on major elements that were extracted from the human factor affecting to ship's collision. FSM has been widely adopted in modeling a dynamic system which is composed of human factors. Then, the structure analysis on the causes of ship's collision are performed using FSM. This structure model could be used in understanding and verifying the procedure of real ship's collision. Furthermore it could be used as the model to prevent ship's collision and reduce marine accidents.

• 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 KIBIM
• /
• v.8 no.2
• /
• pp.19-28
• /
• 2018

Recent increase in the interest and adoption of BIM for infrastructure projects has created a need for formal BIM guidelines in the civil engineering domain. Currently a BIM guideline has been developed in Korea exclusively for the road sector. However, the guideline has gaps in the specification of how BIM models should be generated, managed and applied for maximum effect in projects. This study reviewed the guidelines and tender documents of Singapore to determine potential improvements to adopt in Korea. Results showed that Korea's guideline should focus more on process integration as to stipulating BIM deliverables, encourage a common data environment, clearly distinguish between compulsory and selective BIM applications, and require data and models that can be leveraged in the operation phase of the facility.

• Journal of the Korean housing association
• /
• v.15 no.4
• /
• pp.107-115
• /
• 2004

The purpose of this paper is to study on the architectural value in Dom-Ino system. Dom-Ino system by Le Corbusier is a structural system for effective production in terms of physical reproductivity and a modeling system from the view of formal composition. It creates planar grid with a fixed ratio, manipulates the user group, and becomes the basic construction method. Form comes out of geometrical proportion system, and grid-based plan provides regularity and order to elevation planning. Production requires standardization. Indoor space is maintained by uniformed and integrated service facilities. Dom-Ino system was a transitional step of the Modulor system which was created by Le Corbusier in 1945 and composes of and equivalent proportional system. The fact that the numerical proportion system is the one of appropriate design methods implys a progressive concept that architectural configurations are controlled by the technology of that time. And also the system is one of the object type of Corbusier's housing architecture.

• Journal of Biomedical Engineering Research
• /
• v.13 no.4
• /
• pp.323-330
• /
• 1992

A Study of Image Compression Algorithm using DCT This paper describes the system that implement a JPEG(Joint Photographic Experts Group) algorithm based on DCT(Discrete Cosine Transform) uslng CCD kameva, Image Grabber, and IBM PC. After cosine transforms the acquisited image, this algorithm quantize and entropy encode the coefficients by JPEG code table. The coefficients are reconstructed by the Huffman decoding, dequantized procedure, and Inverse cosine transform. The results obtained from the impleulented system are as follows. (1) For effcient storage and easy implementation, this system save Image as a PCX formal (2) Thls system get 7:1 compression ratio(3.8 RMSE value) without large distortion. (3) With a low pass filtering, thls system eliminate high frequency components and get 20% enhanced compression ratio. (4) Thls system enhance the reconstructed Image using histogram modeling.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1038-1041
• /
• 1987

Non-monotonic logic is one in which the introduction of new axioms can eliminate old theorems. Such logic is very important in modeling the beliefs of the systems which, in the presence of complete information, must make and subsequently revise assumptions in light of new observations. In the present paper, we suggest that the formal systems, such as Reiter's default logic could be the useful implement for the specification and description of non-monotonic systems. WE develop a theory of inheritance network in order to illustrate the benefits of this theory.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.