Currently KERI is participating a project whose goal is to develop the Korean High Speed Train(KHST) with maximum speed of 350kph. KERI’s responsibility is the electrical system engineering that includes engineering design of an on-board computer system for diagnosis and control of trainset and electrical/mechanical devices. A system engineering approach of the design is performed in order to g...

Modeling distributed computer systems is known to be a challenging enterprise. Typically, distributed systems are comprised of large numbers of components whose coordination may require complex interactions. Modeling such systems more often than not leads to the nominal intractability of the resulting state space. Various formal methods have been proposed to address the modeling of coordination...

The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra system developed to support Wu’s method for computing characteristic sets of polynomials and for other related operations. GridPPI, an MPI-like interface for grid computing, could couple multiple computing tools distr...

at present, the tubular structural systems are mainly used in tall buildings to withstand earthquake loads. although it is possible to analyse the structure by finite element methods using standard three dimensional programs, the system is generally time-consuming and expensive in the primary design work. in this paper, for the analysis of framed-tube systems, a simple method was studied and de...