• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1131-1144
• /
• 2022

In this paper, we establish several basic formulas among the double-integral transforms, the double-convolution products, and the inverse double-integral transforms of cylinder functionals on abstract Wiener space. We then discuss possible relationships involving the double-integral transform.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.793-800
• /
• 2010

We investigate the existence and uniqueness of almost automorphic mild solutions of the semilinear abstract differential equations.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1147-1161
• /
• 2012

In this paper, a coincidence theorem for a compact ${\Re}\mathfrak{C}$-map is proved in an abstract convex space. Several more general coincidence theorems for noncompact ${\Re}\mathfrak{C}$-maps are derived in abstract convex spaces. Some examples are given to illustrate our coincidence theorems. As applications, an alternative theorem concerning the existence of maximal elements, an alternative theorem concerning equilibrium problems and a minimax inequality for three functions are proved in abstract convex spaces.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• Journal of Information Management
• /
• v.23 no.2
• /
• pp.1-13
• /
• 1992

This study intends to measure the indexibility and the information quantity in title and abstract. The result of analysis was that when the source was title or abstract, result was not good. But when it was the title and abstract, the result was better.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.10a
• /
• pp.655-656
• /
• 2010

Color association is reminding you that is related to the means, events, or experience by the color impression. These kinds of associations was largely concrete association and abstract associations. In this paper, look at the features and examples of concrete association and abstract associations, and look at the abstract association and the concrete associations of typical colors. In addition, find out about the similarities and difficulties or color association.

• Journal of Korea Game Society
• /
• v.17 no.5
• /
• pp.7-18
• /
• 2017

This study examines' form 'and' color 'by paying attention to the art of emotional game, which is directed toward abstract, as opposed to the game' s art is directed toward concept. First, the form and color were quantitatively analyzed through the researcher model and the NCS color system, and the result was derived as 'abstract' and color as 'pastel ash'. Based on the results, he insists that 'emotion' game is oriented to abstract form and plane color, and supports the claim through the boring almost abstract impulse and Baudrillard's pastel order.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.4 s.32
• /
• pp.61-69
• /
• 2004

The user interface design needs to support the complex interactions between human and computers. It also requires comprehensive knowledges many areas to collect customer's requirements and negotiate with them. The user interface designer needs to be a graphic expert, requirement analyst, system designer, programmer, technical expert, social activity scientist, and so on. Therefore, it is necessary to research on an designing methodology of user interface for satisfying various expertise areas. In the paper, We propose the 4 business event's abstract object visualizing phases such as fold abstract object modeling, task abstract object modeling, transaction abstract object modeling, and form abstract object modeling. As a result, this modeling method allows us to enhance visual cohesion of UI, and help unskilled designer to can develope the higy-qualified user interface.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.25-32
• /
• 2007

In this paper, the abstract layer for motion capture system is designed and implemented to meet the various hardware and different capturing method. The abstract layer can offer the unified programming by providing device independent API(Application Programming Interface). The device drivers of the optical system and mechanical system are emulated to verify the designed abstract layer. The optical system employs the AOA Ole while the mechanical system uses BVH file. An application program is written to call the abstract layer functions to drive both optical and mechanical drivers and receive the frame data, simulated motion data, that are displayed sequentially on the computer screen by utilizing Direct3D.

• Journal of KIISE
• /
• v.44 no.10
• /
• pp.1034-1044
• /
• 2017

Although traversal strategies are important for the performance of model checking, many studies have ignored the impact of traversal strategies in model checking with a block-encoded abstract reachability graph. Studies have considered traversal strategies only for an abstract reachability graph without block-encoding. Block encoding plays a crucial role in the model checking performance. This paper therefore describes Dual-traversal strategy, a simple and novel technique to control traversal strategies in a block-encoded abstract reachability graph. This method uses two traversal strategies for a model checking, one for effective block-encoding, and the other for traversal in an encoded abstract reachability graph. Dual-traversal strategy is very simple and can be implemented without overhead compared to the existing single-traversal strategy. We implemented the Dual-traversal strategy in an open source model checking tool and compare the performances of different traversal strategies. The results show that the model checking performance varies from the traversal strategies for the encoded abstract reachability graph.