• 한국통신학회논문지
• /
• 제35권7A호
• /
• pp.697-705
• /
• 2010

WSN에서의 커버리지 문제는 센싱 커버리지에 대한 요구조건을 만족시키기 위해 필요한 최소한의 활동 센서(active sensor)의 개수로 공식화될 수 있다. 일반적으로 확률적 기하학을 이용하여 WSN의 커버리지 분석을 수행하기 때문에 센싱 모델이 커버리지 분석의 핵심 요소로 간주된다. 따라서, 커버리지 분석의 정확도는 어떠한 센싱 모델을 가정하였느냐에 따라 달라질 수 있으며 분석에 사용된 센싱 모델이 얼마나 실 센싱 환경에 가깝게 특성화 되었느냐에 따라 달라진다. 본 논문에서는 Boolean 모델, Exponential 모델, Hybrid 모델 등 다양한 형태의 결정적 혹은 확률적 센싱 모델들을 조사하고 각각의 센싱 모델에 따라 일정 영역을 센싱할 수 있는 최소한의 센서 개수를 도출할 수 있는 수리적 분석을 수행하였으며 이를 통해 성능을 비교 평가하였다.

• 한국문헌정보학회지
• /
• 제21권
• /
• pp.225-248
• /
• 1991

The paper suggests newly conceptualized information retrieval system on the notion of citation analysis. The paper also criticizes the traditional information retrieval techniques using Boolean logic. The underlying assumption of this paper is that any pair of papers cited by one paper could be strongly related each other in meaning (Co-citation Analysis). And also any two papers to share same references could be similar each other (Bibliographic Coupling), By using graph algorithm, the networks of two kinds of the papers (the citing group, the cited group) is made in the fields of the genetics and the information and library science. The results say that the maps or networks for cited and citing groups can be useful when applied to the paper set made by the broad searching by subjects or keywords.

• 정보과학회지
• /
• 제5권1호
• /
• pp.42-49
• /
• 1987

Digital 回路에서의 고장을 검출하기 위해서는 적당한 信號를 入力단자에 加하여 出力端子에서 그 異狀有無를 判別하게 되는데 이때 印加되는 信號 즉 test pattern의 數는 組合論理回路인 경우 入力變數가 n이라 할때 그 최대값은 2n 이 된다. 따라서 入力變數가 증가함에 따라 test pattern의 數는 급격히 증가하게 된다. 고장검출을 용이하게 하기 위해서는 가능한 한 最小의 test가 필요하게 된 다. 이 test pattern을 生成하는 방법에는 pandom test pattern生成法 등의 확율논 적인 方法[9], 一次元經路活性化法[6] Boolean Difference등과 같은 해석적인 방법 [7], D-Algorithm등과 같은 방법[4] 등이 있다. 또 Berger등은 分岐가 존재하지 않을 때, test pattern의 下限値를 정해주었으며 [6], 또 單一故障일 경우의 fault locating test를, 故障表를 사용하지 않고 그래프적인 方法으로 회로구조로 부터 직접 구하였다. [6].

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.385-388
• /
• 2000

The computation of a terminal-pair reliability is started with a Boolean sum of products expression corresponding to simple paths of the pair of nodes. This expression is then transformed into another equivalent expression to be a Sum of Disjoint Products form. The terminal reliability can then be obtained in a straightforward manner from the Sum of Disjoint Products form. In this paper, we proposed an efficient method to obtain reliability expressions for calculating multiple K terminal-pairs reliability between terminal-pairs of nodes of computers of complex networks. Actual programming results show that the new method is superior with regard to computational efficiency, especially for computing the reliability of multiple terminals.

• 한국지능시스템학회논문지
• /
• 제14권2호
• /
• pp.216-221
• /
• 2004

This paper describes an optimal synthesis method of binary neural network for pattern recognition. Our objective is to minimize the number of connections and the number of neurons in hidden layer by using a Newly Expanded and Truncated Learning Algorithm (NETLA) for the multilayered neural networks. The synthesis method in NETLA uses the Expanded Sum of Product (ESP) of the boolean expressions and is based on the multilayer perceptron. It has an ability to optimize a given binary neural network in the binary space without any iterative learning as the conventional Error Back Propagation (EBP) algorithm. Furthermore, NETLA can reduce the number of the required neurons in hidden layer and the number of connections. Therefore, this learning algorithm can speed up training for the pattern recognition problems. The superiority of NETLA to other learning algorithms is demonstrated by an practical application to the approximation problem of a circular region.

• 충청수학회지
• /
• 제28권2호
• /
• pp.331-343
• /
• 2015

Invertible transformations over n-bit words are essential ingredients in many cryptographic constructions. When n is large such invertible transformations are usually represented as a composition of simpler operations such as linear functions, S-P networks, Feistel structures and T-functions. Among them we study T-functions which are probably invertible transformations and are very useful in stream ciphers. In this paper we study the number of single cycle T-functions satisfying some conditions and characterize single cycle T-functions on $(\mathbb{Z}_2)^n$ generated by some elements in $(\mathbb{Z}_2)^{n-1}$.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제8권4호
• /
• pp.181-192
• /
• 2008

In this paper, we proposed effective algorithm that do Availability of communication network account using total probability formula. Use path tracing method about PSTN linked with MSC in WCDMA considering occasion that do not consider mobility of terminal and Availability did account. First, express minimum path series gathering by structure function after network that do modeling by stochastic graph for communication network saves all minimal path sets between particular two abutments and we gain Availability value in angular variable after express structure function by Boolean operation form and Availability between two abutments did account.

• 대한전자공학회논문지
• /
• 제5권4호
• /
• pp.1-8
• /
• 1968

TANT회로라함은 진입력만을 NAND게이트만으로 구성되는 3단회로를 말한다. 본논문에서는 임의의 Boole함수에 대한 최소수게이트의 TANT회로를 발견하는 방법을 제시한 것이다. 합성절차의 첫 단계는 Quine-McCluskey의 절차 또는 기타방법에 의하여 essential prime implicants(EPI)를 정하고 채　두년산법을 적용하여 EPI와 동일한 두부를 갖는 prime implicants(PI)를 유도하는 것이다. 두째 단계로 동일한 두부를 갖는 EPI 및 PI를 통합하고 유용한 미부요소를 발생시키는 것이다. 그 다음에 이들 미부요소중에서 공통요소를 선정하는데 이 단계는 C-C표를 이용하는 것과 상통한 점이 있다. 마지막 단계로 용장한 PI를 삭제함으로써 입력수를 줄이는 것이다. 이 방법에 의하면 입력수가 5 및 6의 경우에는 수동적으로 용이하게 해를 얻을 수 있다.

• 한국정보처리학회논문지
• /
• 제3권2호
• /
• pp.381-389
• /
• 1996

본 논문은 신경망에서 불필요한 연결자(weights and biases)를 제거하기 위한 일반적인 back-propagation 알고리즘의 간단한 변형을 소개한다. 이는 연결자들의 절대치 크기의 분포, 분할 경계선의 분석 및 sigmoid 함수의 비선형성에 기초하여 개발되었다. 신경망의 초기 학습 후, 이 알고리즘은 그 절대치의 크기가 임계치 (threshold) 보다 적은 모든 연결자들의 값을 영으로 할당 함으로서 이들을 제거하게 된다. 그런후, 중요한 연결자들의 복구를 위해 모든 연결자들을 포함하여 반복 학습을 실시한다. 이진함수 들을 이용한 학습에서, 이 알고리즘은 이론적 최소 구조를 실현하 였고, 함수를 푸는데 불필요한 연결자들을 제거하였다. 모의 랜덤 신호 분류에 응용에 있어서, 본 알고리즘으로 부터 얻어낸 결과는 쉬운 문제가 간단한 신경망을 필요로 하며 낮은 오분류율을 발생한다는 일반적인 개념과 일치 하였다. 또한, 본 제안된 알고리즘 은 overfitting과 형태소 (patterm) 암기의 문제점들을 줄임으로서 기존의 알고리즘보 다 더 좋은 결과를 보여주었다.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.11-18
• /
• 2005

본 논문에서는 시간제약 조건하에서 면적을 고려한 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 EDIF나 부울식의 불린 네트워크에서 궤환을 검출한 후 궤환이 있는 변수를 임시 입력 변수로 분리하여 DAG로 표현한 후 노드를 검색한 후 팬 아웃 프리 트리로 재구성한다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 결정하여 매핑 가능 클러스터를 구성한다. 콜랍싱(collapsing)을 통해 노드들을 병합하고, 주어진 소자의 CLB안에 빈 패킹(Bin packing)를 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 DDMAP에 비해 $62.6\%$의 논리블록의 수가 감소되었고, TEMPLA에 비해 $17.6\%$ 감소되었다.