Prolog is a practical declarative programming language based on Horn Logic. In this paper we argue that implicit parallelism can be extracted from full Prolog. By full Prolog we mean pure Prolog with extralogical feat...
详细信息
Large arrays of small disks are providing an attractive approach for high performance I/O systems. In order to make effective use of disk arrays and other multi-disk architectures, it is necessary to develop intellige...
详细信息
This paper discusses some security issues related to the UNIX operating system, which is today the de facto standard Operating System. The authentication mechanisms have been focused on, both in a central system and i...
详细信息
The authors formally define fuzzy multivalued dep.ndencies on a chosen fuzzy database model. Since functional dep.ndencies have already been extended for fuzzy database models earlier, they only deal with an important...
详细信息
The authors formally define fuzzy multivalued dep.ndencies on a chosen fuzzy database model. Since functional dep.ndencies have already been extended for fuzzy database models earlier, they only deal with an important integrity constraint, namely multivalued dep.ndencies (MVDs), for the fuzzy relational database introduced by B.P. Buckles and F.E. Petry (1982, 1985). It is shown that the fuzzy MVDs (FMVDs) are consistent and reduce to the classic MVDs when they involve precise attribute values. Some examples are given to show how the integrity constraints imposed by the FMVDs are forced whenever a tuple is to be inserted or to be modified.< >
Power System Stabilizers (PSS) superimposed to the basic control system of an HVDC link supplying a weak AC system, in order to enhance its frequency regulation action, are proposed. To decrease the AC voltage sensiti...
Practical Prolog programs usually coniatn extra-logical features like cuts, side-effects, and database manipulating predicates. In order to exploit implicit parallelism from real applications a parallel logic programm...
详细信息
The theory of the noisy-leaky integrator model of the neuron is presented and its implementation using pRAMs. Such a neuron is capable of storing temporal patterns of activity within it. With such an ability, a networ...
In this paper, a tracking scheme employing two tracking modes is proposed and its usefulness is confirmed by computer simulations. The simulation results show that our proposed scheme leads to the great improvement of...
详细信息
It is well documented that the rate-limiting step of pharmaceutical investigation is the amount of drug absorbed through the epithelial cells, not the total dose taken. To date, the only measure of the effective dose ...
详细信息
ISBN:
(纸本)1556173776
It is well documented that the rate-limiting step of pharmaceutical investigation is the amount of drug absorbed through the epithelial cells, not the total dose taken. To date, the only measure of the effective dose of medication is by measuring the circulating level of the ingested medication. This mode of measurement is neither accurate nor practical in determining the active ingredient required. However, a more efficient method of testing which constitutes simplicity and practically is desired. The aim of this project was the design of a microcomputer-based system for detecting and quantifying steroid hormones taken up by mucosal intestinal cells in vitro, for eventual in vivo application in animals and humans. A microcomputer-based system capable of controlling and monitoring four cell membranes simultaneously has been designed, consisting of a microcomputer system and a data acquisition subsystem. The data acquisition subsystem consists of instrumentation amplifiers with an analog-to-digital converter and digital-to-analog converter. This subsystem converts the ionic exchanges first to electrical signals, and then to digital format, to be processed and stored by the microcomputer. Subsequently, the stored information can be clinically interpreted. Due to the complexity of membrane behavior (nonlinear) in response to feedback control signals, software development was difficult. Therefore, a unique scheme was developed to control various unexcitable tissues in order to reach the predetermined values very rapidly, and then to collect cell membrane data periodically.
暂无评论