• Journal of Korean Society for Quality Management
• /
• v.21 no.2
• /
• pp.194-214
• /
• 1993

This paper purports to study on interactive fuzzy goal programming model which leads to the compromise solution which the decision maker satisfies through the interactive approach. We also attempted to calculate local proxy preference function from utility function of sum-of-logarithms in connection with marginal rate of substitution and interactive approach for the purpose of applying weight of multiobjective function. In an attempt to grasp compromise solution from fuzzy efficient solution, we decided to take the interactive method and presented stopping rule for this.

• Proceedings of the Technology Innovation Conference
• /
• 2003.02a
• /
• pp.101-119
• /
• 2003

Assessing the effectiveness of R&D organization is hampered by the lack of measurable goals and identifiable outcome criteria. In this review, key issues In evaluating effectiveness are identified and Insights on the application of major assessment approaches are provided. This paper presents System-Process Model on assessing the effectiveness of R&D organization(Korean Government-supported Research Institutes). System-Process Model has attempted to integrate different approaches. It is useful In sensitizing evaluators to the importance of goal, internal process, system resource and feedback in improving organizational effectiveness.

• Journal of Astronomy and Space Sciences
• /
• v.31 no.3
• /
• pp.199-204
• /
• 2014

This paper intends to highlight the effect of the third-body in an inclined orbit on a spacecraft orbiting the primary mass. To achieve this goal, a new origin of coordinate is introduced in the primary and the X-axis toward the node of the spacecraft. The disturbing function is expanded up to the second order using Legendre polynomials. A double-averaged analytical model is exploited to produce the evolutions of mean orbital elements as smooth curves.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.143-146
• /
• 1996

In this paper, we propose a hopfield model for solving the part-matching which is the number of parts and positions are changed. The goal of this paper is to minimize part-connection in pairs and net total path of part-connection. Therefore, this kind of problem is referred to as a combinatorial optimization problem. First of all, we review the theoretical basis for hopfield model to optimization and present two method of part-matching; Traveling Salesman Problem (TSP) and Weighted Matching Problem (WMP). Finally, we show demonstration through computer simulation and analyzes the stability and feasibility of the generated solutions for the proposed connection methods.

• Journal of The Korean Association of Information Education
• /
• v.2 no.2
• /
• pp.302-308
• /
• 1998

The goal of this study is to survey a mobile agent technology and apply it to security management system. A tool for implementing mobile agent is introduced and a prototype model for sedcrity management system IS proposed. This study suggest the possiblity of security management system using mobile agent.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.3
• /
• pp.659-670
• /
• 2023

In this paper, we study the distributed optimal control problem of a coupled system of the host-pathogen model. The system consists of the density of the susceptible host, the density of the infected host, and the density of pathogen particles. Our main goal is to minimize the infected density and also to decrease the cost of the drugs administered. First, we prove the existence and uniqueness of solutions for the proposed problem. Then, the existence of the optimal control is established and necessary optimality conditions are also derived.

• International conference on construction engineering and project management
• /
• 2024.07a
• /
• pp.1246-1255
• /
• 2024

This study examines the transitions of expertise, the challenges of changing professional occupation and the process of adaptation after the occupational change from architectural designers/engineers (A/E) to CMRs (Construction Managers) in Japan. To this goal, a framework of expertise for CMR and Kenchikushi is obtained through a literature study. Then, case studies are conducted and the collected five cases are coded to examine the transition of expertise. Furthermore, the adaptation process after the change of professional occupation is modeled using the TEM (Trajectory Equifinality Model).

• Journal of Digital Convergence
• /
• v.13 no.8
• /
• pp.83-89
• /
• 2015

In the process of complex shopping mall development, all the steps (business planning step, pre-sale & completion step, management & operations step) head towards a consistent ultimate goal in an overall business perspective. In this study, we analyze using a structural equation model if an appropriate relations between each of the steps are formed to achieve the ultimate goal. In this study, we find a positive relationship between business planning step and pre-sale & completion step, and also find that for success pre-sale & completion, a faithful business plan is necessary. But we find no statistically significant relationship under significant level 0.05 among business planning step and management & operations step and the level of success, pre-sale & completion step and management & operations step and the level of success, management & operations step and the level of success. This suggests that each of the steps does not form a close relationship to achieve the consistent goal in the complex shopping mall development and each one is doing a short-sighted work for its own profit.

• Journal of KIISE
• /
• v.44 no.3
• /
• pp.261-274
• /
• 2017

Variability management is the foremost criterion that defines the extent to which complexities can be handled in a system. Predominantly, the requirements' engineering (RE) study overlooks, or speculates a consistent behavior of, the environment in which a system functions. In real-time systems it is vital to observe and adjust to an intrinsically changing context. Therefore, in this work we identify the requirements of the system in various contexts by recommending a framework using i* goal model, problem frames, use case maps and live sequence charts. The framework is illustrated using a case study of the smart grid RTP system. In the case study, elaboration of scenarios using use case maps and live sequence charts proved beneficial as they assisted in early analysis and validation of contexts. In addition, the elaboration of requirements for obstacle and conflict analysis assists the requirements engineer to increase the robustness of the system. The proposed framework is evaluated theoretically and by empirical study.

• Journal of Computing Science and Engineering
• /
• v.1 no.1
• /
• pp.56-73
• /
• 2007

Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.