• Journal of the Korean Data and Information Science Society
• /
• v.20 no.6
• /
• pp.1015-1027
• /
• 2009

Many problems of confounding and identifiability for polynomial models in an experimental design can be solved using methods of algebraic geometry. The theory of $Gr\ddot{o}bner$ basis is used to characterize the design. In addition, a fractional factorial design can be uniquely represented by a polynomial indicator function. $Gr\ddot{o}bner$ bases and indicator functions are powerful computational tools to deal with ideals of fractions based on each different theoretical aspects. The problem posed here is to give how to move from one representation to the other. For a given fractional factorial design, the indicator function can be computed from the generating equations in the $Gr\ddot{o}bner$ basis. The theory is tested using some fractional factorial designs aided by a modern computational algebra package CoCoA.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.2 no.4
• /
• pp.217-223
• /
• 1998

본 논문에서는 원형연단이 단순지지 되어 있을 때 단순과 자유의 방사연단 조건을 갖는 부채꼴형 평판의 휨진동에 대한 엄밀한 해석방법을 제시한다. Ritz방법을 이용하여 수직진동변위를 두가지 적합 함수식으로 가정하였다. 이러한 두가지의 적합 함수식은 (1) 수학적으로 완전한 대수삼각다항함수와, (2) 둔각 모서리에서의 휨모멘트 특이도를 고려하는 모서리함수로 구성되어있다. 본 연구에서는 방사연단의 둔각 모서리를 이루는 부채꼴형 각도의 범위에 따른 엄밀한 진동수 및 수직진동 변위의 전형적인 등고선을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.91-93
• /
• 2004

정확한 $\pi$값의 계산은 자연과학의 여러 분야에 도움을 준다 이와 같이 $\pi$값을 계산하는 여러 가지 방법이 제안되어 있으며 널리 사용되고 있으나, 본 논문에서는 MPI 라이브러리를 활용한 $\pi$값 계산의 병렬화 알고리즘을 소개한다. tan$^{-1}$($\chi$)의 정의를 이용하는 $\pi$값 계산 방법은 다항식의 계산과정에서 각 항(term)들의 종속성으로 인하여 병렬화 수행이 힘든 단점이 있다. 본 논문에서는 tan$^{-1}$($\chi$)를 맥클로린 수열(Maclaurin Series)을 통하여 다항함수로 표현하고, 병렬화 수행에 적합한 적분형태로 변형한다. 따라서. MPI 환경에서 수행하기 적합한 $\pi$값 계산의 병렬화 알고리즘을 제안하고 8노드 클러스터 환경에서 성능을 비교해본다. 또한, 직렬화된 방법에 대한 성능향상(speedup)을 측정한다.

• Journal of the Korean School Mathematics Society
• /
• v.25 no.1
• /
• pp.39-60
• /
• 2022

In this study, in order to support the expression of group creativity of high school students, we developed mathematics learning contents linked with mobile and online/offline that obtain the maximum and minimum values of the function within a limited range. This learning content was developed in connection with the 'environment', a cross-curricular learning topic. We explored the concept of group creativity in school mathematics. Its manifestation process, elements of group creativity expression process, and mobile and on/offline implementation functions were also explored. Then, we developed a hybrid app, 'Making the Best Box that Thinks of the Earth', which can express group creativity through mobile and online/offline-linked cooperative learning. A learning management system (LMS) and a teaching and learning guidance plan were also developed to efficiently operate mobile and online/offline-linked math learning using the app in schools. Our study found that the hybrid app, 'Creating the Best Box that Thinks of the Earth', was suitable for promoting collective fluency and collective sophistication based on complementary-metacognitive interaction.

• Tunnel and Underground Space
• /
• v.31 no.6
• /
• pp.480-493
• /
• 2021

Since the generalized Hoek-Brown criterion (GHB) provides an efficient way of identifying its strength parameter values with the consideration of in-situ rock mass condition via Geological Strength Index (GSI), this criterion is recognized as one of the standard rock mass failure criteria in rock mechanics community. However, the nonlinear form of the GHB criterion makes its mathematical treatment inconvenient and limits the scope of its application. As an effort to overcome this disadvantage of the GHB criterion, the explicit approximate analytical equations for the minimum principal stress, which is associated with the maximum principal stress at failure, are formulated based on the Taylor polynomial approximation of the original GHB criterion. The accuracy of the derived approximate formula for the minimum principal stress is verified by comparing the resulting approximate minimum principal stress with the numerically calculated exact values. To provide an application example of the approximate formulation, the equivalent friction angle and cohesion for the expected plastic zone around a circular tunnel in a GHB rock mass are calculated by incorporating the formula for the approximate minimum principal stress. It is found that the simultaneous consideration of the values of mi, GSI and far-field stress is important for the accurate calculation of equivalent Mohr-Coulomb parameter values of the plastic zone.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.3B
• /
• pp.266-272
• /
• 2001

본 논문에서는 지한 탐사용 레이더를 이용한 특정 산란체의 간단한 탐지 방법을 제안하였다. 기본 원리는 매설된 특정 산란체를 기준으로 하여 몇 가지 크기와 모양 및 전기적 특성이 유사한 산란체들로부터 발생되는 산란신호의 차이를 상관함수(correlation function)을 이용하여 탐지하는 것이다. 산란체가 매설된 지하매질로는 레이더의 동작 주파수에 다른 분산과 손실 등의 전기적 특성 변화를 시뮬레이션에 반영하기 위하여 다항 Debye 모델이 사용되었다. 지상 및 지하 매질에서의 3차원 전파(電波) 전파(傳播) 시뮬레이션을 위한 EDTD 방법을 사용하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• pp.539-542
• /
• 2004

배낭 문제는 조합 최적화 문제로서, 다항 시간(polynomial time)에 풀리지 않는 NP-hard 문제이다 이 문제를 해결하기 위해 기존에는 DNA 컴퓨팅 기법과 GA 등을 사용하여 해결하였다. 하지만 기존의 방법들은 DNA의 정확한 특성을 고려하지 않아, 실제 실험과의 결과 차이가 발생하고 있다. 본 논문에서는 DNA 컴퓨팅 실험 과정에서 발생하는 DNA 조작 오류를 최소화하고, 보다 정확한 예측을 위해 함수 언어인 Haskell을 이용한 코드 최적화 DNA-Haskell을 제안한다. 코드 최적화 DNA-Haskell은 배낭 문제 중 (0,1)-배낭 문제에 적용하였고, 그 결과 기존의 DNA 컴퓨팅 방법보다 실험적 오류를 최소화하였으며, 또한 적합한 해를 빠른 시간 내에 찾을 수 있었다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.5
• /
• pp.345-353
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do parameter inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision to market software, the conditional failure rate is an important variables. In this case, finite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of polynomial hazard function.

• Review of KIISC
• /
• v.34 no.2
• /
• pp.49-55
• /
• 2024

고전 컴퓨터에서 풀기 어려운 난제를 효율적으로 모델링하고 해결할 수 있는 양자 컴퓨터는 현재암호들을 위협하고 있다. 특히, 공개키 암호에 해당하는 RSA와 Elliptic Curve Cryptography (ECC)는 Shor의 양자 알고리즘에 의해 해당 암호들의 안전성이 기반이 되는 난제들을 다항 시간 내에 해결하여 새로운 양자 내성 암호가 필요한 상황이다. 이에 NIST는 양자내성암호 표준화 공모전을 주최함으로써 현재까지 표준화 작업을 이어나가고 있다. 대칭키 암호의 경우, Grover의양자 검색 알고리즘에 의해 고전 컴퓨터상에서 보장하던 보안 강도가 제곱근으로 감소되게 된다. 기존, 신규 암호 알고리즘 모두 양자 컴퓨터상에서의 보안 강도를 평가해야 되는 상황이며, 이에 NIST는 양자 후 보안 강도 기준을 도입하였다. 양자 후 보안 강도는 레벨 1에서 5로 정의되며, 각 레벨에는 AES 및 SHA-2/3에 대한 양자 해킹 비용이 지정되어있다. 본 논문에서는 이러한 암호 학계 상황에 따라, 대칭키 AES 및 해시 함수 SHA-2/3에 대한 해킹, 특히 양자 회로 구현 동향에 대해 살펴보고자 한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.10
• /
• pp.562-574
• /
• 2004

We address the problem of energy-optimal voltage scheduling for fixed-priority hard real-time systems. First, we prove that the problem is NP-hard. Then, we present a fully polynomial time approximation scheme (FPTAS) for the problem. for any $\varepsilon$>0, the proposed approximation scheme computes a voltage schedule whose energy consumption is at most (1+$\varepsilon$) times that of the optimal voltage schedule. Furthermore, the running time of the proposed approximation scheme is bounded by a polynomial function of the number of input jobs and 1/$\varepsilon$. Experimental results show that the approximation scheme finds more efficient voltage schedules faster than the best existing heuristic.