• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.4
• /
• pp.145-152
• /
• 2018

In electronic textbooks (or e-Textbooks) the traditional paper-based textbooks are enriched with multimedia contents and new features such as interactive multimedia-based simulation, interactive quizzes, and content sharing. It has been envisioned that e-Textbooks will gradually replace the traditional paper-based textbooks in classrooms in the near future. HTML5 is an emerging and promising standard that enables web applications (or apps) to incorporate rich multimedia contents such as video clips, flash movies and simulation-based demonstration, as well as to provide cross-platform functionality which allows the apps to run on a diverse range of platforms. To support rich multimedia contents and cross-platform functionality, with respect to HTML5, this paper presents the new features, compares the current trend of mobile apps (e.g., native, web-based and hybrid apps) for e-Textbook development. In order to investigate the suitability of these three development approaches for e-Textbooks, we present a case study on our recent work in developing e-Textbooks using HTML5 and JavaScript, as well as analyses the challenges associated with HTML5 features (e.g, compatibility with web browsers) for developing e-Textbooks.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.34 no.2
• /
• pp.655-666
• /
• 2014

Recently, as the appearance and exterior design of the construction structure are highlighted, the irregularly shaped structures are increasing in a construction facility. Many softwares provide a quantity take-off function of 3D object under BIM environment, however, they are focused on the limited function based on the solid modeling method. Because the vast geometric information of the curved surface is difficult to extract in the 3D objects that consist of major changes in vertical section shape as the irregularly shaped structures, it is difficult to express a 3D object as a solid model. On the other hand, the irregularly shaped structures can be expressed in relatively free in the surface model because the surface model consists of points, lines and surfaces. Accordingly, the surface modeling method is suitable for the modeling of large irregularly shaped structures. This study suggests a quantity take-off algorithm for the irregularly shaped structures using the surface modeling approach that is beneficial in the design work of structures. Some case projects are used for verifying the accuracy of the proposed method.

• Journal of the Korean earth science society
• /
• v.32 no.6
• /
• pp.525-536
• /
• 2011

In any applications using various types of spatial data, it is very important to account for the scale differences among available data sets and to change the scale to the target one as well. In this paper, we propose to use a geostatistical downscaling approach based on vaiorgram deconvloution and block simulation to generate fine-scale categorical thematic maps from coarse-scale fraction data. First, an iterative variogram deconvolution method is applied to estimate a point-support variogram model from a block-support variogram model. Then, both a direct sequential simulation based on area-to-point kriging and the estimated point-support variogram are applied to produce alternative fine-scale fraction realizations. Finally, a maximum a posteriori decision rule is applied to generate the fine-scale categorical thematic maps. These analytical steps are illustrated through a case study of land-cover mapping only using the block fraction data of thematic classes without point data. Alternative fine-scale fraction maps by the downscaling method presented in this study reproduce the coarse-scale block fraction values. The final fine-scale land-cover realizations can reflect overall spatial patterns of the reference land-cover map, thus providing reasonable inputs for the impact assessment in change of support problems.

• Journal of Environmental Impact Assessment
• /
• v.24 no.4
• /
• pp.386-395
• /
• 2015

In order to assess sewage treatment technology necessary to achieve water quality criteria in the watershed and to ensure best treatment technology is applied in building and expanding PSTWs when establishing the Watershed Sewer System Maintenance Plan, it is necessary to develop assessment guidelines to determinate the best treatment technologies applicable to the public sewage treatment works(PSTWs). Sewage treatment technologies such as anaerobic-anoxic-aerobic treatment process are employed at PSTWs, and treatment efficiency varies due to many factors such as how the PSTWs are operated. Therefore, analyzing assessment guideline of best available technology(BAT) using currently in USA and EU, this study presents assessment parameters for the assessment guidelines to be used in determining the best treatment technologies applicable to PSTWs. We have a plan to implement pilot assessment in preparation for the final assessment guidelines based on the results of professionals survey and to determine weighted factors and assessment parameters using analytic hierarchy process (AHP).

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.454-454
• /
• 2011

녹색성장은 최근 세계적인 이슈가 되고 있다. 세계물위원회(World Water Council, WWC)의 경우 2012년 마르세유에서 개최되는 제6차 세계물포럼(World Water Forum, WWF)에서 물문제 해결을 위한 신개념 패러다임으로서 '녹색성장(Green Growth)'을 채택하기 위한 협력방안의 필요성을 제안하고 있다. 우리나라에서는 이미 녹색성장을 국가 슬로건으로 선정하고 글로벌 녹색성장연구소(Global Green Growth, GGGI)를 설립하는 등 녹색성장을 선도하고 있다. 이는 물의 중요성에 비추어볼 때 녹색성장을 물 분야에 확산시킬 수 있는 적절한 기회로 보인다. 녹색성장은 물 관련 환경서비스가 환경오염 없는 경제성장을 이룩하는 데 주요한 역할을 수행할 수 있다는 가능성과 당위성에서 파생된 최근에 만들어진 개념으로서, 물 분야의 경우 녹색경제에 있어서 중요한 역할을 수행해왔으며 이후 지속적인 인구증가, 물 소비패턴의 변화, 에너지비용 증가, 기후 변화 등으로 물 분야의 중요성은 더욱 커질 것으로 기대된다. 이처럼 물 관리는 경제발전, 재해로부터 보호, 인간의 건강 및 생태계와 삶의 질을 위하여 필수적이기에 녹색성장에 있어 중요한 역할을 수행하고 있다. 하지만 올바른 물 관리가 녹색성장에 기여할 수 있는 방법에 대해서는 아직 명확화 구체화되지 못하고 있는 실정이다. 이에 따라 녹색성장을 새로운 국가 성장 동력의 패러다임으로 구축하기 위해 수자원분야에서의 녹색성장방법론을 정립하고, 선진국과 개도국 정부들의 균형 있는 참여를 통한 글로벌 파트너십 구축이 요구되고 있으며, 이를 세계물위원회 등 국제기구와 공동으로 연계시킨다면 상당한 시너지 효과가 기대된다. 물관리는 국가의 경제발전, 재해로부터 생명과 재산의 보호, 인간의 건강 및 생태계 다양성 및 건전성 유지와 삶의 질을 향상을 위하여 매우 중요하며, 환경보존과 경제성장을 동시에 추구하는 녹색성장을 실현하는 데 있어서도 가장 핵심적인 사항이라고 할 수 있다. 그러나 올바른 물 관리가 녹색성장에 기여할 수 있는 방법에 대해서는 아직 명확하고 구체화 되지 못하고 있는 실정이다. 따라서 본 연구에서는 '물과 녹색성장'의 이론적 배경, 필요성, 개념정립, 벤치마킹 사례, 국제사회에서의 녹색성장과 관련한 논의 기구 및 흐름 등의 이해를 기초로 녹색성장을 통한 경제성장의 상호작용과 선순환구조를 체계화시키기 위한 균형방안을 제시하고자 한다. 또한 수자원 및 하천관리 분야에서의 WGG구현을 위한 정책제안 및 실행방안이 담긴 중장기 로드맵을 구축하여 물을 통한 성장의 발판을 마련하고자 한다.

• Land and Housing Review
• /
• v.3 no.3
• /
• pp.225-240
• /
• 2012

The aim of this study is to discuss ways to improve Korea's housing survey by comparatively analyzing the housing surveys being carried out in six other countries. The subject countries are the United States, the United Kingdom, France, the Netherlands, Australia, and Japan-the countries that conducts large-scale surveys for more than 20,000 households on a national level and where data collection is easily available. The comparative analysis items include survey history, purpose, subject, project owner, survey item, data collection method, and the use of survey outcome. The comparative analysis results showed that each of the six countries are conducting national housing condition surveys on a regular basis considering each nation's characteristics of housing stock and policy goals, and the survey results are being used as the basis for setting policy guidelines including the selection of policy targets and the determination of appropriate rent standards, and the basis for housing assistance budget planning. Korea's housing survey has been conducted three times up until now since 2006. There should be efforts to systemize and standardize the survey components, establish standards for monitoring the changing trend of national housing stock, standards for determining policy targets, and measures to open data and provide feedback considering the preceding studies of overseas countries in order to better utilize the housing survey data for policy development.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.8 no.2
• /
• pp.123-133
• /
• 2010

A statistical evaluation methodology was developed to determine the compliance of candidate waste stream with clearance criteria based upon distribution of radionuclide in a waste stream at a certain confidence level. For the cases where any information on the radionuclide distribution is not available, the relation between arithmetic mean of radioactivity concentration and its acceptable maximum standard deviation was demonstrated by applying widely-known Markov Inequality and One-side Chebyshev Inequality. The relations between arithmetic mean and its acceptable maximum standard deviation were newly derived for normally or lognormally distributed radionuclide in a waste stream, using probability density function, cumulative density function, and other statistical relations. The evaluation methodology was tested for a representative case at 95% of confidence level and 100 Bq/g of clearance level of radioactivity concentration, and then the acceptable range of standard deviation at a given arithmetic mean was quantitatively shown and compared, by varying the type of radionuclide distribution. Furthermore, it was statistically demonstrated that the allowable range of clearance can be expanded, even at the same confidence level, if information on the radionuclide distribution is available.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.5
• /
• pp.155-160
• /
• 2022

This paper intends to focus on the practical activities and historical significance of network art, that is, 'net art' as an artistic form that depends on network technology. This is because the appearance of net art, which constructs a new interactive art that cooperates and exchanges with each other beyond the boundaries of time and space, can be a contemporary alternative in overcoming the limitations of traditional art. Another important research area to be considered in this paper is net art curating, as well as considering the significance of net art in art history. As new media art that is defined as a 'process' rather than a complete object, net art is a digital art that requires functions such as aesthetic appropriation, dissemination, and mediation performed online, unlike physical presentations with high perfection in exhibition halls. It is accompanied by a new social and cultural curatorial. This appearance requires both artists and curators to reorganize the strategy that net art curating in technoculture should have. Therefore, this paper attempts to question the creative strategies of net art in the wave of globalization in the 21st century, and to examine the artistic meaning and critical value of the experimental net art curatorial method that emerged through the realm of new technology and media. For this purpose, this paper demonstrated key examples of net art works and exhibition projects that started with Fluxus in the 1960s and are spreading all over the world in the 2000s.

• Journal of Korea Water Resources Association
• /
• v.55 no.spc1
• /
• pp.1235-1249
• /
• 2022

This study applied the web crawling technique for extracting big data news on water quality accidents in the water supply system and presented the algorithm in a procedural way to obtain accurate water quality accident news. In addition, in the case of a large-scale water quality accident, development patterns such as accident recognition, accident spread, accident response, and accident resolution appear according to the occurrence of an accident. That is, the analysis of the development of water quality accidents through key keywords and sentiment analysis for each stage was carried out in detail based on case studies, and the meanings were analyzed and derived. The proposed methodology was applied to the larval accident period of Incheon Metropolitan City in 2020 and analyzed. As a result, in a situation where the disclosure of information that directly affects consumers, such as water quality accidents, is restricted, the tone of news articles and media reports about water quality accidents with long-term damage in the event of an accident and the degree of consumer pride clearly change over time. could check This suggests the need to prepare consumer-centered policies to increase consumer positivity, although rapid restoration of facilities is very important for the development of water quality accidents from the supplier's point of view.