• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1049-1064
• /
• 2005

The demands of increasingly complicated software have led to the proliferation of object-oriented design methodologies in embedded systems. To execute a system designed with objects in target hardware, a task set should be derived from the objects, representing how many tasks reside in the system and which task processes which event arriving at an object. The derived task set greatly influences the responsiveness of the system. Nevertheless, it is very difficult to derive an optimal task set due to the discrepancy between objects and tasks. Therefore, the common method currently used by developers is to repetitively try various task sets. This paper proposes Scenario-based Implementation Synthesis Architecture (SISA) to solve this problem. SISA encompasses a method for deriving a task set from a system designed with objects as well as its supporting development tools and run-time system architecture. A system designed with SISA not only consists of the smallest possible number of tasks, but also guarantees that the response time for each event in the system is minimized. We have fully implemented SISA by extending the ResoRT development tool and applied it to an existing industrial PBX system. The experimental results show that maximum response times were reduced $30.3\%$ on average compared to when the task set was derived by the best known existing methods.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

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

The increased demand on the transport of both passengers and goods through rail systems implies higher traffic intensity and congestion on the railways, resulting in greater likelihood of accidents and also degraded passenger services. To cope with the issues, development of an integrated communication network for rails has attracted great deal of attention lately. GSM-R is such an example developed in Europe, which seems to have restrictions in providing various communication services due to network speed limit. For the reason, an LTE-based approach is under study in Korea. After the network development, operation management of the network is necessary. Design of operation management systems has been studied little and thus is the objective of this paper. To do so, a conceptual design has been carried out based on model-based approach. Specifically, a context model has first been created using the use case diagram. Then, SysML models of operational scenarios were developed for the management system. The SysML models have alternatively been expressed as EFFBD models to simulate and verify them. Consequently, the result of the conceptual system design for the operation management of the integrated wireless network is expected to be used as a basis for the detailed design later.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.8
• /
• pp.791-797
• /
• 2017

Today, we are using computer simulations in various engineering disciplines to reduce the time and cost of product development. The scope of simulations is increasingly complex and diverse for different fields such as mechanical, electrical, thermal, and fluid. Thus, it is necessary to use integrated simulations. In order to overcome these problems, a language has been developed to effectively describe and implement simulations is Modelica. To model and simulate a system, physical models can be broadly divided into causal and acausal models. The most important feature of Modelica is acausal programming. In this study, we will introduce simple concepts and explain about the usage of Modelica. Furthermore, we will explain the vibration analysis of a two degree-of-freedom system and the design of appropriate parameters by using Modelica.

• The Journal of the Acoustical Society of Korea
• /
• v.29 no.1
• /
• pp.56-61
• /
• 2010

This paper describes optimization methods of acoustic models in HMM-based continuous speech recognition. Most of the conventional speech recognition systems use the same number of Gaussian mixture components for each HMM state. However, since the number of data samples available for each state is different from each other, it is possible to reduce the overall number of model parameters and the computational cost at the decoding step by optimizing the number of Gaussian mixture components. In this study, we introduced the Gaussian mixture weight term at the merging stage of Gaussian components in the minimum description length (MDL) based acoustic modeling optimization. Experimental results showed that the proposed method can obtain better ASR accuracy than the previous optimization method which does not consider the Gaussian mixture weight term.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.141-150
• /
• 2000

There are three significant drawbacks in extant fuzzy rule-based expert system languages. First, they lack the functionality of composite object inference. Second, they do not support fuzzy reasoning semantically easy to understand and conceptually simple to use. Third, knowledge representation and reasoning style of their model have a great semantic gap with those of current database models. Therefore, it is very difficult for the two models to be seamlessly integrated with each other. This paper provides the formal specification of a fuzzy object inference model to solve the three drawbacks. GIS(Geographic Information System) application domain is used to demonstrate that our model naturally models complex GIS information in terms of composite objects and successfully performs fuzzy inference between them.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.705-715
• /
• 2008

Today raises its head on the issue of interoperability caused by the complexity of the embedded software and the diverse development environment about SUGV(Small Unmanned Ground Vehicle). So, we propose to adopt the original MDA mechanism for this heterogeneous embedded development. To solve this problem, we apply for developing SUGV with MDA(Model Driven Architecture) using the original UML profile mechanism. Through this method, it can be semi-automatically transformed into TSM(Target specific model) after modeling TIM(Target Independent Model). Then we can also automatically generate the heterogeneous source codes. Therefore it will be reduced the development cycle and effort of the heterogeneous systems. We verify the benefits of our proposed approach and the reliability through analyzing the generated codes.

• Korean Journal of Computational Design and Engineering
• /
• v.10 no.2
• /
• pp.133-142
• /
• 2005

This paper proposes an object-oriented conceptual information model of mechanical assemblies, named open assembly model (OAM). The proposed assembly model primarily defines hierarchical relationships between parts and subassemblies. Together with the assembly hierarchy. the model also provides a way to represent tolerances, kinematic information, and parametric assembly constraints. Relational information such as mating conditions and degree of freedom between parts and subassemblies is captured via assembly features and relationships thereof. The information model is described using class diagrams of the Unified Modeling Language (UML), and instance diagrams are used to exemplify the proposed information model. The conceptual model presented in this paper is an integrated information model for assembly representation, which could supply necessary information for tolerance analysis and synthesis, kinematic simulation, and assembly simulation. Such a conceptual information model plays an important role for the exchange of information between modeling, analysis and planning systems. Hence, the proposed model could serve as a framework for developing data exchange standards of mechanical assemblies. The proposed model is demonstrated through a case study of a planetary gear assembly.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.4
• /
• pp.523-531
• /
• 2011

Many of the wells which were constructed to use ground water resource are abandoned and not managed efficiently after its use. And a variety of heavy metals and organic compounds are released from the abandoned wells and this can cause ground water pollution. Therefore in this paper implemented to monitor locational information drill holes and underground water sensing information on real time basis using u-GIS environment to combined ubiquitous sensor node and GIS technology to improve these problems. In addition, this system suggests using system by UML 2.0 by analyzing variety requirement of user and between system internal modules interaction and data flow. It provides graphical user interfaces (GUI) to system users to monitor water-well related property information and its managements for each water-well at remote site by variety platform by GIS map and web environment and mobile device based on smart phone.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.