• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.1
• /
• pp.71-77
• /
• 2004

It was proved that Hen is an algebraic ,elation of degree [n(l+1]/2] for an (n, 1)-combine. which consists of n LFSRs and l memory bits. For the summation generator with $2^k$ LFSRs which uses k memory bits, we show that there is a non-trivial relation of degree at most $2^k$ using k+1 consecutive outputs. In general, for the summation generator with n LFSRs, we can construct a non-trivial algebraic relation of degree at most 2$^{{2^{[${log}_2$}n]}}$ using [${log}_2$＋1 consecutive outputs.

• Journal of Advanced Navigation Technology
• /
• v.11 no.4
• /
• pp.447-453
• /
• 2007

In this letter, we derive the Gallager random coding bound for discrete memoryless channels purely by simple manipulations of algebraic inequalities rather than invoking conceptually difficult random coding arguments. Gallager random coding bound is a very useful tool in information and coding theory due to its applicability to situations in which it is difficult to determine the decision regions and due to the fact that it can be used to derive the channel coding theorem. The readers will find it relatively easy to apply to many practical problems of interest the step-by-step algebraic derivations of the Gallager random coding bound with appropriate modifications.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.11-17
• /
• 2015

Although systems with finite capacities have been the topic of much study, there are as of yet no analytic expressions for (higher) moment and tail probability of stationary waiting times in systems with even constant processing times. The normal queueing theory cannot properly handle such systems due to the difficulties caused by finite capacity. In this study, for a DBR (Drum-Buffer-Rope) line production system with constant processing times, we introduce analytic expressions by using previous results obtained using a max-plus algebraic approach.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.82-82
• /
• 2015

해안 대수층은 해수와 담수가 공존하는 지역으로 상대적으로 밀도가 큰 해수가 대수층의 담수 아래에 쐐기형태로 존재하게 된다. 이러한 쐐기형태의 해수와 담수의 경계면은 압력경도의 평형에 의해 경계면이 유지되며, 해수면 또는 지하수위가 변동할 경우 해수-담수 경계면의 균형이 무너짐과 더불어 압력경도의 평행이 이루어질 때 까지 해수-담수 경계면의 이동이 계속 진행된다. 수위 변화의 주요 원인으로는 지구온난화 및 기후변화로 인한 지속적인 해수면 상승과 도서지역의 인구증가 및 산업화로 인한 무분별한 지하수의 사용 등에 의한 지하수위 저하 등을 꼽을 수 있다. 이와 같은 원인으로 해안 및 도서지역에서는 해안 대수층의 해수침투거리가 증가하여 지하수 이용에 큰 어려움을 겪고 있다. 이에 해안 대수층의 해수침투 범위 및 거리를 추정하기 위한 많은 연구들이 다양한 분야에서 지속해서 이루어지고 있지만, 서로 밀도가 다른 해수와 담수가 공존하는 해안 대수층 내의 수리특성을 명확히 파악하기에는 아직까지 미흡한 점들이 많다. 과거에는 Darcy의 법칙 및 Ghyben-Herzberg 식에 근거한 이론적인 연구들이 주로 이루어졌고, 근래에 현장관측이나 수리모형실험이 국내 외적으로 수행되고 있으나, 모든 영역의 지하수의 특성을 조사하는 것이 사실상 불가능하다. 이에 최근에는 컴퓨터 성능의 비약적인 발전과 더불어 다양한 수치해석방법에 의한 수치모델들이 개발되어 시뮬레이션에 적용되고 있다. 하지만 거의 대부분의 수치모델은 해안 대수층 수리특성을 투수계수에 의존하고 있을 뿐, 대수층 내부의 해수-담수에 의한 밀도류의 유동특성을 전혀 고려하지 못한 채 정수압에 근거한 해수-담수 경계면에 대해 모의하고 있는 정도이다. 따라서 본 연구에서는 해안 대수층 내부의 유동현상을 투수계수에 의존하는 방법에서 탈피하여 대수층 매체의 입경, 공극, 형상 등을 고려할 수 있을 뿐만 아니라, 염분 및 온도차에 의한 밀도류를 해석할 수 있는 강비선형 수치모델을 개발하여 해수침투 현상을 직접 모의한다. 나아가 대부분의 이전 연구들에서 간과하고 있는 해안지역의 대표적 물리력인 파랑과 조석의 영향이 해안 대수층의 해수침투에 미치는 영향, 해안 대수층의 지하수위 및 해수면의 수위차에 의한 해수침투 특성 그리고 이를 제어 할 수 있는 새로운 대응기술을 제안하는 것을 목적으로 한다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.13 no.6
• /
• pp.20-23
• /
• 1976

A boolean algebra method for computing the reliability in a communication network is prosented. Given the set of all simple paths between two nodes in a network, the terminal reliability can be symbolically computed by the Boolean operation which is named parallel operation. The method seems to be promising for both oriented and nonoriented network.

• Journal of the Korea Computer Industry Society
• /
• v.8 no.4
• /
• pp.229-236
• /
• 2007

A factored form is a sum of products of sums of products, ..., of arbitrary depth. Factoring is the process of deriving a parenthesized form with the smallest number of literals from a two-level form of a logic expression. The factored form is not unique and described as either algebraic or Boolean. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube Boolean subexpressions from given two-level logic expression and to extract divisor/quotient pairs. Then, we derive extended divisor/quotient pairs, where their quotients are not cube-free, from the generated divisor/quotients pairs. We generate quotient/quotient pairs from divisor/quotient pairs and extended divisor/quotient pairs. Using the pairs, we make a matrix to generate Boolean factored form based on a technique of rectangle covering.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.1
• /
• pp.65-72
• /
• 2012

Generally, a logic function has many factored forms. The problem of finding more compact factored form is one of the basic operations in logic synthesis. In this paper, we present a new method for factoring Boolean functions to assist in educational logic designs. Our method for factorization is to implement two-cube Boolean division with supports of an expression. The number of literals in a factored form is a good estimate of the complexity of a logic function. Our empirical evaluation shows the improvements in literal counts over previous other factorization methods.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.4 no.3
• /
• pp.697-703
• /
• 2000

As device dimensions are lastly scaled down, impact ionization(I.I.) events are very important to analyze hot carrier transport in high energy region, and the exact model of impact ionization is demanded on device simulation. We calculate full band model by empirical pseudopotential method and the impact ionization rate is derived from modified Keldysh formula. We calculate impact ionization coefficients by full band Monte Carlo simulator to investigate temperature dependent characteristics of impact ionization for GaAs as a function of field. Resultly impact ionization coefficients are in good agreement with experimental values at look. We how energy is increasing along increasing the field, while energy is decreasing along increasing the temperature since the phonon scattering rates for emission mode are very high at high temperature. The logarithmic fitting function of impact ionization coefficients is described as a second orders function of temperature and field. The residuals of the logarithmic fitting function are mostly within 5%. We Dow, therefore, the logarithm of impact ionization coefficients has quadratic dependence on temperature, and we can save time of calculating the temperature dependent impact ionization coefncients as a function of field.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.119-129
• /
• 2019

Although line production systems with finite buffers have been studied over several decades, except for some special cases there are no explicit expressions for system performances such as waiting times(or response time) and blocking probability. Recently, a max-plus algebraic approach for buffer-sharing systems with constant processing times was introduced and it can lead to analytic expressions for (higher) moment and tail probability of stationary waiting. Theoretically this approach can be applied to general processing times, but it cannot give a proper way for computing performance measures. To this end, in this study we developed simulation models using @RISK software and the expressions derived from max-plus algebra, and computed and compared blocking probability, waiting time (or response time) with respect to two blocking policies: communication(BBS: Blocking Before Service) and production(BAS: Blocking After Service). Moreover, an optimization problem which determines the minimum shared-buffer capacity satisfying a predetermined QoS(quality of service) is also considered.

• Journal of Gifted/Talented Education
• /
• v.26 no.1
• /
• pp.211-230
• /
• 2016

The study aimed to investigate the characteristics of algebraic thinking of the mathematically gifted students and search for how to teach algebraic thinking. Research subjects in this study included 93 students who applied for a science gifted education center affiliated with a university in 2015 and previously experienced gifted education. Students' responses on an algebraic item of a creative thinking test in mathematics, which was given as screening process for admission were collected as data. A framework of algebraic thinking factors were extracted from literature review and utilized for data analysis. It was found that students showed difficulty in quantitative reasoning between two quantities and tendency to find solutions regarding equations as problem solving tools. In this process, students tended to concentrate variables on unknown place holders and to had difficulty understanding various meanings of variables. Some of students generated errors about algebraic concepts. In conclusions, it is recommended that functional thinking including such as generalizing and reasoning the relation among changing quantities is extended, procedural as well as structural aspects of algebraic expressions are emphasized, various situations to learn variables are given, and activities constructing variables on their own are strengthened for improving gifted students' learning and teaching algebra.