• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 추계학술발표대회
• /
• pp.69-71
• /
• 2022

비트코인은 현재 가장 많이 사용하는 전자 화폐 거래 시스템으로, Proof-of-Work를 합의 알고리즘으로 사용한다. 이때 비트코인에 대한 다양한 공격기법들이 연구되었으며 대표적으로 Selfish Mining과 블록 보류 공격이 존재한다. 본 논문에서는 블록 보류 공격에 대한 방지 기법의 동향에 대해서 조사하였으며, 대표적으로 딥러닝, 평판 기반 블록체인, 게임 전략을 통한 방지 기법이 존재하였다.

• 디지털융복합연구
• /
• 제19권8호
• /
• pp.205-217
• /
• 2021

탈중앙형 SSI(Self Sovereign Identity)가 새로운 디지털 신원 식별 기술의 대안으로 등장하였으나 이는 데이터 거래의 고유 알고리즘 특성으로 인해 효율적인 비식별화 기법이 제안되지 않았다. 본 논문에서는 SSI의 탈중앙형 동작을 보장하기 위해 ZKP(Zero Knowledge Proof)의 검증 결과를 검증인 측에서 외부에 제공 가능한 형태로 재구성함으로써 식별자를 제거하지 않는 비식별 기술을 제안한다. 또한, 이는 검증 참여 각 개체에 대한 차등 주권 관리 개념을 제안하는 것으로 재구성된 비식별 데이터를 정보주체의 동의 없이 제공할 수 있다. 결과적으로 제안 모델은 탈중앙형 SSI 환경에서 국내 개인정보보호법을 만족하고, 안전하며 효율적인 비식별 처리 및 주권 관리를 제공한다.

• 한국산업융합학회 논문집
• /
• 제25권6_3호
• /
• pp.1147-1154
• /
• 2022

Now that the development of autonomous driving is progressing, LiDAR has become an indispensable element. However, LiDAR is a device that uses lasers, and laser side effects may occur. One of them is the much-talked-about eye-safety, and developers have been satisfying this through laser characteristics and operation methods. But eye-safety is just one of the problems lasers pose. For example, irradiating a laser with a specific energy level or higher in a dusty environment can cause deterioration of the dust particles, leading to a sudden explosion. For this reason, the dust ignition proof regulations clearly state that "a source with a pulse period of less than 5 seconds is considered a continuous light source, and the average energy does not exceed 5 mJ/mm 2 or 35 mW" [2]. Energy of output optical power is limited by the law. In this way, the manufacturer cannot define the usage environment of the LiDAR, and the development of a LiDAR that can be used in such an environment can increase the ripple effect in terms of use in application fields using the LiDAR. In this paper, we develop a LiDAR with low optical power that can be used in environments where high power lasers can cause problems, evaluate its performance. Also, we discuss and present one of the directions for the development of LiDAR with laser power limited by dust ignition proof regulations.

• 한국산업융합학회 논문집
• /
• 제26권5호
• /
• pp.867-874
• /
• 2023

In this paper, a wireless communication-based sensor data monitoring device with an explosion-proof (Exd IIC) case was implemented to enable installation at explosion-risk industrial sites such as plants. In existing industrial plant sites, most of the temperature sensors and vibration and impact sensors are wired up to several kilometers, which takes a lot of time and money to bury long pipes and cables. In addition, there are not many cases where some wireless devices have been applied to actual plant industry sites due to communication quality problems. Therefore, in order to solve this problem, zigbee mesh wireless communication was applied to provide high reliability wireless communication quality to industrial plant sites, and the time and cost incurred in new or additional installation of sensors could be greatly reduced. In particular, in the event of loss or error of some wireless communication devices, the communication network is automatically bypassed or recovered to enable real-time data monitoring.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제20권1호
• /
• pp.1-15
• /
• 2016

The continuous analysis, such as smoothness and uniform convergence, for polynomials and polynomial-like functions using differential operators have been studied considerably, parallel to the study of discrete analysis for these functions, using difference operators. In this work, for the difference operator ${\nabla}_h$ with size h > 0, we verify that for an integer $m{\geq}0$ and a strictly decreasing sequence $h_n$ converging to zero, a continuous function f(x) satisfying $${\nabla}_{h_n}^{m+1}f(kh_n)=0,\text{ for every }n{\geq}1\text{ and }k{\in}{\mathbb{Z}}$$, turns to be a polynomial of degree ${\leq}m$. The proof used the polynomial convergence, and additionally, we investigated several conditions on convergence to polynomials.

• 제어로봇시스템학회논문지
• /
• 제9권12호
• /
• pp.1065-1070
• /
• 2003

We present a power control with variable state feedback gain (VFPC) to improve outage convergence rate of distributed constrained power control. The variable state feedback gain includes the information of the desired SIR changes and must be a decreasing sequence for the convergence. The proof of the convergence is given. The proposed algorithm can improve the outage convergence rate and SIR (Signal to Interference Ratio) response at transient as well as at steady state. The simulation results are given to demonstrate the feasibility of the proposed scheme.

• 대한수학회논문집
• /
• 제25권4호
• /
• pp.583-607
• /
• 2010

The purpose of this paper is to prove strong convergence theorems for common fixed points of two families of weak relatively nonexpansive mappings and a family of equilibrium problems by a new monotone hybrid method in Banach spaces. Because the hybrid method presented in this paper is monotone, so that the method of the proof is different from the original one. We shall give an example which is weak relatively nonexpansive mapping but not relatively nonexpansive mapping in Banach space $l^2$. Our results improve and extend the corresponding results announced in [W. Takahashi and K. Zembayashi, Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings, Fixed Point Theory Appl. (2008), Article ID 528476, 11 pages; doi:10.1155/2008/528476] and [Y. Su, Z. Wang, and H. Xu, Strong convergence theorems for a common fixed point of two hemi-relatively nonexpansive mappings, Nonlinear Anal. 71 (2009), no. 11, 5616?5628] and some other papers.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제18권4호
• /
• pp.305-316
• /
• 2014

The Hodge-Helmholtz decomposition splits a vector field into the unique sum of a divergence-free vector field (solenoidal part) and a gradient field (irrotational part). In a bounded domain, a boundary condition needs to be supplied to the decomposition. The decomposition with the non-penetration boundary condition is equivalent to solving the Poisson equation with the Neumann boundary condition. The Gibou-Min method is an application of the Poisson solver by Purvis and Burkhalter to the decomposition. Using the $L^2$-orthogonality between the error vector and the consistency, the convergence for approximating the divergence-free vector field was recently proved to be $O(h^{1.5})$ with step size h. In this work, we analyze the convergence of the irrotattional in the decomposition. To the end, we introduce a discrete version of the Poincare inequality, which leads to a proof of the O(h) convergence for the scalar variable of the gradient field in a domain with general intersection property.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권1호
• /
• pp.1-27
• /
• 2010

Wu and Zhao [17] provided a semilocal convergence analysis for a Newton-type method on a Banach space setting following the ideas of Frontini and Sormani [9]-[11]. In this study first: we point out inconsistencies between the hypotheses of Theorem 1 and the two examples given in [17], and then, we provide the proof in affine invariant form for this result. Then, we also establish new convergence results with the following advantages over the ones in [17]: weaker hypotheses, and finer error estimates on the distances involved. A numerical example is also provided to show that our results apply in cases other fail [17].

• Agribusiness and Information Management
• /
• 제9권1호
• /
• pp.23-36
• /
• 2017

The incidents of garbage dumplings in 2004 and the report on giant castella are the examples that shows how big the influence of broadcasting on the industry is. There were discussions on the importance of securing the objectivity of broadcasting, however, the existing related researches have lacked the analysis of actual proof for the influence of broadcasting contents, and as that of the law and system was confined to theoretical arguments, there were not enough suggestions for realistic alternatives. In this paper, we will examine the influence of broadcasting contents on the food industry through an analysis of actual proof, and propose alternatives in terms of the law and policy for securing the objectivity and fairness of broadcasting, to solve this problem.