• Korean Journal of Mathematics
• /
• 제19권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.

• 대한수학회보
• /
• 제39권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
• /
• 제15권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권2호
• /
• 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
• /
• 제1권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.

• 충청수학회지
• /
• 제27권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.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1240-1252
• /
• 1996

본 논문에서는 게이트 어레이 레이아웃 형태에서 디지털 회로를 보다 발전적 인 방식으로 설계하도록 하는 기능 모듈 구현 전용 편집기를 제안한다. 구현된 편집기 에서의 기능 모듈 설계 작업은 전반적으로 설계자와의 대화 형식으로 이루어진다. 따라서, 설계자는 빠른 시간 내에 모듈을 설계할 수 있고 보다 만족스런 레이아웃 결과를 얻을 수 있다. 특히, 본 편집기에서는 IC원판을 구성하는 기초셀 형태에 대해 독립적이며, 배치및 배선 작업 시에 수동과 반자동 방식을 함께 사용할 수 있다는 특징이 있다. 또한 기존의 툴에서는 제공되지 않는 다양한 기능들이 추가되어있어 더욱 효율적으로 모듈 생성을 할 수 있다. 본 편집기는 X- 윈도우 Motif 환경하에서 C언어로 구현되었으며, 그 기능을 기존의 레이아웃 시스템인 Seadali를 사용했을 때와 비교하여 성능을 평가하였다. 구현한 편집기를 이용하면 설계 시간을 두 배정도 단축시킬 수 있다.

• 대한산업공학회지
• /
• 제25권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.

• 시스템엔지니어링학술지
• /
• 제14권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.

• 전기학회논문지P
• /
• 제64권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).