• Proceedings of the KSR Conference
• /
• 1999.05a
• /
• pp.259-266
• /
• 1999

This paper is intended to provide a method to design control software for the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. The control software has modular design and each module is tested with SCADE simulator. This time we focus a door control module, present a design method and a simulation method for that module.

• Proceedings of the KIEE Conference
• /
• 1997.07a
• /
• pp.358-360
• /
• 1997

The train control and monitoring system(TCMS) is an on board computer system in railway vehicles performing the control, supervisory and diagnostic functions of the complete train. This system replaces a lot of hardwired relays and minimizes the necessaries vehicle wiring thus increasing the reliability of the train. In this paper, we proposed a software design technique of TCMS using CASE tool (SAO+). The TCMS functions are implemented in software easily programmed, using a functional block, graphic programming language. We applied the compressor air module to a case study.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.360-367
• /
• 2000

This paper is intended to provide a method to design control software for the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. The control software has modular design and each module is tested with SCADE simulator. This time we focus a Driving control module, including brake control module, and present a design method and a simulation method for that module.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.3
• /
• pp.190-201
• /
• 2002

Surfaces of many engineering structures, specially, those of ships and airplanes are commonly fabricated as doubly curved shapes as well as singly curved surfaces to fulfill functional requirements. Given a three dimensional design surface, the first step in the fabrication process is unfolding or planar development of this surfaces into a planar shape so that the manufacturer can determine the initial shape of the flat plate. Also a good planar development enables the manufacturer to estimate the strain distribution required to form the design shape. In this paper, an algorithm for optimal approximated development of a general curved surface, including both singly and doubly curved surface is developed in the sense that the strain energy from its planar development to the design surface is minimized, subjected to some constraints. The development process is formulated into a constrained nonlinear programming problem, which is on basis of deformation theory and finite element. Constraints are subjected to characteristics of the fabrication method. Some examples on typical surfaces and the practical ship surfaces show the effectiveness of this algorithm.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.46
• /
• pp.19-32
• /
• 1998

This paper addresses the processing route of parts and economic design in flexible manufacturing systems (FMSs) employing AGVs for Transport. Parts are processed through several workstations according to operation sequences. The machine of each workstation can do multiple operation functions. The operation stage of a part can be processed in several workstations, which are non-identical in functional performance. The objective of this paper is to determine the processing route of parts, number of machines at each workstation, number of vehicles. The model is assumed that the operation stage of parts can be processed at the only one among several available workstations. Parts are transported by automated guided vehicle system(AGVS). The decision criteria is to minimize the sum of processing cost, travel cost, operating cost. A model formulation is represented. A solution algorithm is suggested by using mathematical programming and simulation technique, and a numerical example is shown.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.302-309
• /
• 1999

This paper is intended to provide a method to design control software fur the TCMS, train control and monitoring system. The TCMS with this control software will be applied KOREA Standard EMU. The control software is designed by SCADE Case tool to concern safety and reliability. The function for the EMU is implemented in software easily programmed, using a functional block, graphic programming language. the control software has modular design and each module is tested with SCADE simulator. This time we focus a HVAC(heater, ventilation and air conditioner controller) control module, present a design method and a simulation method for that module.

• Journal of the Korea Society of Computer and Information
• /
• v.5 no.3
• /
• pp.16-28
• /
• 2000

In this paper, we implemented by describing a pipeline processor using a HDL in functional level, simulated and verified it's operation. When simulating a implemented processor. We first specify assembly instruction that is Performed in the processor. entered by programming using the instruction sets at the experimental framework. Thus, the procedure that is presented in this paper can easily identify and verify the purpose for implementation and operation of a system by using test vector. Also, it was possible that exactly simulate a system. The method was comfortable that document a system operation to implement.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.2
• /
• pp.347-371
• /
• 2021

A plethora of applications from mathematical programmings, such as minimax, mathematical programming, penalization and fixed point problems can be framed as variational inequality problems. Most of the methods that used to solve such problems involve iterative methods, that is why, in this paper, we introduce a new extragradient-like method to solve pseudomonotone variational inequalities in a real Hilbert space. The proposed method has the advantage of a variable step size rule that is updated for each iteration based on previous iterations. The main advantage of this method is that it operates without the previous knowledge of the Lipschitz constants of an operator. A strong convergence theorem for the proposed method is proved by letting the mild conditions on an operator 𝒢. Numerical experiments have been studied in order to validate the numerical performance of the proposed method and to compare it with existing methods.

• International Journal of Computer Science & Network Security
• /
• v.21 no.5
• /
• pp.35-38
• /
• 2021

The article discusses approaches to the definition and understanding of artificial intelligence, research directions in the field of artificial intelligence; artificial intelligence in the anthropological dimension; the importance of the systems approach as a methodological basis for the design of intelligent systems; structural and functional components of intelligent systems; intelligent systems in the technological aspect; problems and prospects of relations in the system "man - intellectual system".