• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.1
• /
• pp.54.3-55
• /
• 2016

DEEP-South Scheduling and Data reduction System (DS SDS) consists of two separate software subsystems: Headquarters (HQ) at Korea Astronomy and Space Science Institute (KASI), and SDS Data Reduction (DR) at Korea Institute of Science and Technology Information (KISTI). HQ runs the DS Scheduling System (DSS), DS database (DB), and Control and Monitoring (C&M) designed to monitor and manage overall SDS actions. DR hosts the Moving Object Detection Program (MODP), Asteroid Spin Analysis Package (ASAP) and Data Reduction Control & Monitor (DRCM). MODP and ASAP conduct data analysis while DRCM checks if they are working properly. The functions of SDS is three-fold: (1) DSS plans schedules for three KMTNet stations, (2) DR performs data analysis, and (3) C&M checks whether DSS and DR function properly. DSS prepares a list of targets, aids users in deciding observation priority, calculates exposure time, schedules nightly runs, and archives data using Database Management System (DBMS). MODP is designed to discover moving objects on CCD images, while ASAP performs photometry and reconstructs their lightcurves. Based on ASAP lightcurve analysis and/or MODP astrometry, DSS schedules follow-up runs to be conducted with a part of, or three KMTNet telescopes.

• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.1
• /
• pp.54.2-54.2
• /
• 2016

Korea Microlensing Telescope Network (KMTNet) is the first optical survey system of its kind in a way that three KMTNet observatories are longitudinally well-separated, and thus have the benefit of 24-hour continuous monitoring of the southern sky. The wide-field and round-the-clock operation capabilities of this network facility are ideal for survey and the physical characterization of small Solar System bodies. We obtain their orbits, absolute magnitudes (H), three dimensional shape models, spin periods and spin states, activity levels based on the time-series broadband photometry. Their approximate surface mineralogy is also identified using colors and band slopes. The automated observation scheduler, the data pipeline, the dedicated computing facility, related research activity and the team members are collectively called 'DEEP-South' (DEep Ecliptic Patrol of Southern sky). DEEP-South observation is being made during the off-season for exoplanet search, yet part of the telescope time is shared in the period between when the Galactic bulge rises early in the morning and sets early in the evening. We present here the observation mode, strategy, software, test runs, early results, and the future plan of DEEP-South.

• Journal of IKEEE
• /
• v.24 no.1
• /
• pp.311-318
• /
• 2020

A virtual power plant is a kind of software power plant that enables participation in power operation by integrally managing individual distributed resources. This paper proposes a common information communication architecture based on the TASE.2 standard and the OpenADR2.0 standard to operate a virtual power plant as a single power system. ESS is designed TASE.2 SBO devices that related objects are mapped to OpenADR2.0 services and composed as a single sequence type. Through simulation verification, it conforms data exchange and operation based on both standards.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.825-840
• /
• 2008

Refactoring is a kind of software modification process that improves system qualities internally but maintains system functions externally. What should be improved on the existing source codes should take precedence over the others in such a modification process using this refactoring. Martin Fowler and Kent Beck proposed a method that identifies code smells for this purpose. Also, some studies on determining what refactoring will be applied to which targets through detecting code smells in codes were presented. However, these studies have a lot of disadvantages that show a lack of precise description for such code smells and detect limited code smells only. In addition, these studies showed other disadvantages that generate ambiguity in behavior preservation due to the fact that a description method of pre-conditions for the behavior preservation is included in a refactoring process or unformalized. Thus, our study represents a precise specification of code smells using OCL and proposes a framework that performs a refactoring process through the automatic detection of code smells using an OCL interpreter. Furthermore, we perform the automatic detection in which the code smells are be specified by using OCL to the java program and verify its applicability and effectivity through applying a refactoring process.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.9
• /
• pp.335-340
• /
• 2014

Crowd Sourcing-based Social App Manufacturing environment, a small app development project by a team of anonymous virtual performed without the constraints of time and space, and manage it for the app development process need to be automated method. Virtual teams with anonymity is a feature of the Social App Manufacturing, is an important factor that increases the uncertainty of whether the completion of the project or reduction in visibility of the progress of the project. In this study, as one of how to manage the project of Social App Manufacturing environment, the impact of risk that can be used to quantitatively measure the impact of the risk of delay in development has on the project also proposes a measurement model. Effects of risk and type of the impact of risks associated with delays in the work schedule also define the characteristic function, measurement model that has been proposed, suggest the degree of influence measurement equation of risk of the project in accordance with the progressive. The advantage of this model, the project manager is able to ensure the visibility of the progress of the project. In addition, identify the project risk of work delays, and to take precautions.

• Journal of Digital Convergence
• /
• v.11 no.9
• /
• pp.189-194
• /
• 2013

Semantic Web is what supports a search, data integration, and automated web service by developing technology of giving help so that a computer can understand information a little more on the web. As amount of information gets growing and diverse, there is a problem of offering by efficiently extracting and processing only information proper for users' demand. Semantic Web isn't what is distinguished completely from the existing web. It gives a meaning, which was well defined, to information of being inserted on web by expanding the current web. Through this, a computer and a person come to perform work cooperatively. To implement Semantic Web, the limit of HTML needs to be overcome. The existing access authorization has not taken information and semantics into account due to the limitations of HTML. It is difficult to expand or integrate many relevant documents by using HTML. Program or software agent, not a person, cannot extract a meaning of document automatically. This study suggests a method of Access Authorization Policy Management that is in the Semantic Web configuration. Accordingly, the policy, which was designed in this study, improved the authorization process more than the existing method.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.4
• /
• pp.919-928
• /
• 2018

Out-Of-Bounds (OOB) is one of the most powerful vulnerabilities in heap memory. The OOB vulnerability allows an attacker to exploit unauthorized access to confidential information by tricking the length of the array and reading or writing memory of that length. In this paper, we propose a method to automatically detect OOB vulnerabilities in heap memory using dynamic symbol execution and shadow memory table. First, a shadow memory table is constructed by hooking heap memory allocation and release function. Then, when a memory access occurs, it is judged whether OOB can occur by referencing the shadow memory, and a test case for causing a crash is automatically generated if there is a possibility of occurrence. Using the proposed method, if a weak block search is successful, it is possible to generate a test case that induces an OOB. In addition, unlike traditional dynamic symbol execution, exploitation of vulnerabilities is possible without setting clear target points.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.1
• /
• pp.733-744
• /
• 2016

The legacy methods for converting a business model to a feature model make it difficult to support an automatic transformation due to a dependence on a domain analyzers' intuitions, which hinders the feature oriented development for the integration of feature modeling in business modeling. This paper proposes a method for converting a BPMN business model into a feature model based on syntax. To allow the conversion between the heterogeneous models from BPMN to the FM(Feature Model), it defines the grouping mechanism based activities' syntax, and then makes translation rules and a method based on the element (represent business function) and structure (relationships and process among elements), which are common constructs of their models. This method was applied to an online shopping mall system as a case study. With this mechanism, it will help develop a mechanical or automated structure transformation from the BPMN model to the FM.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37C no.10
• /
• pp.933-939
• /
• 2012

In general, the three-dimensional(3D) coordinates of the manufactured ship blocks are measured using the laser measuring equipment by ship engineers. But, many deflections between the measured coordinates in manufactured step and the designed coordinates in the design step are occurred because of the measuring process of ship blocks manually. Thus, the ship engineer should conform the consistency between the measured coordinates and the designed coordinates step by step, and it largely causes the loss of manpower and time. In this paper, the automated pattern matching algorithm of 3D coordinates for quality control in ship blocks is suggested in order to solve this problem, and the performance of the algorithm is analyzed using the 3D coordinates simulation software developed by our research laboratory. The coordinates matching rate of the measured coordinates in the single/multi ship block(s) is about 90.2% under the tolerated distance error range is 20~25cm.

• Journal of Environmental Impact Assessment
• /
• v.20 no.3
• /
• pp.337-348
• /
• 2011

Urban environmental problem became one of major issues during its urbanization processes. Environmental impacts are assessed during recent urban planning and development. Though the environmental impact assessment considers meteorological impact as a minor component, changes in wind environment during development can largely affect the distribution pattern of air temperature, humidity, and pollutants. Impact assessment of local wind is, therefore, a major element for impact assessment prior to any other meteorological impact assessment. Computational Fluid Dynamics (CFD) models are utilized in various fields such as in wind field assessment during a construction of a new building and in post analysis of a fire event over a mountain. CFD models require specially formatted input data and produce specific output files, which can be analyzed using special programs. CFD's huge requirement in computing power is another hurdle in practical use. In this study, a CFD model and related software processors were automated and integrated as a microscale wind environmental impact assessment system. A supercomputer system was used to reduce the running hours of the model. Input data processor ingests development plans in CAD or GIS formatted files and produces input data files for the CFD model. Output data processor produces various analytical graphs upon user requests. The system was used in assessing the impacts of a new building near an observatory on wind fields and showed the changes by the construction visually and quantitatively. The microscale wind assessment system will evolve, of course, incorporating new improvement of the models and processors. Nevertheless the framework suggested here can be utilized as a basic system for the assessment.