• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.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.

• Honam Mathematical Journal
• /
• v.27 no.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
• /
• v.17 no.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.

• Journal of the Korean Mathematical Society
• /
• v.45 no.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
• /
• v.20 no.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
• /
• v.17 no.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.

• Journal of the Korean Chemical Society
• /
• v.45 no.4
• /
• pp.293-297
• /
• 2001

The existing vapor pressure measurements reported in the literature for parahydrogen between the triple point and the critical point have been employed to establish the constants and exponent of the following equation in the form of reduced vapor pressure and reduced temperature: ln $lnP_r=2.64-{\frac{2.75}{T_r}}+1.48129lnT_r+0.11T^5_r$Only the normal boiling point ($T_b$= 20.268K), the critical pressure ($P_c$= 1292.81 kPa), and the critical temperature ($T_c$= 32.976K) are necessary to calculate the vapor pressure for an overall average deviation of 0.21% for 153 experimental vapor pressure data.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.8
• /
• pp.3578-3585
• /
• 2012

The purpose of this study was to establish the critical limit at CCP (Critical Control Point) of HACCP (Hazard Analysis Critical Control Point) system for instant noodle and it was conducted at P company in Ichen(Gyeonggi-do), Korea. According to the CCP, Fried process were experimented to removal and decrease of microbiological and chemical hazards by measuring of each temperature and times. As a result, the standard plate count and pathogenic microorganism were not detected by fried processing (Temperature : $145{\pm}10^{\circ}C$, Time : $75{\pm}30$ sec). The acid value of chemical hazards produced by fried processing was able to manage, showed lower (0.2) than the legal limit (0.6). Air-borne bacterial examination results detected(3 CFU/mL, 3 CFU/mL) in the Frying Room and Steam Room. Therefore, the CCP-BC of fried process would be a great alternative to prevent and remove hazard analysis, such as general and pathogenic microorganism (E. coli O157:H7, B. cereus, Listeria monocytogenes, Salmonella spp, Sthaph. aureus etc), chemical hazard analysis. In conclusion, it suggested that HACCP plan was necessary for management standard and systematic approach in establishement of critical limit, solving the problem, method of verification, education and records management by fried processing.

• Journal of applied mathematics & informatics
• /
• v.10 no.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
• /
• v.36 no.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.