• Journal of the Korean Society for Railway
• /
• v.6 no.1
• /
• pp.1-9
• /
• 2003

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.

• ETRI Journal
• /
• v.27 no.6
• /
• pp.666-676
• /
• 2005

In recent years, motivated by the emergence of ubiquitous computing technologies, a new class of networked robots, ubiquitous robots, has been introduced. The Ubiquitous Robotic Companion (URC) is our conceptual vision of ubiquitous service robots that provide users with the services they need, anytime and anywhere in ubiquitous computing environments. To realize the vision of URC, one of the essential requirements for robotic systems is to support ubiquity of services: that is, a robot service must be always available even though there are changes in the service environments. Specifically robotic systems need to be automatically interoperable with sensors and devices in current service environments, rather than statically preprogrammed for them. In this paper, the design and implementation of a semantic-based ubiquitous robotic space (SemanticURS) is presented. SemanticURS enables automated integration of networked robots into ubiquitous computing environments exploiting Semantic Web Services and AI-based planning technologies.

• Proceedings of the IEEK Conference
• /
• summer
• /
• pp.376-381
• /
• 2004

The Semantic Web is an extension of the current Web in which information is given formal and explicit meaning. The Semantic Web enables computer programs to understand information contents and thus facilitates more efficient discovery, automation, integration and sharing of data. To create Semantic Web contents one needs appropriate tools. In this paper, we describe such a toolkit we have constructed. The most important feature of the toolkit is that it makes use of information extraction techniques for automatically annotating web page contents. Experiments with a real life application show promising results and demonstrate the usefulness of the toolkit.

• Korean Journal of Computational Design and Engineering
• /
• v.3 no.1
• /
• pp.68-85
• /
• 1998

Solid modeling refers to techniques for unambiguous representations of three-dimensional objects. Feature recognition is a sub-discipline focusing on the design and implementation of algorithms for detecting manufacturing information such as holes, slots, etc. in a solid model. Automated feature recognition has been an active research area in stolid modeling for many years, and is considered to be a critical component for CAD/CAM integration. This paper gives a technical overview of the state of the art in feature recognition research. Rather than giving an exhaustive survey, I focus on the three currently dominant feature recognition technologies: graph-based algorithms, volumetric decomposition techniques, and hint-based geometric reasoning. For each approach, I present a detailed description of the algorithms being employed along with some assessments of the technology. I conclude by outlining important open research and development issues.

• Journal of Digital Convergence
• /
• v.11 no.11
• /
• pp.435-441
• /
• 2013

This paper review about kerberos security authentication scheme and policy for big data service. It analyzed problem for security technology based on Hadoop framework in big data service environment. Also when it consider applying problem of kerberos security authentication system, it analyzed deployment policy in center of main contents, which is occurred in commercial business. About the related applied Kerberos policy in US, it is researched about application such as cross platform interoperability support, automated Kerberos set up, integration issue, OPT authentication, SSO, ID, and so on.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.28
• /
• pp.1-8
• /
• 1993

Electrical or electronic products have been becoming smaller and high integrated recently, with printed circuit boards(PCB's) being the key components for these products. The introduction of new technology of surface mounted devices(SMD) opens new ways towards high integration on the PCB. Many plants in eletronical industry which produce high variety of PCB's to meet the demands of customer orders require flexibility in PCB's production lines. This survey paper describes the related optimization problems and solution methods to the automated surface mount technology(SMT) assembly lines, and provides with the research direction for improving flexibility.

• Proceedings of the IEEK Conference
• /
• 2002.06a
• /
• pp.235-238
• /
• 2002

In this paper we describe the design and implementation of Electrical Ground Support Equipment(EGSE) for the CBS transponder testing. The main task of EGSE is to check out satellite systems, at system or subsystem level, during integration and validation phases of their life-cycle. Through a combination of hardware and software elements, EGSE supports manual, semi-automatic and fully automated testing. Automation is achieved by offering users simple, yet powerful means to write their own test application programs (test sequences) in high-level, test-oriented language and to run them in a strict real-time environment. The core of this environment is a user-configurable real-time database, containing all the information needed to calibrate acquired data, check them against predefined thresholds, automatically react to out-of-range conditions, display data using animated graphics or synoptic windows, and so on.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.859-861
• /
• 2003

In order to present a space in details, it is indispensable to acquire 3D shape and texture simultaneously from the same platform. 3D shape is acquired by Laser Scanner as point cloud data, and texture is acquired by CCD sensor. Positioning data is acquired by IMU (Inertial Measurement Unit). All the sensors and equipments are assembled on a hand-trolley. In this research, a method of integrating the 3D shape and texture for automated construction of Digital Surface Model is developed. This Digital Surface Model is applied for efficient feature extraction. More detailed extraction is possible , because 3D Digital Surface Model has both 3D shape and texture information.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.17 no.3
• /
• pp.275-281
• /
• 2011

One of the major technology issues in the ship production processes is the curved hull forming process that is a bottle neck and performed by experienced workers. In order to automate the curved hull forming process, there are a lot of attempts to develop the automation system by many shipbuilding companies and academic labs. However they have some problems which put the developed system in the difficulties to be used and maintained in the yard. In this paper, the problems are formed and solved by using tailored Systems Engineering Process which consists of four steps, those are requirement definition, system design, implementation of subsystem and components, and system integration and verification. A prototype for the proposed system development methodology is implemented. From the consideration of the prototype implemented, it is verified that this methodology can be an alternative to solve the problems.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.799-801
• /
• 2011

Computational science is a field of study concerned with constructing mathematical models and quantitative analysis techniques and using large computing resources to solve the problems which are difficult to approach in a physical experimentally. Recently, a new web-based simulation environment for computational science is becoming more and more popular for supporting multi-user access without restriction of space or time, however, to develop web-based simulation applications, the researchers performed their works too much difficulty. In this paper, we present automated web interface generation tool that allows applied researchers to concentrate on advanced research in their scientific disciplines such as Chemistry, Physics, Structural Dynamics.