• Journal of Computing Science and Engineering
• /
• v.8 no.1
• /
• pp.34-42
• /
• 2014

Time-predictability of computing is critical for hard real-time and safety-critical systems. However, currently there is no metric available to quantitatively evaluate time-predictability, a feature crucial to the design of time-predictable processors. This paper first proposes the concept of architectural time-predictability, which separates the time variation due to hardware architectural/microarchitectural design from that due to software. We then propose the standard deviation of clock cycles per instruction (CPI), a new metric, to measure architectural time-predictability. Our experiments confirm that the standard deviation of CPI is an effective metric to evaluate and compare architectural time-predictability for different processors.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.655-667
• /
• 2012

In this paper, we deal with a critical point metric of the total scalar curvature on a compact manifold $M$. We prove that if the critical point metric has parallel Ricci tensor, then the manifold is isometric to a standard sphere. Moreover, we show that if an $n$-dimensional Riemannian manifold is a warped product, or has harmonic curvature with non-parallel Ricci tensor, then it cannot be a critical point metric.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.6 no.1
• /
• pp.13-24
• /
• 1988

The determination of three-dimensional positions on a circular or cylindrical surface covers a variety of applications. As an example, consider the monitoring of structures, which is an important topic in the broad category of deformation analysis. The use of convergent photography in determination of these positions has the many advantages over survey based procedures. This paper illustrates results from bundle adjustments derived from convergent photography of a cylindrical object, with both metric and non-metric cameras utilized in the test. In addition to standard error comparisons resulting from the error analysis provided by the bundle adjustments, object space coordinates resulting from metric and non-metric camera network geometries will also be compared.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.284-296
• /
• 2021

Quality Models are important element of the software industry to develop and implement the best quality product in the market. This type of model provides aid in describing quality measures, which directly enhance the user satisfaction and software quality. In software development, the inheritance technique is an important mechanism used in object-oriented programming that allows the developers to define new classes having all the properties of super class. This technique supports the hierarchy design for classes and makes an "is-a" association among the super and subclasses. This paper describes a standard procedure for validating the inheritance metric in Quality Model for Object-Oriented Design (QMOOD) by using a set of nine properties established by Weyuker. These properties commonly using for investigating the effectiveness of the metric. The integration of two measuring methods (i.e. QMOOD and Weyuker) will provide new way for evaluating the software quality based on the inheritance context. The output of this research shows the extent of satisfaction of the inheritance metric in QMOOD against Weyuker nine properties. Further results proved that Weyker's property number nine could not fulfilled by any inheritance metrics. This research introduces a way for measuring software that developed using object-oriented approach. The theoretical validation of the inheritance metric presented in this paper is a small step taken towards producing quality software and in providing assistance to the software industry.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.35 no.3
• /
• pp.145-154
• /
• 2017

In recent years, demand for 1 / 1,000 digital map production has increased in various fields such as construction and urban planning. As a result, the use of low-cost non-metric cameras that replace expensive aerial photogrammetry equipment is required. In Korea, researches are being continuously carried out to produce a large scale digital map by photographing a small target area with a non-metric camera. However, due to the limitation of the accuracy of the non-metric camera, it is difficult to do digital mapping with stereoscopic photographs. In this study, we tried to verify the possibility of large-scale digital mapping to utilize non-metric camera for public survey. For this purpose, the accuracy of the digital mapping results of the non-metric camera and the results of the DMC camera were compared and analyzed. After performing in-situ self-calibration including 8 standard additional parameters, we plotted to a scale of 1/1,000 and confirmed that the RMSE is suitable for public survey accuracy of ${\pm}0.145m$ in horizontal and ${\pm}0.153$ m in vertical.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.6C
• /
• pp.601-609
• /
• 2002

The efficient Viterbi decoder that supports full data-rate output of DAB system was proposed. Viterbi decoder consumes lots of computational load and should be designed to be fast specific hardware. In this paper, SST scheme was adopted for Viterbi decoder with puncturing to reduced the power consumption. Puncturing vector tables are modified and re-arranged to be designed by a hardwired logic to save the system area. New re-scaling scheme which uses the fact that the difference of the maximum and minimum of the path metric values is bounded is proposed. The proposed re-scaling scheme optimizes the wordlength of path metric memory and greatly reduces the computational load for re-scaling by controlling MSB of path metric memory. Another saving of computation is done by proposed algorithm for branch metric calculation, which makes use of pre-calculated metric values. The designed Viterbi decoder was synthesized using SAMSUNG 0.35$\mu$ standard cell library and occupied small area and showed lower power consumption.

• Journal of Advanced Navigation Technology
• /
• v.24 no.1
• /
• pp.28-36
• /
• 2020

Korea augmentation satellite system (KASS) is the Korean satellite based augmentation system (SBAS) developed by ministry of land, infrastructure, and transport (MOLIT) since 2014. Since KASS is the safety critical system that can affect to the safety of airplane, the software of KASS is developed according to the DO178B software level induced from safety analysis. In case of KASS control station (KCS), most of the software of KCS get assigned software level E in DO178B. In that case, ECSS-Q-ST-80C category D is assigned as a software product assurance standard. In this paper, the software related standard ECSS-E-ST-40C, ECSS-Q-HB-80-04A are analyzed to satisfy ECSS-Q-ST-80C and as a result the software product assurance activities regarding software life cycle and the software quality model, metric is proposed for the product assurance of the KCS software.

• Journal of Advanced Navigation Technology
• /
• v.13 no.6
• /
• pp.861-875
• /
• 2009

In order to make high quality software and high reliability software, systematic development management and organizational support are essential needed. Since 1990's Software process models such as ISO/IEC 15504 and CMMI have been used to improve organization capability. But these models have problems that are used to apply on large scaled organization or large project and so many practices are actually required. We present characteristics of ISO/IEC 15504, CMMI and K-model can easily apply to small and medium sized business or project, and propose the standard quality metric and accreditate procedure based on K-model for measuring quantitative quality level.

• The Journal of Society for e-Business Studies
• /
• v.23 no.3
• /
• pp.1-12
• /
• 2018

Mixed-criticality systems consist of components with different criticality. Recently, components are categorized depending on criticality by ISO 26262 standard and DO-178B standard in automotive and avionic domain. Existing mixed-criticality system research achieved efficient and safe scheduling through system-level criticality mode. The drawback of these approaches is performance degradation of low-criticality tasks on high-criticality mode. Task-level criticality mode is one method to address the problem and improve the performance of low-critical tasks. In this paper, we propose probabilistic performance metric for the approach. In simulation results with probabilistic performance metric, we showed that our approach has better performance than the existing approaches.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.59 no.2
• /
• pp.110-116
• /
• 2023

In this study, samples of sea anchor canopy cloth mainly used in Korean jigging fishing vessels were collected and tested for performance evaluation. The canopy cloth of sea anchor is a basic element of form composition that is known to have the greatest influence on anchor performance. In order to evaluate the performance of sea anchor canopy cloth, five types of samples were tested for new metric count, tensile strength, water vapour transmission rate and drying speed according to the national standard (KS), and some correlations were identified. As a result of the test, the new metric count of cloths was 335.5-443.4 denier in warp and 217-447.6 denier in weft, and the minimum tensile strength was 860 N in warp direction and 430 N in weft direction. The apparent number and tensile strength of cloth were proportional, the water vapour transmission rate of the sample was 206.8 g/m²h, and the drying speed was 90-100 min. This study partially confirmed the performance evaluation based on speculation by the standard test method, and further research is needed on the clear relationship between the research results and the performance of the sea anchor.