• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.1
• /
• pp.1-10
• /
• 2000

Spatial analysis in GIS provides an important way that helps the end-users decision-making. For such a reason, query model for analysis should be able to support the users view conceptually in constructing query statements. The traditional approaches in design of query model used to extend the functionality of model that basically designed for manipulation of attribute-operations by appending operators for spatial operations to the query statements of model. However, by the reason of spatial operation's characteristics that are different from those of attribute operations In nature, the structures of query statements in previous approaches are unnatural, inconsistent, and therefore those query models in previous approaches are not able to support the users view in retrieving analysis. In this paper, we proposed the methodology for constructing of user query and internal processing this query based on object-oriented paradigm, in the view of spatial operations by using the basic concept that spatial query is a methodology for spatial analysis. In addition, we presented a strong possibility of designing spatial query model that might actively have interaction with its user by implementing CIW(Class-Information Window) query interface corresponded with the methodology proposed in this paper.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.159-178
• /
• 1995

Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.3
• /
• pp.17-25
• /
• 2007

Delegation of signing capability is a common practice in various applications. Mambo et al. proposed a proxy signatures as a solutions for delegation of signing capability. Proxy signatures allow a designated proxy signer to sign on behalf of an original signer. After the concept of proxy signature scheme is proposed, many variants are proposed to support more general delegation setting. To capture all possible delegation structures, the concept of delegation network was proposed by Aura. ID-based cryptography, which is suited for flexible environment, is desirable to construct a delegation network. Chow et al proposed an ID-based delegation network. In the computational point of view, their solution requires E pairing operations and N elliptic curve scalar multiplications where E and N are the number of edges and nodes in a delegation structure, respectively. In this paper, we proposed an efficient ID-based delegation network which requires only E pairing operations. Moreover, we can design a modified delegation network that requires only N pairing operations.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.12
• /
• pp.1027-1035
• /
• 2021

We presents a design of 3U cubesat MIMAN (Monochrome imaging for monitoring aerosol by nano-satellite) for aerosol monitoring mission with high spatial resolution. The main objective of MIMAN mission is to take images of aerosols around Korea and to provide auxiliary data for GK 2B cloud masking. For this mission, we derived mission requirements and constraints for the MIMAN mission. We designed the mission architecture and concept of operations. To reduce risk factors in space operation, we considered the safety of the communication. In every operation modes, UHF communication is available so that the cubesat can operate based on the ground commands. So, we can handle every problem at the ground station during mission operations. Based on the mission and concept of operations, we confirmed that the system design satisfied the system requirements. We designed the system interface considering data flow of each hardware, and evaluated the safety of the system with system budget analysis.

• Journal of Advanced Navigation Technology
• /
• v.28 no.1
• /
• pp.109-115
• /
• 2024

The Concept of Operations (ConOps) document issued by the Korean Government (K-UAM ConOps) for urban air mobility (UAM) services takes into account not only aviation voice communication but also the use of 4G and 5G mobile communication to support the initial phase of UAM services. This paper studies a methodology to establish communication performance requirements for UAM traffic management and presents the analyzed results for communication performance requirements. To accomplish this, the operational scenarios of UAM developmental stages outlined in the K-UAM ConOps and FAA ConOps are scrutinized, and the diverse messages that must be communicated among various stakeholders for effective UAM operations are identified. A draft of communication performance requirements is also calculated by considering packet sizes, transmission frequencies, acceptable latencies, and availability. The outcomes of this study are expected to stand as a pioneering effort in defining communication requirements for UAM services, providing a crucial foundation for future initiatives such as the design of dedicated communication networks for UAM and the determination of required frequency bandwidth.

• Convergence Security Journal
• /
• v.13 no.3
• /
• pp.55-62
• /
• 2013

System engineering is critical in today's industry and requirements engineering is an important stage of overall process. Requirements Engineering is the initial step of system development activity in which the requirements from the customer are elicited and documented. This activity is very much vital for the success of the project because all of activities depends upon requirements engineering such as designing, implementation, testing, operation and maintenance. The development process begins by clarifying the need and then articulating the need as a high level solution. In order to minimize the poor requirements and to sure successful projects, Object-Oriented requirements engineering was proposed. Object-Oriented requirements engineering is an approach to encapsulating information about the process and product, as well as functionality in to a requirements object. This paper proposes using the concept of an Operations Concept Harbinger(OCH) that is the prototype of Object-Oriented requirements engineering to develop the requirements with consolidating simultaneously the opinions of various stakeholder in the customer level and trace accurately the transition from User needs to requirements. Then the customer can secure the accurate requirements to meet their needs and traceability from user needs to requirements.

• The Journal of Society for e-Business Studies
• /
• v.18 no.2
• /
• pp.191-203
• /
• 2013

Today, information technologies have been applied to operations in container terminals, and it is possible to collect operational log data due to development of equipment and operations technology. Terminal operators are collecting event log data and try to figure out the way of resolving operations problems. Operators want to analyze event logs to determine the causes of the operation problems, but it can hardly be done manually. In this paper, we suggest a formal framework to evaluate performance measures using the collected log data of operations in container terminals. The proposed formal framework supports different container terminal layout, operational processes, and equipment. Our formal framework is composed of specification of terminal layout, log data, workflow, statistics, and report, based on the concept of container handling objects. For validation of our framework, we have implemented a terminal performance analysis system based on the proposed framework.

• Maritime Security
• /
• v.8 no.1
• /
• pp.73-102
• /
• 2024

The recent rise of China has the potential to intensify competition for hegemony between the U.S. and China. China is strengthening its influence in the region through maritime military actions represented by Anti-Access/Area Denial(A2/AD). The U.S. is establishing a new concept of operation to respond to China's A2/AD and achieve superiority in the U.S - China competition. In particular, this study focused on the U.S. Marine Corps' contribution to naval operations as a means of sea denial through Expeditionary Advanced Base Operation(EABO), which mainly centered on islands, and changes to strengthen its influence in the sea. By applying these changes in the U.S. Marine Corps to the ROK Marine Corps, the future direction of the ROK Marine Corps' offensive island area operations that can contribute to joint and naval operations was suggested. This study is meaningful in that it presents the ROK Marine Corps' offensive island area operations using the strategic value of the island from the perspective of sea denial. However, by presenting the direction of operational performance and military power construction / development conceptually, specific discussions of this aspect are needed in the future. I hope that this study will be the starting point.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.6
• /
• pp.116-126
• /
• 2021

Ground Component Command (GCC) has been developing operational planning and execution systems to implement "Decisive Integrated Operations", which is the concept of ground operations execution, and achieved remarkable results. In particular, "Simultaneous Offense-Defense Integrated Operations" is developed mainly to neutralize enemies in deep areas and develop favorable conditions for the allies early by simultaneously attacking and defending from the beginning of the war. On the other hand, it is limited to providing scientific and reasonable support for the commander's decision-making process because analyzing the effects of the deep operation with existing M&S systems is impossible. This study developed a model for analyzing the effects of deep operations that can be used in the KJCCS. Previous research was conducted on the effects of surveillance, physical strike, and non-physical strike, which are components of deep operations to find the characteristics and limitations and suggest a research direction. A methodology for analyzing the effects of deep operations reflecting the interactions of components using data was then developed by the GCC, and input data for each field was calculated through combat experiments and a literature review. Finally, the Deep operations Effect CAlculating Model(DECAM) was developed and distributed to the GCC and Corps battle staff during the ROK-US Combined Exercise. Through this study, the effectiveness of the methodology and the developed model were confirmed and contribute to the development of the GCC and Corps' abilities to perform deep operations.

• Advances in aircraft and spacecraft science
• /
• v.2 no.3
• /
• pp.329-343
• /
• 2015

This study aimed to observe the effect of a novel concept (referred to as the flap extension) implemented on the leading edge of the flap of a three element high lift device. The high lift device, consisting of a flap, main element and slat is designed around an Airbus research profile for sufficient take off and landing performance of a large commercial aircraft. The concept is realised on the profile and numerically optimised to achieve an optimum geometry. Two different optimisation approaches based on Genetic Algorithm optimisations are used: a zero order approach which makes simplifying assumptions to achieve an optimised solution: as well as a direct approach which employs an optimisation in ANSYS DesignXplorer using RANS calculations. Both methods converge to different optimised solutions due to simplifying assumptions. The solution to the zero order optimisation showed a decreased stall angle and decreased maximum lift coefficient against angle of attack due to early stall onset at the flap. The DesignXplorer optimised solution matched that of the baseline solution very closely. The concept was seen to increase lift locally at the flap for both optimisation methods.