• Honam Mathematical Journal
• /
• v.37 no.4
• /
• pp.595-608
• /
• 2015

In this paper, as a survey paper, we review many works related to fixed point theory for digital spaces using Lefschetz fixed point theorem, Banach fixed point theorem, Nielsen fixed point theorem and so forth. Besides, we refer some properties of the fixed point property of a digital k-retract.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.8
• /
• pp.63-72
• /
• 2017

In this paper, we propose a security architecture for HDLC-based T4 class common data link. The common data links are composed of point-to-point, multi-to-point, and point-to-multi mode. For multi-to-point mode, one node has a bundle of point-to-point links with different end-point on the other side of the links. Thus multi-to-point mode can be considered as a bundle of point-to-point mode. Point-to-multi mode is broadcasting link. For point-to-point mode we adopted robust security network scheme to establish a secure data link, and for multi-to-point mode we use broadcast encryption scheme based on ID-based cryptography to distribute encryption key for broadcasting message encryption. We also included MACsec technology for point-to-point data link security. Computational and communicational complexity analysis on the broadcast encryption have been done.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.26 no.4
• /
• pp.432-436
• /
• 2012

Among a number of factors related to the effect of acupuncture and moxibustion treatment, prescriptions do important work. Traditional eastern doctors also placed emphasis on prescriptions of acupuncture and moxibustion, and a lot of experiences have been accumulated. The method forms prescriptions of Sa-am acupuncture therapy pivots on five transport points. Studies show prescriptions are made on the basis of the theory of 'Wang Xiang Xiu Qiu Si'(旺相休囚死) used engendering and restraining of five phases, and it is considered the principle of transformed prescriptions through this theory. Because there is still no study analyzing prescriptions of Sa-am acupuncture by existing principles, we report opinion about Combination principle of points in them. 1. We studied history of acupuncture and moxibustion, development and kinds of points' Combination principle. 2. Around Combination principles of points in Classic of Difficult Issues and Internal Classic, we analyzed and compared between Combination principles of points in Sa-am acupuncture therapy and them in Korea and overall acupuncture methods. 1. There were many Combination principles of acupunture point combination in Classic of Difficult Issues, Internal Classic and Korea acupuncture methods. For example, Point combination of the same meridian, Point combination of the different meridian, Exterior-Interior point combination, Point combination of the same name meridian, Point combination of the multiple meridian, Point combination of Adjacent and Distant points, Left-Right point combination, Anterior-Posterior point combination, Superior-Inferior point combination, Brook point and Stream point combination, Triple energizer point combination, Eight meeting point combination, Five transport point combination, Source-Connecting point combination, Alram point and Transport point combination, Mother-Sun meridian combination, Empirical point combination, Important point combination, Point combination according to syndrome. 2. Existing Combination principles of points in prescriptions of Sa-am acupuncture therapy included every rule. 3. They could be evidences that prescriptions of Sa-am acupuncture therapy are forms inheriting and developing acupuncture and moxibustion treatments.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.6 no.1
• /
• pp.13-22
• /
• 2010

In this paper, we propose a management system for positioning and indicating the surveyed control point using RFID and UMPC. This system is composed of digital control point, management system and application. The digital control point transmits information of the surveyed control point and the management system receives the data from the digital control points and manages the scattered digital control points. The system offers three services for managing the surveyed control point. The first service is control point monitoring service for identifying the change of location, locating the missing control point and the second service is control point search service notifying selected control point to user, and the third service is control point land management service for editing the control point information in the land. Therefore, this system makes it easy for administrators to access the control point information of the scattered surveyed control point through the country and enhances the managing efficiency.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.27 no.1
• /
• pp.57-64
• /
• 2017

This study was reviewed the noise reduction effects with installation of 'point to point speed camera' for controlling the speed of the car. The multiple regression analysis was performed to know how the relationship between the noise level and these parameters, such as measured traffic volume and rate of heavy vehicle and weighted average speed was changed with and without the 'point to point speed camera'. In the analysis results shows that the less traffic volume, the more noise reduction effect has been increased and the more traffic volume, the more noise reduction effect has been reduced. And noise reduction effects by the 'point to point speed camera' was different from each measured point. The cause of the difference was determined that inadequate 'point to point speed camera' position to see the effect of noise reduction. It is determined to require a more study to improve the noise reduction effects of the 'point to point speed camera' such as the camera position adjustment.

• Communications of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.905-913
• /
• 2022

We characterize metrizability and submetrizability for point-open, open-point and bi-point-open topologies on C(X, Y), where C(X, Y) denotes the set of all continuous functions from space X to Y ; X is a completely regular space and Y is a locally convex space.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1053-1071
• /
• 2022

The purpose of this article is to establish some fixed point theorems, a common fixed point theorem and a coincidence point theorem via contractive type condition in the framework of complete partial metric spaces and give some examples in support of our results. As an application to the results, we give some fixed point theorems for integral type contractive conditions. The results presented in this paper extend and generalize several results from the existing literature.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.3
• /
• pp.96-105
• /
• 1992

The use of fixed-point digital signal processors, such as the TMS 320C25, requires scaling of data at each arithmetic step to prevent overflows while keeping the accuracy. A software which automatizes this process is developed for TMS 320C25. The programmers use a model of a hypothetical floating-point digital signal processor and a floating-point format for data representation. However, the program and data are automatically translated to a fixed-point version by this software. Thus, the execution speed is not sacrificed. A fixed-point variable has a unique binary-point location, which is dependent on the range of the variable. The range is estimated from the floating-point simulation. The number of shifts needed for arithmetic or data transfer step is determined by the binary-points of the variables associated with the operation. A fixed-point code generator is also developed by using the proposed automatic scaling software. This code generator produces floating-point assembly programs from the specifiations of FIR, IIR, and adaptive transversal filters, then floating-point programs are transformed to fixed-point versions by the automatic scaling software.

• Communications for Statistical Applications and Methods
• /
• v.12 no.2
• /
• pp.349-357
• /
• 2005

We suggest a functional technique with loess smoothing for estimating the change-point when there is one change-point in the mean model. The proposed change-point estimator is consistent. Simulation study shows a good performance of the proposed change-point estimator in comparison with other parametric or nonparametric change-point estimators.

• Journal of Information Processing Systems
• /
• v.16 no.3
• /
• pp.688-698
• /
• 2020

Point clouds have ability to express the spatial entities, however, the point clouds redundancy always involves some uncertainties in computer recognition and model construction. Therefore, point clouds thinning is an indispensable step in point clouds model reconstruction and other applications. To overcome the shortcomings of complex classification index and long time consuming in existing point clouds thinning algorithms, this paper proposes a point clouds fast thinning algorithm. Specifically, the two-dimensional index is established in plane linear array (x, y) for the scanned point clouds, and the thresholds of adjacent point distance difference and height difference are employed to further delete or retain the selected sample point. Sequentially, the index of sample point is traversed forwardly and backwardly until the process of point clouds thinning is completed. The results suggest that the proposed new algorithm can be applied to different targets when the thresholds are built in advance. Besides, the new method also performs superiority in time consuming, modelling accuracy and feature retention by comparing with octree thinning algorithm.