• Korean Journal of Mathematics
• /
• v.19 no.1
• /
• pp.33-52
• /
• 2011

We prove the Hyers-Ulam stability of partitioned functional equations in Banach modules over a unital $C^*$-algebra. It is applied to show the stability of algebra homomorphisms in Banach algebras associated with partitioned functional equations in Banach algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.401-410
• /
• 2002

We prove the generalized Hyers-Ulam-Rassias stability of generalized Jensen's functional equations in Banach modules over a unital $C^{*}$-algebra. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with generalized Jensen's functional equations in Banach algebras.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.343-361
• /
• 2004

We prove the generalized Hyers-Ulam-Rassias stability of cyclic functional equations in Banach modules over a unital $C^{*}$-algebra. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with cyclic functional equations in Banach algebras.

• The Pure and Applied Mathematics
• /
• v.14 no.2 s.36
• /
• pp.111-125
• /
• 2007

For an odd mapping, we study a generalized additive functional equation in Banach spaces and Banach modules over a $C^*-algebra$. And we obtain generalized solutions of a generalized additive functional equation and so generalize the Cauchy-Rassias stability.

• International Journal of Aerospace System Engineering
• /
• v.1 no.1
• /
• pp.10-15
• /
• 2014

This study presents technical description of the operating program development that operates the test bench for functional test of EECU. The test bench is capable of testing, simulation and adjustment of the EECU software using the operating program. The test bench is for the Development Project of the EECU platform for FADEC system. The operating program is consists of 3 modules which are the test bench operating module, cockpit simulator module and SILS module. The operating module mainly carries out the EECU test with manual operation and operating scenarios. Also that record and process the test data. The cockpit simulator module is capable of implementation of virtual cockpit control input and engine status display. The SILS module can simulate engine and EECU operation in software environment.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.3
• /
• pp.381-391
• /
• 2014

In this paper, we prove the generalized Hyers-Ulam stability of an n-dimensional additive functional equation, and then apply stability results to Banach modules over a unital Banach algebras.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1240-1252
• /
• 1996

In this paper we propose a layout editor for the functional module generation in the Sea-of Gates(SOG) lay-out style. The proposed layout editor provides interactive was of designing a functional module to the designer so that the layout result is very satisfiable. Especially, the editor is independent on the shape of the basic cells in the gate array template, and provides semi-automatic layout methods as well as hand layout. It also has several special functions which are not able to find in other layout tools for the module generation, and hence the designer can generate modules very fast. The layout editors implemented in C language with X-win-dow Motif environment. When we compare our editor with the previous layout editor Seadali, the design time is reduced by a factor of two for several benchmark circuits.

• Journal of Korean Institute of Industrial Engineers
• /
• v.25 no.1
• /
• pp.87-99
• /
• 1999

A shop floor control system(SFCS) performs the production activities required to fill orders. In order to effectively control these activities, the autonomous agent-based heterarchical shop floor control architecture is adopted where a supervisor does not exist. In this paper, we define functional perspective of the heterarchical shop floor control using planning, scheduling, and execution modules. In particular, we focus on an execution module that can coordinate the planning and scheduling modules and a general execution module that easily can be modified to execute the other equipment. The execution module can be defined informally as a module that downloads and performs a set of scheduled tasks. The execution module is also responsible for identifying and resolving various errors whether they come from hardware or software. The purpose of this research is to identify all the execution activities and solving techniques under the assumptions of the heterarchical control architecture. And we model the execution module in object-oriented modelling technique for generalization. The execution module modeled in object-oriented concept can be adopted to the other execution module easily. This paper also proposes a classification scheme for execution activities of the heterarchical control architecture. Petri-nets are used as a unified framework for modeling and controlling execution activities. For solving the nonexistence of a supervisor, a negotiation-based solution technique is utilized.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.73-82
• /
• 2018

In this work, a hardware based cryptographic module for the cyber security of nuclear power plant is developed using a system engineering approach. Nuclear power plants are isolated from the Internet, but as shown in the case of Iran, Man-in-the-middle attacks (MITM) could be a threat to the safety of the nuclear facilities. This FPGA-based module does not have an operating system and it provides protection as a firewall and mitigates the cyber threats. The encryption equipment consists of an encryption module, a decryption module, and interfaces for communication between modules and systems. The Advanced Encryption Standard (AES)-128, which is formally approved as top level by U.S. National Security Agency for cryptographic algorithms, is adopted. The development of the cyber security module is implemented in two main phases: reverse engineering and re-engineering. In the reverse engineering phase, the cyber security plan and system requirements are analyzed, and the AES algorithm is decomposed into functional units. In the re-engineering phase, we model the logical architecture using Vitech CORE9 software and simulate it with the Enhanced Functional Flow Block Diagram (EFFBD), which confirms the performance improvements of the hardware-based cryptographic module as compared to software based cryptography. Following this, the Hardware description language (HDL) code is developed and tested to verify the integrity of the code. Then, the developed code is implemented on the FPGA and connected to the personal computer through Recommended Standard (RS)-232 communication to perform validation of the developed component. For the future work, the developed FPGA based encryption equipment will be verified and validated in its expected operating environment by connecting it to the Advanced power reactor (APR)-1400 simulator.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.182-186
• /
• 2015

We investigated that effects of annealing ambient on the characteristics of functional nano thin film synthesized on glass substrate. The functional nano thin films were annealed by using rapid thermal annealing (RTA) equipment in vacuum, oxygen and nitrogen ambient, respectively. The hardness of the functional nano thin films were measured by a standard hardness testing method (ASTM D3363) such as a H-9H, F, HB and B-6B pencil (Mitsubishi, Japan). Also, the adhesion of the functional nano thin films were measured by a standard adhesion testing method (ASTM D3359) using scotch tape (3M, Korea). The contact angle of the functional nano thin films was measured by a contact angle analyzer (Phoenix 300 Touch, S.E.O.). The optical property of functional nano thin films was measured via UV-visible spectroscopy (S-3100, Scinco).