• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.720-723
• /
• 2005

There has been significant progress in the development of timed process algebra for the specification and analysis of real-time systems in recent years. ACSR is a timed process algebra, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions model the usage of shared resources and the passage of time, whereas events allow synchronization between processes. To be able to specify real-time systems more effectively, this paper suggests the notion of probabilities. This paper also illustrates extended PACSR with a typical resource allocation system and its deadlock specification and analysis.

• 한국IT서비스학회:학술대회논문집
• /
• 2003.11a
• /
• pp.413-423
• /
• 2003

1980년대 후반 국내에 정보시스템 감리 제도가 도입된 이래 그 효과성이 가시적으로 입증됨으로써 감리의 필요성에 대한 인식이 높아지고 있고, 공공기관 뿐만 아니라 민간기업에서도 감리를 시행하는 사례가 늘어가고 있다. 그러나 정보시스템 구축 프로세스에 근본적인 개선이 이루어 지지 않는 한, 감리만으로는 정보시스템 구축 프로세스나 구축된 시스템의 품질향상에는 한계가 있기 마련이다. 이 연구는, 기존의 정보시스템 프로세스의 문제점을 개선하고, 전사적인 정보화활동 관리가 가능하도록 지원하는 엔터프라이즈 아키텍쳐(EA)의 특징을 정리하고, EA에 기반한 감리프레임웤을 제시하였다 EA기반의 감리 프레임웤은 조직의 정보기술 활동이 경영전략과 업무 프로세스와 연계되도록 평가, 권고, 조정할 수 있는 유용한 수단을 제공할 수 있을 것으로 판단된다.

• Journal of Korean Association for Spatial Structures
• /
• v.6 no.3 s.21
• /
• pp.51-57
• /
• 2006

The object of this study is to examine the managerial characteristics of the Korean building projects. The study in this paperproposes to investigate the factors that affect process quality not only in the construction phase but also in all three phases (design, construction, and operation) of the whole life cycle of a building project. A questionnaire survey is conducted to investigate the differences in the perceptions of graduate students, professors, designers and practitioners with regard to process quality in building projects. Analyzing these factors helps in revising and improving the Korean existing quality control system and programs. The findings indicate that cooperation of designer's professionals, level of management leadership in promoting quality, ability to operate the facility within design limits are important factors. Theparticipation percentage of "quality" treated in any course/seminar shows only 45%. It is recommended that college programs include courses that treat the administrative aspects involved in the building project and that continuing education programs rover quality training.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.440-444
• /
• 2009

In order to improve the effectiveness of software process improvement, more than two models can be use to compensate the weakness of each other. One of integrated models is the one in which CMMI and software six sigma. However, it is very difficult for a small software development organization to select and apply an appropriate set of six sigma tools since there are a lot of six sigma tools and statistical knowledge is required. In this paper, we suggest a six sigma tool selection process to help small organizations select six sigma tools effectively based on organization business value. Thereby, small organizations can efficiently implement CMMI by adopting an appropriate set of six sigma toolkits.

• Membrane Journal
• /
• v.26 no.2
• /
• pp.152-158
• /
• 2016

The Chlor-alkali (CA) membrane cell is a major electrolysis system to produce valued chemicals such as chlorine gas and sodium hydroxide. The CA membrane process has been attracted in the industries, since it has relatively low energy consumption when compared with other CA processes. The key component in CA process is perfluorinated sulfonic acid ionomer membranes, which provide ion-selectivity and barrier properties to produced gases. Unfortunately, there is limited information to determine which factors should be satisfied for CA applications. In this study, the influences of PFSA membranes on CA performances are disclosed. They include ion transport behaviors, gas evolution capability, and chemical/electrochemical resistances under CA operation conditions.

• Journal of KIISE:Information Networking
• /
• v.30 no.3
• /
• pp.416-423
• /
• 2003

This paper proposes a continuous-time queuing model of a shared-buffer packet switch and an approximate algorithm. N arrival processes have heterogeneous busty traffic characteristics. The arrival processes are modeled by Coxian distribution with order 2 that is equivalent to Interruped Poisson Process. The service time is modeled by Erlang distribution with r stages. First the approximate algorithm performs the aggregation of N arrival processes as a single state variable. Next the algorithm discompose the queuing system into N subsystems which are represented by aggregated state variables. And the balance equations based on these aggregated state variables are solved for by iterative method. Finally the algorithm is validated by comparing the results with those of simulation.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.1
• /
• pp.105-113
• /
• 2019

A construction project is a complex process consisting of interdependent tasks. If one task has variation, other tasks will be affected additionally and it is difficult to reach consensus on task variation due to the characteristics of the construction site that is going on quickly and complicatedly. Therefore, this study identified the root cause of task variation in construction process. Adjacent matrix was created with the tasks corresponding to major causes of variation, and the network analysis was performed. The results of social network analysis in the construction process can stabilize the work flow in the complex process and improve the reliability of the process plan and the project performance.

• Journal of KIISE:Software and Applications
• /
• v.33 no.10
• /
• pp.896-914
• /
• 2006

Product line engineering (PLE) is one of the most recent and emerging reuse approaches in software engineering. Core asset, which is a reusable unit of PLE, is shared by several members in a product line (PL). So, developing a well-defined core asset is a prerequisite to increase productivity and time-to-market. Existing PLE methodologies emphasize the importance of core asset but mainly focus on analyzing core asset. And, several processes for designing core asset do not fully cover all elements of core asset which is from product line architecture (PLA) to decision model and need to augment systematic process, detailed instructions, and templates of artifacts. These problems result in difficulty with designing core asset and applying PLE. In this paper, we present an overall process and templates of artifacts to design core assets. And, we apply proposed process to a case study in order to show its applicability. With the proposed process, detailed instructions, and templates of artifacts, we believe that we can more systematically and more easily design high-quality core assets and we fully cover product line architecture, component, and decision model when designing a core asset.

• The KIPS Transactions:PartD
• /
• v.18D no.4
• /
• pp.245-260
• /
• 2011

Mobile Devices, which are developed with the fast growing of the Internet, have flexible internet accessibility and can access the network anywere so that they can execute software applications. However, it is very challenging to deploy highly complex applications on mobile devices since they have limited resources. To overcome the limitation, researches on applying a concept of services to mobile applications have been proposed. Android is one of the popular mobile platforms and is designed to effectively execute mobile applications on the mobile devices having limited resources. Since service-based Android applications, which adopt a concept of services and Android platform, invoke remote services and are built with Android-specific components, they are much different from traditional software applications. Consequently, it is not straightforward to apply object-oriented (OO) analysis and design methods to developing service-based Android applications, although they have been frequently applied to developing traditional applications. In this paper, we present a process to develop service-based Android mobile applications, which extends a traditional OO development process. First, we raise design issues to be considered in developing service-based Android applications. Then, to solve the issues, we present detailed guidelines for essential phases of OO-based development process that are customized to service-based Android applications. Finally, to show applicability of the process, we perform a case study. The proposed design process is effectively utilized as a set of guidelines to develop service-based Android applications more systematically and effectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.5
• /
• pp.3180-3187
• /
• 2015

Appreciative inquiry is applicable to schools to minimize the resistance of the members, and the subject of the school community Forming is suitable for the introduction of an AI program. But to become a way for a sustainable school community we must reconstruct the 4D modes of appreciative inquiry that the members can be applied as needed. In this paper, we propose the process of seven steps core learning activities based on systems theory. Seven steps are selecting a theme, interviewing for finding success story, analyzing an organization's success stories and deriving the core values, deriving future of the organization, sharing future of the organization, designing the ideal future of the organization consist of a practice. Since the proposed seven steps process is based on the literature it is necessary to apply follow-up study is to verify the result, and a variety of research methods for process improvement in AI.