• 시스템엔지니어링학술지
• /
• 제17권2호
• /
• pp.37-48
• /
• 2021

Improving the plant protection system against unforeseen changes/transients during operation is essential to maintain plant safety. Under this condition, it requires rapid and accurate signal processing. The use of an Intellectual Property (IP) core for floating point calculations for Safety Critical MMIS can make numerical computations easier and more precise, improving system accuracy. It can represent and manipulate rational numbers as well as a much broader range of values with dynamic range in nuclear power plant. Systems engineering approach (SE) is used through the development process, it helps to reduce complexity and avoid omissions and invalid assumptions as delivers a better understanding of the stakeholders needs. For the implementation on the FPGA target board, the 32-bit floating-point arithmetic with IEEE-754 standards has designed using Simulink model in Matlab for all operations of addition, subtraction, multiplication and division and VHDL code generated.

• 호남수학학술지
• /
• 제27권4호
• /
• pp.609-619
• /
• 2005

We are concerned with the multiplicity of solutions of the nonlinear elliptic equation with Dirichlet boundary condition. We reveal the existence of m solutions of the nonlinear elliptic equation by a critical point theory, under some condition.

• Korean Journal of Mathematics
• /
• 제17권3호
• /
• pp.331-340
• /
• 2009

We show the existence of nonconstant periodic solution for the nonlinear Hamiltonian systems with some nonlinearity. We approach the variational method. We use the critical point theory and the variational linking theory for strongly indefinite functional.

• 대한수학회지
• /
• 제45권2호
• /
• pp.405-423
• /
• 2008

By using critical point theorem, we study a higher order difference system, and obtain some new sufficient conditions ensuring the existence of periodic solutions for such a system.

• Proceedings of the Jangjeon Mathematical Society
• /
• 제20권2호
• /
• pp.183-191
• /
• 2017

We get one theorem that there exist solutions for the fourth order semi- linear elliptic Dirichlet boundary value problem with fully nonlinear term. We prove this result by the critical point theory and the variation of linking method.

• Korean Journal of Mathematics
• /
• 제17권4호
• /
• pp.461-471
• /
• 2009

Let ${\Omega}$ be a bounded subset of $R^n$ with smooth boundary and H be a Sobolev space $W_0^{1,2}({\Omega})$. Let $I{\in}C^{1,1}$ be a strongly definite functional defined on a Hilbert space H. We investigate the conditions on which the functional I satisfies the Palais-Smale condition. Palais-Smale condition is important for determining the critical points for I by applying the critical point theory.

• 대한화학회지
• /
• 제45권4호
• /
• pp.293-297
• /
• 2001

문헌에 보고된 삼중점과 임계점간 기존의 파라수소 증기압 측정값을 이용하여 환원증기압과 환원온도 형태의 아래와 같은 식의 지수와 상수를 구하는데 사용하였다. $lnP_r=2.64-{\frac{2.75}{T_r}}+1.48129lnT_r+0.11T^5_r$ 증기압을 계산하기 위해서 필요한 것은 정상 끓는점($T_b$= 20.268K), 임계압력($P_c$= 1292.81 kPa) 및 임계온도($T_c$= 32.976K)뿐이며 153개 파라수소의 증기압 실험자료에 적용하여 본 결과 전체 평균편차가 0.21% 였다.

• 한국산학기술학회논문지
• /
• 제13권8호
• /
• pp.3578-3585
• /
• 2012

유탕면류의 HACCP(Hazard Analysis Critical Control Point) 시스템 구축을 위하여 유탕 공정-CCP(Critical Control Point)에 대한 미생물학적(Biological hazards)과 화학적(Chemical hazards) 한계 기준 설정을 위한 목적으로 수행하였으며, 경기도 이천 소재의 P사에서 실행하였다. 유탕공정은 각각의 시간과 온도 측정에 따라 미생물학적, 화학적 위해요소를 제거하거나 감소에 대해 실험하였다. 실험결과 Standard plate count와 식중독균은 유탕공정(Temperature : $145{\pm}10^{\circ}C$, Time : $75{\pm}30$ sec)에 의해 검출되지 않았다. 유탕공정에 의해 생성되는 화학적 위해 기준의 산가는 법적 기준치인 0.6보다 낮은 0.2 이하였다. 증숙실과 유탕실의 공중낙하균을 측정한 결과 3 CFU/mL, 3 CFU/mL 검출되었다. 따라서 유탕공정의 CCP-BC는 일반세균과 식중독균, 산화생성물 생성을 예방, 제거하는데 좋은 대안책이 될 것이다. 결론적으로 HACCP을 위해 유탕공정에 대한 한계기준설정, 모니터링방법, 개선조치, 검증방법, 교육, 기록관리가 필요하다고 생각된다.

• Journal of applied mathematics & informatics
• /
• 제10권1_2호
• /
• pp.17-26
• /
• 2002

A stability analysis of a non-linear prey-predator system under the influence of one dimensional diffusion has been investigated to determine the nature of the bifurcation point of the system. The non-linear bifurcation analysis determining the steady state solution beyond the critical point enables us to determine characteristic features of the spatial inhomogeneous pattern arising out of the bifurcation of the state of the system.

• Journal of applied mathematics & informatics
• /
• 제36권5_6호
• /
• pp.491-504
• /
• 2018

In this article, we consider a fourth order nonlinear difference system. By making use of the critical point theory, we obtain some new existence theorems of at least one periodic solution with minimal period. Our main approach used in this article is the variational technique and the Saddle Point Theorem.