• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
• /
• pp.496-507
• /
• 2001

An expert system for the diagnosis and indication of hypertension is implemented through HTML-based backward inference. HTML-based backward inference is performed using the hypertext function of HTML, and many HTML files, which are hyperlinked to each other based on the backward rules, should be prepared beforehand. The development and maintenance of the HTML files are conducted automatically using the decision graph. Still, the drawing and input of the decision graph is a time consuming and tedious job if it is done manually. So, automatic generator of the decision graph for the diagnosis and indication of hypertension was implemented. The HTML-based backward inference ensures accessibility, multimedia facilities, fast response, stability, easiness, and platform independency of the expert system. So, this research reveals that HTML-based inference approach can be used for many Web-based intelligent site with fast and stable performance.

• 제어로봇시스템학회논문지
• /
• 제20권5호
• /
• pp.526-532
• /
• 2014

In this paper, we present and analyze a LQ (Linear Quadratic) inverse optimal state-consensus protocol for continuous-time multi-agent systems with undirected graph topology. By Lyapunov analysis of the state-consensus error dynamics, we show the sufficient conditions on the algebraic connectivity of the graph to guarantee LQ inverse optimality and closed-loop stability. A more relaxed stability condition is also provided in terms of the algebraic connectivity. Finally, a formation control protocol for multiple mobile robots is proposed based on the target LQ inverse optimal consensus protocol, and the simulation results are provided to verify the performance of the proposed LQ inverse formation control method.

• 대한수학회지
• /
• 제45권3호
• /
• pp.871-881
• /
• 2008

In this paper, we study the core stability of the dominating set game which has arisen from the cost allocation problem related to domination problem on graphs. Let G be a graph whose neighborhood matrix is balanced. Applying duality theory of linear programming and graph theory, we prove that the dominating set game corresponding to G has the stable core if and only if every vertex belongs to a maximum 2-packing in G. We also show that for dominating set games corresponding to G, the core is stable if it is large, the game is extendable, or the game is exact. In fact, the core being large, the game being extendable and the game being exact are shown to be equivalent.

• 유공압시스템학회:학술대회논문집
• /
• 유공압시스템학회 2010년도 춘계학술대회
• /
• pp.12-17
• /
• 2010

The poppet valve had used every field area due to high quality of leakage property and response characteristic. But this valve still has terrible disadvantage that is self-exited vibration. This problem affects stability of total system and raises noise. The researcher tries to reduce that self-exited vibration when valve was designed. The stability discriminant is the typical study to improve the performance of the poppet valve. This paper concerns about stability discriminant that uses poppet valve with a drain orifice. At the first, the mathematical model is computed from poppet valve. After that, the limitation of stability is calculated that based on Nyquist criterion. At the final, the stability discriminant is selected in each condition and the graph that shows stability in the system is drown by dimensionless quantity.

• 대한수학회지
• /
• 제46권3호
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

• 터널과지하공간
• /
• 제17권6호
• /
• pp.503-510
• /
• 2007

석회석 광산에 굴착된 대규격 갱도의 안정성을 평가하기 위하여 22곳의 측정지점을 선택한 후 RMR과 Q 분류법을 실시하였다. 측정 대상 갱도가 조사시점까지 안정성에 심각한 문제가 없었다는 점을 고려하면 갱도 폭에 대한 안정성을 평가함에 있어 RMR보다는 Q 분류법이 측정 결과와 부합하는 것으로 나타났다. 갱도의 전체적인 안정성을 평가하기 위하여 수정 Q 분류법의 일종인 확장 안정성 도해법을 적용한 결과 한 곳을 제외하고는 모든 측정 갱도들이 안정한 것으로 평가되었다. RMR과 Q 분류법의 적용 결과를 토대로 하여 대규격 갱도의 최대 무지보 폭과 한계높이를 평가할 수 있는 회귀식을 제안하였다.

• 대한기계학회논문집A
• /
• 제22권4호
• /
• pp.801-810
• /
• 1998

Modeling and analysis of dynamic systems generally demand their resutls to be interpreted each other with a physical sense. It sometimes requires that there should exist a unified tool in the treatment of dynamic systems which can be applied to both their modeling and analysis equally. This paper shows how models just after the progress of modeling via bond graph standards are converted to ones which are appropriate for analyzing a dynamic system in the frequency domain. Four bond graph prototypes are introduced to obtain frequency properties of dynamic systems such as zero stability, relative order, zero and pole dynamics, etc. directly from bond graphs, and the method are proposed which reduces nearly all models of bond graph standards to one of the prototypes without any change of physical similarity. This procedure as a tool for the structural reduction of bond graphs and finding frequency properties of a dynamic system is further investigated to survey its effectiveness through an example.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권9호
• /
• pp.3258-3273
• /
• 2021

Malware is a severe threat to the computing system and there's a long history of the battle between malware detection and anti-detection. Most traditional detection methods are based on static analysis with signature matching and dynamic analysis methods that are focused on sensitive behaviors. However, the usual detections have only limited effect when meeting the development of malware, so that the manual update for feature sets is essential. Besides, most of these methods match target samples with the usual feature database, which ignored the characteristics of the sample itself. In this paper, we propose a new malware detection method that could combine the features of a single sample and the general features of malware. Firstly, a structure of Directed Cyclic Graph (DCG) is adopted to extract features from samples. Then the sensitivity of each API call is computed with Markov Chain. Afterward, the graph is merged with the chain to get the final features. Finally, the detectors based on machine learning or deep learning are devised for identification. To evaluate the effect and robustness of our approach, several experiments were adopted. The results showed that the proposed method had a good performance in most tests, and the approach also had stability with the development and growth of malware.

• 터널과지하공간
• /
• 제28권4호
• /
• pp.358-371
• /
• 2018

지하광산에서 갱도나 공동의 안정성은 생산성과 안전을 확보해야 하는 광산운영에 있어서 가장 중요한 관심사이다. 공동의 안정성에 영향을 주는 많은 암반조건 중 공동의 폭과 높이는 중요한 설계요소가 된다. 이 논문의 주된 목적은 암반분류법 중에 Q시스템을 이용하여 무지보로 유지할 수 있는 최대 무지보갱도 폭을 국내 석회석 광산현장에서 용이하게 결정하기 위한 것이다. 국내 석회석 광산에서 무지보갱도 규격에 대한 고찰을 위해 여러 석회석 지하광산 200여개의 측점에서 암반분류 측정이 이루어졌다. Q 시스템을 이용한 무지보 갱도폭을 결정하는 관계식과 안정성 그래프법을 이용한 최대 무지보 갱도 폭을 결정하는 관계식을 유도하여 비교검토가 이루어졌다. 또한 현장에서 사용하기 쉽도록 GSI와 RMR을 결합한 새로운 방식의 분류법을 제안한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.747-753
• /
• 1992

The modeling and control design schemes are developed for maglev systems with a combined lift and guidance. First, bond graph techniques are applied for modeling these multi-energy domain systems more logically and systematically. And the stability loop via pole placement and the performance loop via loop-shaping LQ control are designed. The suggested controller satisfies the required characteristics of stability and performance simultaneously. Finally, the robustness of the synthesized maglev control system is evaluated for the variations of air gap and vehicle mass through computer simulation.