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

스마트 컨트랙트는 블록체인 상에서 실행되는 프로그램으로 복잡한 비즈니스 논리를 처리할 수 있다. 그러나 블록체인의 무결성과 조건에 따라 실행되는 특성을 이용한 악의적 사용으로 인하여 블록체인 보안에서 시급한 문제가 되고있다. 따라서 스마트 컨트랙트 취약성 탐지문제는 최근 많은 연구가 이루어지고 있다. 그러나 기존 연구의 대부분이 단일 유형의 취약성 여부에 대한 탐지에만 초점이 맞춰져 있어 여러 유형의 취약성에 대한 동시 식별이 어렵다. 이 문제를 해결하고자 본 연구에서는 스마트 컨트랙트 소스코드 제어 흐름 그래프를 기반으로 그래프의 forward edge와 backward edge를 고려한 신경망으로 그래프 구조를 학습한 후 그래프 multi-label classification을 진행하여 다중 취약성을 탐지할 수 있는 모델을 제안한다.

• ETRI Journal
• /
• 제9권1호
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 Proceedings of the Korea Automatic Control Conference, 11th (KACC); Pohang, Korea; 24-26 Oct. 1996
• /
• pp.95-98
• /
• 1996

Universal Learning Network(U.L.N.), which can model and control the large scale complicated systems naturally, consists of nonlinearly operated nodes and multi-branches that may have arbitrary time delays including zero or minus ones. Therefore, U.L.N. can be applied to many kinds of systems which are difficult to be expressed by ordinary first order difference equations with one sampling time delay. It has been already reported that learning algorithm of parameter variables in U.L.N. by forward and backward propagation is useful for modeling, managing and controlling of the large scale complicated systems such as industrial plants, economic, social and life phenomena. But, in the previous learning algorithm of U.L.N., time delays between the nodes were fixed, in other words, criterion function of U.L.N. was improved by adjusting only parameter variables. In this paper, a new learning algorithm is proposed, where not only parameter variables but also time delays between the nodes can be adjusted. Because time delays are integral numbers, adjustment of time delays can be carried out by a kind of random search procedure which executes intensified and diversified search in a single framework.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2106-2111
• /
• 2003

In this paper we discuss an algorithm for a real time transmission of moving color images on the TCP/IP network using wavelet transform and neural network. The image frames received from the camera are two-level wavelet-trans formed in the server, and are transmitted to the client on the network. Then, the client performs the inverse wavelet-transform using only the received pieces of each image frame within the prescribed time limit to display the moving images. When the TCP/IP network is busy, only a fraction of each image frame will be delivered. When the line is free, the whole frame of each image will be transferred to the client. The receiver warns the sender of the condition of traffic congestion in the network by sending a special short frame for this specific purpose. The sender can respond to this information of warning by simply reducing the data rate which is adjusted by a back-propagation neural network. In this way we can send a stream of moving images adaptively adjusting to the network traffic condition.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권4호
• /
• pp.1655-1673
• /
• 2018

Mobile computing environment is subject to the constraints of bounded network bandwidth, frequently encountered disconnections, insufficient battery power, and system asymmetry. To meet these constraints and to gain high scalability, data broadcasting has been proposed on data transmission techniques. However, updates made to the database in any broadcast cycle are deferred to the next cycle in order to appear to mobile clients with lower data currency. The main goal of this paper is to enhance the transaction performance processing and database currency. The main approach involves decomposing the main broadcast cycle into a number of sub-cycles, where data items are broadcasted as they were originally sequenced in the main cycle while appearing in the most current versions. A concurrency control method AOCCRBSC is proposed to cope well with the cycle decomposition. The proposed method exploits predeclaration and adapts the AOCCRB method by customizing prefetching, back-off, and partial backward and forward validation techniques. As a result, more than one of the conflicting transactions is allowed to commit at the server in the same broadcast cycle which empowers the processing of both update and read-only transactions and improves data currency.

• 한국정보처리학회논문지
• /
• 제7권7호
• /
• pp.2125-2134
• /
• 2000

RBAC(Role Based Access Control) has the advantage that reflects the real world because it presents a basic access control model based on user's role in organizations or governments. But in RBAC model, the privileges of the senior roles in these hierarchies are inherited from those of the junior roles, so RBAC model has the privileges problem that he senior are given more privileges than they need. That is, it tends to infringe the Principle of Least Privilege. On the other hand, if we give some excessive constraints on the RBAC model without scrupulous care, it may be meaningless property of role hierarchies. Furthermore, such complicated constraints make it more difficult to mange resources and roles in huge enterprise environments. The purpose of this paper is to solve the problems of role hierarchies such as inefficient role managements and abuse of privileges by using newly presented the backward tag pointer path expression in the inheritance of privileges.

• 대한물리의학회지
• /
• 제13권3호
• /
• pp.91-97
• /
• 2018

PURPOSE: Stroke patients have reduced balance ability due to a lack of motion in the ankle joint. Elastic taping assists movement, and joint mobilization, a form of passive movement, enhances mobility. The purpose of this study was to determine the immediate effects on balance ability after anterior-to-posterior (A-P) talocrural joint mobilization combined with elastic taping in stroke patients. METHODS: Twenty stroke patients were divided into two groups: a joint mobilization with taping group (experimental group, n=10) and an elastic taping only group (control group, n=10). The experimental group underwent anteroposterior mobilization of the talus and elastic tape was applied to the calf and tibialis anterior muscles. The control group had elastic tape applied. Dynamic balanced abilities were assessed by using the BioRescue system. After 30 minutes of intervention, the forward, backward, left side, and right side sway areas ($mm^2$) were measured. RESULTS: Only the experimental group showed a significant increase in forward sway area after intervention. However, no significant differences were detected between the two groups. CONCLUSION: This study shows that A-P talocrural joint mobilization combined with elastic taping has a positive effect, producing an immediate increase in the forward balance ability of stroke patients. However, this study did not examine joint mobilization alone. In subsequent studies, it is necessary to examine the effect of joint mobilization only on balance in stroke patients.

• 제어로봇시스템학회논문지
• /
• 제3권5호
• /
• pp.520-525
• /
• 1997

This paper presents a fault detection and diagnosis methodology based on weighted symptom model and pattern matching between the coming fault propagation trend and the simulated one. In the first step, backward chaining is used to find the possible cause candidates for the faults. The weighted symptom model is used to generate those candidates. The weight is determined from dynamic simulation. Using WSM, the methodology can generate the cause candidates and rank them according to the probability. Second, the fault propagation trends identified from the partial or complete sequence of measurements are compared with the standard fault propagation trends stored a priori. A pattern matching algorithm based on a number of triangular episodes is used to effectively match those trends. The standard trends have been generated using dynamic simulation and stored a priori. The proposed methodology has been illustrated using two case studies, and the results showed satisfactory diagnostic resolution.

• 제어로봇시스템학회논문지
• /
• 제6권3호
• /
• pp.317-328
• /
• 2000

This paper presents an effective approach to collision-free motion planning of a robot in the work-space including time-varying obstacles. The free arc is defined as a set composed of the configuration points of the robot satisfying collision-free motion constraint at each sampling time. We represent this free arc with respect to the new coordinate frame centered at the goal configuration and there for the collision-free path satisfying motion constraint is obtained by connecting the configuration points of the free arc at each sampling mined from the sequence of free arcs the optimality is determined by the performance index. Therefore the complicated collision-free motion planning problem of a robot is transformed to a simplified SUB_Optimal Collision Avoidance Problem(SOCAP). We analyze the completeness of the proposed approach and show that it is partly guaranteed using the backward motion. Computational complexity of our approach is analyzed theoretically and practical computation time is compared with that of the other method. Simulation results for two cally and practical computation time is compared with that of the other method. Simulation results for two SCARA robot manipulators are presented to verify the efficacy of the proposed method.

• Journal of Advanced Marine Engineering and Technology
• /
• 제28권8호
• /
• pp.1299-1312
• /
• 2004

This paper suggests the simple form of a fuzzy PID controller and describes the design principle, tracking performance, stability analysis and changes of parameters of a suggested fuzzy PID controller. A fuzzy PID controller is derived from the design procedure of fuzzy control. It is well known that a fuzzy PID controller has a simple structure of the conventional PID controller but posses its self-tuning control capability and the gains of a fuzzy PID controller become nonlinear functions of the inputs. Nonlinear calculation during fuzzification, defuzzification and the fuzzy inference require more time in computation. To increase the applicability of a fuzzy PID controller to digital computer, a simple form of a fuzzy PID controller is introduced by the backward difference mapping and the analysis of the fuzzy input space. To guarantee the BIBO stability of a suggested fuzzy PID controller, ‘small gain theorem’ which proves the BIBO stability of a fuzzy PI and a fuzzy PD controller is used. After a detailed stability analysis using ‘small gain theorem’, from which a simple and practical method to decide the parameters of a fuzzy PID controller is derived. Through the computer simulations for the linear and nonlinear plants, the performance of a suggested fuzzy PID controller will be assured and the variation of the gains of a fuzzy PID controller will be investigated.