This paper describes a technique that combines algebraic datatypes and monads to build derivative verification condition generators (VCGs) by extending a base VCG. Extensions are compositional and can be stacked while...
详细信息
This paper describes a technique that combines algebraic datatypes and monads to build derivative verification condition generators (VCGs) by extending a base VCG. Extensions are compositional and can be stacked while the base VCG is left unchanged. The technique can be used to build a set of weaker VCGs to do light weight verification. Moreover, it enables us to add an ability to generate validation traces. The paper explains the technique through an example that extends a simple language L/sub 0/ with new constructs to handle exceptions. To deal with exceptions, not only the logic of L/sub 0/ has to be extended with new rules, its structure also needs to be changed. We show that using our technique the extension can be implemented in a simple and compositional way, without any change to the underlying logic.
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
This article is an overview of the GIPSY demand migration system (DMS). This system brings a demand driven execution engine like the one used in the GIPSY to a high level of distributiveness and interoperability of op...
详细信息
This article is an overview of the GIPSY demand migration system (DMS). This system brings a demand driven execution engine like the one used in the GIPSY to a high level of distributiveness and interoperability of operational nodes, by mixing together advanced distributed technologies. The main demand migration system's artifacts are discussed, and their different distributions within the GIPSY are surveyed. The article concludes with a presentation of a successful GIPSY demand migration implementation, based on JINI. This paper describes only the aspects of the GIPSY demand migration, i.e. it does not deal with load balancing and efficiency aspects of the GIPSY, as these are to be tackled by other subsystems of the GIPSY.
The object of investigation is Central Station of oil accumulation (CSA-2) of Urengoi oil, gas and condensate deposit (OGCD) designed for accumulating and preparing for transportation oil and passing gas of oil edges ...
详细信息
The object of investigation is Central Station of oil accumulation (CSA-2) of Urengoi oil, gas and condensate deposit (OGCD) designed for accumulating and preparing for transportation oil and passing gas of oil edges as well as for transport, storage and account of oil entering from SPS and CSA-1. The aim of investigation is elaboration of automated system of production process at CSA-2 applying programminglogical controller SLC-500.
The objective of this research is to seek the exact nature of how an organization should apply a service-oriented design to systems that were previously standalone heterogeneous applications. For this objective, three...
详细信息
The objective of this research is to seek the exact nature of how an organization should apply a service-oriented design to systems that were previously standalone heterogeneous applications. For this objective, three applications are developed and integrated by using a service-oriented architecture: a biometric attendance system, a surveillance system, and a point of sale system. Each application is classified by a combination of two properties: input or output heavy application, local or remote running application. Based upon the combination, two types of service-oriented integration approach, fully or partially Web serviced integration, are suggested according to the extent of the usage of Web services. Based upon the experiences gained from developing the three applications, the guidelines for adopting Web services are proposed when an organization is integrating applications.
Middleware is an intermediate layer in software architecture, which helps application developers write program codes without understanding the complexities behind the middleware. In addition to this, middleware also p...
详细信息
Middleware is an intermediate layer in software architecture, which helps application developers write program codes without understanding the complexities behind the middleware. In addition to this, middleware also provides transparencies, for example, location transparency and logic transparency. In this paper, we design and develop a middleware in the way of service-oriented architecture (SOA) and it provides a new transparency 'service transparency'. We will explain what this middleware concerns, how it is developed, and what services it provides.
This paper introduces a novel, more systematic approach to the modeling and control design of machine logic control. The machine logic control is considered to be an event-driven system. A matrix representation of Pet...
详细信息
This paper introduces a novel, more systematic approach to the modeling and control design of machine logic control. The machine logic control is considered to be an event-driven system. A matrix representation of Petri nets is used, for modeling the structure of discrete event-driven system. Its dynamics is described by state-transition equations. The control of discrete event system is introduced by drawing a clear distinction between the plant and the controller model. The proposed approach is illustrated by simulation and experimental results for the lab-scale linear drive position initialization procedure.
An evolutionary computation method is used to place a set of different Microelectronics Center of North Carolina (MCNC) benchmark circuits on traditional symmetrical field programmable gate array (FPGA). The experimen...
详细信息
An evolutionary computation method is used to place a set of different Microelectronics Center of North Carolina (MCNC) benchmark circuits on traditional symmetrical field programmable gate array (FPGA). The experimental results are compared to the state-of-the-art results from versatile placement and routing (VPR). The proposed algorithm achieves promising performance, in terms of routing channel density.
In this paper, we present a learning simulator that behaves like a student in a CAI (computer aided instruction) system. We call this simulator a student agent. The agent consists of an interface, an inference engine ...
详细信息
In this paper, we present a learning simulator that behaves like a student in a CAI (computer aided instruction) system. We call this simulator a student agent. The agent consists of an interface, an inference engine and an inductive logic programming (ILP) system. By using a student agent in a CAI system, a human student can learn as if the student is in a group learning situation. Other possible usage of the learning simulator includes checking the behavior of CAI systems, and for a teacher to check contents for study by observing the response of the simulator. The learning simulator learns interactively. We implement the student agent, using a Prolog interpreter and ILP system FOIL. We show learning results obtained through computer simulations.
暂无评论