• 한국통신학회논문지
• /
• 제19권2호
• /
• pp.322-330
• /
• 1994

고도지능망의 개념모델에서는 총괄기능평면에서 다양한 지능망서비스 제공을 위하여 서비스에 독립적인 기능블럭인 SIB(service indenpendent building block)을 정의하고 있다. 본 논문은 이중에서 가장 근간이 되는 기본호처리 SIB를 위한 지능망교환기(SSP: service switching point)와 서비스제어시스템(SCP: service control point) 간의 프로토콜 모델링에 대하여 기술하였다. 모델링을 위하여 Petri Net를 이용하며, 도달성 트리(reachability tree)를 분석하여 모델에 대한 검증을 한다. 본 논문의 결과는 고도지능망 기본호처리 SIB 설계와 구현을 위하여 이용될 수 있을 것이다.

• 한국정밀공학회지
• /
• 제25권12호
• /
• pp.82-88
• /
• 2008

This paper describes an application of sliding mode control to an active magnetic bearing(AMB) system. A sliding mode control is robust to model uncertainties and external disturbances. To ensure the authority of sliding mode control, model parameter uncertainties caused from linearization of electro-magnetic attractive force are analyzed and a domain of parameter uncertainties in which reachability to sliding surface is guaranteed is derived. The validity of the analysis is illustrated along with some simulation examples.

• 제어로봇시스템학회논문지
• /
• 제14권3호
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• 한국정보통신학회논문지
• /
• 제14권11호
• /
• pp.2463-2470
• /
• 2010

실시간으로 특정 대상의 위치를 추적하는 것은 특히 u-헬스 서비스에 있어서는 이용자가 자율적인 통제가 어려운 상황에 처할 수 있음에 따라 중요하게 요구되는 사항이다. 지금까지 위치를 인식하는 대표적 방법으로 삼각측량법이 제시되어 왔는데, 이는 세 개의 고정된 기준점에 의하여 대상노드와의 거리를 측량하여 위치를 추정하는 방법이다. 그러나 특히 u-헬스 서비스에서 이용자는 위치인식을 위한 기준 수신장치로부터 멀어지거나 또는 수신장치의 장애, 고장, 부재 등과 같은 통신 도달성이 결여된 여건에 처할 수 있다. 본 논문에서는 이러한 특수한 여건이나 상황에 적용 가능한 위치인식 방안과 이를 실시간으로 추적할 수 있는 방법을 연구하여 제시한다.

• 한국통신학회논문지
• /
• 제41권12호
• /
• pp.1780-1792
• /
• 2016

본 논문에서는 높은 접근성과 에너지 효율을 갖는 계수기반 브로드캐스팅 기법을 제안한다. 이를 위해 더 넓은 영역을 추가로 커버할 수 있는 노드가 리브로드캐스팅을 수행할 수 있도록, 두 노드로부터 동일한 브로드캐스팅 메시지를 수신 받은 노드가 자신이 리브로드캐스팅 시 얻을 수 있는 추가적인 커버리지를 계산하는 방법을 제안한다. 계산된 추가적인 커버리지 정보와 거리정보, 밀집도 정보, 배터리 잔량 정보를 통해 임의의 접속 지연(RAD)을 결정하는 수식을 제안하였고, 밀집도 정보와 배터리 잔량 정보를 통해 계수 임계값 ($C_{th}$)을 결정하는 수식을 제안한다. 시뮬레이션 성능평가를 통해 기존에 제안된 계수기반 브로드캐스팅 기법들과 성능비교를 통해 제안하는 알고리즘의 성능을 평가한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권4호
• /
• pp.353-369
• /
• 2018

This study started with the following questions. Suppose that students do not accept various forms of geometric series tasks as the same task. Also, let's say that the approach was different for each task. Then, when they realize that they are the same task, how will students connect the different approaches? This study is a process of pro-actively confirming whether or not such a question can be made. For this purpose, three students in the second grade of high school participated in the teaching experiment. The results of this study are as follows. It also confirmed how the students think about the various types of tasks in the geometric series. For example, students have stated that the value is 1 in a series type of task. However, in the case of the 0.999... type of task, the value is expressed as less than 1. At this time, we examined only mathematical expressions of students approaching each task. The problem of reachability was not encountered because the task represented by the series symbol approaches the problem solved by procedural calculation. However, in the 0.999... type of task, a variety of expressions were observed that revealed problems with reachability. The analysis of students' expressions related to geometric series can provide important information for infinite concepts and limit conceptual research. The problems of this study may be discussed through related studies. Perhaps more advanced research may be based on the results of this study. Through these discussions, I expect that the contents of infinity in the school field will not be forced unilaterally because there is no mathematical error, but it will be an opportunity for students to think about the learning method in a natural way.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.384-387
• /
• 1999

In this paper, we have proposed a testing methodology for Speed-Independent asynchronous control circuits using the self-checking property where the circuit detects certain classes of faults during normal operation. To exploit self-checking properties of Speed-Independent circuits, the Proposed methodology generates tests from the specification of the target circuit which describes the behavior of the circuit. The generated tests are applied to a fault-free and a faulty circuit, and target faults can be detected by the comparison of the outputs of the both circuits. For the purpose of efficient comparison, reachability information of the both circuits in the form of BDD's is used and operations are conducted by BDD manipulations. The identification for undetectable faults in testing is also used to increase efficiency of the proposed methodology. The proposed identification uses only topological information of the target circuit and reachability information of the good circuit which was generated in the course of preprocess. Experimental results show that high fault coverage is obtained for synthesized Speed-Independent circuits and the use of the identification process decreases the number of tests and execution time.

• 전자공학회논문지SC
• /
• 제45권4호
• /
• pp.1-10
• /
• 2008

본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 먼저 비동기 순차 머신을 위한 교정 제어 시스템의 형태와 동작 원리를 설명하고 비결정 모델의 표현 방법을 제안한다 또한 교정 제어기 존재 조건을 표현하기 위해서 비동기 순차 머신과 비결정적 모델에 대한 도달가능성을 분석하고 예제를 통해서 분석 방법을 검증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

• 대한수학회지
• /
• 제50권1호
• /
• pp.17-39
• /
• 2013

The study of nonlinear discrete-time control dynamical systems with disturbance is an important topic in control theory. In this paper, we concentrate our efforts to multiple valued iterative dynamical systems, which model the nonlinear discrete-time control dynamical systems with disturbance. After establishing the validity of such modeling, we study the invariant set theory of the multiple valued iterative dynamical systems, including the controllability/reachablity problems of the maximal invariant sets.