• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.412-421
• /
• 2000

In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.12
• /
• pp.7424-7429
• /
• 2014

GPS (Global Positioning System) is currently used widely in the ground section, such as surveying, mapping, geodesy, geophysics, the aviation section, such as aerial navigation and aerial photography, the sea section, including ship navigation and bathymetry, and space section, such as the satellite orbit and Earth's orbit. On the other hand, its use is limited due to the professional knowledge and expense to process the data for precise analysis. As a result, a web-based data processing solution for precise point positioning using GPS data was developed by c# for non-specialized people to process easily. In addition, the crustal movement speed of Korea after an earthquake was calculated to be an average of 30mm/year for each CORS, suggesting that it is possible to monitor crustal movement.

• Smart Structures and Systems
• /
• v.21 no.1
• /
• pp.53-64
• /
• 2018

Nondestructive testing methods are required to assess the condition of civil structures and formulate their maintenance programs. Axial force identification is required for several structural members of truss bridges, pipe racks, and space roof trusses. An accurate evaluation of in situ axial forces supports the safety assessment of the entire truss. A considerable redistribution of internal forces may indicate structural damage. In this paper, a novel compressive force identification method for prismatic members implemented using static deflections is applied to steel beams. The procedure uses the Euler-Bernoulli beam model and estimates the compressive load by using the measured displacement along the beam's length. Knowledge of flexural rigidity of the member under investigation is required. In this study, the deflected shape of a compressed steel beam is subjected to an additional vertical load that was short-term measured in several laboratory tests by using fiber Bragg grating-differential settlement measurement (FBG-DSM) sensors at specific cross sections along the beam's length. The accuracy of midspan deflections offered by the FBG-DSM sensors provided excellent force estimations. Compressive load detection accuracy can be improved if substantial second-order effects are induced in the tests. In conclusion, the proposed method can be successfully applied to steel beams with low slenderness under real conditions.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.3 no.4
• /
• pp.263-273
• /
• 2002

This study develops a model for establishing and operating "Arts and Humanities Business Incubators (AHBI)" to improve the productivity in the field of arts and humanities, the major resource of the knowledge-based society. The AHBI is a center that provides general assistance to those who want to start a new business in the area of arts and humanities and continue to provide managerial consultation to those who graduated from the AHBI. This research provides systematically how to provide the hardwares such as office space computers and furniture, and how to supply the softwares such as management skills, financing, and marketing. This research indicates that the Ministry of Small and Medium-sized Industry should develop AHBIs, and suggests that the Ministry of Culture and Tourism establish AHBIs in its Cultural Industry Incubation Centers. This research expects that government research institutes or professional institutes operate AHBI to create job opportunities for arts and humanities majors, to add the academic value of arts and humanities, and to vitalize the local economy.l economy.

• Journal of Satellite, Information and Communications
• /
• v.8 no.3
• /
• pp.32-40
• /
• 2013

The Boltwood Cloud Sensor is meteorological sensor that is used to estimate an amount of clouds in the sky. This sensor will be installed for OWL(Optical Wide-field patroL) telescope and observatory system of Korea Astronomy and Space Science. Before applying this sensor to an observatory system, we performed test observations at Chungbuk University Observatory at Jincheon, Chungbuk. During the test run, a significant correlation between air temperature difference and the number of visible stars recorded in the CCD frames has not been found. This preliminary result can be attributed to test environment of the observation and our lack of knowledge on calculation algorithm as well as the hardware system of the Boltwood Cloud Sensor.In this paper, we present the procedure and the result of the performance test employing the cloud sensor.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1550-1556
• /
• 1997

In this paper, we apply the evolutionary algorithm to the combinatorial optimization problem. Evolutionary algorithm useful for the optimization of the large space problem. This paper propose a method for the reuse of wastes of light water in atomic reactor system. These wastes contain several reusable elements, and they should be carefully selected and blended to satisfy requirements as an input material to the heavy water atomic reactor system. This problem belongs to an NP-hard like the 0/1 knapsack problem. Two evolutionary strategies are used as approximation algorithms in the highly constrained combinatorial optimization problem. One is the traditional strategy, using random operator with evaluation function, and the other is heuristic based search that uses the vector operator reducing between goal and current status. We also show the method which perform the feasible test and solution evaluation by using the vectored knowledge in problem domain. Finally, We compare the simulation results of using random operator and vector operator for such combinatorial optimization problems.

• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.5-14
• /
• 2004

Finding a solution to a constraint satisfaction problem requires choosing values for variables so as to satisfy the constraints of the problem. A constraint is simply a logical relation among several unknowns (or variables), each taking a value in a given domain. Conventional constraint-based scheduling systems are not enough to satisfy the all constraints because there are conflicts between them. In this paper, we propose a method for interactive scheduling, which have two major problems: first, it is hard to satisfy concretely all various kinds of constraints, and second, the search space is extremely large and requires a long execution time. To solve the above problems, we introduce the Interactive Scheduling System (ISS) that interacts with the user to exchange suggestions each other. Our system is performed in two steps: knowledge base generation of an initial assignment and iterative improvement with the user(host or internet client) to satisfy the constraints. Applying our system, we actually constructed timetables for our university, where the scheduling time is considerably reduced.

• Journal of Digital Convergence
• /
• v.12 no.12
• /
• pp.173-180
• /
• 2014

Life competencies most required for university students, who receive a higher education and prepare to go into society, are job competencies. People with a variety of competencies are needed in the job market in a globally-oriented 21st-Century knowledge-based society. Now that raising competent people who have a high level of job competency is regarded as one of university functions, a way to improve job competencies through university education needs to be investigated. This study proposes a convergence education system to improve job competencies. The convergence education system includes five type of convergence: convergence in major fields of study, convergence in education courses, convergence in education space, convergence in education methods, and convergence in education period. This education system is expected to improve a variety of job competencies including cognitive competencies, non-cognitive competencies, and global competencies.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.10 no.1
• /
• pp.145-159
• /
• 2008

This study has examined the shift in fashion styles in Korea by analyzing trends in fashion environment and fashion image by seasons in Korea to understand the domestic fashion flow from 2000 to 2006. Since 2000, with the well-being trend, polarization of consumption, preference in luxury orientation, and digital revolution, consumers became individualized and detail oriented. They also became smart consumers equipped with information and knowledge in making choice and purchasing products suiting their taste. To satisfy the consumer trend, fashion market also saw changes such as expansion of advanced distribution, totalization of brands, growing of on-line shopping mall, expansion of outdoor-wear market, and formation of masstage(mass+prestage) market. Fashion images in domestic women's wear since 2000 are analyzed as classic, elegant, minimalism, romantic, bohemian & vintage, ethnic, glam, girlish, kidult, sportive, femiculine, military, and lingerie image. Classic, romantic, and bohemian & vintage are the images that were popular throughout 2000 to 2006. Fashion images of domestic women's wear showed changes in three periods: Sportive image was popular in FW 2002; military image in SS 2003 to SS 2005; and femiculine, glam, and minimalism images in FW 2005 to FW 2006. Through information and detail-oriented emotion, the wide-ranging acceptance of global trends, the consumer tendency towards purchasing products quickly and conveniently, the speedy supply of trendy products both on-line and in-store, and the evolution of the fashion market towards providing one-stop shopping and a cultural space, different fashion images have all emerged at the same time in Korea. It looks like this phenomenon is set to continue for a while.

• Journal of the Korea Convergence Society
• /
• v.9 no.6
• /
• pp.357-364
• /
• 2018

This study was attempted to develop education programs through mobile apps to promote breastfeeding for high-risk mothers. The development of mobile apps was carried out in four stages, including analysis, design, implementation and evaluation, by referring to the software development life cycle. The subjects of this study were cesarean delivery mother, premature baby and twin delivery mother, and contents of education included difficulty in breastfeeding by high risk mother. Experts and users evaluated the program and found it appropriate as an educational mobile app. The education through mobile app is not limited by time and space. Therefore, it will help knowledge and continuous practice of breastfeeding by high risk mothers. It is necessary to directly test the effects of applying the breastfeeding app developed in this study.