• International Journal of Aeronautical and Space Sciences
• /
• v.13 no.1
• /
• pp.99-105
• /
• 2012

Track-before-detect techniques based on dynamic programming have provided solutions for detecting targets from a sequence of images. In its application to airborne threat detection, dynamic programming solutions should take into account the distinguishable properties of objects in a collision course. This paper describes the development of a new track scoring function that accumulates scores for airborne targets in Bayesian framework. Numerical results show that the proposed scoring function has slightly better detection capabilities.

• The Pure and Applied Mathematics
• /
• v.20 no.4
• /
• pp.287-298
• /
• 2013

A standard deviation has been a starting point for a mathematical definition of risk. As a remedy for drawbacks such as subadditivity property discouraging the diversification, coherent and convex risk measures are introduced in an axiomatic approach. Choquet expectation and g-expectations, which generalize mathematical expectations, are widely used in hedging and pricing contingent claims in incomplete markets. The each risk measure or expectation give rise to its own pricing rules. In this paper we investigate relationships among dynamic risk measures, Choquet expectation and dynamic g-expectations in the framework of the continuous-time asset pricing.

• The KIPS Transactions:PartA
• /
• v.14A no.2
• /
• pp.117-124
• /
• 2007

In this paper we present a translation lookaside buffer (TLB) system with low power consumption for embedded processors. The proposed TLB is constructed as multiple banks, each with an associated block buffer and a corresponding comparator. Either the block buffer or the main bank is selectively accessed on the basis of two bits in the block buffer (tag buffer). Dynamic power savings are achieved by reducing the number of entries accessed in parallel, as a result of using the tag buffer as a filtering mechanism. The performance overhead of the proposed TLB is negligible compared with other hierarchical TLB structures. For example, the two-cycle overhead of the proposed TLB is only about 1%, as compared with 5% overhead for a filter (micro) TLB and 14% overhead for a same structure without continuos accessing distinction algorithm. We show that the average hit ratios of the block buffers and the main banks of the proposed TLB are 95% and 5% respectively. Dynamic power is reduced by about 95% with respect to with a fully associative TLB, 90% with respect to a filter TLB, and 40% relative to a same structure without continuos accessing distinction algorithm.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.2
• /
• pp.315-327
• /
• 2017

Security threats such as unauthorized access and data tampering can occur during the virtual machine migration process. In particular, since virtual machine migration requires users to transfer important data and infrastructure information, it is relatively risky to other cloud services in case of security threats. For this reason, there is a need for dynamic authentication for virtual machine migration. Therefore, this paper proposes an OTP-based dynamic authentication framework to improve the vulnerabilities of the existing authentication mechanism for virtual machine migration. It consists of a virtual machine migration request module and an operation module. The request module includes an OTP-based user authentication process and a migration request process to a data center when a user requests a migration. The operation module includes a secure key exchange process between the data centers using SPEKE and a TOTP-based mutual authentication process between the data center and the physical server.

• The KIPS Transactions:PartC
• /
• v.9C no.2
• /
• pp.297-306
• /
• 2002

Continuous multimedia applications require a guaranteed retricval and transfer rate of streaming data, which conventional file server mechanism generally does not provide. In this paper we describe a dynamic negotiated admission control and dick bandwidth scheduling framework for Continuous Media (CM : e.g., video) servers. The framework consists of two parts. One is a reserve-based admission control mechanism and the other part is a scheduler for continuous media streams with dynamic resource allocation to achieve higher utilization than non-dynamic scheduler by effectively sharing available resources among contending streams to improve overall QoS. Using our policy, we could increase the number of simultaneously running: clients that coo]d be supported and cot]d ensure a good response ratio and better resource utilization under heavy traffic requirements.

• Earthquakes and Structures
• /
• v.13 no.6
• /
• pp.519-529
• /
• 2017

The surrounding rocks of underground openings are natural materials and their mechanical behavior under seismic load is different from traditional man-made materials. This paper proposes a framework to comprehensively model the mechanical behavior of surrounding rocks. Firstly, the effects of seismic load on the surrounding rocks are summarized. Three mechanical effects and the mechanism, including the strengthening effect, the degradation effect, and the relaxation effect, are detailed, respectively. Then, the framework for modelling the mechanical behavior of surrounding rocks are outlined. The strain-dependent characteristics of rocks under seismic load is considered to model the strengthening effect. The damage concept under cyclic load is introduced to model the degradation effect. The quantitative relationship between the damage coefficient and the relaxation zone is established to model the relaxation effect. The major effects caused by seismic load, in this way, are all considered in the proposed framework. Afterwards, an independently developed 3D dynamic FEM analysis code is adopted to include the algorithms and models of the framework. Finally, the proposed framework is illustrated with its application to an underground opening subjected to earthquake impact. The calculation results and post-earthquake survey conclusions are seen to agree well, indicating the effectiveness of the proposed framework. Based on the numerical calculation results, post-earthquake reinforcement measures are suggested.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.17 no.2
• /
• pp.65-80
• /
• 2022

Despite the uncertainty and risky factors of startups, the special and critical role of accelerators in carrying out professional nurturing and investment for them is becoming increasingly significant in the startup social-system. However, academic research on investment determinants that have a profound impact on the survival of accelerators is lacking, and there are only a few empirical studies on the classification and importance of factors, and they do not enjoy the benefits of theoretical studies. This study proposes a business model innovation framework based on the business model innovation theory that reflects the nature and properties of startups that are investment targets of accelerators and derives 12 investment decision factors. The framework defines that the target, direction, and performable force of startup innovation are a business model, strategy, and dynamic capability. Besides, the framework analyzes the investment decision factors of the existing accelerators based on the business model innovation framework to verify the suitability and sufficiency of the composition. As a result of the analysis, first, most of the items were faithfully composed from a static point of view of business model innovation, but it was found that the factors related to the core activities to evaluate the activity and customer relationship were insufficient. Second, from the strategic point of view, the necessity of developing factors that can encompass the definition and content of core resources, which are internal strategic factors, was raised. Third, from the dynamic point of view, it was found that many of the investment determinants of accelerators were concentrated on the lower level of dynamic competencies. This can be judged as a result of reflecting the characteristics of a startup that needs to develop a solution with few resources and a small number of team members. In addition, the roles and interrelationships between each factor are not clear, thus it was found as a limiting point for startups to view and evaluate the direction and process in which startups dynamically innovate their business models. This study is considerably differentiated in that it provides a business model innovation framework and offers a theoretical basis for investment determinants by deriving the investment determinants of accelerators based on the framework and design the foundation for subsequent research. The business model innovation framework presented in this study has great implications in that it contributes to the achievement of startups, accelerators, and startup support organizations.

• Journal of the military operations research society of Korea
• /
• v.36 no.2
• /
• pp.39-52
• /
• 2010

DoD makes efforts to develop Capability-Based Force Structure through NCW and requirements. MND makes efforts to develop capability based force development and management for dynamic security environment and wartime command and control, however it seems to be very difficult to develop Capability-Based Force Structure without the concept and development method of integrated capability. The purpose of this paper is to make "An Integrated Capability Framework of Capability Based Force Structure" which presents integral capability of Enterprise. This framework contains the concept of force operation and force development view based on defense force life cycle.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.34-37
• /
• 2003

This paper proposes a BPM(Business Process Management) system framework for the NPD(New Product Development) of automotive suppliers. Recently many enterprises change their organization from function-oriented to process-oriented through BPR (Business Process Reengineering). Especially, based on quality systems like QS9000, it is required to documented business processes and continuously improve these processes for customer satisfaction. NPD, the most significant function for industrial competition, is reinforced by the best practices business process to satisfy the requirements of quality systems. The main objective of the paper is the development of the information system that supports the best practices process management. For this, first, we define the requirements of BPM system for NPD based on the viewpoint analysis, and then propose a DES (Design Execution System) framework based on dynamic workflow engine. The DES is addressed in the characteristics of a NPD business process, integrated project management, and process execution. A prototype DES system has been developed in the web environment. Its validity is demonstrated by applying it to an automotive supplier.