• Journal of applied mathematics & informatics
• /
• 제23권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.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• 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
• /
• 제2권3호
• /
• 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.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• 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.

• 무역상무연구
• /
• 제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
• /
• 제8권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.

• 정보교육학회논문지
• /
• 제18권4호
• /
• pp.559-566
• /
• 2014

본 연구는 인지적 발달단계에 대한 신경학적 역동 발달주기를 규명하기 위하여 추상적 발달단계인 추상적 맵핑, 추상적 체계, 단일원리의 각 학습단계별 뇌파의 변화와 역동적 학습발달 간의 관계를 규명하였다. 컴퓨터 수학학습에서 일어나는 자발적 학습은 수학과제를 수행할 때 적은 학습지원 으로 나타나는 학습효과에 중점을 두었으며 이해적 학습은 적절한 학습지원을 통해 나타내는 학습효과를 중심으로 인지적 변화와 뇌파와의 관계성을 통해 뇌와 뇌신경의 발달관점에서 파악한 것이다. 연구 결과, 추상적 맵핑과 추상적 시스템 단계에서 지원을 통한 이해적 학습이 두정엽과 전두엽에서 의미 있는 뇌 활동성을 가져왔으며 추상적 개념학습의 마지막 단계인 단일원리에서는 피험자의 발달단계가 적정나이보다 작아 오히려 지원을 통한 이해적 학습이 더 적은 뇌 활동성을 가져왔다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제7권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.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 2003년도 한국생물과학협회 학술발표대회
• /
• pp.150.3-150
• /
• 2003

No Abstract, See Full Text