• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Earthquakes and Structures
• /
• v.16 no.1
• /
• pp.109-118
• /
• 2019

This study, analyses the seismic response for a rigid massless square foundation resting on a viscoelastic soil layer limited by rigid bedrock. The foundation is subjected either to externally applied forces or to obliquely incident seismic body or surface harmonic seismic waves P, SV and SH. A 3-D frequency domain BEM formulation in conjunction with the thin layer method (TLM) is adapted here for the solution of elastodynamic problems and used for obtained the seismic response. The mathematical approach is based on the method of integral equations in the frequency domain using the formalism of Green's functions (Kausel and Peck 1982) for layered soil, the impedance functions are calculated by the compatibility condition. In this study, The key step is the characterization of the soil-foundation interaction with the input motion matrix. For each frequency the impedance matrix connects the applied forces to the resulting displacement, and the input motion matrix connects the displacement vector of the foundation to amplitudes of the free field motion. This approach has been applied to analyze the effect of soil-structure interaction on the seismic response of the foundation resting on a viscoelastic soil layer limited by rigid bedrock.

• Journal of the Korean Physical Society
• /
• v.73 no.12
• /
• pp.1814-1820
• /
• 2018

With the publication of TRS-483 in late 2017 the IAEA has established an international code of practice for reference dosimetry in small and non-standard fields based on a formalism first suggested by Alfonso et al. in 2008. However, data on beam quality correction factors ($k^{f_{msr},f_{ref}}_{Q_{msr},Q_0}$) for the Leksell Gamma $Knife^{(R)}$ $Perfexion^{TM}$ is scarce and what little data is available was obtained under conditions not necessarily in accordance with the IAEA's recommendations. This study constitutes the first systematic attempt to calculate those correction factors by applying the new code of practice to Monte Carlo simulation using the GEANT4 toolkit. $k^{f_{msr},f_{ref}}_{Q_{msr},Q_0}$ values were determined for three common ionization chamber detectors and five different phantom materials, with results indicating that in most phantom materials, all chambers were well suited for reference dosimetry with the Gamma $Knife^{(R)}$. Similarities and differences between the results of this study and previous ones were also analyzed and it was found that the results obtained herein were generally in good agreement with earlier PENELOPE and EGSnrc studies.

• International Journal of Computer Science & Network Security
• /
• v.21 no.2
• /
• pp.130-141
• /
• 2021

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel's novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts' development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.

• Journal of Fashion Business
• /
• v.26 no.4
• /
• pp.1-17
• /
• 2022

In the fashion industry, the demand for new perspectives to express creativity has always been high. Expression of new perspectives allows creative ideas to emerge, thereby breaking away from habitual and familiar perceptions. The purpose of this study is to identify and analyze how the theory of defamiliarization is being applied in fashion design by the brand Münn, which claims defamiliarization as a design philosophy. The study examined the concepts and the characteristics of Viktor Shklovsky by literature review and derived the main characteristics of the defamiliarization theory for fashion design analysis based on studies that used defamiliarization in other fields. Furthermore, after analyzing Münn's collection, we found how the main characteristics of defamiliarization derived from reviews were expressed in Münn's designs. The defamiliarization in Münn's collection was first, 'breakaway from stereotype' appeared through re-recognition of perception and unexpected use of heterogeneous materials. Second, 'distortion and analogy through image' was revealed through the East and West clothing-making methods, which broke away from the stereotype of image and the juxtaposition and cultural reconstruction of details. Third, 'transition of viewpoint' was shown as an avant-garde sense through the conversion of usage purpose of design, material, or items in which subjects and objects were converted with conceptual design and material or silhouette.

• International Journal of Computer Science & Network Security
• /
• v.23 no.7
• /
• pp.91-100
• /
• 2023

Pervasive computing is characterized by a key characteristic that affects the operating environment of services and users. It places more emphasis on dynamic environments where available resources continuously vary without prior knowledge of their availability, while in static environments the services provided to users are determined in advance. At the same time, Cloud computing paradigm introduced flexibility of use according to the user's profile and needs. In this paper, we aimed to provide Context-Aware Transactional Service applications with solutions so that it can be integrated and invoked like any service in the digital ecosystem. Being able to compose is not enough, each service and application must be able to offer a well-defined behavior. This behavior must be controlled to meet the dynamicity and adaptability necessary for the new user's requirements. The motivation in this paper is to offer design patterns that will provide a maximum of automatism in order to guarantee short reaction times and minimal human intervention. Our proposal includes a cloud service model by developing a PaaS service that allows CATS adaptation. A new specification for the validation of CATS model has been also introduced using the ACTA formalism.

• International Journal of Computer Science & Network Security
• /
• v.23 no.12
• /
• pp.199-203
• /
• 2023

In recent decades, the growth of communication technology has resulted in an explosion of data-related information. Ontology perception is being used as a growing requirement to integrate data and unique functionalities. Ontologies are not only critical for transforming the traditional web into the semantic web but also for the development of intelligent applications that use semantic enrichment and machine learning to transform data into smart data. To address these unclear facts, several researchers have been focused on expanding ontologies and semantic web technologies. Due to the lack of clear-cut limitations, ontologies would not suffice to deliver uncertain information among domain ideas, conceptual formalism supplied by traditional. To deal with this ambiguity, it is suggested that fuzzy ontologies should be used. It employs Ontology to introduce fuzzy logical policies for ambiguous area concepts such as darkness, heat, thickness, creaminess, and so on in a device-readable and compatible format. This survey efforts to provide a brief and conveniently understandable study of the research directions taken in the domain of ontology to deal with fuzzy information; reconcile various definitions observed in scientific literature, and identify some of the domain's future research-challenging scenarios. This work is hoping that this evaluation can be treasured by fuzzy ontology scholars. This paper concludes by the way of reviewing present research and stating research gaps for buddy researchers.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.1028-1038
• /
• 1999

본 논문에선 LR 문법의 부분 클래스를 동치인 LL 문법으로 변환하는 방법을 제시한다. 이 변환이 적용 가능한 문법을 확장된k`-transformable 문법이라 정의한다. 변환된 문법은 left-to-right 커버의 성질을 만족한다. 기존 연구에서 제시한 변환 방법은 LR 문법의 부분 클래스인 {{{{k`-transformable 클래스와 PLR 클래스를 LL 문법으로 바꾼다. 이 논문에서 제시하는 새로운 변환 방법의 적용 가능한 문법의 범위는 k`-transformable 클래스와 PLR 클래스를 포함한다. 기존의 커버링 성질을 만족하는 LL로의 문법 변환은 보편적인 LR 파서의 행동을 시뮬레이션하여 얻어진다. 이 과정에서 쉬프트, 리듀스 행동 이외에 무한의 가능성을 가진 스택 스트링의 유한 표현을 위해 리덕션 심볼에 대한 예상 행동이 추가된다. 본 논문에서는 파싱 문맥을 나타내는 LR 아이템들을 기존의 스택 스트링 표현 형태에 추가하여 스택 스트링 표현법을 정제하고, 리덕션 심볼에 대한 예상 방법을 확장하는 정형식을 제시한다. 이에 근거하여 LL 커버링 문법이 존재하는 클래스를 확장된 {{{{k`-transformable 문법으로 확장시킨다.Abstract A new transformation of a subclass of LR(k`) grammars into equivalent LL(k`) grammars is studied. The subclass of LR(k`) grammars is called extended k`-transformable. The transformed LL(k`) grammars left-to-right cover the original LR(k`) grammars. Previous transformations transform k`-transformable and PLR(k`) into LL(k`). The new transformation is more powerful in that it handles the extended k`-transformable subclass of LR(k`), which strictly includes k`-transformable and PLR(k`) classes. The previous covering transformations into LL grammars are obtained by simulating the actions of the conventional LR parser. Specially, a predict action of reduction goals is added to the action set in order to finitely represent stack string. In this paper, the stack string representation is refined by adding LR items to represent a parsing context, and the prediction of reduction goal is extended by generalizing the prediction formalism. Based on them, the previous grammar classes with LL({{{{k`) covering grammars are extended to extended k`-transformable grammars.

• Journal of the Korean Geographical Society
• /
• v.47 no.3
• /
• pp.426-439
• /
• 2012

The goal of this study is to propose a new method to capture the qualitative person spatial behavior. Beyond tracking or indexing the change of the location of a person, the changes in the relationships between a person and its environment are considered as the main source for the formal model of this study. Specifically, this paper focuses on the movement behavior of a person near the boundary of a region. To capture the behavior of person near the boundary of regions, a new formal approach for integrating an object's scope of influence is described. Such an object, a spatio-temporally extended point (STEP), is considered here by addressing its scope of influence as potential events or interactions area in conjunction with its location. The formalism presented is based on a topological data model and introduces a 12-intersection model to represent the topological relations between a region and the STEP in 2-dimensional space. From the perspective of STEP concept, a prototype analysis results are provided by using GPS tracking data in real world.

• Korean Institute of Interior Design Journal
• /
• v.22 no.6
• /
• pp.151-161
• /
• 2013

This study which analyzed 4th century Constantinus basilica church architecture is on how the Roman basilica architecture became to christianized and christian architecture became romanized. Basilica architecture of Rome which has strong public characteristic had approach from various direction, especially it has formed inter communicable open space to center forum. Even though, the early christian church has became to bigger size on the process of domus ecclesia centered growth, but it has formed essencially unhierarchy community of home based, it also seemed to have loose religious community below hundred. The result of analyzing 22 of 4 century basilica churches had been shown that more than 60% of them were built on historical place such as tomb of martyr, nearly 70% of them were long axis type, the size of church showed up $3,200m^2$ of average total area. In conclusion, this study concluded the result of christianized showed closeness pursue holiness by separation from the secular world, and long axis it was revealed as mass for the procession ceremony of catholic church. The result of romanized occurred from the process that the basilica church abandoned the unhierarchy, small sizing, worship simplicity of early domus ecclesia characteristics and accept hierarchy, big sizing, worship formalism and complexity of Roman empire system in the roman basilica churches. Through this study it could be grasp that the romanized of early christianity bring not only the change of church architecture but also degeneration of christian itself.