• Journal of Information Technology Applications and Management
• /
• v.9 no.1
• /
• pp.85-96
• /
• 2002

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged Information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-oriented database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-oriented database is needed. In order to build good quality application systems, modeling is an important first step. In 1997, the OMG adopted the UML as its standard modeling language. Since industry has warmly embraced UML, its popularity should become more important in the future. So a design methodology based on UML is need to develop efficiently XML applications. In this paper, we propose a unified design methodology for XML applications based on object- oriented database using UML. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-oriented database schema to store efficiently XML data in object-oriented databases.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Journal of the Society of Naval Architects of Korea
• /
• v.52 no.1
• /
• pp.77-87
• /
• 2015

For a floating offshore plant such as FPSO(Floating, Production, Storage, and Off-loading unit), various equipment should be installed in the restricted space, as compared with an onshore plant. The requirement for an optimal layout method of the plant has been increased in these days. Thus, a layout method of the floating offshore plant was proposed in this study. For this, an optimization problem for layout design was mathematically formulated, and then an optimization algorithm based on the genetic algorithm was implemented with C++ language in order to solve it. Finally, the proposed method was applied to an example of FPSO topsides. As a result, it was shown that the proposed method can be applied to layout design of the floating offshore plant such as FPSO.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1998.04a
• /
• pp.210-215
• /
• 1998

To design a space frame structure by the conventional method is not easy in practical sense since it is generally a three-dimensional complicated form, and stability and nonlinear problems are not easily checked in the design process. This paper describes two modules, the Model Generator which is based on PATRAN user interface that enables users to generate a complicated finite element model; the Optimum Design Module which analyzes output results of analysis program, and designs members of a space frame. The Model Generator is based on PCL while C++ language is used in the Optimum Design Module. Structural analysis is performed by using ABAQUS. All of these modules constitute Space Frame Integrated Design System. The Core of the system is PATRAN database, in which the Model Generator creates information of a finite element model. Then, PATRAN creates input files needed for the analysis program from the information of the finite element model in the database, and in turn, imports output results of analysis program to the database. Finally, the Optimum Design Module processes member grouping of a space frame based on the output results, and performs optimal member selection of a space frame. This process is repeated until the desired optimum structural members are obtained.

• Education of Primary School Mathematics
• /
• v.10 no.1 s.19
• /
• pp.15-28
• /
• 2007

From a social constructivists' perspective, knowledge is not transmitted by language but it is constructed by social interactions with others. That is, it is viewed in social constructivism that learning is a process in which knowledge is constructed by communicative interactions with more capable others. In this vein, a class might be analyzed and characterized in terms of interactional patterns of teacher-student and student-student in class. For this, a primary math class was selected and observed and it was analyzed by the Flanders category system to investigate the effects of the math teaching based on verbal interactions on the learning of math. The class was taught in a teacher-centered and direct way but in the class math knowledge was taught through univocal communications in the form of question-answer. The results of this study appeared to suggest that verbal interactional patterns should take place frequently in math teaching in the sequence of a teacher's questions$\to$students' extensive responses $\to$ positive feedback for the students' responses by the teacher $\to$ the acceptance of the students' responses $\to$ the teacher's explanation or students' questions. In other words, math might be taught more effectively through the verbal discourse patterns proposed in this study.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.9
• /
• pp.1384-1390
• /
• 2001

This paper deals with the forward kinematics of the 6-6 Stewart platform of planar base and moving platform using one extra linear sensor. Based on algebraic elimination method, it first derives an 8th-degree univariate equation and then finds tentative solution sets out of which the actual solution is to be selected. In order to provide more exact solution despite the error between measured sensor value and the theoretic alone, a correction method is also used in this paper. The overall procedure requires so little computation time that it can be efficiently used for real-time applications. In addition, unlike the iterative scheme e.g. Newton-Raphson, the algorithm does not require initial estimates of solution and is free of the problems that it does not converge to actual solution within limited time. The presented method has been implemented in C language and a numerical example is given to confirm the effectiveness and accuracy of the developed algorithm.

• Asia pacific journal of information systems
• /
• v.10 no.2
• /
• pp.51-69
• /
• 2000

Recently, as business problems become more complicated and require more precise quantitative results, large-scale model management systems are increasingly in demand for supporting the decision-making activities. In addition, as distributed computing over networks gains popularity, departmental computing systems are gradually adopted in an organization to facilitate collaboration of geographically dispersed multiple departments. In departmental collaborative model management systems, multiple departments share common models but approach them with different user-views depending on their departmental needs. Moreover, the shared models become evolved as their structures and the corresponding data sets change due to the dynamic nature of the operating environment and the inherent uncertainty associated with the problems. In such capacity, providing the multiple departmental users with synchronized and consistent views of the models is important to improve the overall productivity. In this paper, we propose a collaborative model management framework for coordinating model change and automatic user-view update in a departmental computing environment. To do so, we describes changes in the model and their effects occurred in departmental model management environments and identifies the constructs and processes for maintaining the consistency between a shared model and its departmental user-views. Especially, in this framework, generic model concept was adopted for accommodating diverse mathematical models in a uniform way in a modelbase and object-oriented database management systems(ODBMS) for combining the model management constructs and automatic user-view update mechanisms in a single formalism. A prototype object-oriented modeling environment was developed using an ODBMS called ObjectStore and $C^{++}$ programming language on Windows NT.

• Asia pacific journal of information systems
• /
• v.8 no.3
• /
• pp.21-36
• /
• 1998

Group collaborative systems are recently emerging to support a group of users engaged in common tasks such as group decision making, engineering design, or collaborative writing. Simultaneously, as communications networks and distributed database systems become core underlying architecture of the organization, the need of collaborative systems are gaining more attentions from industry. In such collaborative systems, as the shared objects may evolve constantly or change for operational purposes, providing the users with synchronized and consistent views of the shared object and maintaining the consistency between shared object and replicated objects are important to improve the overall productivity. This paper provides an change management framework for the group collaborative systems to facilitate managing dependency relationships between shared objects and dependents, and coordinating change and propagation activities in distributed computing environments. Specifically, the framework adopts an object-oriented database paradigm and presents several object constructs capturing dependency management and change notification mechanisms. And the proposed framework accommodates both persistent dependents such as replicated data and transient dependents such as various user views in a single formalism. A prototype system is developed on a commercial object-oriented database management system called OBJECTSTORE using the C++ programming language.

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

In this paper, we studied the modeling methods of initial ship structure design results using ship structure product model for concurrent engineering in shipbuilding industry. We suggested two modeling methods which are programming method using CAD commands and Macros for primary structure members. Also, we investigated three modeling procedures which are modeling procedure in unit concept, modeling procedure using version control, and modeling procedure for computer aided process planning. We demonstrated how to use the structure product modeling results in some application fields. Finally, we proposed some ideas for future research.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.875-879
• /
• 2002

CPL is a technique that serves various additional service in Internet telephony such as call forwarding, call blocking etc. IETF IPTEL working group developed this CPL standard. Users could request various additional services such as call forwarding, call blocking etc. by registering XML scripts to location servers. This paper would describe the design and the implementation skill of SIP proxy server that support these improved functionalities in detail. SIP registrar and SIP proxy server are designed and implemented in Linux platform because this platform serves fast and low cost development environment.