• Structural Engineering and Mechanics
• /
• v.62 no.3
• /
• pp.303-310
• /
• 2017

The model updating problems, which are to find the optimal approximation to the discrete quadratic model obtained by the finite element method, are critically important to the vibration analysis. In this paper, the structured model updating problem is considered, where the coefficient matrices are required to be symmetric and positive semidefinite, represent the interconnectivity of elements in the physical configuration and minimize the dynamics equations, and furthermore, due to the physical feasibility, the physical parameters should be positive. To the best of our knowledge, the model updating problem involving all these constraints has not been proposed in the existed literature. In this paper, based on the semidefinite programming technique, we design a general-purpose numerical algorithm for solving the structured model updating problems with incomplete measured data and present some numerical results to demonstrate the effectiveness of our method.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.23 no.2
• /
• pp.239-245
• /
• 2015

In order to control the hybrid power system efficiently, the knowledge for the required load of the system is important. The agricultural tractor performs various farm works such as plow, rotary, and baler. When it performs rotary tillage and baler operation, the generated work load is analyzed. To analyze trend of work load, moving average technique is applied to the measurement data. Optimal control inputs for the two works are obtained from simulation using the dynamic programming. The novel fundamental control strategy for parallel hybrid tractor called Max. SOC is proposed.

• Industrial Engineering and Management Systems
• /
• v.15 no.4
• /
• pp.354-363
• /
• 2016

Due to uncertain environment, various parameters such as price, queuing length, warranty, and so on influence on inventory models. In this paper, an inventory-queuing-pricing problem with continuous review inventory control policy and batch arrival queuing approach, is presented. To best of our knowledge, (I) demand function is stochastic and price dependent; (II) due to the uncertainty in real-world situations, a fuzzy programming approach is applied. Therefore, the presented model with goal of maximizing total profit of system analyzes the price and order quantity decision variables. Since the proposed model belongs to NP-hard problems, Pareto-based approaches based on non-dominated ranking and sorting genetic algorithm are proposed and justified to solve the model. Several numerical illustrations are generated to demonstrate the model validity and algorithms performance. The results showed the applicability and robustness of the proposed soft-computing-based approaches to analyze the problem.

• Journal of Korean Institute of Industrial Engineers
• /
• v.22 no.4
• /
• pp.589-605
• /
• 1996

Recycling of used products and components has been considered as one of promising strategies for resolving environmental problems. In this respect, most manufacturing companies begin to consider possible recycling (e.q., reuse or re-production) of the components contained in their products. The primary objective of this research is to develop a multiple criteria decision making model for systematic management of recycle-oriented manufacturing components. The production planning problem of recycle-oriented manufacturing components is first formulated as a multiobjective mixed 0-1 integer programming model with three conflicting objectives. An interactive multiple criteria decision making method is then developed for solving the mathematical model. Also, an Input/Output analysis software is developed to help practitioners apply the model to real problems without much knowledge on computers and mathematical programming. A numerical example is used in examining the validity of the proposed model and to investigate the impact of the input variables on recycling production strategy.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.2
• /
• pp.478-493
• /
• 2024

In this paper, the Mixed Integer Linear Programming (MILP) model is improved for searching differential characteristics of block cipher Midori-64, and 4 search strategies of differential path are given. By using strategy IV, set 1 S-box on the top of the distinguisher to be active, and set 3 S-boxes at the bottom to be active and the difference to be the same, then we obtain a 5-round differential characteristics. Based on the distinguisher, we attack 12-round Midori-64 with data and time complexities of 2⁶³ and 2^103.83, respectively. To our best knowledge, these results are superior to current ones.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.1
• /
• pp.161-172
• /
• 1996

Although conventional computer programs use efficient and precise optimization algorithms, they can not emulate the problem solving capabilities of human experts. A design optimization process involves a number of tasks which require human expertise and experience. Traditional optimization systems have concentrated on numerical aspects of a design process and have not been successful in integrating the numerical parts with human expertise. On the other hand, most knowledge-based systems focus on symbolic reasoning and have been little concerned with the numerical processes. The objective of this paper is to develop a knowledge-based multiobjective optimum design system which has the capabilities of knowledge processing and numerical computation by integrating the multiobjective optimization method and the knowledge-based system. The knowledge-based system for symbolic processing is developed. Rules for knowledge representation and the inference mechanism of the system are written in LISP. The knowledge-based multiobjective optimum design system is finally developed by integrating the multiobjective optimization method and the knowledge-based system by applying shell programming technique. The system is applied to an optimum design model of a LNG carrier in the preliminary design stage. It is found that the system well simulate design variables and objective functions of the design model.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.6
• /
• pp.123-132
• /
• 1999

This paper describes a research work of developing computer-aided design of lead frame, semiconductor, with blanking operation which is very precise for progressive working. Approach to the system is based on the knowledge-based rules. Knowledge for the system is formulated from pasticity theories, experimental results and the empirical knowledge of field experts. This system has been written in AutoLISP on the AutoCAD using a personal computer and in I-DEAS Drafting Programming Language on the I-DEAS Master Series Drafting with Workstation, HP9000/715(64). Transference of data between AutoCAD and I-DEAS Master Series Drafting is accomplished by DXF(drawing exchange format) and IGES(initial graphics exchange specification) methods. This system is composed of five modules, which are input and shape treatment, production feasibility check, strip-layout, data-conversion and die-layout modules. The process planning and Die design system is designed by considering several factors, such as complexities of blank geometry, punch profiles, and the availability of a press equipment and standard parts. This system provides its efficiecy for strip-layout, and die design for lead frame, semiconductor.

• Journal of Internet Computing and Services
• /
• v.8 no.1
• /
• pp.115-123
• /
• 2007

Agents in Multi-Agent System; (MAS) should make use of a common Agent Communication Language (ACL) in order to negotiate with others, and conform to negotiation protocols thatare designed to reach agreements. Therefore, agents must have suitable architectures that could cover above requirements. In this paper, we define an instructive ACL and compare it with other ACLs such as Foundation for Intelligent Physical Agents (FIPA) ACL and Knowledge Query Manipulation Language(KQML), In particular, we represent agents as logic programs with knowledge base and negotiation library. Finally, we show how the planner, which is in the negotiation library, provides the plan of actions and updates agent's knowledge base.

• Proceedings of The KACE
• /
• 2018.01a
• /
• pp.21-23
• /
• 2018

테크놀로지의 중요성이 증가함에 따라 다양한 영역에 테크놀로지가 활용되고 있다. 교육에서도 효과적인 학습을 촉진하기 위하여 테크놀로지를 도입하고 있다. 하지만 테크놀로지에 대한 교사의 지식 부족으로 인하여 맹목적인 테크놀로지 활용이 이루어지고 있다. 이러한 문제를 해결하기 위하여 TPACK 연구가 활발하게 진행되고 있으며, 김성원과 이영준(2017)은 프로그래밍을 도입한 TPACK-P 교육 프로그램을 개발하였다. TPACK-P 교육 프로그램은 예비 교사의 Technological Pedagogical Knowledge (TPK), Pedagogical Content Knowledge (PCK), Technological Pedagogical Content Knowledge (TPACK) 발달에는 효과적이었지만, Technological Content Knowledge (TCK)에는 영향을 주지 않았다. 본 연구에서는 이러한 문제를 해결하기 위하여 프로그래밍 기반 수업 사례 탐색 및 분석을 보완한 TPACK-P 교육 프로그램을 개선하였다. 개선한 TPACK-P 교육 프로그램이 예비 교사의 TPACK에 미치는 영향을 살펴보기 위하여, K 대학에 다니고 있는 예비 교사 20명을 대상으로 개선한 TPACK-P 교육 프로그램을 적용하였다. 예비 교사의 TPACK 변화를 살펴보기 위하여 박기철과 강성주(2014)의 TPACK 검사 도구를 사용하였다. 이러한 실험을 통하여 TPACK-P 교육 프로그램은 예비 교사의 TPACK 향상에 효과적인 것을 확인할 수 있었다. 또한, TPACK의 모든 세부 영역의 발달에 효과적인 것을 확인할 수 있었다. 본 연구에서는 단일 집단을 대상으로 개선한 교육 프로그램을 적용하였다. 향후 연구에서는 대조군을 설정하고, TPACK-P 교육 프로그램이 예비교사의 TPACK에 미치는 영향을 비교 분석하여야 한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.05a
• /
• pp.316-320
• /
• 2005

We developed Intelligent Product Search Agent based on SWRL, and this agent can search product information with knowledge(facts and rules) on the web, implement price comparison for searched products considering delivery rates. Existing keyword based product search engines is poor at searching intent products though a user has already prefect knowledge about intent produces. Furthermore if a user has insufficient knowledge, it is impossible to implement search. Also, existing price comparison shopping mall gives users comparison service considering total price(product prices, taxes, delivery rates), this service is valid to single product and has limitations of system expansion and up-dating because of not rule base but programming base. If there is appropriate knowledge on the Semantic web and this makes product information retrieval possible, above problems can be solved clearly. In this research, we developed Intelligent Product Search Agent based on SWRL that can search product information efficiently by making agent to handle facts and rules by itself.