• Journal of Computing Science and Engineering
• /
• v.2 no.4
• /
• pp.375-393
• /
• 2008

The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.91-94
• /
• 2005

공학적 기반의 응용 프로그램에서는 복합관계(complex relationship) 및 복합객체(complex object)의 개념이 요구되는데, 이러한 개념들은 비즈니스 응용에 적합한 관계형 데이터베이스로 다루기에는 저장과 검색 시 많은 문제점을 야기한다. 이와 같은 문제점을 해결하기 위해서 객체 관계형 데이터베이스 시스템이 출현하게 되었다. 한편, 고전적인 데이터베이스 설계 기법은 개체 관계형 모델(Entity Relationship Model)과 같은 개념적 모델을 사용하며 데이터 중심의 구조적 관점(structural aspect)만을 고려하는 반면, UML(Unified Modeling Language)같은 객체지향형 설계 도구를 사용하여 데이터베이스를 설계할 경우 구조적 관점 및 행위적 관점(behavioral aspect)을 모두 포함한다. UML은 확장 가능한 언어로서, 특정 응용프로그램에 대한 새로운 스테레오타입(stereotype)의 사용이 가능하다. 데이터베이스 설계를 위한 확장된 UML의 스테레오타입이 제안되었지만, 대부분 관계형 데이터베이스에 초점이 맞추어져 있다. 본 논문에서는 객체 관계형 데이터베이스 설계를 위한 확장된 UML 스테레오타입을 기술하며, 복합관계 및 복합객체를 지원하기 위해 Aggregation, Composition, Association의 개념을 재정의한 설계기법을 제안하고, 제안한 설계기법을 지원하는 설계 도구(ORDesigner)의 구현에 대해서 기술한다.

• Journal of Information Processing Systems
• /
• v.10 no.3
• /
• pp.365-383
• /
• 2014

Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time. These solutions provide important computing and storage resources, but they are too difficult for individual users to handle. In fact, Service-oriented architectures are usually sophisticated in terms of design, specifications, and deployment. On the other hand, workflow management systems provide frameworks that help users to manage cooperative and interdependent processes in a convivial manner. In this paper, we propose a workflow-based approach to fully take advantage of new service-oriented architectures that take the users' skills and the internal complexity of their applications into account. To get to this point, we defined a novel framework named JASMIN, which is responsible for managing service-oriented workflows on distributed systems. JASMIN has two main components: unified modeling language (UML) to specify workflow models and business process execution language (BPEL) to generate and compose Web services. In order to cover both workflow and service concepts, we describe in this paper a refinement of UML activity diagrams and present a set of rules for mapping UML activity diagrams into BPEL specifications.

• Journal of Distribution Science
• /
• v.17 no.9
• /
• pp.5-13
• /
• 2019

Purpose - This study investigates the key features of Quick Response as the fundamental form of supply chain collaboration by reviewing the selected past studies. Based on the findings from the literature review, this study provides the guideline for future researchers and business practitioners who search for more advanced collaboration programs. Research design, data, and methodology - This study conducts the literature review on the past studies that had researched Quick Response. The selected studies are analyzed in terms of how to represent Quick Response in the models and which issue to address. Results - This study finds that the past studies lack a unified concept of Quick Response, and they fail to provide the consistent guideline on how to run this program in practices. The literature review also shows that only a small number of research issues has been addressed by most researchers. Conclusions - On the purpose of figuring out the real value of Quick Response, this study suggests that future studies apply its extensive application to the entire supply chain system. This study also shed light on the potential of Quick Response to be a more advanced supply chain collaboration program with additional collaborative functions other than information sharing.

• Transactions of Materials Processing
• /
• v.17 no.3
• /
• pp.218-224
• /
• 2008

A recent trend in automotive parts has been an integration of sub-assemblies with unified shapes. Tube structures also have been integrated to one body structure by using a near net shape forming instead of adopting welding. A cylindrical elastomer-forming process can be utilized to form a steel tube compressed in a radial direction. This process has some advantages compared to a hydro-forming or a swaging process in the viewpoint of a lower investment and a higher productivity. In order to predict a feasible specification of products within a work capability of the elastomer-forming equipment developed previously, effects of geometrical parameters of a tube on its shape accuracy are examined. Two characteristic parameters to account for the shape accuracy are chosen. One is the curvature radius at the corner part and the other is the straight ratio of the formed region. Careful examination of two parameters has led that the shape accuracy can be easily predicted by the regression equation obtained from the response surface method.

• Journal of Korean Society of Rural Planning
• /
• v.24 no.3
• /
• pp.97-104
• /
• 2018

Riverfront plays an important role as accessible and inclusive public space for residents, and a riverfront development and management has become a social and environmental issue. The purpose of this study is to analyze Korean legislation and guidelines applied in a riverfront assessment process to identify any legislative problems. To this end, major laws, regulations, national river management plans, and various guidelines related to river management were reviewed. The followings are the suggestions proposed for future improvement. First, clear and consistent definitions on riverfront areas and its spatial range are required across the laws. Also, recreational activities and facilities in riverfront should be categorized and listed for possible development and maintenance. Second, it is necessary to develop an objective and unified riverfront assessment system. Also, guidelines for surveying and evaluating the conditions and potentials of riverfront should be developed. Third, efforts should be made to revise related laws and guidelines to enable comprehensive and systematic approach in design, planning, implementation, maintenance of riverfront. Improving the related legislations and streamlining an riverfront assessment process can help create environmentally-friendly riverfront spaces and mange them efficiently.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.9
• /
• pp.4438-4460
• /
• 2017

The Kernelized Correlation Filters (KCF) tracker has caused the extensive concern in recent years because of the high efficiency. Numerous improvements have been made successively. However, due to the abrupt motion between the consecutive image frames, these methods cannot track object well. To cope with the problem, we propose an extended KCF tracker based on swarm intelligence method. Unlike existing KCF-based trackers, we firstly introduce a swarm-based sampling method to KCF tracker and design a unified framework to track smooth or abrupt motion simultaneously. Secondly, we propose a global motion estimation method, where the exploration factor is constructed to search the whole state space so as to adapt abrupt motion. Finally, we give an adaptive threshold in light of confidence map, which ensures the accuracy of the motion estimation strategy. Extensive experimental results in both quantitative and qualitative measures demonstrate the effectiveness of our proposed method in tracking abrupt motion.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.7
• /
• pp.76-82
• /
• 2004

A method of designing a state feedback gam achieving a specified insensitivity of the closed-loop trajectory by the singularly perturbed unified system using the operators is proposed. The order of system is reduced by the singular perturbation technique by ignoring the fast mode in it. The proposed method takes care of the actual trajectory variations over the range of the singular perturbation parameter. Necessary conditions for optimality are also derived. The previous study was done in the continuous time system The present paper extends the previous study to the discrete system and the ${\delta}-operating$ system that unifies the continuous and discrete systems. Advantages of the proposed method are shown in the numerical example.

• Journal of Engineering Education Research
• /
• v.22 no.6
• /
• pp.3-11
• /
• 2019

To evaluate the suitability of UML (Unified Modelling Language) in terms of educating novice software engineers, we have conducted a survey study with 102 students who were enrolled in a mandatory course for sophomores in computer science and engineering department. The results indicate that UML 1) has high satisfaction rate among software novices as an education material, 2) improves computational thinking and problem-solving skills, and 3) increases the efficacy of learning when the education program is implemented in the order of UML, programming practice, and physical computing. This paper suggests the applicability of UML as a new education paradigm in software education.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.6
• /
• pp.1869-1880
• /
• 2014

Wireless communication is one of most active areas in modern communication researches, QoS (Quality of Service) assurance is very important for wireless communication systems design, especially for applications such as streaming video etc., which requires strict QoS assurance. The modern wireless networks multi-layer protocol stack structure results in QoS metrics layered and acting in cascade and QoS metrics vertical mapping between protocol layers. Based on virtual buffer between protocol layers and queuing technology, a unified layered QoS mapping framework is proposed in this paper, in which we first propose virtual queue concept, give a novelty united neighboring protocol layers QoS metric mapping framework, and analysis method based on dicerete-time Markov chain, and numerical results show that our proposed framework represents a significant improvement over previous model.