• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.101-112
• /
• 2007

In this paper, by using fractional power of operators and Sadovskii fixed point theorem, we study the controllability of abstract neutral functional integrodifferential systems with infinite delay. As application, an example is provided to illustrate the obtained results.

• 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 Processing Systems
• /
• v.2 no.3 s.4
• /
• pp.170-177
• /
• 2006

Recently, RFID technology has attracted considerable attention in many industry fields. The RFID environment requires a standard architecture for the smooth exchange of data between heterogeneous networks. The architecture should offer an efficient standard environment, such as a communication environment based on Web Services, PKI or Kerberos-based security, and abstract business processes which could be used in the diverse domains. Therefore, in this paper, we propose an Enterprise Application Framework (EAF) which includes a standard communication protocol, security functions, and abstract level business processes. The suggested architecture is expected to provide a more secure and flexible security management in the dynamic RFID application environments, and is expected to provide an abstract business event for the development of business processes which could apply RFID technology to the existing systems.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.16
• /
• pp.59-81
• /
• 2001

There are two methods of quantifying the damages when the contract is avoided. One is 'concret' assessment, the other is 'abstract' assessment. The former looks to the actual cost incurred by the aggrieved party in concluding a contract for the substitute transaction, while the latter is based on the market price. The concrete method of assessment forms the starting point in the Civil Law systems. In the Common Law systems, it is likewise available. The aggrieved party is entitled to recover the difference between the cost of cover or (as the case may be) the proceeds of resale and the contract price. Both systems also recognize the abstract method of assessment. If the aggrieved party does not resell or cover, damages are equal to the difference between the price fixed by the contract and the market price. The CISG and the UNIDROIT Principles recognize expressly both concrete and abstract methods. Under the relevant articles, the aggrieved party can recover the damages assessed by one of the methods as well as any further damages such as loss of profit, incidental and consequential damages.

• Journal of Information Processing Systems
• /
• v.8 no.4
• /
• pp.539-554
• /
• 2012

Model-driven and component-oriented development is increasingly being used in the development of embedded systems. When combined, both paradigms provide several advantages, such as higher reuse rates, and improved system quality. Performing model-driven and component-oriented development should be accompanied by a component model and a method that prescribes how the component model is used. This article provides an overview on the MARMOT method, which consists of an abstract component model and a methodology for the development of embedded systems. The paper describes a feasibility study that demonstrates MARMOT's capability to alleviate system design, verification, implementation, and reuse. Results indicate that model-driven and component-based development following the MARMOT method outperforms Agile development for embedded systems, leads to maintainable systems, and higher than normal reuse rates.

• Journal of The Korean Association of Information Education
• /
• v.18 no.4
• /
• pp.559-566
• /
• 2014

This is to understand the neurological dynamic cognitive processes of math learning based on the abstract mappings( level A2), abstract systems(level A3), and single principles(level A4), which are principles of Fischer's cognitive development theory. Math learning requires flexibility to adapt existing brain function in selecting new neurophysiological activities to learn desired knowledge. This study suggests a general statistical framework for the identification of neurological patterns in different abstract learning change with optimal support. We expected that functional brain networks derived from a simple math learning would change dynamically during the supportive learning associated with different abstract levels. Task based patterns of the brain structure and function on representations of underlying connectivity suggests the possible prediction for the success of the supportive learning.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.7 no.1
• /
• pp.33-45
• /
• 2003

In this paper we establish a set of sufficient conditions for the boundary controllability of nonlinear integrodifferential systems and Sobolev type integrodifferential systems in Banach spaces by using fixed point theorems.

• Proceedings of the Zoological Society Korea Conference
• /
• 2003.08a
• /
• pp.150.3-150
• /
• 2003

No Abstract, See Full Text