• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.633-636
• /
• 2015

KaVA (KVN and VERA Array) is a new combined VLBI array composed of KVN (Korean VLBI Network) and VERA (VLBI Exploration of Radio Astrometry). Here, we report the following two issues. (1) We review the initial results of imaging observations of M87 at 23 GHz following Niinuma et al. (2014). The KaVA images reveal extended outflows including complex substructures such as knots and limb-brightening, in agreement with previous VLBI observations. KaVA achieves a high dynamic range of ~1000, more than three times better than that achieved by VERA alone. (2) Based on subsequent observations and discussions led by the KaVA AGN SubWorking Group, we set monitoring observations of Sgr $A^{\ast}$ and M87 as our Key Science Project (hereafter KSP) because of the closeness and largeness of their central super-massive black holes. The main science goals of the KSP are (i) testing the magnetically-driven-jet paradigm by mapping velocity fields of the M87 jet, and (ii) obtaining tight constraints on physical properties of the radio emitting region in Sgr $A^{\ast}$. Towards KSP, we show the first preliminary images of M87 at 23 GHz and Sgr $A^{\ast}$ at 43 GHz with the bandwidth of 256 MHz.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.24 no.68
• /
• pp.85-94
• /
• 2001

Most of customers want to know how to develop the computer system they want to get to use according to the their requirements. This study presents a Computer Integration management System for Quality (CISQ) model for system-integration organizations, which need to demonstrate their capability to consistently provide computer integrated system that meets customer satisfaction and applicable regulatory requirements. The Plan.Do.Check.Act(PDCA) cycle called by Doming wheel expresses the basic concept of continuous improvement action in order to emphasize on achieving business goal. It is useful for providing full competence of a system-integration organization to integrate management systems based on the international management system, and to take an advantage in its market. This study specifies International Certification Network Business Excellence Concept(IBEC) approach to ensure a harmonized integration of the variety of management systems and thereby produce synergy effect. The end part of this study specifies a Assessment Model including an assessment concept adding to the compliance audit according to the CISQ for the continuous improvement. A simple application on Failure Modes and Effects Analysis(FMEA) in testing phase in project life cycle has been done.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Journal of the Korean housing association
• /
• v.24 no.3
• /
• pp.27-35
• /
• 2013

The purpose of this study is to develop an evaluation system for integrative comfort values of Hanok residence. For this study, a mock-up located in Yongin, Gyeonggi province built by an ongoing governmental research project has been chosen. Then, SSN (Smart Sensor Network) has been utilized for monitoring quantitative factors in the environment and detailed face-to-face surveys have been performed for analyzing qualitative comfort indexes from residents in the experimental settings. Then, this study employs a combined evaluation system using AHP (Analytic Hierarchy Process) established for estimating overall DIC (Degree of Integrative Comfort) of the Hanok residence. As a result, the evaluation system could verify the total comfort indexes of Hanok residence and suggest converged methodologies for establishing value assessment system for traditional residential facilities. The method of DIC suggested in this paper would be examined with current residents in a built mock-up to see its applicability as a comprehensive evaluation model, and it is expected that collected year-round comfort data from the facility would provide more practical information towards future strategies for the Hanok residence.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.8
• /
• pp.59-66
• /
• 2008

Korea Electric Power Research Institute in charge of the power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology" is performing system verification. Breaker Failure protection IED can operate protection activity by communicating with other IEDs such as T/L IED, owing to IEC 61850 international standard and digital substation automation system. Accordingly, IED testing process should be changed from the conventional way by electrical contact test on individual IED to system based testing method by network communication. This paper describes how to test BF IED based on substation automation system and testing procedures using UML, which is used to implement S/W design.

• Journal of the Korean Institute of Landscape Architecture International Edition
• /
• no.1
• /
• pp.159-166
• /
• 2001

Regional development and community design has become very important these days. Especially in Hyogo Prefecture after the Great Hanshin Awaji Earthquake, voluntary works have become more popular. With citizen participation, environmental circumstances change a lot. It is becoming very difficult for municipal governments alone to achieve every desirable project. NPOs made of professional members in the Hanshin area have conducted notable activities after the earthquake. At the same time it is necessary also to educate citizens for community design with greenery. These people will support their town design along with professionals. Awaji Landscape and Horticulture Planning Academy provides an excellent educational program, an introduction and examination of which should be valuable. The main concept of the education program is to foster the growth of local community design leaders. Students appreciated the programs very much even if initially they expected a more practical program about planting than programs that teach community design. Many people are active in their own towns to create better environments and communities. The network system "Alpha Green-Net" is functional to support graduates of the course. In the future these educational programs for citizens will becomes very important. Other cities are starting to have their own progrms, but they are still very short term. "Alpha Green-Net" is in the process of growing. Many members are very keen to develop their own abilities. In the future these NPOs should become independent. To help these NPOs become independent and active the educational programs should consider and teach about how to do this more in the future.

• KIEE International Transactions on Power Engineering
• /
• v.3A no.2
• /
• pp.93-99
• /
• 2003

This paper deals with the development and testing of a large-scale, realtime digital power system simulator for the Korean Electric Power Corporation. The KEPS Simulation Center is located at KEPCO's research center (KEPRI) in Taejon, South Korea and has been operated since September 2001. The KEPS Simulation Center includes a wide range of off line power system simulation and analysis tools, as well as an advanced realtime digital simulator for the study of large scale AC and DC system performance. Because the application scope of the KEPS realtime simulator is broad and because the network models being considered are significantly larger and more complex than in traditional realtime simulator applications, many developments and tests have been required during the course of the project. In this paper, the authors describe some of these developments and present results from various benchmark tests that have been performed.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.4
• /
• pp.436-447
• /
• 2014

The major elements of avionics system architecture are requirements, Real Time Operating System, message communication, memory, and data format etc. Herein describes a state-of-the-art development trend for the avionics system architecture, system requirements and data bus among the major elements of avionics system. While, domestic technology has been tried to Integrated Modular Avionics(IMA) system based on the Avionics Full Duplex Switched Ethernet(AFDX) technology during Light Attack Helicopter(LAH) project in Korea, but not yet proved as the product case in Full Scale Development Phase. The avionics system architecture considering the domestic inexperience of the IMA system architecture are suggested for the Next-generation Corps Unmanned Aircraft System.

• Journal of Korea Water Resources Association
• /
• v.31 no.3
• /
• pp.327-335
• /
• 1998

The distribution network is an essential part of all water supply systems. The cost of this portion of any sizable water supply system may amount to most of the entire cost of the project. This study tried to reduce the cost of the distribution system through optimization in system design. To determine pipe diameter considered in water distribution system design, a iterative procedure linked the flow analysis model and optimization model was used. Linear theory was introduced to analyze flowrate and revised-simplex method based on linear programming is used to optimize pipe diameter. This model was applied to wter distribution system with 22 and 35 pipes, and rapidly determine optimized commercial pipe diameters. Keywords : water distribution system, revised simplex method, optimum pipe diameters.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.8
• /
• pp.4133-4145
• /
• 2017

Advances in science and technology are driving us to the better life but also forcing us to make more investment at the same time. Therefore, the government has provided the investment to carry on the promising futuristic technology successfully. Indeed, a lot of resources from the government have supported into the science and technology R&D projects for several decades. However, the performance of the public investments remains unclear in many ways, so thus it is required that planning and evaluation about the new investment should be on data driven decision with fact based evidence. In this regard, the government wanted to know the trend and issue of the science and technology with evidences, and has accumulated an amount of database about the science and technology such as research papers, patents, project reports, and R&D information. Nowadays, the database is supporting to various activities such as planning policy, budget allocation, and investment evaluation for the science and technology but the information quality is not reached to the expectation because of limitations of text mining to drill out the information from the unstructured data like the reports and papers. To solve the problem, this study proposes a practical text mining methodology for the science and technology trend analysis, in case of aerospace technology, and conduct text mining methods such as ontology development, topic analysis, network analysis and their visualization.