• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.1031-1038
• /
• 2021

The main aim of this article is to study quantitative structure of finite simple exceptional groups F₄(2ⁿ) with n > 1. Here, we prove that the finite simple exceptional groups F₄(2ⁿ), where 2⁴ⁿ + 1 is a prime number with n > 1 a power of 2, can be uniquely determined by their orders and the set of the number of elements with the same order. In conclusion, we give a positive answer to J. G. Thompson's problem for finite simple exceptional groups F₄(2ⁿ).

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.553-567
• /
• 2023

There are real life situations in our lives where the things are changing continuously or from time to time. It is a very important problem for one whether to continue the existing relationship or to form a new one after some occasions. That is, people, companies, cities, countries, etc. may change their opinion or position rapidly. In this work, we think of the problem of changing relationships from a mathematical point of view and think of an answer. In some sense, we comment these changes as power changes. Our number theoretical model will be based on this idea. Using the convolution sum of the restricted divisor function E, we obtain the answer to this problem.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.5
• /
• pp.127-133
• /
• 2016

In this paper, an intelligent dimming control system is designed and implemented with the human visual response function using CDS sensor, PIR sensor and temperature sensor, etc. The proposed system is designed to detect a moving object by PIR sensor and to control the LED dimming considering the human visual response. Also, the dimming of LED light can modulate on the app, and simultaneously control dimming in real-world environments with smart phone app. A high-temperature warning or a fire hazard information is transmitted to user's smart phone according to sensor values and Data graph are provided as part of data visualization. Connecting the hardware controller, the proposed intelligent smart dimming control system is expected to contribute to the power reduction interior LED, smart grid building and saving home combining with internet of things.

• KIEE International Transactions on Power Engineering
• /
• v.5A no.2
• /
• pp.177-185
• /
• 2005

This paper proposes an expert system that can enhance the accuracy of real-time bus reconfiguration strategy by adopting the local minimum tree search method and that can minimize the spreading effect of the fault by considering the operating condition when a main transformer fault occurs in an automated substation. The local minimum tree search method is used to expand the best-first search method. This method has the advantage that it can improve the solution performance within the limits of the real-time condition. The inference strategy proposed expert system consists of two stages. The first stage determines the switching candidate set by searching possible switching candidates starting from the main transformer or busbar related to the event. The second stage determines the rational real-time bus reconfiguration strategy based on heuristic rules from the obtained switching candidate set. Also, this paper proposes generalized distribution substation modeling using graph theory, and a substation database based on the study results is designed.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.10a
• /
• pp.527-530
• /
• 2016

This paper presents curvature-compensated reference circuits operating under low-voltage condition and achieving low-power consumption with $0.35-{\mu}m$ standard CMOS process. The proposed circuit can operate under less than 1-V supply voltage by using MOS transistors operating in weak-inversion region. The simulation results shows a low temperature coefficient by using the proposed curvature compensation technique. It generates a graph-shape temperature characteristic that looks like a sine curve, not a bell-shape characteristic presented in other published BGRs without curvature compensation. The proposed circuits operate with 0.9-V supply voltage. First, the voltage reference circuit consumes 176nW power and the temperature coefficient is $26.4ppm/^{\circ}C$. The current reference circuit is designed to operate with 194.3nW power consumption and $13.3ppm/^{\circ}C$ temperature coefficient.

• Journal of the Korean Magnetic Resonance Society
• /
• v.17 no.2
• /
• pp.92-97
• /
• 2013

We study the electron spin resonance line-width (ESRLW) of $Fe^{3+}$ in crystalline $LiNbO_3$ ; the ESRLW is obtained using the projection operator method (POM) developed by Argyres and Sigel. The ESRLW is calculated to be axially symmetric about the c-axis and is analyzed by the spin Hamiltonian with an isotopic g factor at a frequency of 9.5 GHz. The ESRLW increases exponentially as the temperature increases, and the ESRLW is almost constant in the high-temperature region (T>8000 K). This kind of temperature dependence of the ESRLW indicates a motional narrowing of the spectrum when $Fe^{3+}$ ions substitute the $Nb^{5+}$ ions in an off-center position. It is clear from this feature that there are two different regions in the graph of the temperature dependence of the ESRLW.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.12
• /
• pp.1236-1248
• /
• 1991

A new fast algorithm for computing the discrete cosine transform(DCT) Is developed decomposing N-point DCT into an N /2-point DCT and two N /4 point transforms(transpose of an N /4-point DCT. TN/t'and)It has an important characteristic that in this method, the roundoff noise power for a fixed point arithmetic can be reduced significantly with respect to the wellknown fast algorithms of Lee and Chen. since most coefficients for multiplication are distributed at the nodes close to the output and far from the input in the signal flow graph In addition, it also shows three other versions of factorization of DCT matrix with the same number of operations but with the different distributions of multiplication coefficients.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.57 no.3
• /
• pp.255-259
• /
• 2008

In this paper, a current-mode integrator for low-voltage, low-power analog integrated circuits is presented. Using the proposed current-mode integrator, the baseband analog filter is designed for WCDMA wireless communication. To verify the proposed current-mode integrator circuit, Hspice simulation using 1.8V TSMC $0.18{\mu}m$ CMOS parameter is performed and achieved 44.9dB gain, 15.7MHz unity gain frequency. The described 3rd-order current-mode baseband analog filter is composed of the proposed current-mode integrator, and SFG(Signal Flow Graph) method is used to realize the baseband filter. The simulated results show 2.12MHz cutoff frequency which is suitable for WCDMA baseband block.

• 유공압시스템학회:학술대회논문집
• /
• 2010.06a
• /
• pp.12-17
• /
• 2010

The poppet valve had used every field area due to high quality of leakage property and response characteristic. But this valve still has terrible disadvantage that is self-exited vibration. This problem affects stability of total system and raises noise. The researcher tries to reduce that self-exited vibration when valve was designed. The stability discriminant is the typical study to improve the performance of the poppet valve. This paper concerns about stability discriminant that uses poppet valve with a drain orifice. At the first, the mathematical model is computed from poppet valve. After that, the limitation of stability is calculated that based on Nyquist criterion. At the final, the stability discriminant is selected in each condition and the graph that shows stability in the system is drown by dimensionless quantity.