• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.193-197
• /
• 2000

웹 기반 교육은 웹을 수단으로 하여 지식을 생성조직전파하는 새로운 교육방식이다. 웹이라는 거대한 정보기반과 인터넷이 제공하는 시간과 공간을 초월하여 이루어지는 상호작용성은 교육에 활용한다면 기존의 면대면 교육에서 부족했던 점을 보완할 수있다. 독립형 컴퓨터를 기반으로 하는 멀티미디어 코스웨어는 많이 있으나 그것을 웹에 적용한 것은 아직까지 드물다. 본 논문에서는 먼저 웹 기반 교수-학습에 대하여 고찰한 다음 웹에서 실행되는 대수 학습을 위한 웹 기반 코스웨어의 설계 구현한후 평가하여 그 결과를 교육현장에 활용하고자 한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.10a
• /
• pp.244-248
• /
• 2001

A solid modeller was developed in this paper. Representation scheme of modelling is nonmanifold B-rep. While many B-rep modelers use edges as basic element of modelling, this modeller is triangle-based. New modelling element, split triangle that is composed of 3 pure half-edges and has no information about the adjoining triangles, was defined to enlarge the range of representation. Corresponding algorithms for Boolean set operations were also developed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.616-618
• /
• 2004

기존의 멀티캐스트는 하나의 그룹 주소를 갖고 그 주소를 통해 여러 멤버 노드로의 데이터 송수신을 지원한다. 하지만 서로 연관된 많은 멀티캐스트 그룹이 존재 시 송신자의 각 그룹 관리가 힘들어지고, 노드의 잦은 멀티캐스트 그룹간 참가 및 탈퇴로 인해 지연시간이 생긴다. 또한 멀티캐스트 라우팅 테이블 유지에 많은 자원을 사용한다. 이에 서로 연관된 멀티캐스트 그룹간 불리언 연산을 통해 더 유연성 있는 운용을 가능하게 하는 기법을 제시하고 그에 따른 문제점과 해결방안을 살펴본다.

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.849-856
• /
• 1995

There are some papers on structure theorems for the spaces of matrices over certain semirings. Beasley, Gregory and Pullman [1] obtained characterizations of semiring rank 1 matrices over certain semirings of the nonnegative reals. Beasley and Pullman [2] also obtained the structure theorems of Boolean rank 1 spaces. Since the semiring rank of a matrix differs from the column rank of it in general, we consider a structure theorem for semiring rank in [1] in view of column rank.

• Journal of the Chungcheong Mathematical Society
• /
• v.11 no.1
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• Journal of the Korean Institute of Navigation
• /
• v.6 no.1
• /
• pp.1-18
• /
• 1982

In this paper, author studied on the elementary data required for the design of the receiver of Pseudo Noise (PN) phase modulation communication adopted in Global Positioning System(GPS). By computer simulation technique, the phase modulator, filters, and PN generator are designed, and also required bandwidth of R-F amplifier for carrier frequency in phase modulation system is investigated. It is verified that the optimum bandwidth is about 3 times of the PN frequency and almost independent of the carrier frequency. And the low pass filter required for demodulation of slow Boolean data is also found to be about 60 times of the data signal frequency.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.471-481
• /
• 2004

In this paper we introduce the notion of a (pre-)Coxeter algebra and show that a Coxeter algebra is equivalent to an abelian group all of whose elements have order 2, i.e., a Boolean group. Moreover, we prove that the class of Coxeter algebras and the class of B-algebras of odd order are Smarandache disjoint. Finally, we show that the class of pre-Coxeter algebras and the class of BCK-algebras are Smarandache disjoint.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.7
• /
• pp.844-850
• /
• 1988

In this paper, the implementation of optical parallel boolean logic gates using two Liquid Crystal TVs is described. Based on theory of polarization modulation, two Liquid Crystal TVs are arranged in tandem and parallel to perform optical logic operations. Experimental results of binary image using two Liquid Crystal TVs are presented.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.2
• /
• pp.21-27
• /
• 1994

Linear combination of weighted order statistic(LWOS) filters, which is an extension of stack filters, can represent any Boolean function(BF) or its extension. Which is called the extended BF(EBF). In this paper, we present a procedure for finding an LWOS filter of the simplest type from LWOS filters which are equivalent to a given BF or EBF. In addition, a property that is useful for implementing an LWOS filter is derived and an algorithm for LWOS filtering is presented.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.407-412
• /
• 1987

A large scale programmable controller is developed which adopts a multiprocessor structure. The developed programmable controller consists of the programmer, the system controller, and the input-output unit. The structure and characteristics of the system controller will be described. The PC has a special hardware scheme to solve the Boolean logic instructions of the sequence control programs. The multiprocessor structure and the special hardware enables, the real time operation and the high speed scanning which is prerequisite to the large scale, programmable controller even for many I/O points.