• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.6
• /
• pp.930-935
• /
• 2022

The ability to use software is an essential competency in modern society. As a result, programming education is conducted from elementary school to university. In case of programming education for non-majors conducted in the liberal arts at universities, if it is conducted online using high-quality contents, problems such as the shortage of professional professor and the limitation of practice time can be solved. Also, it has the advantage of providing students with enough time to think and solve problems. In this paper, the possibility of online lectures was investigated through a survey before and after lectures in software liberal arts courses conducted online. From the results of the survey, it is judged that the goal of software education can be achieved even if software lectures are conducted online, which is to improve computational thinking and problem-solving skills.

• Journal of Communications and Networks
• /
• v.13 no.1
• /
• pp.1-5
• /
• 2011

Feedback with carry shift registers (FCSRs) over 2-adic number would be suitable in hardware implementation, but the are not efficient in software implementation since their basic unit (the size of register clls) is 1-bit. In order to improve the efficiency we consider FCSRs over $2^{\ell}$-adic number (i.e., FCSRs with register cells of size ${\ell}$-bit) that produce ${\ell}$ bits at every clocking where ${\ell}$ will be taken as the size of normal words in modern CPUs (e.g., ${\ell}$ = 32). But, it is difficult to deal with the carry that happens when the size of summation results exceeds that of normal words. We may use long variables (declared with 'unsigned _int64' or 'unsigned long long') or conditional operators (such as 'if' statement) to handle the carry, but both the arithmetic operators over long variables and the conditional operators are not efficient comparing with simple arithmetic operators (such as shifts, maskings, xors, modular additions, etc.) over variables of size ${\ell}$-hit. In this paper, we propose some conditions for FCSRs over $2^{\ell}$-adic number which admit fast software implementations using only simple operators. Moreover, we give two implementation examples for the FCSRs. Our simulation result shows that the proposed methods are twice more efficient than usual methods using conditional operators.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.11
• /
• pp.1130-1137
• /
• 2006

Relaxed Static Stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, the flight control systems are necessary to stabilizes the unstable aircraft and provides adequate handling qualities. The initial production flight control system are verified by flight test and it's always an elements of danger because of flight-critical nature of control law function and design error due to model base design method. These critical issues impact to flight safety, and it could be lead to a loss of aircraft and pilot's life. Therefore, development of an easily modifiable RFCS(Research Flight Control System) capable of reverting to a PFCS(Primary Flight Control System) of reliable control law must be developed to guarantee the flight safety. This paper addresses the concept of SSWM(Software Switching Mechanism) using the fader logic such as TFS(Transient Free Switch) based on T-50 flight control law. The result of the analysis based on non-real time simulation in-house software using SSWM reveals that the flight control system are switching between two computers without any problem.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.8
• /
• pp.1939-1946
• /
• 2009

Modern enterprise may be in need of developing the right application programs under rapidly changing business environment in fast time-to-market. But Most of enterprise without business process mechanism are very hard to develop the application needed in time when it will be changing their business. To solve this problem, we propose the business process framework based on the closed architecture. This approach is to develop the right application with reusing software modules in time and easily under rapid business process changing/improving through mapping BPM(Business Process Model), SOA(Service Oriented Architecture), and CBD(Component Based Development). we also define 5-Layers of BPF(Business Process Framework), and BNF(Backus Naur Form) for structuring BPF.

• Journal of Information Technology Services
• /
• v.11 no.1
• /
• pp.211-221
• /
• 2012

Many metric-based classification models have been proposed to predict fault-proneness of software module. This paper presents two prediction models using Bayesian classifier which is one of the most popular modern classification algorithms. Bayesian model based on Bayesian probability theory can be a promising technique for software quality prediction. This is due to the ability to represent uncertainty using probabilities and the ability to partly incorporate expert's knowledge into training data. The two models, Na$\ddot{i}$veBayes(NB) and Bayesian Belief Network(BBN), are constructed and dimensionality reduction of training data and test data are performed before model evaluation. Prediction accuracy of the model is evaluated using two prediction error measures, Type I error and Type II error, and compared with well-known prediction models, backpropagation neural network model and support vector machine model. The results show that the prediction performance of BBN model is slightly better than that of NB. For the data set with ambiguity, although the BBN model's prediction accuracy is not as good as the compared models, it achieves better performance than the compared models for the data set without ambiguity.

• Korean Journal of Logic
• /
• v.20 no.1
• /
• pp.97-112
• /
• 2017

We discuss Frege's influence on the modern practice of doing mathematical proofs. We start with explaining Frege's notion of variables. We also talk of the variable binding issue and show how successfully his idea on this point has been applied in the field of doing mathematics based on a computer software.

• Journal of Power Electronics
• /
• v.2 no.1
• /
• pp.25-31
• /
• 2002

Servo drives with microcomputer control provide the possibility of using modern and sophisticated control algorithms. As an additional feature it is possible to implement parallel and/or redundant software and hardware structures to realise safe motion or similar security functions. Unfortunately microcomputer control also has some impact on the behaviour of servo drives. Control algorithm, cycle time, sensors and interface have to be perfectly synchronised. Special control schemes are necessary on the line side (power supply) to meet the actual requirements concerning EMC. This contribution presents experiences and results obtained from a modern digital drive system pointing out the influences of low and high accuracy position sensors and the interdependencies mentioned above.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.2
• /
• pp.97-106
• /
• 2015

System is the organization of hardware, software, personnel and facilities needed to perform a designated function within a stated environment with specified results. The trend of modern systems is getting more complex and larger. The system is necessary for modern society but the minor malfunction of the system can result the enormous human and material losses. Recently it is being heightened the concern for system safety and required to be built and applied Safety Engineering standard Guideline for safety of complex and large-sized system. This paper describes the System Engineering Process model integrated with Safety Engineering and the establishment of standard safety guidelines for safety of product development using DMADOV Methodology of the Lean 6 Sigma.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.11a
• /
• pp.207-207
• /
• 2000

Fuel consumption of a modern combustion engine is significantly influenced by the mechanical friction losses. The reduction of the engine friction losses offers a remarkable potential in emission and fuel consumption reduction. The analysis of the engine friction distribution of modern engines shows that the piston and the cylinder have a high share at total engine friction. The present study uses PISDYN(by Ricardo) software to analyze the friction losses. The design parameters such as skirt profile, center of mass of the piston are shown to have key influences on the friction losses.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.