• 인지과학
• /
• 제1권2호
• /
• pp.347-360
• /
• 1989

Knowledge의 믿음이 추론 모형은 기존의 모형들이 갖고 있는 단점들을 해결하였으나,단순한 믿음에 대해서만 증명 기법을 제시하고 있고,여러가지 추론 규칙 스키마가 존재한느 믿음과 지식 시스템에 대해서는 증명 기법을 제시하고 있지 않다. 따라서 본 논문에서는 여러가지 추론 규칙 스키마가 존재하는 지식과 믿음의 통일된 증명 기법을 제시하였으며,이의 정당성과 완전성을 증명하였다.이 증명 기법은 과거의 기능체계 모형으로는 표현할수 없는 추론 규칙 스키마들까지도 처리가 가능하다. 또한,이 증명 기법을 사용하는 정리 증명 시스템을 구현함으로써 이의 실용성과 유용성을 보였다.

• 상하수도학회지
• /
• 제19권6호
• /
• pp.827-837
• /
• 2005

In this study, we derived a new non-dimensional variable including bubble size and air diffusing area by Buckingham's theorem for making a practical correlation with experimental results. Firstly, we drew a relationship between a non-dimensional variable, $NH/u_s$, which has a form of Froude number and destratification efficiency with a simple theoretical consideration. Then we derived two non-dimensional variables by Buckingham's ${\pi}$-theorem and equating them with a form of $Fr_N$ for making single parameter to correlate overall destratification efficiency. As the result, the single parameter Be number shows a correlations with destratification efficiencies obtained from laboratory and pilot experiments. Also, for the practical applications, we conducted multiple regression analysis using Be and tank area to make predictive equations about destratification efficiency. The result also shows a successful correlations with destratification efficiency ($R^2$>0.9, p<0.001). Using this equation, we proposed a new design methodology with respect to bubble diffusing area.

• Geomechanics and Engineering
• /
• 제36권5호
• /
• pp.475-487
• /
• 2024

Many uncertainties affect the stability assessment of rock structures. Some of these factors significantly influence technology decisions. Some of these factors belong to the geological domain, and spatial uncertainty measurements are useful for structural stability analysis. This paper presents an integrated approach to study the stability of rock structures, including spatial factors. This study models two main components: discrete structures (fault zones) and well known geotechnical parameters (rock quality indicators). The geostatistical modeling criterion are used to quantify geographic uncertainty by producing simulated maps and RQD values for multiple equally likely error regions. Slope stability theorem would be demonstrated by modeling local failure zones and RQDs. The approach proided is validated and finally, the slope stability analysis method and fuzzy Laypunov criterion are applied to mining projects with limited measurement data. The goals of this paper are towards access to adequate, safe and affordable housing and basic services, promotion of inclusive and sustainable urbanization and participation, implementation of sustainable and disaster-resilient buildings, sustainable human settlement planning and manage. Simulation results of linear and nonlinear structures show that the proposed method is able to identify structural parameters and their changes due to damage and unknown excitations. Therefore, the goal is believed to achieved in the near future by the ongoing development of AI and fuzzy theory.

• International Journal of Aeronautical and Space Sciences
• /
• 제14권1호
• /
• pp.75-84
• /
• 2013

In this paper, the guidance law for formation flight and collision avoidance of multiple Unmanned Aerial Vehicle (UAV)s is proposed. To construct the physically comprehensible guidance law for formation flight, the virtual structure approach is used. To develop a guidance law for collision avoidance considering both other UAVs and unknown static obstacles, a geometric approach using information such as a relative position vector is utilized. Through the Lyapunov theorem, the stability of the proposed guidance law is proved. To combine guidance commands, the concept of the elastic weighting factor inspired by the elastic behavior of shape memory polymer, which tends to regain its original shape after deformation, is introduced. By using the concept of elastic weighting factor, multiple UAVs are able to cope actively with the situation of a collision between both UAVs and static obstacles during the formation flight. To verify the performance of the proposed method, numerical simulations are performed.

• 한국음향학회지
• /
• 제21권1호
• /
• pp.37-41
• /
• 2002

본 논문에서는 실내 잔향곡선의 초기감쇠시간을 복수 채널을 사용하여 단축시켰다. 실내에서 수음된 음성신호는 MINT(Multiple - input / output INverse Theorem)에 기초하여 풀밴드와 서브밴드로 역필터링하였으며, 복수 채널의 적응필터는 LMS(least Mean Square)와 NLMS(Normalized Least Mean Square) 알고리즘을 사용하였다. 실험결과 잔향곡선에서 -20 dB까지 감소하는데 걸리는 시간이 2개의 마이크로폰을 사용하였을 때 풀밴드 NLMS에서 약 1/3로 단축됨을 확인하였다. 실제 음장의 전달함수를 사용한 주관평가에서는 80%의 청취자가 MINT에 의해 초기감쇠시간이 단축된 음성의 명료도가 향상되었다고 평가하였다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제12권1호
• /
• pp.832-842
• /
• 2020

The coordination control of multiple Underactuated Underwater Vehicles (UUVs) moving in three dimensional space is investigated in this paper. The coordinated path following control task is decomposed into two sub tasks, that is, path following control and coordination control. In the spatial curve path following control task, path following error dynamics is build in the Serret-Frenet coordinate frame. The virtual reference object can be chosen freely on the desired spatial path. Considering the speed of the UUV, the line-of-sight navigation is introduced to help the path following errors quickly converge to zero. In the coordination control sub task, the communication topology of multiple UUVs is described by the graph theory. The speed of each UUV is adjusted to achieve the coordination. The path following system and the coordination control system are viewed as the feedback connection system. Input-to-state stable of the coordinated path following system can be proved by small gain theorem. The simulation experiments can further demonstrate the good performance of the control method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제7권2호
• /
• pp.288-307
• /
• 2013

This paper formulates resource allocation for decode-and-forward (DF) relay assisted multi-cell orthogonal frequency division multiple (OFDM) networks as an optimization problem taking into account of inter-cell interference and users fairness. To maximize the transmit rate of system we propose a joint interference coordination, subcarrier and power allocation algorithm. To reduce the complexity, this semi-distributed algorithm divides the primal optimization into three sub-optimization problems, which transforms the mixed binary nonlinear programming problem (BNLP) into standard convex optimization problems. The first layer optimization problem is used to get the optimal subcarrier distribution index. The second is to solve the problem that how to allocate power optimally in a certain subcarrier distribution order. Based on the concept of equivalent channel gain (ECG) we transform the max-min function into standard closed expression. Subsequently, with the aid of dual decomposition, water-filling theorem and iterative power allocation algorithm the optimal solution of the original problem can be got with acceptable complexity. The third sub-problem considers dynamic co-channel interference caused by adjacent cells and redistributes resources to achieve the goal of maximizing system throughput. Finally, simulation results are provided to corroborate the proposed algorithm.

• 한국항공우주학회지
• /
• 제36권9호
• /
• pp.859-866
• /
• 2008

본 논문에서는 다수 비행체의 편대 비행 시 상호 기하학적 관계 유지에 필요한 유도 법칙과 비선형 시뮬레이션 결과를 제시하였다. 편대 내의 각 비행체는 편대 Leader를 제외하고 모두 Leader와 Follower의 역할을 동시에 맡으며, Leader에 의한 명령은 모든 Follower에게 분배되고 따라서 편대를 이루는 모든 비행체들의 동시기동비행(Synchronized Flight)을 가능하게 한다. 편대 비행 유도 법칙은 가까운 미래 시각에 예상되는 기하학적 오차 그리고 Lyapunov 안정성 이론에 근거하여 도출하였고, 정찰과 감시 임무 예제에 관한 고정밀 비선형 시뮬레이션 결과를 통하여 제안된 유도 법칙의 성능을 검증하였다

• 한국지능시스템학회논문지
• /
• 제23권1호
• /
• pp.46-50
• /
• 2013

본 논문은 다수의 구동기 고장을 가진 유연 관절 로봇의 적응 고장 수용 제어기를 제안한다. 다수의 구동기 고장의 크기와 일어나는 시간은 알려지지 않는다고 가정한다. 구동기 고장을 수용하기 위해 추종 오차의 수렴율과 오버슈트의 최대치로 특성화된 미리 정의된 성능을 보장하는 유계 조건을 갖는 적응 고장 수용 제어기를 설계한다. 르아프노브 안정도 이론을 이용하여 페루트 시스템의 모든 신호가 준 전역적이고 균일하고 궁극적으로 유계됨을 증명하고 추종 오차가 미리 정의된 성능 유계에서 벗어나지 않음을 보인다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권12호
• /
• pp.4567-4583
• /
• 2021

This study proposes an analytical approximation algorithm based on extreme value theory (EVT) for the inverse of the power of the incomplete Gamma function. First, the Gumbel function is used to approximate the power of the incomplete Gamma function, and the corresponding inverse problem is transformed into the inversion of an exponential function. Then, using the tail equivalence theorem, the normalized coefficient of the general Weibull distribution function is employed to replace the normalized coefficient of the random variable following a Gamma distribution, and the approximate closed form solution is obtained. The effects of equation parameters on the algorithm performance are evaluated through simulation analysis under various conditions, and the performance of this algorithm is compared to those of the Newton iterative algorithm and other existing approximate analytical algorithms. The proposed algorithm exhibits good approximation performance under appropriate parameter settings. Finally, the performance of this method is evaluated by calculating the thresholds of space-time block coding and space-frequency block coding pattern recognition in multiple-input and multiple-output orthogonal frequency division multiplexing. The analytical approximation method can be applied to other related situations involving the maximum statistics of independent and identically distributed random variables following Gamma distributions.