• Journal of KIISE:Databases
• /
• v.35 no.3
• /
• pp.243-256
• /
• 2008

With rapid growth of Internet, the amount of information in the Web is increasing exponentially. However, information on the current Web is understandable only for human, and thus it makes the exact information retrieval difficult. For solving this problem, the Semantic Web is suggested and we must use ontology languages that can endow data to semantics for implementing it. One of the representative ontology languages is OWL(Web Ontology Language) adopted as a recommendation by the World-Wide Web Consortium. OWL has richer expression power and formal semantics than other ontology languages such as RDF and RDF-S. In addition, OWL includes hierarchical structure information between classes or properties. Therefore, an efficient OWL storage model considering hierarchical structure for effective information retrieval on the Semantic Web is required. In this paper, we suggest the XPOS(XPath-based OWL Storage) model including hierarchy information between classes or properties as XPath form and enabling intuitive and effective information retrieval. Also, we show the comparative evaluation results on the performance of XPOS model, Sesame, and the XML storage-based storage model regarding query processing.

• Wind and Structures
• /
• v.25 no.1
• /
• pp.1-24
• /
• 2017

This paper presents a 1:25 multi-freedom aero-elastic model for a high lighting pole at the Zhoushan stadium. To validate the similarity characteristics of the model, a free vibration test was performed before the formal test. Beat phenomenon was found and eliminated by synthesis of vibration in the X and Y directions, and the damping ratio of the model was identified by the free decay method. The dynamic characteristics of the model were examined and compared with the real structure; the similarity results were favorable. From the test results, the major along-wind dynamic response was the first vibration component. The along-wind wind vibration coefficient was calculated by the China code and Eurocode. When the peak factor equaled 3.5, the coefficient calculated by the China code was close to the experimental result while Eurocode had a slight overestimation of the coefficient. The wind vibration coefficient during typhoon flow was analyzed, and a magnification factor was suggested in typhoon-prone areas. By analyzing the power spectrum of the dynamic cross-wind base shear force, it was found that a second-order vortex-excited resonance existed. The cross-wind response in the test was smaller than Eurocode estimation. The aerodynamic damping ratio was calculated by random decrement technique and the results showed that aerodynamic damping ratios were mostly positive at the design wind speed, which means that the wind-induced galloping phenomenon is predicted not to occur at design wind speeds.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• Nuclear Engineering and Technology
• /
• v.23 no.3
• /
• pp.285-298
• /
• 1991

An example application of the fuzzy set theory is first made to a simple portion of a given accident progression event tree with typical qualitative fuzzy input data, and thereby computational algorithms suitable for application of the fuzzy set theory to the accident progression event tree analysis are identified and illustrated with example applications. Then the procedure used in the simple example is extended to extremely complex accident progression event trees with a number of phenomenological uncertainty issues, i.e., a typical plant damage state‘SEC’of the Zion Nuclear Power Plant risk assessment. The results show that the fuzzy averages of the fuzzy outcomes are very close to the mean values obtained by current methods. The main purpose of this paper is to provide a formal procedure for application of the fuzzy set theory to accident progression event trees with imprecise and qualitative branch probabilities and/or with a number of phenomenological uncertainty issues.

• The Journal of Industrial Distribution & Business
• /
• v.11 no.5
• /
• pp.27-34
• /
• 2020

Purpose: North Korea is a very close country geographically and culturally, but the nation has been one of the most secretive countries in the world. However, in recent years, North Korean society has been known to rapidly change its economic environment as well as its diplomatic and political environment. Since the gaining power of Jong-un, Kim in 2012, the North Korean government has implemented a new set of economic policies. North Korea has embraced limited market systems and mechanisms that have become a part of the formal planned economy. This study is concerned with the recent changes in the market and marketing activities of the communist country. It also seeks to gain an understanding of the changing market behavior of North Korean consumers. The purpose of this study is to enhance understanding of the market environments of North Korea and to provide appropriate implications for practitioners and researchers. Research design, data and methodology: Academic access to information that can understand North Korea's reality is minimal. Therefore, this study was conducted based on a qualitative analysis of secondary data. The existing literature on North Korea, related news and reports were the basis of the analysis. Analysis of secondary data related to North Korea was the main methodology of the study. Results: The official ideology of North Korea rejected most aspects of marketing, and yet there were marketing activities in North Korea. This article focuses on the development of market and marketing activities in North Korea during the recent years. This study indirectly confirmed that the market function is being activated in North Korea, and the basic functions of marketing such as advertisement, price, and distribution are being formed. In this process, the activation of the 'Jangmadang(market)' played a significant role. Conclusions: Research shows that North Korea is rapidly developing its own market function. In addition, marketing activities such as advertising and pricing strategies seem to be unprecedentedly active. However, due to changes in the political environment, the future development of North Korea's marketing is still in flux. Efforts to improve mutual understanding through continuous research are required.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Journal of architectural history
• /
• v.17 no.6
• /
• pp.67-86
• /
• 2008

Main theme of this paper is the evaluation of the historical significance of Luciano Baldessari's exhibition works mainly during the Fifties. In order to understand the formal and logical basis of those project, his relationship with the historical Avant-gardes and the consequences expressed in his pavilion projects for the Breda Industrial Company are analyzed. The first part focuses on the influence of Italian Futurism, German Expressionism and Italian Rationalism on the formation and experience of Baldessari during the interwar years. The encounter with these movements determine the interest but also the principles along which Baldessari represents his idea of object, space and place. Specially his professional activities during Fascism would determine his attitude toward political power and the necessity of autonomy in artistic sphere. In the second part, different themes that Baldessari affronted in each project of Breda Pavilions is analyzed. Another important issue regard the historiography of the contemporary architecture. Often, many important works that lies in the threshold of the disciplines such as painting and sculpture and media art were excluded in the history of architecture just because they do not deal with the architectural object. Recently, many elements such as theatrical project and temporary objects are considered as part of urban reality and architecture with acknowledgment of their capacity to create event and situations. Along this thought, not just the reconfiguration on the territory of architecture in present but also the criterion to evaluate the past history of architecture is changing drastically. This study on the pavilions of Baldessari intends to contribute indirectly on the current issue of dominion of architecture, but also to evaluate objectively recent architecture. Consequently, architectural protagonists such as Baldessari and their ephemeral projects would be evaluated compressively in their multiplicity of significance.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.38 no.6
• /
• pp.51-63
• /
• 1996

This study is about the problems found in the process of the current governments planning rural settlement area development. As a measure to solve them, It proposed the analysis method of village characteristic in terms of standard score and tried to use this method as a basic material in planning more effective rural settlement area development. On the basis of the above analysis, which is an objective basic material to solve the problems revealed in the process of the bottom-up development planning by the residents' demands, It shows the following conclusion about what method should be applied to each part according to a village's characteristics and its development level. 1. Accessibility can be a basic material for setting the local area, analyzing its settlement system, and them such development facilities as village-linking roads, rural road, or various kinds of bridges and determining the investment priority. 2. With the index of the industrial basis, we can see what village has plenty of social, economical resources including advanced industrial facilities and looking into the advance level of the industrial basis, we can get some information about determining the local area development direction such as estashing the plan to build a farm product gathering center, a collective work place, storage facilities, and special housing development. 3. Since the issue about living environment is raising it's head, compared to weakened agricultural competitive power, with the analysis of this living environment, we can get an objective basic material for solving problems caused by the local egoism and the effective investment strategy of the limited resources. Therefore, It is necessary that we should abstain from expert-centered planning and formal public opinion-collecting and on the basis of this analytic result, we should plan development. We need to continue our research about index selecting and differentiation, weight etc. and using these analysis methods, we should make up a systematic development plan by analyzing village characteristics and setting the development direction.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.34 no.11
• /
• pp.1727-1732
• /
• 2010

Forensic engineering is the area of expertise of people qualified to serve as engineering experts in courts of law or during arbitration proceedings. An aerial-lifter can lift and carry load, including people, using power. Recently, failure of aerial-lifter internal parts while working and sweeping causing injuries and damage to property almost always generates conflict between the automaker and customer. Hence, the investigation of such events generally involves an engineering analysis. One of the possible reasons for accidents, such as a vehicle catching fire is the failure of oil pressure machine and the supporting pin. The results of formal inspections and engineering tests can reveal the cause for the failure of the mechanical parts. Therefore, the failure mechanism is analyzed by adopting fractography methods and by applying an instrumented indentation technique to compare the material properties of the reference part with those of the malfunctioning part.

• Korean Journal of Social Welfare
• /
• v.69 no.2
• /
• pp.9-30
• /
• 2017

Generally, regime shift occurs less frequently than policy change and/or government change. Regime shift needs alterations and changes along the three critical components which constitute a domestic regime: (1) the character of the socioeconomic coalition that rules the country; (2) the political and economic institutions through which power is acquired and exercised; and (3) the public policy profile that give political direction to the nation. This paper tries to examine characteristics of the welfare regime of Korea, and explore policy reform options for the welfare regime shift in Korea. From the viewpoint of livelihood security perspective, I firstly tries to examine development process of Korean welfare regime and specify the main characteristics of that regime. Secondly, I present three policy reform options: (1) reform of the formal political institutions such as electoral system and government type; (2) restructuring of the composition of government expenditure structure; and (3) reduction of the informal employment. These three policy reform options are related to the alteration of socioeconomic coalitions and the changes of the political and economic institutions. Instead of concluding remarks, I finally suggest two debate topics to the round table discussion.