• Journal of the Korea Computer Graphics Society
• /
• v.5 no.1
• /
• pp.27-33
• /
• 1999

In this paper, we propose an efficient technique for the animation of flexible thin objects. Mass-spring model was employed to represent the flexible objects. Till now, many techniques have used the mass-spring model to generate plausible animation of soft objects. A straight-forward approach to the animation with mass-spring model is explicit Euler method, but the explicit Euler method has serious disadvantage that it suffers from 'instability problem'. The implicit integration method is a possible solution to overcome the instability problem. However, the most critical flaw of the implicit method is that it involves a large linear system. This paper presents a fast animation technique for mass-spring model with approximated implicit method. The proposed technique stably updates the state of n mass-points in O(n) time when the number of total springs are O(n). We also consider the interaction of the flexible object and air in order to generate plausible results.

• The Journal of Society for e-Business Studies
• /
• v.24 no.1
• /
• pp.121-137
• /
• 2019

De-identification is a method by which the remaining information can not be referred to a specific individual by removing the personal information from the data set. As a result, de-identification can lower the exposure risk of personal information that may occur in the process of collecting, processing, storing and distributing information. Although there have been many studies in de-identification algorithms, protection models, and etc., most of them are limited to structured data, and there are relatively few considerations on de-identification of unstructured data. Especially, in the medical field where the unstructured text is frequently used, many people simply remove all personally identifiable information in order to lower the exposure risk of personal information, while admitting the fact that the data utility is lowered accordingly. This study proposes a new method to perform de-identification by applying the k-anonymity protection model targeting unstructured text in the medical field in which de-identification is mandatory because privacy protection issues are more critical in comparison to other fields. Also, the goal of this study is to propose a new utility metric so that people can comprehend de-identified data set utility intuitively. Therefore, if the result of this research is applied to various industrial fields where unstructured text is used, we expect that we can increase the utility of the unstructured text which contains personal information.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Journal of Korean Society of Steel Construction
• /
• v.23 no.3
• /
• pp.349-356
• /
• 2011

In this paper, the optimal diagrid angle of atypical tall buildings has been found using diagrid optimization technique which is based on parametric algorithm. A diagrid is a diagonal grid which can be seen among atypical tall buildings and structures which effectively resist horizontal and vertical direction loads. Therefore, it is also the objective of this studyto find the maximum stiffness of atypical tall buildings by optimizing diagrid angle. Moreover, this study touches on both cylindrical and tapered off cylindrical structures, as shown in the examples to check the compatibility of optimum diagrid angle, which effectively resists horizontal deformation on top by optimization algorithm.

• The Korean Journal of Applied Statistics
• /
• v.27 no.2
• /
• pp.169-183
• /
• 2014

Massive and various types of data recorded everywhere are called big data. Therefore, it is important to analyze big data and to nd valuable information. Besides, to standardize unstructured big data is important for the application of statistical methods. In this paper, we will show how to standardize unstructured big data using MapReduce which is a distribution processing system. We also apply simple correspondence analysis and multiple correspondence analysis to nd the relationship and characteristic of direct relationship words for Samsung Electronics and The Korea Economic Daily newspaper as well as Apple Inc.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.05a
• /
• pp.759-762
• /
• 2017

The proposed scheme is proposed secure transmission of fixed data and unstructured data among medical information transmitted in PACS. Unstructured data uses the AES encryption algorithm as sensitive data And transmitted using encrypted mosaic encryption techniques for the non-identification of medical images, which are regular data. In addition, we have experimented with increasing the key size for encryption. As a result, we did not notice any significant difference between 128 - bit size and 128 - key size even when encrypting the size of 196,256.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.47-56
• /
• 2004

Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.247-247
• /
• 2021

국내외적으로 하도 내의 흐름을 해석하기 위해 다양한 2차원 흐름해석 모형이 적용되고 있다. 2차원 흐름해석 모형은 기존의 1차원 흐름 해석 모형에서 해석하기 어려운 확산형 홍수파 해석에 강점을 가지고 있어 도심 하천의 외수 범람 예측 등에도 사용되고 있다. 하지만 복잡한 지형 형상을 어떻게 격자로 구성하는가에 따라 해석의 효율성과 정확성이 크게 좌우된다. 초기의 2차원 흐름해석 모형은 주로 정형격자 기반의 단순한 셀을 제작하여 구동되었다. 하지만 매우 빠른 유속과 복잡한 형상을 반영하기 위해서는 전체 격자를 조밀하게 구성할 필요가 있으므로 계산 효율이 떨어지는 문제점이 있다. 그렇기 때문에 대안으로 삼각망과 혼합망 등 비정형 격자를 사용하여 필요한 구역만 격자를 조밀하게 구성하는 방법을 사용하고 있지만 이 방법 또한 추가적인 계산 과정에 따른 계산 시간의 증가가 필연적이다. 따라서 최근에는 정형격자와 비정형격자에 대하여 wet-dry front matrix 최적화, 절점제거법 등 다양한 기법을 통하여 계산 효율을 향상시키고 있는 실정이다. 따라서 본 연구에서는 HLLC Rimann solver와 2차 정확도 기법인 MUSCL-Hancock Method를 적용한 유한체적기반 천수방정식을 기반으로 다양한 격자 구성에 따른 2차원 흐름해석 모형의 효율성 분석을 수행하고, 이를 통해 최적의 흐름해석 방안을 제시하고자 한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.