• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.1-20
• /
• 2004

Let A be a uniform algebra, and let $\phi$ be a self-map of the spectrum $M_A$ of A that induces a composition operator $C_{\phi}$, on A. It is shown that the image of $M_A$ under some iterate ${\phi}^n$ of \phi is hyperbolically bounded if and only if \phi has a finite number of attracting cycles to which the iterates of $\phi$ converge. On the other hand, the image of the spectrum of A under $\phi$ is not hyperbolically bounded if and only if there is a subspace of $A^{**}$ "almost" isometric to ${\ell}_{\infty}$ on which ${C_{\phi}}^{**}$ "almost" an isometry. A corollary of these characterizations is that if $C_{\phi}$ is weakly compact, and if the spectrum of A is connected, then $\phi$ has a unique fixed point, to which the iterates of $\phi$ converge. The corresponding theorem for compact composition operators was proved in 1980 by H. Kamowitz [17].

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.1
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.7
• /
• pp.813-818
• /
• 2015

IoT is the network of physical objects or things embedded with electronics, software, sensors and connectivity to enable it to achieve greater value and service by exchanging data with the manufacturer, operator or other connected devices. Until now many researches have been studied for centering keyword for detecting emerging technology of future and scientometric analysis among the papers. This paper propose searching method of emerging technology for the IOT (internet of things) which is recently interesting area via dynamic analysis for keyword mapping.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.493-496
• /
• 2000

We study the problem of designing at minimum cost a two-connected network topology such that the shortest cycle to which each edge belongs does not exceed a given maximum number of hops. This problem is considered as part of network planning and arises in the design of backbone networks. We propose a genetic algorithm approach that uses a solution representation, in which the connectivity and ring constraints can be easily encoded. We also propose a crossover operator that ensures a generated solution is feasible. By doing so, the checking of constraints is avoided and no repair mechanism is required. We carry out experimental evaluations to investigate the solution representation issues and GA operators for the network design problem.

• East Asian mathematical journal
• /
• v.27 no.1
• /
• pp.51-65
• /
• 2011

In the paper, we study questions on classical solvability of nonlocal problems for a third-order linear hyperbolic equation in a rectangular domain. The Riemann method is applied to the Goursat problem and solution is obtained in the integral form. Investigated problems are reduced to the uniquely solvable Volterra-type equation of second kind. Influence effects of coefficients at lowest derivatives on correctness of studied problems are detected.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.171-174
• /
• 1988

Let M be an n-dimensional compact connected and oriented Riemannian manifold isometrically immersed in an (n+2)-dimensional Euclidean space $R^{n+2}$. Moore [5] proved that if M is of positive curvature, then M is a homotopy sphere. This result is generalized by Baldin and Mercuri [2], Baik and Shin [1] to the case of non-negative curvature, which is stated as follows: If M of non-negative curvature, then M is either a homotopy sphere or diffeomorphic to a product of two spheres. In particular, if there is a point at which the curvature operator is positive, then M is homeomorphic to a sphere.e.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.769-772
• /
• 1998

This paper present an efficient techniques for visual inspection of taped electronic parts, suitable for real time implementation. The main environments of developed system are IBM-compatible personal computer, frame grabber, digital input-output board. It is connected to the programmable logic controller unit of the taping machine in real time. Using a queuing structure, operator or extractor machine can remove easily the defect one from production line. Also, we design a new illumination system for sacquring shape and subface features of object. Therefore, it redue pre-processing step and processing time.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2003.06a
• /
• pp.161-164
• /
• 2003

This research presents the parallel control scheme of PID servo-driver for shaping of the curved glass. The designed system consists of a PC, main controller and 11 servo-drivers. Each elements are connected by using RS-232C and 8-bit bus communication. In order to guarantee the stability and the control performance, we use the LM629, a precision PID motion controller, and LMD18200, a H-bridge on the servo-drivers. PC calculates position values of 11 DC motors by using the pre-determined curvature value and offers the user interface environment operator.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.407-420
• /
• 2024

In this paper, we investigate some geometric properties of starlikeness connected with the hyperbolic cosine functions defined in the open unit disk. In particular, for the class of such starlike hyperbolic cosine functions, we determine the lower bounds of partial sums, Briot-Bouquet differential subordination associated with Bernardi integral operator, and bounds on some third Hankel determinants containing initial coefficients.

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.39 no.3
• /
• pp.65-70
• /
• 2002

This paper discusses the work-in-progress of a system to control a moving robot over the WWW(World Wide Web). That is, we describes the experimental results and control methods of system over the world wide web. The remote control of the system is controlled by accessing a simple form of interface that is connected to the server. For this application, a remote operator should have a general-purpose computer with Internet connection and a WWW browser to remotely operate the line-tracer through the Internet. As a remote operator summits an input by operating html files in the server, the program written in java is operated the equipment is being connected to the serial port. By being transmitted to the line-tracer through the infra-red sensor, the remote controlled signal is operated in distance. As a tool in order to identify the system's operation of the over the web is used the line-tracer.