• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.4
• /
• pp.615-622
• /
• 2009

We solve the automatic continuity problem of an approximate higher derivation on a semisimple Banach algebra and investigate Hyers-Ulam stability for higher derivations.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1123-1132
• /
• 2015

In this paper, we investigate derivations on the noncommutative Banach algebra $L^{\infty}_0({\omega})^*$ equipped with an Arens product. As a main result, we prove the Singer-Wermer conjecture for the noncommutative Banach algebra $L^{\infty}_0({\omega})^*$. We then show that a derivation on $L^{\infty}_0({\omega})^*$ is continuous if and only if its restriction to rad($L^{\infty}_0({\omega})^*$) is continuous. We also prove that there is no nonzero centralizing derivation on $L^{\infty}_0({\omega})^*$. Finally, we prove that the space of all inner derivations of $L^{\infty}_0({\omega})^*$ is continuously homomorphic to the space $L^{\infty}_0({\omega})^*/L^1({\omega})$.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.351-362
• /
• 2002

Along with an asynchronous finite state machine, in short AFSM, a signal transition graph, in short STG, is one of the most widely used behavioral description languages for asynchronous controllers. Unfortunately, STGs are not user-friendly, and thus it is very unwieldy and time consuming for system designers to conceive and describe manually the behaviors of a number of asynchronous controllers which constitute an asynchronous control unit for a target system in the form of STGs. In this paper, we suggest an automatic STG derivation method through a process-oriented method. Since the suggested method considers special properties of STG-based asynchronous logic synthesis very carefully, asynchronous controllers which are synthesized from STGs derived through the suggested method are superior in aspects of area, synthesis time, performance and implementability compared to those obtained through previous methods.

• IE interfaces
• /
• v.12 no.2
• /
• pp.305-311
• /
• 1999

Robot task program is needed to control and manage a Robot without explicitly describing the robot program by user which includes commands, procedures, geometric and signal data in the detail level. To use the Robot task program, a computer system is required to convert the Robot task into the Robot program, which can be understood by the Robot. In this paper, the systemic method for automatic generation of explicit Robot programs (ERP) from task-level commands is described. Specifically, a 3-step procedure including Robot task decomposition, task synchronization and ERP generation is presented.

• Journal of Information Technology Services
• /
• v.9 no.3
• /
• pp.179-191
• /
• 2010

Service identification and composition is one of the key characteristics for a successful Service-Oriented Computing, being receiving a lot of attention from researchers in recent years. In the Service-Oriented Analysis, the identification of business services has to be preceded before application services are identified. Most approaches addressing the derivation of business services are based on heuristic methods and human experts. The manual identification of business services is highly expensive and ambiguous task, and it may result in the service design with bad quality because of errors and misconception. Although a few of approaches of automatic service identification are proposed, most of them are in focus on technical architectures and application services. In this paper, we propose a model on the automatic identification of business services by horizontal and vertical service alignment using Enterprise Architecture as an ontology. We verify the effectiveness of the proposed model of business services identification through a case study based on Department of Defense Enterprise Architecture.

• Journal of the Chungcheong Mathematical Society
• /
• v.2 no.1
• /
• pp.37-44
• /
• 1989

In this paper, it is shown that automatic continuity of derivations on some semi prime Banach algebras can be extended to higher derivations. In particular, we show that if every prime ideal is closed in a commutative semi prime Banach algebra then every higher derivation on it is continuous.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2020.06a
• /
• pp.105-106
• /
• 2020

Recently, a method of deriving an efficient 2D floor plan has been attracting attention for remodeling of old buildings with inaccurate 2D floor plans, and thus, studies on reverse engineering of indoor Point Cloud Date(PCD) have been actively conducted. However, in the case of a indoor PCD, due to interference of indoor objects, available equipment is limited to Mobile Laser Scanner(MLS), which causes a efficiency reduction of data processing. Therefore, this study proposes an automatic derivation algorithm for 2D floor plan of indoor PCD based on pixelation. First, the scanned indoor PCD is projected on the XY coordinate plane. Second, a point distribution of each pixel in the projected PCD is derived using a pixelation. Lastly, 2 floor plan derivation based on the algorithm is performed.

• Journal of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.823-835
• /
• 2011

We investigate the continuity of (${\alpha},{\beta}$)-derivations on B(X) or $C^*$-algebras. We give some sufficient conditions on which (${\alpha},{\beta}$)-derivations on B(X) are continuous and show that each (${\alpha},{\beta}$)-derivation from a unital $C^*$-algebra into its a Banach module is continuous when and ${\alpha}$ ${\beta}$ are continuous at zero. As an application, we also study the ultraweak continuity of (${\alpha},{\beta}$)-derivations on von Neumann algebras.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.327-327
• /
• 2000

Derivation of a slab dimension from the desired tolerance degrades the product quality, resulting in significant yield loss by trimming. This necessitates the dimensional control system to be operated in tighter dimensional accuracy. This paper presents an integral approach to a dimensional control system design taking into account the interaction between the edging process and the gap rolling process. To investigate the effects of each process controller, a simple PID controller is adopted as a preliminary study. The control performance is analyzed in detail in terms of the system response accuracy for various operating conditions.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2001.04a
• /
• pp.468-475
• /
• 2001

It can be seen through the previous earthquake damages that indirect damages such as those by fire are much greater rather than direct (firsthand) damage by earthquakes. Recently, gas is used very popularly all over the country but no measures have been taken against hazards (or dangers), for instance, such as fires caused by leaking gas pipes when earthquakes occur. Earthquake-Actuated Automatic Gas Shutoff Devices (Shutoff Device) are used to prevent such disaster in other countries. ChungJung Engineering. Co. is making a sample of a Shutoff Device for the first time in Korea. In this study, a derivation of mathermatical model and the important effects of various variables on the shutoff device are mentioned.